arXiv subjects
Publications and source records attributed to Akhil Mathew.
We give a short proof of Kaledin's theorem on the degeneration of the noncommutative Hodge-to-de Rham spectral sequence. Our approach is based on topological Hochschild homology and the theory of cyclotomic spectra. As a consequence, we also obtain relative versions of the degeneration theorem, both in characteristic zero and for regular bases in characteristic $p$.
Let $G$ be a finite group. To any family $\mathscr{F}$ of subgroups of $G$, we associate a thick $\otimes$-ideal $\mathscr{F}^{\mathrm{Nil}}$ of the category of $G$-spectra with the property that every $G$-spectrum in $\mathscr{F}^{\mathrm{Nil}}$ (which we call $\mathscr{F}$-nilpotent) can be reconstructed from its underlying $H$-spectra as $H$ varies over $\mathscr{F}$. A similar result holds for calculating $G$-equivariant homotopy classes of maps into such spectra via an appropriate homotopy limit spectral sequence. In general, the condition $E\in \mathscr{F}^{\mathrm{Nil}}$ implies strong collapse results for this spectral sequence as well as its dual homotopy colimit spectral sequence. As applications, we obtain Artin and Brauer type induction theorems for $G$-equivariant $E$-homology and cohomology, and generalizations of Quillen's $\mathcal{F}_p$-isomorphism theorem when $E$ is a homotopy commutative $G$-ring spectrum. We show that the subcategory $\mathscr{F}^{\mathrm{Nil}}$ contains many $G$-spectra of interest for relatively small families $\mathscr{F}$. These include $G$-equivariant real and complex $K$-theory as well as the Borel-equivariant cohomology theories associated to complex oriented ring spectra, any $L_n$-local spectrum, the classical bordism theories, connective real $K$-theory, and any of the standard variants of topological modular forms. In each of these cases we identify the minimal family such that these results hold.
We give a new proof of the recent Künneth theorem for periodic topological cyclic homology (TP) of smooth and proper dg categories over perfect fields of characteristic p>0 due to Blumberg and Mandell. Our result is slightly stronger and implies a finiteness theorem for topological cyclic homology (TC) of such categories.
Let $A \to B$ be a $G$-Galois extension of rings, or more generally of $\mathbb{E}_\infty$-ring spectra in the sense of Rognes. A basic question in algebraic $K$-theory asks how close the map $K(A) \to K(B)^{hG}$ is to being an equivalence, i.e., how close algebraic $K$-theory is to satisfying Galois descent. An elementary argument with the transfer shows that this equivalence is true rationally in most cases of interest. Motivated by the classical descent theorem of Thomason, one also expects such a result after periodic localization. We formulate and prove a general result which enables one to promote rational descent statements as above into descent statements after periodic localization. This reduces the localized descent problem to establishing an elementary condition on $K_0(-)\otimes \mathbb{Q}$. As applications, we prove various descent results in the periodic localized $K$-theory, $TC$, $THH$, etc. of structured ring spectra, and verify several cases of a conjecture of Ausoni and Rognes.
We consider the localization of the $\infty$-category of spaces at the $v_n$-periodic equivalences, the case $n=0$ being rational homotopy theory. We prove that this localization is for $n\geq 1$ equivalent to algebras over a certain monad on the $\infty$-category of $T(n)$-local spectra. This monad is built from the Bousfield--Kuhn functor.
We give a survey of the ideas of descent and nilpotence. We focus on examples arising from chromatic homotopy theory and from group actions, as well as a few examples in algebra.
We give a short proof of a theorem of Kuhn that Tate constructions for finite group actions vanish in telescopically localized stable homotopy theory. In particular, we observe that Kuhn's theorem is equivalent to the statement that the transfer $BC_{p+} \to S^0$ admits a section after telescopic localization, which in turn follows from the Kahn-Priddy theorem.
Let $G$ be a finite group and let $\mathscr{F}$ be a family of subgroups of $G$. We introduce a class of $G$-equivariant spectra that we call $\mathscr{F}$-nilpotent. This definition fits into the general theory of torsion, complete, and nilpotent objects in a symmetric monoidal stable $\infty$-category, with which we begin. We then develop some of the basic properties of $\mathscr{F}$-nilpotent $G$-spectra, which are explored further in the sequel to this paper. In the rest of the paper, we prove several general structure theorems for $\infty$-categories of module spectra over objects such as equivariant real and complex $K$-theory and Borel-equivariant $MU$. Using these structure theorems and a technique with the flag variety dating back to Quillen, we then show that large classes of equivariant cohomology theories for which a type of complex-orientability holds are nilpotent for the family of abelian subgroups. In particular, we prove that equivariant real and complex $K$-theory, as well as the Borel-equivariant versions of complex-oriented theories, have this property.
Let $A$ be an $\mathbf{E}_{\infty}$-ring spectrum over the rational numbers. If $A$ satisfies a noetherian condition on its homotopy groups $π_*(A)$, we construct a collection of $\mathbf{E}_{\infty}$-$A$-algebras that realize on homotopy the residue fields of $π_*(A)$. We prove an analog of the nilpotence theorem for these residue fields. As a result, we are able to give a complete algebraic description of the Galois theory of $A$ and of the thick subcategories of perfect $A$-modules. We also obtain partial information on the Picard group of $A$.
We treat the question of base-change in $THH$ for faithful Galois extensions of ring spectra in the sense of Rognes. Given a faithful Galois extension $A \to B$ of ring spectra, we consider whether the map $THH(A) \otimes_A B \to THH(B)$ is an equivalence. We reprove and extend positive results of Weibel-Geller and McCarthy-Minasian and offer new examples of Galois extensions for which base-change holds. We also provide a counterexample where base-change fails.
Given an algebraic stack $X$, one may compare the derived category of quasi-coherent sheaves on $X$ with the category of dg-modules over the dg-ring of functions on $X$. We study the analogous question in stable homotopy theory, for derived stacks that arise via realizations of diagrams of Landweber-exact homology theories. We identify a condition (quasi-affineness of the map to the moduli stack of formal groups) under which the two categories are equivalent, and study applications to topological modular forms. In particular, we provide new examples of Galois extensions of ring spectra and vanishing results about Tate spectra.
To a "stable homotopy theory" (a presentable, symmetric monoidal stable $\infty$-category), we naturally associate a category of finite étale algebra objects and, using Grothendieck's categorical machine, a profinite group that we call the Galois group. We then calculate the Galois groups in several examples. For instance, we show that the Galois group of the periodic $\mathbf{E}_\infty$-algebra of topological modular forms is trivial and that the Galois group of $K(n)$-local stable homotopy theory is an extended version of the Morava stabilizer group. We also describe the Galois group of the stable module category of a finite group. A fundamental idea throughout is the purely categorical notion of a "descendable" algebra object and an associated analog of faithfully flat descent in this context.
We compute the mod $2$ homology of the spectrum $\mathrm{tmf}$ of topological modular forms by proving a 2-local equivalence $\mathrm{tmf} \wedge DA(1) \simeq \mathrm{tmf}_1(3) \simeq BP\left \langle 2\right\rangle$, where $DA(1)$ is an eight cell complex whose cohomology "doubles" the subalgebra $\mathcal{A}(1)$ of the Steenrod algebra generated by $\mathrm{Sq}^1$ and $\mathrm{Sq}^2$. To do so, we give, using the language of stacks, a modular description of the elliptic homology of $DA(1)$ via level three structures. We briefly discuss analogs at odd primes and recover the stack-theoretic description of the Adams-Novikov spectral sequence for $\mathrm{tmf}$.
This paper starts with an exposition of descent-theoretic techniques in the study of Picard groups of $\mathbf{E}_{\infty}$-ring spectra, which naturally lead to the study of Picard spectra. We then develop tools for the efficient and explicit determination of differentials in the associated descent spectral sequences for the Picard spectra thus obtained. As a major application, we calculate the Picard groups of the periodic spectrum of topological modular forms $TMF$ and the non-periodic and non-connective $Tmf$. We find that $\mathrm{Pic} (TMF)$ is cyclic of order 576, generated by the suspension $ΣTMF $ (a result originally due to Hopkins), while $\mathrm{Pic}(Tmf) = \mathbb{Z}\oplus \mathbb{Z}/24$. In particular, we show that there exists an invertible $Tmf$-module which is not equivalent to a suspension of $Tmf$.
Given an abelian $p$-group $G$ of rank $n$, we construct an action of the torus $\mathbb{T}^n$ on the stable module $\infty$-category of $G$-representations over a field of characteristic $p$. The homotopy fixed points are given by the $\infty$-category of module spectra over the Tate construction of the torus. The relationship thus obtained arises from a Galois extension in the sense of Rognes, with Galois group given by the torus. As one application, we give a homotopy-theoretic proof of Dade's classification of endotrivial modules for abelian $p$-groups. As another application, we give a slight variant of a key step in the Benson-Iyengar-Krause proof of the classification of localizing subcategories of the stable module category.
Using the descent spectral sequence for a Galois extension of ring spectra, we compute the Picard group of the higher real $K$-theory spectra of Hopkins and Miller at height $n=p-1$, for $p$ an odd prime. More generally, we determine the Picard groups of the homotopy fixed points spectra $E_n^{hG}$, where $E_n$ is Lubin-Tate $E$-theory at the prime $p$ and height $n=p-1$, and $G$ is any finite subgroup of the extended Morava stabilizer group. We find that these Picard groups are always cyclic, generated by the suspension.
We give estimates for the torsion in the Postnikov sections $τ_{[1, n]} S^0$ of the sphere spectrum, and show that the $p$-localization is annihilated by $p^{n/(2p-2) + O(1)}$. This leads to explicit bounds on the exponents of the kernel and cokernel of the Hurewicz map $π_*(X) \to H_*(X; \mathbb{Z})$ for a connective spectrum $X$. Such bounds were first considered by Arlettaz, although our estimates are tighter and we prove that they are the best possible up to a constant factor. As applications, we sharpen existing bounds on the orders of $k$-invariants in a connective spectrum, sharpen bounds on the unstable Hurewicz of an infinite loop space, and prove an exponent theorem for the equivariant stable stems.
Let $X^\bullet$ be a cosimplicial object in a pointed $\infty$-category. We show that the fiber of $\mathrm{Tot}_m(X^\bullet) \to \mathrm{Tot}_n(X^\bullet)$ depends only on the pointed cosimplicial object $Ω^k X^\bullet$ and is in particular a $k$-fold loop object, where $k = 2n - m+2$. The approach is explicit obstruction theory with quasicategories. We also discuss generalizations to other types of homotopy limits and colimits.