Mazur's finite generation conjecture over cyclotomic extensions
Let ℓ\ellℓ be a rational prime, let KKK be a number field, and let K∞=K⋅Q∞,ℓK_\infty=K\cdot\mathbb{Q}_{\infty,\ell}K∞=K⋅Q∞,ℓ be the cyclotomic Zℓ\mathbb{Z}_\ellZℓ-extension of KKK. Let A/K∞A/K_\inftyA/K∞…