Noether's Theorem on Gonality of Plane Curves for Hypersurfaces

Francesco Bastianelli

Bollettino dell'Unione Matematica Italiana (2013)

  • Volume: 6, Issue: 3, page 781-791
  • ISSN: 0392-4041

Abstract

top
A well-known theorem of Max Noether asserts that the gonality of a smooth curve C ⊂ ℙ 2 of degree d ≥ 4 is d - 1 , and any morphism C → ℙ 1 of minimal degree is obtained as the projection from one point of the curve. The most natural extension of gonality to n-dimensional varieties X is the degree of irrationality, that is the minimum degree of a dominant rational map X - - → ℙ n . This paper reports on the joint work [4] with Renza Cortini and Pietro De Poi, which aims at extending Noether's Theorem to smooth hypersurfaces X ⊂ ℙ n + 1 in terms of degree of irrationality. We show that both generic surfaces in ℙ 3 and generic threefolds in ℙ 4 of sufficiently large degree d have degree of irrationality d - 1 , and any dominant rational map of minimal degree is obtained as the projection from one point of the variety. Furthermore, we classify the exceptions admitting maps of minimal degree smaller than d - 1 , and we show that their degree of irrationality is d - 2 .

How to cite

top

Bastianelli, Francesco. "Noether's Theorem on Gonality of Plane Curves for Hypersurfaces." Bollettino dell'Unione Matematica Italiana 6.3 (2013): 781-791. <http://eudml.org/doc/294044>.

