Canadian Mathematical Society
Canadian Mathematical Society
  location:  Publicationsjournals
Search results

Search: All articles in the CJM digital archive with keyword Frobenius group

  Expand all        Collapse all Results 1 - 1 of 1

1. CJM 2016 (vol 68 pp. 571)

Gras, Georges
Les $\theta$-régulateurs locaux d'un nombre algébrique : Conjectures $p$-adiques
Let $K/\mathbb{Q}$ be Galois and let $\eta\in K^\times$ be such that $\operatorname{Reg}_\infty (\eta) \ne 0$. We define the local $\theta$-regulators $\Delta_p^\theta(\eta) \in \mathbb{F}_p$ for the $\mathbb{Q}_p\,$-irreducible characters $\theta$ of $G=\operatorname{Gal}(K/\mathbb{Q})$. A linear representation ${\mathcal L}^\theta\simeq \delta \, V_\theta$ is associated with $\Delta_p^\theta (\eta)$ whose nullity is equivalent to $\delta \geq 1$. Each $\Delta_p^\theta (\eta)$ yields $\operatorname{Reg}_p^\theta (\eta)$ modulo $p$ in the factorization $\prod_{\theta}(\operatorname{Reg}_p^\theta (\eta))^{\varphi(1)}$ of $\operatorname{Reg}_p^G (\eta) := \frac{ \operatorname{Reg}_p(\eta)}{p^{[K : \mathbb{Q}\,]} }$ (normalized $p$-adic regulator). From $\operatorname{Prob}\big (\Delta_p^\theta(\eta) = 0 \ \& \ {\mathcal L}^\theta \simeq \delta \, V_\theta\big ) \leq p^{- f \delta^2}$ ($f \geq 1$ is a residue degree) and the Borel-Cantelli heuristic, we conjecture that, for $p$ large enough, $\operatorname{Reg}_p^G (\eta)$ is a $p$-adic unit or that $p^{\varphi(1)} \parallel \operatorname{Reg}_p^G (\eta)$ (a single $\theta$ with $f=\delta=1$); this obstruction may be lifted assuming the existence of a binomial probability law confirmed through numerical studies (groups $C_3$, $C_5$, $D_6$). This conjecture would imply that, for all $p$ large enough, Fermat quotients, normalized $p$-adic regulators are $p$-adic units and that number fields are $p$-rational. We recall some deep cohomological results that may strengthen such conjectures.

Keywords:$p$-adic regulators, Leopoldt-Jaulent conjecture, Frobenius group determinants, characters, Fermat quotient, Abelian $p$-ramification, probabilistic number theory
Categories:11F85, 11R04, 20C15, 11C20, 11R37, 11R27, 11Y40

© Canadian Mathematical Society, 2016 :