Moduli spaces of bounded local G-shtukas are a group-theoretic generalisation of the function field analogue of Rapoport and Zink’s moduli spaces of p-divisible groups. In this article we generalise some very prominent concepts in the theory of Rapoport-Zink spaces to our setting. More precisely, we define period spaces, as well as the period map from a moduli space of bounded local G-shtukas to the corresponding period space, and we determine the image of the period map. Furthermore, we define a tower of coverings of the generic fibre of the moduli space, which is equipped with a Hecke action and an action of a suitable automorphism group. Finally, we consider the $\ell $ -adic cohomology of these towers.

Les espaces de modules de G-chtoucas locaux bornés sont une généralisation des espaces de modules de groupes p-divisibles de Rapoport-Zink, au cas d’un corps de fonctions local, pour des groupes plus généraux et des copoids pas nécessairement minuscules. Dans cet article nous définissons les espaces de périodes et l’application de périodes associés à un tel espace, et nous calculons son image. Nous étudions la tour au-dessus de la fibre générique de l’espace de modules, équipée d’une action de Hecke ainsi que d’une action d’un groupe d’automorphismes. Enfin, nous définissons la cohomologie $\ell $ -adique de ces tours.

Since Faltings proved Mordell’s conjecture in [16] in 1983, we have known that the sets of rational points on curves of genus at least $2$ are finite. Determining these sets in individual cases is still an unsolved problem. Chabauty’s method (1941) [10] is to intersect, for a prime number p, in the p-adic Lie group of p-adic points of the Jacobian, the closure of the Mordell–Weil group with the p-adic points of the curve. Under the condition that the Mordell–Weil rank is less than the genus, Chabauty’s method, in combination with other methods such as the Mordell–Weil sieve, has been applied successfully to determine all rational points in many cases.

Minhyong Kim’s nonabelian Chabauty programme aims to remove the condition on the rank. The simplest case, called quadratic Chabauty, was developed by Balakrishnan, Besser, Dogra, Müller, Tuitman and Vonk, and applied in a tour de force to the so-called cursed curve (rank and genus both $3$ ).

This article aims to make the quadratic Chabauty method small and geometric again, by describing it in terms of only ‘simple algebraic geometry’ (line bundles over the Jacobian and models over the integers).

The goal of this article is to extend the work of Voevodsky and Morel on the homotopy t-structure on the category of motivic complexes to the context of motives for logarithmic schemes. To do so, we prove an analogue of Morel’s connectivity theorem and show a purity statement for $({\mathbf {P}}^1, \infty )$ -local complexes of sheaves with log transfers. The homotopy t-structure on ${\operatorname {\mathbf {logDM}^{eff}}}(k)$ is proved to be compatible with Voevodsky’s t-structure; that is, we show that the comparison functor $R^{{\overline {\square }}}\omega ^*\colon {\operatorname {\mathbf {DM}^{eff}}}(k)\to {\operatorname {\mathbf {logDM}^{eff}}}(k)$ is t-exact. The heart of the homotopy t-structure on ${\operatorname {\mathbf {logDM}^{eff}}}(k)$ is the Grothendieck abelian category of strictly cube-invariant sheaves with log transfers: we use it to build a new version of the category of reciprocity sheaves in the style of Kahn-Saito-Yamazaki and Rülling.

Motivated by the Landau–Ginzburg model, we study the Witten deformation on a noncompact manifold with bounded geometry, together with some tameness condition on the growth of the Morse function f near infinity. We prove that the cohomology of the Witten deformation $d_{Tf}$ acting on the complex of smooth $L^2$ forms is isomorphic to the cohomology of the Thom–Smale complex of f as well as the relative cohomology of a certain pair $(M, U)$ for sufficiently large T. We establish an Agmon estimate for eigenforms of the Witten Laplacian which plays an essential role in identifying these cohomologies via Witten’s instanton complex, defined in terms of eigenspaces of the Witten Laplacian for small eigenvalues. As an application, we obtain the strong Morse inequalities in this setting.

One of the main aims of this paper is to give a large class of strongly solid compact quantum groups. We do this by using quantum Markov semigroups and noncommutative Riesz transforms. We introduce a property for quantum Markov semigroups of central multipliers on a compact quantum group which we shall call ‘approximate linearity with almost commuting intertwiners’. We show that this property is stable under free products, monoidal equivalence, free wreath products and dual quantum subgroups. Examples include in particular all the (higher-dimensional) free orthogonal easy quantum groups.

