The Jackson integrals associated with the non-reduced root system are defined as multiple sums which are generalization of the Bailey's very-well-poised 6ψ6 sum. They are classified by the number of their parameters when they can be expressed as a product of the Jacobi elliptic theta functions. The sums which appear in the classification list coincide with those investigated individually by Gustafson and van Diejen.

We prove modularity lifting theorems for ℓ-adic Galois representations of any dimension satisfying a unitary type condition and a Fontaine–Laffaille condition at ℓ. This extends the results of Clozel, Harris and Taylor, and the subsequent work by Taylor. The proof uses the Taylor–Wiles method, as improved by Diamond, Fujiwara, Kisin and Taylor, applied to Hecke algebras of unitary groups, and results of Labesse on stable base change and descent from unitary groups to GLn.

This is the first of three papers in which we give a moduli interpretation of the second flip in the log minimal model program for $\overline{M}_{g}$, replacing the locus of curves with a genus $2$ Weierstrass tail by a locus of curves with a ramphoid cusp. In this paper, for $\unicode[STIX]{x1D6FC}\in (2/3-\unicode[STIX]{x1D716},2/3+\unicode[STIX]{x1D716})$, we introduce new $\unicode[STIX]{x1D6FC}$-stability conditions for curves and prove that they are deformation open. This yields algebraic stacks $\overline{{\mathcal{M}}}_{g}(\unicode[STIX]{x1D6FC})$ related by open immersions $\overline{{\mathcal{M}}}_{g}(2/3+\unicode[STIX]{x1D716}){\hookrightarrow}\overline{{\mathcal{M}}}_{g}(2/3){\hookleftarrow}\overline{{\mathcal{M}}}_{g}(2/3-\unicode[STIX]{x1D716})$. We prove that around a curve $C$ corresponding to a closed point in $\overline{{\mathcal{M}}}_{g}(2/3)$, these open immersions are locally modeled by variation of geometric invariant theory for the action of $\text{Aut}(C)$ on the first-order deformation space of $C$.

We realize the multiplihedron geometrically as the moduli space of stable quilted disks. This generalizes the geometric realization of the associahedron as the moduli space of stable disks. We show that this moduli space is the non-negative real part of a complex moduli space of stable scaled marked curves.

We construct an Abel–Jacobi mapping on the Chow group of 0-cycles of degree 0, and prove a Roitman theorem, for projective varieties over C with arbitrary singularities. Along the way, we obtain a new version of the Lefschetz Hyperplane theorem for singular varieties.

We prove duality isomorphisms of certain representations of ${\mathcal{W}}$-algebras which play an essential role in the quantum geometric Langlands program and some related results.

In this paper we study the Oort conjecture concerning the non-existence of Shimura subvarieties contained generically in the Torelli locus in the Siegel modular variety ${\mathcal{A}}_{g}$. Using the poly-stability of Higgs bundles on curves and the slope inequality of Xiao on fibered surfaces, we show that a Shimura curve $C$ is not contained generically in the Torelli locus if its canonical Higgs bundle contains a unitary Higgs subbundle of rank at least $(4g+2)/5$. From this we prove that a Shimura subvariety of $\mathbf{SU}(n,1)$ type is not contained generically in the Torelli locus when a numerical inequality holds, which involves the genus $g$, the dimension $n+1$, the degree $2d$ of CM field of the Hermitian space, and the type of the symplectic representation defining the Shimura subdatum. A similar result holds for Shimura subvarieties of $\mathbf{SO}(n,2)$ type, defined by spin groups associated to quadratic spaces over a totally real number field of degree at least $6$ subject to some natural constraints of signatures.

We prove a general formula for the $p$-adic heights of Heegner points on modular abelian varieties with potentially ordinary (good or semistable) reduction at the primes above $p$. The formula is in terms of the cyclotomic derivative of a Rankin–Selberg $p$-adic $L$-function, which we construct. It generalises previous work of Perrin-Riou, Howard, and the author to the context of the work of Yuan–Zhang–Zhang on the archimedean Gross–Zagier formula and of Waldspurger on toric periods. We further construct analytic functions interpolating Heegner points in the anticyclotomic variables, and obtain a version of our formula for them. It is complemented, when the relevant root number is $+1$ rather than $-1$, by an anticyclotomic version of the Waldspurger formula. When combined with work of Fouquet, the anticyclotomic Gross–Zagier formula implies one divisibility in a $p$-adic Birch and Swinnerton-Dyer conjecture in anticyclotomic families. Other applications described in the text will appear separately.

We formulate an explicit conjecture for the leading term at s=1 of the equivariant Dedekind zeta-function that is associated to a Galois extension of number fields. We show that this conjecture refines well-known conjectures of Stark and Chinburg, and we use the functional equation of the zeta-function to compare it to a natural conjecture for the leading term at s=0.

Let $X$ be a topological space. We consider certain generalized configuration spaces of points on $X$, obtained from the cartesian product $X^{n}$ by removing some intersections of diagonals. We give a systematic framework for studying the cohomology of such spaces using what we call ‘twisted commutative dg algebra models’ for the cochains on $X$. Suppose that $X$ is a ‘nice’ topological space, $R$ is any commutative ring, $H_{c}^{\bullet }(X,R)\rightarrow H^{\bullet }(X,R)$ is the zero map, and that $H_{c}^{\bullet }(X,R)$ is a projective $R$-module. We prove that the compact support cohomology of any generalized configuration space of points on $X$ depends only on the graded $R$-module $H_{c}^{\bullet }(X,R)$. This generalizes a theorem of Arabia.

