SearcharxivSearch

arXiv subjects

Maximilian Hauck

Publications and source records attributed to Maximilian Hauck.

7 recordsLinked to original sources

Rational analytic syntomic cohomology

We define and study the rational analytic syntomification $X^{\mathrm{Syn}}$ of a partially proper rigid-analytic variety $X$ over $\mathbb{Q}_p$. We establish Poincaré duality and a theory of first Chern classes for the resulting cohomology theory, identify vector bundles on $X^{\mathrm{Syn}}$ with de Rham bundles on the Fargues--Fontaine curve of $X^{\diamondsuit}$ and recover several classical comparison theorems in $p$-adic Hodge theory. We also develop analogues of our results and constructions over $\mathbb{C}_p$.

math.AG

The Abel--Jacobi map over the twistor-$\mathbb{P}^1$ and real local class field theory

We study the Abel--Jacobi map over the twistor-$\mathbb{P}^1$ in the context of Scholze's geometrisation of the real local Langlands correspondence. In a similar spirit to a result of Fargues over the Fargues--Fontaine curve, we prove that pullback along the Abel--Jacobi map induces an equivalence on Picard groupoids and use this to recover local class field theory for archimedean local fields.

math.RT

A stacky comparison of the Hodge and Nygaard filtrations

We use the approach to $p$-adic cohomology theories via stacks recently developed by Drinfeld and Bhatt--Lurie to formulate a stacky version of a comparison result between the Nygaard filtration on prismatic cohomology and the Hodge filtration on de Rham cohomology by Bhatt--Lurie and thereby also obtain a generalisation in the case of smooth and proper $p$-adic formal schemes which allows for coefficients in an arbitrary gauge. In the process, we develop a stacky approach to diffracted Hodge cohomology as introduced by Bhatt--Lurie which also captures the conjugate filtration and the Sen operator. In the appendix, we also introduce a stack computing the conjugate filtration on absolute Hodge--Tate cohomology.

math.AG

An arithmetic étale-crystalline comparison with coefficients in crystalline local systems

We use the stacky approach to $p$-adic cohomology theories recently developed by Drinfeld and Bhatt--Lurie to generalise a comparison theorem between the rational crystalline cohomology of the special fibre and the rational $p$-adic étale cohomology of the arithmetic generic fibre of any proper $p$-adic formal scheme $X$ due to Colmez--Niziol to the case of coefficients in an arbitrary crystalline local system on the generic fibre of $X$. In the process, we establish a version of the Beilinson fibre square of Antieau--Mathew--Morrow--Nikolaus with coefficients in the proper case and prove a comparison between syntomic cohomology and $p$-adic étale cohomology with coefficients in an arbitrary $F$-gauge. Our methods also yield a description of the isogeny category of perfect $F$-gauges on $\mathbb{Z}_p$.

math.AG

A faster method to construct extraspecial normaliser subgroups

We show how to improve the runtime of the construction of generators of maximal subgroups of $\operatorname{SL}(d, q), \operatorname{SU}(d, q)$ and $\operatorname{Sp}(d, q)$ which arise as normalisers of extraspecial groups or $2$-groups of symplectic type given by Holt and Roney-Dougal (2005) from $O(d^3\log d\log q+\log^2 q)$ to $O(d^2\log d\log^{1+\varepsilon} q+\log^{2+\varepsilon} q)$.

math.GR

A stacky approach to $p$-adic Hodge theory

We use the stacky approach to $p$-adic cohomology theories recently developed by Drinfeld and Bhatt--Lurie to generalise known comparison theorems in $p$-adic Hodge theory so as to accommodate coefficients. More precisely, we establish a comparison between the rational crystalline cohomology of the special fibre and the rational $p$-adic étale cohomology of the arithmetic generic fibre of any proper $p$-adic formal scheme $X$ which allows for coefficients in any crystalline local system on the generic fibre of $X$; moreover, we also prove a comparison between the Nygaard filtration and the Hodge filtration for coefficients in an arbitrary gauge in the sense of Bhatt--Lurie. In the process, we develop a stacky approach to diffracted Hodge cohomology as introduced by Bhatt--Lurie, establish a version of the Beilinson fibre square of Antieau--Mathew--Morrow--Nikolaus with coefficients in the proper case and prove a comparison between syntomic cohomology and $p$-adic étale cohomology with coefficients in an arbitrary $F$-gauge. This work is the author's master's thesis at the University of Bonn.

math.AG