@article{Bastianelli2013,
abstract = {A well-known theorem of Max Noether asserts that the gonality of a smooth curve $C \subset \mathbb\{P\}^\{2\}$ of degree $d \geq 4$ is $d - 1$, and any morphism $C \to \mathbb\{P\}^\{1\}$ of minimal degree is obtained as the projection from one point of the curve. The most natural extension of gonality to n-dimensional varieties $X$ is the degree of irrationality, that is the minimum degree of a dominant rational map $X -- \to \mathbb\{P\}^\{n\}$. This paper reports on the joint work [4] with Renza Cortini and Pietro De Poi, which aims at extending Noether's Theorem to smooth hypersurfaces $X \subset \mathbb\{P\}^\{n+1\}$ in terms of degree of irrationality. We show that both generic surfaces in $\mathbb\{P\}^\{3\}$ and generic threefolds in $\mathbb\{P\}^\{4\}$ of sufficiently large degree $d$ have degree of irrationality $d - 1$, and any dominant rational map of minimal degree is obtained as the projection from one point of the variety. Furthermore, we classify the exceptions admitting maps of minimal degree smaller than $d - 1$, and we show that their degree of irrationality is $d - 2$.},
author = {Bastianelli, Francesco},
journal = {Bollettino dell'Unione Matematica Italiana},
language = {eng},
month = {10},
number = {3},
pages = {781-791},
publisher = {Unione Matematica Italiana},
title = {Noether's Theorem on Gonality of Plane Curves for Hypersurfaces},
url = {http://eudml.org/doc/294044},
volume = {6},
year = {2013},
}

TY - JOUR
AU - Bastianelli, Francesco
TI - Noether's Theorem on Gonality of Plane Curves for Hypersurfaces
JO - Bollettino dell'Unione Matematica Italiana
DA - 2013/10//
PB - Unione Matematica Italiana
VL - 6
IS - 3
SP - 781
EP - 791
AB - A well-known theorem of Max Noether asserts that the gonality of a smooth curve $C \subset \mathbb{P}^{2}$ of degree $d \geq 4$ is $d - 1$, and any morphism $C \to \mathbb{P}^{1}$ of minimal degree is obtained as the projection from one point of the curve. The most natural extension of gonality to n-dimensional varieties $X$ is the degree of irrationality, that is the minimum degree of a dominant rational map $X -- \to \mathbb{P}^{n}$. This paper reports on the joint work [4] with Renza Cortini and Pietro De Poi, which aims at extending Noether's Theorem to smooth hypersurfaces $X \subset \mathbb{P}^{n+1}$ in terms of degree of irrationality. We show that both generic surfaces in $\mathbb{P}^{3}$ and generic threefolds in $\mathbb{P}^{4}$ of sufficiently large degree $d$ have degree of irrationality $d - 1$, and any dominant rational map of minimal degree is obtained as the projection from one point of the variety. Furthermore, we classify the exceptions admitting maps of minimal degree smaller than $d - 1$, and we show that their degree of irrationality is $d - 2$.
LA - eng
UR - http://eudml.org/doc/294044
ER -

References

top
  1. BALLICO, E., On the gonality of curves in ℙ n , Comment. Math. Univ. Carolin.38(1) (1997), 177-186. Zbl0888.14010MR1455482
  2. BASILI, B., Indice de Clifford des intersections complètes de l'espace, Bull. Soc. Math. France124(1) (1996), 61-95. Zbl0871.14027MR1395007
  3. BASTIANELLI, F., On symmetric products of curves, Trans. Amer. Math. Soc.364(5) (2012), 2493-2519. Zbl1238.14011MR2888217DOI10.1090/S0002-9947-2012-05378-5
  4. BASTIANELLI, F., CORTINI, R. and DE POI, P., The gonality theorem of Noether for hypersurfaces, J. Algebraic Geom., to appear, doi:10.1090/S1056-3911-2013-00603-7. Zbl1317.14029MR3166393DOI10.1090/S1056-3911-2013-00603-7
  5. CILIBERTO, C., Alcune applicazioni di un classico procedimento di Castelnuovo, in Seminari di geometria, 1982-1983 (Bologna, 1982/1983), 17-43, Univ. Stud. Bologna, Bologna, 1984. 
  6. CLEMENS, H., Curves in generic hypersurfaces, Ann. Sci. École Norm. Sup.19(4) (1986), 629-636. Zbl0611.14024MR875091
  7. DE POI, P., On first order congruences of lines of ℙ 4 with a fundamental curve, Manuscripta Math.106(1) (2001), 101-116. Zbl1066.14062MR1860982DOI10.1007/PL00005882
  8. DE POI, P., Congruences of lines with one-dimensional focal locus, Port. Math. (N.S.) 61(3) (2004), 329-338. Zbl1067.14049MR2098024
  9. DE POI, P., On first order congruences of lines of ℙ 4 with irreducible fundamental surface, Math. Nachr.278(4) (2005), 363-378. Zbl1070.14045MR2121565DOI10.1002/mana.200310246
  10. DE POI, P. and MEZZETTI, E., On congruences of linear spaces of order one, Rend. Istit. Mat. Univ. Trieste39 (2007), 177-206. Zbl1151.14331MR2441617
  11. DE POI, P., On first order congruences of lines of ℙ 4 with generically non-reduced fundamental surface, Asian J. Math., 12(1) (2008), 55-64. Zbl1147.14025MR2415011DOI10.4310/AJM.2008.v12.n1.a4
  12. FARKAS, G., Brill-Noether loci and the gonality stratification of ℳ g , J. Reine Angew. Math.539 (2001), 185-200. Zbl0994.14022MR1863860DOI10.1515/crll.2001.074
  13. HARTSHORNE, R., Algebraic geometry, Grad. Texts in Math.52, Springer-Verlag, New York-Heidelberg, 1977. MR463157
  14. HARTSHORNE, R., Generalized divisors on Gorenstein curves and a theorem of Noether, J. Math. Kyoto Univ.26(3) (1986), 375-386. Zbl0613.14008MR857224DOI10.1215/kjm/1250520873
  15. HARTSHORNE, R., Cliffor index of ACM curves in ℙ 3 , Milan J. Math.70 (2002), 209- 221. Zbl1051.14039MR1936752DOI10.1007/s00032-002-0007-5
  16. HARTSHORNE, R. and SCHLESINGER, E., Gonality of a general ACM curve in ℙ 3 , Pacific J. Math.251(2) (2011), 269-313. Zbl1237.14036MR2811034DOI10.2140/pjm.2011.251.269
  17. KUMMER, E. E., Collected papers, Springer-Verlag, Berlin-New York, 1975. MR465760
  18. LOPEZ, A. F. and PIROLA, G. P., On the curves through a general point of a smooth surface in ℙ 3 , Math. Z.219(1) (1995), 93-106. Zbl0842.14008MR1340851DOI10.1007/BF02572352
  19. MARLETTA, G., Sui complessi di rette del primo ordine dello spazio a quattro dimensioni, Rend. Circ. Mat. Palermo28(1) (1909), 353-399. Zbl40.0723.01
  20. MARTENS, G., The gonality of curves on a Hirzebruch surface. Arch. Math (Basel) 67(4) (1996), 349-352. Zbl0872.14022MR1407339DOI10.1007/BF01197600
  21. MUMFORD, D., Rational equivalence of 0-cycles on surfaces, J. Math. Kyoto Univ.9 (1969), 195-204. Zbl0184.46603MR249428DOI10.1215/kjm/1250523940
  22. NOETHER, M., Zur Grundlegung der Theorie der algebraischen Raumcurven, Verl. d. Konig. Akad. d. Wiss., Berlin (1883). 
  23. RAN, Z., Surfaces of order 1 in Grassmannians, J. Reine Angew. Math.368 (1986), 119-126. Zbl0601.14042MR850617DOI10.1515/crll.1986.368.119
  24. SEGRE, C., Preliminari di una teoria di varietà luoghi di spazi, Rend. Circ. Mat. Palermo30(1) (1910), 87-121. 
  25. VOISIN, C., On a conjecture of Clemens on rational curves on hypersurfaces, J. Differential Geom.44(1) (1996), 200-213. Zbl0883.14022MR1420353
  26. XU, G., Subvarieties of general hypersurfaces in projective spaces, J. Differential Geom.39(1) (1994), 139-172. Zbl0823.14030MR1258918

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.