Distributions and analytic continuation of Dirichlet series

This is the second in a series of three papers; the other two are “Summation Formulas, from Poisson and Voronoi to the Present” [Progr. Math. 220 (2004) 419-440] and “Automorphic Distributions, L-functions, and Voronoi Summation for GL(3)” (preprint). The first paper is primarily expository, while the third proves a Voronoi-style summation formula for the coefficients of a cusp form on . The present paper contains the distributional machinery used in the third paper for rigorously deriving the summation formula, and also for the proof of the GL(3)×GL(1) converse theorem given in the third paper. The primary concept studied is a notion of the order of vanishing of a distribution along a closed submanifold. Applications are given to the analytic continuation of Riemann's zeta function, degree 1 and degree 2 L-functions, the converse theorem for GL(2), and a characterization of the classical Mellin transform/inversion relations on functions with specified singularities.     

On the special values of automorphic L-functions

Let π be a cuspidal representation of $\text{GL}{}_{\mathrm{n}}\text{(}\text{A}{}_{\mathrm{<mtext>Q</mtext>}}\text{)}$ with non-vanishing cohomology and denote by L(π,s) its L-function. Under a certain local non-vanishing assumption, we prove the rationality of the values of L(π?χ,0) for characters χ, which are critical for π. Note that conjecturally any motivic L-function should coincide with an automorphic L-function on GL_n; hence, our result corresponds to a conjecture of Deligne for motivic L-functions. To cite this article: J. Mahnkopf, C. R. Acad. Sci. Paris, Ser. I 338 (2004).     

Linnik-type problems for automorphic L-functions

Let m?2 be an integer, and π an irreducible unitary cuspidal representation for GLm(AQ), whose attached automorphic L-function is denoted by L(s,π). Let be the sequence of coefficients in the Dirichlet series expression of L(s,π) in the half-plane Rs>1. It is proved in this paper that, if π is such that the sequence is real, then there are infinitely many sign changes in the sequence , and the first sign change occurs at some , where Qπ is the conductor of π, and the implied constant depends only on m and ε. This generalizes the previous results for GL₂. A result of the same quality is also established for , the sequence of coefficients in the Dirichlet series expression of in the half-plane Rs>1.     

A kernel for automorphic L-functions

The full multiple Dirichlet series of an automorphic cusp form is defined, in classical language, as a Dirichlet series of several complex variables over all the Fourier coefficients of the cusp form. It is different from the L-function of Godement and Jacquet, which is defined as a Dirichlet series in one complex variable over a one-dimensional array of the Fourier coefficients. In GL(2) and GL(3), the two notions are simply related. In this paper, we construct a kernel function that gives the full multiple Dirichlet series of automorphic cusp forms on GL(n,R). The kernel function is a new Poincaré series. Specifically, the inner product of a cusp form with this Poincaré series is the product of the full multiple Dirichlet series of the form times a function that is essentially the Mellin transform of Jacquet's Whittaker function. In the proof, the full multiple Dirichlet series is produced by applying the Lipschitz summation formula several times and by an integral which collapses the sum over SL(n−1,Z) in the Fourier expansion of the cusp form.     

Sur les zéros des séries d'Eisenstein dans le demi-plan de Drinfeld

Eisenstein series for GL₂(F_q[T]) of weight q^k − 1 have zeroes in the Drinfeld upper half-plane. Let F be a fundamental domain for the GL₂(A)-action. We determine the number of zeroes in F of these series. Our method is essentially based on an assocíation between Eisenstein series and some functions defined on the edges of the Bruhat-Tits tree.     

Projective pseudodifferential analysis and harmonic analysis

