Source author record

Jeremy Hahn

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AT math.KT math.AG math.GT math.NT math.SG

Catalog footprint

Research overview

11works

6topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

Crystallinity for syntomic cohomology, étale cohomology, and algebraic $K$ -theory

We prove for $n\geq c-1$ that the functor taking an animated ring $R$ to its mod $(p^c,v_1^{p^n})$ syntomic cohomology factors through the functor $R \mapsto R/p^{c(n+2)}$ , a phenomenon we term crystallinity for mod $(p^c,v_1^{p^n})$ syntomic cohomology. As an application, we completely and explicitly compute the mod $(p,v_1 ^{p^{n}-1})$ algebraic $K$ -theory of $\mathbb Z/p^{k}$ whenever $k \geq n+2$ and $p>2$ . As a second application, we deduce crystallinity for the mod $p^c$ syntomic complexes associated to smooth $p$ -adic formal schemes, and in particular for the Galois equivariant mod $p^c$ étale cohomologies of their adic generic fibers. Finally, we strengthen known $p$ -adic convergence theorems for the topological Hochschild homology of ring spectra, and as a result relate crystallinity for algebraic $K$ -theory to Lichtenbaum--Quillen theorems.

preprint2022arXiv

Exotic Multiplications on Periodic Complex Bordism

Victor Snaith gave a construction of periodic complex bordism by inverting the Bott element in the suspension spectrum of $BU$ . This presents an $\mathbb{E}_\infty$ structure on periodic complex bordism by different means than the usual Thom spectrum definition of the $\mathbb{E}_\infty$ -ring $MUP$ . Here, we prove that these two $\mathbb{E}_\infty$ -rings are in fact different, though the underlying $\mathbb{E}_2$ -rings are equivalent. Nonetheless, we prove that both rings $\mathbb{E}_\infty$ -orient $KU_2^{\wedge}$ and other forms of $K$ -theory.

preprint2022arXiv

Galois reconstruction of Artin-Tate $\mathbb{R}$ -motivic spectra

We explain how to reconstruct the category of Artin-Tate $\mathbb{R}$ -motivic spectra as a deformation of the purely topological $C_2$ -equivariant stable category. The special fiber of this deformation is algebraic, and equivalent to an appropriate category of $C_2$ -equivariant sheaves on the moduli stack of formal groups. As such, our results directly generalize the cofiber of $τ$ philosophy that has revolutionized classical stable homotopy theory. A key observation is that the Artin-Tate subcategory of $\mathbb{R}$ -motivic spectra is easier to understand than the previously studied cellular subcategory. In particular, the Artin-Tate category contains a variant of the $τ$ map, which is a feature conspicuously absent from the cellular category.

preprint2022arXiv

Inertia groups in the metastable range

We prove that the inertia groups of all sufficiently-connected, high-dimensional $(2n)$ -manifolds are trivial. This is a key step toward a general classification of manifolds in the metastable range. Specifically, for $m \gg 0$ and $k>5/12$ , suppose $M$ is a $\lfloor km \rfloor$ -connected, smooth, closed, oriented $m$ -manifold and $Σ$ is an exotic $m$ -sphere. We prove that, if $M \sharp Σ$ is diffeomorphic to $M$ , then $Σ$ bounds a parallelizable manifold. Our proof is built on an understanding of the second extended power functor in Pstrągowski's category of synthetic spectra.

preprint2022arXiv

Nilpotence in normed MGL-modules

We establish a motivic version of the May Nilpotence Conjecture: if E is a normed motivic spectrum that satisfies $E \wedge HZ \simeq 0$ , then also $E \wedge MGL \simeq 0$ . In words, motivic homology detects vanishing of normed modules over the algebraic cobordism spectrum.

preprint2022arXiv

On the boundaries of highly connected, almost closed manifolds

Building on work of Stolz, we prove for integers $0 \le d \le 3$ and $k>232$ that the boundaries of $(k-1)$ -connected, almost closed $(2k+d)$ -manifolds also bound parallelizable manifolds. Away from finitely many dimensions, this settles longstanding questions of C.T.C. Wall, determines all Stein fillable homotopy spheres, and proves a conjecture of Galatius and Randal-Williams. Implications are drawn for both the classification of highly connected manifolds and, via work of Kreck and Krannich, the calculation of their mapping class groups. Our technique is to recast the Galatius and Randal-Williams conjecture in terms of the vanishing of a certain Toda bracket, and then to analyze this Toda bracket by bounding its $\mathrm{H}\mathbb{F}_p$ -Adams filtrations for all primes $p$ . We additionally prove new vanishing lines in the $\mathrm{H}\mathbb{F}_p$ -Adams spectral sequences of spheres and Moore spectra, which are likely to be of independent interest. Several of these vanishing lines rely on an Appendix by Robert Burklund, which answers a question of Mathew about vanishing curves in $\mathrm{BP} \langle n \rangle$ -based Adams spectral sequences.

