The arithmetic fundamental lemma conjecture of the third author connects the derivative of an orbital integral on a symmetric space with an intersection number on a formal moduli space of $p$-divisible groups of Picard type. It arises in the relative trace formula approach to the arithmetic Gan–Gross–Prasad conjecture. We prove this conjecture in the minuscule case.

We show that generically a pseudogroup generated by holomorphic diffeomorphisms defined about $0\in \mathbb{C} $ is free in the sense of pseudogroups even if the class of conjugacy of the generators is fixed. This result has a number of consequences on the topology of leaves for a (singular) holomorphic foliation defined on a neighborhood of an invariant curve. In particular, in the classical and simplest case arising from local nilpotent foliations possessing a unique separatrix which is given by a cusp of the form $\{ {y}^{2} - {x}^{2n+ 1} = 0\} $, our results allow us to settle the problem of showing that a generic foliation possesses only countably many non-simply connected leaves.

A central problem in liaison theory is to decide whether every arithmetically Cohen–Macaulay subscheme of projective $n$-space can be linked by a finite number of arithmetically Gorenstein schemes to a complete intersection. We show that this can indeed be achieved if the given scheme is also generically Gorenstein and we allow the links to take place in an $(n+ 1)$-dimensional projective space. For example, this result applies to all reduced arithmetically Cohen–Macaulay subschemes. We also show that every union of fat points in projective 3-space can be linked in the same space to a union of simple points in finitely many steps, and hence to a complete intersection in projective 4-space.

Voevodsky conjectured that numerical equivalence and smash equivalence coincide on a smooth projective variety. We prove the conjecture for 1-cycles on varieties dominated by products of curves.

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.

A singularity in characteristic zero is said to be of dense $F$-pure type if its modulo $p$ reduction is locally Frobenius split for infinitely many $p$. We prove that if $x\in X$ is an isolated log canonical singularity with $\mu (x\in X)\leq 2$ (where the invariant $\mu $ is as defined in Definition 1.4), then it is of dense $F$-pure type. As a corollary, we prove the equivalence of log canonicity and being of dense $F$-pure type in the case of three-dimensional isolated $ \mathbb{Q} $-Gorenstein normal singularities.

Given an intersection of two quadrics $X\subset { \mathbb{P} }^{m- 1} $, with $m\geq 9$, the quantitative arithmetic of the set $X( \mathbb{Q} )$ is investigated under the assumption that the singular locus of $X$ consists of a pair of conjugate singular points defined over $ \mathbb{Q} (i)$.

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.

The problem of resolution of singularities in positive characteristic can be reformulated as follows: fix a hypersurface $X$, embedded in a smooth scheme, with points of multiplicity at most $n$. Let an $n$-sequence of transformations of $X$ be a finite composition of monoidal transformations with centers included in the $n$-fold points of $X$, and of its successive strict transforms. The open problem (in positive characteristic) is to prove that there is an $n$-sequence such that the final strict transform of $X$ has no points of multiplicity $n$ (no $n$-fold points). In characteristic zero, such an $n$-sequence is defined in two steps. The first consists of the transformation of $X$ to a hypersurface with $n$-fold points in the so-called monomial case. The second step consists of the elimination of these $n$-fold points (in the monomial case), which is achieved by a simple combinatorial procedure for choices of centers. The invariants treated in this work allow us to present a notion of strong monomial case which parallels that of monomial case in characteristic zero: if a hypersurface is within the strong monomial case we prove that a resolution can be achieved in a combinatorial manner.

Let ${F}_{BC} (\lambda , k; t)$ be the Heckman–Opdam hypergeometric function of type BC with multiplicities $k= ({k}_{1} , {k}_{2} , {k}_{3} )$ and weighted half-sum $\rho (k)$ of positive roots. We prove that ${F}_{BC} (\lambda + \rho (k), k; t)$ converges as ${k}_{1} + {k}_{2} \rightarrow \infty $ and ${k}_{1} / {k}_{2} \rightarrow \infty $ to a function of type A for $t\in { \mathbb{R} }^{n} $ and $\lambda \in { \mathbb{C} }^{n} $. This limit is obtained from a corresponding result for Jacobi polynomials of type BC, which is proven for a slightly more general limit behavior of the multiplicities, using an explicit representation of Jacobi polynomials in terms of Jack polynomials. Our limits include limit transitions for the spherical functions of non-compact Grassmann manifolds over one of the fields $ \mathbb{F} = \mathbb{R} , \mathbb{C} , \mathbb{H} $ when the rank is fixed and the dimension tends to infinity. The limit functions turn out to be exactly the spherical functions of the corresponding infinite-dimensional Grassmann manifold in the sense of Olshanski.

