Examples of disk algebras
Sanath Devalapurkar, Jeremy Hahn, Tyler Lawson, Andrew Senger, and, Dylan Wilson

TL;DR
This paper refines the multiplicative structures on various spectra like BP, BP⟨n⟩, and X(n), enabling the inheritance of circle actions in their topological Hochschild homology.
Contribution
It introduces refined multiplicative structures on key spectra, enhancing understanding of their algebraic and topological properties.
Findings
Refined multiplicative structures on BP and variants.
Topological Hochschild homology inherits circle actions.
Enhanced algebraic understanding of spectra.
Abstract
We produce refinements of the known multiplicative structures on the Brown--Peterson spectrum , its truncated variants , Ravenel's spectra , and evenly graded polynomial rings over the sphere spectrum. Consequently, topological Hochschild homology relative to these rings inherits a circle action.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAlgebraic structures and combinatorial models · Homotopy and Cohomology in Algebraic Topology · Advanced Topics in Algebra
Examples of Disk Algebras
Sanath Devalapurkar, Jeremy Hahn, Tyler Lawson, Andrew Senger, and Dylan Wilson
Abstract.
We produce refinements of the known multiplicative structures on the Brown-Peterson spectrum , its truncated variants , Ravenel’s spectra , and evenly graded polynomial rings over the sphere spectrum. Consequently, topological Hochschild homology relative to these rings inherits a circle action.
Contents
- 1 Introduction
- 2 Review of Disk Algebras
- 3 Thom spectra
- 4 Retracts of Complex Bordism
- 5 Truncated Brown-Peterson Spectra
1. Introduction
If is a ring spectrum, then the algebraic -theory of is often understood by means of its trace maps to , , and . To compute any of these invariants, it has proven extremely fruitful to approximate the absolute Hochschild homology by Hochschild homology relative to some other base, i.e. perform descent along a map
[TABLE]
For example, this is one of the main ideas behind the definition of prismatic cohomology of ring spectra given in [HRW22], and is featured in the foundational [BMS19, §11]. Works such as [AKN22, LW22, KN19, Lee22, HW22] showcase both the computational and theoretical effectiveness of the technique.
To enact the above strategy, one needs to admit enough structure that exists as an -equivariant -module. The action of on by rotation defines an -action on the operad , and hence an -action on the category of -algebras. The structure necessary on to define an --module structure on is that of a homotopy fixed point for this action.111This appears to be folklore, but we give a short proof in Corollary 2.9. The category goes by many names, such as the category of framed -algebras, -algebras, or -algebras. Following [AF15], we will call these -algebras; more generally, there is a notion of -algebra which we review below.
Here, we prove that several familiar and fundamental ring spectra admit extra structure of this form:
Theorem 1.1** (Corollary 3.7, Corollary 3.12, Corollary 4.2, Theorem 5.2).**
We have:
- (1)
At any prime , admits the structure of a --algebra. 2. (2)
At any prime and for each integer , there is a form of which is a --algebra. 3. (3)
For each integer , the Ravenel spectrum admits the structure of a -algebra. 4. (4)
For any integer , the spherical polynomial algebra on a degree class admits the structure of a -algebra.
Remark 1.2**.**
There has been a long history of work equipping the above ring spectra with highly structured multiplications. For example, Basterra–Mandell [BM13] proved that admits a unique -algebra structure, and in [HW22] the second and fifth authors show that there are --algebra forms of . The above theorem strengthens these results, and can be seen as part of the general effort to equip ring spectra with the maximum possible amount of structure.
Acknowledgements
The authors would like to thank Andrew Blumberg, Michael Hill, Michael Hopkins, Achim Krause, Michael Mandell, and Thomas Nikolaus for helpful conversations. During the course of this work, Sanath Devalapurkar was supported by NSF grant DGE-2140743, Jeremy Hahn was supported by NSF grant DMS-1803273, Andrew Senger was supported by NSF grant DMS-2103236, Tyler Lawson was supported by NSF grant DMS-2208062, and Dylan Wilson was supported by NSF grant DMS-1902669. This project was made possible by the hospitality of AIM.
2. Review of Disk Algebras
2.1. Definitions
We recall the algebraic setup from [AF15].
Definition 2.1**.**
Let . Then [AF15, Definition 2.9] is the symmetric monoidal (-)category of -manifolds homeomorphic to finite disjoint unions of -dimensional Euclidean spaces equipped with a lift of the classifer of their tangent microbundle to . The symmetric monoidal structure is given by disjoint union. The category of -algebras in a symmetric monoidal category is defined as
[TABLE]
Remark 2.2**.**
The symmetric monoidal category is the symmetric monoidal envelope of the -operad of [Lur17, 5.4.2.10]. Combining [Lur17, 2.2.4.9 and 2.3.3.4], we learn that the map produces a local system of categories of -algebras and that there is an equivalence:
[TABLE]
2.2. Disk algebras in spaces
Given any pointed space , the functor of compactly-supported maps
[TABLE]
is symmetric monoidal for the structure of disjoint union on the source and cartesian product on the target. Observe that, upon restriction to the full subcategory spanned by , we obtain the local system
[TABLE]
associated to the action of on . We will denote this local system by .
Proposition 2.3**.**
The above construction refines to an adjunction
[TABLE]
This restricts to an equivalence between group-like algebras and pointwise -connective presheaves.
Proof.
In the discussion above we produced a functor
[TABLE]
given by . This is the same data as a map
[TABLE]
of presheaves on , where the source is regarded as a constant presheaf. Taking global sections then produces the desired functor . The existence of a left adjoint and the restricted equivalence is a formal consequence of the known statement applied pointwise on . ∎
We will also need the following computation.
Lemma 2.4**.**
Suppose is an infinite-loop space given the structure of a -algebra by restriction. Then .
Proof.
As in the previous proposition, observe that the construction refines to a functor (which we temporarily give alternative notation)
[TABLE]
that intertwines . Here we have decorated with to indicate that we are using the cartesian monoidal structure. Since is stable, this coincides with the cocartesian monoidal structure and thus by [Lur17, 2.4.3.8] the forgetful functor
[TABLE]
is an equivalence. By design, the composite of with this forgetful functor is . In other words: the two potentially different (additive) -algebra structures on the spectrum must coincide for any local system of spectra on .
It then follows that as -algebras, which proves the result. ∎
Warning 2.5**.**
If is an -space then, when regarded as a -algebra, the underlying presheaf on is constant. However, the presheaf need not be constant. For example, if and , then is the one-point compactification of the sign representation. This is not (Borel) equivariantly trivial, as seen, for example, from its integral homology.
2.3. Factorization homology
Recall from [AF15] that denotes the symmetric monoidal (-)category of -framed manifolds, which contains as a full subcategory.
Definition 2.6**.**
Let be a -algebra in a presentably symmetric monoidal -category . We define the factorization homology functor
[TABLE]
by left Kan extension along the inclusion .
This functor gives a generalization of Hochschild homology by the following theorem.
Theorem 2.7** (Ayala-Francis, Lurie).**
If is a -algebra in , then there is a canonical, -equivariant equivalence
[TABLE]
where the latter is defined via the cyclic bar construction in .
Encoding factorization homology as a functor on -framed manifolds now allows us to equip relative Hochschild homology with a circle action.
Corollary 2.8**.**
If is a -algebra in (so that admits an -action), then the augmentation refines to an -equivariant map of -algebras.
Proof.
Apply functoriality to the inclusion . Here the -framing is determined by the maps
[TABLE]
where the first lift is the standard trivialization, and is given the standard action on the first two coordinates. ∎
Corollary 2.9**.**
If is a -algebra and is an -linear category, then has a canonical -action.
Proof.
By the previous corollary, base change along takes -equivariant -modules to -equivariant -modules. Whence the claim for
[TABLE]
Remark 2.10**.**
The non--equivariant analogue of Corollary 2.8 is proved as [KN18, Lemma 4.6]. The statement of Corollary 2.8 for was also mentioned in [Yua21, Remark 3.4], where it was attributed to Asaf Horev.
3. Thom spectra
In this section we explain how to equip Thom spectra with -algebra structures in certain situations.
3.1. Disk algebras in spaces and orientability
We now observe that orientability allows us to automatically upgrade some -algebras to -algebras.
Proposition 3.1**.**
Suppose and that there is a chosen equivalence of local systems on . Then every group-like -algebra equipped with a -algebra map has a canonical refinement to a -algebra over .
Proof.
By assumption, there is a map of spaces
[TABLE]
Using our assumption that , we obtain equivalences:
[TABLE]
Thus we get a map of -algebras
[TABLE]
which refines the original map. ∎
Warning 3.2**.**
The action of on constructed above may be nontrivial.
Corollary 3.3**.**
Let be a group-like -algebra over . Then has a canonical refinement to a -algebra over .
Proof.
As is a module over , a choice of Thom class for the bundle over gives the desired -equivariant equivalence
[TABLE]
The same argument using the Atiyah-Bott-Shapiro orientation gives the following.
Corollary 3.4**.**
Let be a group-like -algebra over . Then has a canonical refinement to a -algebra over .
3.2. Main Result
Let be presentably symmetric monoidal and denote by the -groupoid of -invertible objects in . Recall that, for any map , there is a unique extension to a colimit-preserving functor
[TABLE]
if the map is one of -spaces, this functor is lax symmetric monoidal. See, e.g. [HL20, Proposition 3.1.3] and [CCRY22, Section 7.1]. We will be mainly concerned with the cases and . For any -operad , we then get an induced functor
[TABLE]
Applying the results from the previous subsection, we immediately deduce the following.
Theorem 3.5**.**
Let be presentably symmetric monoidal. Suppose , there is a chosen trivialization of local systems on , and and we are given an -algebra map . Suppose is a map of group-like -algebras. Then admits a canonical -algebra structure.
Corollary 3.6**.**
Suppose is a map of group-like -algebras. Then the Thom spectrum admits a canonical -algebra structure.
Corollary 3.7**.**
Let be the Ravenel spectrum from [Rav84, Section 3]. Then admits the structure of an -algebra.
Proof.
By definition, is the Thom spectrum of the double loop map . ∎
Remark 3.8**.**
Recall that there is a truncated form of the Quillen idempotent on (see [Hop84, Proposition 1.3.7]). We will write to denote the resulting summand of , so that approximates in the same way as approximates . At , admits the structure of an -algebra. Indeed, in this case, , so the result follows from Corollary 3.7. At , it is also known that admits the structure of an -ring. Using Corollary 3.6, one can show that in fact admits the structure of an -algebra: indeed, by [Dev22, Remark 3.1.9], it is the Thom spectrum of the double loop map obtained from taking double loops of the composite
[TABLE]
Corollary 3.6 can also be used to study polynomial rings over the sphere spectrum. Recall the following construction, e.g., from [HW22, Construction 4.1.1] (see also [Lur15, Section 3.4]).
Construction 3.9**.**
Fix an integer , and let denote the constant simplicial set associated to the set of integers. Then, the free graded -ring on a class in degree and weight admits the structure of a graded -ring. This can be viewed as an -monoidal functor sending ; this functor factors through the inclusion . Let us write to denote the underlying -ring in .
Using the -monoidal functor , one can define a spectral analogue of the “shearing” functor on graded spectra. The following is an adaptation of [Rak20, Proposition 3.3.4]. Let be a stable presentably symmetric monoidal -category, and let denote the -category of graded objects in . The composite
[TABLE]
is a lax -monoidal functor. Using the universal property of Day convolution, this in turn defines a lax -monoidal functor which acts on a graded object by . It is easy to see that this functor is in fact -monoidal and defines an equivalence . In fact, .
Proposition 3.10**.**
The shearing equivalence admits the structure of a -monoidal functor.
Proof.
It suffices to show that the composite eq. 1 admits the structure of a -monoidal functor. The map is evidently symmetric monoidal, so it in turn suffices to show that admits the structure of a -monoidal functor. But can be factored as the composite
[TABLE]
where the second map is the inclusion of the factor in the product. The inclusion is one of group-like -algebras (for instance, it can be obtained via Bott periodicity by taking double loops of the map ), so the claim follows from the discussion in section 3.1. ∎
Remark 3.11**.**
The functor does not admit an -monoidal structure. Otherwise, would admit the structure of an -algebra in . To see that this is impossible, observe that if did admit the structure of an -algebra, the class would factor as
[TABLE]
Composing with the projection , this would show that the bottom cell of is unattached; but this is false, since the - and -cells of are connected by .
It is easier to show that the inclusion is not a map of -algebras. Otherwise, taking the -fold bar construction would show that there is a map which is an isomorphism on . This is impossible: for instance, the resulting composite
[TABLE]
would be nonzero on ; but .
Corollary 3.12**.**
Let . Then, admits the structure of a -algebra in .
Proof.
Let denote the free -algebra in graded spectra on a class in weight and degree zero; this in fact admits the structure of an -ring in , and . Since is -monoidal by Proposition 3.10, this implies that admits the structure of a -algebra in . ∎
Remark 3.13**.**
There is an evident generalization of Corollary 3.12 to multi-graded -algebras in several variables.
4. Retracts of Complex Bordism
The following result allows us to equip with a -algebra structure.
Theorem 4.1**.**
Every -algebra map refines to a -algebra map.
Proof.
We would like to show that the map
[TABLE]
is surjective on path components. Under the identification , we may identify this map with the inclusion of fixed points
[TABLE]
for some -action on the source. To show that this is surjective on path components, it will suffice to prove that the homotopy fixed point spectral sequence for the source collapses. For this, it further suffices to prove that is concentrated in even degrees. Using the Thom isomorphism of [AB19, Corollary 3.18], we have:
[TABLE]
Since has an even cell decomposition, and the homotopy of is concentrated in even degrees, the Atiyah-Hirzebruch spectral sequence collapses and the answer is concentrated in even degrees. This completes the proof. ∎
Corollary 4.2**.**
* admits the structure of a -algebra under .*
Proof.
Apply the previous theorem to the -algebra idempotent produced by Basterra-Mandell in [BM13]. ∎
Warning 4.3**.**
Unlike the -algebra structures produced on Thom spectra, the refinements of the self-maps of , and hence of the algebra structure on , are highly non-canonical.
5. Truncated Brown-Peterson Spectra
In [HW22], the second and fifth authors produced --algebra forms of . In this section, we explain how to modify the argument in loc. cit. to produce --algebra structures.
5.1. Review of obstruction theory
If is an operad, then the deformation theory of an -algebra is governed by the cotangent complex, which is an operadic module over . In the case of interest, it follows from [Lur17, 7.3.4.13] that the cotangent complex of a -algebra lies in
[TABLE]
The category of --modules is equivalent to the category of modules over the enveloping algebra
[TABLE]
so an alternative perspective on --modules is via the equivalence
[TABLE]
In these terms, the cotangent complex and enveloping algebra are related to one another using the following theorem:
Theorem 5.1** (Lurie, Francis).**
If is a -algebra, then there is a fiber sequence
[TABLE]
of --modules.
Proof.
The proof given in [Fra13, Theorem 2.26] applies verbatim for general . ∎
5.2. Main result
Theorem 5.2**.**
There are forms of which are --algebras, and for which the maps
[TABLE]
are maps of --algebras.
Proof.
The proof in [HW22, Theorem 2.0.6] goes through mutatis mutandis using the description of the cotangent complex above, except that we replace the use of [HW22, Theorem 2.5.5] with the following refinement: for any virtual complex representation of , the spectrum
[TABLE]
has homotopy groups concentrated in even degrees; moreover, the map
[TABLE]
is surjective.
In fact, this statement is an immediate consequence of Theorem 2.5.5. in loc. cit.: since the homotopy groups of (and hence of any even suspension) are concentrated in even degrees, the homotopy fixed point spectral sequence for collapses and is again concentrated in even degrees. ∎
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[AB 19] O. Antolín-Camarena and T. Barthel, A simple universal property of Thom ring spectra , Journal of Topology 12 (2019), no. 1, 56–78.
- 2[AF 15] D. Ayala and J. Francis, Factorization homology of topological manifolds , Journal of Topology 8 (2015), no. 4, 1045–1084.
- 3[AKN 22] B. Antieau, A. Krause, and T. Nikolaus, On the K-theory of ℤ / p n ℤ superscript 𝑝 𝑛 \mathbb{Z}/p^{n} — anouncement , https://arxiv.org/abs/2204.03420 , 2022.
- 4[BM 13] M. Basterra and M. Mandell, The multiplication on BP , J. Topol. 6 (2013), no. 2, 285–310.
- 5[BMS 19] B. Bhatt, M. Morrow, and P. Scholze, Topological Hochschild homology and integral p 𝑝 p -adic Hodge theory , Publ. Math. Inst. Hautes Études Sci. 129 (2019), 199–310.
- 6[CCRY 22] B. Cnossen, S. Carmeli, M. Ramzi, and L. Yanovski, Characters and transfer maps via categorified traces , https://arxiv.org/abs/2210.17364 , 2022.
- 7[Dev 22] S. Devalapurkar, Higher chromatic Thom spectra via unstable homotopy theory , Algebr. Geom. Topol. (2022).
- 8[Fra 13] J. Francis, The tangent complex and Hochschild cohomology of-rings , Compositio Mathematica 149 (2013), no. 3, 430–480.