preprint2022arXiv

On the Bousfield classes of $H_\infty$ -ring spectra

We prove that any K(n)-acyclic, $D_p$ -ring spectrum is K(n+1)-acyclic, affirming an old conjecture of Mark Hovey.

preprint2022arXiv

Real topological Hochschild homology and the Segal conjecture

We give a new proof, independent of Lin's theorem, of the Segal conjecture for the cyclic group of order two. The key input is a calculation, as a Hopf algebroid, of the Real topological Hochschild homology of $\mathbb{F}_2$ . This determines the $\mathrm{E}_2$ -page of the descent spectral sequence for the map $\mathrm{N}\mathbb{F}_2 \to \mathbb{F}_2$ , where $\mathrm{N}\mathbb{F}_2$ is the $C_2$ -equivariant Hill--Hopkins--Ravenel norm of $\mathbb{F}_2$ . The $\mathrm{E}_2$ -page represents a new upper bound on the $RO(C_2)$ -graded homotopy of $\mathrm{N}\mathbb{F}_2$ , from which the Segal conjecture is an immediate corollary.

preprint2022arXiv

Redshift and multiplication for truncated Brown-Peterson spectra

We equip $\mathrm{BP} \langle n \rangle$ with an $\mathbb{E}_3$ - $\mathrm{BP}$ -algebra structure, for each prime $p$ and height $n$ . The algebraic $K$ -theory of this ring is of chromatic height exactly $n+1$ , and the map $\mathrm{K}(\mathrm{BP}\langle n \rangle)_{(p)} \to \mathrm{L}_{n+1}^{f} \mathrm{K}(\mathrm{BP}\langle n\rangle)_{(p)}$ has bounded above fiber.

preprint2021arXiv

Eilenberg-MacLane spectra as equivariant Thom spectra

We prove that the $G$ -equivariant mod $p$ Eilenberg--MacLane spectrum arises as an equivariant Thom spectrum for any finite, $p$ -power cyclic group $G$ , generalizing a result of Behrens and the second author in the case of the group $C_2$ . We also establish a construction of $\mathrm{H}\underline{\mathbb{Z}}_{(p)}$ , and prove intermediate results that may be of independent interest. Highlights include constraints on the Hurewicz images of equivariant spectra that admit norms, and an analysis of the extent to which the non-equivariant $\mathrm{H}\mathbb{F}_p$ arises as the Thom spectrum of a more than double loop map.

preprint2020arXiv

Real Orientations of Lubin-Tate Spectra

We show that Lubin-Tate spectra at the prime $2$ are Real oriented and Real Landweber exact. The proof is by application of the Goerss-Hopkins-Miller theorem to algebras with involution. For each height $n$ , we compute the entire homotopy fixed point spectral sequence for $E_n$ with its $C_2$ -action given by the formal inverse. We study, as the height varies, the Hurewicz images of the stable homotopy groups of spheres in the homotopy of these $C_2$ -fixed points.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Jeremy Hahn

Research overview

Is this your work?

11 publications

Crystallinity for syntomic cohomology, étale cohomology, and algebraic $K$ -theory

Exotic Multiplications on Periodic Complex Bordism

Galois reconstruction of Artin-Tate $\mathbb{R}$ -motivic spectra

Inertia groups in the metastable range

Nilpotence in normed MGL-modules

On the boundaries of highly connected, almost closed manifolds

On the Bousfield classes of $H_\infty$ -ring spectra

Real topological Hochschild homology and the Segal conjecture

Redshift and multiplication for truncated Brown-Peterson spectra

Eilenberg-MacLane spectra as equivariant Thom spectra

Real Orientations of Lubin-Tate Spectra

See the researcher in context

Building this map preview

Jeremy Hahn

Research overview

Is this your work?

11 publications

Crystallinity for syntomic cohomology, étale cohomology, and algebraic KKK-theory

Exotic Multiplications on Periodic Complex Bordism

Galois reconstruction of Artin-Tate R\mathbb{R}R-motivic spectra

Inertia groups in the metastable range

Nilpotence in normed MGL-modules

On the boundaries of highly connected, almost closed manifolds

On the Bousfield classes of H∞H_\inftyH∞​-ring spectra

Real topological Hochschild homology and the Segal conjecture

Redshift and multiplication for truncated Brown-Peterson spectra

Eilenberg-MacLane spectra as equivariant Thom spectra

Real Orientations of Lubin-Tate Spectra

See the researcher in context

Building this map preview

Crystallinity for syntomic cohomology, étale cohomology, and algebraic $K$ -theory

Galois reconstruction of Artin-Tate $\mathbb{R}$ -motivic spectra

On the Bousfield classes of $H_\infty$ -ring spectra