BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Andrew Senger

Andrew Senger contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.ATmath.AGmath.GTmath.KTmath.NTmath.SG

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
7works
0followers
6topics
3close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

7 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

How Big are the Stable Homotopy Groups of Spheres?

In this article we show that the $p$-torsion exponent of the stable stems grows sublinearly in $n$ and the $p$-rank of the $E_2$-page of the Adams spectral sequence grows as $\exp(Θ( \log(n)^3))$. Together these bounds provide the first subexponential bound on the size of the stable stems. Conversely, we prove that a certain, precise, version of the failure of the telescope conjecture would imply that the upper bound provided by the Adams $E_2$-page is essentially sharp -- answering the titular question: As big as the fate of the telescope conjecture demands. In an appendix joint with Andrew Senger we consider the unstable analog of this question. Bootstrapping from the stable bounds we prove that the size of the $p$-local homotopy groups of spheres grows like $\exp(O(\log(n)^3))$, providing the first subexponential bound on the size of the unstable stems.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Obstruction theory and the level $n$ elliptic genus

Given a height $\leq 2$ Landweber exact $\mathbb{E}_\infty$-ring $E$ whose homotopy is concentrated in even degrees, we show that any complex orientation of $E$ which satisfies the Ando criterion admits a unique lift to an $\mathbb{E}_\infty$-complex orientation $\mathrm{MU} \to E$. As a consequence, we give a short proof that the level $n$ elliptic genus lifts uniquely to an $\mathbb{E}_\infty$-complex orientation $\mathrm{MU} \to \mathrm{tmf}_1 (n)$ for all $n \geq 2$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

The Brown-Peterson spectrum is not $\mathbb{E}_{2(p^2+2)}$ at odd primes

We show that the odd-primary Brown-Peterson spectrum $\mathrm{BP}$ does not admit the structure of an $\mathbb{E}_{2(p^2+2)}$ ring spectrum and that there can be no map $\mathrm{MU} \to \mathrm{BP}$ of $\mathbb{E}_{2p+3}$ ring spectra. We also prove the same results for truncated Brown-Peterson spectra $\mathrm{BP} \langle n \rangle$ of height $n \geq 4$. This extends results of Lawson at the prime $2$.

0 citations0 reviewsNo code linkedOpen access