1. New criteria for Vandiver’s conjecture using Gauss sums – Heuristics and numerical experiments
- Author
-
Georges Gras
- Subjects
Discrete mathematics ,Conjecture ,Mathematics::Number Theory ,General Mathematics ,Modulo ,010102 general mathematics ,Galois group ,Order (ring theory) ,Cyclotomic field ,01 natural sciences ,010101 applied mathematics ,symbols.namesake ,Gauss sum ,symbols ,0101 mathematics ,Bernoulli number ,Mathematics ,Counterexample - Abstract
The link between Vandiver’s conjecture and Gauss sums is well known since the papers of Iwasawa (Symposia Mathematica, vol 15, Academic Press, pp 447–459, 1975), Thaine (Mich Math J 42(2):311–344, 1995; Trans Am Math Soc 351(12):4769–4790, 1999) and Angles and Nuccio (Acta Arith 142(3):199–218, 2010). This conjecture is required in many subjects and we shall give such examples of relevant references. In this paper, we recall our interpretation of Vandiver’s conjecture in terms of minus part of the torsion of the Galois group of the maximal abelian p-ramified pro-p-extension of the p-th cyclotomic field (Sur la p-ramification abelienne (1984) vol. 20, pp. 1–26). Then we provide a specific use of Gauss sums of characters of order p of $${\mathbb {F}}_\ell ^\times $$ and prove new criteria for Vandiver’s conjecture to hold (Theorem 2 (a) using both the sets of exponents of p-irregularity and of p-primarity of suitable twists of the Gauss sums, and Theorem 2 (b) which does not need the knowledge of Bernoulli numbers or cyclotomic units). We propose in §5.2 new heuristics showing that any counterexample to the conjecture leads to excessive constraints modulo p on the above twists as $$\ell $$ varies and suggests analytical approaches to evidence. We perform numerical experiments to strengthen our arguments in the direction of the very probable truth of Vandiver’s conjecture and to inspire future research. The calculations with their PARI/GP programs are given in appendices.
- Published
- 2020