Existence of <Emphasis Type="Italic">g</Emphasis><Superscript>1</Superscript><Subscript><Emphasis Type="Italic">g</Emphasis>–2</Subscript>’s on a double covering of a hyperelliptic curve

Abstract Let X be a non–hyperelliptic curve of genus g which is a double covering of a hyperelliptic curve C of genus h. In this paper, we prove that, if h≥ 3 and g≥ 4h+5, then X admits a complete, base point free g¹_g–2. Moreover, if h=3, this result holds under the mild condition g≥ 4h+3=15. Keywords: Double covering of hyperelliptic curves, Pencil of degree g–2 Mathematics Subject Classification (2000:) 14H30, 14H45     

Level Structures on the Weierstrass Family of Cubics

Let W → 𝔸 ² be the universal Weierstrass family of cubic curves over ?. For each N ≥ 2, we construct surfaces parameterizing the three standard kinds of level N structures on the smooth fibers of W. We then complete these surfaces to finite covers of 𝔸 ². Since W → 𝔸 ² is the versal deformation space of a cusp singularity, these surfaces convey information about the level structure on any family of curves of genus g degenerating to a cuspidal curve. Our goal in this note is to determine for which values of N these surfaces are smooth over (0, 0). From a topological perspective, the results determine the homeomorphism type of certain branched covers of S ³ with monodromy in SL₂ (?/N).     

Some remarks on the de Franchis theorem

Summary LetX be a smooth projective curve defined onC. The number of holomorphic maps from a fixedX to another curve, (both of genus bigger than or equal to two), is finite by the classical de Franchis theorem. In this paper we get an explicit bound for this number, depending on the genus ofX only. Our bound is better than all the previously given ones (by Howard-Sommese and Kani).

---

Sommario SiaX una curva liscia proiettiva definita suC. Il numero delle applicazioni olomorfe esistenti tra unaX fissata ed un'altra curva, (entrambe di genere maggiore od uguale a due), è finito in base al classico teorema di de Franchis. In questo lavoro noi otteniamo, per tale numero, un limite superiore esplicito, dipendente solo dal genere diX. La nostra stima è migliore di tutte quelle date precedentemente (da Howard-Sommese e da Kani).

     

Curves without plane model of small degree

Let C be a smooth irreducible projective curve of genus g > 0 and s_C (2) the minimal degree of plane models of C. Clearly, s_C (2) ≤ g + 2. Our main result is: s_C (2) = g + 2 – t (for some integer t ≥ 0) implies that C is a double cover of a curve of genus at most t provided that g is not too small with respect to t. For small t we can be more precise. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Ample Vector Bundles with Small g − q

Let X be a smooth complex projective variety and let Z ? X be a smooth submanifold of dimension ≥ 2, which is the zero locus of a section of an ample vector bundle ? of rank dim X ? dim Z ≥ 2 on X. Let H be an ample line bundle on X, whose restriction H _Z to Z is generated by global sections. The structure of triplets (X,?,H) as above is described under the assumption that the curve genus of the corank-1 vector bundle ? ⊕ H ^{⊕ (dim Z?1)} is ≤ h ¹( _X ) + 2.     

On maximal curves in characteristic two

The genus g of an q-maximal curve satisfies g=g ₁≔q(q−1)/2 or . Previously, q-maximal curves with g=g ₁ or g=g ₂, q odd, have been characterized up to q-isomorphism. Here it is shown that an q-maximal curve with genus g ₂, q even, is q-isomorphic to the non-singular model of the plane curve ∑ _{i =1}} ^t y ^{q /2 i} =x ^{q +1}, q=2 ^t , provided that q/2 is a Weierstrass non-gap at some point of the curve. Received: 3 December 1998     

The Expected Genus of a Random Chord Diagram

To any generic curve in an oriented surface there corresponds an oriented chord diagram, and any oriented chord diagram may be realized by a curve in some oriented surface. The genus of an oriented chord diagram is the minimal genus of an oriented surface in which it may be realized. Let g _n denote the expected genus of a randomly chosen oriented chord diagram of order n. We show that g _n satisfies:

Irregularity of certain algebraic fiber spaces

