\((d, d')\)-elliptic curves of genus two (Q1721824)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | \((d, d')\)-elliptic curves of genus two |
scientific article |
Statements
\((d, d')\)-elliptic curves of genus two (English)
0 references
13 February 2019
0 references
Let $C$ be a stable curve of genus 2 which fits into a diagram \[ \begin{tikzcd} & C \ar[dl, "f" ', "{d:1}"] \ar[rd, "g", "{d':1}" '] \\ E & & D \end{tikzcd}, \] where $E$ and $D$ are elliptic curves and $f$ of degree $d$ (resp. $g$ of degree $d'$) is a $d$-elliptic (resp. $d'$-elliptic) map. If there is no isomorphism $\psi:E\rightarrow D$ such that $g=\psi\circ f$, then the above diagram $(C,f,g)$ is called a $(d,d')$-configuration and $C$ is a $(d,d')$-elliptic curve of genus 2. \par Building on the description and the construction of $d$-elliptic curves (i.e. requiring only one map $f:C\rightarrow E$ of degree $d$) given in [\textit{G. Frey} and \textit{E. Kani}, Prog. Math. 89, 153--176 (1991; Zbl 0757.14015)] and [\textit{G. Frey} and \textit{E. Kani}, Contemp. Math. 487, 33--81 (2009; Zbl 1198.14024)] and using the compactness of the Jacobian $J(C)$, the authors provide various explicit constructions for $(d,d')$-elliptic stable curves of genus 2, and exibit their main arithmetic properties. Such constructions, which also depend on another index, the \textit{twisting number} $m:=\deg\{Ker(f_*)\times Ker(g_*) \rightarrow J(C)\}$ (where $f_*$, resp. $g_*$, is the natural norm map $J(C)\rightarrow E$, resp. $J(C)\rightarrow D$), yield the existence of $(d,d')$-elliptic curves in various cases, most notably whenever $d$ is a prime, and, in the particular case of $m=1$, the existence of smooth $(d,d')$-elliptic curves for all $d,d'>1$. \par In the final section, for the case $d=2$, $d'=3$, the authors provide a complete description of the 10 isomorphism classes of the configurations $(C,f,g)$ with reducible $C$, by using elliptic curves $E$ with an endomorphism $\varphi$ of degree 2 and building the diagram \[ \begin{tikzcd} & E\cup_O E \ar[dl, "{\mathrm{id}\cup \mathrm{id}}" ', "{2:1}"] \ar[rd, "{\mathrm{id}\cup\varphi}", "{3:1}" '] \\ E & & E \end{tikzcd} \] (where $C=E\cup_O E$ represents the two copies of $E$ meeting transversally at the origin $O$).
0 references
curves of genus 2
0 references
\(d\)-elliptic curves
0 references
Jacobian
0 references