| Summary: | Given equations with k-rational coefficients that define a curve C of genus 1 over a perfect field k, can we find equations that define its jacobian J(C)? The problem is trivial when the degree n of a k-rational divisor on C is equal to 1. For the cases 2 ≤ n ≤ 4, certain standard forms for C appear classically, and the classical invariant theory of those forms turns out to contain equations that define J(C). This modern interpretation of classical results was explained for n = 2 in 1954, for n = 3 in 2001, and for n = 4 in 1996. A standard form for C and its invariant theory was worked out by Tom Fisher for n = 5 in 2003, again leading to equations for J(C). In the present work, the problem is solved algorithmically for all n ≥ 3. (As in the classical approach, we must assume the characteristic of k does not divide n .) The basic idea, given to us by Minhyong Kim, is to embed C in Pⁿ⁻¹(k) using the divisor of degree n, then to explicitly describe as matrices the finite Heisenberg group that corresponds to the n-torsion J(C)[n] on the jacobian, and then to determine equations for the quotient of C by the Heisenberg group, giving us the sought jacobian: C/J(C)[n] ≅ JC. The Heisenberg matrices also allow us to compute the points of hyperosculation on C, which is a k-rational orbit under the action of J(C)[n] and thus gives the origin for the group law on J(C). Our algorithm relies on techniques from the theory of Grobner bases, and on techniques from the invariant theory of finite groups. In presenting the background material to our algorithm, we develop the theory of curves of genus 1 with an attached k-rational divisor class, and the theory of non-degenerate degree n curves in Pⁿ⁻¹(k) of genus 1. We thus state in a more general context results that appeared previously in more specialized contexts in work of Klaus Hulek and work of Catherine O'Neil. We give an elementary proof that the commutator pairing on the Heisenberg group corresponds to the Weil pairing on J (C)[n]. We describe intriguing hyperplane configurations and relate them to the points of hyperosculation on the curve of genus 1.
|
|---|
