Let X be a smooth proper rigid analytic space over a complete algebraically closed field extension K of $\mathbb {Q}_p$. We establish a Hodge–Tate decomposition for X with G-coefficients, where G is any commutative locally p-divisible rigid group. This generalizes the Hodge–Tate decomposition of Faltings and Scholze, which is the case $G=\mathbb {G}_a$. For this, we introduce geometric analogs of the Hodge–Tate spectral sequence with general locally p-divisible coefficients. We prove that these spectral sequences degenerate at $E_2$. Our results apply more generally to a class of smooth families of commutative adic groups over X and in the relative setting of smooth proper morphisms $X\rightarrow S$ of seminormal rigid spaces. We deduce applications to analytic Brauer groups and the geometric p-adic Simpson correspondence.

In this article, we classify irregular threefolds with numerically trivial canonical divisors in positive characteristic. For a threefold, if its Albanese dimension is not maximal, then the Albanese morphism will induce a fibration which either maps to a curve or is fibered by curves. In practice, we treat arbitrary dimensional irregular varieties with either one-dimensional Albanese fiber or one-dimensional Albanese image. We prove that such a variety carries another fibration transversal to its Albanese morphism (a “bi-fibration” structure), which is an analog structure of bielliptic or quasi-bielliptic surfaces. In turn, we give an explicit description of irregular threefolds with trivial canonical divisors.

For a complete discrete valuation field K, we show that one may always glue a separated formal algebraic space $\mathfrak {X}$ over $\mathcal {O}_K$ to a separated algebraic space U over K along an open immersion of rigid spaces $j\colon \mathfrak {X}^{\mathrm {rig}}\to U^{\mathrm {an}}$, producing a separated algebraic space X over $\mathcal {O}_K$. This process gives rise to an equivalence between such ‘gluing triples’ $(U,\mathfrak {X},j)$ and separated algebraic spaces X over $\mathcal {O}_K$, which one might interpret as a version of the Beauville–Laszlo theorem for algebraic spaces rather than coherent sheaves. Moreover, an analogous equivalence exists over any excellent base. Examples due to Matsumoto imply that the result of such a gluing might be a genuine algebraic space (not a scheme) even if U and the special fibre of $\mathfrak {X}$ are projective. The proof is a combination of the Nagata compactification theorem for algebraic spaces and of Artin’s contraction theorem. We give multiple examples and applications of this idea.

This work concerns generators for the bounded derived category of coherent sheaves over a noetherian scheme X of prime characteristic. The main result is that when the Frobenius map on X is finite, for any compact generator G of $\mathsf {D}(X)$ the Frobenius pushforward $F ^e_*G$ generates the bounded derived category whenever $p^e$ is larger than the codepth of X, an invariant that is a measure of the singularity of X. The conclusion holds for all positive integers e when X is locally complete intersection. The question of when one can take $G=\mathcal {O}_X$ is also investigated. For smooth projective complete intersections it reduces to a question of generation of the Kuznetsov component.

Inspired by Bhatt–Scholze [BS22], in this article, we introduce prismatic cohomology for rigid analytic spaces with l.c.i. singularities, with coefficients over Fontaine’s de Rham period ring ${\mathrm {B_{dR}^+}}$.

