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}$.

The celebrated Smith–Minkowski–Siegel mass formula expresses the mass of a quadratic lattice $(L,Q)$ as a product of local factors, called the local densities of $(L,Q)$. This mass formula is an essential tool for the classification of integral quadratic lattices. In this paper, we will describe the local density formula explicitly by observing the existence of a smooth affine group scheme $\underline{G}$ over $\mathbb{Z}_{2}$ with generic fiber $\text{Aut}_{\mathbb{Q}_{2}}(L,Q)$, which satisfies $\underline{G}(\mathbb{Z}_{2})=\text{Aut}_{\mathbb{Z}_{2}}(L,Q)$. Our method works for any unramified finite extension of $\mathbb{Q}_{2}$. Therefore, we give a long awaited proof for the local density formula of Conway and Sloane and discover its generalization to unramified finite extensions of $\mathbb{Q}_{2}$. As an example, we give the mass formula for the integral quadratic form $Q_{n}(x_{1},\dots ,x_{n})=x_{1}^{2}+\cdots +x_{n}^{2}$ associated to a number field $k$ which is totally real and such that the ideal $(2)$ is unramified over $k$.

Let $k$ be an infinite field. Let $R$ be the semi-local ring of a finite family of closed points on a $k$-smooth affine irreducible variety, let $K$ be the fraction field of $R$, and let $G$ be a reductive simple simply connected $R$-group scheme isotropic over $R$. Our Theorem 1.1 states that for any Noetherian $k$-algebra $A$ the kernel of the map

$$\begin{eqnarray}H_{\acute{\text{e}}\text{t}}^{1}(R\otimes _{k}A,G)\rightarrow H_{\acute{\text{e}}\text{t}}^{1}(K\otimes _{k}A,G)\end{eqnarray}$$

$R$

$K$

$A=k$

$R$

We classify generically transitive actions of semi-direct products on ℙ2. Motivated by the program to study the distribution of rational points on del Pezzo surfaces (Manin's conjecture), we determine all (possibly singular) del Pezzo surfaces that are equivariant compactifications of homogeneous spaces for semi-direct products .

We show the existence of a large family of representations supported by the orbit closure of the determinant. However, the validity of our result is based on the validity of the celebrated ‘Latin square conjecture’ due to Alon and Tarsi or, more precisely, on the validity of an equivalent ‘column Latin square conjecture’ due to Huang and Rota.

We study a Hermitian form $h$ over a quaternion division algebra $Q$ over a field ($h$ is supposed to be alternating if the characteristic of the field is two). For generic $h$ and $Q$, for any integer $i\in [1,\;n/2]$, where $n:=\dim _{Q}h$, we show that the variety of $i$-dimensional (over $Q$) totally isotropic right subspaces of $h$ is $2$-incompressible. The proof is based on a computation of the Chow ring for the classifying space of a certain parabolic subgroup in a split simple adjoint affine algebraic group of type $C_{n}$. As an application, we determine the smallest value of the $J$-invariant of a non-degenerate quadratic form divisible by a $2$-fold Pfister form; we also determine the biggest values of the canonical dimensions of the orthogonal Grassmannians associated to such quadratic forms.

We classify all (abstract) homomorphisms from the group $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}{\sf PGL}_{r+1}(\mathbf{C})$ to the group ${\sf Bir}(M)$ of birational transformations of a complex projective variety $M$, provided that $r\geq \dim _\mathbf{C}(M)$. As a byproduct, we show that: (i) ${\sf Bir}(\mathbb{P}^n_\mathbf{C})$ is isomorphic, as an abstract group, to ${\sf Bir}(\mathbb{P}^m_\mathbf{C})$ if and only if $n=m$; and (ii) $M$ is rational if and only if ${\sf PGL}_{\dim (M)+1}(\mathbf{C})$ embeds as a subgroup of ${\sf Bir}(M)$.

We give a new, geometric proof of the section conjecture for fixed points of finite group actions on projective curves of positive genus defined over the field of complex numbers, as well as its natural nilpotent analogue. As a part of our investigations we give an explicit description of the abelianised section map for groups of prime order in this setting. We also show a version of the $2$-nilpotent section conjecture.

We introduce an analogue in hyperkähler geometry of the symplectic implosion, in the case of $\mathrm{SU} (n)$ actions. Our space is a stratified hyperkähler space which can be defined in terms of quiver diagrams. It also has a description as a non-reductive geometric invariant theory quotient.

