Curves with maximal rank, but not aCM, with very high genera in projective spaces
1
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
A curve $X\subset \mathbb {P}^r$ has maximal rank if for each $t\in \mathbb {N}$ the restriction map $H^0(\mathcal {O} _{\mathbb {P}^r}(t)) \to H^0(\mathcal {O} _X(t))$ is either injective or surjective. We show that for all integers $d\ge r+1$ there are maximal rank, but not arithmetically Cohen-Macaulay, smooth curves $X\subset \mathbb {P}^r$ with degree $d$ and genus roughly $d^2/2r$, contrary to the case $r=3$, where it was proved that their genus growths at most like $d^{3/2}$ (A. Dolcetti). Nevertheless there is a sector of large genera $g$, roughly between $d^2/(2r+2)$ and $d^2/2r$, where we prove the existence of smooth curves (even aCM ones) with degree $d$ and genus $g$, but the only integral and non-degenerate maximal rank curves with degree $d$ and arithmetic genus $g$ are the aCM ones. For some $(d,g,r)$ with high $g$ we prove the existence of reducible non-degenerate maximal rank and non aCM curves $X\subset \mathbb {P}^r$ with degree $d$ and arithmetic genus $g$, while $(d,g,r)$ is not realized by non-degenerate maximal rank and non aCM integral curves.
Abstract
A curve $X\subset \mathbb {P}^r$ has maximal rank if for each $t\in \mathbb {N}$ the restriction map $H^0(\mathcal {O} _{\mathbb {P}^r}(t)) \to H^0(\mathcal {O} _X(t))$ is either injective or surjective. We show that for all integers $d\ge r+1$ there are maximal rank, but not arithmetically Cohen-Macaulay, smooth curves $X\subset \mathbb {P}^r$ with degree $d$ and genus roughly $d^2/2r$, contrary to the case $r=3$, where it was proved that their genus growths at most like $d^{3/2}$ (A. Dolcetti). Nevertheless there is a sector of large genera $g$, roughly between $d^2/(2r+2)$ and $d^2/2r$, where we prove the existence of smooth curves (even aCM ones) with degree $d$ and genus $g$, but the only integral and non-degenerate maximal rank curves with degree $d$ and arithmetic genus $g$ are the aCM ones. For some $(d,g,r)$ with high $g$ we prove the existence of reducible non-degenerate maximal rank and non aCM curves $X\subset \mathbb {P}^r$ with degree $d$ and arithmetic genus $g$, while $(d,g,r)$ is not realized by non-degenerate maximal rank and non aCM integral curves.
참고문헌 (17)
- Alberto Alzati, "On the k-normality of projected algebraic varieties", Bulletin of the Brazilian Mathematical Society, New Series, 33(1), pp.27~48 (2002), Springer Science and Business Media LLC[DOI]
- E Ballico, "On projections of ruled and veronese surfaces", Journal of Algebra, 121(2), pp.477~487 (1989), Elsevier BV[DOI]
- Edoardo Ballico, "Maximal rank of space curves in the range A", European Journal of Mathematics, 4(3), pp.778~801 (2018), Springer Science and Business Media LLC[DOI]
- Markus Brodmann, "Arithmetic properties of projective varieties of almost minimal degree", Journal of Algebraic Geometry, 16(2), pp.347~400 (2007), American Mathematical Society (AMS)[DOI]
- I. A. Chel’tsov, "Del Pezzo surfaces with nonrational singularities", Mathematical Notes, 62(3), pp.377~389 (1997), Springer Science and Business Media LLC[DOI]
- L. Chiantini, "Algebraic curves and projective geometry" (1989), Springer
- M. Demazure, "Surfaces de Del Pezzo, I, II, III, IV, V", Seminaire sur les Singularites des Surfaces, Lect. Notes in Mathematics, 777 (1980), Springer
- A. Dolcetti, "Maximal rank space curves of high genus are projectively normal", Ann. Univ. Ferrara Sez. VII (N.S.), 35, pp.17~23 (1989)
- G. Ellingsrud, "Sur le schema de Hilbert des varietes de codimension 2 dans Pe a cone de Cohen-Macaulay", Ann. Sci. Ecole Norm. Sup, 8(4), pp.423~431 (1975)
- T. Fujisawa, "On non-rational numerical del Pezzo surfaces", Osaka J. Math, 32(3), pp.613~636 (1995)[DOI]
- J. Harris, "Curves in projective space", Seminaire de Mathematiques Superieures, 85 (1982), Presses de l'Universite de Montreal
- R. Hartshorne, "Algebraic Geometry" (1977), Springer-Verlag
- R. Hartshorn, "Genre des courbes algebrique dans l'espace projectif", Bourbaki Seminar, Asterisque, 92-99, pp.301~313 (1983), Soc. Math. France
- R. Hartshorne, "Nouvelles courbes de bon genre dans l'espace projectif", Mathematische Annalen, 280(3), pp.353~367 (1988), Springer Science and Business Media LLC[DOI]
- F. Hidaka, "Normal Gorenstein surfaces with ample anti-canonical divisor", Tokyo J. Math, 4(2), pp.319~330 (1981)[DOI]
- Fumio Sakai, "Anticanonical models of rational surfaces", Mathematische Annalen, 269(3), pp.389~410 (1984), Springer Science and Business Media LLC[DOI]
- Tim Sauer, "Smoothing projectively Cohen-Macaulay space curves", Mathematische Annalen, 272(1), pp.83~90 (1985), Springer Science and Business Media LLC[DOI]