Addition in the Jacobian of non-hyperelliptic genus 3 curves and rationality of the intersection points of a line with a plane quartic

Similar documents
From the curve to its Jacobian and back

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 45

Arithmetic applications of Prym varieties in low genus. Nils Bruin (Simon Fraser University), Tübingen, September 28, 2018

The Rationality of Certain Moduli Spaces of Curves of Genus 3

PROBLEMS FOR VIASM MINICOURSE: GEOMETRY OF MODULI SPACES LAST UPDATED: DEC 25, 2013

Optimal curves of genus 1, 2 and 3

Exercises for algebraic curves

Invariants and hyperelliptic curves: geometric, arithmetic and algorithmic aspects

Explicit isogenies and the Discrete Logarithm Problem in genus three

Algebraic Curves and Riemann Surfaces

Plane quartics and. Dedicated to Professor S. Koizumi for his 70th birthday. by Tetsuji Shioda

Riemann surfaces with extra automorphisms and endomorphism rings of their Jacobians

Introduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013

Basic Algebraic Geometry 1

Hyperelliptic curves

arxiv: v1 [math.ag] 20 Mar 2016

Alternative Models: Infrastructure

Kummer Surfaces. Max Kutler. December 14, 2010

Number of points on a family of curves over a finite field

Effective geometry and arithmetic of curves and their moduli spaces: an introduction

Complex Algebraic Geometry: Smooth Curves Aaron Bertram, First Steps Towards Classifying Curves. The Riemann-Roch Theorem is a powerful tool

Porteous s Formula for Maps between Coherent Sheaves

Riemann surfaces. Paul Hacking and Giancarlo Urzua 1/28/10

Computing L-series of geometrically hyperelliptic curves of genus three. David Harvey, Maike Massierer, Andrew V. Sutherland

mult V f, where the sum ranges over prime divisor V X. We say that two divisors D 1 and D 2 are linearly equivalent, denoted by sending

Models of Elliptic Curves

The following can also be obtained from this WWW address: the papers [8, 9], more examples, comments on the implementation and a short description of

A normal form for elliptic curves in characteristic 2

Birational geometry and arithmetic. July 2012

Algorithmic Number Theory in Function Fields

Asymptotically exact sequences of algebraic function fields defined over F q and application

Curves of genus 2 on rational normal scrolls and scrollar syzygies. Andrea Hofmann

Then the blow up of V along a line is a rational conic bundle over P 2. Definition A k-rational point of a scheme X over S is any point which

CORRESPONDENCE BETWEEN ELLIPTIC CURVES IN EDWARDS-BERNSTEIN AND WEIERSTRASS FORMS

Plane quartics and Fano threefolds of genus twelve

An abelian surface with constrained 3-power torsion

Density of rational points on Enriques surfaces

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43

the complete linear series of D. Notice that D = PH 0 (X; O X (D)). Given any subvectorspace V H 0 (X; O X (D)) there is a rational map given by V : X

Constructing genus 2 curves over finite fields

Algebra & Number Theory

Reviews of Varieties. Algebraic Geometry. Part I. 1 Ane Varieties. Tim Dokchitser (Thanks to Céline Maistret for copying notes in my absence)

MOTIVIC ANALYTIC NUMBER THEORY

Computing coefficients of modular forms

Numerical computation of endomorphism rings of Jacobians

THE GROUP OF WEIERSTRASS POINTS OF A PLANE QUARTIC WITH AT LEAST EIGHT HYPERFLEXES

where m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism

Curves with many points Noam D. Elkies

AN INTRODUCTION TO MODULI SPACES OF CURVES CONTENTS

Fast arithmetic and pairing evaluation on genus 2 curves

On Severi varieties of nodal curves on K3 surfaces

Diangle groups. by Gunther Cornelissen

arxiv: v1 [math.ag] 7 Apr 2015

Quadratic points on modular curves

Algebraic Geometry Spring 2009

The Fricke-Macbeath Curve

David Eklund. May 12, 2017