Let $q$ be a prime and $- D\lt - 4$ be an odd fundamental discriminant such that $q$ splits in $ \mathbb{Q} ( \sqrt{- D} )$. For $f$ a weight-zero Hecke–Maass newform of level $q$ and ${\Theta }_{\chi } $ the weight-one theta series of level $D$ corresponding to an ideal class group character $\chi $ of $ \mathbb{Q} ( \sqrt{- D} )$, we establish a hybrid subconvexity bound for $L(f\times {\Theta }_{\chi } , s)$ at $s= 1/ 2$ when $q\asymp {D}^{\eta } $ for $0\lt \eta \lt 1$. With this circle of ideas, we show that the Heegner points of level $q$ and discriminant $D$ become equidistributed, in a natural sense, as $q, D\rightarrow \infty $ for $q\leq {D}^{1/ 20- \varepsilon } $. Our approach to these problems is connected to estimating the ${L}^{2} $-restriction norm of a Maass form of large level $q$ when restricted to the collection of Heegner points. We furthermore establish bounds for quadratic twists of Hecke–Maass $L$-functions with simultaneously large level and large quadratic twist, and hybrid bounds for quadratic Dirichlet $L$-functions in certain ranges.

We show how the techniques of Voevodsky’s proof of the Milnor conjecture and the Voevodsky–Rost proof of its generalization the Bloch–Kato conjecture can be used to study counterexamples to the classical Lüroth problem. By generalizing a method due to Peyre, we produce for any prime number $\ell $ and any integer $n\geq 2$, a rationally connected, non-rational variety for which non-rationality is detected by a non-trivial degree $n$ unramified étale cohomology class with $\ell $-torsion coefficients. When $\ell = 2$, the varieties that are constructed are furthermore unirational and non-rationality cannot be detected by a torsion unramified étale cohomology class of lower degree.

For a $ \mathbb{Z} $-cover $\widetilde {M} \rightarrow M$ of a translation surface, which is a lattice surface, and which admits infinite strips, we prove that almost every direction for the straightline flow is ergodic.

We prove the existence of extremal Sasakian structures occurring on a countably infinite number of distinct contact structures on ${T}^{2} \times {S}^{3} $ and certain related 5-manifolds. These structures occur in bouquets and exhaust the Sasaki cones in all except one case in which there are no extremal metrics.

We show that the maximum likelihood degree of a smooth very affine variety is equal to the signed topological Euler characteristic. This generalizes Orlik and Terao’s solution to Varchenko’s conjecture on complements of hyperplane arrangements to smooth very affine varieties. For very affine varieties satisfying a genericity condition at infinity, the result is further strengthened to relate the variety of critical points to the Chern–Schwartz–MacPherson class. The strengthened version recovers the geometric deletion–restriction formula of Denham et al. for arrangement complements, and generalizes Kouchnirenko’s theorem on the Newton polytope for nondegenerate hypersurfaces.

The main result of this paper states that if $k$ is a field of characteristic $p\gt 0$ and $A/ k$ is a central simple algebra of index $d= {p}^{n} $ and exponent ${p}^{e} $, then $A$ is split by a purely inseparable extension of $k$ of the form $k( \sqrt[{p}^{e} ]{{a}_{i} }, i= 1, \ldots , d- 1)$. Combining this result with a theorem of Albert (for which we include a new proof), we get that any such algebra is Brauer equivalent to the tensor product of at most $d- 1$ cyclic algebras of degree ${p}^{e} $. This gives a drastic improvement upon previously known upper bounds.