The projective geometry of curves of genus one, and an algorithm for the Jacobian of such a curve

Persistent Link:
http://hdl.handle.net/10150/280640
Title:
The projective geometry of curves of genus one, and an algorithm for the Jacobian of such a curve
Author:
Perlis, Alexander R.
Issue Date:
2004
Publisher:
The University of Arizona.
Rights:
Copyright © is held by the author. Digital access to this material is made possible by the University Libraries, University of Arizona. Further transmission, reproduction or presentation (such as public display or performance) of protected items is prohibited except with permission of the author.
Abstract:
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.
Type:
text; Dissertation-Reproduction (electronic)
Keywords:
Mathematics.
Degree Name:
Ph.D.
Degree Level:
doctoral
Degree Program:
Graduate College; Mathematics
Degree Grantor:
University of Arizona
Advisor:
McCallum, William G.

Full metadata record

DC FieldValue Language
dc.language.isoen_USen_US
dc.titleThe projective geometry of curves of genus one, and an algorithm for the Jacobian of such a curveen_US
dc.creatorPerlis, Alexander R.en_US
dc.contributor.authorPerlis, Alexander R.en_US
dc.date.issued2004en_US
dc.publisherThe University of Arizona.en_US
dc.rightsCopyright © is held by the author. Digital access to this material is made possible by the University Libraries, University of Arizona. Further transmission, reproduction or presentation (such as public display or performance) of protected items is prohibited except with permission of the author.en_US
dc.description.abstractGiven 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.en_US
dc.typetexten_US
dc.typeDissertation-Reproduction (electronic)en_US
dc.subjectMathematics.en_US
thesis.degree.namePh.D.en_US
thesis.degree.leveldoctoralen_US
thesis.degree.disciplineGraduate Collegeen_US
thesis.degree.disciplineMathematicsen_US
thesis.degree.grantorUniversity of Arizonaen_US
dc.contributor.advisorMcCallum, William G.en_US
dc.identifier.proquest3145117en_US
dc.identifier.bibrecord.b47210655en_US
All Items in UA Campus Repository are protected by copyright, with all rights reserved, unless otherwise indicated.