I’ve been incognito for the last few months due to classes and research interests. More posts are comming in the following weeks to compensate for this absence. In other new, this is a presentation I gave for the Student Number Theory Seminar at the University of Minnesota in the Fall of 2019.
Understanding the analytic properties of zeta and -functions is critical to algebraic number theory and in particular the Riemann Hypothesis. In the 1980’s an idea emerged that studying averaging families of Dirichlet -functions gives analytic information about the original family of -functions. We consider a well-chosen averaging family and discuss conjectures regarding the asymptotic behavior of the family’s moments, the implications these conjectures have for the Riemann Hypothesis, and the computation of polynomials attached to these conjectures using the theory of infinite dimensional Kac-Moody Lie algebras.
In Analytic Number Theory we are interested in understanding the analytic properties of zeta and -functions, i.e, the Riemann Hypothesis. For example, if
then the Riemann hypothesis is equivalent to .
In general, it suffices to to have strong bounds of the underlying -functions on the critical line. For example: for small and , and ,
where is a polynomial in of degree implies the Lindelöf Hypothesis, and has large applications for the Riemann Hypothesis.
In the 1980’s an idea emerged where it could be useful to consider an averaging family of -functions to create a multiple Dirichlet series. -functions alone behave chaotically, but if a good averaging family is chosen the associated multiple Dirichlet series has nice properties and gives information regarding the analytic properties of the original -functions in the family. It has yet to be made precise which families are nice, and this is in part why the study of multiple Dirichlet series is hard.
For non-zero and square-free, let
where is the Kronecker symbol defined by
where is the prime factorization of , and is the Legendre symbol defined by
is the quadratic character attached to . Define the -function associated to by
These are the -functions in the number field setting. We have similar -functions in the function field setting. Indeed, if is a finite field of odd characteristic, then over we have an analogous character for monic. The associated -function is defined by
In the number field setting, for and , define the -th moment by
We would like to study the asymptotics of this average. Often it’s convenient to work with a smoothed version:
for suitably nice functions ; purely analytic methods produced asymptotics for the original moment from the smoothed version. In the function field setting we define the -th moment as
In 2005, Conrey, Farmer, Keating, Rubinstein, and Snaith put fourth the following conjecture for the asymptotics of moments in the number field setting (see ):
Conjecture (CFKRS): For , nice functions and small ,
where is a polynomial of degree .
In 2019, it was shown by Diaconu (see ) that additional secondary terms emerge in the asymptotic formula for the CFKRS conjecture. So, coming up with the correct conjecture for the asymptotic behavior is difficult. The refined conjecture for the number field case is:
Conjecture: For , , nice functions , and small ,
for explicitly computable polynomials .
The analogous conjecture for the function field setting is:
Conjecture: For , , and small ,
for explicitly computable polynomials .
The takeaway from these conjectures is that the right-hand sides no longer contain quadratic Dirichlet -functions at the expense of error terms.
The above conjectures are also important for the following reason: often there is an analogy between arguments in the function field setting and the number field setting, albeit the function field setting is drastically easier. It has been proved that if the refined conjecture in the function field setting is assumed then function field Riemann follows. We hope the proof of the refined conjecture in the function field setting will have an analogous proof for number fields, and this will provide some insight on how to prove number field Riemann. My research concerns computing the and . The current goal is to compute the because the calculations in the function field setting are easier to compute from a technical standpoint.
So how do we compute the ? It suffices to consider a multiple Dirichlet series which is closely connected to the moments for the function field setting (setting all makes this expression look very close to the definition for moments):
The sum in this multiple Dirichlet series runs over the fundamental discriminants which makes its analytic behavior difficult to analyze. Instead, we work with a modified series whose definition we will avoid due to the construction of this modified series being highly nontrivial. Assuming only the meromorphic continuation of , it satisfies a group of functional equations
has a simple pole at . In fact, all the poles of are reflections of this pole by products of the and . If we can compute all of the poles, standard analytic methods produce analytic information about and hence as well. We can use this pole data to compute the explicitly.
Kac-Moody Lie Algebras and Root Systems
One major drawback is that the group generated by is infinite for , so we need some powerful machinery to compute the poles. This machinery is the theory of Kac-Moody Lie algebras. A Kac-Moody Lie algebra can be characterized by the following:
- A generalized Cartan matrix .
- A set of linear independent vectors , called roots, over a complex vector space.
- A set of linear independent vectors called coroots in the dual vector space such that .
The roots define a root system: a subset of vectors contained in the -span of the which are invariant under a group of reflections called the Weyl group.
In our setting is isomorphic to the Weyl group of the Kac-Moody Lie algebra with generalized Cartan matrix
Because this generalized Cartan matrix is nice, computing the action of the reflections on the is easy. Computing all reflections of the simple pole is equivalent to finding all real roots of this Kac-Moody Lie algebra; given a real root we can substitute the original pole in to get the reflected pole. We would like a closed formula to compute the real roots. Finding such a closed formula is difficult and this is what I’m currently working to achieve. The difficulty is that the roots associated to this Weyl group are of two types: real and imaginary (imaginary roots do not appear in finite root systems). The real roots are such that there exists a sending to an or . We are only concerned with the real roots, but distinguishing between a real root and an imaginary root by inspection is not an easy task. Indeed, any root is of the form
and there’s not much to directly tell us if is real. Nevertheless, we have an inductive argument to compute real roots with fixed . Computing the real roots for fixed is sufficient, but we would like a closed formula to compute the real roots.
 J.B.~Conrey, D.W.~Farmer, J.P.~Keating, M.O.~Rubinstein and N.C.~Snaith: Integral moments of -functions. Proc. London Math. Soc. (3) 91 (2005), no.~1, 33–104.
 A.~Diaconu and I.~Whitehead: On the third moment of II: the number field case. J. Eur. Math. Soc. (JEMS), to appear. Available at arXiv:1804.00690.