publication . Preprint . 2015

# Dimension counts for singular rational curves via semigroups

Cotterill, Ethan; Feital, Lia; Martins, Renato Vidal;
Open Access English
• Published: 26 Nov 2015
Abstract
We study singular rational curves in projective space, deducing conditions on their parametrizations from the value semigroups \$\sss\$ of their singularities. In particular, we prove that a natural heuristic for the codimension of the space of nondegenerate rational curves of arithmetic genus \$g>0\$ and degree \$d\$ in \$\mb{P}^n\$, viewed as a subspace of all degree-\$d\$ rational curves in \$\mb{P}^n\$, holds whenever \$g\$ is small. On the other hand, we show that this heuristic fails in general, by exhibiting an infinite family of examples of Severi-type varieties of rational curves containing "excess" components of dimension strictly larger than the space of \$g\$-nodal ...
Subjects
free text keywords: Mathematics - Algebraic Geometry, Mathematics - Commutative Algebra, Mathematics - Combinatorics, 14H20, 14H45, 14H51, 20Mxx 33 references, page 1 of 3

+ (i − g)g = ig − g ≥ (i + 1)i 2(i − 2) where P = V (x, y, z, w, x1, y1, z1, w1) is the usual Vandermonde determinant. It follows immediately that det(A0) 6= 0.

- S1∗ = {0, (1, 1), (2, 2)}, S2∗ = {0, (1, 1, 1)}. The analysis is similar to that of the preceding subcase. Recall that C2 is necessarily a triple point. Assuming that the branches x = (x : 1), y = (y : 1) and v = (v : 1), w = (w : 1), z = (z : 1) of C1 and C2, respectively, all lie in the same toric chart, the corresponding coefficient matrix A has a (maximal, rightmost) 7 × 7 submatrix A0 for which (up to a sign) - S∗ = {0, (1, 2), (2, 3)}, {0, (1, 1), (2, 2), (3, 3)}, or {0, (1, 1, 1), (2, 2, 1)}. These cases correspond to Cases 2, 3, and 5, respectively, of our classification of non-MT semigroups of genera 3 and 4 above. We discuss only the first possibility, as the arguments in the remaining two cases are completely analogous. Assume, then, that S∗ = {0, (1, 2), (2, 3)}, and that C1 is supported in (0 : · · · : 0 : 1) ∈ Pn, with branches whose preimages are 0 = (0 : 1) and ∞ = (1 : 0). Now say q = 1, so C2 is a simple cusp. Assume the preimage of the cusp is 1 = (1 : 1). The following conditions are operative, for all 0 ≤ i ≤ n − 1:

 A. Contiero, L. Feital, and R. V. Martins, Max Noether's theorem for integral curves, arXiv:1403.4167.

 A. Contiero and K.-O. Sto¨hr, Upper bounds for the dimension of moduli spaces of curves with symmetric Weierstrass semigroups, J. London Math. Soc. 88 (2013), 580-598.

 M. Coppens, Free linear systems on integral Gorenstein curves, J. Alg. 145 (1992), 209-218. [OpenAIRE]

 E. Cotterill, Rational curves of degree 11 on a general quintic threefold, Quart. J. Math. 63 (2012), no. 3, 539-568. [OpenAIRE]

 E. Cotterill, Rational curves of degree 16 on a general heptic fourfold, J. Pure Appl. Alg. 218 (2014), 121-129.

 D. Cox, A. Kustin, C. Polini, and B. Ulrich, A study of singularities on rational curves via syzygies, Mem. Amer. Math. Soc. 222 (2013), no. 1045.

 D. Eisenbud and J. Harris, Divisors on general curves and cuspidal rational curves, Invent. Math. 74 (1983), 371-418.

 D. Eisenbud, J. Koh, and M. Stillman, Determinantal equations for curves of high degree, Amer. J. Math. 110 (1988), no. 3, 513-539.

 J. Fern´andez de Bobadilla, I. Luengo, A. Melle-Herna´ndez, and A. N´emethi, On rational cuspidal plane curves, open surfaces, and local singularities, pp.411-442 in “Singularity theory”, World Sci. Publ., 2007.

 L. Feital, Gonalidade e o teorema de Max Noether para curvas n˜aoGorenstein, Univ. Federal de Minas Gerais Ph. D. thesis, 2013; viewable at www.mat.ufmg.br/intranet-atual/pgmat/TesesDissertacoes/uploaded/Tese47.pdf.

 L. Feital and R. V. Martins, Gonality of non-Gorenstein curves of genus five, Bull. Braz. Math. Soc. 45 (2014), no. 4, 649-670.

 H. Flenner and M. Zaidenberg, Rational cuspidal plane curves of type (d, d−3), Math. Nachr. 210 (2000), 93-110.

 A. Garcia and R. F. Lax, Weierstrass weight of Gorenstein singularities with one or two branches, Manuscripta Math. 81 (1993), 361-378.

33 references, page 1 of 3 Powered by OpenAIRE Research Graph
Any information missing or wrong?Report an Issue