For an arbitrary connected reductive group $G$, we consider the motivic integral over the arc space of an arbitrary $ \mathbb{Q} $-Gorenstein horospherical $G$-variety ${X}_{\Sigma } $ associated with a colored fan $\Sigma $ and prove a formula for the stringy $E$-function of ${X}_{\Sigma } $ which generalizes the one for toric varieties. We remark that, in contrast to toric varieties, the stringy $E$-function of a Gorenstein horospherical variety ${X}_{\Sigma } $ may be not a polynomial if some cones in $\Sigma $ have nonempty sets of colors. Using the stringy $E$-function, we can formulate and prove a new smoothness criterion for locally factorial horospherical varieties. We expect that this smoothness criterion holds for arbitrary spherical varieties.

We prove that the quotient by ${\mathrm{SL} }_{2} \times {\mathrm{SL} }_{2} $ of the space of bidegree $(a, b)$ curves on ${ \mathbb{P} }^{1} \times { \mathbb{P} }^{1} $ is rational when $ab$ is even and $a\not = b$.

We study the affine formal algebra $R$ of the Lubin–Tate deformation space as a module over two different rings. One is the completed group ring of the automorphism group $\Gamma $ of the formal module of the deformation problem, the other one is the spherical Hecke algebra of a general linear group. In the most basic case of height two and ground field $\mathbb {Q}_p$, our structure results include a flatness assertion for $R$ over the spherical Hecke algebra and allow us to compute the continuous (co)homology of $\Gamma $ with coefficients in $R$.

We describe a probability distribution on isomorphism classes of principally quasi-polarized $p$-divisible groups over a finite field $k$ of characteristic $p$ which can reasonably be thought of as a ‘uniform distribution’, and we compute the distribution of various statistics ($p$-corank, $a$-number, etc.) of $p$-divisible groups drawn from this distribution. It is then natural to ask to what extent the $p$-divisible groups attached to a randomly chosen hyperelliptic curve (respectively, curve; respectively, abelian variety) over $k$ are uniformly distributed in this sense. This heuristic is analogous to conjectures of Cohen–Lenstra type for $\text{char~} k\not = p$, in which case the random $p$-divisible group is defined by a random matrix recording the action of Frobenius. Extensive numerical investigation reveals some cases of agreement with the heuristic and some interesting discrepancies. For example, plane curves over ${\mathbf{F} }_{3} $ appear substantially less likely to be ordinary than hyperelliptic curves over ${\mathbf{F} }_{3} $.

In [Gorodnik and Nevo, Counting lattice points, J. Reine Angew. Math. 663 (2012), 127–176] an effective solution of the lattice point counting problem in general domains in semisimple S-algebraic groups and affine symmetric varieties was established. The method relies on the mean ergodic theorem for the action of G on G/Γ, and implies uniformity in counting over families of lattice subgroups admitting a uniform spectral gap. In the present paper we extend some methods developed in [Nevo and Sarnak, Prime and almost prime integral points on principal homogeneous spaces, Acta Math. 205 (2010), 361–402] and use them to establish several useful consequences of this property, including:

1. (1) effective upper bounds on lifting for solutions of congruences in affine homogeneous varieties;

2. (2) effective upper bounds on the number of integral points on general subvarieties of semisimple group varieties;

3. (3) effective lower bounds on the number of almost prime points on symmetric varieties;

4. (4) effective upper bounds on almost prime solutions of congruences in homogeneous varieties.

In the present paper we introduce and study the twisted γ-filtration on K0(Gs), where Gs is a split simple linear algebraic group over a field k of characteristic prime to the order of the center of Gs. We apply this filtration to construct nontrivial torsion elements in γ-rings of twisted flag varieties.

In this article, we apply the methods of our work on Fontaine’s theory in equal characteristics to the φ/𝔖-modules of Breuil and Kisin. Thanks to a previous article of Kisin, this yields a new and rather elementary proof of the theorem ‘weakly admissible implies admissible’ of Colmez and Fontaine.

The S-fundamental group scheme is the group scheme corresponding to the Tannaka category of numerically flat vector bundles. We use determinant line bundles to prove that the S-fundamental group of a product of two complete varieties is a product of their S-fundamental groups as conjectured by Mehta and the author. We also compute the abelian part of the S-fundamental group scheme and the S-fundamental group scheme of an abelian variety or a variety with trivial étale fundamental group.