Abstract
The cotangent complex of a map of commutative rings is a central object in deformation theory. Since the 1990s, it has been generalized to the homotopical setting of \(E_\infty \)ring spectra in various ways. In this work we first establish, in the context of \(\infty \)categories and using Goodwillie’s calculus of functors, that various definitions of the cotangent complex of a map of \(E_\infty \)ring spectra that exist in the literature are equivalent. We then turn our attention to a specific example. Let R be an \(E_\infty \)ring spectrum and \(\mathrm {Pic}(R)\) denote its Picard \(E_\infty \)group. Let Mf denote the Thom \(E_\infty \)Ralgebra of a map of \(E_\infty \)groups \(f:G\rightarrow \mathrm {Pic}(R)\); examples of Mf are given by various flavors of cobordism spectra. We prove that the cotangent complex of \(R\rightarrow Mf\) is equivalent to the smash product of Mf and the connective spectrum associated to G.
Introduction
Deformation theory
The cotangent complex arises as a central object of deformation theory. One wishes to understand extensions of functions between geometric spaces to infinitesimal thickenings of those spaces. Working algebraically, the simplest example of an infinitesimal thickening of a commutative Ralgebra S is given by a squarezero extension: that is, a surjective map of commutative Ralgebras \(\phi :{{\widetilde{S}}}\rightarrow S\) such that the product of any two elements in the kernel of \(\phi \) is zero.
One way to construct squarezero extensions is using derivations. If M is an Smodule, an Rlinear derivation \(S\rightarrow M\) is a map of Rmodules which satisfies the Leibniz condition. The Smodule of Rlinear derivations \(\mathrm {Der}_R(S,M)\) is corepresented by the Smodule of Kähler differentials \(\Omega _{S/R}\). It is also represented by the commutative Ralgebra over S given by the trivial squarezero extension \(S\oplus M\) with multiplication given by \((s,m)(s',m')=(ss',sm'+ms')\). Therefore, we have bijections
where \(\mathrm {CAlg}_{{{R}/ / {S}}}\) denotes the category of commutative rings C with maps of commutative rings \(R\rightarrow C\rightarrow S\) composing to the unit of S.
Starting from a class in \(\mathrm {Ext}^1_S(\Omega _{S/R},M)\) represented by an extension of Smodules
one can build a squarezero extension of S by M by pulling back the second map along the universal derivation \(S \rightarrow \Omega _{S/R}\) in \(\mathrm {Mod}_R\):
The pullback \({\widetilde{S}}\) gets a commutative Ralgebra structure, and the map \({\widetilde{S}}\rightarrow S\) is surjective with kernel isomorphic to M as an Rmodule.
However, this does not produce all squarezero extensions: for that, one needs to derive the module of Kähler differentials. The way this was originally achieved independently by André [5] and Quillen [19] was by simplicial methods. Quillen placed a model structure on the category of simplicial commutative algebras. This produces a simplicial Smodule \(\mathbb {L}\Omega _{S/R}\) (called the algebraic cotangent complex by Lurie [18, 25.3]), and the first AndréQuillen cohomology Smodule \(\mathrm {Ext}^1_S(\mathbb {L}\Omega _{S/R},M)\) is isomorphic to the Smodule of equivalence classes of squarezero extensions of S by M.
We shall not take this approach, but rather work with the more general \(E_\infty \)ring spectra. The module of Kähler differentials in this context is replaced by the cotangent complex: if \(A\rightarrow B\) is a map of \(E_\infty \)ring spectra, the cotangent complex is a Bmodule \(L_{B/A}\). Using \(L_{S/R}\)^{Footnote 1} instead of \(\mathbb {L}\Omega _{S/R}\), AndréQuillen (co)homology is replaced by topological AndréQuillen (co)homology, also known as TAQ. The precise relation between \(\mathbb {L}\Omega _{B/A}\) and \(L_{B/A}\) can be found in [18, 25.3.3.7/25.3.5.4].
One can define squarezero extensions of \(E_\infty \)ring spectra. The cotangent complex helps classify them. As is usual in homotopy theory, one does not merely want to describe equivalence classes of squarezero extensions. One would like to prove that the whole \(\infty \)category of squarezero extensions of an \(E_\infty \)Aalgebra B is equivalent to the \(\infty \)category of Alinear derivations \(B\rightarrow \Sigma M\) where M is a Bmodule.^{Footnote 2} This is proven in [16, 7.4.1.26], provided one restricts the \(\infty \)categories a bit. Note that the traditional definition of derivations as linear maps that satisfy the Leibniz rule does not work in this setup, whereas the interpretations of (1.1) do.
Apart from the connections to deformation theory, the cotangent complex \(L_{B/A}\) helps detect useful properties of the map \(f: A\rightarrow B\). For example, if A and B are connective, then f is an equivalence if and only if \(\pi _0(f):\pi _0(A)\rightarrow \pi _0(B)\) is an isomorphism and \(L_{B/A}\) vanishes [16, 7.4.3.4]. The theory of the cotangent complex also helps in proving theorems that do not mention it at all: for example, if A is an \(E_\infty \)ring spectrum and a map of commutative rings \(\pi _0(A)\rightarrow B_0\) is étale, then it lifts in an essentially unique way to an étale map of \(E_\infty \)ring spectra \(A\rightarrow B\) [16, 7.5.0.6].
Different approaches to the cotangent complex
Let us trace the history of the \(E_\infty \) cotangent complex of a map of \(E_\infty \)ring spectra \(A\rightarrow B\), since it has been defined in different ways in the literature.
The first definition can be found in a preprint by Kriz [13]. It was defined as a sequential colimit built out of tensoring \(B\wedge _A B\) with spheres, in a certain way.
Basterra [6] took another approach: she defined the cotangent complex to be the indecomposables of the augmentation ideal \(I(B\wedge _A B)\) of \(B\wedge _A B\), which is the fiber of the multiplication map \(B\wedge _A B\rightarrow B\). She did not prove the equivalence with Kriz’s approach.
Later, herself and Mandell [8] established the connection between Basterra’s definition of the cotangent complex and stabilization. Just as Beck had observed in the sixties that the category of modules over a commutative ring R was equivalently given by the abelian group objects in augmented commutative Ralgebras [7], they proved the \(E_\infty \)analog. Abelian group objects have to be replaced by spectra objects. They proved that to get \(L_{B/A}\), one can start from \(B\wedge _AB\) considered as an augmented commutative Balgebra, then stabilize it, i.e. apply \(\Omega ^\infty \Sigma ^\infty \) to it, then take its augmentation ideal.
It was known to the experts that one could extract from the results of Basterra and Mandell an expression of the cotangent complex as a sequential colimit, similar to Kriz’s expression, see e.g. [21, Page 164]. However, we think a full description of how these approaches are connected has not appeared in the literature. We take the opportunity to expand on them in Sect. 3.
The approach to the cotangent complex taken by Lurie in [16, 7.3] is closest to Basterra and Mandell’s approach, albeit in the realm of \(\infty \)categories rather than in that of model categories. We feel a unified study of the different approaches in Lurie’s setting was lacking: we provide one here. We adopt the language of the Goodwillie calculus of functors as developed by Lurie in [16, Chapter 6]. Our Sect. 2 will swiftly introduce the necessary results. The fact that the the cotangent complex can be understood via Goodwillie calculus was known, see e.g. [14, 5.4].
In summary, we prove in the \(\infty \)categorical context of [16] that the cotangent complex \(L_{B/A}\) can be presented in the following ways:

As the augmentation ideal of the stabilization of \(B\wedge _A B\), i.e. \(I(\Omega ^\infty \Sigma ^\infty (B\wedge _A B))\) (3.9/3.10),

As the excisive approximation of I evaluated in \(B\wedge _AB\), i.e. \((P_1I)(B\wedge _AB)\) (3.11),

As the sequential colimit of Bmodules (3.26)

As the module of indecomposables of the augmentation ideal of \(B\wedge _A B\) (3.34).
Here \( {{\tilde{\otimes }}}  \) is a certain operation to be introduced in Notation 3.24 that takes a pointed space and an \(E_\infty \)Aalgebra B and returns a Bmodule.
Thom spectra
The main result of this paper is the determination of the cotangent complex of Thom \(E_\infty \)ring spectra. Let us quickly recall what these are, following the \(\infty \)categorical approach of [1]. Let G be a space, R be an \(E_\infty \)ring spectrum, \(\mathrm {Pic}(R)\) be the Picard space of R (the subspace of \(\mathrm {Mod}_R\) spanned by the invertible Rmodules), and \(f:G\rightarrow \mathrm {Pic}(R)\) be a map. The colimit of is the Thom Rmodule of f, denoted Mf. In fact, \(\mathrm {Pic}(R)\) is an \(E_\infty \)group. When G is an \(E_\infty \)group and f is a map of \(E_\infty \)groups, then Mf gets the structure of an \(E_\infty \)Ralgebra [2, 3]. Examples of Thom \(E_\infty \)ring spectra include complex cobordism MU and periodic complex cobordism MUP.
Theorem 4.3
Let R be an \(E_\infty \)ring spectrum. Let \(f:G\rightarrow \mathrm {Pic}(R)\) be a map of \(E_\infty \)groups. There is an equivalence of Mfmodules
Here \(B^\infty G\) denotes the connective spectrum associated to G.
A modelcategorical version had first appeared in [8]. For example, we recover the equivalence of MUmodules
of that paper. The result of Basterra and Mandell, however, only applies to Thom spectra of maps to \(BGL_1(\mathbb {S})\), whereas ours applies to maps to \(\mathrm {Pic}(R)\) where R is any \(E_\infty \)ring spectrum. This allows for generalized, possibly nonconnective Thom \(E_\infty \)ring spectra. For example, we get that
as MUPmodules, where ku denotes the \(E_\infty \)ring spectrum of connective complex topological Ktheory. In fact, \(L_{MUP}\) is actually a Thom \(E_\infty \)kualgebra. More generally, we observe in Proposition 4.9 that when G is an \(E_\infty \)ring space, then the Rmodule \(L_{Mf/R}\) underlies a Thom \(E_\infty \)(\(R\wedge B^\infty G\))algebra. In other words, with this additional hypothesis the cotangent complex of a Thom \(E_\infty \)algebra becomes a Thom \(E_\infty \)algebra.
In Sect. 5 we extend Theorem 4.3 to cotangent complexes of two types of extensions of Thom algebras: if \(Mf\rightarrow B\) is a map \(E_\infty \)Ralgebras which is either étale or solid (i.e. the multiplication \(B\wedge _{Mf}B \rightarrow B\) is an equivalence), then
This allows us, for example, to recover the equivalence \(L_{KU}\simeq KU\wedge H\mathbb {Q}\) from [24], where KU denotes the \(E_\infty \)ring spectrum of periodic complex topological Ktheory.
Notation and conventions
We will freely use the language of \(\infty \)categories as developed in [15, 16].
Let \(\mathscr {C}\) be an \(\infty \)category. Given a fixed map \(f:A \rightarrow B\), we denote by \(\mathscr {C}_{{{A}/ / {B}}}\) the \(\infty \)category \((\mathscr {C}_{/B})_{f/}\) of objects \(C\in \mathscr {C}\) together with maps \(A\rightarrow C\rightarrow B\) which compose to f. Similarly, we denote by \(\mathscr {C}_{{{B}/ / {B}}}\) the \(\infty \)category \((\mathscr {C}_{/B})_{\mathrm {id}_B/}\).
If \(\mathscr {C}\) is an \(\infty \)category with terminal object T, we let \(\mathscr {C}_*\) denote the undercategory \(\mathscr {C}_{T/}\).
The \(\infty \)category of spaces will be denoted by \(\mathscr {S}\), and that of spectra by \(\mathrm {Sp}\). Its full subcategory of connective spectra is denoted by \(\mathrm {Sp}^{cn }\). We denote by \(\mathrm {CAlg}\) the \(\infty \)category \(\mathrm {CAlg}(\mathrm {Sp})\) of \(E_\infty \)ring spectra, and by \(\mathrm {CAlg}_R\) that of \(E_\infty \)algebras over an \(E_\infty \)ring spectrum R, i.e. \(\mathrm {CAlg}(\mathrm {Mod}_R)\). The suspension spectrum functor \(\mathscr {S}\rightarrow \mathrm {Sp}\) is denoted \(\Sigma ^\infty _+\), and if \(G\in \mathrm {CAlg}(\mathscr {S})\), then \(\mathbb {S}[G]\) denotes the \(E_\infty \)ring spectrum \(\Sigma ^\infty _+(G)\).
Short review of stabilization and Goodwillie calculus
Let us summarize some notions from the Goodwillie calculus of functors which we shall be using. We shall work with the \(\infty \)categorical version of it as in [16, Chapter 6]. For simplicity, let us assume that \(\mathscr {C}\) and \(\mathscr {D}\) are \(\infty \)categories which are pointed and presentable.

(1)
A functor \(F:\mathscr {C}\rightarrow \mathscr {D}\) is reduced if it takes a final object to a final object. It is excisive if it takes pushout squares to pullback squares. The full subcategory of \(\mathrm {Fun}(\mathscr {C},\mathscr {D})\) spanned by the excisive functors is denoted \(\mathrm {Exc}(\mathscr {C},\mathscr {D})\), and the one spanned by the reduced, excisive functors is denoted \(\mathrm {Exc}_*(\mathscr {C},\mathscr {D})\).

(2)
The \(\infty \)category of spectra in \(\mathscr {C}\) is defined by \(\mathrm {Sp}(\mathscr {C}) =\mathrm {Exc}_*(\mathscr {S}_*^\mathrm {fin},\mathscr {C})\) where \(\mathscr {S}_*^\mathrm {fin}\) is the \(\infty \)category of pointed finite spaces [16, 1.4.2.8]. Evaluation at the sphere \(S^0\) defines a functor \(\Omega ^\infty :\mathrm {Sp}(\mathscr {C})\rightarrow \mathscr {C}\) which is an equivalence when \(\mathscr {C}\) is stable [16, 1.4.2.21]; since \(\mathscr {C}\) is pointed and presentable, \(\Omega ^\infty \) admits a left adjoint \(\Sigma ^\infty :\mathscr {C}\rightarrow \mathrm {Sp}(\mathscr {C})\) [16, 1.4.4.4]. If \(\mathscr {C}\) is presentable but not pointed, the left adjoint to \(\Omega ^\infty \) is denoted \(\Sigma ^\infty _+\) and it factors into two left adjoint functors \(\mathscr {C}\xrightarrow {()_+} \mathscr {C}_* \xrightarrow {\Sigma ^\infty } \mathrm {Sp}(\mathscr {C}_*)\simeq \mathrm {Sp}(\mathscr {C})\) [11, 4.10].

(3)
The inclusion \(\mathrm {Exc}(\mathscr {C},\mathscr {D})\rightarrow \mathrm {Fun}(\mathscr {C},\mathscr {D})\) has a left adjoint \(P_1\), called the excisive approximation functor [16, 6.1.1.10]. The unit natural transformation \(F\Rightarrow P_1F\) is said to exhibit \(P_1F\) as the excisive approximation to F. If \(F:\mathscr {C}\rightarrow \mathscr {D}\) is reduced, then \(P_1F\) is reduced, and by [16, 6.1.1.28],
$$\begin{aligned} P_1F \simeq \mathrm {colim}_n (\Omega ^n_\mathscr {D}\circ F \circ \Sigma ^n_\mathscr {C}). \end{aligned}$$ 
(4)
[16, 6.2.1.4] If \(F:\mathscr {C}\rightarrow \mathscr {D}\) is left exact (i.e. preserves finite limits), then composition with F defines a functor \(\partial F:\mathrm {Sp}(\mathscr {C})\rightarrow \mathrm {Sp}(\mathscr {D})\), the (Goodwillie) derivative which makes the following diagram commute

(5)
In the case of an arbitrary functor \(F:\mathscr {C}\rightarrow \mathscr {D}\), derivatives admit a general definition [16, 6.2.1.1]: they consist of a functor \(\partial F:\mathrm {Sp}(\mathscr {C})\rightarrow \mathrm {Sp}(\mathscr {D})\) and a natural transformation \(F\circ \Omega ^\infty _\mathscr {C}\Rightarrow \Omega ^\infty _\mathscr {D}\circ \partial F\) satisfying some properties. Derivatives are unique up to canonical equivalence [16, 6.2.1.2], and there are very general existence results: in particular, under the conditions on \(\mathscr {C}\) and \(\mathscr {D}\) which we have imposed, every \(F:\mathscr {C}\rightarrow \mathscr {D}\) admits a derivative [16, 6.2.1.9/6.2.3.13].

(6)
[16, Page 1071] If \(F:\mathscr {C}\rightarrow \mathscr {D}\) is reduced and preserves filtered colimits, then
$$\begin{aligned}P_1F\simeq \Omega ^\infty _\mathscr {D}\circ \partial F \circ \Sigma ^\infty _\mathscr {C}.\end{aligned}$$ 
(7)
\(\partial \mathrm {id}_\mathscr {C}\simeq \mathrm {id}_{\mathrm {Sp}(\mathscr {C})}\) and \(P_1\mathrm {id}_\mathscr {C}\simeq \Omega ^\infty _\mathscr {C}\circ \Sigma ^\infty _\mathscr {C}\simeq \mathrm {colim}_n(\Omega ^n_\mathscr {C}\circ \Sigma ^n_\mathscr {C})\). In particular, if \(\mathscr {C}\) is stable then \(\mathrm {id}_\mathscr {C}\simeq \mathrm {colim}_n(\Omega ^n_\mathscr {C}\circ \Sigma ^n_\mathscr {C})\).

(8)
If \(F:\mathscr {C}\rightarrow \mathscr {D}\) is reduced, left exact and preserves filtered colimits, then
$$\begin{aligned}P_1F\simeq F \circ \Omega ^\infty _\mathscr {C}\circ \Sigma ^\infty _\mathscr {C},\end{aligned}$$as follows from (6) and (4).
The cotangent complex
In this section, we introduce the cotangent complex of a map of \(E_\infty \)ring spectra and we give different expressions for it: via the augmentation ideal, via a stabilization process, i.e. as a sequential colimit, and via indecomposables.
Before going to \(E_\infty \)ring spectra, let us say a word on the general definition. The relative cotangent complex according to Lurie is a suspension spectrum, in the following sense:
Definition 3.1
Let \(\mathscr {C}\) be a presentable \(\infty \)category and \(f:A\rightarrow B\) in \(\mathscr {C}\). Consider the suspension spectrum functor
The relative cotangent complex of f is the image of \(A\xrightarrow {f}B\xrightarrow {\mathrm {id}}B\) by this functor, and it is denoted \(L_{B/A}\). If A is an initial object of \(\mathscr {C}\), then \(L_{B/A}\) is also denoted \(L_B\) and it is called the absolute cotangent complex of B.
Remark 3.2
Let us say a word about the \(\Sigma ^\infty _+\) functor above. Since \(\mathrm {id}:B\rightarrow B\) is the terminal object of \(\mathscr {C}_{/B}\), then
Note as well that \(\mathscr {C}_{{{A}/ / {B}}}=(\mathscr {C}_{/B})_{f/}\simeq (\mathscr {C}_{A/})_{/f}\). On the other hand, by [16, 7.3.3.9], we have \((\mathscr {C}_{{{A}/ / {B}}})_* \simeq \mathscr {C}_{{{B}/ / {B}}}\). Therefore, \(\Sigma ^\infty _+\) factors as
In order to address the issue of functoriality of the cotangent complex, Lurie uses the tangent bundle of \(\mathscr {C}_{{{A}/ / {B}}}\). We shall not be needing this, so for the sake of simplicity we will not introduce it.
Let us now concentrate on the case \(\mathscr {C}=\mathrm {CAlg}\).
The cotangent complex via the augmentation ideal
When \(\mathscr {C}=\mathrm {CAlg}\), we may identify \(\mathrm {Sp}(\mathscr {C}_{{{B}/ / {B}}})\) with a more familiar \(\infty \)category, namely \(\mathrm {Mod}_B\), as we shall now see. Note that \(\mathrm {CAlg}_{{{B}/ / {B}}}\) is the \(\infty \)category of augmented \(E_\infty \)Balgebras: its objects are \(E_\infty \)Balgebras C with a map \(C\rightarrow B\) of \(E_\infty \)Balgebras.
Definition 3.3
Let \(B\in \mathrm {CAlg}\). The augmentation ideal functor
takes C to the fiber in \(\mathrm {Mod}_B\) of the augmentation, i.e. to the pullback
in \(\mathrm {Mod}_B\), where 0 denotes a zero object of \(\mathrm {Mod}_B\).
Remark 3.4
The functor I is right adjoint to the functor \(\mathrm {Mod}_B \rightarrow \mathrm {CAlg}_{{{B}/ / {B}}}\) which takes a module M to the free \(E_\infty \)Balgebra \(\bigvee _{n\ge 0} (M^{\wedge _B n})_{\Sigma _n}\in \mathrm {CAlg}_B\) endowed with the augmentation over B given by projection to the 0th summand. Here \(()_{\Sigma _n}\) denotes the (homotopy) orbits for the \(\Sigma _n\)action [16, 3.1.3.14, 7.3.4.5]. Note that I is reduced, as it takes B to the zero module.
Notation 3.5
We let \(\mathrm {NUCA}_B\) denote the \(\infty \)category of nonunital \(E_\infty \)Balgebras, which we call nucas^{Footnote 3} [16, 5.4.4.1].
Remark 3.6
The augmentation ideal functor factors through \(\mathrm {NUCA}_B\) as follows:
where U is the forgetful functor. Indeed, one can take the pullback defining I in Definition 3.3 in the \(\infty \)category \(\mathrm {NUCA}_B\) instead of in \(\mathrm {Mod}_B\), which defines \(I_0\). The functor \(I_0\) is a right adjoint to the functor \(N\mapsto B\vee N\), and it is in fact an equivalence [16, 5.4.4.10], [6, 2.2]. Note as well that I commutes with sifted colimits, since U does [16, 3.2.3.1]. In particular, I commutes with filtered or sequential colimits.
Theorem 3.7
[16, 7.3.4.7/14] The functor
is an equivalence of \(\infty \)categories; in particular, \(\mathrm {Sp}(\mathrm {CAlg}_{{{B}/ / {B}}}) \xrightarrow {\partial I} \mathrm {Sp}(\mathrm {Mod}_B) \xrightarrow {\Omega ^\infty } \mathrm {Mod}_B\) is an equivalence as well.
Remark 3.8
A modelcategorical precedent can be found as Theorem 3 of [8]. There, the functor fitting in the place of \(\partial I\) is defined as follows. First of all, in their framework a spectrum in a model category \(\mathcal {M}\) is a sequence of objects \(\{X_n\}_{n\ge 0}\) of \(\mathcal {M}\) with maps \(\Sigma X_n\rightarrow X_{n+1}\). Spectra in \(\mathcal {M}\) have a model structure whose fibrant objects are the \(\Omega \)spectra. Thus, any topological left Quillen functor F between model categories enriched over based spaces induces a left Quillen functor \({\underline{F}}\) between the corresponding model categories of spectra: the arrows \(\Sigma X_n \rightarrow X_{n+1}\) get sent to \(\Sigma F(X_n)\simeq F(\Sigma X_n) \rightarrow F(X_{n+1})\).
In particular, the augmentation ideal functor from the model category of augmented commutative Balgebras to the model category of Bmodules, let us also call it I, induces a functor \({\underline{I}}\) between the respective model categories of spectra. After passing to their underlying \(\infty \)categories, \({\underline{I}}\) gives a functor equivalent to \(\partial I\).
Remark 3.9
Recall from Sect. 2.(4) that \(\Omega ^\infty _{\mathrm {Mod}_B} \circ \partial I \simeq I\circ \Omega ^\infty _{\mathrm {CAlg}_{{{B}/ / {B}}}}\), i.e. \(\partial I\) commutes with \(\Omega ^\infty \). On the other hand, note that \(\partial I\) typically does not commute with \(\Sigma ^\infty \). If it did, then
but on the other hand this is equivalent to \(I \circ \Omega ^\infty _{\mathrm {CAlg}_{{{B}/ / {B}}}} \circ \Sigma ^\infty _{\mathrm {CAlg}_{{{B}/ / {B}}}}\) which is the excisive approximation of I by Sect. 2.(8). Therefore, I would be excisive. Since \(\mathrm {Mod}_B\) is stable, this would mean that I preserves pushouts; since I is also reduced, then I would be right exact. But this is typically false. For example, I does not commute with coproducts: if we take \(B=\mathbb {S}\), the coproduct of \(\mathbb {S}[S^1]\) with itself in \(\mathrm {CAlg}_{{{\mathbb {S}}/ / {\mathbb {S}}}}\) is \(\mathbb {S}[S^1\times S^1]\). Its augmentation ideal is \(\Sigma ^\infty (S^1\times S^1)\simeq \Sigma ^\infty S^1\vee \Sigma ^\infty S^1 \vee \Sigma ^\infty S^2\), which is not equivalent to the coproduct of \(I(\mathbb {S}[S^1])\simeq \Sigma ^\infty S^1\) with itself.
If \(f:A\rightarrow B\in \mathrm {CAlg}\), then \(L_{B/A}\in \mathrm {Sp}(\mathrm {CAlg}_{{{B}/ / {B}}})\) by definition. Given Theorem 3.7, in this situation we redefine \(L_{B/A}\) to mean the image of \(A\xrightarrow {f}B\xrightarrow {\mathrm {id}}B\) under the composition
Therefore, by Sect. 2.(6), \(L_{B/A}\) is equivalently the value of an excisive approximation to \(I:\mathrm {CAlg}_{{{B}/ / {B}}}\rightarrow \mathrm {Mod}_B\) evaluated in \(B\wedge _A B\). In symbols,
The cotangent complex as a colimit
Let A be an \(E_\infty \)ring spectrum. The general definition of a cotangent complex also applies to an \(E_k\)Aalgebra B. In [16, 7.3.5] Lurie analyzes this particular case. He denotes by \(L^{(k)}_{B/A}\) the resulting \(E_k\)cotangent complex.
Forgetting structure, every \(E_\infty \)Aalgebra B is an \(E_k\)Aalgebra for every \(k\ge 0\). Lurie observes in [16, 7.3.5.6] that since the \(E_\infty \)operad is the colimit of the \(E_k\)operads, these \(E_k\)cotangent complexes recover the cotangent complex as follows:
These \(E_k\)cotangent complexes admit a different expression which is sometimes computable, as we shall see in this section. That is what we shall use in Sect. 4 to compute the cotangent complex of Thom \(E_\infty \)algebras.
Let \(B\in \mathrm {CAlg}\) and \(C\in \mathrm {CAlg}_{{{B}/ / {B}}}\). Since I is left exact (it is a right adjoint) and commutes with sequential colimits (Remark 3.6), then by Sect. 2.(3),
Here \(e_n:I(\Sigma ^nC) \rightarrow \Omega I(\Sigma ^{n+1} C)\) is the natural map obtained as in [16, 1.4.2.12]. Explicitly, it is obtained as follows. Write \(\Sigma ^{n+1}C\) as the pushout of \(B\leftarrow \Sigma ^n C \rightarrow B\) (remember that B is a zero object of \(\mathrm {CAlg}_{{{B}/ / {B}}}\)). Apply I, then \(e_n\) is defined as the universal pullback map \( I(\Sigma ^n C)\rightarrow \Omega I(\Sigma ^{n+1}C)\).
Let \(f:A\rightarrow B\) be a morphism in \(\mathrm {CAlg}\). Applying (3.12) to \(C=B\wedge _A B\) we get a quite explicit colimit formula for \(L_{B/A}\). But we can be more explicit: we are going to recast \(I(\Sigma ^n (B\wedge _A B))\) in other terms.
Any presentable \(\infty \)category \(\mathscr {C}\) is tensored over spaces: there is a functor \(\otimes :\mathscr {S}\times \mathscr {C}\rightarrow \mathscr {C}\) which preserves colimits separately in each variable. If \(X\in \mathscr {S}\) and \(c\in \mathscr {C}\), then
where \(\{c\}\) denotes the constant functor with value c. If \(\mathscr {C}\) is moreover pointed, then it is tensored over pointed spaces: there is a functor \(\odot :\mathscr {S}_*\times \mathscr {C}\rightarrow \mathscr {C}\) which preserves colimits separately in each variable. If \((X,x_0)\in \mathscr {S}_*\) and \(c\in \mathscr {C}\), then
See [20, Sect. 2] for more details.
Remark 3.14
The suspension \(\Sigma A\) of an object A in a pointed presentable \(\infty \)category \(\mathscr {C}\) can be expressed as \(S^1\odot A\). Indeed, write \(S^1=\mathrm {colim}(*\leftarrow S^0 \rightarrow *)\) and apply the colimitpreserving functor \(\odot A\). By induction, \(\Sigma ^nA \simeq S^n\odot A\) for all \(n\ge 0\).
Notation 3.15
Let \(\odot _B\) denote the tensor of \(\mathrm {CAlg}_{{{B}/ / {B}}}\) over \(\mathscr {S}_*\). Let \(\otimes _A\) denote the tensor of \(\mathrm {CAlg}_A\) over \(\mathscr {S}\).
Remark 3.16
If \(f:A\rightarrow B\) in \(\mathrm {CAlg}\) and \((X,x_0)\in \mathscr {S}_*\), then \(X\otimes _A B\in \mathrm {CAlg}_{{{B}/ / {B}}}\), with unit and augmentation given by
More generally, if \((B\xrightarrow {g} C\xrightarrow {e} B) \in \mathrm {CAlg}_{{{B}/ / {B}}}\), then \(X\otimes _A C\in \mathrm {CAlg}_{{{B}/ / {B}}}\), with unit and augmentation given by
We shall now prove a couple of results about this construction.
Remark 3.17
The definition of an adjunction in [15, 5.2], which we are implicitly adopting, uses the theory of correspondences. We shall use the result of Cisinski [10, 6.1.23; Footnote, Page 250] which says that Lurie’s definition is equivalent to the expected characterization via natural equivalences of mapping spaces \(\mathrm {Map}_\mathscr {C}(c,Gd) \simeq \mathrm {Map}_\mathscr {D}(Fc,d)\).
In the following lemma, we shall need the following notation: if \(F:\mathscr {C}\rightarrow \mathscr {D}\) is a functor of \(\infty \)categories and \(c\in \mathscr {C}\), we denote by \({\overline{F}}:\mathscr {C}_{c/}\rightarrow \mathscr {D}_{F(c)/}\) the induced functor on undercategories. Note that if F has a right adjoint G, then by Remark 3.17 we conclude that \({\overline{F}}\) also has a right adjoint. Indeed, if we are given maps \(c\rightarrow c'\) and \(c\rightarrow Gd\) in \(\mathscr {C}\), then the natural equivalence
restricts to a natural equivalence
Explicitly, the right adjoint of \({\overline{F}}\) takes an object \(g:Fc \rightarrow d\) to the composition \(c \rightarrow GFc \xrightarrow {Gg} Gd\). Therefore, if the \(\infty \)categories are presentable and F preserves colimits, then \({\overline{F}}\) also preserves colimits.
We will now consider bifunctors that preserve colimits separately in each variable and analyze in which way this property passes on to undercategories.
Lemma 3.18
Let \(F: \mathscr {C}\times \mathscr {D}\rightarrow \mathscr {E}\) be a functor of presentable \(\infty \)categories that preserves colimits separately in each variable. Let \((c,d)\in \mathscr {C}\times \mathscr {D}\). Consider the induced functor
For a given \(h:c \rightarrow c'\) in \(\mathscr {C}\), the functor
preserves colimits if and only if \(F(h,\mathrm {id}_d): F(c,d) \rightarrow F(c',d)\) is an equivalence.
There is an analogous result in the other variable, starting from an arrow \(d\rightarrow d'\in \mathscr {D}\), but we shall not be needing it.
Proof
We can factor the functor \({\overline{F}}(h,  )\) as the composition
The first functor preserves colimits by the discussion above applied to \(F(c',): \mathscr {D}\rightarrow \mathscr {E}\), which preserves colimits by hypothesis. Therefore \({\overline{F}}(h,)\) preserves colimits if and only if \(F(h,\mathrm {id}_d)_*\) preserves colimits.
If \(F(h,\mathrm {id}_d)_*\) preserves colimits, then it preserves initial objects, which forces \(F(h,\mathrm {id}_d)\) to be an equivalence. The converse is obvious. \(\square \)
Remark 3.19
The functor \({\overline{F}}\) of Lemma 3.18 always preserves colimits indexed by weakly contractible simplicial sets separately in each variable, by [15, 4.4.2.9]. We shall not be using this fact, though.
Proposition 3.20

(1)
The functor \( \otimes _A : \mathscr {S}\times \mathrm {CAlg}_A \rightarrow \mathrm {CAlg}_A\) extends to a functor
$$\begin{aligned}  \otimes _A : \mathscr {S}_* \times \mathrm {CAlg}_{{{B}/ / {B}}}\rightarrow \mathrm {CAlg}_{{{B}/ / {B}}}\end{aligned}$$(3.21)in the sense that the following diagram commutes, where the two vertical maps are forgetful functors:
The functor (3.21) takes (X, C) to \(X\otimes _A C\) with unit and augmentation given as in Remark 3.16.

(2)
Letting the second variable of (3.21) be of fixed value \((B \rightarrow C \rightarrow B) \in \mathrm {CAlg}_{{{B}/ / {B}}}\), the restricted functor
$$\begin{aligned}  \otimes _A C: \mathscr {S}_* \rightarrow \mathrm {CAlg}_{{{B}/ / {B}}}\end{aligned}$$preserves colimits if and only if the unit \(B \rightarrow C\) is an equivalence.

(3)
Letting the second variable of (3.21) be of fixed value \(B \xrightarrow {\mathrm {id}}B \xrightarrow {\mathrm {id}} B\), the restricted functor
$$\begin{aligned} \otimes _A B: \mathscr {S}_*\rightarrow \mathrm {CAlg}_{{{B}/ / {B}}}\end{aligned}$$is equivalent to \(\odot _B (B\wedge _A B)\), where \(B\wedge _A B\) denotes the object \(B \xrightarrow {\iota _0} B\wedge _AB \xrightarrow {\mu } B\) of \(\mathrm {CAlg}_{{{B}/ / {B}}}\).^{Footnote 4}
Proof

(1)
Since the tensor is a colimit and colimits in overcategories are created in the original \(\infty \)category [15, 1.2.13.8], the functor \(\otimes _A:\mathscr {S}\times \mathrm {CAlg}_A\rightarrow \mathrm {CAlg}_A\) begets a functor
$$\begin{aligned} \otimes _A:\mathscr {S}\times (\mathrm {CAlg}_A)_{/B} \rightarrow (\mathrm {CAlg}_A)_{/B} \end{aligned}$$(3.22)which extends the original one and preserves colimits separately in each variable. Now, note as in Remark 3.2 that
$$\begin{aligned} (\mathrm {CAlg}_A)_{/B} \simeq (\mathrm {CAlg}_{A/})_{/f} \simeq \mathrm {CAlg}_{{{A}/ / {B}}}. \end{aligned}$$We now consider \((*,A\rightarrow B\rightarrow B)\in \mathscr {S}_*\times \mathrm {CAlg}_{{{A}/ / {B}}}\) and consider the functor induced by (3.22) in undercategories. This gives the result, since \(A\rightarrow B\rightarrow B\) is a terminal object of \(\mathrm {CAlg}_{{{A}/ / {B}}}\), and by Remark 3.2\((\mathrm {CAlg}_{{{A}/ / {B}}})_*\simeq \mathrm {CAlg}_{{{B}/ / {B}}}\). The functor we just obtained acts on objects as expected, by construction.

(2)
This follows from Lemma 3.18, since the condition there amounts in this case to the map \(* \otimes _A B \rightarrow * \otimes _A C\) being an equivalence.

(3)
To prove \(\otimes _A B\) and \(\odot _B (B\wedge _A B)\) are equivalent, it suffices to see that they send \(S^0\) to equivalent objects. Indeed, they are colimitpreserving functors from \(\mathscr {S}_*\) to a pointed presentable \(\infty \)category, but \(\mathscr {S}_*\) is freely generated under colimits by \(S^0\) in pointed presentable \(\infty \)categories [20, 2.29]. Now, indeed both functors send \(S^0\) to \(B\wedge _A B\), and the proof is finished.
\(\square \)
Lemma 3.23
Let \(B \xrightarrow { \ u \ } C \xrightarrow { \ c \ } B\) be an object in \(\mathrm {CAlg}_{{{B}/ / {B}}}\). Then I(C) is naturally equivalent to the cofiber of u in \(\mathrm {Mod}_B\), i.e.
Proof
Consider the following commutative diagram in \(\mathrm {Mod}_B\):
The bottom left square and the big rectangle formed by the two squares on the left are pullbacks, so the square on the top left is a pullback [15, 4.4.2.1]. It is therefore a pushout, by stability of \(\mathrm {Mod}_B\). The square on the top right is also a pushout, hence the big rectangle formed by the two squares on top is a pushout [15, Dual of 4.4.2.1], proving the result. \(\square \)
We adopt the notation of [13] or [21, Page 164]:
Notation 3.24
Let \(X\in \mathscr {S}_*\) and \(f:A\rightarrow B\) in \(\mathrm {CAlg}\). By the previous lemma, there is an equivalence \(I(X\otimes _A B)\simeq J(X\otimes _A B)\) in \(\mathrm {Mod}_B\) natural in X and B: we denote the common value by \(X{{\,\mathrm{\widetilde{\otimes }}\,}}_A B\).
From Proposition 3.20 and Lemma 3.23, we deduce:
Corollary 3.25
Let \(f:A\rightarrow B\) in \(\mathrm {CAlg}\) and \(X\in \mathscr {S}_*\). There is an equivalence of Bmodules
natural in X.
We can now recast (3.12) in a different form. Define arrows \(e_n': S^n{{\,\mathrm{\widetilde{\otimes }}\,}}_A B \rightarrow \Omega (S^{n+1}{{\,\mathrm{\widetilde{\otimes }}\,}}_A B)\) as follows. Start by presenting \(S^{n+1}\in \mathscr {S}_*\) as the pushout of \(*\leftarrow S^n\rightarrow *\). Apply \(\otimes _A B:\mathscr {S}_*\rightarrow \mathrm {CAlg}_{{{B}/ / {B}}}\) to it, and then apply I. Now \(e_n'\) is the universal pullback map \(S^n{{\,\mathrm{\widetilde{\otimes }}\,}}_A B \rightarrow \Omega (S^{n+1}{{\,\mathrm{\widetilde{\otimes }}\,}}_A B)\).
Proposition 3.26
Let \(f:A\rightarrow B\) in \(\mathrm {CAlg}\). There is an equivalence of Bmodules
where \(\Omega \) denotes the loop functor in \(\mathrm {Mod}_B\).
Proof
We use the characterization \(L_{B/A}\simeq (P_1I)(B\wedge _A B)\) from (3.11). Consider the equivalence (3.12) with \(C=B\wedge _A B\). By Remark 3.14 and Corollary 3.25, we have
The maps \(e_n\) from (3.12) and the maps \(e_n'\) are defined in an analogous fashion, so the natural equivalences above commute with them. \(\square \)
Remark 3.27
The previous proposition was known to the experts (it is mentioned e.g in [21, Page 164]), but we do not think a complete derivation had been spelled out in the literature before.
Finally, let us make the connection between the \({{\,\mathrm{\widetilde{\otimes }}\,}}\) construction and the \(E_k\)cotangent complex mentioned at the beginning of the subsection.
Remark 3.28
Let B be an \(E_\infty \)Aalgebra. Forgetting structure, we may consider B as an \(E_k\)Aalgebra, for all \(k\ge 0\), and thus we may form its \(E_k\)cotangent complex \(L^{(k)}_{B/A}\) [16, 7.3.5]. Lurie [16, 7.3.5.1/3] proved that for each \(k\ge 1\) there is a fiber sequence of Bmodules
where \(*:S^{k1}\rightarrow *\) denotes the unique map. Since \(*\otimes \mathrm {id}:S^{k1}\otimes _A B\rightarrow B\) is the augmentation of \(S^{k1}\otimes _A B\) and loops commute with pullbacks, this identifies \(L_{B/A}^{(k)}\) with \(\Omega ^{k1}(S^{k1}{{\,\mathrm{\widetilde{\otimes }}\,}}_A B)\) (see also [9, 1.3]), so by Proposition 3.26 we obtain an equivalence of Bmodules
recovering [16, 7.3.5.6].
The cotangent complex via indecomposables
The first published definition of the cotangent complex was established in the context of model categories using the indecomposables functor [6]. The goal of this subsection is to prove that this definition of the cotangent complex is equivalent to the definition adopted in (3.10). We are not aware of a discussion of the approach using indecomposables in the \(\infty \)categorical setting.
The content of this subsection will not be used in the sequel: the reader interested in Thom spectra should feel free to jump ahead to Sect. 4.
Definition 3.29
Let \(B\in \mathrm {CAlg}\). We denote by
the indecomposables functor that takes N to the cofiber in \(\mathrm {Mod}_B\) of the multiplication, i.e. to the pushout
in \(\mathrm {Mod}_B\).
The functor Q is left adjoint to the functor which takes a module M and endows it with a zero multiplication map. More precisely:
Lemma 3.30

(1)
The functor Q is left adjoint to a functor \(Z:\mathrm {Mod}_B\rightarrow \mathrm {NUCA}_B\) such that \(UZ\simeq \mathrm {id}_{\mathrm {Mod}_B}\), and for each \(M\in \mathrm {Mod}_B\) the multiplication map \(ZM\wedge _B ZM \rightarrow ZM\) is zero.

(2)
\(Q\circ F\simeq \mathrm {id}_{\mathrm {Mod}_B}\), where \(F:\mathrm {Mod}_B\rightarrow \mathrm {NUCA}_B\) is the free functor.

(3)
There exists a unique functor \(Z:\mathrm {Mod}_B\rightarrow \mathrm {NUCA}_B\) such that \(UZ\simeq \mathrm {id}_{\mathrm {Mod}_B}\), up to equivalence.
Here \(U:\mathrm {NUCA}_B\rightarrow \mathrm {Mod}_B\) denotes the forgetful functor.
Proof

(1)
We will use a criterion for adjointness from [15, 5.2.4.2]: Q admits a right adjoint if and only if for every \(M\in \mathrm {Mod}_B\), the comma \(\infty \)category \((Q\downarrow M)\), defined as the pullback
has a terminal object. Fix \(M\in \mathrm {Mod}_B\). It suffices to see that there exists a Bnuca ZM such that \(M\simeq QZM\), for then \(QZM\simeq M\xrightarrow {\mathrm {id}} M\) is a terminal object of \((Q\downarrow M)\). To see this, first recall from Remark 3.6 that the augmentation ideal functor \(I:\mathrm {CAlg}_{{{B}/ / {B}}}\rightarrow \mathrm {Mod}_B\) factors via an equivalence \(I_0:\mathrm {CAlg}_{{{B}/ / {B}}}\rightarrow \mathrm {NUCA}_B\) followed by the forgetful functor. Now consider the trivial squarezero extension \(B\oplus M\) [16, 7.3.4.16]. This is an augmented \(E_\infty \)Balgebra such that the multiplication map of \(I_0(B\oplus M)\) is zero. Define ZM to be \(I_0(B\oplus M)\), so clearly \(UZM\simeq M\). By definition, QZM is the cofiber in \(\mathrm {Mod}_B\) of the multiplication map \(ZM \wedge _B ZM\rightarrow ZM\) which is zero, so \(QZM\simeq M\) as required.

(2)
\(Q\circ F\) is the left adjoint to \(U\circ Z\simeq \mathrm {id}_{\mathrm {Mod}_B}\), so it is equivalent to the identity.

(3)
The existence of such a Z has just been proven. Now suppose we have a functor \(Z':\mathrm {Mod}_B\rightarrow \mathrm {NUCA}_B\) such that \(UZ'\simeq \mathrm {id}_{\mathrm {Mod}_B}\). Let \(M,M'\in \mathrm {Mod}_B\). We have natural equivalences of spaces
$$\begin{aligned} \mathrm {Map}_{\mathrm {NUCA}_B}(FM',Z'M)\simeq \mathrm {Map}_{\mathrm {Mod}_B}(M',UZ'M) \simeq \mathrm {Map}_{\mathrm {Mod}_B}(QFM',M). \end{aligned}$$Let \(N\in \mathrm {NUCA}_B\). Note that the freeforgetful adjunction (F, U) is monadic by [16, 4.7.3.5], since \(\mathrm {NUCA}_B\) is an \(\infty \)category of algebras over an \(\infty \)operad in \(\mathrm {Mod}_B\) [16, 5.4.4.1] so the forgetful functor is conservative and preserves geometric realizations of simplicial objects [16, 3.2.2.6/3.2.3.2]. Therefore, by [16, 4.7.3.14/15], there exists a simplicial object \(N_\bullet \) in \(\mathrm {NUCA}_B\) which depends functorially on N and satisfies that \(\mathrm {colim}(N_\bullet )\simeq N\), \(N_\bullet \) is given by free nucas; moreover, \(\mathrm {colim}(QN_\bullet )\simeq QN\) by [16, 4.7.2.4]. Using the above, one obtains a natural equivalence of spaces
$$\begin{aligned} \mathrm {Map}_{\mathrm {NUCA}_B}(N,Z'M)\simeq \mathrm {Map}_{\mathrm {Mod}_B}(QN,M). \end{aligned}$$By Remark 3.17, this proves that \(Z'\) is a right adjoint to Q, but then by uniqueness of adjoints [15, 5.2.6.2], we deduce that \(Z'\simeq Z\). \(\square \)
Remark 3.31
Let K denote the composition
here, the first arrow is an inverse to \(\Omega ^\infty \circ \partial I:\mathrm {Sp}(\mathrm {CAlg}_{{{B}/ / {B}}}) \xrightarrow {\sim }\mathrm {Mod}_B\). Note that K(M) is the trivial squarezero extension \(B\oplus M\) [16, 7.3.4.16]. By definition of K and \(L_{B/A}\), we get the following equivalence for every Bmodule M,
These spaces can be interpreted as the spaces of Alinear derivations from B into M [16, 7.3].
Now, observe that K is equivalent to the composition
the last functor being a forgetful functor. Indeed, since \(B\vee \) is an equivalence with inverse given by \(I_0\), we may equivalently verify that \(I_0\circ K \simeq Z\). But this follows from Part (2) of the previous lemma.
In the following theorem, we prove how to get the cotangent complex via indecomposables. A model categorical version of this result can be found in [8, Theorem 4].
Theorem 3.32
Let \(B\in \mathrm {CAlg}\). The following diagram commutes:
Proof
Recall from Sect. 2.(6) that \(P_1I\), the excisive approximation to I, is equivalent to \(\Omega ^\infty \circ \partial I \circ \Sigma ^\infty \). Thus, we have to prove that \(Q\circ I_0\) is equivalent to \(P_1I\). Recall that \(I\simeq U \circ I_0\). By [16, 6.1.1.30], we have \(P_1I \simeq P_1U \circ I_0\). We will now prove that \(P_1U \simeq Q\), finishing the proof.
By Sect. 2.(6), \(P_1U\) is equivalent to \(\Omega ^\infty _{\mathrm {Mod}_B} \circ \partial U \circ \Sigma ^\infty _{\mathrm {NUCA}_B}\). Note that Q is excisive, since it preserves pushouts and \(\mathrm {Mod}_B\) is stable, so \(Q\simeq P_1Q\). Therefore, to prove that \(P_1U\simeq Q\) it suffices to prove that \(\partial U\simeq \partial Q\), by Sect. 2.(6) once more.
We have the free–forgetful adjunction , and taking derivatives gives an adjunction by [16, 6.2.2.15]. By Lemma 3.30.(2), \(Q\circ F \simeq \mathrm {id}_{\mathrm {Mod}_B}\), so by [16, 6.2.1.4/24] we get \(\partial Q \circ \partial F \simeq \mathrm {id}_{\mathrm {Sp}(\mathrm {Mod}_B)}\). To prove that \(\partial Q\simeq \partial U\), it suffices to prove that \(\partial U\) is an equivalence. Indeed, if it is, then \(\partial F \circ \partial U\simeq \mathrm {id}_{\mathrm {Sp}(\mathrm {NUCA}_B)}\), so \(\partial Q \simeq \partial Q \circ \partial F \circ \partial U \simeq \partial U\).
To prove that \(\partial U\) is an equivalence, we proceed similarly as in [16, Proof of 7.3.4.7]: namely, since U is a monadic functor, then by [16, 6.2.2.17] it suffices to prove that the unit \(\mathrm {id}_{\mathrm {Mod}_B} \Rightarrow U\circ F\) induces an equivalence of derivatives. The proof of this is very similar to that of [16, 7.3.4.10], only simpler.
Note that \(U\circ F:\mathrm {Mod}_B\rightarrow \mathrm {Mod}_B\) is given on objects by \(M\mapsto M\vee \bigvee _{n\ge 2} (M^{\wedge _B n})_{\Sigma _n}\) and the unit of the (F, U) adjunction includes M into the separate M factor, so by [16, 7.3.4.8] it suffices to see that the derivative of the functor \(\mathrm {Sym}^n:\mathrm {Mod}_B\rightarrow \mathrm {Mod}_B, M\mapsto (M^{\wedge _B n})_{\Sigma _n}\) is nullhomotopic for \(n\ge 2\).
To see this, note that \(\mathrm {Sym}^n\) is the composition
where the first functor is the diagonal functor and the second functor takes \((M_1,\dots ,M_n)\) to \(M_1\wedge _B \cdots \wedge _B M_n\) together with the action by \(\Sigma _n\) which permutes the factors. By [16, 7.3.4.8] the derivative operator \(\partial :\mathrm {Fun}_*(\mathrm {Mod}_B,\mathrm {Mod}_B)\rightarrow \mathrm {Exc}(\mathrm {Mod}_B,\mathrm {Mod}_B)\) preserves colimits, so the derivative of \(\mathrm {Sym}^n\) is the colimit of a functor \(B\Sigma _n \rightarrow \mathrm {Exc}(\mathrm {Mod}_B,\mathrm {Mod}_B)\) with value \(\partial \left( ()^{\wedge _B n}:\mathrm {Mod}_B\rightarrow \mathrm {Mod}_B\right) \). Therefore, it suffices to see that the functor \(()^{\wedge _B n}:\mathrm {Mod}_B\rightarrow \mathrm {Mod}_B\), \(n\ge 2\) has nullhomotopic derivative.
By [16, 6.1.3.12], this functor is nreduced, so it is 2reduced, which by definition means that its excisive approximation is nullhomotopic.^{Footnote 5} By Sect. 2.(6), its derivative is nullhomotopic as well, since \(\mathrm {Mod}_B\) is stable. \(\square \)
Remark 3.33
The key aspect of the previous proof is the fact that \(\partial (U \circ F) \simeq \mathrm {id}_{\mathrm {Sp}(\mathrm {Mod}_B)}\), which is proven in the last paragraph. Notice this is equivalent to
as \(P_1(U \circ F) \simeq \Sigma ^\infty \circ \partial (U \circ F) \circ \Omega ^\infty \) by Sect. 2.(6), and \(\Sigma ^\infty , \Omega ^\infty \) are equivalences since \(\mathrm {Mod}_B\) is stable. Using the analogy of Goodwillie calculus with classical calculus, we can gain some intuition for this result. Under this analogy, functors correspond to smooth functions of the real line, so the functor \(U \circ F\) which maps \(M\in \mathrm {Mod}_B\) to \(\bigvee _{n\ge 1} (M^{\wedge _B n})_{\Sigma _n}\) corresponds to the power series \(f(x) = \sum _{n=1}^\infty x^n\). The linear approximation at 0 of this function is the identity map \(x\mapsto x\). Continuing with the analogy, linear approximations of functions correspond to 1excisive approximations of functors, which provides some intuition for the equivalence \(P_1(U \circ F) \simeq \mathrm {id}_{\mathrm {Mod}_B}\).
From Theorem 3.32 we immediately deduce:
Corollary 3.34
Let \(f:A\rightarrow B\) be a map of \(E_\infty \)ring spectra. There is an equivalence of Bmodules
This is analogous to what Basterra [6] adopted as a definition for \(L_{B/A}\) in a modelcategorical setting. That was the first published definition. The approach from (3.10) had been used in the preprint [13], albeit formulated in a different language. Only in [8] were the two approaches first proven to be equivalent.
The cotangent complex of Thom spectra
In this section we will prove the main result, Theorem 4.3, giving an expression for the cotangent complex of Thom \(E_\infty \)algebras.
An \(E_\infty \)monoid is a commutative algebra object in \(\mathscr {S}\) in the sense of [16, 2.1.3.1], or, equivalently, a commutative monoid object in \(\mathscr {S}\) in the sense of [16, 2.4.2.1] (i.e. a special \(\Gamma \)space). They form an \(\infty \)category \(\mathrm {Mon}_{E_\infty }(\mathscr {S})\). If an \(E_\infty \)monoid M is grouplike, i.e. if the monoid \(\pi _0(M)\) is a group, we say M is an \(E_\infty \)group. These form an \(\infty \)category denoted by \(\mathrm {Grp}_{E_\infty }(\mathscr {S})\).
Let R be an \(E_\infty \)ring spectrum. An Rmodule M is invertible if there exists an Rmodule N such that \(M\wedge _R N\simeq R\). We let \(\mathrm {Pic}(R)\) be the Picard space of R: this is the core (i.e. the maximal subspace) of the full subcategory of \(\mathrm {Mod}_R\) on the invertible Rmodules.
If Z is a space and \(f:Z\rightarrow \mathrm {Pic}(R)\) is a map of spaces, the Thom Rmodule of f is defined as
This defines a functor \(M:\mathscr {S}_{/\mathrm {Pic}(R)} \rightarrow \mathrm {Mod}_R\).
As noted in [2, 7.7], [3, Sect. 3], \(\mathrm {Pic}(R)\) is an \(E_\infty \)group. If G is an \(E_\infty \)monoid and \(f:G\rightarrow \mathrm {Pic}(R)\) is an \(E_\infty \)map, then Mf becomes an \(E_\infty \)Ralgebra [2, 8.1], [3, 3.2]. When \(f=\{R\}\) is the constant map at \(R\in \mathrm {Pic}(R)\), then \(Mf\simeq R\wedge \mathbb {S}[G]\) as \(E_\infty \)Ralgebras.
The main result
We will need the following proposition.
Proposition 4.1
Consider \(\Sigma ^\infty \Omega ^\infty :\mathrm {Sp}\rightarrow \mathrm {Sp}\). The counit natural transformation
exhibits \(\mathrm {id}_\mathrm {Sp}\) as the excisive approximation to \(\Sigma ^\infty \Omega ^\infty \).
In particular, for a spectrum X, there is an equivalence
natural in X.
Proof
We will first establish the natural equivalence (4.2). We will then observe that this equivalence is obtained from the counit \(\Sigma ^\infty \Omega ^\infty X \rightarrow X\), in such a way that the main assertion will have been proven, by Sect. 2.(3).
Let X be a spectrum. First, we prove there is a natural equivalence of functors
where the arrows in the sequential limit are loop functors. We do this carefully, taking care of naturality: indeed, it is easier to see that the two functors are objectwise equivalent using that \(\mathrm {Sp}\simeq \lim ( \cdots \xrightarrow { \Omega } \mathscr {S}_* \xrightarrow { \Omega } \mathscr {S}_*)\) [16, 1.4.2.24], writing a mapping space as a pullback and commuting pullbacks with limits.
By [15, 2.2.1.2], it suffices to establish an equivalence of the corresponding left fibrations. The left hand side corresponds to the left fibration \(\mathrm {Sp}_{X/} \rightarrow \mathrm {Sp}\). For the right hand side, first observe that for \(n\in \mathbb {N}\), the functor \(\mathrm {Map}_{\mathscr {S}_*}(\Omega ^\infty \Sigma ^n X,  )\) corresponds to the left fibration \((\mathscr {S}_*)_{\Omega ^\infty \Sigma ^n X /} \rightarrow \mathscr {S}_*\). Pulling back this left fibration along the functor \(\Omega ^\infty \Sigma ^n: \mathrm {Sp}\rightarrow \mathscr {S}_*\),
gives us the left fibration that classifies the functor \(\mathrm {Map}_{\mathscr {S}_*}(\Omega ^\infty \Sigma ^n X, \Omega ^\infty \Sigma ^n  )\). Taking limits, it follows that the functor \(\lim _n \mathrm {Map}_{\mathscr {S}_*}(\Omega ^\infty \Sigma ^n X, \Omega ^\infty \Sigma ^n  )\) corresponds to the left fibration \(\lim _n (\mathrm {Sp}\times _{\mathscr {S}_*} (\mathscr {S}_*)_{\Omega ^\infty \Sigma ^n X /}) \simeq \mathrm {Sp}\times _{\lim _{\mathbb {N}}\mathscr {S}_*} \lim _n(\mathscr {S}_*)_{\Omega ^\infty \Sigma ^n X /}\).
By the Yoneda lemma, a map of left fibrations \(\mathrm {Sp}_{X/} \rightarrow \mathrm {Sp}\times _{\lim _{{\mathbb {N}}}\mathscr {S}_*} \lim _n(\mathscr {S}_*)_{\Omega ^\infty \Sigma ^n X /}\) is uniquely determined by a choice of object in the fiber of \(\mathrm {Sp}\times _{\lim _{{\mathbb {N}}}\mathscr {S}_*} \lim _n(\mathscr {S}_*)_{\Omega ^\infty \Sigma ^n X /} \rightarrow \mathrm {Sp}\) over X, which is given by the space \(\{X\} \times \lim _n \mathrm {Map}_{\mathscr {S}_*}(\Omega ^\infty \Sigma ^n X, \Omega ^\infty \Sigma ^n X)\). Thus the object \((X, (\mathrm {id}_{\Omega ^\infty \Sigma ^n X})_{n\in \mathbb {N}})\) in the fiber induces a map of left fibrations over \(\mathrm {Sp}\)
We want to prove this map is an equivalence. Note we can recover the right hand side directly as the following pullback:
The bottom equivalence is \(\mathrm {Sp}\simeq \lim ( \cdots \xrightarrow { \Omega } \mathscr {S}_* \xrightarrow { \Omega } \mathscr {S}_*) = \lim _{\mathbb {N}} \mathscr {S}_*\), from [16, 1.4.2.24]. This implies that the top horizontal map is an equivalence as well [15, 3.3.1.3]. Thus, in order to prove that I is an equivalence, by 2outof3 it suffices to show that
is an equivalence.
First, we will construct an equivalence \(\mathrm {Sp}_{X/}\xrightarrow {\simeq } \lim _n(\mathscr {S}_*)_{\Omega ^\infty \Sigma ^n X/}\). Then we will observe it is indeed \(\pi _2 \circ I\). We have
Using that limits commute with pullbacks and exponentials \(()^{\Delta ^1}\),
gives us an equivalence. Notice this equivalence takes the object \(\mathrm {id}_X\) in \(\mathrm {Sp}_{X/}\) to \((\mathrm {id}_{\Omega ^\infty \Sigma ^n X})_{n \in {\mathbb {N}}}\) and thus, by the Yoneda lemma, is equivalent to \(\pi _2 \circ I\), as they both take \(\mathrm {id}_X\) to the same object. This gives us the desired result.
Next, we have a natural equivalence
induced by the adjunction \((\Sigma ^\infty , \Omega ^\infty )\). Finally, we have a natural equivalence
Combining all three gives us a natural equivalence
which by the Yoneda lemma is induced by a map \(\mathrm {colim}_n \Omega ^n \Sigma ^\infty \Omega ^\infty \Sigma ^n X \rightarrow X\) and is explicitly given by the image of the identity map \(\mathrm {id}_X\) under this natural equivalence. By inspection, the map \(\mathrm {colim}_n \Omega ^n \Sigma ^\infty \Omega ^\infty \Sigma ^n X \rightarrow X\) can be characterized as the unique map that comes from the cocone given by \(\Omega ^n \Sigma ^\infty \Omega ^\infty \Sigma ^n X \rightarrow \Omega ^n \Sigma ^n X \xrightarrow {\simeq } X\) where the first arrow is induced by the counit of the \((\Sigma ^\infty ,\Omega ^\infty )\) adjunction. \(\square \)
Let us fix some notation necessary for the statement of the following theorem and its proof. Let \(B^\infty :\mathrm {Grp}_{E_\infty }(\mathscr {S})\rightarrow \mathrm {Sp}^{cn }\) denote the standard equivalence between the \(\infty \)categories of \(E_\infty \)groups and of connective spectra [16, 5.2.6.26]. Let \(B:\mathrm {Grp}_{E_\infty }(\mathscr {S})\rightarrow \mathrm {Grp}_{E_\infty }(\mathscr {S})\) denote the bar construction functor, which can be defined in this context simply as the functor that takes G to the pushout \(*\leftarrow G \rightarrow *\). We will iterate this functor, getting \(B^n:\mathrm {Grp}_{E_\infty }(\mathscr {S})\rightarrow \mathrm {Grp}_{E_\infty }(\mathscr {S})\) for \(n\ge 1\).
If we take an \(E_1\)group instead of an \(E_\infty \)group as input, then we can extend the bar construction to a functor \(\mathrm {Bar}:\mathrm {Grp}_{E_{1}}(\mathscr {S})\rightarrow \mathscr {S}_*\) [16, 5.2.2]. It agrees with BG whenever this makes sense: namely, if \(G\in \mathrm {Grp}_{E_\infty }(\mathscr {S})\), then the pointed space underlying BG is equivalent to \(\mathrm {Bar}\) of the \(E_1\)group underlying G; this follows from the remarks in [16, 5.2.2.3/4].
There are also iterated bar construction functors \(\mathrm {Bar}^{(n)}:\mathrm {Grp}_{E_{n}}(\mathscr {S})\rightarrow \mathscr {S}_*^{\ge n}\) for \(n\ge 1\) taking an \(E_n\)group and giving a pointed \((n1)\)connected space, obtained from iterations of \(\mathrm {Bar}\) [16, Page 802, 5.2.3]. These \(\mathrm {Bar}^{(n)}\) are equivalences [16, 5.2.6.10(3)], and coincide with \(B^n\) after judicious forgetting of structure.
Theorem 4.3
Let R be an \(E_\infty \)ring spectrum. Let \(f:G\rightarrow \mathrm {Pic}(R)\) be a map of \(E_\infty \)groups. There is an equivalence of Mfmodules
Proof
By [20, 4.11], \(S^n\otimes _R Mf \simeq Mf \wedge \mathbb {S}[B^nG]\) in \(\mathrm {CAlg}_{{Mf}/ / {Mf}}\). Now, note that
as Mfmodules. Indeed, since is a cofiber sequence in \(\mathscr {S}_*\) where \(x_0\) denotes the basepoint of \(B^nG\), then applying \(Mf\wedge \Sigma ^\infty ()\) we get a cofiber sequence in \(\mathrm {Mod}_{Mf}\)
whereas by the definition of J in Lemma 3.23 we get the equivalence (4.4).
By Proposition 3.26 we get equivalences of Mfmodules
where in the second line we have used the stability of \(\mathrm {Sp}\) and \(\mathrm {Mod}_{Mf}\) together with the fact that \(Mf\wedge :\mathrm {Sp}\rightarrow \mathrm {Mod}_{Mf}\) commutes with colimits; note that \(\Omega \) now denotes the loop functor in \(\mathrm {Sp}\).
We will now prove that \(B^\infty G\) is equivalent to the colimit in (4.5), which we can rewrite as
where \(U_n:\mathrm {Grp}_{E_\infty }(\mathscr {S}) \rightarrow \mathrm {Grp}_{E_n}(\mathscr {S})\) is the forgetful functor, \(E_0\)groups are pointed spaces, and \(i_n:\mathscr {S}_*^{\ge n}\rightarrow \mathscr {S}_*\) is the inclusion functor. Now note that \(B^\infty \) is constructed as the limit of the \(\mathrm {Bar}^{(n)}\) as follows [16, 5.2.6.26] (the functors \(\beta _n\) in that reference are the inverses of \(\mathrm {Bar}^{(n)}\) [16, 5.2.6.10(3)])
so in particular we have a commutative diagram
where the top horizontal functor is the projection to the corresponding term of the limit. After composing it with \(i_n\) this functor becomes \(\Omega ^{\infty n}=\Omega ^\infty \Sigma ^n:\mathrm {Sp}^{cn }\rightarrow \mathscr {S}_*\), the nth space functor. Therefore, (4.6) is equivalent to
This is equivalent to \(B^\infty G\) by Proposition 4.1. \(\square \)
Remark 4.7
A modelcategorical version of Theorem 4.3 first appeared in [8, Corollary, Page 907]. Their result, however, only applies to Thom spectra of maps to \(BGL_1(\mathbb {S})\), whereas ours applies to maps to \(\mathrm {Pic}(R)\) where R is any \(E_\infty \)ring spectrum. Already considering maps into \(\mathrm {Pic}(\mathbb {S})\) leads to interesting, nonconnective examples, as we shall now see.
Example 4.8
Let MU denote the complex cobordism spectrum, which is the Thom \(E_\infty \)ring spectrum of the complex Jhomomorphism \(BU\rightarrow \mathrm {Pic}(\mathbb {S})\). Then
as MUmodules, where bu denotes \(B^\infty BU\). This recovers [8, Corollary, Page 907]. Similarly, let MUP denote the periodic complex cobordism spectrum, which is the Thom \(E_\infty \)ring spectrum of the complex Jhomomorphism \(BU\times \mathbb {Z}\rightarrow \mathrm {Pic}(\mathbb {S})\). Then
as MUPmodules, where \(ku\simeq B^\infty (BU \times \mathbb {Z})\) is the connective complex Ktheory spectrum.
The cotangent complex as a Thom spectrum
If G is not only an \(E_\infty \)group but also an \(E_\infty \)ring space in the sense of [11, 7.1], then \(B^\infty G\) is a connective \(E_\infty \)ring spectrum. Many interesting examples of \(E_\infty \)ring spaces arise as group completions of \(E_\infty \)rig spaces (similar to \(E_\infty \)ring spaces but now the underlying additive structure does not necessarily admit inverses). For example, \(\bigsqcup _{n\ge 0} B\Sigma _n\), \(\bigsqcup _{n\ge 0}BU(n)\) and \(\bigsqcup _{n\ge 0} BGL_n(A)\) where A is a commutative ring are examples of \(E_\infty \)rig spaces: their corresponding connective \(E_\infty \)ring spectra are \(\mathbb {S}\), ku and the algebraic Ktheory K(A) respectively. See [11, Sects. 7/8] for more details.
Proposition 4.9
Let R be an \(E_\infty \)ring spectrum, let G be an \(E_\infty \)ring space and let \(f:G\rightarrow \mathrm {Pic}(R)\) be an \(E_\infty \)map (with respect to the \(E_\infty \)group structure of G). Then the Rmodule \(L_{Mf/R}\) underlies a Thom \(E_\infty \)\((R\wedge B^\infty G)\)algebra.
Proof
First, note that if \(R\rightarrow T\) is a map of \(E_\infty \)ring spectra, then extension of scalars restricts to an \(E_\infty \)map \(\wedge _R T:\mathrm {Pic}(R)\rightarrow \mathrm {Pic}(T)\) making the following diagram commute:
Indeed, the functor \(\wedge _RT:\mathrm {Mod}_R\rightarrow \mathrm {Mod}_T\) takes invertible Rmodules to invertible Tmodules.
Now recall that, as an Rmodule, \(Mf\simeq \mathrm {colim}(G\xrightarrow {f} \mathrm {Pic}(R) \rightarrow \mathrm {Mod}_R)\). Let \(T=R\wedge B^\infty G\). Since \(\wedge _R T:\mathrm {Mod}_R \rightarrow \mathrm {Mod}_T\) preserves colimits, we get equivalences of Tmodules
Since we proved in Theorem 4.3 that \(Mf\wedge B^\infty G\simeq L_{Mf/R}\) and \((\wedge _R T) \circ f\) is an \(E_\infty \)map, this proves the result. \(\square \)
Remark 4.10
This echoes with the result that the factorization homology of a Thom \(E_n\)algebra is a Thom spectrum [12, 4.2], or with the related result that the tensor of a Thom \(E_\infty \)algebra with a space is again a Thom \(E_\infty \)algebra [20, 4.10].
Example 4.11
Continuing the example of MUP from Example 4.8, if we take f to be the complex Jhomomorphism \(BU\times \mathbb {Z}\rightarrow \mathrm {Pic}(\mathbb {S})\), then \(L_{MUP}\simeq MUP\wedge ku\) underlies a Thom \(E_\infty \)kualgebra, even if ku is not the Thom spectrum of any \(E_3\)map from an \(E_3\)group [4].
In Proposition 4.9, we proved that \(L_{Mf/R}\) is the Thom module of an \(E_\infty \)map provided G is an \(E_\infty \)ring space. The hypothesis was not superfluous: let us now give an example of a cotangent complex of a Thom \(E_\infty \)ring spectrum which cannot be the Thom module of an \(E_\infty \)map, simply because it would then be an \(E_\infty \)ring spectrum and this cannot happen in this example:
Example 4.12
Let G be an abelian group of infinite order such that every element has finite order. For example, one could take \(\mathbb {Q}/\mathbb {Z}\) or an infinite direct sum of cyclic groups of arbitrarily large order.
Let \(f: G \rightarrow \mathrm {Pic}(\mathbb {S})\) be the the constant map at \(\mathbb {S}\).
Let us prove that \(L_{Mf}\) is not the underlying spectrum of an \(E_\infty \)ring spectrum. Such a structure would induce a ring structure on \(\pi _0(L_{Mf})\), so it suffices to prove that the latter has no ring structure extending its abelian group structure.
Before we prove this, let us use Theorem 4.3 to compute \(L_{Mf}\). We have equivalences of spectra
where we used the fact that \(B^\infty G\simeq HG\) is the Eilenberg–Mac Lane spectrum of G, and that since G is a discrete group then \(\Sigma ^\infty _+ G\) is a wedge of sphere spectra. In particular, \(\pi _0(L_{Mf}) = \bigoplus _G G\).
Now, note that \(G'=\bigoplus _G G\) is again an abelian group of infinite order such that every element has finite order. This implies that it is not the underlying abelian group of a ring. If it were, the multiplicative unit would have finite order, and this number would bound the order of all the other elements, contradicting that \(G'\) has infinite order.
Remark 4.13
As we just observed, in general \(L_{Mf/R}\) is not the Thom module of an \(E_\infty \)map. It is, however, the colimit of iterated loops of Thom modules of \(E_\infty \)maps by (4.5), since by [20, 4.8]
and so
Étale extensions and solid ring spectra
We will now extend the results of the previous section to compute cotangent complexes of two different types of extensions of Thom \(E_\infty \)algebras.
Following [16, 7.5.0.1/2/4], a map of (ordinary) commutative rings \(A\rightarrow B\) is étale if B is finitely presented as an Aalgebra, B is flat as an Amodule, and there exists an idempotent element \(e\in B\otimes _A B\) such that the multiplication map \(B\otimes _A B\rightarrow B\) induces an isomorphism \((B\otimes _A B)[e^{1}] \cong B\). If \(A\rightarrow B\) is a map of \(E_\infty \)ring spectra, it is étale if \(\pi _0(A)\rightarrow \pi _0(B)\) is étale and B is flat as an Amodule, i.e. the natural map
is an isomorphism.
Proposition 5.1
If \(A\rightarrow B\) is an étale map of \(E_\infty \)ring spectra, then \(L_{B/A}\) vanishes. Therefore, if R is an \(E_\infty \)ring spectrum and \(A\rightarrow B\) is a map of \(E_\infty \)Ralgebras which is étale, there is an equivalence of Bmodules
Proof
The first statement is [16, 7.5.4.5]. Note that Lurie adds a connectivity hypothesis, but it is not used in the proof. The second statement now follows from the transitivity cofiber sequence [16, 7.3.3.6]
\(\square \)
Corollary 5.2
Let R be an \(E_\infty \)ring spectrum. Let \(f:G\rightarrow \mathrm {Pic}(R)\) be a map of \(E_\infty \)groups. Let \(Mf\rightarrow B\) be a map of \(E_\infty \)Ralgebras which is étale. There is an equivalence of Bmodules
Proof
By Proposition 5.1, \(L_{B/R}\simeq B\wedge _{Mf} L_{Mf/R}\) as Bmodules, and by Theorem 4.3 we have an equivalence of Mfmodules \(L_{Mf/R}\simeq Mf \wedge B^\infty G\). Putting these together finishes the proof. \(\square \)
Example 5.3
Let R be an \(E_\infty \)ring spectrum and \(x\in \pi _0(R)\). By [16, 7.5.0.6/7], there is an étale map of \(E_\infty \)ring spectra \(R\rightarrow R[x^{1}]\) which universally inverts the homotopy element x. We deduce from Proposition 5.1 that there is an equivalence of \(R[x^{1}]\)modules
There are interesting instances where we want to invert a homotopy element x that is not in degree 0, as we shall see below. Unfortunately, in this case the map \(R\rightarrow R[x^{1}]\) may not be étale: indeed, it may not be flat. For example, if R is connective then any flat Rmodule is necessarily connective, as follows from the definition [16, 7.2.2.11].
To remedy this, we recall the notion of solidity: An \(E_\infty \)Aalgebra B is solid if the multiplication map \(\mu : B \wedge _A B \rightarrow B\) is an equivalence. Note in this case \(B\wedge _A B\simeq B\) as objects of \(\mathrm {CAlg}_{{{B}/ / {B}}}\).
Proposition 5.4
If A is an \(E_\infty \)ring spectrum and B is a solid \(E_\infty \)Aalgebra, then \(L_{B/A}\) vanishes. Therefore, if R is an \(E_\infty \)ring spectrum, A an \(E_\infty \)Ralgebra and B a solid \(E_\infty \)Aalgebra, then there is an equivalence of Bmodules
Proof
For the first statement, consider the equivalences
where the first equivalence is (3.11) and the second follows from solidity. Now \((P_1I)(B)\) is trivial, since \(B\in \mathrm {CAlg}_{{{B}/ / {B}}}\) is a zero object and \(P_1I\) is reduced (see Sect. 2.(3)).
The second statement now follows from the transitivity cofiber sequence [16, 7.3.3.6]
\(\square \)
The following corollary is proven analogously to Corollary 5.2.
Corollary 5.5
Let R be an \(E_\infty \)ring spectrum. Let \(f:G\rightarrow \mathrm {Pic}(R)\) be a map of \(E_\infty \)groups. Let B be a solid \(E_\infty \)Mfalgebra. There is an equivalence of Bmodules
Example 5.6
Let R be an \(E_\infty \)ring spectrum and \(x \in \pi _*(R)\). By [17, 4.3.17], there exists an \(E_\infty \)Ralgebra \(R[x^{1}]\) where x has been universally inverted. Now note that \(R[x^{1}]\) is a solid \(E_\infty \)Ralgebra. Indeed, by [20, 7.3], we have
Therefore, by Proposition 5.4, we have an equivalence
This generalizes Example 5.3, where x was only allowed to be in degree zero.
Example 5.7
Let KU denote the periodic complex topological Ktheory \(E_\infty \)ring spectrum. Snaith [22, 23] proved that \(KU\simeq \mathbb {S}[K(\mathbb {Z},2)][x^{1}]\) as homotopy commutative ring spectra (i.e. commutative monoids in the homotopy category of spectra), where \(x\in \pi _2 \mathbb {S}[K(\mathbb {Z},2)]\) is induced by the fundamental class in \(K(\mathbb {Z},2)\). See [17, 6.5.1] for one improvement of such an equivalence to an equivalence of \(E_\infty \)ring spectra.
Since \(\mathbb {S}[K(\mathbb {Z},2)]\simeq M(K(\mathbb {Z},2) \xrightarrow {\{\mathbb {S}\}} \mathrm {Pic}(\mathbb {S}))\), we can apply Corollary 5.5 and Example 5.6 to deduce that \(L_{KU}\simeq KU \wedge \Sigma ^2 H\mathbb {Z}\). Recall that the inclusion \(\mathbb {Z}\rightarrow \mathbb {Q}\) induces an equivalence \(KU\wedge H\mathbb {Z}\simeq KU \wedge H\mathbb {Q}\) [25, 16.25]. Combining this result with Bott periodicity, we obtain:
the rationalization of KU, a result first gotten in [24, 8.4] in a modelcategorical context.
Notes
When treating a discrete commutative ring as an \(E_\infty \)ring spectrum, the Eilenberg–Mac Lane functor shall be understood.
Recall that \(\mathrm {Ext}^1_B(L_{B/A},M)\simeq \pi _0 (\mathrm {Map}_{\mathrm {Mod}_B}(L_{B/A},\Sigma M))\).
The c in nuca stands for commutative.
The inclusion \(\iota _0\) can be replaced by \(\iota _1\): up to composing with the symmetry \(B\wedge _A B\xrightarrow {\sim } B\wedge _A B\), the two choices are equivalent.
References
Ando, M., Blumberg, A.J., Gepner, D., Hopkins, M.J., Rezk, C.: An \(\infty \)categorical approach to \(R\)line bundles, \(R\)module Thom spectra, and twisted \(R\)homology. J. Topol. 7(3), 869–893 (2014)
Ando, M., Blumberg, A.J., Gepner, D.: Parametrized spectra, multiplicative Thom spectra and the twisted Umkehr map. Geom. Topol. 22(7), 3761–3825 (2018)
AntolínCamarena, O., Barthel, T.: A simple universal property of Thom ring spectra. J. Topol. 12(1), 56–78 (2019)
Angeltveit, V., Hill, M.A., Lawson, T.: The spectra \(ko\) and \(ku\) are not Thom spectra: an approach using \(THH\). In: New Topological Contexts for Galois Theory and Algebraic Geometry (BIRS 2008), Volume 16 of Geometry and Topology Monographs, pp. 1–8. Geometry and Topology Publication, Coventry (2009)
André, M.: Méthode simpliciale en algèbre homologique et algèbre Commutative. Lecture Notes in Mathematics, vol. 32. Springer, Berlin (1967)
Basterra, M.: André–Quillen cohomology of commutative \(S\)algebras. J. Pure Appl. Algebra 144(2), 111–143 (1999)
Beck, J.M.: Triples, algebras and cohomology. Repr. Theory Appl. Categ. 2, 1–59 (2003)
Basterra, M., Mandell, M.A.: Homology and cohomology of \(E_\infty \) ring spectra. Math. Z. 249(4), 903–944 (2005)
Basterra, M., Mandell, M.A.: Homology of \(E_n\) ring spectra and iterated \(THH\). Algebr. Geom. Topol. 11(2), 939–981 (2011)
Cisinski, D.C.: Higher Categories and Homotopical Algebra. Cambridge Studies in Advanced Mathematics, vol. 180. Cambridge University Press, Cambridge (2019)
Gepner, D., Groth, M., Nikolaus, T.: Universality of multiplicative infinite loop space machines. Algebr. Geom. Topol. 15(6), 3107–3153 (2015)
Klang, I.: The factorization theory of Thom spectra and twisted nonabelian Poincaré duality. Algebr. Geom. Topol. 18(5), 2541–2592 (2018)
Kriz, I.: Towers of \(E_\infty \)ring spectra with an application to BP, Preprint (1993)
Kuhn, N.J.: Goodwillie towers and chromatic homotopy: an overview. In: Proceedings of the Nishida Fest (Kinosaki 2003), Volume 10 of Geometry & Topology Monographs, pp. 245–279. Geometry Topology Publication, Coventry (2007)
Lurie, J.: Higher Topos Theory. Annals of Mathematics Studies, vol. 170. Princeton University Press, Princeton (2009)
Lurie, J.: Higher Algebra (2017). http://www.math.ias.edu/~lurie/papers/HA.pdf
Lurie, J.: Elliptic Cohomology II: Orientations (2018). http://www.math.ias.edu/~lurie/papers/EllipticII.pdf
Lurie, J.: Spectral Algebraic Geometry (2018). https://www.math.ias.edu/~lurie/papers/SAGrootfile.pdf
Quillen, D.: Homology of Commutative Rings. Mimeographed Notes. MIT, Cambridge (1968)
Rasekh, N., Stonek, B., Valenzuela, G.: Thom Spectra, Higher \(THH\) and Tensors in \(\infty \)Categories (2019). arXiv:1911.04345v3
Schlichtkrull, C.: Higher topological Hochschild homology of Thom spectra. J. Topol. 4(1), 161–189 (2011)
Snaith, V.P.: Algebraic cobordism and \(K\)theory. Mem. Am. Math. Soc. 21(221), vii+152 (1979)
Snaith, V.: Localized stable homotopy of some classifying spaces. Math. Proc. Camb. Philos. Soc. 89(2), 325–330 (1981)
Stonek, B.: Higher topological Hochschild homology of periodic complex Ktheory. Topol. Appl. 282, 107302 (2020)
Switzer, R.M.: Algebraic Topology—Homotopy and Homology. Springer, New York (1975). (die Grundlehren der mathematischen Wissenschaften, Band 212)
Acknowledgements
The authors would like to thank Hongyi Chu, Yonatan Harpaz and Piotr Pstrągowski for helpful discussions, and Jacob Lurie for helping us find a better proof of Proposition 4.1 than the one we had, by suggesting the use of [16, 1.4.2.24]. Nima Rasekh would like to thank the Institut des Hautes Études Scientifiques (IHES) for its hospitality and financial support. Bruno Stonek would like to thank the Max Planck Institute for Mathematics for its hospitality and financial support.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Birgit Richter.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Rasekh, N., Stonek, B. The cotangent complex and Thom spectra. Abh. Math. Semin. Univ. Hambg. 90, 229–252 (2020). https://doi.org/10.1007/s12188020002268
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12188020002268
Keywords
 Cotangent complex
 Structured ring spectra
 Thom spectra
 Higher category theory
 Goodwillie calculus
Mathematics Subject Classification
 Primary 55P43
 Secondary 14F10