We prove a general criterion for an algebraic stack to admit a good moduli space. This result may be considered as a generalization of the Keel–Mori theorem, which guarantees the existence of a coarse moduli space for a separated Deligne–Mumford stack. We apply this result to prove that the moduli stacks $\overline{{\mathcal{M}}}_{g,n}(\unicode[STIX]{x1D6FC})$ parameterizing $\unicode[STIX]{x1D6FC}$ -stable curves introduced in [J. Alper et al., Second flip in the Hassett–Keel program: a local description, Compositio Math. 153 (2017), 1547–1583] admit good moduli spaces.

We show that any $n$-dimensional Fano manifold $X$ with $\unicode[STIX]{x1D6FC}(X)=n/(n+1)$ and $n\geqslant 2$ is K-stable, where $\unicode[STIX]{x1D6FC}(X)$ is the alpha invariant of $X$ introduced by Tian. In particular, any such $X$ admits Kähler–Einstein metrics and the holomorphic automorphism group $\operatorname{Aut}(X)$ of $X$ is finite.

If $(G,V)$ is a polar representation with Cartan subspace $\mathfrak{c}$ and Weyl group $W$ , it is shown that there is a natural morphism of Poisson schemes $\mathfrak{c}\oplus \mathfrak{c}^{\ast }/W\rightarrow V\oplus V^{\ast }/\!\!/\!\!/G$ . This morphism is conjectured to be an isomorphism of the underlying reduced varieties if $(G,V)$ is visible. The conjecture is proved for visible stable locally free polar representations and some other examples.

Let $k$ be a finite extension of $\mathbb{Q}_{p}$ , let ${\mathcal{G}}$ be an absolutely simple split reductive group over  $k$ , and let $K$ be a maximal unramified extension of $k$ . To each point in the Bruhat–Tits building of ${\mathcal{G}}_{K}$ , Moy and Prasad have attached a filtration of ${\mathcal{G}}(K)$ by bounded subgroups. In this paper we give necessary and sufficient conditions for the dual of the first Moy–Prasad filtration quotient to contain stable vectors for the action of the reductive quotient. Our work extends earlier results by Reeder and Yu, who gave a classification in the case when $p$ is sufficiently large. By passing to a finite unramified extension of $k$ if necessary, we obtain new supercuspidal representations of ${\mathcal{G}}(k)$ .

We show that the pair (X, –KX ) is K-unstable for a del Pezzo manifold X of degree 5 with dimension 4 or 5. This disproves a conjecture of Odaka and Okada.

Given a relative faithfully flat pointed scheme over the spectrum of a discrete valuation ring $X\rightarrow S$ , this paper is motivated by the study of the natural morphism from the fundamental group scheme of the generic fiber $X_{\unicode[STIX]{x1D702}}$ to the generic fiber of the fundamental group scheme of $X$ . Given a torsor $T\rightarrow X_{\unicode[STIX]{x1D702}}$ under an affine group scheme $G$ over the generic fiber of $X$ , we address the question of finding a model of this torsor over $X$ , focusing in particular on the case where $G$ is finite. We provide several answers to this question, showing for instance that, when $X$ is integral and regular of relative dimension 1, such a model exists on some model $X^{\prime }$ of $X_{\unicode[STIX]{x1D702}}$ obtained by performing a finite number of Néron blowups along a closed subset of the special fiber of $X$ . Furthermore, we show that when $G$ is étale, then we can find a model of $T\rightarrow X_{\unicode[STIX]{x1D702}}$ under the action of some smooth group scheme. In the first part of the paper, we show that the relative fundamental group scheme of $X$ has an interpretation as the Tannaka Galois group of a Tannakian category constructed starting from the universal torsor.

