Surfaces in \({\mathbb P}^4\) with extremal general hyperplane section. (English) Zbl 1056.14053
Summary: Optimal upper bounds for the cohomology groups of space curves have been derived recently by the authors [Math. Z. 229, No. 4, 695–724 (1998; Zbl 0946.14018) and M. Martin-Deschamps and D. Perrin, C. R. Acad. Sci., Paris, Sér. I 317, No. 12, 1159–1162 (1993; Zbl 0796.14029)]. Curves attaining all these bounds are called extremal curves. This note is a step to analyze the corresponding problems for surfaces. We state optimal upper bounds for the second and third cohomology groups of surfaces in \(\mathbb{P}^4\) and show that surfaces attaining all these bounds exist and must have an extremal curve as general hyperplane section. Surprisingly, all the first cohomology groups of such surfaces vanish. It follows that an extremal curve does not lift to a locally Cohen-Macaulay surface unless the curve is arithmetically Cohen-Macaulay.
MSC:
| 14J25 | Special surfaces |
References:
| [1] | Alexander, J.; Hirschowitz, A., Polynomial interpolation in several variables, J. Algebraic Geom., 4, 201-222 (1995) · Zbl 0829.14002 |
| [2] | Brodmann, M., Bounds on the cohomological Hilbert functions of a projective variety, J. Algebra, 109, 352-380 (1987) · Zbl 0578.14015 |
| [3] | Brodmann, M.; Nagel, U., Bounding cohomological Hilbert functions by hyperplane sections, J. Algebra, 174, 323-348 (1995) · Zbl 0847.14007 |
| [4] | Brodmann, M.; Sharp, R., Local Cohomology. Local Cohomology, Cambridge Stud. Adv. Math., 60 (1998), Cambridge University Press · Zbl 0903.13006 |
| [5] | Chiarli, N.; Greco, S.; Nagel, U., On the genus and Hartshorne-Rao module of projective curves, Math. Z., 229, 695-724 (1998) · Zbl 0946.14018 |
| [6] | Chiarli, N.; Greco, S.; Nagel, U., When does a projective curve contain a planar subcurve?, J. Pure Appl. Algebra, 164, 345-364 (2001) · Zbl 1070.14513 |
| [7] | Ellia, Ph., On the cohomology of projective space curves, Boll. Un. Mat. Ital., 9-A, 7, 593-607 (1995) · Zbl 0866.14020 |
| [8] | Hartshorne, R., Algebraic Geometry (1977), Springer · Zbl 0367.14001 |
| [9] | Hartshorne, R., The genus of space curves, Ann. Univ. Ferrara-Sez VII-Sc. Mat., 40, 207-223 (1994), 1996 · Zbl 0865.14013 |
| [10] | Hartshorne, R., On the connectedness of the Hilbert scheme of curves in ((P^3\), Comm. Algebra, 28, 6059-6077 (2000) · Zbl 0994.14002 |
| [11] | Hartshorne, R.; Schlesinger, E., Curves in the double plane, Comm. Algebra, 28, 5655-5676 (2000) · Zbl 0976.14020 |
| [12] | Huneke, C.; Ulrich, B., General hyperplane sections of algebraic varieties, J. Algebraic Geom., 2, 487-505 (1993) · Zbl 0808.14041 |
| [13] | Martin-Deschamps, M.; Perrin, D., Sur les bornes du module de Rao, C. R. Acad. Sci. Paris, 317, 1159-1162 (1993) · Zbl 0796.14029 |
| [14] | Martin-Deschamps, M.; Perrin, D., Le schema de Hilbert de courbes localement de Cohen-Macaulay n’est (presque) jamais reduit, Ann. Sci. Ec. Norm. Sup, 29, 757-785 (1996) · Zbl 0892.14005 |
| [15] | Migliore, J. C., Introduction to liaison theory and deficiency modules, Progr. Math., 165 (1998) · Zbl 0921.14033 |
| [16] | Nagel, U., On bounds for cohomological Hilbert functions, J. Algebra, 150, 231-244 (1992) · Zbl 0757.13004 |
| [17] | Nollet, S., Subextremal curves, Manuscripta Math., 94, 303-317 (1997) · Zbl 0918.14014 |
| [18] | Notari, R.; Sabadini, I., On the cohomology of a space curve containing a plane curve, Comm. Algebra, 29, 4795-4810 (2001) · Zbl 1067.14026 |
| [19] | Schlesinger, E., On the spectrum of certain subschemes of ((P^n\), J. Pure Appl. Algebra, 136, 267-283 (1999) · Zbl 0926.14026 |
| [20] | Stückrad, J.; Vogel, W., Buchsbaum Rings and Applications (1986), Springer · Zbl 0606.13018 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
