We study the Rankin $L$-series of a cuspidal automorphic representation of GL(2) of even weight over the rational numbers, twisted by a character of a real quadratic field. When the sign of the functional equation is <formula form="inline" disc="math" id="ffm004"><formtex notation="AMSTeX">$+1$, we give an explicit formula for the central value of the $L$-series, analogous to the formulae obtained by Gross, Zhang, and Xue in the imaginary case. The proof uses a version of the Rankin–Selberg method in which the theta correspondence plays an important role. We give two applications, to computing the order of the Tate–Shafarevich group of the base change to a real quadratic field of an elliptic curve defined over the rationals, and to proving the equidistribution of individual closed geodesics on modular curves.

The editors of Compositio Mathematica find it appropriate to communicate some information directly to the readers in the form of this editorial.

We study some Diophantine properties of automatic real numbers and we present a method to derive irrationality measures for such numbers. As a consequence, we prove that the $b$-adic expansion of a Liouville number cannot be generated by a finite automaton, a conjecture due to Shallit.

A combinatorial Hopf algebra is a graded connected Hopf algebra over a field $\Bbbk$ equipped with a character (multiplicative linear functional) $\zeta\colon{\mathcal H}\to \Bbbk$. We show that the terminal object in the category of combinatorial Hopf algebras is the algebra ${\mathcal Q}{\mathit{Sym}}$ of quasi-symmetric functions; this explains the ubiquity of quasi-symmetric functions as generating functions in combinatorics. We illustrate this with several examples. We prove that every character decomposes uniquely as a product of an even character and an odd character. Correspondingly, every combinatorial Hopf algebra $({\mathcal H},\zeta)$ possesses two canonical Hopf subalgebras on which the character $\zeta$ is even (respectively, odd). The odd subalgebra is defined by certain canonical relations which we call the generalized Dehn–Sommerville relations. We show that, for ${\mathcal H}={\mathcal Q}{\mathit{Sym}}$, the generalized Dehn–Sommerville relations are the Bayer–Billera relations and the odd subalgebra is the peak Hopf algebra of Stembridge. We prove that ${\mathcal Q}{\mathit{Sym}}$ is the product (in the categorical sense) of its even and odd Hopf subalgebras. We also calculate the odd subalgebras of various related combinatorial Hopf algebras: the Malvenuto–Reutenauer Hopf algebra of permutations, the Loday–Ronco Hopf algebra of planar binary trees, the Hopf algebras of symmetric functions and of non-commutative symmetric functions.

We study deformation rings of an n-dimensional representation $\overline{\rho}$, defined over a finite field of characteristic $\ell$, of the arithmetic fundamental group $\pi_1(X)$, where X is a geometrically irreducible, smooth curve over a finite field k of characteristic p ($ \neq \ell$). When $\overline{\rho}$ has large image, we are able to show that the resulting rings are finite flat over $\mathbf{Z}_\ell$. The proof principally uses a Galois-theoretic lifting result of the authors in Part I of this two-part work, a lifting result for cuspidal mod $\ell$ forms of Ogilvie, Taylor–Wiles systems and the result of Lafforgue. This implies a conjecture of de Jong for representations of $\pi_1(X)$ with coefficients in power series rings over finite fields of characteristic $\ell$, that have this mod $\ell$ representation $\overline{\rho}$ as their reduction. A proof of all cases of the conjecture for $\ell>2$ follows from a result announced by Gaitsgory. The methods are different.

We establish the Langlands functoriality conjecture for the transfer from the generic spectrum of GSp(4) to GL(4) and give a criterion for the cuspidality of its image. We apply this to prove results toward the generalized Ramanujan conjecture for generic representations of GSp(4).

The journal Compositio Mathematica was founded by Luitzen E. J. Brouwer to counter his dismissal from the Mathematische Annalen in 1928. In spite of the economic crisis, Brouwer succeeded in finding a publisher (Noordhoff), an editorial board and subscribers. The founding took place at the time of the rise of the Third Reich, which caused problems of a political nature. The German editors followed Ludwig Bieberbach in 1934 when he left the board because Brouwer refused to dismiss the Jewish editors. After a period of flourishing, the publication was suspended at the beginning of the occupation of Holland in 1940. The post-war restart of the journal led to a painful conflict between Brouwer and the publisher, which ended with Brouwer's withdrawal from power. After having founded his own journal in the early 1930s, he lost it again some twenty years later.

