We construct multiple Dirichlet series in several complex variables whose coefficients involve quadratic residue symbols. The series are shown to have an analytic continuation and satisfy a certain group of functional equations. These are the first examples of an infinite collection of unstable Weyl group multiple Dirichlet series in greater than two variables.
Let Phi be a reduced root system of rank r. A Weyl group multiple Dirichlet series for Phi is a Dirichlet series in r complex variables s_1,...,s_r, initially converging for Re(s_i) sufficiently large, that has meromorphic continuation to C^r and satisfies functional equations under the transformations of C^r corresponding to the Weyl group of Phi. A heuristic definition of such series was given in [2], and they have been investigated in certain special cases in [2-6, 11-14]. In this paper we generalize results in [13] to construct Weyl group multiple Dirichlet series by a uniform method, and …
We formulate a conjecture for the local parts of Weyl group multiple Dirichlet series attached to root systems of type D. Our conjecture is analogous to the description of the local parts of type A series given by Brubaker, Bump, Friedberg, and Hoffstein in terms of Gelfand--Tsetlin patterns. Our conjecture is given in terms of patterns for irreducible representations of even orthogonal Lie algebras developed by Littelmann.
We study the structure of $p$-parts of Weyl group multiple Dirichlet series. In particular, we extend results of Chinta, Friedberg, and Gunnells and show, in the stable case, that the $p$-parts of Chinta and Gunnells agree with those constructed using the crystal graph technique of Brubaker, Bump, and Friedberg. In this vein, we give an explicit recurrence relation on the coefficients of the $p$-parts, which allows us to describe the support of the $p$-parts and address the extent to which they are uniquely determined.
Weyl group multiple Dirichlet series, introduced by Brubaker, Bump, Chinta, Friedberg and Hoffstein, are expected to be Whittaker coefficients of Eisenstein series on metaplectic groups. Chinta and Gunnells constructed these multiple Dirichlet series for all the finite root systems using the method of averaging a Weyl group action on the field of rational functions. In this paper, we generalize Chinta and Gunnells' work and construct Weyl group multiple Dirichlet series for the root systems associated with symmetrizable Kac-Moody algebras, and establish their functional equations and meromorph…
We develop the theory of Weyl group multiple Dirichlet series for root systems of type C. For an arbitrary root system of rank r and a positive integer n, these are Dirichlet series in r complex variables with analytic continuation and functional equations isomorphic to the associated Weyl group. In type C, they conjecturally arise from the Fourier-Whittaker coefficients of minimal parabolic Eisenstein series on an n-fold metaplectic cover of SO(2r+1). For any odd n, we construct an infinite family of Dirichlet series conjecturally satisfying the above analytic properties. The coefficients of …
For a semisimple Lie algebra admitting a good enumeration, we prove a parametrization for the elements in its Weyl group. As an application, we give a coordinate-free comparison between the crystal graph description (when it is known) and the Lie-theoretic description of the Weyl group multiple Dirichlet series in the stable range.
A Weyl group multiple Dirichlet series is a Dirichlet series in several complex variables attached to a root system Phi. The number of variables equals the rank r of the root system, and the series satisfies a group of functional equations isomorphic to the Weyl group W of Phi. In this paper we construct a Weyl group multiple Dirichlet series over the rational function field using n-th order Gauss sums attached to the root system of type A_2. The basic technique is to construct a rational function in r variables invariant under a certain action of W, and use this to build a ``local factor'' of…
Let Phi be a reduced root system of rank r. A Weyl group multiple Dirichlet series for Phi is a Dirichlet series in r complex variables s_1,...,s_r, initially converging for Re(s_i) sufficiently large, which has meromorphic continuation to C^r and satisfies functional equations under the transformations of C^r corresponding to the Weyl group of Phi. Two constructions of such series are available, one based on summing products of n-th order Gauss sums, the second based on averaging a certain group action over the Weyl group. In this paper we study these constructions and the relationship betwee…
Weyl group multiple Dirichlet series are Dirichlet series in $r$ complex variables, with analytic continuation to $\mathbb{C}^r$ and a group of functional equations isomorphic to the Weyl group of a reduced root system of rank $r$. Such series may be defined for any global field $K$, but in the case when $K$ is an algebraic function field they are expected to be, up to a variable change, rational functions in several variables. We verify the rationality of these functions in the case when $K=\mathbb{F}_q(T)$, and describe the denominators and support of the numerators.
We prove a Weyl-exponent subconvex bound for any Dirichlet $L$-function of cube-free conductor. We also show a bound of the same strength for certain $L$-functions of self-dual $\mathrm{GL}_2$ automorphic forms that arise as twists of forms of smaller conductor.
We prove a Lindelöf-on-average upper bound for the fourth moment of Dirichlet $L$-functions of conductor $q$ along a coset of the subgroup of characters modulo $d$ when $q^*|d$, where $q^*$ is the least positive integer such that $q^2|(q^*)^3$. As a consequence, we finish the previous work of the authors and establish a Weyl-strength subconvex bound for all Dirichlet $L$-functions with no restrictions on the conductor.
We define a multiple Dirichlet series whose group of functional equations is the Weyl group of the affine Kac-Moody root system $\tilde{A}_n$, generalizing the theory of multiple Dirichlet series for finite Weyl groups. The construction is over the rational function field $\mathbb{F}_q(t)$, and is based upon four natural axioms from algebraic geometry. We prove that the four axioms yield a unique series with meromorphic continuation to the largest possible domain and the desired infinite group of symmetries.
We investigate the Shintani zeta functions associated to the prehomogeneous spaces, the example under consideration is the set of $2 \times 2\times 2$ integer cubes. We show that there are three relative invariants under a certain parabolic group action, they all have arithmetic nature and completely determine the equivalence classes. We show that the associated Shintani zeta function coincides with the $A_3$ Weyl group multiple Dirichlet series. Finally, we show that the set of semi-stable integer orbits maps finitely and surjectively to a certain moduli space.
In this paper and its sequel \cite{DPP}, we investigate the precise relationship between the quadratic affine Weyl group multiple Dirichlet series in the sense of \cite{CG1, BD}, and those defined axiomatically by Whitehead \cite{White2} and \cite{White1}. In particular, we show that the axiomatic quadratic Weyl group multiple Dirichlet series of type $D_{\scriptscriptstyle 4}^{\scriptscriptstyle (1)}$ over rational function fields of odd characteristic admits meromorphic continuation to the interior of the corresponding complexified Tits cone. We shall also determine the polar divisor of this…
Let $W$ be the Weyl group of a simply-laced affine Kac-Moody Lie group, excepting $\tilde{A}_n$ for $n$ even. We construct a multiple Dirichlet series $Z(x_1, \ldots x_{n+1})$, meromorphic in a half-space, satisfying a group $W$ of functional equations. This series is analogous to the multiple Dirichlet series for classical Weyl groups constructed by Brubaker-Bump-Friedberg, Chinta-Gunnells, and others. It is completely characterized by four natural axioms concerning its coefficients, axioms which come from the geometry of parameter spaces of hyperelliptic curves. The series constructed this w…
We prove a subconvexity bound for the central value L(1/2, chi) of a Dirichlet L-function of a character chi to a prime power modulus q=p^n of the form L(1/2, chi)\ll p^r * q^(theta+epsilon) with a fixed r and theta\approx 0.1645 < 1/6, breaking the long-standing Weyl exponent barrier. In fact, we develop a general new theory of estimation of short exponential sums involving p-adically analytic phases, which can be naturally seen as a p-adic analogue of the method of exponent pairs. This new method is presented in a ready-to-use form and applies to a wide class of well-behaved phases including…
We prove a Weyl-type subconvexity bound for the central value of the $L$-function of a Hecke-Maass form or a holomorphic Hecke eigenform twisted by a quadratic Dirichlet character, uniform in the archimedean parameter as well as the twisting parameter. A similar hybrid bound holds for quadratic Dirichlet $L$-functions, improving on a result of Heath-Brown. As a consequence of these new bounds, we obtain explicit estimates for the number of Heegner points of large odd discriminant in shrinking sets.
Weyl group multiple Dirichlet series and metaplectic Whittaker functions can be described in terms of crystal graphs. We present crystals as parameterized by Littelmann patterns and we give a survey of purely combinatorial constructions of prime power coefficients of Weyl group multiple Dirichlet series and metaplectic Whittaker functions using the language of crystal graphs. We explore how the branching structure of crystals manifests in these constructions, and how it allows access to some intricate objects in number theory and related open questions using tools of algebraic combinatorics.
We develop certain aspects of the theory of shifted multiple Dirichlet series and study their meromorphic continuations. These continuations are used to obtain explicit spectral first and second moments of Rankin-Selberg convolutions. One consequence is a Weyl type estimate for the Rankin-Selberg convolution of a holomorphic cusp form and a Maass form with spectral parameter $|t_j|\le T$, namely: $$ \left| L\left(\frac{1}{2}+ir, f\times u_j\right) \right| \ll_N T^{2/3+ε}, $$ uniformly, for $|r| \le T^{2/3}$, with the implied constant depending only on $f$ and the level $N$.
We sketch a Weyl creation operator approach to the Riemann Hypothesis; i.e.,arithmetic on the Weyl algebras with ergodic theory to transport operators. We prove that finite Hasse-Dirichlet alternating zeta functions or eta functions can be induced from a product of "creation operators". The latter idea is the result of considering complex quantum mechanics with complex time-space related concepts. Then we overview these ideas, with variations, which may provide a pathway that may settle RH; e.g., a Euler Factor analysis to study the quantum behavior of the integers as one pushes up the critica…
Let f be a Hecke-Maass or holomorphic primitive cusp form for $SL(2,\mathbb{Z})$ with Fourier coefficients $λ_{f}(n)$. Let $χ$ be a primitive Dirichlet character of modulus p, where p is a prime number. In this article we prove the following Weyl-type bound: for any $ε>0$, $$\sum_{|n| \ll N}λ_{f}(n)χ(n) \ll_{f,ε}N^{3/4 }p^{1/6}(pN)^ε.$$ We can see an improvement of the range $N > p^{3/4}$ to the range $N > p^{2/3}$ and we get a bound for $S_{f,χ}(N)$ without going into the $L$-function.
In this paper we work over $Γ_0(N)$, for any $N$ and write the spectral moment of a product of two distinct Rankin-Selberg convolutions at a general point on the critical line $\frac{1}{2}+it$ as a main term plus a sharp error term in the $t$ aspect and the spectral aspect. As a result we obtain hybrid Weyl type subconvexity results in the $t$ and spectral aspects. Also, for fixed modular forms $f$, $g$ of even weight $k\geq 4$ we show there exists a Maass cusp form $u_j$ such that $L(1/2, f\times u_j)$, $L(1/2, g\times u_j)$ are simultaneous non-zero.
An explicit hybrid estimate for $L(1/2+it,χ)$ is derived, where $χ$ is a Dirichlet character modulo $q$. The estimate applies when $t$ is bounded away from zero, and is most effective when $q$ is powerfull, yielding an explicit Weyl bound in this case. The estimate takes a particularly simple form if $q$ is a sixth power. Several hybrid lemmas of van der Corput--Weyl type are presented.
In this article we study analytic properties of the multiple Dirichlet series associated to additive and Dirichlet characters. For the multiple Dirichlet series associated to additive characters, the meromorphic continuation is established via obtaining translation formulas satisfied by these multiple Dirichlet series. While it seems difficult to obtain such a translation formula for the multiple Dirichlet series associated to Dirichlet characters, we rely on their intrinsic connection with the multiple Dirichlet series associated to additive characters in order to investigate their analytic c…
In this article, we obtain the analytic continuation of the multiple shifted Lucas zeta function, multiple Lucas $L$-function associated to Dirichlet characters and additive characters. We then compute a complete list of exact singularities and residues of these functions at these poles. Further, we show the rationality of the multiple Lucas $L$-functions associated with quadratic characters at negative integer arguments.
A method of estimating sums of multiplicative functions braided with Dirichlet characters is demonstrated, leading to a taxonomy of the characters for which such sums are large.
We prove that suitable properties of the twists by Dirichlet characters of an L-function of degree 2 imply that its Euler product is of polynomial type.
We evaluate the average of cubic and quartic Dirichlet character sums with the modulus going up to a size comparable to the length of the individual sums. This generalizes a result of Conrey, Farmer and Soundararajan on quadratic Dirichlet character sums.
We obtain by simple elementary method, the character average of fourth power of Dirichlet L-series at unity.This result seems to be new.We also obtain character average of second power of Dirichlet L-series at unity,using the power series in second variable of Hurwitz zeta function at unity.
Katz showed that the L-functions of all Dirichlet characters of F_q(t), with conductor a fixed power of a degree one prime, are equidistributed in the limit as q goes to infinity. We generalize this statement to the L-functions of twists of an arbitrary Galois representation by Dirichlet characters, including independence of the L-functions of twists of different representations by the same Dirichlet character. A similar generalization, without the independence statement, for characters with squarefree conductor, was proven by Hall, Keating, and Roditty-Gershon.
The Postnikov character formula is used to express large portions of a Dirichlet character sum in terms of quadratic exponential sums. The quadratic sums are then computed using an analytic algorithm previously derived by the author. This leads to a power-saving if the modulus is smooth enough. As an application, a fast, and potentially practical, method to compute Dirichlet L-functions with complexity exponent 1/3 for smooth enough moduli is derived.
We use the $q$-analogue of van der Corput's method to estimate short character sums to smooth moduli. If $χ$ is a primitive Dirichlet character modulo a squarefree, $q^δ$-smooth integer $q$ we show that $$L(\frac12,χ)\ll_εq^{\frac{27}{164}+O(δ)+ε}.$$
Let $\mathbb{A}=\mathbb{F}_q[T]$ be the polynomial ring over the finite field $\mathbb{F}_q$. In this article, we prove a generalization of Tóth identity on $\mathbb{A}$ involving arithmetical functions, multiplicative and additive characters.
Using some basic properties of the gamma function, we evaluate a simple class of infinite products involving Dirichlet characters as a finite product of gamma functions and, in the case of odd characters, as a finite product of sines. As a consequence we obtain evaluations of certain multiple $L$-series. In the final part of this paper we derive expressions for infinite products of cyclotomic polynomials, again as finite products of gamma or of sine functions.
In this paper, we prove asymptotic expansions of generalized partial theta functions with a nonprincipal Dirichlet character and relate these expansions to certain $L$-series.
For a given Dirichlet character $χ(n) = e^{i θ_n}$, we prove central limit theorems for the series $\sum_{p'} \cos θ_{p'}$ for non-principal characters, and $\sum_{p' } \cos (t \log p')$ for principal characters, where $p'$ are integers based on a variant of Cramér's random model for the primes. For non-principal characters, we use these results to show that the Generalized Riemann Hypothesis for the associated $L$-function is true with probability equal to one. For principal characters we propose how to extend these arguments to $\Re (s) = t \to \infty$.
Let $χ$ be a Dirichlet character (mod $n$) with conductor $d$. In a quite recent paper Zhao and Cao deduced the identity $\sum_{k=1}^n (k-1,n) χ(k)= φ(n)τ(n/d)$, which reduces to Menon's identity if $χ$ is the principal character (mod $n$). We generalize the above identity by considering even functions (mod $n$), and offer an alternative approach to proof. We also obtain certain related formulas concerning Ramanujan sums.
We construct a class of companion elliptic functions associated with the even Dirichlet characters. Using the well-known properties of the classical Weierstrass elliptic function $\wp(z|τ)$ as the blueprint, we will derive their representations in terms of $q$-series and partial fractions, explore the significance of the coefficients of their power series expansions and establish the modular properties under the actions of the arithmetic groups $Γ_0(N)$ and $Γ_1(N)$.
For a rational valued periodic function, we associate a Dirichlet series and provide a new necessary and sufficient condition for the vanishing of this Dirichlet series specialized at positive integers. This question was initiated by Chowla, and carried out by Okada for a particular infinite sum. Our approach relies on the decomposition of the Dirichlet characters in terms of primitive characters. Using this, we find some new family of natural numbers for which a conjecture of Erdös holds. We also characterize rational valued periodic functions for which the associated Dirichlet series vanishe…
An algorithm to compute Dirichlet $L$-functions for many quadratic characters is derived. The algorithm is optimal (up to logarithmic factors) provided that the conductors of the characters under consideration span a dyadic window.
Using recurrence matrices, defined and described with some details, we study a few determinants related to evaluations of binomial coefficients on Dirichlet characters modulo 2, 4 and 8.