arXiv subjects
Publications and source records attributed to Benjamin Antieau.
We prove that every Severi-Brauer variety of dimension at least two over a number field contains a twisted elliptic normal curve. Consequently, every Brauer class over a number field is split by a genus one curve. We prove this using the fibration method, by showing that the rational points on a smooth compactification of the Hilbert scheme of twisted elliptic normal curves are dense in its Brauer-Manin set.
We discuss filtrations arising from de Rham-type cohomology theories for $E_\infty$ rings and $E_n$ rings. Examples include the HKR filtration on relative topological Hochschild homology, the Hodge filtration on $E_\infty$ infinitesimal cohomology, and the Hodge filtration on $E_\infty$ de Rham cohomology.
We use derived methods to study the Gauss-Manin connection in Hochschild homology, infinitesimal cohomology, and derived de Rham cohomology. As applications, we give new approaches to nilinvariance, the Quillen spectral sequence, and the HKR filtration. We extend the results of Bhatt's work on de Rham cohomology in characteristic zero to infinitesimal cohomology in mixed characteristic and show that the comparison to Hartshorne's algebraic de Rham complex "is" the Gauss-Manin connection. Finally, we explain the main features of prismatic cohomology in characteristic zero via the Gauss-Manin connection.
We compare several different notions of filtered derived commutative ring, discussing HKR-filtered Hochschild homology, Hodge-filtered de Rham cohomology, and the lesser-known Hodge-filtered infinitesimal cohomology. Our main result is that de Rham cohomology is the crystallization of infinitesimal cohomology.
We introduce the notion of $\mathbb{E}_\infty$-descendability as well as a derived variant. We prove that several classes of descendable maps of commutative rings are $\mathbb{E}_\infty$-descendable. As an application, we prove a variant of Tannaka duality.
We give a direct proof of the fact that the animation of the opposite of the category of finite sets is a 1-category.
We define an $\infty$-category $\mathrm{CycSyn}$ of $p$-typical cyclotomic synthetic spectra and prove that the motivic filtration on $\mathrm{THH}(R;\mathbf{Z}_p)$, defined by Bhatt, Morrow, and Scholze when $R$ is quasisyntomic and by Hahn, Raksit, and Wilson in the chromatically quasisyntomic case, naturally admits the structure of a $p$-typical cyclotomic synthetic spectrum. As a consequence, we obtain new bounds on the syntomic cohomology of connective chromatically quasisyntomic $\mathbf{E}_\infty$-ring spectra.
We give a new construction of the spherical Witt vector functor of Lurie and Burklund-Schlank-Yuan and extend it to nonconnective objects using synthetic spectra and recent work of Holeman. The spherical Witt vectors are used to build spherical versions of perfect $λ$-rings and to motivate new results in Grothendieck's schematization program, building on work of Ekedahl, Kriz, Mandell, Lurie, Quillen, Sullivan, Toën, and Yuan. In particular, there is an $\infty$-category of perfect derived $λ$-rings with trivializations of the Adams operations $ψ^p$ for all $p$ such that the functor sending a space $X$ to its integral cochains on $X$, viewed as such a derived $λ$-ring, is fully faithful on a large class of nilpotent spaces. Our theorem is closely related to recent work of Horel and Kubrak-Shuklin-Zakharov. Finally, we answer two questions of Yuan on spherical cochains.
This paper explains the theory of spectral sequences via décalage and the Beilinson t-structure.
We give an explicit algebraic description, based on prismatic cohomology, of the algebraic K-groups of rings of the form $O_K/I$ where $K$ is a p-adic field and $I$ is a non-trivial ideal in the ring of integers $O_K$; this class includes the rings $\mathbf{Z}/p^n$ where $p$ is a prime. The algebraic description allows us to describe a practical algorithm to compute individual K-groups as well as to obtain several theoretical results: the vanishing of the even K-groups in high degrees, the determination of the orders of the odd K-groups in high degrees, and the degree of nilpotence of $v_1$ acting on the mod $p$ syntomic cohomology of $\mathbf{Z}/p^n$.
We develop prismatic and syntomic cohomology relative to a $\delta$-ring. This simultaneously generalizes Bhatt and Scholze's absolute and relative prismatic cohomology and shows that the latter, which was defined relative to a prism, is in fact independent of the prism structure and only depends on the underlying $\delta$-ring. We give several possible definitions of our new version of prismatic cohomology: a site theoretic definition, one using prismatic crystals, and a stack theoretic definition. These are equivalent under mild syntomicity hypotheses. As an application, we note how the theory of prismatic cohomology of filtered rings arises naturally in this context.
We prove that the Brauer group of TMF is isomorphic to the Brauer group of the derived moduli stack of elliptic curves. Then, we compute the local Brauer group, i.e., the subgroup of the Brauer group of elements trivialized by some étale cover of the moduli stack, up to a finite 2-torsion group.
We announce new methods for using prismatic cohomology to compute the K-groups of $\mathbb{Z}/p^n$ and related rings. We use computer algebra methods to compute these K-groups through a large range in specific cases and also obtain explicit formulas for their orders in large degrees.
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ł.
Using topological cyclic homology, we give a refinement of Beilinson's $p$-adic Goodwillie isomorphism between relative continuous $K$-theory and cyclic homology. As a result, we generalize results of Bloch-Esnault-Kerz and Beilinson on the $p$-adic deformations of $K$-theory classes. Furthermore, we prove structural results for the Bhatt-Morrow-Scholze filtration on $TC$ and identify the graded pieces with the syntomic cohomology of Fontaine-Messing.
We prove new results on splitting Brauer classes by genus 1 curves, settling in particular the case of degree 7 classes over global fields. Though our method is cohomological in nature, and proceeds by considering the more difficult problem of splitting $μ_N$-gerbes, we use crucial input from the arithmetic of modular curves and explicit $N$-descent on elliptic curves.
We study the problem of when triangulated categories admit unique infinity-categorical enhancements. Our results use Lurie's theory of prestable infinity-categories to give conceptual proofs of, and in many cases strengthen, previous work on the subject by Lunts--Orlov and Canonaco--Stellari. We also give a wide range of examples involving quasi-coherent sheaves, categories of almost modules, and local cohomology to illustrate the theory of prestable infinity-categories. Finally, we propose a theory of stable $n$-categories which would interpolate between triangulated categories and stable infinity-categories.
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.