Weierstraß normal form: Difference between revisions
Eliminating the skew term |
m dup formula |
||
| Line 47: | Line 47: | ||
:<math>x^3 = z^3 + \frac14z^2 + \frac1{48}z + \frac1{1728}</math> | :<math>x^3 = z^3 + \frac14z^2 + \frac1{48}z + \frac1{1728}</math> | ||
:<math>y^2 = x^3 + \left(r-\frac1{48}\right)z + t-\frac1{1728}</math> | :<math>y^2 = x^3 + \left(r-\frac1{48}\right)z + t-\frac1{1728}</math> | ||
Revision as of 12:47, 3 January 2025
General equation

- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle gz^3 + hz^2w + jzw^2 + kw^3}
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle {} + mz^2 + pzw + qw^2}
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle {} + rz + sw}
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle {} + t \qquad = 0.}
Linear transformation
Problem
Substitute Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \alpha x + \beta y + \zeta} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \gamma x + \delta y + \eta} for z and w in the general equation, simplify by collecting like terms in respective powers of x and y, and solve for α, β, γ, δ, ζ, η, a and b so that[1]
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y^2 = x^3 + ax + b.}
Eliminating the skew term
Sometimes the Weierstraß equation is given in the form [2]
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle w^2 + zw = z^3 + rz + t}
with an extra skew term Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle zw} . Let Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y = w + \frac12z} and complete the square.
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y^2 - \frac14z^2 = z^3 + rz + t}
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y^2 = z^3 + \frac14z^2 + rz + t}
Now let Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x=z+\frac1{12}} and complete the cube, viz.
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x^3 = z^3 + \frac14z^2 + \frac1{48}z + \frac1{1728}}
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y^2 = x^3 + \left(r-\frac1{48}\right)z + t-\frac1{1728}}
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y^2 = x^3 + \left(r-\frac1{48}\right)\left(x-\frac1{12}\right) + t-\frac1{1728}}
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y^2 = x^3 + \left[r-\frac1{48}\right]x + \left[t-\frac1{12}r +\frac1{864}\right]}
This is the normal Weierstraß form with Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a=r-\frac1{48}} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle b=t-\frac1{12}r +\frac1{864}} , and obviously rational points are mapped to rational points with the rational linear transformation Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle y = w + \frac12z} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x=z+\frac1{12}} .
- ↑ Arnold Kas. “Weierstrass Normal Forms and Invariants of Elliptic Surfaces.” Transactions of the American Mathematical Society, vol. 225, Jan 1977, pp. 259-266. PDF
- ↑ LMFDB Elliptic curves over Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb Q} . https://www.lmfdb.org/EllipticCurve/Q/
