BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Benjamin Antieau contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
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ł.
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.
We prove descent theorems for semiorthogonal decompositions using techniques from derived algebraic geometry. Our methods allow us to capture more general filtrations of derived categories and even marked filtrations, where one descends not only admissible subcategories but also preferred objects.
We construct and study a t-structure on p-typical cyclotomic spectra and explain how to recover crystalline cohomology of smooth schemes over perfect fields using this t-structure. Our main tool is a new approach to p-typical cyclotomic spectra via objects we call p-typical topological Cartier modules. Using these, we prove that the heart of the cyclotomic t-structure is the full subcategory of derived V-complete objects in the abelian category of p-typical Cartier modules.
We prove the topological analogue of the period-index conjecture in each dimension away from a small set of primes.
We give three proofs that valuation rings are derived splinters: a geometric proof using the absolute integral closure, a homological proof which reduces the problem to checking that valuation rings are splinters (which is done in the second author's PhD thesis and which we reprise here), and a proof by approximation which reduces the problem to Bhatt's proof of the derived direct summand conjecture. The approximation property also shows that smooth algebras over valuation rings are splinters.
The standard period-index conjecture for the Brauer group of a field of transcendence degree 2 over a $p$-adic field predicts that the index divides the cube of the period. Using Gabber's theory of prime-to-$\ell$ alterations and the deformation theory of twisted sheaves, we prove that the index divides the fourth power of the period for every Brauer class whose period is prime to $6p$, giving the first uniform period-index bounds over such fields.