We prove an André–Oort-type result for a family of hypersurfaces in ${\mathbb{C}}^n$ that is both uniform and effective. Let $K_*$ denote the single exceptional imaginary quadratic field which occurs in the Siegel–Tatuzawa lower bound for the class number. We prove that, for $m, n \in {\mathbb{Z}}_{\gt0}$, there exists an effective constant $c(m, n)\gt0$ with the following property: if pairwise distinct singular moduli $x_1, \ldots, x_n$ with respective discriminants $\Delta_1, \ldots, \Delta_n$ are such that $a_1 x_1^m + \cdots + a_n x_n^m \in {\mathbb{Q}}$ for some $a_1, \ldots, a_n \in {\mathbb{Q}} \setminus \{0\}$ and $\# \{ \Delta_i \;:\; {\mathbb{Q}}(\sqrt{\Delta_i}) = K_*\} \leq 1$, then $\max_i \lvert \Delta_i \rvert \leq c(m, n)$. In addition, we prove an unconditional and completely explicit version of this result when $(m, n) = (1, 3)$ and thereby determine all the triples $(x_1, x_2, x_3)$ of singular moduli such that $a_1 x_1 + a_2 x_2 + a_3 x_3 \in {\mathbb{Q}}$ for some $a_1, a_2, a_3 \in {\mathbb{Q}} \setminus \{0\}$.

We consider the countably many families $\mathcal {L}_d$, $d\in \mathbb {N}_{\geq 2}$, of K3 surfaces admitting an elliptic fibration with positive Mordell–Weil rank. We prove that the elliptic fibrations on the very general member of these families have the potential Mordell–Weil rank jump property for $d\neq 2,3$ and moreover the Mordell–Weil rank jump property for $d\equiv 3\ \mod 4$, $d\neq 3$. We provide explicit examples and discuss some extensions to subfamilies. The result is based on the geometric interaction between the (potential) Mordell–Weil rank jump property and the presence of special multisections of the fibration.

In this paper, we study the cohomology of the unitary unramified PEL Rapoport-Zink space of signature $(1,n-1)$ at hyperspecial level. Our method revolves around the spectral sequence associated to the open cover by the analytical tubes of the closed Bruhat-Tits strata in the special fiber, which were constructed by Vollaard and Wedhorn. The cohomology of these strata, which are isomorphic to generalized Deligne-Lusztig varieties, has been computed in an earlier work. This spectral sequence allows us to prove the semisimplicity of the Frobenius action and the non-admissibility of the cohomology in general. Via p-adic uniformization, we relate the cohomology of the Rapoport-Zink space to the cohomology of the supersingular locus of a Shimura variety with no level at p. In the case $n=3$ or $4$, we give a complete description of the cohomology of the supersingular locus in terms of automorphic representations.

We prove a general likely intersections theorem, a counterpart to the Zilber-Pink conjectures, under the assumption that the Ax-Schanuel property and some mild additional conditions are known to hold for a given category of complex quotient spaces definable in some fixed o-minimal expansion of the ordered field of real numbers.

