Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $p$ be an irregular prime, which means that $p$ divides some Bernoulli number: $p \mid B_k$ (for some even $k\in[2,p-3]$). This implies that the class number of the field $K$ of $p$-th roots of unity is divisible by $p$. Let $L$ be the field of $p^2$-th roots of unity. What, if anything, is known about the capitulation of ideal classes in $L/K$ ( we say that an ideal class from $K$ capitulates in $L$ if an ideal generating this class becomes principal there)? It is possible to write down criteria in terms of units that are or are not norms from $L$, but this does not seem to help a lot. I am mainly interested in the question whether there is a connection between the index $k$ and the capitulation of the subgroup of order $p$ corresponding to $k$ via Herbrand-Ribet. I am pretty sure that classical algebraic number theorists did not do an awful lot in this direction but I am not familiar with any advances in Iwasawa theory: whether an ideal class capitulates in $L/K$ is encoded in the Hilbert class field, so the structure of the maximal abelian unramified $p$-extension of the cyclotomic Iwasawa extension of $K$ might contain relevant information. Does it?

share|improve this question
I love the usage of «capitulation» :) –  Mariano Suárez-Alvarez Sep 28 '10 at 14:39
@Mariano: the word capitulation was coined by Arnold Scholz; the German word for principal (as in principal ideal) is Haupt, which is caput in Latin; but caputilation would sound silly in both German and English -) –  Franz Lemmermeyer Sep 28 '10 at 16:21
I prefer that they give up, as in capitulation, rather than if they would be beheaded, as in enthaupted (=decapitation). –  Chris Wuthrich Sep 28 '10 at 17:20
Yeah: it is a nice image: those classes doing the best to survive, extension after extension until finally, well, they just have to give in and submit to principalization :P –  Mariano Suárez-Alvarez Sep 28 '10 at 21:26

1 Answer 1

up vote 7 down vote accepted

Assume $p$ is an irregular prime for which Vandiver's conjecture holds, e.g. $p<12'000'000$. This conjecture asserts that $p$ does not divide the $+$-part of the class group.

Then there is no capitulation in the class group from the first layer of the cyclotomic $\mathbb{Z}_p^{\times}$-tower to any other in this tower. See Proposition 1.2.14 in Greenberg's book, which says that the capitulation kernel lies in the $+$-part. See also the discussion on page 102 where it is discussed what happens when Vandiver's conjecture does not hold.

Generally capitulations in Iwasawa theory are well studied. The capitulation is linked to the question of whether there are non-trivial finite sub-$\Lambda$-modules in the Iwasawa module $X$, here the projective limit of the $p$-primary parts of the class groups in the tower, or equivalently the Galois group mentioned in the question.

share|improve this answer
But I guess the main conjecture of Iwasawa theory does not say anything about this because we can ignore finite submodules. The advances in Iwasawa theory have only been on formulating main conjectures in more general situations and not very much on getting finer information about the Iwasawa modules (Kurihara's work on computing all Fitting ideals in some situations is an exception to this that I know but not enough for these kinds of question I think). Does anyone if ETNC says anything for such conjectures? –  Mahesh Kakde Sep 30 '10 at 13:10
Slightly more is true (as I should have known): the whole minus part of the class group cannot capitulate. This leaves us with the question which eigenspaces of the plus class group may or may not capitulate. Since this is entirely a problem involving the structure of the unit group of the real subfield, I guess it is not wise to expect an answer one way or another. –  Franz Lemmermeyer Sep 30 '10 at 14:22

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.