Heuristics in direction of a p-adic Brauer--Siegel theorem

TL;DR

This paper explores a p-adic analogue of the Brauer--Siegel theorem, conjecturing bounds on torsion groups of Galois extensions related to p-adic zeta functions, supported by numerical evidence.

Contribution

It introduces a new conjecture relating torsion groups and discriminants in a p-adic setting, with extensive numerical verification and computational tools.

Findings

Numerical evidence supports the conjecture for quadratic and cubic fields.

Proposes a p-adic Brauer--Siegel type inequality involving torsion groups.

Provides PARI/GP programs for further numerical exploration.

Abstract

Let p be a fixed prime number. Let K be a totally real number field of discriminant D\_K and let T\_K 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 C\_p>0 such that log(\#T\_K) $\le$ C\_p log(\sqrt(D\_K)) 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 on the valuation of the residue at s=1 (essentially equal to \#T\_K) of the p-adic zeta-function zeta\_p(s) of K.We shall use a different definition that of Washington, given in the 1980's, and approach this question via the arithmetical study of T\_K since p-adic analysis seems to fail because of possible abundant "Siegel zeros" of zeta\_p(s), contrary to the classical framework.We give extensive numerical verifications for quadratic and cubic fields (cyclic or not) and publish the PARI/GP programs directly usable by the reader for numerical improvements. Such a conjecture (if exact) reinforces our conjecture that any fixed number field K is p-rational (i.e., T\_K=1) for all p >> 0 .