Journal of Algebraic Geometry Journal of Algebraic Geometry

     

Arithmetic properties of projective varieties of almost minimal degree

Author(s): Markus Brodmann; Peter Schenzel
Journal: J. Algebraic Geom. 16 (2007), 347-400.
Posted: October 11, 2006
Retrieve article in: PDF DVI PostScript

Abstract | References | Additional information

Abstract: We study the arithmetic properties of projective varieties of almost minimal degree, that is of non-degenerate irreducible projective varieties whose degree exceeds the codimension by precisely $ 2$. We notably show, that such a variety $ X \subset {\mathbb{P}}^r$ is either arithmetically normal (and arithmetically Gorenstein) or a projection of a variety of minimal degree $ \tilde {X} \subset {\mathbb{P}}^{r + 1}$ from an appropriate point $ p \in {\mathbb{P}}^{r + 1} \setminus \tilde {X}$. We focus on the latter situation and study $ X$ by means of the projection $ \tilde {X} \rightarrow X$.

If $ X$ is not arithmetically Cohen-Macaulay, the homogeneous coordinate ring $ B$ of the projecting variety $ \tilde {X}$ is the endomorphism ring of the canonical module $ K(A)$ of the homogeneous coordinate ring $ A$ of $ X.$ If $ X$ is non-normal and is maximally Del Pezzo, that is, arithmetically Cohen-Macaulay but not arithmetically normal, $ B$ is just the graded integral closure of $ A.$ It turns out, that the geometry of the projection $ \tilde {X} \rightarrow X$ is governed by the arithmetic depth of $ X$ in any case.

We study, in particular, the case in which the projecting variety $ \tilde {X} \subset {\mathbb{P}}^{r + 1}$ is a (cone over a) rational normal scroll. In this case $ X$ is contained in a variety of minimal degree $ Y \subset {\mathbb{P}}^r$ such that $ \operatorname{codim}_Y(X) = 1$. We use this to approximate the Betti numbers of $ X$.

In addition, we present several examples to illustrate our results and we draw some of the links to Fujita's classification of polarized varieties of $ \Delta $-genus $ 1$.


References:

[1]
ALBERTINI, C., BRODMANN, M.: A bound on certain local cohomology modules and application to ample divisors. Nagoya Mathematical Journal 163 (2001), 87-106. MR 1854390 (2002g:14003)

[2]
AOYAMA, Y., GSOTO, S.: On the endomorphism ring of the canonical module. J. Math. Kyoto Univ. 25 (1985), 21-30. MR 0777243 (86e:13021)

[3]
BALLICO, E.: On singular curves in the case of positive characteristic. Math. Nachr. 141 (1989), 267-273. MR 1014431 (90h:14042)

[4]
BRODMANN, M., SCHENZEL, P.: Curves of degree $ r + 2$ in $ {\mathbb{P}}^r$: Cohomological, geometric, and homological aspects. J. of Algebra 242 (2001), 577-623. MR 1848961 (2002e:14049)

[5]
BRODMANN, M., SCHENZEL, P.: On projective curves of maximal regularity. Math. Z. 244 (2003), 271-289. MR 1992539 (2004d:14035)

[6]
BRODMANN, M., SCHENZEL, P.: On varieties of almost minimal degree in small codimension. Preprint, 2005.

[7]
BRODMANN, M., SHARP, R.Y.: Local cohomology: an algebraic introduction with geometric applications. Cambridge Studies in Advances Mathematics, Vol. 60, Cambridge University Press, Cambridge, UK, 1998. MR 1613627 (99h:13020)

[8]
BUCHSBAUM, D., EISENBUD, D.: Generic free resolutions and a family of generically perfect ideals. Advances in Math. 18 (1975), 245-301. MR 0396528 (53:391)

[9]
CATALANO-JOHNSON, M.L.: The possible dimensions of the higher secant varieties. American J. Mathem. 118 (1996), 355-361. MR 1385282 (97a:14058)

[10]
EISENBUD, D.: Commutative algebra. With a view toward algebraic geometry. Graduate Texts in Mathematics Vol. 150, Springer-Verlag, New York / Berlin, 1994. MR 1322960 (97a:13001)

[11]
EISENBUD, D.: The geometry of syzygies. A second course in commutative algebra and algebraic geometry. Graduate Texts in Math., Vol. 229, Springer, New York, 2005. MR 2103875 (2005h:13021)

[12]
EISENBUD, D., HARRIS, J.: On varieties of minimal degree (a centennial account). In Proceedings of Symposium of Pure Mathematics, Vol. 46, pp. 3-13, American Mathematical Society, Providence, 1987. MR 0927946 (89f:14042)