Elliptic Curves and Public Key Cryptography (3rd VDS Summer School) Discussion/Problem Session I

1 Existence of the Néron model

LECTURE 7, WEDNESDAY

Fields of cohomological dimension 1 versus C 1 -fields

Elliptic Curves: An Introduction

Inflection Points on Real Plane Curves Having Many Pseudo-Lines

A Humble Example of Notions of Divisor

FIRST STEPS IN THE GEOMETRY OF CURVES

On large Picard groups and the Hasse principle for curves and K3 surfaces. CORAY, Daniel, MANOIL, Constantin

NOTES FOR MATH 282, GEOMETRY OF ALGEBRAIC CURVES

AN INTRODUCTION TO ARITHMETIC AND RIEMANN SURFACE. We describe points on the unit circle with coordinate satisfying

L-Polynomials of Curves over Finite Fields

Igusa Class Polynomials

AN EXPOSITION OF THE RIEMANN ROCH THEOREM FOR CURVES

Introduction to Arithmetic Geometry

Grothendieck ring of varieties I.

Contents Preliminaries Non-abelian curve groups A special curve Characteristic Varieties

Frobenius endomorphism for projective curves Caen - France. Marc Perret. 5, allees A. Machado Toulouse - France

WILD MODELS OF CURVES

Isogeny graphs of abelian varieties and applications to the Discrete Logarithm Problem

Class numbers of algebraic function fields, or Jacobians of curves over finite fields

OSCULATION FOR CONIC FIBRATIONS

GENERATORS OF JACOBIANS OF GENUS TWO CURVES

10. Smooth Varieties. 82 Andreas Gathmann

Igusa Class Polynomials

Hyperelliptic Jacobians in differential Galois theory (preliminary report)

2-Selmer group of even hyperelliptic curves over function fields

Normality of secant varieties

Counting the number of trigonal curves of genus five over finite fields

Quotients of E n by a n+1 and Calabi-Yau manifolds

Some Remarks on Prill s Problem

ALGEBRAIC GEOMETRY I, FALL 2016.

7. Classification of Surfaces The key to the classification of surfaces is the behaviour of the canonical

FIELDS OF DEFINITION OF RATIONAL POINTS ON VARIETIES