We study actions of Lie supergroups, in particular, the hitherto elusive notion of orbits through odd (or more general) points. Following categorical principles, we derive a conceptual framework for their treatment and therein prove general existence theorems for the isotropy (or stabiliser) supergroups and orbits through general points. In this setting, we show that the coadjoint orbits always admit a (relative) supersymplectic structure of Kirillov–Kostant–Souriau type. Applying a family version of Kirillov’s orbit method, we decompose the regular representation of an odd Abelian supergroup into an odd direct integral of characters and construct universal families of representations, parametrised by a supermanifold, for two different super variants of the Heisenberg group.

We define truncated displays over rings in which a prime $p$ is nilpotent, we associate crystals to truncated displays, and we define functors from truncated displays to truncated Barsotti–Tate groups.

Toric quiver varieties (moduli spaces of quiver representations) are studied. Given a quiver and a weight, there is an associated quasi-projective toric variety together with a canonical embedding into projective space. It is shown that for a quiver with no oriented cycles the homogeneous ideal of this embedded projective variety is generated by elements of degree at most 3. In each fixed dimension d up to isomorphism there are only finitely many d-dimensional toric quiver varieties. A procedure for their classification is outlined.

We give a decomposition formula for computing the state polytope of a reducible variety in terms of the state polytopes of its components: if a polarized projective variety X is a chain of subvarieties Xi satisfying some further conditions, then the state polytope of X is the Minkowski sum of the state polytopes of Xi translated by a vector τ, which can be readily computed from the ideal of Xi . The decomposition is in the strongest sense in that the vertices of the state polytope of X are precisely the sum of vertices of the state polytopes of Xi translated by τ. We also give a similar decomposition formula for the Hilbert–Mumford index of the Hilbert points of X. We give a few examples of the state polytope and the Hilbert–Mumford index computation of reducible curves, which are interesting in the context of the log minimal model program for the moduli space of stable curves.

The notion of Berman–Gibbs stability was originally introduced by Berman for $\mathbb{Q}$-Fano varieties $X$. We show that the pair $(X,-K_{X})$ is K-stable (respectively K-semistable) provided that $X$ is Berman–Gibbs stable (respectively semistable).

We consider the rigid monoidal category of character sheaves on a smooth commutative group scheme $G$ over a finite field $k$ , and expand the scope of the function-sheaf dictionary from connected commutative algebraic groups to this setting. We find the group of isomorphism classes of character sheaves on $G$ , and show that it is an extension of the group of characters of $G(k)$ by a cohomology group determined by the component group scheme of $G$ . We also classify all morphisms in the category character sheaves on $G$ . As an application, we study character sheaves on Greenberg transforms of locally finite type Néron models of algebraic tori over local fields. This provides a geometrization of quasicharacters of $p$ -adic tori.

The second author has recently introduced a new class of $L$-series in the arithmetic theory of function fields over finite fields. We show that the values at one of these $L$-series encode arithmetic information of a generalization of Drinfeld modules defined over Tate algebras that we introduce (the coefficients can be chosen in a Tate algebra). This enables us to generalize Anderson’s log-algebraicity theorem and an analogue of the Herbrand–Ribet theorem recently obtained by Taelman.

Let $G$ be a split reductive group. We introduce the moduli problem of bundle chains parametrizing framed principal $G$-bundles on chains of lines. Any fan supported in a Weyl chamber determines a stability condition on bundle chains. Its moduli stack provides an equivariant toroidal compactification of $G$. All toric orbifolds may be thus obtained. Moreover, we get a canonical compactification of any semisimple $G$, which agrees with the wonderful compactification in the adjoint case, but which in other cases is an orbifold. Finally, we describe the connections with Losev–Manin’s spaces of weighted pointed curves and with Kausz’s compactification of $GL_{n}$.

We investigate Cox rings of minimal resolutions of surface quotient singularities and provide two descriptions of these rings. The first one is the equation for the spectrum of a Cox ring, which is a hypersurface in an affine space. The second is the set of generators of the Cox ring viewed as a subring of the coordinate ring of a product of a torus and another surface quotient singularity. In addition, we obtain an explicit description of the minimal resolution as a divisor in a toric variety.

