We introduce global model categories as a general framework to capture several phenomena in global equivariant homotopy theory. We then construct genuine stabilizations of these, generalizing the usual passage from unstable to stable global homotopy theory. Finally, we define the global topological André-Quillen cohomology of an ultra-commutative ring spectrum and express it in terms of a genuine stabilization in our framework in analogy with the classical non-equivariant description obtained by Basterra and Mandell.
We modify a classical construction of Bousfield and Kan to define the Adams tower of a simplicial nonunital commutative algebra over a field k. We relate this construction to Radulescu-Banu's cosimplicial resolution, and prove that all connected simplicial algebras are complete with respect to André-Quillen homology. This is a convergence result for the unstable Adams spectral sequence for commutative algebras over k.
We construct a natural transformation from the Bousfield-Kuhn functor evaluated on a space to the Topological Andre-Quillen cohomology of the K(n)-local Spanier-Whitehead dual of the space, and show that the map is an equivalence in the case where the space is a sphere. This results in a method for computing unstable v_n-periodic homotopy groups of spheres from their Morava E-cohomology (as modules over the Dyer-Lashof algebra of Morava E-theory). We relate the resulting algebraic computations to the algebraic geometry of isogenies between Lubin-Tate formal groups.
We explain how the approach of Andre and Quillen to defining cohomology and homology as suitable derived functors extends to generalized (co)homology theories, and how this identification may be used to study the relationship between them. As a side benefit, we clarify exactly what assumptions on an (algebraic) category are needed in order for the approach of Beck and Andre-Quillen to work. We also show how the description may be applied to construct universal coefficient and reverse Adams spectral sequences.
We develop a simple theory of André-Quillen cohomology for commutative differential graded algebras over a field of characteristic zero. We then relate it to the homotopy groups of function spaces and spaces of homotopy self-equivalences of rational nilpotent $CW$-complexes. This puts certain results of Sullivan in a more conceptual framework.
We adopt the viewpoint that topological Andé-Quillen theory for commutative $S$-algebras should provide usable (co)homology theories for doing calculations in the sense traditional within Algebraic Topology. Our main emphasis is on homotopical properties of universal derivations, especially their behaviour in multiplicative homology theories. There are algebraic derivation properties, but also deeper properties arising from the homotopical structure of the free algebra functor $\mathbb{P}_R$ and its relationship with extended powers of spectra. In the connective case in ordinary $\bmod{\,p}$ h…
In this paper we study the homotopy theory of parameterized spectrum objects in the $\infty$-category of $(\infty, 2)$-categories, as well as the Quillen cohomology of an $(\infty, 2)$-category with coefficients in such a parameterized spectrum. More precisely, we construct an analogue of the twisted arrow category for an $(\infty,2)$-category $\mathbb{C}$, which we call its twisted 2-cell $\infty$-category. We then establish an equivalence between parameterized spectrum objects over $\mathbb{C}$, and diagrams of spectra indexed by the twisted 2-cell $\infty$-category of $\mathbb{C}$. Under th…
We study the André-Quillen cohomology with coefficients of an algebra over an operad. Using resolutions of algebras coming from Koszul duality theory, we make this cohomology theory explicit and we give a Lie theoretic interpretation. For which operads is the associated André-Quillen cohomology equal to an Ext-functor ? We give several criterion, based on the cotangent complex, to characterize this property. We apply it to homotopy algebras, which gives a new homotopy stable property for algebras over cofibrant operads.
We confirm a conjecture of Quillen in the case of the mod $2$ cohomology of arithmetic groups ${\rm SL}_2({\mathcal{O}}_{\mathbb{Q}(\sqrt{-m})}[\frac{1}{2}]\thinspace)$, where ${\mathcal{O}}_{\mathbb{Q}(\sqrt{-m}\thinspace)}$ is an imaginary quadratic ring of integers. To make explicit the free module structure on the cohomology ring conjectured by Quillen, we compute the mod $2$ cohomology of ${\rm SL}_2({\mathbb{Z}}[\sqrt{-2}\thinspace][\frac{1}{2}])$ via the amalgamated decomposition of the latter group.
Topological André-Quillen homology for commutative $S$-algebras was introduced by Basterra following work of Kriz, and has been intensively studied by several authors. In this paper we discuss it as a homology theory on CW $S$-algebras and apply it to obtain results on minimal atomic $p$-local $S$-algebras which generalise those of Baker and May for $p$-local spectra and simply connected spaces. We exhibit some new examples of minimal atomic $S$-algebras.
There are two main approaches to the problem of realizing a $Π$-algebra (a graded group $Λ$ equipped with an action of the primary homotopy operations) as the homotopy groups of a space $X$. Both involve trying to realize an algebraic free simplicial resolution $G_\bullet$ of $Λ$ by a simplicial space $W_\bullet$ and proceed by induction on the simplicial dimension. The first provides a sequence of André-Quillen cohomology classes in $H_{AQ}^{n+2}(Λ;Ω^{n}Λ)$ for $n \geq 1$ as obstructions to the existence of successive Postnikov sections for $W_\bullet$ by work of Dwyer, Kan and Stover. The se…
The use of homological and homotopical devices, such as Tor and André-Quillen homology, have found substantial use in characterizing commutative algebras. The primary category setting has been differentially graded algebras and modules, but recently simplicial categories have also proved to be useful settings. In this paper, we take this point of view up a notch by extending some recent uses of homological algebra in characterizing Noetherian commutative algebras to characterizing simplicial commutative algebras having finite Noetherian homotopy through the use of simplicial homotopy theory. T…
L. Avramov, following D. Quillen, posed a conjecture to the effect that if $R \to A$ is a homomorphism of Noetherian rings then the André-Quillen homology on the category of A-modules satisfies: $D_{s}(A|R;-) = 0$ for $s\gg 0$ implies $D_{s}(A|R;-) = 0$ for s>2. In an earlier paper, the author posed an extended version of this conjecture which considered A to be a simplicial commutative R-algebra with Noetherian homotopy such that the characteristic of $π_{0}A$ is non-zero. In addition, a homotopy characterization of such algebras was described. The main goal of this paper is to develop a stra…
We show that the cohomology groups usually associated with racks and quandles agree with the Quillen cohomology groups for the algebraic theories of racks and quandles, respectively. We also explain how this makes available the entire range of tools that comes with a Quillen homology theory, such as long exact sequences (transitivity) and excision isomorphisms (flat base change).
In this paper we use tools from differential topology to give a geometric description of cohomology for Hilbert manifolds. Our model is Quillen's geometric description of cobordism groups for finite dimensional smooth manifolds \cite{Q}. Quillen stresses the fact that this construction allows the definition of Gysin maps for "oriented" proper maps. For finite dimensional manifolds one has a Gysin map in singular cohomology which is based on Poincaré duality, hence it is not clear how to extend it to infinite dimensional manifolds. But perhaps one can overcome this difficulty by giving a Quille…
We show that that classical rational homotopy theory in the sense of Sullivan [6] can be extended compactly supported setting. This presents a simplicial version of the compactly supported de Rham complex in characteristic zero, and proving that it models singular compactly supported cohomology. This presents new avenues of possible study in proper homotopy theory, and further extensions of the ideas within the classical literature of Quillen [5] and Sullivan.
We give a survey of a generalization of Quillen-Sullivan rational homotopy theory which gives spectral algebra models of unstable v_n-periodic homotopy types. In addition to describing and contextualizing our original approach, we sketch two other recent approaches which are of a more conceptual nature, due to Arone-Ching and Heuts. In the process, we also survey many relevant concepts which arise in the study of spectral algebra over operads, including topological André-Quillen cohomology, Koszul duality, and Goodwillie calculus.
In this paper, we study simplicial commutative algebras with finite André-Quillen homology. Here we restrict our focus to simplicial algebras having characteristic 2. Our aim is to find a generalization of results established by the author. Our goal is to replace the finiteness condition on homotopy with a weaker condition expressed in terms of nilpotency for the action of the homotopy operations. Coupled with the finiteness assumption on André-Quillen homology, this nilpotency condition provides a way to bound the height at which the homology vanishes. As a consequence, we establish a special…
Every homology or cohomology theory on a category of E-infinity ring spectra is Topological Andre-Quillen homology or cohomology with appropriate coefficients. Analogous results hold for the category of A-infinity ring spectra and for categories of algebras over many other operads.
Relying on the computation of the Andre-Quillen homology groups for unstable Hopf algebras, we prove that the mod p cohomology of the n-connected cover of a finite H-space is always finitely generated as algebra over the Steenrod algebra.
We construct spectral sequences in the framework of Baues-Wirsching cohomology and homology for functors between small categories and analyze particular cases including Grothendieck fibrations. We also give applications to more classical cohomology and homology theories including Hochschild-Mitchell cohomology and those studied before by Watts, Roos, Quillen and others.
This is a survey paper on cohomology theories for $A_\infty$ and $E_\infty$ ring spectra. Different constructions and main properties of topological André-Quillen cohomology and of topological derivations are described. We give sample calculations of these cohomology theories and outline applications to the existence of $A_\infty$ and $E_\infty$ structures on various spectra. We also explain the relationship between topological derivations, spaces of multiplicative maps and moduli spaces of multiplicative structures.
We define inductively a sequence of purely algebraic invariants - namely, classes in the Quillen cohomology of the Pi-algebra π_* X - for distinguishing between different homotopy types of spaces. Another sequence of such cohomology classes allows one to decide whether a given abstract Pi-algebra can be realized as the homotopy Pi-algebra of a space in the first place. The paper is written for a relatively general "resolution model category", so it also applies, for example, to rational homotopy types.
The category of rational O(2)-equivariant cohomology theories has an algebraic model A(O(2)), as established by work of Greenlees. That is, there is an equivalence of categories between the homotopy category of rational O(2)-equivariant spectra and the derived category of the abelian model DA(O(2)). In this paper we lift this equivalence of homotopy categories to the level of Quillen equivalences of model categories. This Quillen equivalence is also compatible with the Adams short exact sequence of the algebraic model.
For a simply connected rationally elliptic CW-complex $X$, we show that the cohomology and the homotopy Euler-Poincaré characteristics are related to two new numerical invariants namely $η_{X}$ and $ρ_{X}$ which we define using the Whitehead exact sequences of the Quillen and the Sullivan models of $X$.
Due to the deep work of Tillmann, Madsen, Weiss and Galatius, the cohomology of the stable mapping class group $\gaminf$ is known with rational or finite field coefficients. Little is known about the integral cohomology. In this paper, we study the first four cohomology groups. Also, we compute the first few steps of the Postnikov tower of $B \gaminf^+$, the Quillen plus construction applied to $B \gaminf$. Our method relies on the Madsen-Weiss theorem, a few known computations of stable homotopy groups of spheres and projective spaces and on a certain action of the binary icosahedral group on…
Free and cofree equivariant spectra are important classes of equivariant spectra which represent equivariant cohomology theories on free equivariant spaces. Greenlees-Shipley and Pol and the author have given an algebraic model for rational (co)free equivariant spectra. In this paper, we extend this framework by proving that the Quillen functors of induction-restriction-coinduction between categories of (co)free rational equivariant spectra correspond to Quillen functors between the algebraic models in the case of connected compact Lie groups. This is achieved using new abstract techniques reg…
The category of rational G-equivariant cohomology theories for a compact Lie group $G$ is the homotopy category of rational G-spectra and therefore tensor-triangulated. We show that its Balmer spectrum is the set of conjugacy classes of closed subgroups of $G$, with the topology corresponding to the topological poset introduced in the author's study of rational Mackey functors. This is used to classify the collections of subgroups arising as the geometric isotropy of finite $G$-spectra. The ingredients for this classification are (i) the algebraic model of free spectra of the author and B.Ship…
We construct a cocycle model for complex analytic equivariant elliptic cohomology that refines Grojnowski's theory when the group is connected and Devoto's when the group is finite. We then construct Mathai--Quillen type cocycles for equivariant elliptic Euler and Thom classes, explaining how these are related to positive energy representations of loop groups. Finally, we show that these classes give a unique equivariant refinement of Hopkins' "theorem of the cube" construction of the ${\rm MString}$-orientation of elliptic cohomology.
A stratified space is a topological space together with a decomposition into strata corresponding to different types of singularities. Examples of such spaces appear everywhere in topology and geometry. The study of stratified spaces involves invariants such as intersection cohomology which are only invariants under stratification-preserving homotopies. In this thesis, we study the homotopy theory of stratified spaces with respect to those stratified homotopies. To do so, we construct model categories for stratified spaces and we introduce new invariants to characterize them, the filtered homo…
In this paper we develop the definition of a global orthogonal spectrum and its unitary version. It relates $G-$equivariant spectra by equivariant weak equivalence in a coherent way. This category of global spectra has a model structure Quillen equivalent to the global model structure on orthogonal spectra. We also show that there is a large family of equivariant cohomology theories, including quasi-elliptic cohomology, that can be globalized in the new context. Starting from one global ring spectrum, we can construct infinitely many distinct global ring spectra. Moreover, in light of the resu…
In this paper, a strategy is developed studying a simplicial commutative algebra A whose zeroth homotopy group is a Noetherian ring B and whose higher homotopy groups are finite over B. The strategy replaces A with a connected simplicial supplemented k(q)-algebra, for each prime ideal q in B, which preserves much of the Andre-Quillen homology of A. The methods for this construction involves a mixture of methods of homotopy theory (e.g. Postnikov towers) with methods of commutative algebras (e.g. completions, Cohen factorizations). We finish by indicating how these methods resolve a more genera…
We construct a rational $T^2$-equivariant elliptic cohomology theory for the 2-torus $T^2$, starting from an elliptic curve C over the complex numbers and a coordinate data around the identity. The theory is defined by constructing an object $EC_{T^2}$ in the algebraic model category $dA(T^2)$, which by Greenlees and Shipley is Quillen-equivalent to rational $T^2$-spectra. This result is a generalization to the 2-torus of the construction [Gre05] for the circle. The object $EC_{T^2}$ is directly built using geometric inputs coming from the Cousin complex of the structure sheaf of the surface C…
We utilise the theory of crossed simplicial groups to introduce a collection of local Quillen model structures on the category of simplicial presheaves with a compact planar Lie group action on a small Grothendieck site. As an application, we give a characterisation of equivariant cohomology theories on a site as derived mapping spaces in these model categories.
This paper shows that the integral equivariant cohomology Chern numbers completely determine the equivariant geometric unitary bordism classes of closed unitary $G$-manifolds, which gives an affirmative answer to the conjecture posed by Guillemin--Ginzburg--Karshon in [20, Remark H.5, $\S3$, Appendix H], where $G$ is a torus. As a further application, we also obtain a satisfactory solution of [20, Question (A), $\S1.1$, Appendix H] on unitary Hamiltonian $G$-manifolds. Our key ingredients in the proof are the universal toric genus defined by Buchstaber--Panov--Ray and the Kronecker pairing of …
The usual notion of a site fibred over a stack is expanded to a definition of a site C/A fibred over a presheaf of categories A. Presheaves of simplicial sets on the site fibred over a presheaf of categories A are contravariant enriched diagrams defined on A, taking values in simplicial sets. The standard model structure for presheaves of simplicial sets induces a coarse equivariant structure for enriched contravariant A-diagrams. If the presheaf of categories is a presheaf of groupoids G, then the associated homotopy theory is Quillen equivalent to the homotopy theory of simplicial presheaves…