We then show that a compact quantum group with a quantum Markov semigroup that is approximately linear with almost commuting intertwiners satisfies the immediately gradient- ${\mathcal {S}}_2$ condition from [10] and derive strong solidity results (following [10]). Using the noncommutative Riesz transform we also show that these quantum groups have the Akemann–Ostrand property; in particular, the same strong solidity results follow again (now following [27]).

The aim of this paper is to study all the natural first steps of the minimal model program for the moduli space of stable pointed curves. We prove that they admit a modular interpretation, and we study their geometric properties. As a particular case, we recover the first few Hassett–Keel log canonical models. As a by-product, we produce many birational morphisms from the moduli space of stable pointed curves to alternative modular projective compactifications of the moduli space of pointed curves.

We establish a one-to-one correspondence between, on the one hand, Finsler structures on the $2$ -sphere with constant curvature $1$ and all geodesics closed, and on the other hand, Weyl connections on certain spindle orbifolds whose symmetric Ricci curvature is positive definite and whose geodesics are all closed. As an application of our duality result, we show that suitable holomorphic deformations of the Veronese embedding $\mathbb {CP}(a_1,a_2)\rightarrow \mathbb {CP}(a_1,(a_1+a_2)/2,a_2)$ of weighted projective spaces provide examples of Finsler $2$ -spheres of constant curvature whose geodesics are all closed.

The general position hypothesis needs strengthening.

We define a motivic conductor for any presheaf with transfers F using the categorical framework developed for the theory of motives with modulus by Kahn, Miyazaki, Saito and Yamazaki. If F is a reciprocity sheaf, this conductor yields an increasing and exhaustive filtration on $F(L)$ , where L is any henselian discrete valuation field of geometric type over the perfect ground field. We show that if F is a smooth group scheme, then the motivic conductor extends the Rosenlicht–Serre conductor; if F assigns to X the group of finite characters on the abelianised étale fundamental group of X, then the motivic conductor agrees with the Artin conductor defined by Kato and Matsuda; and if F assigns to X the group of integrable rank $1$ connections (in characteristic $0$ ), then it agrees with the irregularity. We also show that this machinery gives rise to a conductor for torsors under finite flat group schemes over the base field, which we believe to be new. We introduce a general notion of conductors on presheaves with transfers and show that on a reciprocity sheaf, the motivic conductor is minimal and any conductor which is defined only for henselian discrete valuation fields of geometric type with perfect residue field can be uniquely extended to all such fields without any restriction on the residue field. For example, the Kato–Matsuda Artin conductor is characterised as the canonical extension of the classical Artin conductor defined in the case of a perfect residue field.

We prove that the special-value conjecture for the zeta function of a proper, regular, flat arithmetic surface formulated in [6] at $s=1$ is equivalent to the Birch and Swinnerton-Dyer conjecture for the Jacobian of the generic fibre. There are two key results in the proof. The first is the triviality of the correction factor of [6, Conjecture 5.12], which we show for arbitrary regular proper arithmetic schemes. In the proof we need to develop some results for the eh-topology on schemes over finite fields which might be of independent interest. The second result is a different proof of a formula due to Geisser, relating the cardinalities of the Brauer and the Tate–Shafarevich group, which applies to arbitrary rather than only totally imaginary base fields.

We use the endoscopic classification of automorphic representations of even-dimensional unitary groups to construct level-raising congruences.

We prove that the Kodaira dimension of the n-fold universal family of lattice-polarised holomorphic symplectic varieties with dominant and generically finite period map stabilises to the moduli number when n is sufficiently large. Then we study the transition of Kodaira dimension explicitly, from negative to nonnegative, for known explicit families of polarised symplectic varieties. In particular, we determine the exact transition point in the Beauville–Donagi and Debarre–Voisin cases, where the Borcherds $\Phi _{12}$ form plays a crucial role.

I construct infinitely many nondiffeomorphic examples of $5$ -dimensional contact manifolds which are tight, admit no strong fillings and do not have Giroux torsion. I obtain obstruction results for symplectic cobordisms, for which I give a proof not relying on the polyfold abstract perturbation scheme for Symplectic Field Theory (SFT). These results are part of my PhD thesis [23], and are the first applications of higher-dimensional Siefring intersection theory for holomorphic curves and hypersurfaces, as outlined in [23, 24], as a prequel to [30].

