Upper bounds for some Brill–Noether loci over a finite field

DOI10.1142/S1793042118500471MaRDI QIDQ4609573zbMATH OpenFDO

Authors Kamal Khuri-Makdisi

Publication date 4 April 2018

Published in International Journal of Number Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1609.03349

zbMATH Keywords

algebraic curvesBrill-Noether locitypical divisorsWeil bounds for curves over a finite field

Mathematics Subject Classification ID

Curves over finite and local fields (11G20) Finite ground fields in algebraic geometry (14G15) Special divisors on curves (gonality, Brill-Noether theory) (14H51) Computational aspects of algebraic curves (14Q05) Arithmetic ground fields for curves (14H25)

Abstract: Let C be a smooth projective algebraic curve of genus g over the finite field F_q. A classical result of H. Martens states that the Brill-Noether locus of line bundles L in Pic^d C with deg L = d and h^0(L) >= i is of dimension at most d-2i+2, under conditions that hold when such an L is both effective and special. We show that the number of such L that are rational over F_q is bounded above by K_g q^(d-2i+2), with an explicit constant K_g that grows exponentially with g. Our proof uses the Weil estimates for function fields, and is independent of Martens' theorem. We apply this bound to give a precise lower bound of the form 1 - K'_g/q for the probability that a line bundle in (Pic^(g+1) C)(F_q) is base point free. This gives an effective version over finite fields of the usual statement that a general line bundle of degree g+1 is base point free. This is applicable to the author's work on fast Jacobian group arithmetic for typical divisors on curves.

Recommendations

• Rational points on curves over finite fields
• A fast randomized geometric algorithm for computing Riemann-Roch spaces
• Computing low-degree isogenies in genus 2 with the Dolgachev-Lehavi method
• scientific article; zbMATH DE number 1113847
• Clifford index of smooth algebraic curves of odd gonality with big \(W_d^r(C)\).
• Effective Shafarevich conjecture for cyclic coverings
• Curves and Jacobians over function fields
• Formal groups in genus two.
• Fast Jacobian group operations for \(c_{3,4}\) curves over a large finite field
• A relation between the Brauer group and the Tate-Shafarevich group

Cites work

• scientific article; zbMATH DE number 1716471 (Why is no real title available?)
• scientific article; zbMATH DE number 3891516 (Why is no real title available?)
• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• Excellent codes from modular curves
• Linear algebra algorithms for divisors on an algebraic curve
• On the varieties of special divisors on a curve.

Cited in

(1)

• On Jacobian group arithmetic for typical divisors on curves

This page was built for publication: Upper bounds for some Brill–Noether loci over a finite field

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4609573)