{"id":"arxiv/2603.08545","url":"https://arxiv.org/abs/2603.08545","tags":["math.NT","math.AG"],"score":0,"title":"The image of the adelic Galois representation of an elliptic curve with complex multiplication","domain":"math.NT","source":"arxiv","authors":["Álvaro Lozano-Robledo","Benjamin York"],"reviews":0,"subject":"math.NT","summary":"Let $E/\\mathbb{Q}$ be an elliptic curve and let $ρ_E \\colon \\operatorname{Gal}(\\overline{\\mathbb{Q}}/\\mathbb{Q}) \\to \\operatorname{GL}(2, \\widehat{\\mathbb{Z}})$ be the adelic Galois representation attached to $E$. Much work has been done in recent years to study the image of $ρ_E$ (up to conjugation) as part of Mazur's so called ``Program B.'' In this paper, we describe and implement an efficient algorithm to compute the image of $ρ_E$ in $\\operatorname{GL}(2, \\widehat{\\mathbb{Z}})$ (up to conjugation) for an elliptic curve $E/\\mathbb{Q}$ with complex multiplication (CM) and $j$-invariant…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-09","reactions":{}}