We determine the real counting function N(q) (q∈[1,∞)) for the hypothetical ‘curve’ over 𝔽1, whose corresponding zeta function is the complete Riemann zeta function. We show that such a counting function exists as a distribution, is positive on (1,∞) and takes the value −∞ at q=1 as expected from the infinite genus of C. Then, we develop a theory of functorial 𝔽1-schemes which reconciles the previous attempts by Soulé and Deitmar. Our construction fits with the geometry of monoids of Kato, is no longer limited to toric varieties and it covers the case of schemes associated with Chevalley groups. Finally we show, using the monoid of adèle classes over an arbitrary global field, how to apply our functorial theory of -schemes to interpret conceptually the spectral realization of zeros of L-functions.

We construct the Schubert basis of the torus-equivariant K-homology of the affine Grassmannian of a simple algebraic group G, using the K-theoretic NilHecke ring of Kostant and Kumar. This is the K-theoretic analogue of a construction of Peterson in equivariant homology. For the case where G=SLn, the K-homology of the affine Grassmannian is identified with a sub-Hopf algebra of the ring of symmetric functions. The Schubert basis is represented by inhomogeneous symmetric functions, calledK-k-Schur functions, whose highest-degree term is a k-Schur function. The dual basis in K-cohomology is given by the affine stable Grothendieck polynomials, verifying a conjecture of Lam. In addition, we give a Pieri rule in K-homology. Many of our constructions have geometric interpretations by means of Kashiwara’s thick affine flag manifold.

We generalise results of Buzzard, Taylor and Kassaei on analytic continuation of p-adic overconvergent eigenforms over ℚ to the case of p-adic overconvergent Hilbert eigenforms over totally real fields F, under the assumption that p splits completely in F. This includes weight-one forms and has applications to generalisations of Buzzard and Taylor’s main theorem. Next, we follow an idea of Kassaei’s to generalise Coleman’s well-known result that ‘an overconvergent Up-eigenform of small slope is classical’ to the case of p-adic overconvergent Hilbert eigenforms of Iwahori level.

In this paper we address the issue of existence of cusp forms by using an extension and refinement of a classic method involving (adelic) compactly supported Poincaré series. As a consequence of our adelic approach, we also deal with cusp forms for congruence subgroups.

We show that a system of r quadratic forms over a 𝔭-adic field in at least 4r+1 variables will have a non-trivial zero as soon as the cardinality of the residue field is large enough. In contrast, the Ax–Kochen theorem [J. Ax and S. Kochen, Diophantine problems over local fields. I, Amer. J. Math. 87 (1965), 605–630] requires the characteristic to be large in terms of the degree of the field over ℚp. The proofs use a 𝔭-adic minimization technique, together with counting arguments over the residue class field, based on considerations from algebraic geometry.

Let G be the simple algebraic group Sp(2,2), to be defined over ℚ. It is a non-quasi-split, ℚ-rank-two inner form of the split symplectic group Sp8 of rank four. The cohomology of the space of automorphic forms on G has a natural subspace, which is spanned by classes represented by residues and derivatives of cuspidal Eisenstein series. It is called Eisenstein cohomology. In this paper we give a detailed description of the Eisenstein cohomology HqEis(G,E) of G in the case of regular coefficients E. It is spanned only by holomorphic Eisenstein series. For non-regular coefficients E we really have to detect the poles of our Eisenstein series. Since G is not quasi-split, we are out of the scope of the so-called ‘Langlands–Shahidi method’ (cf. F. Shahidi, On certain L-functions, Amer. J. Math. 103 (1981), 297–355; F. Shahidi, On the Ramanujan conjecture and finiteness of poles for certain L-functions, Ann. of Math. (2) 127 (1988), 547–584). We apply recent results of Grbac in order to find the double poles of Eisenstein series attached to the minimal parabolic P0 of G. Having collected this information, we determine the square-integrable Eisenstein cohomology supported by P0 with respect to arbitrary coefficients and prove a vanishing result. This will exemplify a general theorem we prove in this paper on the distribution of maximally residual Eisenstein cohomology classes.