We investigate qualitative properties of the underlying scheme of Rapoport–Zink formal moduli spaces of p-divisible groups (resp., shtukas). We single out those cases where the dimension of this underlying scheme is zero (resp., those where the dimension is the maximal possible). The model case for the first alternative is the Lubin–Tate moduli space, and the model case for the second alternative is the Drinfeld moduli space. We exhibit a complete list in both cases.

We study the l-adic cohomology of unramified Rapoport–Zink spaces of EL-type. These spaces were used in Harris and Taylor’s proof of the local Langlands correspondence for $\mathrm {GL_n}$ and to show local–global compatibilities of the Langlands correspondence. In this paper we consider certain morphisms $\mathrm {Mant}_{b, \mu }$ of Grothendieck groups of representations constructed from the cohomology of these spaces, as studied by Harris and Taylor, Mantovan, Fargues, Shin and others. Due to earlier work of Fargues and Shin we have a description of $\mathrm {Mant}_{b, \mu }(\rho )$ for $\rho $ a supercuspidal representation. In this paper, we give a conjectural formula for $\mathrm {Mant}_{b, \mu }(\rho )$ for $\rho $ an admissible representation and prove it when $\rho $ is essentially square-integrable. Our proof works for general $\rho $ conditionally on a conjecture appearing in Shin’s work. We show that our description agrees with a conjecture of Harris in the case of parabolic inductions of supercuspidal representations of a Levi subgroup.

In this paper, we prove contact Poincaré and Sobolev inequalities in Heisenberg groups $\mathbb{H}^{n}$, where the word ‘contact’ is meant to stress that de Rham’s exterior differential is replaced by the exterior differential of the so-called Rumin complex $(E_{0}^{\bullet },d_{c})$, which recovers the scale invariance under the group dilations associated with the stratification of the Lie algebra of $\mathbb{H}^{n}$. In addition, we construct smoothing operators for differential forms on sub-Riemannian contact manifolds with bounded geometry, which act trivially on cohomology. For instance, this allows us to replace a closed form, up to adding a controlled exact form, with a much more regular differential form.

Given a perfect valuation ring $R$ of characteristic $p$ that is complete with respect to a rank-1 nondiscrete valuation, we show that the ring $\mathbb{A}_{\inf }$ of Witt vectors of $R$ has infinite Krull dimension.

The purpose of this note is to establish isomorphisms up to bounded torsion between relative $K_{0}$-groups and Chow groups with modulus as defined by Binda and Saito.

We provide evidence for this conclusion: given a finite Galois cover $f:X\rightarrow \mathbb{P}_{\mathbb{Q}}^{1}$ of group $G$, almost all (in a density sense) realizations of $G$ over $\mathbb{Q}$ do not occur as specializations of $f$. We show that this holds if the number of branch points of $f$ is sufficiently large, under the abc-conjecture and, possibly, the lower bound predicted by the Malle conjecture for the number of Galois extensions of $\mathbb{Q}$ of given group and bounded discriminant. This widely extends a result of Granville on the lack of $\mathbb{Q}$-rational points on quadratic twists of hyperelliptic curves over $\mathbb{Q}$ with large genus, under the abc-conjecture (a diophantine reformulation of the case $G=\mathbb{Z}/2\mathbb{Z}$ of our result). As a further evidence, we exhibit a few finite groups $G$ for which the above conclusion holds unconditionally for almost all covers of $\mathbb{P}_{\mathbb{Q}}^{1}$ of group $G$. We also introduce a local–global principle for specializations of Galois covers $f:X\rightarrow \mathbb{P}_{\mathbb{Q}}^{1}$ and show that it often fails if $f$ has abelian Galois group and sufficiently many branch points, under the abc-conjecture. On the one hand, such a local–global conclusion underscores the ‘smallness’ of the specialization set of a Galois cover of $\mathbb{P}_{\mathbb{Q}}^{1}$. On the other hand, it allows to generate conditionally ‘many’ curves over $\mathbb{Q}$ failing the Hasse principle, thus generalizing a recent result of Clark and Watson devoted to the hyperelliptic case.