We prove that the Hodge–Tate spectral sequence of a proper smooth rigid analytic variety can be reconstructed from its infinitesimal $\mathbb{B}_{\text{dR}}^+$-cohomology through the Bialynicki–Birula map. We also give a new proof of the torsion-freeness of the infinitesimal $\mathbb{B}_{\text{dR}}^+$-cohomology independent of Conrad–Gabber spreading theorem, and a conceptual explanation that the degeneration of Hodge–Tate spectral sequences is equivalent to that of Hodge–de Rham spectral sequences.

Let $C\; : \;y^2=f(x)$ be a hyperelliptic curve of genus $g\geq 1$, defined over a complete discretely valued field $K$, with ring of integers $O_K$. Under certain conditions on $C$, mild when residue characteristic is not $2$, we explicitly construct the minimal regular model with normal crossings $\mathcal{C}/O_K$ of $C$. In the same setting we determine a basis of integral differentials of $C$, that is an $O_K$-basis for the global sections of the relative dualising sheaf $\omega _{\mathcal{C}/O_K}$.

We give explicit presentations of the integral equivariant cohomology of the affine Grassmannians and flag varieties in type A, arising from their natural embeddings in the corresponding infinite (Sato) Grassmannian and flag variety. These presentations are compared with results obtained by Lam and Shimozono, for rational equivariant cohomology of the affine Grassmannian, and by Larson, for the integral cohomology of the moduli stack of vector bundles on .

We exhibit the Hodge degeneration from nonabelian Hodge theory as a $2$-fold delooping of the filtered loop space $E_2$-groupoid in formal moduli problems. This is an iterated groupoid object which in degree $1$ recovers the filtered circle $S^1_{fil}$ of [MRT22]. This exploits a hitherto unstudied additional piece of structure on the topological circle, that of an $E_2$-cogroupoid object in the $\infty $-category of spaces. We relate this cogroupoid structure with the more commonly studied ‘pinch map’ on $S^1$, as well as the Todd class of the Lie algebroid $\mathbb {T}_{X}$; this is an invariant of a smooth and proper scheme X that arises, for example, in the Grothendieck-Riemann-Roch theorem. In particular, we relate the existence of nontrivial Todd classes for schemes to the failure of the pinch map to be formal in the sense of rational homotopy theory. Finally, we record some consequences of this bit of structure at the level of Hochschild cohomology.

To understand the p-adic étale cohomology of a proper smooth variety over a p-adic field, Faltings compared it to the cohomology of his ringed topos, by the so-called Faltings’ main p-adic comparison theorem, and then deduced various comparisons with p-adic cohomologies originating from differential forms. In this article, we generalize the former to any proper and finitely presented morphism of coherent schemes over an absolute integral closure of $\mathbb {Z}_p$ (without any smoothness assumption) for torsion abelian étale sheaves (not necessarily finite locally constant). Our proof relies on our cohomological descent for Faltings’ ringed topos, using a variant of de Jong’s alteration theorem for morphisms of schemes due to Gabber–Illusie–Temkin to reduce to the relative case of proper log-smooth morphisms of log-smooth schemes over a complete discrete valuation ring proved by Abbes–Gros. A by-product of our cohomological descent is a new construction of Faltings’ comparison morphism, which does not use Achinger’s results on $K(\pi ,1)$-schemes.

We prove that after inverting the Planck constant $h$, the Bezrukavnikov–Kaledin quantization $(X, {\mathcal {O}}_h)$ of symplectic variety $X$ in characteristic $p$ with $H^2(X, {\mathcal {O}}_X) =0$ is Morita equivalent to a certain central reduction of the algebra of differential operators on $X$.

In this article, we establish the Grothendieck–Serre conjecture over valuation rings: for a reductive group scheme $G$ over a valuation ring $V$ with fraction field $K$, a $G$-torsor over $V$ is trivial if it is trivial over $K$. This result is predicted by the original Grothendieck–Serre conjecture and the resolution of singularities. The novelty of our proof lies in overcoming subtleties brought by general nondiscrete valuation rings. By using flasque resolutions and inducting with local cohomology, we prove a non-Noetherian counterpart of Colliot-Thélène–Sansuc's case of tori. Then, taking advantage of techniques in algebraization, we obtain the passage to the Henselian rank-one case. Finally, we induct on Levi subgroups and use the integrality of rational points of anisotropic groups to reduce to the semisimple anisotropic case, in which we appeal to properties of parahoric subgroups in Bruhat–Tits theory to conclude. In the last section, by using extension properties of reflexive sheaves on formal power series over valuation rings and patching of torsors, we prove a variant of Nisnevich's purity conjecture.

