Value-distribution of twisted automorphic <Emphasis Type="Italic">L</Emphasis>-functions

In this paper, we prove a limit theorem for twisted with character automorphic L-functions with an increasing modulus of the character.     

Zero-density estimates for automorphic <Emphasis Type="Italic">L</Emphasis>-functions

In this paper we prove zero-density estimates of the large sieve type for the automorphic L-function L（s, f × χ）, where f is a holomorphic cusp form and χ（mod q） is a primitive character.     

Functoriality of automorphic <Emphasis Type="Italic">L</Emphasis>-functions through their zeros

Let E be a Galois extension of ℚ of degree l, not necessarily solvable. In this paper we first prove that the L-function L(s, π) attached to an automorphic cuspidal representation π of cannot be factored nontrivially into a product of L-functions over E. Next, we compare the n-level correlation of normalized nontrivial zeros of L(s, π₁)…L(s, π _k ), where π _j , j = 1,…, k, are automorphic cuspidal representations of , with that of L(s,π). We prove a necessary condition for L(s, π) having a factorization into a product of L-functions attached to automorphic cuspidal representations of specific , j = 1,…,k. In particular, if π is not invariant under the action of any nontrivial σ ∈ Gal _E/ℚ, then L(s, π) must equal a single L-function attached to a cuspidal representation of and π has an automorphic induction, provided L(s, π) can factored into a product of L-functions over ℚ. As E is not assumed to be solvable over ℚ, our results are beyond the scope of the current theory of base change and automorphic induction. Our results are unconditional when m,m ₁,…,m _k are small, but are under Hypothesis H and a bound toward the Ramanujan conjecture in other cases. The first author was supported by the National Basic Research Program of China, the National Natural Science Foundation of China (Grant No. 10531060), and Ministry of Education of China (Grant No. 305009). The second author was supported by the National Security Agency (Grant No. H98230-06-1-0075). The United States Government is authorized to reproduce and distribute reprints notwithstanding any copyright notation herein     

On critical values of twisted Artin <Emphasis Type="Italic">L</Emphasis>-functions

We give a simple proof that critical values of any Artin L-function attached to a representation ? with character χ _? are stable under twisting by a totally even character χ, up to the dim ?-th power of the Gauss sum related to χ and an element in the field generated by the values of χ _? and χ over ?. This extends a result of Coates and Lichtenbaum as well as the previous work of Ward.     

On Shalika models and <Emphasis Type="Italic">p</Emphasis>-adic <Emphasis Type="Italic">L</Emphasis>-functions

We use modular symbols to construct p-adic L-functions for cohomological cuspidal automorphic representations on GL(2n), which admit a Shalika model. Our construction differs from former ones in that it systematically makes use of the representation theory of p-adic groups.     

Upper triangular operators and <Emphasis Type="Italic">p</Emphasis>-adic <Emphasis Type="Italic">L</Emphasis>-functions

For a newform f for Γ₀(N) of even weight k supersingular at a prime p ≥ 5, by using infinite dimensional p-adic analysis, we prove that the p-adic L-function L _p (f,α; χ) has finite order of vanishing at any character of the form [(c)\tilde] _s ( x ) = x^s\tilde \chi _s \left( x \right) = x^s. In particular, under the natural embedding of ℤ _p in the group of ℂ* _p -valued continuous characters of ℤ* _p , the order of vanishing at any point is finite.     

Joint universality for dependent <Emphasis Type="Italic">L</Emphasis>-functions

We prove that, for arbitrary Dirichlet L-functions \(L(s;\chi _1),\ldots ,L(s;\chi _n)\) (including the case when \(\chi _j\) is equivalent to \(\chi _k\) for \(j\ne k\)), suitable shifts of type \(L(s+i\alpha _jt^{a_j}\log ^{b_j}t;\chi _j)\) can simultaneously approximate any given set of analytic functions on a simply connected compact subset of the right open half of the critical strip, provided the pairs \((a_j,b_j)\) are distinct and satisfy certain conditions. Moreover, we consider a discrete analogue of this problem where t runs over the set of positive integers.     

Mollification and non-vanishing of automorphic <Emphasis Type="Italic">L</Emphasis>-functions On GL(3)

