Functoriality of automorphic L-functions through their zeros  

作　　者：LIU JianYa YE YangBo 

机构地区：[1]School of Mathematics,Shandong University,Jinan 250100,China [2]Department of Mathematics,The University of Iowa,Iowa City,IA 52242-1419,USA

出　　处：《Science China Mathematics》2009年第1期1-16,共16页中国科学：数学（英文版）

基　　金：supported by the National Basic Research Program of China, the National Natural Science Foundation of China (Grant No. 10531060);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

摘　　要：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 $ GL_m (E_\mathbb{A} ) $ 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, π1)…L(s, π k ), where π j , j = 1,…, k, are automorphic cuspidal representations of $ GL_{m_j } (\mathbb{Q}_\mathbb{A} ) $ , 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 $ GL_{m_j } (\mathbb{Q}_\mathbb{A} ) $ , 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 $ GL_{m\ell } (\mathbb{Q}_\mathbb{A} ) $ 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 1,…,m k are small, but are under Hypothesis H and a bound toward the Ramanujan conjecture in other cases.Let E be a Galois extension of Q of degree , not necessarily solvable. In this paper we first prove that the L-function L(s,π) attached to an automorphic cuspidal representation π of GLm(EA) 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,π1)···L(s,πk), where πj, j = 1,...,k, are automorphic cuspidal representations of GLmj(QA), 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 GLmj(QA), j = 1,...,k. In particular, if π is not invariant under the action of any nontrivial σ∈ GalE/Q, then L(s,π) must equal a single L-function attached to a cuspidal representation of GLm (QA) and π has an automorphic induction, provided L(s,π) can factored into a product of L-functions over Q. As E is not assumed to be solvable over Q, our results are beyond the scope of the current theory of base change and automorphic induction. Our results are unconditional when m,m1,...,mk are small, but are under Hypothesis H and a bound toward the Ramanujan conjecture in other cases.

关 键 词：automorphic induction automorphic L-function functoriality zero correlation 11F70 11M26 11M41 

分 类 号：O174[理学—数学]