We prove that the $p^\infty$-torsion of the transcendental Brauer group of an abelian variety over a finitely generated field of characteristic $p>0$ is bounded. This answers a (variant of a) question asked by Skorobogatov and Zarhin for abelian varieties. To do this, we prove a ‘flat Tate conjecture’ for divisors. We also study other geometric Galois-invariant $p^\infty$-torsion classes of the Brauer group which are not in the transcendental Brauer group. These classes, in contrast with our main theorem, can be infinitely $p$-divisible. We explain how the existence of these $p$-divisible towers is naturally related to the failure of surjectivity of specialisation morphisms of Néron–Severi groups in characteristic $p$.

For homogeneous polynomials $G_1,\ldots ,G_k$ over a finite field, their Dwork complex is defined by Adolphson and Sperber, based on Dwork’s theory. In this article, we will construct an explicit cochain map from the Dwork complex of $G_1,\ldots ,G_k$ to the Monsky–Washnitzer complex associated with some affine bundle over the complement $\mathbb {P}^n\setminus X_G$ of the common zero $X_G$ of $G_1,\ldots ,G_k$, which computes the rigid cohomology of $\mathbb {P}^n\setminus X_G$. We verify that this cochain map realizes the rigid cohomology of $\mathbb {P}^n\setminus X_G$ as a direct summand of the Dwork cohomology of $G_1,\ldots ,G_k$. We also verify that the comparison map is compatible with the Frobenius and the Dwork operator defined on both complexes, respectively. Consequently, we extend Katz’s comparison results in [19] for projective hypersurface complements to arbitrary projective complements.

We prove a Tannakian form of Drinfeld's lemma for isocrystals on a variety over a finite field, equipped with actions of partial Frobenius operators. This provides an intermediate step towards transferring V. Lafforgue's work on the Langlands correspondence over function fields from $\ell$-adic to $p$-adic coefficients. We also discuss a motivic variant and a local variant of Drinfeld's lemma.

We prove a large finite field version of the Boston–Markin conjecture on counting Galois extensions of the rational function field with a given Galois group and the smallest possible number of ramified primes. Our proof involves a study of structure groups of (direct products of) racks.

We prove analogues of Schur’s lemma for endomorphisms of extensions in Tannakian categories. More precisely, let $\mathbf {T}$ be a neutral Tannakian category over a field of characteristic zero. Let E be an extension of A by B in $\mathbf {T}$. We consider conditions under which every endomorphism of E that stabilises B induces a scalar map on $A\oplus B$. We give a result in this direction in the general setting of arbitrary $\mathbf {T}$ and E, and then a stronger result when $\mathbf {T}$ is filtered and the associated graded objects to A and B satisfy some conditions. We also discuss the sharpness of the results.

Hyperelliptic mapping class groups are defined either as the centralizers of hyperelliptic involutions inside mapping class groups of oriented surfaces of finite type or as the inverse images of these centralizers by the natural epimorphisms between mapping class groups of surfaces with marked points. We study these groups in a systematic way. An application of this theory is a counterexample to the genus $2$ case of a conjecture by Putman and Wieland on virtual linear representations of mapping class groups. In the last section, we study profinite completions of hyperelliptic mapping class groups: we extend the congruence subgroup property to the general class of hyperelliptic mapping class groups introduced above and then determine the centralizers of multitwists and of open subgroups in their profinite completions.

The well-studied moduli space of complex cubic surfaces has three different, but isomorphic, compact realizations: as a GIT quotient ${\mathcal {M}}^{\operatorname {GIT}}$, as a Baily–Borel compactification of a ball quotient ${(\mathcal {B}_4/\Gamma )^*}$, and as a compactified K-moduli space. From all three perspectives, there is a unique boundary point corresponding to non-stable surfaces. From the GIT point of view, to deal with this point, it is natural to consider the Kirwan blowup ${\mathcal {M}}^{\operatorname {K}}\rightarrow {\mathcal {M}}^{\operatorname {GIT}}$, whereas from the ball quotient point of view, it is natural to consider the toroidal compactification ${\overline {\mathcal {B}_4/\Gamma }}\rightarrow {(\mathcal {B}_4/\Gamma )^*}$. The spaces ${\mathcal {M}}^{\operatorname {K}}$ and ${\overline {\mathcal {B}_4/\Gamma }}$ have the same cohomology, and it is therefore natural to ask whether they are isomorphic. Here, we show that this is in fact not the case. Indeed, we show the more refined statement that ${\mathcal {M}}^{\operatorname {K}}$ and ${\overline {\mathcal {B}_4/\Gamma }}$ are equivalent in the Grothendieck ring, but not K-equivalent. Along the way, we establish a number of results and techniques for dealing with singularities and canonical classes of Kirwan blowups and toroidal compactifications of ball quotients.