We prove an almost optimal lower bound for the so called last ‘geometric’ minimum for the height of a subvariety V of a power of the multiplicative group ${\mathbb G}_m^n$. More precisely, one shows that if $\boldsymbol x$ is a point of $V(\overline{\mathbb Q})$ which does not belong to a translate of a sub-torus of ${\mathbb G}_m^n$ lying in V, of height less than a function essentially linear in the inverse of the degree of V, then $\boldsymbol x$ belongs to a finite ‘exceptional’ subset of V. Thus, one proves ‘up to an $\varepsilon$’ the sharpest conjectures that can be formulated on this problem. Previously, the best known result in this direction was due to the second author and Philippon, who provided lower bounds which were inverse monomial in the degree of V (Minorations des hauteurs normalisées des sous-variétés des tores, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 28 (1999), 489–543; Errata29 (2000)).

We give a purity result for two kinds of exponential sums of the type $\sum_{x\in k^n}\psi(f(x))$, where k is a finite field of characteristic p and $\psi:k\to{\mathbb C}^\star$ is a non-trivial additive character. In the first case, $f\in k[x_1,\dots,x_n]$ is a polynomial of degree divisible by p whose highest-degree homogeneous form defines a non-singular projective hypersurface, and in the second case, f is a polynomial of degree prime to p whose highest-degree homogeneous form defines a projective hypersurface with isolated singularities.

Suppose that $O=\mathbb{F}_q[\pi ]$ is a polynomial ring and $R$ is a commutative unitary $O$-algebra. The category of finite flat group schemes over $R$ with a strict action of $O$ was recently introduced by Faltings and appears as an equal characteristic analogue of the classical category of finite flat group schemes in the equal characteristic case. In this paper we obtain a classification of these modules and apply it to prove analogues of properties that were known earlier for classical group schemes.

We consider twisted multivariable zeta series associated to polynomials of several variables. We introduce a new class of polynomials, namely HDF, that contains strictly non-degenerate and hypoelliptic polynomials. For polynomials belonging to the HDF class, we show that we can extend holomorphically our series to $\mathbb{C}^T$. Then, thanks to a new principle called ‘the Exchange Lemma’, we give very simple formulae for the values of our series at $T$-tuples of negative integers. Finally, we make the $p$-adic interpolation of those values. Thus, we have generalized the results of Cassou-Noguès (that she used to construct the $p$-adic $L$-functions of totally real fields) in two ways: we consider multivariable series and our series are associated to more general polynomials. In addition, our proof is completely different.

This is the second in a series of papers where we combine the classical approach to exponential Diophantine equations (linear forms in logarithms, Thue equations, etc.) with a modular approach based on some of the ideas of the proof of Fermat's Last Theorem. In this paper we use a general and powerful new lower bound for linear forms in three logarithms, together with a combination of classical, elementary and substantially improved modular methods to solve completely the Lebesgue–Nagell equation x2 + D = yn, x, y integers, $n\geq 3$, for D in the range $1 \leq D \leq 100$.

We prove $R = {\mathbf T}$ theorems for certain reducible residual Galois representations. We answer in the positive a question of Gross and Lubin on whether certain Hecke algebras ${\mathbf T}$ are discrete valuation rings. In order to prove these results we determine (using the theory of Breuil modules) when two finite flat group schemes ${\mathscr G}$ and ${\mathscr H}$ of order p over an arbitrarily tamely ramified discrete valuation ring admit an extension not killed by p.

Using the $\sharp$-minimal model program of uniruled varieties we show that, for any pair $(X, {\mathcal H})$ consisting of a reduced and irreducible variety $X$ of dimension $k \geq 3$ and a globally generated big line bundle ${\mathcal H}$ on $X$ with $d:= {\mathcal H}^k$ and $n:= h^0(X, {\mathcal H})-1$ such that $d<2(n-k)-4$, then $X$ is uniruled of ${\mathcal H}$-degree one, except if $(k,d,n)=(3,27,19)$ and a ${\sharp}$-minimal model of $(X, {\mathcal H})$ is $({\mathbb P}^3,{\mathcal O}_{{\mathbb P}^3}(3))$. We also show that the bound is optimal for threefolds.

