Galois representations attached to elliptic curves with complex\n multiplication

Abstract

The goal of this article is to give an explicit classification of the\npossible $p$-adic Galois representations that are attached to elliptic curves\n$E$ with CM defined over $\\mathbb{Q}(j(E))$. More precisely, let $K$ be an\nimaginary quadratic field, and let $\\mathcal{O}_{K,f}$ be an order in $K$ of\nconductor $f\\geq 1$. Let $E$ be an elliptic curve with CM by\n$\\mathcal{O}_{K,f}$, such that $E$ is defined by a model over\n$\\mathbb{Q}(j(E))$. Let $p\\geq 2$ be a prime, let $G_{\\mathbb{Q}(j(E))}$ be the\nabsolute Galois group of $\\mathbb{Q}(j(E))$, and let $\\rho_{E,p^\\infty}\\colon\nG_{\\mathbb{Q}(j(E))}\\to \\operatorname{GL}(2,\\mathbb{Z}_p)$ be the Galois\nrepresentation associated to the Galois action on the Tate module $T_p(E)$. The\ngoal is then to describe, explicitly, the groups of\n$\\operatorname{GL}(2,\\mathbb{Z}_p)$ that can occur as images of\n$\\rho_{E,p^\\infty}$, up to conjugation, for an arbitrary order\n$\\mathcal{O}_{K,f}$.\n