Category theory provides a means through which many far-ranging fields of mathematics can be related by their similar structure. In a paper by Robinson [2], this interconnectivity afforded by categorical perspectives allowed for the realization of torsion products as the homotopy groups of a topological space, which is itself constructed for this express purpose. However, even stating this result formally requires a multitude of preliminaries in algebra, topology, and category theory.
The goal of this document is to present a self-contained guide to the fundamental concepts and results, with few proofs, required to do work with this kind of mathematics in hopes of making the field of homotopical algebra more accessible. We only assume familiarity with topological spaces and groups, so it is approachable from an undergraduate level. This project culminates in a discussion of the result of Robinson mentioned above along with a computation as a proof of concept.
We explain how the computation of induced crossed modules allows the computation of certain homotopy 2-types and, in particular, second homotopy groups. We discuss various issues involved in computing induced crossed modules and give some examples and applications.
We give a rather general construction of double categories and so, under further conditions, double groupoids, from a structure we call a `double module'. We also give a homotopical construction of a double groupoid from a triad consisting of a space, two subspaces, and a set of base points, under a condition which also implies that this double groupoid contains two second relative homotopy groups.
The object of this paper is to prove that the standard categories in which homotopy theory is done, such as topological spaces, simplicial sets, chain complexes of abelian groups, and any of the various good models for spectra, are all homotopically self-contained. The left half of this statement essentially means that any functor that looks like it could be a tensor product (or product, or smash product) with a fixed object is in fact such a tensor product, up to homotopy. The right half says any functor that looks like it could be Hom into a fixed object is so, up to homotopy. More precisely…
Building on previous works, we show that the category of non-negatively graded chain complexes of $D_X$-modules -- where $X$ is a smooth affine algebraic variety over an algebraically closed field of characteristic zero -- fits into a homotopical algebraic context in the sense of Toen and Vezzosi.
We show that the pretensor and tensor products of simplicial sets with marking are compatible with the homotopy theory of saturated $N$-complicial sets (which are a proposed model of $(\infty,N)$-categories), in the form of a Quillen bifunctor and a homotopical bifunctor, respectively.
Higher Homotopy van Kampen Theorems allow the computation as colimits of certain homotopical invariants of glued spaces. One corollary is to describe homotopical excision in critical dimensions in terms of induced modules and crossed modules over groupoids. This paper shows how fibred and cofibred categories give an overall context for discussing and computing such constructions, allowing one result to cover many cases. A useful general result is that the inclusion of a fibre of a fibred category preserves connected colimits. The main homotopical application are to pairs of spaces with several…
We give sufficient conditions for homotopical localization functors to preserve algebras over coloured operads in monoidal model categories. Our approach encompasses a number of previous results about preservation of structures under localizations, such as loop spaces or infinite loop spaces, and provides new results of the same kind. For instance, under suitable assumptions, homotopical localizations preserve ring spectra (in the strict sense, not only up to homotopy), modules over ring spectra, and algebras over commutative ring spectra, as well as ring maps, module maps, and algebra maps. I…
We construct an $(\infty,2)$-version of the (lax) Gray tensor product. On the 1-categorical level, this is a binary (or more generally an $n$-ary) functor on the category of $Θ_2$-sets, and it is shown to be left Quillen with respect to Ara's model structure. Moreover we prove that this tensor product forms part of a "homotopical" (biclosed) monoidal structure, or more precisely a normal lax monoidal structure that is associative up to homotopy.
We generalize Quillen's $F$-isomorphism theorem, Quillen's stratification theorem, the stable transfer, and the finite generation of cohomology rings from finite groups to homotopical groups. As a consequence, we show that the category of module spectra over $C^*(B\mathcal{G},\mathbb{F}_p)$ is stratified and costratified for a large class of $p$-local compact groups $\mathcal{G}$ including compact Lie groups, connected $p$-compact groups, and $p$-local finite groups, thereby giving a support-theoretic classification of all localizing and colocalizing subcategories of this category. Moreover, w…
Algebraic quantum field theory and prefactorization algebra are two mathematical approaches to quantum field theory. In this monograph, using a new coend definition of the Boardman-Vogt construction of a colored operad, we define homotopy algebraic quantum field theories and homotopy prefactorization algebras and investigate their homotopy coherent structures. Homotopy coherent diagrams, homotopy inverses, A-infinity-algebras, E-infinity-algebras, and E-infinity-modules arise naturally in this context. In particular, each homotopy algebraic quantum field theory has the structure of a homotopy …
A coring (A,C) consists of an algebra A and a coalgebra C in the monoidal category of A-bimodules. Corings and their comodules arise naturally in the study of Hopf-Galois extensions and descent theory, as well as in the study of Hopf algebroids. In this paper, we address the question of when two corings in a symmetric monoidal model category V are homotopically Morita equivalent, i.e., when their respective categories of comodules are Quillen equivalent. The category of comodules over the trivial coring (A,A) is isomorphic to the category of A-modules, so the question above englobes that of wh…
This is the second part of a series of papers devoted to develop Homotopical Algebraic Geometry. We start by defining and studying generalizations of standard notions of linear and commutative algebra in an abstract monoidal model category, such as derivations, etale and smooth maps, flat and projective modules, etc. We then use the theory of stacks over model categories introduced in \cite{hagI} in order to define a general notion of geometric stack over a base symmetric monoidal model category C, and prove that this notion satisfies the expected properties. The rest of the paper consists in …
In this paper we propose an approach to homotopical algebra where the basic ingredient is a category with two classes of distinguished morphisms: strong and weak equivalences. These data determine the cofibrant objects by an extension property analogous to the classical lifting property of projective modules. We define a Cartan-Eilenberg category as a category with strong and weak equivalences such that there is an equivalence between its localization with respect to weak equivalences and the localised category of cofibrant objets with respect to strong equivalences. This equivalence allows us…
We describe a model structure for coloured operads with values in the category of symmetric spectra (with the positive model structure), in which fibrations and weak equivalences are defined at the level of the underlying collections. This allows us to treat R-module spectra (where R is a cofibrant ring spectrum) as algebras over a cofibrant spectrum-valued operad with R as its first term. Using this model structure, we give suficient conditions for homotopical localizations in the category of symmetric spectra to preserve module structures.
The purpose of this note is to observe that a homomorphism of discrete groups $f:Γ\to G$ arises as the induced map $π_0(\mathfrak{M})\to π_0(\mathfrak{X})$ on path components of some closed normal inclusion of topological groups $\mathfrak{M}\subseteq \mathfrak{X},$ if and only if the map $f$ can be equipped with a crossed module structure. In that case an essentially unique realization $\mathfrak{M}\subseteq \mathfrak{X}$ exists by homotopically discrete topological groups.
In this paper, we investigate the group of endotrivial modules for certain $p$-groups. Such groups were already been computed by Carlson-Thévenaz using the theory of support varieties; however, we provide novel homotopical proofs of their results for cyclic $p$-groups, the quaternion group of order 8, and for generalized quaternion groups using Galois descent and Picard spectral sequences, building on results of Mathew and Stojanoska. Our computations provide conceptual insights into the classical work of Carlson-Thévenaz.
We set the foundations for a new approach to Topological Data Analysis (TDA) based on homotopical methods at chain complexes level. We present the category of tame parametrised chain complexes as a comprehensive environment that includes several cases that usually TDA handles separately, such as persistence modules, zigzag modules, and commutative ladders. We extract new invariants in this category using a model structure and various minimal cofibrant approximations. Such approximations and their invariants retain some of the topological, and not just homological, aspects of the objects they a…
In this article, we investigate the functors from modules to modules that occur as the summands of tensor powers and the functors from modules to Hopf algebras that occur as natural coalgebra summands of tensor algebras. The main results provide some explicit natural coalgebra summands of tensor algebras. As a consequence, we obtain some decompositions of Lie powers over the general linear groups.
This is a survey paper, based on lectures given at the Workshop on "Structured ring spectra and their applications" which took place January 21-25, 2002, at the University of Glasgow. The term `Morita theory' is usually used for results concerning equivalences of various kinds of module categories. We focus on the covariant form of Morita theory, so the basic question is: When do two `rings' have `equivalent' module categories ? We discuss this question in different contexts and illustrate it by examples: (Classical) When are the module categories of two rings equivalent as categories ? (Deriv…
We reformulate the persistent (co)homology of simplicial filtrations, viewed from a more algebraic setting, namely as the (co)homology of a chain complex of graded modules over polynomial ring $K[t]$. We also define persistent (co)homology of groups, associative algebras, Lie algebras, etc. \par Then we obtain formulas for tensor powers $T^n(M),S^n(M),Λ^{\!n}(M)$ where $M$ is a persistence module. We discuss the cyclic and dihedral powers of persistence modules, and more generally quotients of $T^n(M)$ by a group action.
The tensor functor from the category of $A_\infty$-algebras into the category of differential modules with $\infty$-simplicial faces is constructed. Further, it is showed that this functor sends homotopy equivalent $A_\infty$-algebras into homotopy equivalent differential modules with $\infty$-simplicial faces.
These are expanded notes from some talks given during the fall 2002, about ``homotopical algebraic geometry'' (HAG) with special emphasis on its applications to ``derived algebraic geometry'' (DAG) and ``derived deformation theory''. We use the general framework developed in Toen, Vezzosi, ``Homotopical Algebraic Geometry I: Topos theory'', and in particular the notions of model topology, model sites and stacks over them, in order to define various derived moduli functors and study their geometric properties. We start by defining the model category of D-stacks, with respect to an extension of …
Classifying endotrivial kG-modules, i.e., elements of the Picard group of the stable module category for an arbitrary finite group G, has been a long-running quest. By deep work of Dade, Alperin, Carlson, Thevenaz, and others, it has been reduced to understanding the subgroup consisting of modular representations that split as the trivial module k direct sum a projective module when restricted to a Sylow p-subgroup. In this paper we identify this subgroup as the first cohomology group of the orbit category on non-trivial p-subgroups with values in the units k^x, viewed as a constant coefficien…
