-
Displacements
Authors:
Hugo V. Bacard
Abstract:
Given a functor $p:E \rightarrow B$ and an object $e \in E$ , we define a \emph{displacement} of $e$ along a morphism $\varepsilon: p(e) \rightarrow b$, as a map $e \rightarrow \nabla_\varepsilon(e)$ satisfying a universal property analogue to that of a \emph{cocartesian lifting} (pushforward) \emph{à la} Bénabou-Grothendieck-Street. There are many difficulties in geometry that come from the fact…
▽ More
Given a functor $p:E \rightarrow B$ and an object $e \in E$ , we define a \emph{displacement} of $e$ along a morphism $\varepsilon: p(e) \rightarrow b$, as a map $e \rightarrow \nabla_\varepsilon(e)$ satisfying a universal property analogue to that of a \emph{cocartesian lifting} (pushforward) \emph{à la} Bénabou-Grothendieck-Street. There are many difficulties in geometry that come from the fact that forgetful functors such as $p: Var(\mathbf{C}) \rightarrow Top $ don't have displacements of objects along arbitrary maps. And this can be already seen abstractly, since the existence of a left adjoint to $p$, can be reduced to the existence of all displacements of the initial object. However some \emph{schematization functors} exist as approximations. In a broader context, if $B$ is a model category and $p$ is a right adjoint, then the right-induced model category on $E$ exists if and only if all displacements along any trivial cofibration $\varepsilon$, are weak $p$-equivalences. In these notes we provide some categorical lemmas that will be necessary for future applications. The idea is to have a \emph{homotopy descent process} for \emph{elementary displacements} when $p$ has a \emph{presentation} as a $2$-pullback of a family $\{p_i: E_i \rightarrow B\}_{i\in J}$. When suitably applied it should lead to techniques similar to Mumford's GIT through homotopy theory (simplicial presheaves).
△ Less
Submitted 9 July, 2014;
originally announced July 2014.
-
Symmetries
Authors:
Hugo V. Bacard
Abstract:
Classical mathematics are founded within set theory, but sets don't have \emph{symmetries}. We conjecture that if we allow sets with symmetries, then many problems such as \emph{Mirror symmetry} or \emph{Homological mirror symmetry} can be explained. One way to do this is to embed sets to higher categories and especially into higher groupoids as already envisioned by Grothendieck, and more recentl…
▽ More
Classical mathematics are founded within set theory, but sets don't have \emph{symmetries}. We conjecture that if we allow sets with symmetries, then many problems such as \emph{Mirror symmetry} or \emph{Homological mirror symmetry} can be explained. One way to do this is to embed sets to higher categories and especially into higher groupoids as already envisioned by Grothendieck, and more recently by Voevodsky. We simply outline this idea in these notes.
△ Less
Submitted 7 July, 2014;
originally announced July 2014.
-
Understanding higher structures through Quillen-Segal objects
Authors:
Hugo V. Bacard
Abstract:
If $\mathscr{M}$ is a model category and $\mathcal{U}: \mathscr{A} \rightarrow \mathscr{M}$ is a functor, we defined a Quillen-Segal $\mathcal{U}$-object as a weak equivalence $\mathscr{F}: s(\mathscr{F}) \xrightarrow{\sim} t(\mathscr{F})$ such that $t(\mathscr{F})=\mathcal{U}(b)$ for some $b\in \mathscr{A}$. If $\mathcal{U}$ is the nerve functor…
▽ More
If $\mathscr{M}$ is a model category and $\mathcal{U}: \mathscr{A} \rightarrow \mathscr{M}$ is a functor, we defined a Quillen-Segal $\mathcal{U}$-object as a weak equivalence $\mathscr{F}: s(\mathscr{F}) \xrightarrow{\sim} t(\mathscr{F})$ such that $t(\mathscr{F})=\mathcal{U}(b)$ for some $b\in \mathscr{A}$. If $\mathcal{U}$ is the nerve functor $\mathcal{U}: \mathbf{Cat} \rightarrow \mathbf{sSet}_J$, with the Joyal model structure on $\mathbf{sSet}$, then studying the comma category $(\mathbf{sSet}_J \downarrow \mathcal{U})$ leads naturally to concepts, such as Lurie's $\infty$-operad. It also gives simple examples of presentable, stable $\infty$-category, and higher topos. If we consider the \textit{coherent nerve} $\mathcal{U}: \mathbf{sCat}_B \rightarrow \mathbf{sSet}_J$, then the theory of QS-objects directly connects with the program of Riehl and Verity. If we apply our main result when $\mathcal{U}$ is the identity $Id: \mathbf{sSet}_Q \rightarrow \mathbf{sSet}_Q$, with the Quillen model structure, the homotopy theory of QS-objects is equivalent to that of Kan complexes and we believe that this is an \textit{avatar} of Voevodsky's \textit{Univalence axiom}. This equivalence holds for any combinatorial and left proper $\mathscr{M}$. This result agrees with our intuition, since by essence the `\textit{Quillen-Segal type}' is the \textit{Equivalence type}
△ Less
Submitted 3 July, 2014;
originally announced July 2014.
-
Quillen-Segal objects and structures: an overview
Authors:
Hugo V. Bacard
Abstract:
Let $\mathscr{M}$ be a combinatorial and left proper model category, possibly with a monoidal structure. If $\mathscr{O}$ is either a monad on $\mathscr{M}$ or an operad enriched over $\mathscr{M}$, define a QS-algebra in $\mathscr{M}$ to be a weak equivalence $\mathscr{F}: s(\mathscr{F}) \xrightarrow{\sim}t(\mathscr{F})$ such that the target $t(\mathscr{F})$ is an $\mathscr{O}$-algebra in the usu…
▽ More
Let $\mathscr{M}$ be a combinatorial and left proper model category, possibly with a monoidal structure. If $\mathscr{O}$ is either a monad on $\mathscr{M}$ or an operad enriched over $\mathscr{M}$, define a QS-algebra in $\mathscr{M}$ to be a weak equivalence $\mathscr{F}: s(\mathscr{F}) \xrightarrow{\sim}t(\mathscr{F})$ such that the target $t(\mathscr{F})$ is an $\mathscr{O}$-algebra in the usual sense. A classical $\mathscr{O}$-algebra is a QS-algebra supported by an isomorphism $\mathscr{F}$. A QS-structure $\mathscr{F}$ is also a weak equivalence such that $t(\mathscr{F})$ has a structure, e.g, Hodge, twistorial, schematic, sheaf, etc. We build a homotopy theory of these objects and compare it with that of usual $\mathscr{O}$-algebras/structures. Our results rely on Smith's theorem on left Bousfield localization for combinatorial and left proper model categories. These ideas are derived from the theory of co-Segal algebras and categories.
△ Less
Submitted 30 June, 2014;
originally announced June 2014.
-
Model structure on co-Segal commutative dg-algebras in characteristic p>0
Authors:
Hugo V. Bacard
Abstract:
We study weak commutative algebras in a symmetric monoidal model category $\mathscr{M}$. We provide a model structure on these algebras for any symmetric monoidal model category that is combinatorial and left proper. Our motivation was to have a homotopy theory of weak commutative dg-algebras in characteristic $p>0$, since there is no such theory for strict commutative dg-algebras. For a general…
▽ More
We study weak commutative algebras in a symmetric monoidal model category $\mathscr{M}$. We provide a model structure on these algebras for any symmetric monoidal model category that is combinatorial and left proper. Our motivation was to have a homotopy theory of weak commutative dg-algebras in characteristic $p>0$, since there is no such theory for strict commutative dg-algebras. For a general $\mathscr{M}$, we show that if the projective model structure on strict commutative algebras exists, then the inclusion from strict to weak algebras is a Quillen equivalence. The results of this paper can be generalized to symmetric co-Segal $\mathcal{P}$-algebras for any operad $\mathcal{P}$. And surprisingly, the axioms of a monoidal model category are not necessary to get the model structure on co-Segal commutative algebras
△ Less
Submitted 4 June, 2014;
originally announced June 2014.
-
Pursuing Lax Diagrams and Enrichment
Authors:
Hugo V. Bacard
Abstract:
This paper is part of a project that aims to give a homotopy cousin of Kelly's treatment of enriched category theory. After introducing unital co-Segal M-categories, we establish the unital version of a previous theorem that was proven for the nonunital ones; but this was done under strong hypothesis. We've removed here these assumptions and try to keep the hypothesis on M as minimal as possible.…
▽ More
This paper is part of a project that aims to give a homotopy cousin of Kelly's treatment of enriched category theory. After introducing unital co-Segal M-categories, we establish the unital version of a previous theorem that was proven for the nonunital ones; but this was done under strong hypothesis. We've removed here these assumptions and try to keep the hypothesis on M as minimal as possible. Our main result provides a sort of Bousfield localization of a model category that is not known to be left proper. In this model structure, every co-Segal M-category is `canonically' equivalent to a strict M-category with the same set of objects. We revisit some constructions of classical enriched category theory to set up the necessary material for our future applications.
△ Less
Submitted 30 December, 2013;
originally announced December 2013.
-
Toward a strictification theorem for co-Segal categories
Authors:
Hugo V. Bacard
Abstract:
We show that for a monoidal model category $\M=(\ul{M}, \otimes, I)$, certain co-Segal $\M$-categories are equivalent to strict ones.
We show that for a monoidal model category $\M=(\ul{M}, \otimes, I)$, certain co-Segal $\M$-categories are equivalent to strict ones.
△ Less
Submitted 1 August, 2013; v1 submitted 27 July, 2013;
originally announced July 2013.
-
A calculus on lax functors
Authors:
Hugo V. Bacard
Abstract:
We verify that Kelly's constructions of the internal Hom for enriched categories extends naturally to lax functors taking their values in a symmetric monoidal category. Our motivation is to set up a `calculus on lax functors' that will host the theory of weakly enriched categories that are defined by lax diagrams.
We verify that Kelly's constructions of the internal Hom for enriched categories extends naturally to lax functors taking their values in a symmetric monoidal category. Our motivation is to set up a `calculus on lax functors' that will host the theory of weakly enriched categories that are defined by lax diagrams.
△ Less
Submitted 27 July, 2013;
originally announced July 2013.
-
Colax Reedy diagrams
Authors:
Hugo V. Bacard
Abstract:
We use a theory of colax Reedy diagrams to show that the category of Segal M-precategories with fixed set of objects has a model structure for a symmetric monoidal model category M = (M,\otimes,I). What is relevant here is when M is monoidal for a non-cartesian product. The model structure is of Reedy style and generalizes the Reedy model structure for classical Segal M-precategories when M is mon…
▽ More
We use a theory of colax Reedy diagrams to show that the category of Segal M-precategories with fixed set of objects has a model structure for a symmetric monoidal model category M = (M,\otimes,I). What is relevant here is when M is monoidal for a non-cartesian product. The model structure is of Reedy style and generalizes the Reedy model structure for classical Segal M-precategories when M is monoidal for the cartesian product. The techniques we use also generalize the Reedy model structure for classical Reedy diagrams.
△ Less
Submitted 27 July, 2013;
originally announced July 2013.
-
Lax Diagrams and Enrichment
Authors:
Hugo V. Bacard
Abstract:
We introduce a new type of weakly enriched categories over a given symmetric monoidal model category M; these are called Co-Segal categories. Their definition derives from the philosophy of classical (enriched) Segal categories. We study their homotopy theory by giving a model structure on them. One of the motivations of introducing these structure was to have an alternative definition of higher l…
▽ More
We introduce a new type of weakly enriched categories over a given symmetric monoidal model category M; these are called Co-Segal categories. Their definition derives from the philosophy of classical (enriched) Segal categories. We study their homotopy theory by giving a model structure on them. One of the motivations of introducing these structure was to have an alternative definition of higher linear categories following Segal-like methods.
△ Less
Submitted 16 June, 2012;
originally announced June 2012.
-
Segal Enriched Categories I
Authors:
Hugo V. Bacard
Abstract:
We develop a theory of enriched categories over a (higher) category M equipped with a class W of morphisms called homotopy equivalences. We call them Segal M_W -categories. Our motivation was to generalize the notion of "up-to-homotopy monoids" in a monoidal category M, introduced by Leinster. The formalism adopted generalizes the classical Segal categories and extends the theory of enriched categ…
▽ More
We develop a theory of enriched categories over a (higher) category M equipped with a class W of morphisms called homotopy equivalences. We call them Segal M_W -categories. Our motivation was to generalize the notion of "up-to-homotopy monoids" in a monoidal category M, introduced by Leinster. The formalism adopted generalizes the classical Segal categories and extends the theory of enriched category over a bicategory. In particular we have a linear version of Segal categories which did not exist so far. Our goal in this paper is to present the theory and provide some examples. Applications are reserved for the future.
△ Less
Submitted 19 September, 2010;
originally announced September 2010.