Structures where we have both a contravariant (pullback) and a covariant (pushforward) functoriality that satisfy base change can be encoded by functors out of ($\infty$-)categories of spans (or correspondences). In this paper, we study the more complicated setup where we have two pushforwards (an ‘additive’ and a ‘multiplicative’ one), satisfying a distributivity relation. Such structures can be described in terms of bispans (or polynomial diagrams). We show that there exist $(\infty,2)$-categories of bispans, characterized by a universal property: they corepresent functors out of $\infty$-categories of spans where the pullbacks have left adjoints and certain canonical 2-morphisms (encoding base change and distributivity) are invertible. This gives a universal way to obtain functors from bispans, which amounts to upgrading ‘monoid-like’ structures to ‘ring-like’ ones. For example, symmetric monoidal $\infty$-categories can be described as product-preserving functors from spans of finite sets, and if the tensor product is compatible with finite coproducts our universal property gives the canonical semiring structure using the coproduct and tensor product. More interestingly, we encode the additive and multiplicative transfers on equivariant spectra as a functor from bispans in finite $G$-sets, extend the norms for finite étale maps in motivic spectra to a functor from certain bispans in schemes, and make $\mathrm {Perf}(X)$ for $X$ a spectral Deligne–Mumford stack a functor of bispans using a multiplicative pushforward for finite étale maps in addition to the usual pullback and pushforward maps. Combining this with the polynomial functoriality of $K$-theory constructed by Barwick, Glasman, Mathew, and Nikolaus, we obtain norms on algebraic $K$-theory spectra.

Let $p$ be a prime number, $k$ a finite field of characteristic $p>0$ and $K/k$ a finitely generated extension of fields. Let $A$ be a $K$-abelian variety such that all the isogeny factors are neither isotrivial nor of $p$-rank zero. We give a necessary and sufficient condition for the finite generation of $A(K^{\mathrm {perf}})$ in terms of the action of $\mathrm {End}(A)\otimes \mathbb {Q}_p$ on the $p$-divisible group $A[p^{\infty }]$ of $A$. In particular, we prove that if $\mathrm {End}(A)\otimes \mathbb {Q}_p$ is a division algebra, then $A(K^{\mathrm {perf}})$ is finitely generated. This implies the ‘full’ Mordell–Lang conjecture for these abelian varieties. In addition, we prove that all the infinitely $p$-divisible elements in $A(K^{\mathrm {perf}})$ are torsion. These reprove and extend previous results to the non-ordinary case.

We observe that, in the eta-periodic motivic stable homotopy category, odd rank vector bundles behave to some extent as if they had a nowhere vanishing section. We discuss some consequences concerning $\operatorname {\mathrm {SL}}^c$-orientations of motivic ring spectra and the étale classifying spaces of certain algebraic groups. In particular, we compute the classifying spaces of diagonalisable groups in the eta-periodic motivic stable homotopy category.

We investigate the maximal finite length submodule of the Breuil–Kisin prismatic cohomology of a smooth proper formal scheme over a $p$-adic ring of integers. This submodule governs pathology phenomena in integral $p$-adic cohomology theories. Geometric applications include a control, in low degrees and mild ramifications, of (1) the discrepancy between two naturally associated Albanese varieties in characteristic $p$, and (2) the kernel of the specialization map in $p$-adic étale cohomology. As an arithmetic application, we study the boundary case of the theory due to Fontaine and Laffaille, Fontaine and Messing, and Kato. Also included is an interesting example, generalized from a construction in Bhatt, Morrow and Scholze's work, which illustrates some of our theoretical results being sharp, and negates a question of Breuil.

We develop an effective version of the Chabauty–Kim method which gives explicit upper bounds on the number of $S$-integral points on a hyperbolic curve in terms of dimensions of certain Bloch–Kato Selmer groups. Using this, we give a new ‘motivic’ proof that the number of solutions to the $S$-unit equation is bounded uniformly in terms of $\#S$.

We study the Hodge and weight filtrations on the localization along a hypersurface, using methods from birational geometry and the V-filtration induced by a local defining equation. These filtrations give rise to ideal sheaves called weighted Hodge ideals, which include the adjoint ideal and a multiplier ideal. We analyze their local and global properties, from which we deduce applications related to singularities of hypersurfaces of smooth varieties.