This motivates the Question For given A nd arithmetical and geometrical conditions for abelian varieties B over K such that A can ( resp. canno

Elliptic Curves and Mordell s Theorem

Explicit Kummer Varieties for Hyperelliptic Curves of Genus 3

MODULI OF VECTOR BUNDLES ON CURVES AND GENERALIZED THETA DIVISORS

2004 ECRYPT Summer School on Elliptic Curve Cryptography

OLIVIER SERMAN. Theorem 1.1. The moduli space of rank 3 vector bundles over a curve of genus 2 is a local complete intersection.

Elliptic curves and modularity

A NEW FAMILY OF SYMPLECTIC FOURFOLDS

a double cover branched along the smooth quadratic line complex

Transcription:

Addition in the Jacobian of non-hyperelliptic genus 3 curves and rationality of the intersection points of a line with a plane quartic Stéphane Flon, Roger Oyono, Christophe Ritzenthaler C. Ritzenthaler, C.N.R.S. Institut de Mathématiques de Luminy Luminy Case 930, F13288 Marseille CEDEX 9 e-mail : ritzenth@iml.univ-mrs.fr web : http ://iml.univ-mrs.fr/ ritzenth/ Stéphane Flon, Roger Oyono, ChristopheAddition Ritzenthaler in the () Jacobian of non-hyperelliptic genus 3 curves and rationality 1 / of11the

General setting Non-hyperelliptic genus 3 curves = smooth plane quartics. Choice of a good divisor at innity condition ( ) : There is a rational line l which crosses the quartic C in four k-points P 1, P 2, P 3, P 4. Let D = P 1 + P 2 + P 3. Because Sym 3 C Jac(C), D + D + D is surjective, a element D Jac(C) is a sum of three points called D +. Question : how do we compute (eciently) D 1 + D 2 in terms of D + 1, D+ 2? Stéphane Flon, Roger Oyono, ChristopheAddition Ritzenthaler in the () Jacobian of non-hyperelliptic genus 3 curves and rationality 2 / of11the

A geometric addition algorithm Let D 1, D 2 Jac(C)(k). Then D 1 + D 2 is equivalent to a divisor D = D + D, where the points in the support of D + are given by the following algorithm : 1 Take a cubic E which goes (with multiplicity) through the support of D +, 1 D+ 2 and P 1, P 2, P 4. This cubic also crosses C in the residual eective divisor D 3. 2 Take a conic Q which goes through the support of D 3 and P 1, P 2. This conic also crosses C in the residual eective divisor D +. Why? Because (l C) κ, (Q C) 2κ and (E C) 3κ. Stéphane Flon, Roger Oyono, ChristopheAddition Ritzenthaler in the () Jacobian of non-hyperelliptic genus 3 curves and rationality 3 / of11the

A chord construction Stéphane Flon, Roger Oyono, ChristopheAddition Ritzenthaler in the () Jacobian of non-hyperelliptic genus 3 curves and rationality 4 / of11the

Special forms of the curve C admits an equation of the form with deg(f 4 ) 4 and C : y 3 + h 1 (x)y 2 + h 2 (x)y = f 4 (x) Stéphane Flon, Roger Oyono, ChristopheAddition Ritzenthaler in the () Jacobian of non-hyperelliptic genus 3 curves and rationality 5 / of11the

Special forms of the curve C admits an equation of the form C : y 3 + h 1 (x)y 2 + h 2 (x)y = f 4 (x) with deg(f 4 ) 4 and 1 deg(h 1 ) 2 and deg(h 2 ) 3 if P 1 = P 2 (tangent case) ; Stéphane Flon, Roger Oyono, ChristopheAddition Ritzenthaler in the () Jacobian of non-hyperelliptic genus 3 curves and rationality 5 / of11the

Special forms of the curve C admits an equation of the form with deg(f 4 ) 4 and C : y 3 + h 1 (x)y 2 + h 2 (x)y = f 4 (x) 1 deg(h 1 ) 2 and deg(h 2 ) 3 if P 1 = P 2 (tangent case) ; 2 deg(h 1 ) 1 and deg(h 2 ) 3 if P 1 = P 2 = P 4 (ex case). If char(k) 3 we can write C : y 3 + h 2 (x)y = f 4 (x). Stéphane Flon, Roger Oyono, ChristopheAddition Ritzenthaler in the () Jacobian of non-hyperelliptic genus 3 curves and rationality 5 / of11the

Special forms of the curve C admits an equation of the form with deg(f 4 ) 4 and C : y 3 + h 1 (x)y 2 + h 2 (x)y = f 4 (x) 1 deg(h 1 ) 2 and deg(h 2 ) 3 if P 1 = P 2 (tangent case) ; 2 deg(h 1 ) 1 and deg(h 2 ) 3 if P 1 = P 2 = P 4 (ex case). If char(k) 3 we can write C : y 3 + h 2 (x)y = f 4 (x). 3 deg(h 1 ) 1 and deg(h 2 ) 2 if P 1 = P 2 = P 3 = P 4 (hyperex case). These curves are the C 3,4 -curves. Stéphane Flon, Roger Oyono, ChristopheAddition Ritzenthaler in the () Jacobian of non-hyperelliptic genus 3 curves and rationality 5 / of11the

Special forms of the curve C admits an equation of the form with deg(f 4 ) 4 and C : y 3 + h 1 (x)y 2 + h 2 (x)y = f 4 (x) 1 deg(h 1 ) 2 and deg(h 2 ) 3 if P 1 = P 2 (tangent case) ; 2 deg(h 1 ) 1 and deg(h 2 ) 3 if P 1 = P 2 = P 4 (ex case). If char(k) 3 we can write C : y 3 + h 2 (x)y = f 4 (x). 3 deg(h 1 ) 1 and deg(h 2 ) 2 if P 1 = P 2 = P 3 = P 4 (hyperex case). These curves are the C 3,4 -curves. 4 If char(k) 3, C : y 3 = f 4 (x) (Picard curves) iif P 1 is a rational Galois point. : the more special, the better. Stéphane Flon, Roger Oyono, ChristopheAddition Ritzenthaler in the () Jacobian of non-hyperelliptic genus 3 curves and rationality 5 / of11the

Some complexities In the case char(k) > 5 and C has a model y 3 + h 2 (x)y = f 4 (x) with deg(h 2 ) 3. Remarks : Salem and Makdisi work with a good choice of Riemann-Roch spaces. Basiri, Enge, Faugère and Gürel work with ideals in function elds. Others (Blache, Cherdieu, Sarlabous,... ) work on the more general problem of reduction and give only asymptotics. Stéphane Flon, Roger Oyono, ChristopheAddition Ritzenthaler in the () Jacobian of non-hyperelliptic genus 3 curves and rationality 6 / of11the

Study of the condition ( ) over F q 1 A rational hyperex. Quartics with a hyperex form a sub-variety of codimension 1. But generically, if there is a hyperex, it is rational. Stéphane Flon, Roger Oyono, ChristopheAddition Ritzenthaler in the () Jacobian of non-hyperelliptic genus 3 curves and rationality 7 / of11the

Study of the condition ( ) over F q 1 A rational hyperex. Quartics with a hyperex form a sub-variety of codimension 1. But generically, if there is a hyperex, it is rational. 2 A rational ex. When char(k) > 3, smooth plane quartics have 24 exes counted with multiplicities. Heuristics and computations seem to show that the probability that C has at least one rational ex is asymptotically (q ) about 0.63 (probability that a degree 24 polynomial has at least one root). This seems true even in characteristic 2 and 3. Stéphane Flon, Roger Oyono, ChristopheAddition Ritzenthaler in the () Jacobian of non-hyperelliptic genus 3 curves and rationality 7 / of11the

Study of the condition ( ) over F q 1 A rational hyperex. Quartics with a hyperex form a sub-variety of codimension 1. But generically, if there is a hyperex, it is rational. 2 A rational ex. When char(k) > 3, smooth plane quartics have 24 exes counted with multiplicities. Heuristics and computations seem to show that the probability that C has at least one rational ex is asymptotically (q ) about 0.63 (probability that a degree 24 polynomial has at least one root). This seems true even in characteristic 2 and 3. Caution : in char. 2, 3 the computations of the exes cannot be done with the ordinary Hessian (which is zero) nd a good substitute. Stéphane Flon, Roger Oyono, ChristopheAddition Ritzenthaler in the () Jacobian of non-hyperelliptic genus 3 curves and rationality 7 / of11the

The generic case Follow an idea of Diem-Thomé. 1 Let P C(k). Consider the separable geometric cover φ : C κ P = P 1 of degree 3 induced by the linear system κ P. Stéphane Flon, Roger Oyono, ChristopheAddition Ritzenthaler in the () Jacobian of non-hyperelliptic genus 3 curves and rationality 8 / of11the

The generic case Follow an idea of Diem-Thomé. 1 Let P C(k). Consider the separable geometric cover φ : C κ P = P 1 of degree 3 induced by the linear system κ P. 2 Using eective Chebotarev's density theorem for function elds, one gets estimation on the number of completely split divisors in κ P. Stéphane Flon, Roger Oyono, ChristopheAddition Ritzenthaler in the () Jacobian of non-hyperelliptic genus 3 curves and rationality 8 / of11the

The generic case Follow an idea of Diem-Thomé. 1 Let P C(k). Consider the separable geometric cover φ : C κ P = P 1 of degree 3 induced by the linear system κ P. 2 Using eective Chebotarev's density theorem for function elds, one gets estimation on the number of completely split divisors in κ P. Theorem If q 127, there is always a line satisfying ( ). Remark : The number of Galois points (i.e. P such that φ is Galois) is at most 4 if char(k) 3 and 28 if char(k) = 3. Stéphane Flon, Roger Oyono, ChristopheAddition Ritzenthaler in the () Jacobian of non-hyperelliptic genus 3 curves and rationality 8 / of11the

The tangent case Let T : C Sym 2 (C), p T p (C) C 2p be the tangential correspondence. We associate to it its correspondence curve X = {(p, q) C C : q T (p)} which is dened over k. Let φ : X C be the rst projection. We want to prove that there is a rational point on X when q is big enough. Stéphane Flon, Roger Oyono, ChristopheAddition Ritzenthaler in the () Jacobian of non-hyperelliptic genus 3 curves and rationality 9 / of11the

The tangent case Let T : C Sym 2 (C), p T p (C) C 2p be the tangential correspondence. We associate to it its correspondence curve X = {(p, q) C C : q T (p)} which is dened over k. Let φ : X C be the rst projection. We want to prove that there is a rational point on X when q is big enough. Proposition (Aubry, Perret) Let X dened over F q be a geometrically irreducible curve of arithmetic genus π X. Then #X (F q ) (q + 1) 2π X q. In particular if q (2π X ) 2 then X has a rational point. Question : How to show that X is absolutely irreducible (+ estimate π X )? Stéphane Flon, Roger Oyono, ChristopheAddition Ritzenthaler in the () Jacobian of non-hyperelliptic genus 3 curves and rationality 9 / of11the

The tangent case (continued) Lemma Let φ : X Y be a separable morphism of degree 2 between two projective curves over k such that Y is smooth and abs. irreducible ; There exists a point P 0 Y such that φ is ramied at P 0 and φ 1 (P 0 ) is not singular. Then X is abs. irreducible. Stéphane Flon, Roger Oyono, ChristopheAddition Ritzenthaler in the () Jacobian of non-hyperelliptic genus 3 curves and rationality 10 / of11the

The tangent case (continued) Lemma Let φ : X Y be a separable morphism of degree 2 between two projective curves over k such that Y is smooth and abs. irreducible ; There exists a point P 0 Y such that φ is ramied at P 0 and φ 1 (P 0 ) is not singular. Then X is abs. irreducible. Proposition we have the following properties : 1 the ramication points of φ are the bitangence points. 2 If char(k) 2, the only possible singular points of X are the points (P, P) where P is a hyperex of C. Stéphane Flon, Roger Oyono, ChristopheAddition Ritzenthaler in the () Jacobian of non-hyperelliptic genus 3 curves and rationality 10 / of11the

The tangent case (end) Lemma Suppose char(k) 2. There is always a bitangence point which is not a hyperex except if char(k) = 3 and C is geometrically isomorphic to the Fermat quartic x 4 + y 4 + z 4 = 0. Stéphane Flon, Roger Oyono, ChristopheAddition Ritzenthaler in the () Jacobian of non-hyperelliptic genus 3 curves and rationality 11 / of11the

The tangent case (end) Lemma Suppose char(k) 2. There is always a bitangence point which is not a hyperex except if char(k) = 3 and C is geometrically isomorphic to the Fermat quartic x 4 + y 4 + z 4 = 0. Theorem Suppose char(k) 2. If q 66 2 + 1 there exists a tangent to C which cuts C at rational points only. Remark : estimation of π X = 33 by Hurwitz formula or thanks to the general theory of correspondences. Question : The characteristic 2 case? (P, Q) with P a bitangence point is a singular point on X. There seem to exist cases where X is not abs. irreducible (for instance the Klein quartic x 3 y + y 3 z + z 3 x = 0). Stéphane Flon, Roger Oyono, ChristopheAddition Ritzenthaler in the () Jacobian of non-hyperelliptic genus 3 curves and rationality 11 / of11the

2024 © sciencedocbox.com Privacy Policy | Terms of Service | Feedback