Iwasawa's cyclicity conjecture for eigenspaces of the class group

At least 14 years old · documented by

Let ll be an odd prime, let AA be the ll-torsion part of the class group of Z[μl]\mathbb Z[\mu_l], and let ω\omega be the Teichmüller character of G(Q(μl)/Q)G(\mathbb Q(\mu_l)/\mathbb Q). For i≥0i\geq 0, write A[i]=eωiAA^{[i]}=e_{\omega^i}A for the corresponding eigenspace. Iwasawa's conjecture. The group

A[l−1−n]A^{[l-1-n]}

is cyclic for every odd integer nn with 1≤n<l−11\leq n<l-1. This is the classical Iwasawa cyclicity conjecture; the supplied text does not state whether it has been resolved.

References

Primary source

Grzegorz Banaszak and Cristian D. Popescu, “Hecke characters and the K-theory of totally real and CM number fields”, arXiv:1402.5451 (2014).

Additional references

2 papers in this index state this conjecture (2011–2014). The statement above is taken from the most recent of them; the others are arXiv:1106.0513.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.