{"id":"arxiv/2610.00028","url":"https://arxiv.org/abs/2610.00028","tags":["math.NT","math.AG"],"score":0,"title":"Two-Line Elimination and the Weierstrass Group Law in Arbitrary Characteristic","domain":"math.NT","source":"arxiv","authors":["Hongfeng Wu"],"reviews":0,"subject":"math.NT","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-02","reactions":{}}