Publications
-
The Adams differentials on the classes h_j^3
with Zhouli Xu
[Invent. Math.]
[arxiv]
In filtration 1 of the Adams spectral sequence, using secondary cohomology operations, Adams computed the differentials on the classes h_j, resolving the Hopf invariant one problem. In Adams filtration 2, using equivariant and chromatic homotopy theory, Hill--Hopkins--Ravenel proved that the classes h_j^2 support non-trivial differentials for j ≥ 7, resolving the celebrated Kervaire invariant one problem. The precise differentials on the classes h_j^2 for j ≥ 7 and the fate of h_6^2 remains unknown. In this paper, in Adams filtration 3, we prove an infinite family of non-trivial d_4-differentials on the classes h_j^3 for j ≥ 6, confirming a conjecture of Mahowald. Our proof uses two different deformations of stable homotopy theory---C-motivic stable homotopy theory and F_2-synthetic homotopy theory---both in an essential way. Along the way, we also show that h_j^2 survives to the Adams E_5-page and that h_6^2 survives to the Adams E_9-page.
-
Inertia groups in the metastable range
with Jeremy Hahn and Andrew Senger
[Amer. J. Math.]
[arxiv]
We prove that the inertia groups of all sufficiently-connected, high-dimensional (2n)-manifolds are trivial. Specifically, for m≫0 and k>5/12, suppose M is a (km)-connected, smooth, closed, oriented m-manifold and Σ is an exotic m-sphere. We prove that, if M#Σ is diffeomorphic to M, then Σ bounds a parallelizable manifold. Our proof is an application of higher algebra in Pstragowski's category of synthetic spectra, and builds on previous work of the authors.
-
The chromatic nullstellensatz
with Tomer Schlank and Allen Yuan
[Ann. of Math. (2)]
[arxiv]
We show that Lubin--Tate theories attached to algebraically closed fields are characterized among T(n)-local E_infty-rings as those that satisfy an analogue of Hilbert's Nullstellensatz. Furthermore, we show that for every T(n)-local E_infty-ring R, the collection of E_infty-ring maps from R to such Lubin--Tate theories jointly detect nilpotence. In particular, we deduce that every non-zero T(n)-local E_infty-ring R admits an E_infty-ring map to such a Lubin--Tate theory. As consequences, we construct E_infty complex orientations of algebraically closed Lubin--Tate theories, compute the strict Picard spectra of such Lubin--Tate theories, and prove redshift for the algebraic K-theory of arbitrary E_infty-rings.
-
On the high-dimensional geography problem
with Andrew Senger
[Geom. Topol.]
[arxiv]
In 1962, Wall showed that smooth, closed, oriented, (n-1)-connected 2n-manifolds of dimension at least 6 are classified up to connected sum with an exotic sphere by an algebraic refinement of the intersection form which he called an n-space. In this paper, we complete the determination of which n-spaces are realizable by smooth, closed, oriented, (n-1)-connected 2n-manifolds for all n≠63. In dimension 126 the Kervaire invariant one problem remains open. Along the way, we completely resolve conjectures of Galatius-Randal-Williams and Bowden-Crowley-Stipsicz, showing that they are true outside of the exceptional dimension 23, where we provide a counterexample. This counterexample is related to the Witten genus and its refinement to a map of Einfty-ring spectra by Ando-Hopkins-Rezk. By previous work of many authors, including Wall, Schultz, Stolz and Hill-Hopkins-Ravenel, as well as recent joint work of Hahn with the authors, these questions have been resolved for all but finitely many dimensions, and the contribution of this paper is to fill in these gaps.
-
On the K-theory of regular coconnective rings
with Ishan Levy
[Selecta Math. (N.S.)]
[arxiv]
We show that for a coconnective ring spectrum satisfying regularity and flatness assumptions, its algebraic K-theory agrees with that of its pi_0. We prove this as a consequence of a more general devissage result for stable infinity categories. Applications of our result include giving general conditions under which K-theory preserves pushouts, generalizations of An-invariance of K-theory, and an understanding of the K-theory of categories of unipotent local systems.
-
Adams-type maps are not stable under composition
with Ishan Levy and Piotr Pstragowski
[Proc. Amer. Math. Soc.]
[arxiv]
We give a simple counterexample to the plausible conjecture that Adams-type maps of ring spectra are stable under composition. We then show that over a field, this failure is quite extreme, as any map of E_infty-algebras is a transfinite composition of Adams-type maps.
-
On the boundaries of highly connected, almost closed manifolds
with Jeremy Hahn and Andrew Senger
[Acta Math.]
[arxiv]
Building on work of Stolz, we prove for integers 0 ≤ d ≤ 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 F_p-Adams filtrations for all primes p. We additionally prove new vanishing lines in the 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 BP<n>-based Adams spectral sequences.
-
An extension in the Adams spectral sequence in dimension 54
[Bull. Lond. Math. Soc.]
[arxiv]
We establish a hidden extension in the Adams spectral sequence converging to the stable homotopy groups of spheres at the prime 2 in the 54-stem. This extension is exceptional in that the only proof we know proceeds via Pstragowski's category of synthetic spectra. This was the final unresolved hidden 2-extension in the Adams spectral sequence through dimension 80. We hope this provides a concise demonstration of the computational leverage provided by F_2-synthetic spectra.
-
The trace of the local A1-degree
with Thomas Brazelton, Stephen McKean, Michael Montoro and Morgan Opie
[Homology Homotopy Appl.]
[arxiv]
We prove that the local A1-degree of a polynomial function at an isolated zero with finite separable residue field is given by the trace of the local A1-degree over the residue field. This fact was originally suggested by Morel's work on motivic transfers, and by Kass and Wickelgren's work on the Scheja-Storch bilinear form. As a corollary, we generalize a result of Kass and Wickelgren relating the Scheja-Storch form and the local A1-degree.
|