Faithful invariant ideals are controlled by fixed points

Let GG be a free abelian pro-pp group of finite rank, let a uniform pro-pp group Γ\Gamma act linearly on GG, and let kGkG denote the associated Iwasawa algebra. An ideal II is faithful when

(1+I)G=1.(1+I)\cap G=1.

Fixed-point control conjecture. If II is a Γ\Gamma-invariant faithful prime ideal of kGkG, then II is controlled by the subgroup of Γ\Gamma-fixed points GΓG^\Gamma:

I=(IkGΓ)kG.I=(I\cap kG^\Gamma)kG.

This conjecture is inspired by Roseblade's theorem and proposes a structural description of faithful invariant prime ideals in Iwasawa algebras. The supplied text gives supporting evidence from linear actions with sufficiently large image, but does not state a resolution.

Sources & referencesView supporting material

Primary source

K. Ardakov and S. J. Wadsley, “Gamma-invariant ideals in Iwasawa algebras”, arXiv:0808.2311 (2008).

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.