Coates–Sujatha fine Selmer conjecture over cyclotomic extensions

Let $l$ be an odd prime, let $F$ be a number field, and let $\mathcal{E}$ be an elliptic curve over $F$. For an extension $L/F$ in the maximal extension unramified outside the prescribed finite set of places, let $R_{l^{\infty}}(\mathcal{E}/L)$ denote the fine $l^{\infty}$-Selmer group. Let $F^{\mathrm{cyc}}$ be the cyclotomic $\mathbb{Z}_l$-extension of $F$. Coates–Sujatha's conjecture. The group $R_{l^{\infty}}(\mathcal{E}/F^{\mathrm{cyc}})$ is a cofinitely generated $\mathbb{Z}_l$-module. This is the cyclotomic fine-Selmer finiteness conjecture attributed to Coates and Sujatha; the source uses it as the comparison point for the anticyclotomic analogue.