Sums of twisted GL(2) \(L\)-functions over function fields. (Q1413731): Difference between revisions

This paper concerns a weighted sum of twisted \(L\)-functions, \[ \sum_D L(s, \pi \otimes \chi_D) a_0(s, \pi, D) \eta(D) | D| ^{-w}. \] Here \(\pi\) (respectively, \(\eta\)) is a cuspidal automorphic representation of \(\text{GL}_2(\mathbb{A}_K)\) (respectively, \(\text{GL}_1(\mathbb{A}_K)\)) and \(\chi_D\) are quadratic characters. The field \(K\) is a function field of a smooth projective curve \(C\) over a finite field of odd characteristic. The sum runs over a certain set of effective divisors of \(C\). The weight functions \(a_0(s, \pi, D)\) have been defined by \textit{D. Bump}, \textit{S. Friedberg} and \textit{J. Hoffstein} [Sums of twisted GL(3) automorphic \(L\)-functions, in Contributions to automorphic forms, geometry and arithmetic, Johns Hopkins Univ. Press, Baltimore, MD, 131--162 (2004)], who proved the uniqueness. That is, there is a unique family of weight functions such that the sum satisfies a certain nonabelian group of functional equations. This paper presents a different approach. The authors rewrite the sum as a multiple Dirichlet series and give a new description of the weight functions. They prove the sum has a finite, nonabelian group of functional equations. They also establish a similar result in the noncuspidal case, where the natural object is a sum in three complex variables. The main result is the proof that the sums are rational functions. The authors specify the possible denominators and the degrees of the numerators of these rational functions.