[13]
FLENNER, H., O'CARROLL, L., VOGEL, W.: Joins and intersections. Springer Monographs in Mathematics, Springer-Verlag Berlin / Heidelberg / New York, 1999. MR 1724388 (2001b:14010)

[14]
FUJITA, T.: Classification of projective varieties of $ \Delta $-genus one. Proc. Japan Academy of Science, Ser. A Math. Sci 58 (1982), 113-116. MR 0664549 (83g:14003)

[15]
FUJITA, T.: Projective varieties of $ \Delta $-genus one. In Algebraic and Topological Theories - To the Memory of Dr. Takehiko Miyata (Kinokuniya, Tokyo, 1986), 149-175. MR 1102257

[16]
FUJITA, T.: Classification theories of polarized varieties, London Mathematical Society Lecture Notes Series 155, Cambridge University Press, 1990. MR 1162108 (93e:14009)

[17]
GSOTO, S.: On Buchsbaum rings obtained by gluing. Nagoya Math. J. 83 (1981), 123-135. MR 0632649 (82m:13015)

[18]
GREEN, M.: Koszul cohomology and the geometry of projective varieties. J. Differential Geometry 19 (1984), 125-171. MR 0739785 (85e:14022)

[19]
GREEN, M., LAZARSFELD, R.: Some results on the syzygies of finite sets and algebraic curves. Compositio Math. 67 (1988), 301-314. MR 0959214 (90d:14034)

[20]
GREUEL, G.M., PFISTER, G. ET AL: Singular $ 3.0$, a computer algebra system for polynomial computations. Center for Computer Algebra, University of Kaiserslautern (2005) (http://www.singular.uni-kl.de).

[21]
HARRIS, J.: Algebraic geometry: A first course. Graduate Texts in Mathematics, Vol. 133, Springer-Verlag, New York, 1992. MR 1182558 (93j:14001)

[22]
HARTSHORNE, R.: Algebraic geometry. Graduate Texts in Mathematics Vol 52, Springer-Verlag, New York, 1977. MR 0463157 (57:3116)

[23]
HOA, T., STÜCKRAD, J., VOGEL, W.: Towards a structure theory of projective varieties of degree $ =$ codimension $ + 2$. J. Pure and Appl. Algebra 71 (1991), 203-231. MR 1117635 (92f:14002)

[24]
JOUANOLOU, J.P.: Théorèmes de Bertini et applications. Progress in Mathematics, Vol. 42, Birkhäuser, Basel, 1983. MR 0725671 (86b:13007)

[25]
NAGEL, U.: Über Gradschranken für Syzygien und komologische Hilbertfunktionen. Dissertation, Universität Paderborn (1990).

[26]
NAGEL, U.: On the minimal free resolution of $ r + 3$ points in projective $ r$-space. J. Pure and Applied Algebra 96 (1994), 23-38. MR 1297438 (95g:13017)

[27]
NAGEL, U.: Minimal free resolution of projective subschemes of small degree. Preprint, 2005.

[28]
SCHENZEL, P.: Dualisierende Komplexe in der lokalen Algebra und Buchsbaum-Ringe. Lecture Notes in Mathematics Vol. 907, Springer-Verlag, Berlin / Heidelberg / New York, 1982. MR 0654151 (83i:13013)

[29]
STANLEY, R.P.: Hilbert functions and graded algebras. Advances in Math. 28 (1978), 57-83. MR 0485835 (58:5637)


Additional Information:

Markus Brodmann
Affiliation: Institut für Mathematik, Universität Zürich, Winterthurerstrasse 190, CH-8057 Zürich, Schwitzerland
Email: brodmann@math.unizh.ch

Peter Schenzel
Affiliation: Martin-Luther-Universität Halle-Wittenberg, Institut Für Informatik, Von- Seckendorff-Platz 1, D-06120 Halle (Saale), Germany
Email: schenzel@informatik.uni-halle.de

PII: S 1056-3911(06)00442-5
Received by editor(s): August 10, 2005
Received by editor(s) in revised form: December 12, 2005
Posted: October 11, 2006
Additional Notes: The second author was partially supported by the Swiss National Science Foundation (Projects No. 20-66980-01 and No. 20-103491/1)

Journal of Algebraic Geometry
The Journal of Algebraic Geometry
is distributed by the American Mathematical Society
for University Press, Inc.
Online ISSN 1534-7486; Print ISSN 1056-3911
© 2007 University Press, Inc.
Comments: jag-query@ams.org
AMS Website