Derivation and extended double shuffle (EDS) relations for multiple zeta values (MZVs) are proved. Related algebraic structures of MZVs, as well as a ‘linearized’ version of EDS relations are also studied.

We investigate the large weight ($k\to\infty$) limiting statistics for the low lying zeros of a GL(4) and a GL(6) family of $L$-functions, $\{L(s,\phi \times f): f \in H_k\}$ and $\{L(s,\phi \times {\rm sym}^2 f): f \in H_k\}$; here $\phi$ is a fixed even Hecke–Maass cusp form and $H_k$ is a Hecke eigenbasis for the space $H_k$ of holomorphic cusp forms of weight $k$ for the full modular group. Katz and Sarnak conjecture that the behavior of zeros near the central point should be well modeled by the behavior of eigenvalues near 1 of a classical compact group. By studying the 1- and 2-level densities, we find evidence of underlying symplectic and SO(even) symmetry, respectively. This should be contrasted with previous results of Iwaniec–Luo–Sarnak for the families $\{L(s,f): f\in H_k\}$ and $\{L(s,{\rm sym}^2f): f\in H_k\}$, where they find evidence of orthogonal and symplectic symmetry, respectively. The present examples suggest a relation between the symmetry type of a family and that of its twistings, which will be further studied in a subsequent paper. Both the GL(4) and the GL(6) families above have all even functional equations, and neither is naturally split from an orthogonal family. A folklore conjecture states that such families must be symplectic, which is true for the first family but false for the second. Thus, the theory of low lying zeros is more than just a theory of signs of functional equations. An analysis of these families suggest that it is the second moment of the Satake parameters that determines the symmetry group.

We propose a conjecture refining the Stark conjecture St($K/k,S$) in the function-field case. Of course St($K/k,S$) in this case is a theorem due to Deligne and independently to Hayes. The novel feature of our conjecture is that it involves two- rather than one-variable algebraic functions over finite fields. As the conjecture is formulated in the language and framework of Tate's thesis, we have powerful standard techniques at our disposal to study it. We build a case for our conjecture by: (i) proving a parallel result in the framework of adelic harmonic analysis, which we dub the adelic Stirling formula; (ii) proving the conjecture in the genus-zero case; and (iii) explaining in detail how to deduce St($K/k,S$) from our conjecture. In the genus-zero case the class of two-variable algebraic functions thus arising includes all the solitons over a genus-zero global field previously studied and applied by the author, collaborators and others. Ultimately the inspiration for this paper comes from striking examples given some years ago by Coleman and Thakur.

We explicitly solve a collection of binomial Thue equations with unknown degree and unknown $S$-unit coefficients, for a number of sets $S$ of small cardinality. Equivalently, we characterize integers $x$ such that the polynomial $x^2+x$ assumes perfect power values, modulo $S$-units. These results are proved through a combination of techniques, including Frey curves and associated modular forms, lower bounds for linear forms in logarithms, the hypergeometric method of Thue and Siegel, local methods, and computational approaches to Thue equations of low degree. Along the way, we derive some new results on Fermat-type ternary equations, combining classical cyclotomy with Frey curve techniques.

We give a purity theorem in the manner of Deligne's ‘Weil II’ theorem for rigid cohomology with coefficients in an overconvergent $F$-isocrystal; the proof mostly follows Laumon's Fourier-theoretic approach, transposed into the setting of arithmetic $\mathcal{D}$-modules. This yields in particular a complete, purely $p$-adic proof of the Weil conjectures when combined with recent results on $p$-adic differential equations by André, Christol, Crew, Kedlaya, Matsuda, Mebkhout and Tsuzuki.

Using the ‘slice filtration’, defined by effectivity conditions on Voevodsky's triangulated motives, we define spectral sequences converging to their motivic cohomology and étale motivic cohomology. These spectral sequences are particularly interesting in the case of mixed Tate motives as their $E_2$-terms then have a simple description. In particular this yields spectral sequences converging to the motivic cohomology of a split connected reductive group. We also describe in detail the multiplicative structure of the motive of a split torus.