Heuristics and conjectures in the direction of a p-adic Brauer-Siegel Theorem

  title={Heuristics and conjectures in the direction of a p-adic Brauer-Siegel Theorem},
  author={Georges Gras},
  journal={Math. Comput.},
  • Georges Gras
  • Published 12 January 2018
  • Mathematics
  • Math. Comput.
Let p be a fixed prime number. Let K be a totally real number field of discriminant DK and let TK be the torsion group of the Galois group of the maximal abelian p-ramified pro-p-extension of K (under Leopoldt’s conjecture). We conjecture the existence of a constant Cp > 0 such that log(#TK) ≤ Cp · log( √ DK) when K varies in some specified families (e.g., fields of fixed degree). In some sense, we suggest the existence of a p-adic analogue, of the classical Brauer–Siegel Theorem, wearing here… 
Algorithmic complexity of Greenberg’s conjecture
Let k be a totally real number field and p a prime. We show that the “complexity” of Greenberg’s conjecture (λ = μ = 0) is of padic nature governed (under Leopoldt’s conjecture) by the finite torsion
Algorithmic complexity of Greenberg's conjecture
Let k be a totally real number field. We show that the ``complexity'' of Greenberg's conjecture (lambda = mu = 0) is of p-adic nature and is governed by the torsion group T_k of the Galois group of
Genus theory and ε-conjectures on p-class groups
A program to test the p-rationality of any number field
Let K be a number field. We prove that its ray class group modulo p 2 (resp. 8) if p > 2 (resp. p = 2) characterizes its p-rationality. Then we give two short, very fast PARI Programs (§ § 3.1, 3.2)
Test of Vandiver's conjecture with Gauss sums -- Heuristics
The link between Vandiver's conjecture and Gauss sums is well-known since the papers of Iwasawa (1975) and Angles--Nuccio (2010); this context has been considered by many authors with various
Composantes isotypiques de pro-$p$-extensions de corps de nombres et $p$-rationalite
Let p be a prime number, and let K/k be a finite Galois extension of number fields with Galois group ∆ of order coprime to p. Let S be a finite set of non archimedean places of k including the set
  • Mathematics
  • 2020
Let K := Q(l) be the nth layer of the cyclotomic Zl-extension. It is conjectured that K is principal (Weber’s conjecture for l = 2). Many studies (Ichimura– Miller–Morisawa–Nakajima–Okazaki) go in
The p-rank ε-conjecture on class groups is true for towers of p-extensions
Let p≥2 be a given prime number. We prove, for any number field kappa and any integer e≥1, the p-rank e-conjecture, on the p-class groups Cl_F, for the family F_kappa^p^e of towers F/kappa built as
Application of the notion of $\varphi$-object to the study of $p$-class groups and $p$-ramified torsion groups of abelian extensions
We revisit, in an elementary way, the statement of the “Main Conjecture for p-class groups”, in abelian fields K, in the non semi-simple case p | [K : Q]; for this, we use an “arithmetic” definition
Practice of the Incomplete $p$-Ramification Over a Number Field -- History of Abelian $p$-Ramification
The theory of p-ramification in the maximal prop extension of a number field K, unramified outside p and $\infty$, is well known including numerical experiments with PARI/GP programs. The case of


Approche p-adique de la conjecture de Greenberg pour les corps totalement réels@@@p-adic approach of Greenberg’s conjecture for totally real fields
Let k be a totally real number field ant let k∞ be its cyclotomic Zp-extension for a prime p > 2. We give (Theorem 3.4) a sufficient condition of nullity of the Iwasawa invariants λ, μ, when p
Infinite Global Fields and the Generalized Brauer-Siegel Theorem
The paper has two purposes. First, we start to develop a theory of infinite global fields, i.e., of infinite algebraic extensions either of Q or of Fr(t). We produce a series of invariants of such
Brauer-Siegel for arithmetic tori and lower bounds for Galois orbits of special points
In \cite{S}, Shyr derived an analogue of Dirichlet's class number formula for arithmetic Tori. We use this formula to derive a Brauer-Siegel formula for Tori, relating the Discriminant of a torus to
On the order modulo p of an algebraic number (for p large enough)
Let K/Q be Galois, and let eta in K* whose conjugates are multiplicatively independent. For a prime p, unramified, prime to eta, let np be the residue degree of p and gp the number of P I p, then let
On the Iwasawa invariants of totally real number fields
We shall show two sufficient conditions under which the Iwasawa invariants λk and μk of a totally real fieldk vanish for an odd primel, based on the results obtained in [1], [3] and [4]. LetKn be the
On the Growth of p-Class Groups in p-Class Field Towers
Let p be a fixed prime number. By a p-extension of fields, we understand a Galois extension with pro-p Galois group. If k is a number field, let k Ž`. be the maximal unramified p-extension of k s k
Class Groups of Number Fields: Numerical Heuristics
Extending previous work of H. W. Lenstra, Jr. and the first author, we give quantitative conjectures for the statistical behavior of class groups and class numbers for every type of field of degree
The abc conjecture and non-Wieferich primes in arithmetic progressions
The Brauer–Siegel Theorem
Explicit bounds are given for the residues at s = 1 of the Dedekind zeta functions of number fields. As a consequence, a simple proof of the Brauer–Siegel theorem and explicit lower bounds for class