A well-known conjecture of E. Artin [1] states that for any integers $a \ne {\pm}1$ and $a$ is not a perfect square, there are infinitely many prime integers $p$ for which $a$ is a primitive root $({\bmod}\, p)$. An analogue of this conjecture for function fields was attacked successfully by Bilharz [2] in 1937 using the Riemann hypothesis for curves over finite fields (subsequently proved by A. Weil). The original conjecture of Artin remains open, though it was shown to be true if one assumes the Generalized Riemann hypothesis by Hooley [7]. In recent years, this conjecture of Artin has also been formulated and studied for elliptic curves over global fields instead of just ${\rm G}_m$ (the original case) (see [11]).

We construct an Euler system attached to a weight 2 modular form twisted by a Grössencharacter of an imaginary quadratic field $K$, and apply this to bounding Selmer groups.

We study the stable pairs theory of local curves in 3-folds with descendent insertions. The rationality of the partition function of descendent invariants is established for the full local curve geometry (equivariant with respect to the scaling 2-torus), including relative conditions and odd-degree insertions for higher-genus curves. The capped 1-leg descendent vertex (equivariant with respect to the 3-torus) is also proven to be rational. The results are obtained by combining geometric constraints with a detailed analysis of the poles of the descendent vertex.

As shown by Gluck in 1962, the diffeotopy group of S1×S2 is isomorphic to ℤ2⊕ℤ2 ⊕ℤ2. Here an alternative proof of this result is given, relying on contact topology. We then discuss two applications to contact topology: (i) it is shown that the fundamental group of the space of contact structures on S1×S2, based at the standard tight contact structure, is isomorphic to ℤ; (ii) inspired by previous work of Fraser, an example is given of an integer family of Legendrian knots in S1×S2#S1×S2 (with its standard tight contact structure) that can be distinguished with the help of contact surgery, but not by the classical invariants (topological knot type, Thurston–Bennequin invariant, and rotation number).

We study an equidistribution problem of Linnik using Hecke operators.

The goal of this paper is to determine Göbner bases of powers of determinantal ideals and to show that the Rees algebras of (products of) determinantal ideals are normal and Cohen–Macaulay if the characteristic of the base field is non-exceptional. Our main combinatorial result is a generalization of Schensted's Theorem on the Knuth–Robinson–Schensted correspondence.

Let C be a locally planar curve. Its versal deformation admits a stratification by the genera of the fibres. The strata are singular; we show that their multiplicities at the central point are determined by the Euler numbers of the Hilbert schemes of points on C. These Euler numbers have made two prior appearances. First, in certain simple cases, they control the contribution of C to the Pandharipande–Thomas curve counting invariants of three-folds. In this context, our result identifies the strata multiplicities as the local contributions to the Gopakumar–Vafa BPS invariants. Second, when C is smooth away from a unique singular point, a conjecture of Oblomkov and the present author identifies the Euler numbers of the Hilbert schemes with the ‘U(∞)’ invariant of the link of the singularity. We make contact with combinatorial ideas of Jaeger, and suggest an approach to the conjecture.

Let $F$ be a totally real field in which a prime $p$ is unramified. We define the Goren–Oort stratification of the characteristic- $p$ fiber of a quaternionic Shimura variety of maximal level at $p$ . We show that each stratum is a $(\mathbb{P}^{1})^{r}$ -bundle over other quaternionic Shimura varieties (for an appropriate integer $r$ ). As an application, we give a necessary condition for the ampleness of a modular line bundle on a quaternionic Shimura variety in characteristic $p$ .

We classify quadruples $(M, g, m, \tau)$ in which (M, g) is a compact Kähler manifold of complex dimension m > 2 and $\tau$ is a nonconstant function on M such that the conformally related metric $g/\tau^{2}$, defined wherever $\tau \ne 0$, is an Einstein metric. It turns out that M then is the total space of a holomorphic $\mathbb{C}{\rm P}^1$ bundle over a compact Kähler–Einstein manifold (N, h). The quadruples in question constitute four disjoint families: one, well known, with Kähler metrics g that are locally reducible; a second, discovered by Bérard Bergery (1982), and having $\tau \ne 0$ everywhere; a third one, related to the second by a form of analytic continuation, and analogous to some known Kähler surface metrics; and a fourth family, present only in odd complex dimensions $m \ge 9$. Our classification uses a moduli curve, which is a subset $\mathcal{C}$, depending on m, of an algebraic curve in $\mathbb{R}^2$. A point (u, v) in $\mathcal{C}$ is naturally associated with any $(M, g, m, \tau)$ having all of the above properties except for compactness of M, replaced by a weaker requirement of ‘vertical’ compactness. One may in turn reconstruct M, g and $\tau$ from (u, v) coupled with some other data, among them a Kähler–Einstein base (N, h) for the $\mathbb{C}{\rm P}^1$ bundle M. The points (u, v) arising in this way from $(M, g, m, \tau)$ with compactM form a countably infinite subset of \mathcal{C}$.

Let X/C be a projective algebraic manifold, and further let CHk(X)Q be the Chow group of codimension k algebraic cycles on X, modulo rational equivalence. By considering Q-spreads of cycles on X and the corresponding cycle map into absolute Hodge cohomology, we construct a filtration {F[ell ]}[ell ] [ges ] 0 on CHk(X)Q of ‘Bloch-Beilinson’ type. In the event that a certain conjecture of Jannsen holds (related to the Bloch-Beilinson conjecture on the injectivity, modulo torsion, of the Abel–Jacobi map for smooth proper varieties over Q), this filtration truncates. In particular, his conjecture implies that Fk+1 = 0.