Is it possible to embedd an elliptic curve $E:\;\; y^2=x^3+ax+b$, defined over an algebraically closed field $k$, into some $GL_n(k)$ ?
Embedding elliptic curves into the general linear group
-
4Presumably you want to do this as a group as well as as a variety? The first problem that comes to mind is the point at infinity. The group of such an elliptic curve is a projective variety, and it is IMHO impossible to embed a projective variety into an affine one. One reason that comes to mind is that an affine variety has plenty of globally defined rational functions, but a projective variety has only the constants. – 2012-07-13
-
0Isn't a projective variety as zero-set of (homogeneous) polynomials automatically also an affine variety ? – 2012-07-13
-
2@tj_ The zero-set of a homogeneous polynomial is **not** the same as the projective variety defined by the homogeneous polynomial. The difference is that in the first case, you are working in affine space, whereas in the second, you are working in *projective space* (so you have an equivalence relation on the points). – 2012-07-13
2 Answers
If $E\hookrightarrow\mathrm{GL}_n$ is a closed immersion of $k$-schemes ($k$ any field) inducing an isomorphism with the closed subscheme $Z$ of $\mathrm{GL}_n$, then $Z$ is necessarily affine, and, being isomorphic over $k$ to $E$, is also proper over $k$. It is therefore finite over $k$. But this implies that $E$ is finite over $k$, which is not the case.
-
0Yep. My answer was overkill. – 2012-07-13
-
1In fact, any immersion of $E$ into a separated algebraic variety is a closed immersion by properness of $E$. – 2012-07-14
By the Chevalley's theorem on algebraic groups (see for example this modern proof of B. Conrad), there exists a unique normal linear algebraic closed subgroup of your elliptic curve $E$ such that the quotient is an abelian variety (at least if you assume your base field is perfect, which is trivially the case in your situation). In particular, since the identity subgroup satisfies the requirement, we can conclude that an elliptic curve cannot embed into some $\mathrm{GL}_n$, since otherwise $E$ would be that unique normal subgroup.
Remark: This is probably overkill, but at least it answers the question.