A bound on the geometric genus of projective varieties verifying certain flag conditions

Di Gennaro, Vincenzo

doi:10.1090/S0002-9947-97-01785-6

A bound on the geometric genus of projective varieties verifying certain flag conditions
HTML articles powered by AMS MathViewer

by Vincenzo Di Gennaro PDF

Trans. Amer. Math. Soc. 349 (1997), 1121-1151 Request permission

Abstract:

Fix integers $n,r,s_{1},...,s_{l}$ and let $\mathcal {S}(n,r;s_{1},...,s_{l})$ be the set of all integral, projective and nondegenerate varieties $V$ of degree $s_{1}$ and dimension $n$ in the projective space $\mathbf {P}^{r}$, such that, for all $i=2,...,l$, $V$ does not lie on any variety of dimension $n+i-1$ and degree $<s_{i}$. We say that a variety $V$ satisfies a flag condition of type $(n,r;s_{1},...,s_{l})$ if $V$ belongs to $\mathcal {S}(n,r;s_{1},...,s_{l})$. In this paper, under the hypotheses $s_{1}>>...>>s_{l}$, we determine an upper bound $G^{h}(n,r;s_{1},...,s_{l})$, depending only on $n,r,s_{1},...,s_{l}$, for the number $G(n,r;s_{1},...,s_{l}):= {max} {\{} p_{g}(V) : V\in \mathcal {S}(n,r;s_{1},...,s_{l}){\}}$, where $p_{g}(V)$ denotes the geometric genus of $V$. In case $n=1$ and $l=2$, the study of an upper bound for the geometric genus has a quite long history and, for $n\geq 1$, $l=2$ and $s_{2}=r-n$, it has been introduced by Harris. We exhibit sharp results for particular ranges of our numerical data $n,r,s_{1},...,s_{l}$. For instance, we extend Halphen’s theorem for space curves to the case of codimension two and characterize the smooth complete intersections of dimension $n$ in $\mathbf {P}^{n+3}$ as the smooth varieties of maximal geometric genus with respect to appropriate flag condition. This result applies to smooth surfaces in $\mathbf {P}^{5}$. Next we discuss how far $G^{h}(n,r;s_{1},...,s_{l})$ is from $G(n,r;s_{1},...,s_{l})$ and show a sort of lifting theorem which states that, at least in certain cases, the varieties $V\in \mathcal {S}(n,r;s_{1},...,s_{l})$ of maximal geometric genus $G(n,r;s_{1},...,s_{l})$ must in fact lie on a flag such as $V=V_{s_{1}}^{n}\subset V_{s_{2}}^{n+1}\subset ...\subset V_{s_{l}}^{n+l-1}\subset {\mathbf {P}^{r}}$, where $V^{j}_{s}$ denotes a subvariety of $\mathbf {P}^{r}$ of degree $s$ and dimension $j$. We also discuss further generalizations of flag conditions, and finally we deduce some bounds for Castelnuovo’s regularity of varieties verifying flag conditions.

References