For an instance of our general result, consider the case of subvarieties of Shimura varieties. Let S be a Shimura variety. Let $\pi :D \to \Gamma \backslash D = S$ realize S as a quotient of D, a homogeneous space for the action of a real algebraic group G, by the action of $\Gamma < G$, an arithmetic subgroup. Let $S' \subseteq S$ be a special subvariety of S realized as $\pi (D')$ for $D' \subseteq D$ a homogeneous space for an algebraic subgroup of G. Let $X \subseteq S$ be an irreducible subvariety of S not contained in any proper weakly special subvariety of S. Assume that the intersection of X with $\pi (gD')$ is persistently likely as g ranges through G with $\pi (gD')$ a special subvariety of S, meaning that whenever $\zeta :S_1 \to S$ and $\xi :S_1 \to S_2$ are maps of Shimura varieties (regular maps of varieties induced by maps of the corresponding Shimura data) with $\zeta $ finite, $\dim \xi \zeta ^{-1} X + \dim \xi \zeta ^{-1} \pi (gD') \geq \dim \xi S_1$. Then $X \cap \bigcup _{g \in G, \pi (g D') \text { is special }} \pi (g D')$ is dense in X for the Euclidean topology.

Considérons un espace de Berkovich sur un bon anneau de Banach et la droite projective relative sur celui-ci. (C’est un espace dont les fibres sont des droites projectives sur différents corps valués complets.) Pour tout endomorphisme polarisé de cette droite, nous montrons que la famille des mesures d’équilibre associées aux restrictions de l’endomorphisme aux fibres est continue. Le résultat vaut, par exemple, lorsque l’anneau de Banach est un corps valué complet, un corps hybride, un anneau de valuation discrète complet ou un anneau d’entiers de corps de nombres.

The descent method is one of the approaches to study the Brauer–Manin obstruction to the local–global principle and to weak approximation on varieties over number fields, by reducing the problem to ‘descent varieties’. In recent lecture notes by Wittenberg, he formulated a ‘descent conjecture’ for torsors under linear algebraic groups. The present article gives a proof of this conjecture in the case of connected groups, generalizing the toric case from the previous work of Harpaz–Wittenberg. As an application, we deduce directly from Sansuc’s work the theorem of Borovoi for homogeneous spaces of connected linear algebraic groups with connected stabilizers. We are also able to reduce the general case to the case of finite (étale) torsors. When the set of rational points is replaced by the Chow group of zero-cycles, an analogue of the above conjecture for arbitrary linear algebraic groups is proved.

We give a construction of integral local Shimura varieties which are formal schemes that generalise the well-known integral models of the Drinfeld p-adic upper half spaces. The construction applies to all classical groups, at least for odd p. These formal schemes also generalise the formal schemes defined by Rapoport-Zink via moduli of p-divisible groups, and are characterised purely in group-theoretic terms.

More precisely, for a local p-adic Shimura datum $(G, b, \mu)$ and a quasi-parahoric group scheme ${\mathcal {G}} $ for G, Scholze has defined a functor on perfectoid spaces which parametrises p-adic shtukas. He conjectured that this functor is representable by a normal formal scheme which is locally formally of finite type and flat over $O_{\breve E}$. Scholze-Weinstein proved this conjecture when $(G, b, \mu)$ is of (P)EL type by using Rapoport-Zink formal schemes. We prove this conjecture for any $(G, \mu)$ of abelian type when $p\neq 2$, and when $p=2$ and G is of type A or C. We also relate the generic fibre of this formal scheme to the local Shimura variety, a rigid-analytic space attached by Scholze to $(G, b, \mu , {\mathcal {G}})$.

While the splinter property is a local property for Noetherian schemes in characteristic zero, Bhatt observed that it imposes strong conditions on the global geometry of proper schemes in positive characteristic. We show that if a proper scheme over a field of positive characteristic is a splinter, then its Nori fundamental group scheme is trivial and its Kodaira dimension is negative. In another direction, Bhatt also showed that any splinter in positive characteristic is a derived splinter. We ask whether the splinter property is a derived invariant for projective varieties in positive characteristic and give a positive answer for normal Gorenstein projective varieties with big anticanonical divisor. We also show that global F-regularity is a derived invariant for normal Gorenstein projective varieties in positive characteristic.

We consider the Harder–Narasimhan formalism on the category of normed isocrystals and show that the Harder–Narasimhan filtration is compatible with tensor products which generalizes a result of Cornut. As an application of this result, we are able to define a (weak) Harder–Narasimhan stratification on the $B_{\mathrm{dR}}^+$-affine Grassmannian for arbitrary $(G, b, \mu)$. When $\mu$ is minuscule, it corresponds to the Harder–Narasimhan stratification on the flag varieties defined by Dat, Orlik and Rapoport. Moreover, when b is basic, it has been studied by Nguyen and Viehmann, and Shen. We study the basic geometric properties of the Harder–Narasimhan stratification, such as non-emptiness, dimension and its relation with other stratifications.

We study the so-called averaging functors from the geometric Langlands program in the setting of Fargues’ program. This makes explicit certain cases of the spectral action which was recently introduced by Fargues-Scholze in the local Langlands program for $\mathrm {GL}_n$. Using these averaging functors, we verify (without using local Langlands) that the Fargues-Scholze parameters associated to supercuspidal modular representations of $\mathrm {GL}_2$ are irreducible. We also attach to any irreducible $\ell $-adic Weil representation of degree n an Hecke eigensheaf on $\mathrm {Bun}_n$ and show, using the local Langlands correspondence and recent results of Hansen and Hansen-Kaletha-Weinstein, that it satisfies most of the requirements of Fargues’ conjecture for $\mathrm {GL}_n$.

We sharpen and generalize the dimension growth bounds for the number of points of bounded height lying on an irreducible algebraic variety of degree d, over any global field. In particular, we focus on the affine hypersurface situation by relaxing the condition on the top degree homogeneous part of the polynomial describing the affine hypersurface, while sharpening the dependence on the degree in the bounds compared to previous results. We formulate a conjecture about plane curves which provides a conjectural approach to the uniform degree $3$ case (the only remaining open case). For induction on dimension, we develop a higher-dimensional effective version of Hilbert’s irreducibility theorem, which is of independent interest.

We first extend previous results of Koskivirta with Wedhorn and Goldring regarding the existence of $\mu $-ordinary Hasse invariants for Hodge-type Shimura varieties to other automorphic line bundles. We also determine exactly which line bundles admit nonzero sections on the stack of G-zips of Pink–Wedhorn–Ziegler. Then, we define and study the Cox ring of the stack of G-zips and show that it is always finitely generated. Finally, beyond the case of line bundles, we define a ring of vector-valued automorphic forms on the stack of G-zips and study its properties. We prove that it is finitely generated in certain cases.

We construct universal G-zips on good reductions of the Pappas-Rapoport splitting models for PEL-type Shimura varieties. We study the induced Ekedahl-Oort stratification, which sheds new light on the mod p geometry of splitting models. Building on the work of Lan on arithmetic compactifications of splitting models, we further extend these constructions to smooth toroidal compactifications. Combined with the work of Goldring-Koskivirta on group theoretical Hasse invariants, we get an application to Galois representations associated to torsion classes in coherent cohomology in the ramified setting.

Given a prime p, a finite extension $L/\mathbb{Q}_{p}$, a connected p-adic reductive group $G/L$, and a smooth irreducible representation $\pi$ of G(L), Fargues and Scholze recently attached a semisimple L-parameter to such a $\pi$, giving a general candidate for the local Langlands correspondence. It is natural to ask whether this construction is compatible with known instances of the correspondence after semisimplification. For $G = \mathrm{GL}_{n}$ and its inner forms, Fargues and Scholze, and Hansen, Kaletha and Weinstein showed that the correspondence is compatible with the correspondence of Harris, and Taylor and Henniart. We verify a similar compatibility for $G =\mathrm{GSp}_{4}$ and its unique non-split inner form $G = \mathrm{GU}_{2}(D)$, where D is the quaternion division algebra over L, assuming that $L/\mathbb{Q}_{p}$ is unramified and $p > 2$. In this case, the local Langlands correspondence has been constructed by Gan and Takeda, and Gan and Tantono. Analogous to the case of $\mathrm{GL}_{n}$ and its inner forms, this compatibility is proven by describing the Weil group action on the cohomology of a local Shimura variety associated with $\mathrm{GSp}_{4}$, using basic uniformization of abelian-type Shimura varieties due to Shen, combined with various global results of Kret and Shin, and Sorensen on Galois representations in the cohomology of global Shimura varieties associated with inner forms of $\mathrm{GSp}_{4}$ over a totally real field. After showing the parameters are the same, we apply some ideas from the geometry of the Fargues–Scholze construction explored recently by Hansen. This allows us to give a more precise description of the cohomology of this local Shimura variety, verifying a strong form of the Kottwitz conjecture in the process.

We formulate Guo–Jacquet type fundamental lemma conjectures and arithmetic transfer conjectures for inner forms of $GL_{2n}$. Our main results confirm these conjectures for division algebras of invariant $1/4$ and $3/4$.