We introduce $F$-gauges over a prism, construct syntomic cycle classes, and prove the prismatic Poincaré duality for proper smooth schemes.

We prove a version of the Lefschetz hyperplane theorem for fppf cohomology with coefficients in any finite commutative group scheme over the ground field. As consequences, we establish new Lefschetz results for the Picard scheme.

The deepest arithmetic invariants attached to an algebraic variety defined over a number field $F$ are conjecturally captured by the integral part of its motivic cohomology. There are essentially two ways of defining it when $X$ is a smooth projective variety: one is via the $K$-theory of a regular integral model, the other is through its $\ell$-adic realization. Both approaches are conjectured to coincide. This paper initiates the study of motivic cohomology for global fields of positive characteristic, hereafter named $A$-motivic cohomology, where classical mixed motives are replaced by mixed Anderson $A$-motives. Our main objective is to set the definitions of the integral part and the good $\ell$-adic part of the $A$-motivic cohomology using Gardeyn's notion of maximal models as the analogue of regular integral models of varieties. Our main result states that the integral part is contained in the good $\ell$-adic part. As opposed to what is expected in the number field setting, we show that the two approaches do not match in general. We conclude this work by introducing the submodule of regulated extensions of mixed Anderson $A$-motives, for which we expect the two approaches to match, and solve some particular cases of this expectation.

We prove the Singer conjecture for varieties with semismall Albanese map and residually finite fundamental group.

We introduce the notion of completed $F$-crystals on the absolute prismatic site of a smooth $p$-adic formal scheme. We define a functor from the category of completed prismatic $F$-crystals to that of crystalline étale $\mathbf {Z}_p$-local systems on the generic fiber of the formal scheme and show that it gives an equivalence of categories. This generalizes the work of Bhatt and Scholze, which treats the case of a mixed characteristic complete discrete valuation ring with perfect residue field.

Faltings ringed topos, the keystone of Faltings’ approach to p-adic Hodge theory for a smooth variety over a local field, relies on the choice of an integral model, and its good properties depend on the (logarithmic) smoothness of this model. Inspired by Deligne’s approach to classical Hodge theory for singular varieties, we establish a cohomological descent result for the structural sheaf of Faltings topos, which makes it possible to extend Faltings’ approach to any integral model, that is, without any smoothness assumption. An essential ingredient of our proof is a variation of Bhatt–Scholze’s arc-descent of perfectoid rings.

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.