The lifted root number conjecture for fields of prime degree over the rationals: an approach via trees and Euler systems

[La conjecture de Chinburg relevée pour les extensions de degré premier du corps rationnel : une approche par les arbres et les systèmes d'Euler]

Greither, Cornelius¹  ; Kučera, Radiu² 

¹Universität des Bundeswehr München, Fakultät fur Informatik, Institut für theoretische Informatik und Mathematik, 85577 Neubiberg (Allemagne)
²Masarykova Univerzita, P{ř}íprodov{ě}decká Fakulta, Janá{č}kovo nám 2a, 663 95 Brno (République Tchèque)

Annales de l'Institut Fourier, Tome 52 (2002) no. 3, pp. 735-777

Abstract (VO)

The so-called Lifted Root Number Conjecture is a strengthening of Chinburg’s $\Omega \left(3\right)$- conjecture for Galois extensions $K/F$ of number fields. It is certainly more difficult than the $\Omega \left(3\right)$-localization. Following the lead of Ritter and Weiss, we prove the Lifted Root Number Conjecture for the case that $F=\mathbb{Q}$ and the degree of $K/F$ is an odd prime, with another small restriction on ramification. The very explicit calculations with cyclotomic units use trees and some classical combinatorics for bookkeeping. An important point is the following: While dealing with our Euler systems, we have to keep track of the action of the Galois group, whose order is not invertible in the coefficient ring ${\mathbb{Z}}_p$. At the end we prove a generalization of the well-known Rédei-Reichardt theorem and explain the close link with our theory.

Résumé

La “conjecture de Chinburg relevée” (Lifted Root Number Conjecture, LRNC) est une version beaucoup plus forte de la conjecture $\Omega \left(3\right)$ de Chinburg concernant les extensions galoisiennes $K/F$ de corps de nombres. Tout en étant plus difficile que la conjecture $\Omega \left(3\right)$, la conjecture LRNC a l’avantage de se comporter très bien sous localisation. Avec une démarche de Ritter et Weiss comme point de départ, nous démontrons LRNC dans le cas où $F=\mathbb{Q}$ et où le degré de $K/F$ est premier impair (de plus il y a une petite restriction sur la ramification). Nos calculs très explicites avec des unités cyclotomiques font intervenir des arbres et de la combinatoire classique comme outils d’organisation. Soulignons encore que nous devons, en travaillant avec le système d’Euler, tenir compte de l’action du groupe de Galois, groupe dont l’ordre n’est pas inversible dans l’anneau de coefficients ${\mathbb{Z}}_p$. À la fin, nous donnons une généralisation du théorème classique de Rédei et Reichardt et explicitons le lien étroit avec notre théorie.

Détail

DOI : 10.5802/aif.1900

Classification : 11R18, 11R33, 11R37, 05C05
Keywords: lifted Chinburg conjecture, Euler systems, combinatorics, trees
Mots-clés : conjecture relevée de Chinburg, systèmes d'Euler, combinatoire, arbres