Let X, Y be smooth complex projective varieties, and be a fiber space whose general fiber is a curve of genus g. Denote by q _f the relative irregularity of f. It is proved that , if f is not generically trivial; moreover, if either a) f is non-constant and the general fiber is either hyperelliptic or bielliptic or b) q(Y)= 0, then , and the bound is best possible. A classification of fiber surfaces of genus 3 with q _f = 2 is also given in this note. Received: 19 March 1997 / Revised version: 29 October 1997     

On the Lüroth semigroup of curves lying on a smooth quadric

For a smooth irreducible complete algebraic curveC the “gaps” are the integersn such that every linear series of degreen has at least a base point. The Lüroth semigroup S_C of a curveC is the subsemigroup ofN whose elements are not gaps. In this paper we deal with irreducible smooth curves of type (a, b) on a smooth quadricQ. The main result is an algorithm by which we can say if some integer λ∈N is a gap or is in S_C. In the general case there are integers λ which are undecidable. For curves such as complete intersection, arithmetically Cohen-Macaulay or Buchsbaum, we are able to describe explicitly “intervals” of gaps and “intervals” of integers which belong to S_C. For particular cases we can completely determine S_C, by giving just the type of the curve (in particular the degree and the genus). Work done with financial support of M.U.R.S.T. while the authors were members of G.N.S.A.G.A. of C.N.R.     

Finding rational points on bielliptic genus 2 curves

We discuss a technique for trying to find all rational points on curves of the form Y ²=f ₃ X ⁶+f ₂ X ⁴+f ₁ X ²+f ₀, where the sextic has nonzero discriminant. This is a bielliptic curve of genus 2. When the rank of the Jacobian is 0 or 1, Chabauty's Theorem may be applied. However, we shall concentrate on the situation when the rank is at least 2. In this case, we shall derive an associated family of elliptic curves, defined over a number field ℚα. If each of these elliptic curves has rank less than the degree of ℚα : ℚ, then we shall describe a Chabauty-like technique which may be applied to try to find all the points (x,y) defined over ℚα) on the elliptic curves, for which x∈ℚ. This in turn allows us to find all ℚ-rational points on the original genus 2 curve. We apply this to give a solution to a problem of Diophantus (where the sextic in X is irreducible over ℚ), which simplifies the recent solution of Wetherell. We also present two examples where the sextic in X is reducible over ℚ. Received: 27 November 1998 / Revised version: 4 June 1999     

On the minimal genus of 2-complexes

Gross and Rosen asked if the genus of a 2-dimensional complex K embeddable in some (orientable) surface is equal to the genus of the graph of appropriate barycentric subdivision of K. We answer the nonorientable genus and the Euler genus versions of Gross and Rosen's question in affirmative. We show that this is not the case for the orientable genus by proving that taking ⌊ log₂ g⌋ th barycentric subdivision is not sufficient, where g is the genus of K. On the other hand, (1+⌈log₂(g+2)⌉)th subdivision is proved to be sufficient. © 1997 John Wiley & Sons, Inc.     

Chow group of 1-cycles on the moduli space of vector bundles of rank 2 over a curve

Let X be a non-singular complex projective curve of genus ≥3. Choose a point x ∈ X. Let M_x be the moduli space of stable bundles of rank 2 with determinant We prove that the Chow group CH^Q₁(M_x) of 1-cycles on M_x with rational coefficients is isomorphic to CH^Q₀(X). By studying the rational curves on M_x, it is not difficult to see that there exits a natural homomorphism CH₀(J)→CH₁(M_x) where J denotes the Jacobian of X. The crucial point is to show that this homomorphism induces a homomorphism CH₀(X)→CH₁(M_x), namely, to go from the infinite dimensional object CH₀(J) to the finite dimensional object CH₀(X). This is proved by relating the degeneration of Hecke curves on M_x to the second term I^*2 of Bloch's filtration on CH₀(J). Insong Choe was supported by KOSEF (R01-2003-000-11634-0).     

Note on g-Hilbertian fields and nonrational curves¶with the Hilbert property

