I give a new proof, in scheme-theoretic language, of Tate's old result on genus-change over nonperfect fields in characteristic p>0. Namely, for normal geometrically integral curves, the difference between arithmetic and geometric genus over the algebraic closure is divisible by (p-1)/2.
Let $k$ be a nonperfect field of characteristic $2$. Let $G$ be a $k$-split simple algebraic group of type $E_6$ (or $G_2$) defined over $k$. In this paper, we present the first examples of nonabelian non-$G$-completely reducible $k$-subgroups of $G$ which are $G$-completely reducible over $k$. Our construction is based on that of subgroups of $G$ acting non-separably on the unipotent radical of a proper parabolic subgroup of $G$ in our previous work. We also present examples with the same property for a non-connected reductive group $G$. Along the way, several general results concerning compl…
Among abelian extensions of a congruence function field, an asymptotic relation of class number and genus is established. The proof is classical, employing well-known results from congruence function field theory.
We study universal families of stable genus two curves with level structure. Among other things, it is shown that the (1,1) part is spanned by divisor classes, and that there are no cycles of type (2,2) in the third cohomology of the first direct image. Using this, we deduce the Hodge and Tate conjectures hold for these varieties.
In $2000$, Colliot-Thélène and Poonen showed how to construct algebraic families of genus one curves violating the Hasse principle. Poonen explicitly constructed an algebraic family of genus one cubic curves violating the Hasse principle using the general method developed by Colliot-Thélène and himself. The main result in this paper generalizes the result of Colliot-Thélène and Poonen to arbitrarily high genus hyperelliptic curves. More precisely, for $n > 5$ and $n \not\equiv 0 \pmod{4}$, we show that there is an algebraic family of hyperelliptic curves of genus $n$ that is counterexamples to…
We study the question of whether algebraic curves of a given genus g defined over a field K must have points rational over the maximal abelian extension K^{ab} of K. We give: (i) an explicit family of diagonal plane cubic curves with Q^{ab}-points, (ii) for every number field K, a genus one curve C_{/Q} with no K^{ab}-points, and (iii) for every g \geq 4 an algebraic curve C_{/Q} of genus g with no Q^{ab}-points. In an appendix, we discuss varieties over Q((t)), obtaining in particular a curve of genus 3 without (Q((t)))^{ab}-points.
We prove that for any t in Q, the curve 5 x^3 + 9 y^3 + 10 z^3 + 12((t^12-t^4-1)/(t^12-t^8-1))^3 (x+y+z)^3 = 0 in P^2 is a genus 1 curve violating the Hasse principle. An explicit Weierstrass model for its Jacobian E_t is given. The Shafarevich-Tate group of each E_t contains a subgroup isomorphic to Z/3 x Z/3.
We discuss the basic properties of various versions of two variable elliptic genus with special attention to the equivariant elliptic genus. The main applications are to the elliptic genera attached to non-compact GITs, including the elliptic genera of Witten's phases on $N=2$ theories.
We present a treatment of the algebraic description of the Jacobian of a generic genus two plane curve which exploits an SL2(k) equivariance and clarifes the structure of E.V.Flynn's 72 defining quadratic relations. The treatment is also applied to the Kummer variety.
We first provide an overview of several results dealing with the genus of a division algebra and highlight the role of ramification in its analysis. We then give a survey of recent developments on the genus problem for simple algebraic groups and its connections to the analysis of groups with good reduction.
Let $A$ be a simple abelian surface over an algebraically closed field $k$. Let $S\subset A(k)$ be the set of torsion points $x$ of $A$ such that there exists a genus $2$ curve $C$ and a map $f: C\to A$ such that $x$ is in the image of $f$, and $f$ sends a Weierstrass point of $C$ to the origin of $A$. The purpose of this note is to show that if $k$ has characteristic zero, then $S$ is finite -- this is in contrast to the situation where $k$ is the algebraic closure of a finite field, where $S=A(k)$, as shown by Bogomolov and Tschinkel. We deduce that if $k=\bar{\mathbb{Q}}$, the Kummer surfac…
Currently, the best upper bounds on the number of rational points on an absolutely irreducible, smooth, projective algebraic curve of genus g defined over a finite field F_q come either from Serre's refinement of the Weil bound if the genus is small compared to q, or from Oesterle's optimization of the explicit formulae method if the genus is large. This paper presents three methods for improving these bounds. The arguments used are the indecomposability of the theta divisor of a curve, Galois descent, and Honda-Tate theory. Examples of improvements on the bounds include lowering them for a wi…
Given a faithful action of a finite group on an algebraic curve of genus at least 2, we prove that the induced action on the space of global holomorphic differentials is faithful as well, except in the following very special case: the given action is not tame, the genus of the quotient curve is 0 and the characteristic of the base field is 2.
We give explicit computational algorithms to construct minimal degree (always $\le 4$) ramified covers of $\Prj^1$ for algebraic curves of genus 5 and 6. This completes the work of Schicho and Sevilla (who dealt with the $g \le 4$ case) on constructing radical parametrisations of arbitrary genus $g$ curves. Zariski showed that this is impossible for the general curve of genus $\ge 7$. We also construct minimal degree birational plane models and show how the existence of degree 6 plane models for genus 6 curves is related to the gonality and geometric type of a certain auxiliary surface.
We show that prime Fano threefolds $Y$ of genus 8 have a multiplicative Chow-Künneth decomposition, in the sense of Shen-Vial. As a consequence, a certain tautological subring of the Chow ring of powers of $Y$ injects into cohomology.
Using a geometric approach involving Riemann surface orbifolds, we provide lower bounds for the genus of an irreducible algebraic curve of the form $E_{A,B}:\, A(x)-B(y)=0$, where $A, B\in\mathbb C(z)$. We also investigate "series" of curves $E_{A,B}$ of genus zero, where by a series we mean a family with the "same" $A$. We show that for a given rational function $A$ a sequence of rational functions $B_i$, such that ${\rm deg}\, B_i \rightarrow \infty$ and all the curves $A(x)-B_i(y)=0$ are irreducible and have genus zero, exists if and only if the Galois closure of the field extension $\mathb…
In this paper, we construct certain algebraic correspondences between genus three curves and certain type of Calabi-Yau threefolds which is double coverings of three dimensional projective space. Via this correspondences, the first cohomology groups of the curves can be embedded into the third cohomology groups of the Calabi-Yau three folds. Moreover we prove that the cokernel of this inclusion of variations ofHodge structures can not be a factor of any variations of Hodge structures comming from polarized abelian schemes.
In this paper, we study the Gieseker moduli space $\mathcal{M}_{1,1}^{4,3}$ of minimal surfaces with $p_g=q=1, K^2=4$ and genus 3 Albanese fibration. Under the assumption that direct image of the canonical sheaf under the Albanese map is decomposable, we find two irreducible components of $\mathcal{M}_{1,1}^{4,3}$, one of dimension 5 and the other of dimension 4.
The number A(q) shows the asymptotic behaviour of the quotient of the number of rational points over the genus of non-singular absolutely irreducible curves over a finite field Fq. Research on bounds for A(q) is closely connected with the so-called asymptotic main problem in Coding Theory. In this paper, we study some generalizations of this number for non-irreducible curves, their connection with A(q) and its application in Coding Theory.
In this paper, we study algebraic surfaces of general type with $p_g=q=1$ and genus 2 Albanese fibrations. We first study the examples of surfaces with $p_g=q=1, K^2=5$ and genus 2 Albanese fibrations constructed by Catanese using singular bidouble covers of $\mathbb{P}^2$. We prove that these surfaces give an irreducible and connected component of $\mathcal{M}_{1,1}^{5,2}$, the Gieseker moduli space of surfaces of general type with $p_g=q=1, K^2=5$ and genus 2 Albanese fibrations. Then by constructing surfaces with $p_g=q=1,K^2=3$ and a genus 2 Albanese fibration such that the number of the s…
Let $E$ be an ordinary elliptic curve over a finite field and $g$ be a positive integer. Under some technical assumptions, we give an algorithm to span the isomorphism classes of principally polarized abelian varieties in the isogeny class of $E^g$. The varieties are first described as hermitian lattices over (not necessarily maximal) quadratic orders and then geometrically in terms of their algebraic theta null point. We also show how to algebraically compute Siegel modular forms of even weight given as polynomials in the theta constants by a careful choice of an affine lift of the theta null…
A Kodaira fibration is a non-isotrivial fibration $f\colon S\rightarrow B$ from a smooth algebraic surface $S$ to a smooth algebraic curve $B$ such that all fibers are smooth algebraic curves of genus $g$. Such fibrations arise as complete curves inside the moduli space $\mathcal{M}_g$ of genus $g$ algebraic curves. We investigate here the possible connected monodromy groups of a Kodaira fibration in the case $g=3$ and classify which such groups can arise from a Kodaira fibration obtained as a general complete intersection curve inside a subvariety of $\mathcal{M}_3$ parametrizing curves whose…
In our previous work, we provided an algebraic proof of the Zinger's comparison formula between genus one Gromov-Witten invariants and reduced invariants when the target space is a complete intersection of dimension two or three in a projective space. In this paper, we extend the result in any dimensions and for descendant invariants.
A Teichmüller curve is an algebraic and isometric immersion of an algebraic curve into the moduli space of Riemann surfaces. We give the first explicit algebraic models of Teichmüller curves of positive genus. Our methods are based on the study of certain Hilbert modular forms and the use of Ahlfors's variational formula to identify eigenforms for real multiplication on genus two Jacobians. We also present evidence that Teichmüller curves admit a rich arithmetic geometry by exhibiting examples with small primes of bad reduction and notable divisors supported at their cusps.
Let $k$ be a field of characteristic 0, let $C/k$ be a uniquely trigonal genus 4 curve, and let $P \in C(k)$ be a simply ramified point of the uniquely trigonal morphism. We construct an assignment of an orbit of an algebraic group of type $E_8$ acting on a specific variety to each element of $J_C(k)/2$. The algebraic group and variety are independent of the choice of $(C,P)$. We also construct a similar identification for uniquely trigonal genus 4 curves $C$ with $P \in C(k)$ a totally ramified point of the trigonal morphism. Our assignments are analogous to the assignment of a genus 3 curve …
The Bogomolov Conjecture is a finiteness statement about algebraic points of small height on a smooth complete curve defined over a global field. We verify an effective form of the Bogomolov Conjecture for all curves of genus at most 4 defined over a function field of characteristic zero. We recover the known result for genus 2 curves and in many cases improve upon the known bound for genus 3 curves. For many curves of genus 4 with bad reduction, the conjecture was previously unproved.
We prove that the genus of a finite-dimensional division algebra is finite whenever the center is a finitely generated field of any characteristic. We also discuss potential applications of our method to other problems, including the finiteness of the genus of simple algebraic groups of type $\textsf{G}_2$. These applications involve the double cosets of adele groups of algebraic groups over arbitrary finitely generated fields: while over number fields these double cosets are associated with the class numbers of algebraic groups and hence have been actively analyzed, similar question over more…
We introduce and study birational invariants for foliations on projective surfaces built from the adjoint linear series of positive powers of the canonical bundle of the foliation. We apply the results in order to investigate the effective algebraic integration of foliations on the projective plane. In particular, we describe the Zariski closure of the set of foliations on the projective plane of degree d admitting rational first integrals with fibers having geometric genus bounded by g.
Li-Zinger's hyperplane theorem states that the genus one GW-invariants of the quintic threefold is the sum of its reduced genus one GW-invariants and 1/12 multiplies of its genus zero GW-invariants. We apply the Guffin-Sharpe-Witten's theory (GSW theory) to give an algebro-geometric proof of the hyperplane theorem, including separation of contributions and computation of 1/12.
In this paper we present a decoding algorithm for algebraic geometry codes with error-correcting capacity beyond half the designed distance of the code. This algorithm comes as a fusion of the Power Error Locating Pairs algorithm for algebraic geometry codes and the technique used by Ehrhard in order to correct these codes up to half the designed distance. The decoding radius of this algorithm reaches that of Sudan algorithm, without any penalty given by the genus of the curve.
In this paper we study minimal algebraic surfaces with $p_g=q=1,K^2=4$ and nonhyperelliptic Albanese fibrations of genus 4. We construct for the first time a family of such surfaces as complete intersections of type $(2,3)$ in a $\mathbb{P}^3$-bundle over an elliptic curve. For the surfaces we construct here, the direct image of the canonical sheaf under the Albanese map is decomposable (which is a topological invariant property). Moreover we prove that, all minimal surfaces with $p_g=q=1,K^2=4$ and nonhyperelliptic Albanese fibrations of genus 4 such that the direct image of the canonical she…
A coregular space is a representation of an algebraic group for which the ring of polynomial invariants is free. In this paper, we show that the orbits of many coregular irreducible representations where the number of invariants is at least two, over a (not necessarily algebraically closed) field k, correspond to genus one curves over k together with line bundles, vector bundles, and/or points on their Jacobians. In forthcoming work, we use these orbit parametrizations to determine the average sizes of Selmer groups for various families of elliptic curves.
We develop the theory of Abelian functions associated with algebraic curves. The growth in computer power and an advancement of efficient symbolic computation techniques has allowed for recent progress in this area. In this paper we focus on the genus three cases, comparing the two canonical classes of hyperelliptic and trigonal curves. We present new addition formulae, derive bases for the spaces of Abelian functions and discuss the differential equations such functions satisfy.
Let $\bar{G} = (G, ω)$ be a vertex-weighted graph, and $δ$ a divisor class on $G$. Let $r_{\bar{G}}(δ)$ denote the combinatorial rank of $δ$. Caporaso has introduced the algebraic rank $r_{\bar{G}}^{\operatorname{alg}}(δ)$ of $δ$, by using nodal curves with dual graph $\bar{G}$. In this paper, when $\bar{G}$ is hyperelliptic or of genus $3$, we show that $r_{\bar{G}}^{\operatorname{alg}}(δ) \geq r_{\bar{G}}(δ)$ holds, generalizing our previous result. We also show that, with respect to the specialization map from a non-hyperelliptic curve of genus $3$ to its reduction graph, any divisor on the…
We provide a theoretical study of Algebraic Geometry codes constructed from abelian surfaces defined over finite fields. We give a general bound on their minimum distance and we investigate how this estimation can be sharpened under the assumption that the abelian surface does not contain low genus curves. This approach naturally leads us to consider Weil restrictions of elliptic curves and abelian surfaces which do not admit a principal polarization.
We give a new example of a curve C algebraically, but not rationally, uniformized by radicals. This means that C has no map onto the projective line P^1 with solvable Galois group, while there exists a curve C' that maps onto C and has a finite morphism to P^1 with solvable Galois group. We construct such a curve C of genus 9 in the second symmetric product of a general curve of genus 2. It is also an example of a genus 9 curve that does not satisfy condition S(4,2,9) of Abramovich and Harris.
This is an English translation of the paper "Ueber die algebraischen Curven von den Geschlechtern $p = 4$, $5$ und $6$, welche eindeutigen Transformationen in sich besitzen" by Anders Wiman, Bihang till Kongl. Svenska vetenskaps-akademiens handlingar 21 (1895): 1-41. The article, originally written in German, classifies non-hyperelliptic curves which have non-trivial automorphism groups via classical methods in algebraic geometry.
A. Zinger defined reduced Gromov-Witten (GW) invariants and proved a comparison theorem of standard and reduced genus one GW invariants for every symplectic manifold (with all dimension). H. -L. Chang and J. Li provided a proof of the comparison theorem for quintic Calabi-Yau 3-folds in algebraic geometry by taking a definition of reduced invariants as an Euler number of certain vector bundle. T. Coates and C. Manolache have defined reduced GW invariants in algebraic geometry following the idea by Vakil and Zinger and proved the comparison theorem for every Calabi-Yau threefold. In this paper,…
We prove the modularity for an algebraic space curve $Y$ of genus $50$ in $\mathbb{P}^5$, which consists of $21$ quartic polynomials in six variables, by means of an explicit modular parametrization by theta constants of order $13$. This provides an example of modularity, explicit uniformization and hyperbolic uniformization of arithmetic type for a higher genus algebraic space curve. In particular, it gives a new example for Hilbert's 22nd problem. This gives $21$ modular equations of order $13$, which greatly improve the result of Ramanujan and Evans on the construction of modular equations …
Kodaira's classification of singular fibers in elliptic fibrations and its translation into the language of monodromies and Lefschetz fibrations has been a boon to the study of 4-manifolds. In this article, we begin the work of translating between singular fibers of genus 2 families of algebraic curves and the positive Dehn twist factorizations of Lefschetz fibrations for a certain subset of the singularities described by Namikawa and Ueno in the 70s. We look at four families of hypersurface singularities in $\mathbb{C}^3$. Each hypersurface comes equipped with a fibration by genus 2 algebraic…
In this paper we construct a family of exceptional Stewart-Gough mechanisms, whose motion curves are algebraic curves of genus 7. Up to translations, rotations and dilatations this family of mechanisms is 13-dimensional.
We prove that the moduli space of compact genus three Riemann surfaces contains only finitely many algebraically primitive Teichmueller curves. For the stratum consisting of holomorphic one-forms in genus three with a single zero, our approach to finiteness uses the Harder-Narasimhan filtration of the Hodge bundle over a Teichmueller curve to obtain new information on the locations of the zeros of eigenforms. By passing to the boundary of moduli space, this gives explicit constraints on the cusps of Teichmueller curves in terms of cross-ratios of six points on a projective line. These constrai…
We introduce four invariants of algebraic varieties over imperfect fields, each of which measures either geometric non-normality or geometric non-reducedness. The first objective of this article is to establish fundamental properties of these invariants. We then apply our results to curves over imperfect fields. In particular, we establish a genus change formula and prove the boundedness of non-smooth regular curves of genus one. We also compute our invariants for some explicit examples.
Using an Euclidean approach, we prove a new upper bound for the number of closed points of degree 2 on a smooth absolutely irreducible projective algebraic curve defined over the finite field $\mathbb F\_q$.This bound enables us to provide explicit conditions on $q, g$ and $π$ for the non-existence of absolutely irreducible projective algebraic curves defined over $\mathbb F\_q$ of geometric genus $g$, arithmetic genus $π$ and with $N\_q(g)+π-g$ rational points.Moreover, for $q$ a square, we study the set of pairs $(g,π)$ for which there exists a maximal absolutely irreducible projective algeb…
We address the problem of the maximal finite number of real points of a real algebraic curve (of a given degree and, sometimes, genus) in the projective plane. We improve the known upper and lower bounds and construct close to optimal curves of small degree. Our upper bound is sharp if the genus is small as compared to the degree. Some of the results are extended to other real algebraic surfaces, most notably ruled.
Let $X$ be a (projective, geometrically irreducible, nonsingular) algebraic curve of genus $g \ge 2$ defined over an algebraically closed field $K$ of odd characteristic $p$. Let $Aut(X)$ be the group of all automorphisms of $X$ which fix $K$ element-wise. It is known that if $|Aut(X)|\geq 8g^3$ then the $p$-rank (equivalently, the Hasse-Witt invariant) of $X$ is zero. This raises the problem of determining the (minimum-value) function $f(g)$ such that whenever $|Aut(X)|\geq f(g)$ then $X$ has zero $p$-rank. For {\em{even}} $g$ we prove that $f(g)\leq 900 g^2$. The {\em{odd}} genus case appear…
We compute the cohomological invariants with coefficients in $\mathbb{Z}/p\mathbb{Z}$ of the stack $\mathscr{H}_3$ of hyperelliptic curves of genus $3$ over an algebraically closed field.
We introduce K-theoretic Gromov-Witten invariants of algebraic orbifold target spaces. Using the methods developed by Givental-Tonita we characterize Giventals Lagrangian cone of quantum K theory of orbifolds in terms of the cohomological cone.
Let C be a complete non-singular irreducible curve of genus 4 over an algebraically closed field of characteristic 0. We determine all possible Weierstrass semigroups of ramification points on double covers of C which have genus greater than 11. Moreover, we construct double covers with ramification points whose Weierstrass semigroups are the possible ones.
We will write down the higher genus algebraic curves supporting icosahedral solutions of the sixth Painleve equation, including the largest (genus seven) curve.
