Skip to content
DraconiticResearch
Search Sources API
203,234 studies31 sourcesUpdated 52 min ago
PreprintarXiv licencearXiv

Two-Line Elimination and the Weierstrass Group Law in Arbitrary Characteristic

  • Hongfeng Wu
Open at sourcePDFDOICite

Abstract

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=ℓ(X) and Y=m(X) occurring in the successive additions S=P⊕ Q and T=S⊕ R. There are c∈ K and a monic quadratic polynomial h∈ K[X] such that ℓ+m+Apol=c(X−xS), Gpol+ℓ m=(X−xS)h, and (Y−ℓ)(Y−m) =(X−xS)(h−cY) +Y2+Apol(X)Y−Gpol(X). When c≠0, the graph of q=h/c contains P,Q,R, and −T. The two bracketings determine the same quadratic by ordinary or Hermite interpolation and therefore yield the same final point. The proof applies in every characteristic, since tangency is expressed through the formal partial derivatives of the Weierstrass equation. For the short Weierstrass form, a separate concise proof identifies q with the interpolating parabola in Zwegers's construction.

Related

  1. Foliations with small singular set in arbitrary characteristic
    Thiago Fassarella, Wodson Mendson, João Pedro dos Santos +1
    arXivPreprintCC BY 4.0Full textAlgebra & number theoryarXiv
  2. Differential-linear profiles over finite fields of arbitrary characteristic
    Kirpa Garg, Constanza Riera, Pantelimon Stănică
    arXivPreprintarXiv licenceFull textGeneral mathematicsarXiv
  3. K3 surfaces with finite automorphism group in positive characteristic
    Alexandros Vlachos
    arXivPreprintarXiv licenceFull textAlgebra & number theoryarXiv
  4. Failure of direct finiteness for group algebras in every odd characteristic
    Elena I. Bunina, Winston Lee, Alexei Miasnikov +1
    arXivPreprintCC BY 4.0Full textAlgebra & number theoryarXiv
  5. Push forwards of smooth measures on the unitary group in odd characteristic under the Chevalley map are almost bounded
    Avraham Aizenbud, Nir Avni, Dmitry Gourevitch +2
    arXivPreprintarXiv licenceFull textAlgebra & number theoryarXiv

Cite

BibTeXRIS
BibTeX
@misc{wu2026twoline,
  title = {{Two-Line Elimination and the Weierstrass Group Law in Arbitrary Characteristic}},
  author = {Hongfeng Wu},
  howpublished = {arXiv},
  year = {2026},
  month = oct,
  doi = {10.48550/arxiv.2610.00028},
  eprint = {2610.00028},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2610.00028},
}
RIS
TY  - UNPB
TI  - Two-Line Elimination and the Weierstrass Group Law in Arbitrary Characteristic
AU  - Hongfeng Wu
PY  - 2026
DA  - 2026/10/01
PB  - arXiv
DO  - 10.48550/arxiv.2610.00028
UR  - https://arxiv.org/abs/2610.00028
AB  - 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=ℓ(X) and Y=m(X) occurring in the successive additions S=P⊕ Q and T=S⊕ R. There are c∈ K and a monic quadratic polynomial h∈ K[X] such that ℓ+m+Apol=c(X−x_S), Gpol+ℓ m=(X−x_S)h, and (Y−ℓ)(Y−m) =(X−x_S)(h−cY) +Y^2+Apol(X)Y−Gpol(X). When c≠0, the graph of q=h/c contains P,Q,R, and −T. The two bracketings determine the same quadratic by ordinary or Hermite interpolation and therefore yield the same final point. The proof applies in every characteristic, since tangency is expressed through the formal partial derivatives of the Weierstrass equation. For the short Weierstrass form, a separate concise proof identifies q with the interpolating parabola in Zwegers's construction.
ER  -