E. Arbarello, M. Cornalba, P. A. Griffiths, and J. Harris, Geometry of algebraic curves. Vol. I, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 267, Springer-Verlag, New York, 1985. MR 770932, DOI 10.1007/978-1-4757-5323-3
Robert Braun and Gunnar Fløystad, A bound for the degree of smooth surfaces in $\textbf {P}^4$ not of general type, Compositio Math. 93 (1994), no. 2, 211–229. MR 1287697
G.Castelnuovo, Ricerche di geometria sulle curve algebriche, Zanichelli, Bologna, 1937.
Luca Chiantini and Ciro Ciliberto, A few remarks on the lifting problem, Astérisque 218 (1993), 95–109. Journées de Géométrie Algébrique d’Orsay (Orsay, 1992). MR 1265310
L. Chiantini, C. Ciliberto, and V. Di Gennaro, The genus of projective curves, Duke Math. J. 70 (1993), no. 2, 229–245. MR 1219813, DOI 10.1215/S0012-7094-93-07003-2
L.Chiantini, C.Ciliberto and V.Di Gennaro, On the genus of projective curves verifying certain flag conditions, preprint, 1995.
Luca Chiantini, Ciro Ciliberto, and Vincenzo Di Gennaro, The genus of curves in $\mathbf P^4$ verifying certain flag conditions, Manuscripta Math. 88 (1995), no. 1, 119–134. MR 1348795, DOI 10.1007/BF02567810
Ciro Ciliberto, Hilbert functions of finite sets of points and the genus of a curve in a projective space, Space curves (Rocca di Papa, 1985) Lecture Notes in Math., vol. 1266, Springer, Berlin, 1987, pp. 24–73. MR 908707, DOI 10.1007/BFb0078177
Ciro Ciliberto, On a property of Castelnuovo varieties, Trans. Amer. Math. Soc. 303 (1987), no. 1, 201–210. MR 896017, DOI 10.1090/S0002-9947-1987-0896017-1
Ciro Ciliberto, Some applications of a classical method of Castelnuovo, Geometry seminars, 1982–1983 (Bologna, 1982/1983) Univ. Stud. Bologna, Bologna, 1984, pp. 17–43 (Italian). MR 771146
Vincenzo Di Gennaro, Generalized Castelnuovo varieties, Manuscripta Math. 81 (1993), no. 3-4, 311–328. MR 1248758, DOI 10.1007/BF02567861
Joe Harris, Curves in projective space, Séminaire de Mathématiques Supérieures [Seminar on Higher Mathematics], vol. 85, Presses de l’Université de Montréal, Montreal, Que., 1982. With the collaboration of David Eisenbud. MR 685427
Ph. Ellia, Sur les lacunes d’Halphen, Algebraic curves and projective geometry (Trento, 1988) Lecture Notes in Math., vol. 1389, Springer, Berlin, 1989, pp. 43–65 (French). MR 1023389, DOI 10.1007/BFb0085923
Geir Ellingsrud and Christian Peskine, Sur les surfaces lisses de $\textbf {P}_4$, Invent. Math. 95 (1989), no. 1, 1–11 (French). MR 969410, DOI 10.1007/BF01394141
Phillip Griffiths and Joseph Harris, Principles of algebraic geometry, Pure and Applied Mathematics, Wiley-Interscience [John Wiley & Sons], New York, 1978. MR 507725
L.Gruson, R.Lazarsfeld and C.Peskine, On a Theorem of Castelnuovo, and the Equations Defining Space Curves, Invent. Math. 72 (1983), 491-506.
Laurent Gruson and Christian Peskine, Genre des courbes de l’espace projectif, Algebraic geometry (Proc. Sympos., Univ. Tromsø, Tromsø, 1977) Lecture Notes in Math., vol. 687, Springer, Berlin, 1978, pp. 31–59 (French). MR 527229
G.Halphen, Mémoire sur la classification des courbes gauches algébriques, Oeuvres complètes t.III.
Joe Harris, The genus of space curves, Math. Ann. 249 (1980), no. 3, 191–204. MR 579101, DOI 10.1007/BF01363895
Joe Harris, A bound on the geometric genus of projective varieties, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 8 (1981), no. 1, 35–68. MR 616900
Robin Hartshorne, Algebraic geometry, Graduate Texts in Mathematics, No. 52, Springer-Verlag, New York-Heidelberg, 1977. MR 0463157, DOI 10.1007/978-1-4757-3849-0
Garrett Birkhoff and Morgan Ward, A characterization of Boolean algebras, Ann. of Math. (2) 40 (1939), 609–610. MR 9, DOI 10.2307/1968945
Ernst Kunz, Holomorphe Differentialformen auf algebraischen Varietäten mit Singularitäten. I, Manuscripta Math. 15 (1975), 91–108 (German, with English summary). MR 384802, DOI 10.1007/BF01168881
David Mumford, Lectures on curves on an algebraic surface, Annals of Mathematics Studies, No. 59, Princeton University Press, Princeton, N.J., 1966. With a section by G. M. Bergman. MR 0209285, DOI 10.1515/9781400882069
Uwe Nagel, On bounds for cohomological Hilbert functions, J. Algebra 150 (1992), no. 1, 231–244. MR 1174897, DOI 10.1016/S0021-8693(05)80058-4
Uwe Nagel and Wolfgang Vogel, Bounds for Castelnuovo’s regularity and the genus of projective varieties, Topics in algebra, Part 2 (Warsaw, 1988) Banach Center Publ., vol. 26, PWN, Warsaw, 1990, pp. 163–183. MR 1171267
M.Noether, Zur Grundlegung der Theorie der algebraischen Raumcurven, Königlichen Akad. der Wissenschaften, 1883.
C. Peskine and L. Szpiro, Liaison des variétés algébriques. I, Invent. Math. 26 (1974), 271–302 (French). MR 364271, DOI 10.1007/BF01425554
Riccardo Re, On the hyperplane sections of a projective algebraic variety, Matematiche (Catania) 42 (1987), no. 1-2, 211–218 (1989) (Italian, with English summary). MR 1030918
Miles Reid, Canonical $3$-folds, Journées de Géometrie Algébrique d’Angers, Juillet 1979/Algebraic Geometry, Angers, 1979, Sijthoff & Noordhoff, Alphen aan den Rijn—Germantown, Md., 1980, pp. 273–310. MR 605348
Edoardo Sernesi, Topics on families of projective schemes, Queen’s Papers in Pure and Applied Mathematics, vol. 73, Queen’s University, Kingston, ON, 1986. MR 869062
F.Severi, Intorno ai punti doppi improprii di una superficie generale dello spazio a 4 dimensioni e a suoi punti tripli apparenti, Rendiconti di Palermo 15 (1901).
Rosario Strano, On generalized Laudal’s lemma, Complex projective geometry (Trieste, 1989/Bergen, 1989) London Math. Soc. Lecture Note Ser., vol. 179, Cambridge Univ. Press, Cambridge, 1992, pp. 284–293. MR 1201390, DOI 10.1017/CBO9780511662652.021