We consider pseudodifferential operators on functions on Rn+1 which commute with the Euler operator, and can thus be restricted to spaces of functions homogeneous of some given degree. The symbols of such restrictions can be regarded as functions on a reduced phase space, isomorphic to the homogeneous space Gn/Hn=SL(n+1,R)/GL(n,R), and the resulting calculus is a pseudodifferential analysis of operators acting on spaces of appropriate sections of line bundles over the projective space Pn(R): these spaces are the representation spaces of the maximal degenerate series (πiλ,ε) of Gn. This new approach to the quantization of Gn/Hn, already considered by other authors, has several advantages: as an example, it makes it possible to give a very explicit version of the continuous part from the decomposition of L²(Gn/Hn) under the quasiregular action of Gn. We also consider interesting special symbols, which arise from the consideration of the resolvents of certain infinitesimal operators of the representation πiλ,ε.     

Completing an extension of Tunnell's theorem

We look at a special case of a familiar problem: Given a locally compact group G, a subgroup H and a complex representation π₊ of G how does π₊ decompose on restriction to H. Here G is GL⁺(2,F), where F is a nonarchimedian local field of characteristic not two, K a separable quadratic extension of F, GL⁺(2,F) the subgroup of index 2 in GL(2,F) consisting of those matrices whose determinant is in NK/F(K^∗), π₊ is an irreducible, admissible supercuspidal representation of GL⁺(2,F) and H=K^∗ under an embedding of K^∗ into GL(2,F).     

Non-split sums of coefficients of GL(2)-automorphic forms

Given a cuspidal automorphic form π on GL₂, we study smoothed sums of the form $\sum\nolimits_n {{a_\pi }({n^2} + d)V({n \over x})} $ . The error term we get is sharp in that it is uniform in both d and Y and depends directly on bounds towards Ramanujan for forms of half-integral weight and Selberg eigenvalue conjecture. Moreover, we identify (at least in the case where the level is square-free) the main term as a simple factor times the residue as s = 1 of the symmetric square L-function L(s, sym² π). In particular there is no main term unless d > 0 and π is a dihedral form.     

Sp(2N)-covers for self-contragredient supercuspidal representations of GL(N)

Let F be a non-archimedean local field of odd residual characteristic. Let (J,τ) be a maximal simple type in GLN(F) for the inertial class [GLN(F),π]_GLN(F) of a self-contragredient supercuspidal irreducible representation π of GLN(F). Identify GLN(F) to the standard Siegel Levi subgroup in Sp2N(F). We construct, in Sp2N(F), a type for the inertial class [GLN(F),π]_Sp2N(F), as a Sp2N(F)-cover of (J,τ), strongly related to the GL2N(F)-cover of (J×J,τ⊗τ) in GL2N(F) constructed by Bushnell and Kutzko and which induces to a simple type in GL2N(F). In the process, we show that if τ has positive level, then the maximal simple type (J,τ) may be attached to a simple stratum [A,n,0,β] where the field F[β] is a quadratic extension of F[β²], and to a simple character θ in C(A,0,β) Galois conjugate of its inverse.     

Archimedean zeta integrals on GL n × GL m and SO2n+1 × GL m

In this paper, we evaluate archimedean zeta integrals for automorphic L-functions on GL _n × GL _n-1+? and on SO_2n+1 × GL _n+? , for ? = ?1, 0, and 1. In each of these cases, the zeta integrals in question may be expressed as Mellin transforms of products of class one Whittaker functions. Here, we obtain explicit expressions for these Mellin transforms in terms of Gamma functions and Barnes integrals. When ? = 0 or ? = 1, the archimedean zeta integrals amount to integrals over the full torus. We show that, as has been predicted by Bump for such domains of integration, these zeta integrals are equal to the corresponding local L-factors—which are simple rational combinations of Gamma functions. (In the cases of GL _n × GL _n-1 and GL _n × GL _n this has, in large part, been shown previously by the second author of the present work, though the results here are more general in that they do not require the assumption of trivial central characters. Our techniques here are also quite different. New formulas for GL(n, R) Whittaker functions, obtained recently by the authors of this work, allow for substantially simplified computations). In the case ? = ?1, we express our archimedean zeta integrals explicitly in terms of Gamma functions and certain Barnes-type integrals. These evaluations rely on new recursive formulas, derived herein, for GL(n, R) Whittaker functions. Finally, we indicate an approach to certain unramified calculations, on SO_2n+1 × GL _n and SO_2n+1 × GL _n+1, that parallels our method herein for the corresponding archimedean situation. While the unramified theory has already been treated using more direct methods, we hope that the connections evoked herein might facilitate future archimedean computations.     

