Asymptotic behaviour of arithmetically Cohen-Macaulay blow-ups
HTML articles powered by AMS MathViewer
- by Huy Tài Hà and Ngô Viêt Trung PDF
- Trans. Amer. Math. Soc. 357 (2005), 3655-3672 Request permission
Abstract:
This paper addresses problems on arithmetic Macaulayfications of projective schemes. We give a surprising complete answer to a question poised by Cutkosky and Herzog. Let $Y$ be the blow-up of a projective scheme $X = \operatorname {Proj} R$ along the ideal sheaf of $I \subset R$. It is known that there are embeddings $Y \cong \operatorname {Proj} k[(I^e)_c]$ for $c \ge d(I)e + 1$, where $d(I)$ denotes the maximal generating degree of $I$, and that there exists a Cohen-Macaulay ring of the form $k[(I^e)_c]$ (which gives an arithmetic Macaulayfication of $X$) if and only if $H^0(Y,\mathcal {O}_Y) = k$, $H^i(Y,\mathcal {O}_Y) = 0$ for $i = 1,..., \dim Y-1$, and $Y$ is equidimensional and Cohen-Macaulay. We show that under these conditions, there are well-determined invariants $\varepsilon$ and $e_0$ such that $k[(I^e)_c]$ is Cohen-Macaulay for all $c > d(I)e + \varepsilon$ and $e > e_0$, and that these bounds are the best possible. We also investigate the existence of a Cohen-Macaulay Rees algebra of the form $R[(I^e)_ct]$. If $R$ has negative $a^*$-invariant, we prove that such a Cohen-Macaulay Rees algebra exists if and only if $\pi _*\mathcal {O}_Y = \mathcal {O}_X$, $R^i\pi _*\mathcal {O}_Y = 0$ for $i > 0$, and $Y$ is equidimensional and Cohen-Macaulay. Moreover, these conditions imply the Cohen-Macaulayness of $R[(I^e)_ct]$ for all $c > d(I)e + \varepsilon$ and $e> e_0$.References
- Ian M. Aberbach, Craig Huneke, and Ngô Việt Trung, Reduction numbers, Briançon-Skoda theorems and the depth of Rees rings, Compositio Math. 97 (1995), no. 3, 403–434. MR 1353282
- Yôichi Aoyama, On the depth and the projective dimension of the canonical module, Japan. J. Math. (N.S.) 6 (1980), no. 1, 61–66. MR 615014, DOI 10.4099/math1924.6.61
- Aaron Bertram, Lawrence Ein, and Robert Lazarsfeld, Vanishing theorems, a theorem of Severi, and the equations defining projective varieties, J. Amer. Math. Soc. 4 (1991), no. 3, 587–602. MR 1092845, DOI 10.1090/S0894-0347-1991-1092845-5
- M. P. Brodmann and R. Y. Sharp, Local cohomology: an algebraic introduction with geometric applications, Cambridge Studies in Advanced Mathematics, vol. 60, Cambridge University Press, Cambridge, 1998. MR 1613627, DOI 10.1017/CBO9780511629204
- Winfried Bruns and Jürgen Herzog, Cohen-Macaulay rings, Cambridge Studies in Advanced Mathematics, vol. 39, Cambridge University Press, Cambridge, 1993. MR 1251956
- Karen A. Chandler, Regularity of the powers of an ideal, Comm. Algebra 25 (1997), no. 12, 3773–3776. MR 1481564, DOI 10.1080/00927879708826084
- Aldo Conca, Jürgen Herzog, Ngô Viêt Trung, and Giuseppe Valla, Diagonal subalgebras of bigraded algebras and embeddings of blow-ups of projective spaces, Amer. J. Math. 119 (1997), no. 4, 859–901. MR 1465072
- S.D. Cutkosky and H. Tài Hà. Arithmetic Macaulayfication of projective schemes. J. Pure Appl. Algebra. To appear.
- S. Dale Cutkosky and Jürgen Herzog, Cohen-Macaulay coordinate rings of blowup schemes, Comment. Math. Helv. 72 (1997), no. 4, 605–617. MR 1600158, DOI 10.1007/s000140050037
- S. Dale Cutkosky, Jürgen Herzog, and Ngô Viêt Trung, Asymptotic behaviour of the Castelnuovo-Mumford regularity, Compositio Math. 118 (1999), no. 3, 243–261. MR 1711319, DOI 10.1023/A:1001559912258
- Anthony V. Geramita and Alessandro Gimigliano, Generators for the defining ideal of certain rational surfaces, Duke Math. J. 62 (1991), no. 1, 61–83. MR 1104323, DOI 10.1215/S0012-7094-91-06203-4
- Anthony V. Geramita, Alessandro Gimigliano, and Brian Harbourne, Projectively normal but superabundant embeddings of rational surfaces in projective space, J. Algebra 169 (1994), no. 3, 791–804. MR 1302116, DOI 10.1006/jabr.1994.1308
- Anthony V. Geramita, Alessandro Gimigliano, and Yves Pitteloud, Graded Betti numbers of some embedded rational $n$-folds, Math. Ann. 301 (1995), no. 2, 363–380. MR 1314592, DOI 10.1007/BF01446634
- Shiro Goto and Yasuhiro Shimoda, On the Rees algebras of Cohen-Macaulay local rings, Commutative algebra (Fairfax, Va., 1979) Lecture Notes in Pure and Appl. Math., vol. 68, Dekker, New York, 1982, pp. 201–231. MR 655805
- Hà Huy Tài, On the Rees algebra of certain codimension two perfect ideals, Manuscripta Math. 107 (2002), no. 4, 479–501. MR 1906772, DOI 10.1007/s002290200247
- Huy Tài Hà, Projective embeddings of projective schemes blown up at subschemes, Math. Z. 246 (2004), no. 1-2, 111–124. MR 2031448, DOI 10.1007/s00209-003-0586-z
- Robin Hartshorne, Algebraic geometry, Graduate Texts in Mathematics, No. 52, Springer-Verlag, New York-Heidelberg, 1977. MR 0463157
- Sam Huckaba and Craig Huneke, Rees algebras of ideals having small analytic deviation, Trans. Amer. Math. Soc. 339 (1993), no. 1, 373–402. MR 1123455, DOI 10.1090/S0002-9947-1993-1123455-7
- Eero Hyry, The diagonal subring and the Cohen-Macaulay property of a multigraded ring, Trans. Amer. Math. Soc. 351 (1999), no. 6, 2213–2232. MR 1467469, DOI 10.1090/S0002-9947-99-02143-1
- Eero Hyry and Karen E. Smith, On a non-vanishing conjecture of Kawamata and the core of an ideal, Amer. J. Math. 125 (2003), no. 6, 1349–1410. MR 2018664
- Bernard Johnston and Daniel Katz, Castelnuovo regularity and graded rings associated to an ideal, Proc. Amer. Math. Soc. 123 (1995), no. 3, 727–734. MR 1231300, DOI 10.1090/S0002-9939-1995-1231300-1
- Takesi Kawasaki, On arithmetic Macaulayfication of Noetherian rings, Trans. Amer. Math. Soc. 354 (2002), no. 1, 123–149. MR 1859029, DOI 10.1090/S0002-9947-01-02817-3
- Vijay Kodiyalam, Asymptotic behaviour of Castelnuovo-Mumford regularity, Proc. Amer. Math. Soc. 128 (2000), no. 2, 407–411. MR 1621961, DOI 10.1090/S0002-9939-99-05020-0
- David Mumford, Varieties defined by quadratic equations, Questions on Algebraic Varieties (C.I.M.E., III Ciclo, Varenna, 1969) Edizioni Cremonese, Rome, 1970, pp. 29–100. MR 0282975
- Olga Lavila-Vidal, On the Cohen-Macaulay property of diagonal subalgebras of the Rees algebra, Manuscripta Math. 95 (1998), no. 1, 47–58. MR 1492368, DOI 10.1007/BF02678014
- O. Lavila-Vidal. On the existence of Cohen-Macaulay coordinate rings of blow-up schemes. Preprint.
- Joseph Lipman, Cohen-Macaulayness in graded algebras, Math. Res. Lett. 1 (1994), no. 2, 149–157. MR 1266753, DOI 10.4310/MRL.1994.v1.n2.a2
- Claudia Polini and Bernd Ulrich, Necessary and sufficient conditions for the Cohen-Macaulayness of blowup algebras, Compositio Math. 119 (1999), no. 2, 185–207. MR 1723128, DOI 10.1023/A:1001704003619
- Rodney Y. Sharp, Bass numbers in the graded case, $a$-invariant formulas, and an analogue of Faltings’ annihilator theorem, J. Algebra 222 (1999), no. 1, 246–270. MR 1728160, DOI 10.1006/jabr.1999.8013
- Aron Simis, Bernd Ulrich, and Wolmer V. Vasconcelos, Cohen-Macaulay Rees algebras and degrees of polynomial relations, Math. Ann. 301 (1995), no. 3, 421–444. MR 1324518, DOI 10.1007/BF01446637
- Irena Swanson, Powers of ideals. Primary decompositions, Artin-Rees lemma and regularity, Math. Ann. 307 (1997), no. 2, 299–313. MR 1428875, DOI 10.1007/s002080050035
- Ngô Viêt Trung, The largest non-vanishing degree of graded local cohomology modules, J. Algebra 215 (1999), no. 2, 481–499. MR 1686202, DOI 10.1006/jabr.1998.7735
- Ngô Việt Trung and Shin Ikeda, When is the Rees algebra Cohen-Macaulay?, Comm. Algebra 17 (1989), no. 12, 2893–2922. MR 1030601, DOI 10.1080/00927878908823885
- N.V. Trung and H-J. Wang. On the asymptotic linearity of Castelnuovo-Mumford regularity. Preprint. arXiv:math.AC/0212161.
Additional Information
- Huy Tài Hà
- Affiliation: Department of Mathematics, University of Missouri, Columbia, Missouri 65201
- Address at time of publication: Department of Mathematics, Tulane University, 6823 St. Charles Ave., New Orleans, Louisiana 70118
- ORCID: 0000-0002-6002-3453
- Email: tai@math.missouri.edu, tai@math.tulane.edu
- Ngô Viêt Trung
- Affiliation: Institute of Mathematics, 18 Hoang Quoc Viet, Hanoi, Vietnam
- MR Author ID: 207806
- Email: nvtrung@math.ac.vn
- Received by editor(s): January 10, 2004
- Published electronically: January 21, 2005
- Additional Notes: The second author was partially supported by the National Basic Research Program of Vietnam
- © Copyright 2005
American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication. - Journal: Trans. Amer. Math. Soc. 357 (2005), 3655-3672
- MSC (2000): Primary 14M05, 13H10, 13A30, 14E25
- DOI: https://doi.org/10.1090/S0002-9947-05-03758-X
- MathSciNet review: 2146643