Let $G$ be an algebraic real reductive group and $Z$ a real spherical $G$-variety, that is, it admits an open orbit for a minimal parabolic subgroup $P$. We prove a local structure theorem for $Z$. In the simplest case where $Z$ is homogeneous, the theorem provides an isomorphism of the open $P$-orbit with a bundle $Q\times _{L}S$. Here $Q$ is a parabolic subgroup with Levi decomposition $L\ltimes U$, and $S$ is a homogeneous space for a quotient $D=L/L_{n}$ of $L$, where $L_{n}\subseteq L$ is normal, such that $D$ is compact modulo center.

This paper deals with the geometric local theta correspondence at the Iwahori level for dual reductive pairs of type II over a non-Archimedean field $F$ of characteristic $p\neq 2$ in the framework of the geometric Langlands program. First we construct and study the geometric version of the invariants of the Weil representation of the Iwahori-Hecke algebras. In the particular case of $(\mathbf{GL}_{1},\mathbf{GL}_{m})$ we give a complete geometric description of the corresponding category. The second part of the paper deals with geometric local Langlands functoriality at the Iwahori level in a general setting. Given two reductive connected groups $G$ and $H$ over $F$, and a morphism ${\check{G}}\times \text{SL}_{2}\rightarrow \check{H}$ of Langlands dual groups, we construct a bimodule over the affine extended Hecke algebras of $H$ and $G$ that should realize the geometric local Arthur–Langlands functoriality at the Iwahori level. Then, we propose a conjecture describing the geometric local theta correspondence at the Iwahori level constructed in the first part in terms of this bimodule, and we prove our conjecture for pairs $(\mathbf{GL}_{1},\mathbf{GL}_{m})$.

Let $G$ be a simple algebraic group. A closed subgroup $H$ of $G$ is said to be spherical if it has a dense orbit on the flag variety $G/B$ of $G$. Reductive spherical subgroups of simple Lie groups were classified by Krämer in 1979. In 1997, Brundan showed that each example from Krämer’s list also gives rise to a spherical subgroup in the corresponding simple algebraic group in any positive characteristic. Nevertheless, up to now there has been no classification of all such instances in positive characteristic. The goal of this paper is to complete this classification. It turns out that there is only one additional instance (up to isogeny) in characteristic 2 which has no counterpart in Krämer’s classification. As one of our key tools, we prove a general deformation result for subgroup schemes that allows us to deduce the sphericality of subgroups in positive characteristic from the same property for subgroups in characteristic zero.

We study the arithmetic of a family of non-hyperelliptic curves of genus 3 over the field $\mathbb{Q}$ of rational numbers. These curves are the nearby fibers of the semi-universal deformation of a simple singularity of type $E_{6}$. We show that average size of the 2-Selmer sets of these curves is finite (if it exists). We use this to show that a positive proposition of these curves (when ordered by height) has integral points everywhere locally, but no integral points globally.

We consider the distribution of $p$ -power group schemes among the torsion of abelian varieties over finite fields of characteristic $p$ , as follows. Fix natural numbers $g$ and $n$ , and let ${\it\xi}$ be a non-supersingular principally quasipolarized Barsotti–Tate group of level $n$ . We classify the $\mathbb{F}_{q}$ -rational forms ${\it\xi}^{{\it\alpha}}$ of ${\it\xi}$ . Among all principally polarized abelian varieties $X/\mathbb{F}_{q}$ of dimension $g$ with $X[p^{n}]_{\bar{\mathbb{F}}_{q}}\cong {\it\xi}_{\bar{\mathbb{F}}_{q}}$ , we compute the frequency with which $X[p^{n}]\cong {\it\xi}^{{\it\alpha}}$ . The error in our estimate is bounded by $D/\sqrt{q}$ , where $D$ depends on $g$ , $n$ , and $p$ , but not on ${\it\xi}$ .