On the linear bounds on genera of pointless hyperelliptic curves

An irreducible smooth projective curve over $\mathbb{F}\_q$ is called \textit{pointless} if it has no $\mathbb{F}\_q$-rational points. In this paper we study the lower existence bound on the genus of such a curve over a fixed finite field $\mathbb{F}\_q$. Using some explicit constructions of hyperelliptic curves, we establish two new bounds that depend linearly on the number $q$. In the case of odd characteristic this improves upon a result of R. Becker and D. Glass. We also provide a similar new bound when $q$ is even

F-Theory and the Mordell-Weil Group of Elliptically-Fibered Calabi-Yau Threefolds

The Mordell-Weil group of an elliptically fibered Calabi-Yau threefold X contains information about the abelian sector of the six-dimensional theory obtained by compactifying F-theory on X. After examining features of the abelian anomaly coefficient matrix and U(1) charge quantization conditions of general F-theory vacua, we study Calabi-Yau threefolds with Mordell-Weil rank-one as a first step towards understanding the features of the Mordell-Weil group of threefolds in more detail. In particular, we generate an interesting class of F-theory models with U(1) gauge symmetry that have matter with both charges 1 and 2. The anomaly equations --- which relate the Neron-Tate height of a section to intersection numbers between the section and fibral rational curves of the manifold --- serve as an important tool in our analysis.Comment: 29 pages + appendices, 5 figures; v2: minor correction

Points of Low Height on Elliptic Curves and Surfaces, I: Elliptic surfaces over P^1 with small d

For each of n=1,2,3 we find the minimal height h^(P) of a nontorsion point P of an elliptic curve E over C(T) of discriminant degree d=12n (equivalently, of arithmetic genus n), and exhibit all (E,P) attaining this minimum. The minimal h^(P) was known to equal 1/30 for n=1 (Oguiso-Shioda) and 11/420 for n=2 (Nishiyama), but the formulas for the general (E,P) were not known, nor was the fact that these are also the minima for an elliptic curve of discriminant degree 12n over a function field of any genus. For n=3 both the minimal height (23/840) and the explicit curves are new. These (E,P) also have the property that that mP is an integral point (a point of naive height zero) for each m=1,2,...,M, where M=6,8,9 for n=1,2,3; this, too, is maximal in each of the three cases.Comment: 15 pages; some lines in the TeX source are commented out with "%" to meet the 15-page limit for ANTS proceeding