Two-Line Elimination and the Weierstrass Group Law in Arbitrary Characteristic
Let $K$ be a field and let $E/K$ be a nonsingular projective curve in general Weierstrass form. We prove associativity of its chord--tangent operation by combining polynomial factorization, formal differentiation, and quadratic interpolation. The main identity eliminates the two nonvertical lines $Y=\ell(X)$ and $Y=m(X)$ occurring in the successive additions $S=P\oplus Q$ and $T=S\oplus R$. There are $c\in K$ and a monic quadratic polynomial $h\in K[X]$ such that \[ \ell+m+\Apol=c(X-x_S), \qquad \Gpol+\ell m=(X-x_S)h, \] and \[ (Y-\ell)(Y-m) =(X-x_S)(h-cY) +Y^2+\Apol(X)Y-\Gpol(X). \] When…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.00028
curl -X POST /api/v1/records/arxiv/2610.00028/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.00028/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'