On a question of Hayes concerning integrality of Brumer elements
- PDF / 407,812 Bytes
- 8 Pages / 439.37 x 666.142 pts Page_size
- 23 Downloads / 175 Views
On a question of Hayes concerning integrality of Brumer elements Cornelius Greither1
Received: 20 April 2015 / Accepted: 2 November 2015 © Fondation Carl-Herz and Springer International Publishing Switzerland 2015
Abstract To every abelian Galois extension K /k of number fields with group G, one can associate a so-called Brumer element θ K /k,S of the rational group ring Q[G] (depending on another technical parameter S). In a certain sense this element can be thought of as an equivariant version of the class number h K . There is a slight problem since this element is only “almost” integral (that is, it may have non-integral coefficients). The potential denominators always divide w K , the number of roots of unity in K . Hayes (Contemp Math 358:193–205, 2004) raised the question whether the Brumer element will be p-integral under certain suitable hypotheses, one of which implies that p divides h K ; of course only situations with p|w K are of interest. This paper answers this question in the negative. We start with an “almost counterexample” over Q (for k = Q there are no true counterexamples) and manufacture true counterexamples in which k is a suitable real quadratic field. Using deep recent results on the distribution of class numbers (Bhargava et al.) one can show that the method in fact yields infinitely many counterexamples. Résumé Pour toute extension abélienne K /k de corps de nombres ayant G pour groupe de Galois, on sait construire un élément θ K /k,S (appelé de Brumer) dans l’anneau de groupe Q[G] à coefficients rationnels. (Cet élément aussi dépend d’un paramètre auxiliaire S.) Dans un certain sens cet élément est une version équivariante du nombre h K de classes. Il y a un petit problème puisque θ K /k,S n’est pas tout à fait entier (c’est-à-dire, à coefficients dans Z). On peut toutefois l’écrire avec un dénominateur commun qui divise w K , le nombre de racines de l’unité contenues dans K . En 2004 D. Hayes posa la question: Est-ce que la p-intégralité de l’élément de Brumer est entraînée par quelques hypothèses bien adaptées (l’une parmi elles impliquant que le nombre h K est divisible par p)? Bien sûr, seuls les cas où p divise w K sont intéressants. Cet article établit une réponse négative à cette question. Pour commencer on regarde un “presque-contre-exemple” sur Q (il n’y a pas de vrai contre-exemple sur le corps des rationnels), et on le modifie pour trouver de vrais contre-exemples pour lesquels k est un corps réel quadratique. En utilisant de profonds résultats récents sur la distribution
B 1
Cornelius Greither [email protected] Fakultät Informatik, Universität der Bundeswehr München, 85577 Neubiberg, Germany
123
C. Greither
des nombres de classes (Bhargava et al.) on peut même montrer qu’il y a une infinité de contre-exemples. Keywords
L-functions · Brumer elements · Integrality · Class groups
Mathematics Subject Classification
Primary 11R42; Secondary 11R29 · 11R18
1 Notation, and the question of Hayes We will be concerned with an abelian extension K /k of number fields,
Data Loading...