Endomorphisms of semigroups of invertible nonnegative matrices over ordered rings

Let R be a linearly ordered commutative ring with 1/2 and G _n (R) be the subsemigroup of GL _n (R) consisting of matrices with nonnegative elements. In this paper, we describe endomorphisms of this semigroup for n ≥ 3.     

On a new class of boundary value problems for the Sturm-Liouville operator

We consider the spectral problem generated by the Sturm-Liouville operator with complex-valued potential q(x) ∈ L ₂(0, π) and degenerate boundary conditions. We show that the set of potentials q(x) for which there exist associated functions of arbitrarily high order in the system of root functions is everywhere dense in L ₁(0, π).     

Endomorphisms of the Semigroup G2(r) Over Partially Ordered Commutative Rings Without Zero Divisors and with 1/2

Let R be a partially ordered commutative ring without zero divisors and with 1/2. Let G _n (R) be the subsemigroup of GL _n (R) consisting of matrices with nonnegative elements. In the paper, we describe endomorphisms of this semigroup for n = 2.     

The stabilizer of immanants

Immanants are homogeneous polynomials of degree n in n² variables associated to the irreducible representations of the symmetric group S_n of n elements. We describe immanants as trivial S_n modules and show that any homogeneous polynomial of degree n on the space of n×n matrices preserved up to scalar by left and right action by diagonal matrices and conjugation by permutation matrices is a linear combination of immanants. Building on works of Duffner [5] and Purificação [3], we prove that for n?6 the identity component of the stabilizer of any immanant (except determinant, permanent, and π=(4,1,1,1)) is Δ(S_n)?T(GL_n×GL_n)?Z₂, where T(GL_n×GL_n) is the group consisting of pairs of n×n diagonal matrices with the product of determinants 1, acting by left and right matrix multiplication, Δ(S_n) is the diagonal of S_n×S_n, acting by conjugation (S_n is the group of symmetric group) and Z₂ acts by sending a matrix to its transpose. Based on the work of Purificação and Duffner [4], we also prove that for n?5 the stabilizer of the immanant of any non-symmetric partition (except determinant and permanent) is Δ(S_n)?T(GL_n×GL_n)?Z₂.     

A borderline Gaussian random Fourier series for the sample convergence in variation

We give an example of a Gaussian random Fourier series, of which the normalized remainders have their sojourn times converging in variation, namely the convergence in the space L¹(R) of the related density distributions, to the Gaussian density. The convergence in the space L^∞(R) is also proved. In our approach, we use local times of Gaussian random Fourier series.     

Some consequences of the general Riemann hypothesis in the comparative theory of primes

Several effective results are proved about oscillatory properties of π(x, q, l₁) − π(x, q, l₂) and related functions assuming the General Riemann Hypothesis and the absence of real zeros of L-functions.     

Heckman-Opdam's Jacobi polynomials for the BCn root system and generalized spherical functions

We prove that the radial part of the Laplacian on the space of generalized spherical functions on the symmetric space GL(m+n)/GL(m)×GL(n) is the Sutherland differential operator for the root system BC_n and the radial parts of the differential operators corresponding to the higher Casimirs yield the integrals of the quantum Calogero-Moser system. It allows us to give a representation theoretical construction for the three parameter family of Heckman-Opdam's Jacobi polynomials for the BC_n root system.     

Vector valued bilinear maximal operator and method of rotations

In this paper we obtain a bilinear analogue of Fefferman-Stein?s vector valued inequality for classical Hardy-Littlewood maximal function. Also, we prove the boundedness of bilinear Hardy-Littlewood maximal operator from Lp₁(Rn)×Lp₂(Rn)→L¹(Rn), where , by applying the method of rotations.