In a recent paper, Fried and Jarden prove the existence, for all integers g, of non-Hilbertian fields K which cannot be covered by a finite number of sets of the form ϕ (X(K)), where X is a curve of genus ≤g and ϕ is a rational function on X of degree ≥ 2. (If no bound is given on the genus we recover the notion of Hilbertian field.) This generalizes the case g=0, obtained previously by Corvaja and Zannier with a more elementary method. By a suitable modification of that method, we give here a new proof of the result of Fried and Jarden which avoids the use of deep group theoretical results. By a somewhat related construction we give an example of a curve X/Q of any prescribed genus and a Hilbertian field K⊂ˉQ such that X/K has the Hilbert property, i.e. the set of rational points X(K) is not thin. Received: 10 March 1998 / Revised version: 20 April 1998     

Abel maps of Gorenstein curves

Abstract  For a Gorenstein curve X and a nonsingular point P∈ X, we construct Abel maps and , where J_Xⁱ is the moduli scheme for simple, torsion-free, rank-1 sheaves on X of degree i. The image curves of A and A_P are shown to have the same arithmetic genus of X. Also, A and A_P are shown to be embeddings away from rational subcurves L⊂ X meeting in separating nodes. Finally we establish a connection with Seshadri’s moduli scheme U_X(1) for semistable, torsion-free, rank-1 sheaves on X, obtaining an embedding of A(X) into U_X(1). Keywords Abel map, Torsion-free rank-1 sheaf, Compactified Jacobian, Gorenstein singularity Mathematics Subject Classification (2000) 14H40, 14H60     

A general solution of a system of nonlinear ordinary differential equationsxy′=f(x,y) in the case whenf y(0, 0) is the zero matrix

Summary Let there be given a system of n nonlinear ordinary differential equations of the form xy′=f(x, y). Here x is a complex variable, y is an n-column vector and f(x, y) is an n-column vector whose components are holomorphic functions of (x, y) at (0, 0) and vanish at x=0, y=0. In the case when the Jacobian matrix f_y(x, y) is reduced to the zero matrix at (0, 0), we shall study how to construct an analytic expression for a general solution under AssumptionsI andII. Entrata in Redazione il 28 ottobre 1968. This paper was partially based on MRC Technical Summary Reports Nos.641 and760 at the Mathematics Research Center, US Army, Madison, University of Wisconsin.     

On the well-posedness of the vacuum Einstein��s equations

The Cauchy problem of the vacuum Einstein’s equations aims to find a semi-metric g _αβ of a spacetime with vanishing Ricci curvature R _α,β and prescribed initial data. Under the harmonic gauge condition, the equations R _α,β  = 0 are transferred into a system of quasi-linear wave equations which are called the reduced Einstein equations. The initial data for Einstein’s equations are a proper Riemannian metric h _ab and a second fundamental form K _ab . A necessary condition for the reduced Einstein equation to satisfy the vacuum equations is that the initial data satisfy Einstein constraint equations. Hence the data (h _ab , K _ab ) cannot serve as initial data for the reduced Einstein equations. Previous results in the case of asymptotically flat spacetimes provide a solution to the constraint equations in one type of Sobolev spaces, while initial data for the evolution equations belong to a different type of Sobolev spaces. The goal of the present article is to resolve this incompatibility and to show that under the harmonic gauge the vacuum Einstein equations are well-posed in one type of Sobolev spaces.     

The 2-primary torsion on elliptic curves in the Z p -extensions of Q

Let E be an elliptic curve over Q and p a prime number. Denote by Q_p,∞ the Z_p-extension of Q. In this paper, we show that if p≠3, then where E(Q_p,∞)₍₂₎ is the 2-primary part of the group E(Q_p,∞) of Q_p,∞-rational points on E. More precisely, in case p=2, we completely classify E(Q_2,∞)₍₂₎ in terms of E(Q)₍₂₎; in case p≥5 (or in case p=3 and E(Q)₍₂₎≠{O}), we show that E(Q_p,∞)₍₂₎=E(Q)₍₂₎.     

The Maximum or Minimum Number of Rational Points on Genus Three Curves over Finite Fields

We show that for all finite fields F_q, there exists a curve C over F_q of genus 3 such that the number of rational points on C is within 3 of the Serre–Weil upper or lower bound. For some q, we also obtain improvements on the upper bound for the number of rational points on a genus 3 curve over F_q.with an Appendix by Jean-Pierre Serre