We prove a non-vanishing result for central values of L-functions on GL(3), by using the mollification method and the Kuznetsov trace formula.     

Congruences between derivatives of geometric <Emphasis Type="Italic">L</Emphasis>-functions

We prove a natural refinement of a theorem of Lichtenbaum describing the leading terms of Zeta functions of curves over finite fields in terms of Weil-étale cohomology. We then use this result to prove the validity of Chinburg’s Ω(3)-Conjecture for all abelian extensions of global function fields, to prove natural refinements and generalisations of the refined Stark conjectures formulated by, amongst others, Gross, Tate, Rubin and Popescu, to prove a variety of explicit restrictions on the Galois module structure of unit groups and divisor class groups and to describe explicitly the Fitting ideals of certain Weil-étale cohomology groups. In an Appendix coauthored with K.F. Lai and K.-S. Tan we also show that the main conjectures of geometric Iwasawa theory can be proved without using either crystalline cohomology or Drinfeld modules.     

On simultaneous non-vanishing of modular <Emphasis Type="Italic">L</Emphasis>-functions

For i = 1, , r, let f _i be newforms of weight 2k _i for Γ₀(N _i ) with trivial character. We consider the simultaneous non-vanishing problem for the central values of twisted L-functions of f _i . By using the Shimura correspondence, we give a certain relation between this problem and the kernel fields of 2-adic Galois representations associated to modular forms. Received: 28 January 2006     

Estimates for coefficients of certain <Emphasis Type="Italic">L</Emphasis>-functions

Let \(\pi _{\varphi }\) (or \(\pi _{\psi }\)) be an automorphic cuspidal representation of \(\text {GL}_{2} (\mathbb {A}_{\mathbb {Q}})\) associated to a primitive Maass cusp form \(\varphi \) (or \(\psi \)), and \(\mathrm{sym}^j \pi _{\varphi }\) be the jth symmetric power lift of \(\pi _{\varphi }\). Let \(a_{\mathrm{sym}^j \pi _{\varphi }}(n)\) denote the nth Dirichlet series coefficient of the principal L-function associated to \(\mathrm{sym}^j \pi _{\varphi }\). In this paper, we study first moments of Dirichlet series coefficients of automorphic representations \(\mathrm{sym}^3 \pi _{\varphi }\) of \(\text {GL}_{4}(\mathbb {A}_{\mathbb {Q}})\), and \(\pi _{\psi }\otimes \mathrm{sym}^2 \pi _{\varphi }\) of \(\text {GL}_{6}(\mathbb {A}_{\mathbb {Q}})\). For \(3 \le j \le 8\), estimates for \(|a_{\mathrm{sym}^j \pi _{\varphi }}(n)|\) on average over a short interval have also been established.     

Transcendental values of class group <Emphasis Type="Italic">L</Emphasis>-functions

Let K be an algebraic number field and f a complex-valued function on the ideal class group of K. Then, f extends in a natural way to the set of all non-zero ideals of the ring of integers of K and we can consider the Dirichlet series \({L(s,f) =\sum_{{\mathfrak a}} f({\mathfrak a}){\bf N}({\mathfrak a})^{-s}}\) which converges for \({{\mathfrak R}(s) >1 }\). After extending this function to \({{\mathfrak R}(s)=1}\), and in the case that f does not contain the trivial character, we study the special value L(1, f) when f is algebraic valued and K is an imaginary quadratic field. Applying Kronecker’s limit formula and Baker’s theory of linear forms in logarithms, we derive a variety of results related to the transcendence of this special value.     

Sum of the Dirichlet <Emphasis Type="Italic">L</Emphasis>-functions over nontrivial zeros of another Dirichlet <Emphasis Type="Italic">L</Emphasis>-function

A. Fujii, and later J. Steuding, considered an asymptotic formula for the sum of values of the Dirichlet L-function taken at the nontrivial zeros of another Dirichlet L-function. Here we improve the error term of this asymptotic formula.     

(Almost) primitivity of Hecke <Emphasis Type="Italic">L</Emphasis>-functions

