On elliptic curves whose 3-torsion subgroup splits as \(\mu_3 \oplus \mathbb Z/ 3\mathbb Z\)
type: Item
instance of: scholarly article
zbMATH Open document ID: 1246.14047
DOI: 10.4134/CKMS.2012.27.3.497
author: Masaya Yasuda
published in: Communications of the Korean Mathematical Society
publication date: 2012-08-13T00:00:00Z
Mathematics Subject Classification ID: 14H52
Mathematics Subject Classification ID: 11G05
zbMATH DE Number: 6065108
zbMATH Keywords: elliptic curves
zbMATH Keywords: torsion points
zbMATH Keywords: Vélu's formula
MaRDI profile type: MaRDI publication profile
Recommended article: Splitting of the pullback of \(T_{ \mathbb{P}^3}\) on an elliptic curve
Recommended article: Three-Selmer groups for elliptic curves with 3-torsion
Recommended article: On the rank of elliptic curves over \(\mathbb Q(\sqrt{-3})\) with torsion groups \(\mathbb Z/3\mathbb Z\times\mathbb Z/3\mathbb Z\) and \(\mathbb Z/3\mathbb Z\times \mathbb Z/6\mathbb Z\)
Recommended article: Integral points on elliptic curves and 3-torsion in class groups
Recommended article: A note on elliptic curves with a rational 3-torsion point
Recommended article: The torsion subgroup of the elliptic curve \(Y^2 = X^3 + AX\) over the maximal abelian extension of \(\mathbb{Q}\)
Recommended article: On the Tate–Shafarevich group of semistable elliptic curves with a rational 3-torsion
Recommended article: Computing torsion subgroups of Jacobians of hyperelliptic curves of genus 3
Recommended article: On the torsion group of elliptic curves induced by Diophantine triples over quadratic fields
Recommended article: Torsion subgroups of rational elliptic curves over the compositum of all cubic fields
title: On elliptic curves whose 3-torsion subgroup splits as \(\mu_3 \oplus \mathbb Z/ 3\mathbb Z\)
review text: Let \(E\) be an elliptic curve defined over \(\mathbb Q\) with a \(3\)-torsion point rational over \(\mathbb Q\). By translating this point to \(P=(0,0)\), one deduces that \(E\) admits a Weierstrass equation of the shape NEWLINE\[NEWLINEy^2+axy+by=x^3\quad \text{with}\quad a,b\in \mathbb Q.\tag{1}NEWLINE\]NEWLINE Its discriminant is \(b^3(a^3-27b)\). Let \(\mu_3\) be the group of the cubic roots of unity and \(E[3]\) the \(3\)-torsion subgroup of \(E\). Using the Weil pairing \(e_3 : E[3]\times E[3]\to \mu_3\), we can define a map \(E[3]\to \mu_3\) by \(Q\mapsto e_3(P,Q)\). This map is surjective and its kernel is the subgroup generated by \(P\). One obtains the exact sequence of \(\text{Gal}\biggl(\overline {\mathbb Q}/{\mathbb Q}\biggr)\)-modules NEWLINE\[NEWLINE0\to \mathbb Z/3\mathbb Z \to E[3]\to \mu_3\to 0.NEWLINE\]NEWLINE The author shows that this sequence splits, in other words, the \(\text{Gal}\biggl(\overline {\mathbb Q}/{\mathbb Q}\biggr)\)-modules \(E[3]\) and \(\mathbb Z/3\mathbb Z\times \mu_3\) are isomorphic, if and only if \(a^3-27b\in \mathbb Q^{*3}\). He then determines the Weierstrass equation of the curve \(E/\mu_3\) of the from (1). As an application, he obtains all the isogeny relations among the elliptic curves of \(3\)-power conductor which have a \(3\)-torsion point. In the final section, for a non-zero integer \(m\), the author studies the relation between the set of integral points of the curve \(x^3+y^3=m\) and the elliptic curves \(E\) over \(\mathbb Q\) such that the \(\text{Gal}\biggl(\overline {\mathbb Q}/{\mathbb Q}\biggr)\)-modules \(E[3]\) and \(\mathbb Z/3\mathbb Z\times \mu_3\) are isomorphic.
reviewed by: Alain Kraus
description: scientific article; zbMATH DE number 6065108