Akhil Mathew

K-theory and polynomial functors

We show that the algebraic K-theory space of stable infinity-categories is canonically functorial in polynomial functors. As a consequence, we obtain a new proof of Bökstedt's calculation of $\mathrm{THH}(\mathbb{F}_p)$ .

Some recent advances in topological Hochschild homology

We give an account of the construction of the Bhatt--Morrow--Scholze motivic filtration on topological cyclic homology and related invariants, focusing on the case of equal characteristic $p$ and the connections to crystalline and de Rham--Witt theory.

Syntomic complexes and $p$ -adic étale Tate twists

The primary goal of this paper is to identify syntomic complexes with the $p$ -adic étale Tate twists of Geisser--Schneider--Sato on regular $p$ -torsionfree schemes. Our methods apply naturally to a broader class of schemes that we call " $F$ -smooth". The $F$ -smoothness of regular schemes leads to new results on the absolute prismatic cohomology of regular schemes.

The K-theory of perfectoid rings

We establish various properties of the p-adic algebraic K-theory of smooth algebras over perfectoid rings living over perfectoid valuation rings. In particular, the p-adic K-theory of such rings is homotopy invariant, and coincides with the p-adic K-theory of the p-adic generic fibre in high degrees. In the case of smooth algebras over perfectoid valuation rings of mixed characteristic the latter isomorphism holds in all degrees and generalises a result of Nizioł.

preprint2021arXiv

Counterexamples to Hochschild--Kostant--Rosenberg in characteristic $p$

We give counterexamples to the degeneration of the HKR spectral sequence in characteristic $p$ , both in the untwisted and twisted settings. We also prove that the de Rham-- $\mathrm{HP}$ and crystalline-- $\mathrm{TP}$ spectral sequences need not degenerate.

preprint2021arXiv

On $K(1)$ -local $\mathrm{TR}$

We discuss some general properties of $\mathrm{TR}$ and its $K(1)$ -localization. We prove that after $K(1)$ -localization, $\mathrm{TR}$ of $H\mathbb{Z}$ -algebras is a truncating invariant in the sense of Land--Tamme, and deduce $h$ -descent results. We show that for regular rings in mixed characteristic, $\mathrm{TR}$ is asymptotically $K(1)$ -local, extending results of Hesselholt--Madsen. As an application of these methods and recent advances in the theory of cyclotomic spectra, we construct an analog of Thomason's spectral sequence relating $K(1)$ -local $K$ -theory and étale cohomology for $K(1)$ -local $\mathrm{TR}$ .

preprint2020arXiv

K-theory and topological cyclic homology of henselian pairs

Given a henselian pair $(R, I)$ of commutative rings, we show that the relative $K$ -theory and relative topological cyclic homology with finite coefficients are identified via the cyclotomic trace $K \to \mathrm{TC}$ . This yields a generalization of the classical Gabber-Gillet-Thomason-Suslin rigidity theorem (for mod $n$ coefficients, with $n$ invertible in $R$ ) and McCarthy's theorem on relative $K$ -theory (when $I$ is nilpotent). We deduce that the cyclotomic trace is an equivalence in large degrees between $p$ -adic $K$ -theory and topological cyclic homology for a large class of $p$ -adic rings. In addition, we show that $K$ -theory with finite coefficients satisfies continuity for complete noetherian rings which are $F$ -finite modulo $p$ . Our main new ingredient is a basic finiteness property of $\mathrm{TC}$ with finite coefficients.

preprint2020arXiv

Remarks on $K(1)$ -local $K$ -theory

We prove two basic structural properties of the algebraic $K$ -theory of rings after $K(1)$ -localization at an implicit prime $p$ . Our first result (also recently obtained by Land--Meier--Tamme by different methods) states that $L_{K(1)} K(R)$ is insensitive to inverting $p$ on $R$ ; we deduce this from recent advances in prismatic cohomology and $\mathrm{TC}$ . Our second result yields a Künneth formula in $K(1)$ -local $K$ -theory for adding $p$ -power roots of unity to $R$ .

preprint2020arXiv

Revisiting the de Rham-Witt complex

The goal of this paper is to offer a new construction of the de Rham-Witt complex of smooth varieties over perfect fields of characteristic $p>0$ . We introduce a category of cochain complexes equipped with an endomorphism $F$ of underlying graded abelian groups satisfying $dF = pFd$ , whose homological algebra we study in detail. To any such object satisfying an abstract analog of the Cartier isomorphism, an elementary homological process associates a generalization of the de Rham-Witt construction. Abstractly, the homological algebra can be viewed as a calculation of the fixed points of the Berthelot-Ogus operator $L η_p$ on the $p$ -complete derived category. We give various applications of this approach, including a simplification of the crystalline comparison for the $A Ω$ -cohomology theory introduced in [BMS18].

preprint2019arXiv

Kaledin's degeneration theorem and topological Hochschild homology

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$ .

preprint2017arXiv

Descent in algebraic $K$ -theory and a conjecture of Ausoni-Rognes

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.

Affineness and chromatic homotopy theory

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.

Nilpotence and descent in equivariant stable homotopy theory

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.

Residue fields for a class of rational $\mathbf{E}_\infty$ -rings and applications

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$ .

The Galois group of a stable homotopy theory

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.

Fibers of partial totalizations of a pointed cosimplicial space

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.

The homology of $\mathrm{tmf}$

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}$ .

The Picard group of topological modular forms via descent theory

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$ .

Torsion exponents in stable homotopy and the Hurewicz homomorphism

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.