Experimental Mathematics

Artin's Conjecture, Turing's Method, and the Riemann Hypothesis

Andrew R. Booker

Full-text: Open access

Abstract

We present a group-theoretic criterion under which one may verify the Artin conjecture for some (nonmonomial) Galois representations, up to finite height in the complex plane. In particular, the criterion applies to $S_5$ and $A_5$ representations. Under more general conditions, the technique allows for the possibility of verifying the Riemann hypothesis for Dedekind zeta functions of nonabelian extensions of $\Q$.

In addition, we discuss two methods for locating zeros of arbitrary $L$-functions. The first uses the explicit formula and techniques developed in A. R. Booker and A. Strömbergsson,“Numerical Computations with the Trace Formula and the Selberg Eigenvalue Conjecture,” for computing with trace formulas. The second method generalizes that of Turing for verifying the Riemann hypothesis. In order to apply it we develop a rigorous algorithm for computing general $L$-functions on the critical line via the fast Fourier transform.

Finally, we present some numerical results testing Artin's conjecture for $S_5$ representations, and the Riemann hypothesis for Dedekind zeta functions of $S_5$ and $A_5$ fields.

Article information

Source
Experiment. Math. Volume 15, Issue 4 (2006), 385-408.

Dates
First available in Project Euclid: 5 April 2007

Permanent link to this document
http://projecteuclid.org/euclid.em/1175789775

Mathematical Reviews number (MathSciNet)
MR2293591

Zentralblatt MATH identifier
05196198

Subjects
Primary: 11F80: Galois representations
Secondary: 20C15: Ordinary representations and characters 11Y35: Analytic computations 11M26: Nonreal zeros of $\zeta (s)$ and $L(s, \chi)$; Riemann and other hypotheses

Keywords
Artin's conjecture Galois representations $L$-functions Turing's method Riemann hypothesis

Citation

Booker, Andrew R. Artin's Conjecture, Turing's Method, and the Riemann Hypothesis. Experiment. Math. 15 (2006), no. 4, 385--408. http://projecteuclid.org/euclid.em/1175789775.


Export citation