Let X be a projective cubic hypersurface of dimension 11 or more, which is defined over ℚ. We show that X(ℚ) is non-empty provided that the cubic form defining X can be written as the sum of two forms that share no common variables.

This work is the geometric part of our proof of the weighted fundamental lemma, which is an extension of Ngô Bao Châu’s proof of the Langlands–Shelstad fundamental lemma. Ngô’s approach is based on a study of the elliptic part of the Hichin fibration. The total space of this fibration is the algebraic stack of Hitchin bundles and its base space is the affine space of ‘characteristic polynomials’. Over the elliptic set, the Hitchin fibration is proper and the number of points of its fibers over a finite field can be expressed in terms of orbital integrals. In this paper, we study the Hitchin fibration over an open set larger than the elliptic set, namely the ‘generically regular semi-simple set’. The fibers are in general neither of finite type nor separated. By analogy with Arthur’s truncation, we introduce the substack of ξ-stable Hitchin bundles. We show that it is a Deligne–Mumford stack, smooth over the base field and proper over the base space of ‘characteristic polynomials’. Moreover, the number of points of the ξ-stable fibers over a finite field can be expressed as a sum of weighted orbital integrals, which appear in the Arthur–Selberg traceformula.

We prove the semisimplicity conjecture for A-motives over finitely generated fields K. This conjecture states that the rational Tate modules V𝔭(M) of a semisimple A-motive M are semisimple as representations of the absolute Galois group of K. This theorem is in analogy with known results for abelian varieties and Drinfeld modules, and has been sketched previously by Tamagawa. We deduce two consequences of the theorem for the algebraic monodromy groups G𝔭(M) associated to an A-motive M by Tannakian duality. The first requires no semisimplicity condition on M and states that G𝔭(M) may be identified naturally with the Zariski closure of the image of the absolute Galois group of K in the automorphism group of V𝔭(M). The second states that the connected component of G𝔭(M) is reductive if M is semisimple and has a separable endomorphism algebra.

We show that the limit of a one-parameter admissible normal function with no singularities lies in a non-classical sub-object of the limiting intermediate Jacobian. Using this, we construct a Hausdorff slit analytic space, with complex Lie group fibres, which ‘graphs’ such normal functions. For singular normal functions, an extension of the sub-object by a finite group leads to the Néron models. When the normal function comes from geometry, that is, a family of algebraic cycles on a semistably degenerating family of varieties, its limit may be interpreted via the Abel–Jacobi map on motivic cohomology of the singular fibre, hence via regulators on K-groups of its substrata. Two examples are worked out in detail, for families of 1-cycles on CY and abelian 3-folds, where this produces interesting arithmetic constraints on such limits. We also show how to compute the finite ‘singularity group’ in the geometric setting.

In a paper by Badulescu [Global Jacquet–Langlands correspondence, multiplicity one and classification of automorphic representations, Invent. Math. 172 (2008), 383–438], results on the global Jacquet–Langlands correspondence, (weak and strong) multiplicity-one theorems and the classification of automorphic representations for inner forms of the general linear group over a number field were established, under the assumption that the local inner forms are split at archimedean places. In this paper, we extend the main local results of that article to archimedean places so that the above condition can be removed. Along the way, we collect several results about the unitary dual of general linear groups over ℝ, ℂ or ℍ which are of independent interest.

Let ℓ be a prime number. It is not known whether every finite ℓ-group of rank n≥1 can be realized as a Galois group over with no more than n ramified primes. We prove that this can be done for the (minimal) family of finite ℓ-groups which contains all the cyclic groups of ℓ-power order and is closed under direct products, (regular) wreath products and rank-preserving homomorphic images. This family contains the Sylow ℓ-subgroups of the symmetric groups and of the classical groups over finite fields of characteristic not ℓ. On the other hand, it does not contain all finite ℓ-groups.