Let f be a cusp form of the Hecke space and let L _f be the normalized L-function associated to f. Recently it has been proved that L _f belongs to an axiomatically defined class of functions . We prove that when λ ≤ 2, L _f is always almost primitive, i.e., that if L _f is written as product of functions in , then one factor, at least, has degree zeros and hence is a Dirichlet polynomial. Moreover, we prove that if then L _f is also primitive, i.e., that if L _f = F ₁ F ₂ then F ₁ (or F ₂) is constant; for the factorization of non-primitive functions is studied and examples of non-primitive functions are given. At last, the subset of functions f for which L _f belongs to the more familiar extended Selberg class is characterized and for these functions we obtain analogous conclusions about their (almost) primitivity in .     

Universality for <Emphasis Type="Italic">L</Emphasis>-functions in the Selberg class

We prove universality for L-functions L \mathcal{L} from the Selberg class satisfying some mild condition on the Dirichlet coefficients (which might be considered as a prime number theorem for L \mathcal{L} ). This generalizes a previous universality theorem by the second author, where the L-function was assumed to have a polynomial Euler product satisfying the Ramanujan hypothesis.     

Additive problem with the coefficients of Hecke <Emphasis Type="Italic">L</Emphasis>-functions

An asymptotic formula is obtained in an additive problem with the coefficients of Hecke L-functions. The formula is uniform with respect to the parameters of the problem.     

On the Riesz means of coefficients of <Emphasis Type="Italic">m</Emphasis>th symmetric power <Emphasis Type="Italic">L</Emphasis>-functions

Let c _n be the Fourier coefficients of L(sym ^m   f, s), and Δρ(x; sym ^m   f) be the error term in the asymptotic formula for ∑ _n≪x c _n . In this paper, we study the Riesz means of Δρ(x; sym ^m   f) and obtain a truncated Voronoi-type formula under the hypothesis Nice(m, f).     

The first negative coefficients of symmetric square <Emphasis Type="Italic">L</Emphasis>-functions

Let n_sym²fn_{\mathrm{sym}^{2}f} be the greatest integer such that l_sym²f(n) 3 0\lambda_{\mathrm{sym}^{2}f}(n)\ge0 for all n < n_sym²fnn,N)=1, where l_sym²f(n)\lambda_{\mathrm{sym}^{2}f}(n) is the nth coefficient of the Dirichlet series representation of the symmetric square L-function L(s,sym² f) associated to a primitive form f of level N and of weight k. In this paper, we establish the subconvexity bound: n_sym²f << (k²N²)^40/113n_{\mathrm{sym}^{2}f}\ll(k^{2}N^{2})^{40/113} where the implied constant is absolute.     

Discrete universality of the <Emphasis Type="Italic">L</Emphasis>-functions of elliptic curves

A discrete universality theorem is obtained in the Voronin sense for the L-functions of elliptic curves. We use the difference of an arithmetical progression h > 0 such that \(\exp \left\{ {\frac{{2\pi k}}{h}} \right\}\) is rational for some k ≠ 0. A limit theorem in the space of analytic functions plays a crucial role in the proof.     

Congruences of two-variable <Emphasis Type="Italic">p</Emphasis>-adic <Emphasis Type="Italic">L</Emphasis>-functions of congruent modular forms of different weights

Vatsal (Duke Math J 98(2):397–419, 1999) proved that there are congruences between the p-adic L-functions (constructed by Mazur and Swinnerton-Dyer in Invent Math 25:1–61, 1974) of congruent modular forms of the same weight under some conditions. On the other hand, Kim (J Number Theory 144: 188–218, 2014), the second author, constructed two-variable p-adic L-functions of modular forms attached to imaginary quadratic fields generalizing Hida’s work (Invent Math 79:159–195, 1985), and the novelty of his construction was that it works whether p is an ordinary prime or not. In this paper, we prove congruences between the two-variable p-adic L-functions (of the second author) of congruent modular forms of different but congruent weights under some conditions when p is a nonordinary prime for the modular forms. This result generalizes the work of Emerton et al. (Invent Math 163(3): 523–580, 2006), who proved similar congruences between the p-adic L-functions of congruent modular forms of congruent weights when p is an ordinary prime.