New criteria for Vandiver's conjecture using Gauss sums -- heuristics and numerical experiments

DOI10.1007/S12044-020-00561-ZMaRDI QIDQ2183151zbMATHOpenAlexWikidataFDO

Authors Georges Gras

Publication date 26 May 2020

Published in Proceedings of the Indian Academy of Sciences. Mathematical Sciences (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1808.03443

zbMATH Keywords

class field theoryGauss sumsJacobi sumsKummer theory\(p\)-ramificationVandiver's conjecturecyclotomic field of \(p\)-th roots of unity

Mathematics Subject Classification ID

Class field theory (11R37) Gauss and Kloosterman sums; generalizations (11L05) Class numbers, class groups, discriminants (11R29) Cyclotomic extensions (11R18)

Abstract: The link between Vandiver's conjecture and Gauss sums is well known since the papers of Iwasawa (1975), Thaine (1995-1999) and Angl{`e}s-Nuccio (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 pth cyclotomic field (1984). Then we provide a specific use of Gauss sums of characters of order p of F_ell^x and prove new criteria for Vandiver's conjecture to hold (Theorem 1.2(a) using both the sets of exponents of p-irregularity and of p-primarity of suitable twists of the Gauss sums, and Theorem 1.2(b) which does not need the knowledge of Bernoulli numbers or cyclotomic units). We propose in S5.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 direction of the very probable truth of Vandiver's conjecture. All the calculations are given with their PARI/GP programs.

Recommendations

• Turning Washington’s Heuristics in Favor of Vandiver’s Conjecture
• On Vandiver's conjecture and \({\mathbb{Z}}_ p\)-extensions of \({\mathbb{Q}}(\zeta_{p^ n})\)
• On the \(p\)-part of the ideal class group of \(\mathbb{Q} (\zeta_ p + \zeta_ p^{-1})\) and Vandiver's conjecture
• On Jacobi sums in \(\mathbb Q(\zeta_p )\)
• Perfect forms and the Vandiver conjecture

Cites work

• scientific article; zbMATH DE number 3695325 (Why is no real title available?)
• scientific article; zbMATH DE number 3745376 (Why is no real title available?)
• scientific article; zbMATH DE number 34713 (Why is no real title available?)
• scientific article; zbMATH DE number 3506831 (Why is no real title available?)
• scientific article; zbMATH DE number 1820201 (Why is no real title available?)
• scientific article; zbMATH DE number 7272573 (Why is no real title available?)
• scientific article; zbMATH DE number 967875 (Why is no real title available?)
• A bound for the torsion in the \(K\)-theory of algebraic integers
• A cup product in the Galois cohomology of number fields
• A modular construction of unramified p-extensions of \(\mathbb{Q}(\mu_p)\)
• A reciprocity map and the two-variable \(p\)-adic \(L\)-function
• Bernoulli numbers and ideal classes
• Class numbers of real cyclotomic fields of prime conductor
• Cohomology groups of Fermat curves via ray class fields of cyclotomic fields
• Congruences with Eisenstein series and $\mu$-invariants
• Essays in Mathematics and its Applications
• Galois representations with open image
• Genus theory and governing fields
• Greenberg's conjecture and units in multiple \(\mathbb Z_p\)-extensions
• Hermitian lattices and bounds in \(K\)-theory of algebraic integers
• Heuristics and conjectures in the direction of a \(p\)-adic Brauer-Siegel theorem
• Ideal norms in the cyclotomic tower and Greenberg's conjecture
• Irregular primes to 163 million
• Irregular primes to two billion
• Jacobi Sums as "Grossencharaktere"
• Jacobi sums and Stickelberger's congruence
• Local units modulo Gauss sums
• Obstructions to deformations of reducible Galois representations and class groups
• Oddness of residually reducible Galois representations
• On Galois groups of unramified pro-\(p\) extensions
• On Jacobi sums in \(\mathbb Q(\zeta_p )\)
• On Vandiver's conjecture and \({\mathbb{Z}}_ p\)-extensions of \({\mathbb{Q}}(\zeta_{p^ n})\)
• On ray class annihilators of cyclotomic fields
• On regular number fields
• On the Coefficients of the Minimal Polynomials of Gaussian Periods
• On the Galois structure of the class group of certain Kummer extensions
• On the Iwasawa Invariants of Totally Real Number Fields
• On the \(p\)-part of the ideal class group of \(\mathbb{Q} (\zeta_ p + \zeta_ p^{-1})\) and Vandiver's conjecture
• On the coefficients of Jacobi sums in prime cyclotomic fields
• On the universal power series for Jacobi sums and the Vandiver conjecture
• Ordinary pseudorepresentations and modular forms
• Perfect forms and the Vandiver conjecture
• Pseudo-modularity and Iwasawa theory
• Reflection Principles and Bounds for Class Group Torsion
• The p-adic Kummer–Leopoldt constant: Normalized p-adic regulator
• Unités et classes dans les extensions metabéliennes de degrè \(n\ell^s\) sur un corps de nombres algébriques
• \(p\)-adic approach of Greenberg's conjecture for totally real fields

Cited in

(2)

• A generalized problem associated to the Kummer-Vandiver conjecture
• The Vandiver conjecture and a new conjecture on the distribution of irregular primes

Describes a project that uses

Uses Software

• PARI/GP

This page was built for publication: New criteria for Vandiver's conjecture using Gauss sums -- heuristics and numerical experiments

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2183151)