In Boyer [Monodromy of perverse sheaves on vanishing cycles on some Shimura varieties, Invent. Math. 177 (2009), 239–280 (in French)], a sheaf version of the monodromy-weight conjecture for some unitary Shimura varieties was proved by giving explicitly the monodromy filtration of the complex of vanishing cycles in terms of local systems introduced in Harris and Taylor [The geometry and cohomology of some simple Shimura varieties (Princeton University Press, Princeton, NJ, 2001)]. The main result of this paper is the cohomological version of the monodromy-weight conjecture for these Shimura varieties, which we prove by means of an explicit description of the groups of cohomology in terms of automorphic representations and the local Langlands correspondence.

Colmez has given a recipe to associate a smooth modular representation Ω(W) of the Borel subgroup of GL2(Qp) to a -representation W of by using Fontaine’s theory of (φ,Γ)-modules. We compute Ω(W) explicitly and we prove that if W is irreducible and dim (W)=2, then Ω(W) is the restriction to the Borel subgroup of GL2(Qp) of the supersingular representation associated to W by Breuil’s correspondence.

We investigate the distribution of real algebraic numbers of a fixed degree that have a close conjugate number, with the distance between the conjugate numbers being given as a function of their height. The main result establishes the ubiquity of such algebraic numbers in the real line and implies a sharp quantitative bound on their number. Although the main result is rather general, it implies new estimates on the least possible distance between conjugate algebraic numbers, which improve recent bounds obtained by Bugeaud and Mignotte. So far, the results à la Bugeaud and Mignotte have relied on finding explicit families of polynomials with clusters of roots. Here we suggest a different approach in which irreducible polynomials are implicitly tailored so that their derivatives assume certain values. We consider some applications of our main theorem, including generalisations of a theorem of Baker and Schmidt and a theorem of Bernik, Kleinbock and Margulis in the metric theory of Diophantine approximation.

Beilinson [Higher regulators and values of L-functions, Itogi Nauki i Tekhniki Seriya Sovremennye Problemy Matematiki Noveishie Dostizheniya (Current problems in mathematics), vol. 24 (Vserossiisky Institut Nauchnoi i Tekhnicheskoi Informatsii, Moscow, 1984), 181–238] obtained a formula relating the special value of the L-function of H2 of a product of modular curves to the regulator of an element of a motivic cohomology group, thus providing evidence for his general conjectures on special values of L-functions. In this paper we prove a similar formula for the L-function of the product of two Drinfeld modular curves, providing evidence for an analogous conjecture in the case of function fields.

Laumon introduced the local Fourier transform for ℓ-adic Galois representations of local fields, of equal characteristic p different from ℓ, as a powerful tool for studying the Fourier–Deligne transform of ℓ-adic sheaves over the affine line. In this article, we compute explicitly the local Fourier transform of monomial representations satisfying a certain ramification condition, and deduce Laumon’s formula relating the ε-factor to the determinant of the local Fourier transform under the same condition.

We study the fluctuations in the distribution of zeros of zeta functions of a family of hyperelliptic curves defined over a fixed finite field, in the limit of large genus. According to the Riemann hypothesis for curves, the zeros all lie on a circle. Their angles are uniformly distributed, so for a curve of genus g a fixed interval ℐ will contain asymptotically 2g∣ℐ∣ angles as the genus grows. We show that for the variance of number of angles in ℐ is asymptotically (2/π2)log (2g∣ℐ∣) and prove a central limit theorem: the normalized fluctuations are Gaussian. These results continue to hold for shrinking intervals as long as the expected number of angles 2g∣ℐ∣ tends to infinity.

In this paper, we prove that the log minimal model program in dimension d−1 implies the existence of log minimal models for effective lc pairs (e.g. of non-negative Kodaira dimension) in dimension d. In fact, we prove that the same conclusion follows from a weaker assumption, namely, the log minimal model program with scaling in dimension d−1. This enables us to prove that effective lc pairs in dimension five have log minimal models. We also give new proofs of the existence of log minimal models for effective lc pairs in dimension four and of the Shokurov reduction theorem.