|
A generalization of tight closure and multiplier ideals
Authors:
Nobuo Hara and Ken-ichi Yoshida
Journal:
Trans. Amer. Math. Soc. 355 (2003), 3143-3174
MSC (2000):
Primary 13A35, 14B05
Posted:
April 11, 2003
MathSciNet review:
1974679
Full-text PDF Free Access
Abstract |
References |
Similar Articles |
Additional Information
Abstract: We introduce a new variant of tight closure associated to any fixed ideal , which we call -tight closure, and study various properties thereof. In our theory, the annihilator ideal of all -tight closure relations, which is a generalization of the test ideal in the usual tight closure theory, plays a particularly important role. We prove the correspondence of the ideal and the multiplier ideal associated to (or, the adjoint of in Lipman's sense) in normal -Gorenstein rings reduced from characteristic zero to characteristic . Also, in fixed prime characteristic, we establish some properties of similar to those of multiplier ideals (e.g., a Briançon-Skoda-type theorem, subadditivity, etc.) with considerably simple proofs, and study the relationship between the ideal and the F-rationality of Rees algebras.
- [AKM]
Ian
Aberbach, Mordechai
Katzman, and Brian
MacCrimmon, Weak F-regularity deforms in 𝑄-Gorenstein
rings, J. Algebra 204 (1998), no. 1,
281–285. MR 1623973
(99d:13003), http://dx.doi.org/10.1006/jabr.1997.7369
- [AM]
Ian
M. Aberbach and Brian
MacCrimmon, Some results on test elements, Proc. Edinburgh
Math. Soc. (2) 42 (1999), no. 3, 541–549. MR 1721770
(2000i:13005), http://dx.doi.org/10.1017/S0013091500020502
- [B]
Jean-François
Boutot, Singularités rationnelles et quotients par les
groupes réductifs, Invent. Math. 88 (1987),
no. 1, 65–68 (French). MR 877006
(88a:14005), http://dx.doi.org/10.1007/BF01405091
- [BS]
Henri
Skoda and Joël
Briançon, Sur la clôture intégrale d’un
idéal de germes de fonctions holomorphes en un point de
𝐶ⁿ, C. R. Acad. Sci. Paris Sér. A
278 (1974), 949–951 (French). MR 0340642
(49 #5394)
- [BH]
Winfried
Bruns and Jürgen
Herzog, Cohen-Macaulay rings, Cambridge Studies in Advanced
Mathematics, vol. 39, Cambridge University Press, Cambridge, 1993. MR 1251956
(95h:13020)
- [DEL]
Jean-Pierre
Demailly, Lawrence
Ein, and Robert
Lazarsfeld, A subadditivity property of multiplier ideals,
Michigan Math. J. 48 (2000), 137–156. Dedicated to
William Fulton on the occasion of his 60th birthday. MR 1786484
(2002a:14016), http://dx.doi.org/10.1307/mmj/1030132712
- [Ei]
Lawrence
Ein, Multiplier ideals, vanishing theorems and applications,
Algebraic geometry—Santa Cruz 1995, Proc. Sympos. Pure Math.,
vol. 62, Amer. Math. Soc., Providence, RI, 1997,
pp. 203–219. MR 1492524
(98m:14006)
- [ELS]
Lawrence
Ein, Robert
Lazarsfeld, and Karen
E. Smith, Uniform bounds and symbolic powers on smooth
varieties, Invent. Math. 144 (2001), no. 2,
241–252. MR 1826369
(2002b:13001), http://dx.doi.org/10.1007/s002220100121
- [FW]
Richard
Fedder and Keiichi
Watanabe, A characterization of 𝐹-regularity in terms of
𝐹-purity, Commutative algebra (Berkeley, CA, 1987) Math.
Sci. Res. Inst. Publ., vol. 15, Springer, New York, 1989,
pp. 227–245. MR 1015520
(91k:13009), http://dx.doi.org/10.1007/978-1-4612-3660-3_11
- [GS]
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
(84a:13021)
- [GW]
Shiro
Goto and Keiichi
Watanabe, On graded rings. I, J. Math. Soc. Japan
30 (1978), no. 2, 179–213. MR 494707
(81m:13021), http://dx.doi.org/10.2969/jmsj/03020179
- [Ha1]
Nobuo
Hara, A characterization of rational singularities in terms of
injectivity of Frobenius maps, Amer. J. Math. 120
(1998), no. 5, 981–996. MR 1646049
(99h:13005)
- [Ha2]
Nobuo
Hara, Geometric interpretation of tight
closure and test ideals, Trans. Amer. Math.
Soc. 353 (2001), no. 5, 1885–1906 (electronic). MR 1813597
(2001m:13009), http://dx.doi.org/10.1090/S0002-9947-01-02695-2
- [HT]
N. Hara and S. Takagi, Some remarks on a generalization of test ideals, preprint.
- [HW]
Nobuo
Hara and Kei-Ichi
Watanabe, F-regular and F-pure rings vs. log
terminal and log canonical singularities, J.
Algebraic Geom. 11 (2002), no. 2, 363–392. MR 1874118
(2002k:13009), http://dx.doi.org/10.1090/S1056-3911-01-00306-X
- [HWY1]
N. Hara, K.-i. Watanabe, and K. Yoshida, F-rationality of Rees algebras, J. Algebra 247 (2002), 153-190.
- [HWY2]
-, Rees algebras of F-regular type, J. Algebra 247 (2002), 191-218.
- [HHK]
M.
Herrmann, E.
Hyry, and T.
Korb, On Rees algebras with a Gorenstein Veronese subring, J.
Algebra 200 (1998), no. 1, 279–311. MR 1603275
(98m:13006), http://dx.doi.org/10.1006/jabr.1997.7207
- [Ho1]
Melvin
Hochster, Cyclic purity versus purity in
excellent Noetherian rings, Trans. Amer. Math.
Soc. 231 (1977), no. 2, 463–488. MR 0463152
(57 #3111), http://dx.doi.org/10.1090/S0002-9947-1977-0463152-5
- [Ho2]
Melvin
Hochster, The tight integral closure of a set of ideals, J.
Algebra 230 (2000), no. 1, 184–203. MR 1774763
(2002f:13009), http://dx.doi.org/10.1006/jabr.1999.7954
- [HH0]
Melvin
Hochster and Craig
Huneke, Tight closure and strong 𝐹-regularity,
Mém. Soc. Math. France (N.S.) 38 (1989),
119–133. Colloque en l’honneur de Pierre Samuel (Orsay, 1987).
MR
1044348 (91i:13025)
- [HH1]
Melvin
Hochster and Craig
Huneke, Tight closure, invariant theory, and
the Briançon-Skoda theorem, J. Amer.
Math. Soc. 3 (1990), no. 1, 31–116. MR 1017784
(91g:13010), http://dx.doi.org/10.1090/S0894-0347-1990-1017784-6
- [HH2]
Melvin
Hochster and Craig
Huneke, 𝐹-regularity, test elements,
and smooth base change, Trans. Amer. Math.
Soc. 346 (1994), no. 1, 1–62. MR 1273534
(95d:13007), http://dx.doi.org/10.1090/S0002-9947-1994-1273534-X
- [HH3]
-, Tight closure in equal characteristic zero, to appear.
- [How]
J.
A. Howald, Multiplier ideals of monomial
ideals, Trans. Amer. Math. Soc.
353 (2001), no. 7,
2665–2671 (electronic). MR 1828466
(2002b:14061), http://dx.doi.org/10.1090/S0002-9947-01-02720-9
- [Hu]
Craig
Huneke, Tight closure and its applications, CBMS Regional
Conference Series in Mathematics, vol. 88, Published for the
Conference Board of the Mathematical Sciences, Washington, DC, 1996. With
an appendix by Melvin Hochster. MR 1377268
(96m:13001)
- [Hy1]
Eero
Hyry, Blow-up rings and rational singularities, Manuscripta
Math. 98 (1999), no. 3, 377–390. MR 1717540
(2001d:13002), http://dx.doi.org/10.1007/s002290050147
- [Hy2]
Eero
Hyry, Coefficient ideals and the
Cohen-Macaulay property of Rees algebras, Proc.
Amer. Math. Soc. 129 (2001), no. 5, 1299–1308. MR 1712905
(2001h:13005), http://dx.doi.org/10.1090/S0002-9939-00-05673-2
- [Ka]
Yujiro
Kawamata, The cone of curves of algebraic varieties, Ann. of
Math. (2) 119 (1984), no. 3, 603–633. MR 744865
(86c:14013b), http://dx.doi.org/10.2307/2007087
- [Ku]
Ernst
Kunz, On Noetherian rings of characteristic 𝑝, Amer.
J. Math. 98 (1976), no. 4, 999–1013. MR 0432625
(55 #5612)
- [La]
R. Lazarsfeld, Positivity in Algebraic Geometry, preprint.
- [Li]
Joseph
Lipman, Adjoints of ideals in regular local rings, Math. Res.
Lett. 1 (1994), no. 6, 739–755. With an
appendix by Steven Dale Cutkosky. MR 1306018
(95k:13028)
- [Mc]
B. MacCrimmon, Weak F-regularity is strong F-regularity for rings with isolated non-
-Gorenstein points, Trans. Amer. Math. Soc., to appear.
- [Ma]
Hideyuki
Matsumura, Commutative ring theory, Cambridge Studies in
Advanced Mathematics, vol. 8, Cambridge University Press, Cambridge,
1986. Translated from the Japanese by M. Reid. MR 879273
(88h:13001)
- [MS]
V.
B. Mehta and V.
Srinivas, A characterization of rational singularities, Asian
J. Math. 1 (1997), no. 2, 249–271. MR 1491985
(99e:13009)
- [N]
Alan
Michael Nadel, Multiplier ideal sheaves and Kähler-Einstein
metrics of positive scalar curvature, Ann. of Math. (2)
132 (1990), no. 3, 549–596. MR 1078269
(92d:32038), http://dx.doi.org/10.2307/1971429
- [Si]
Anurag
K. Singh, 𝐹-regularity does not deform, Amer. J. Math.
121 (1999), no. 4, 919–929. MR 1704481
(2000e:13006)
- [Sm1]
Karen
E. Smith, 𝐹-rational rings have rational
singularities, Amer. J. Math. 119 (1997), no. 1,
159–180. MR 1428062
(97k:13004)
- [Sm2]
Karen
E. Smith, The multiplier ideal is a universal test ideal,
Comm. Algebra 28 (2000), no. 12, 5915–5929.
Special issue in honor of Robin Hartshorne. MR 1808611
(2002d:13008), http://dx.doi.org/10.1080/00927870008827196
- [T]
S. Takagi, An interpretation of multiplier ideals via tight closure, preprint.
- [VV]
Paolo
Valabrega and Giuseppe
Valla, Form rings and regular sequences, Nagoya Math. J.
72 (1978), 93–101. MR 514892
(80d:14010)
- [Vr]
Adela
Vraciu, Strong test ideals, J. Pure Appl. Algebra
167 (2002), no. 2-3, 361–373. MR 1874550
(2003a:13004), http://dx.doi.org/10.1016/S0022-4049(01)00039-1
- [Wa]
Keiichi
Watanabe, 𝐹-regular and 𝐹-pure normal graded
rings, J. Pure Appl. Algebra 71 (1991), no. 2-3,
341–350. MR 1117644
(92g:13003), http://dx.doi.org/10.1016/0022-4049(91)90157-W
- [Wi]
Lori
J. Williams, Uniform stability of kernels of Koszul cohomology
indexed by the Frobenius endomorphism, J. Algebra 172
(1995), no. 3, 721–743. MR 1324179
(96f:13003), http://dx.doi.org/10.1006/jabr.1995.1067
- [AKM]
- I. Aberbach, M. Katzman, and B. MacCrimmon, Weak F-regularity deforms in
-Gorenstein rings, J. Algebra 204 (1998), 281-285. MR 99d:13003
- [AM]
- I. Aberbach and B. MacCrimmon, Some results on test ideals, Proc. Edinburgh Math. Soc. (2) 42 (1999), 541-549. MR 2000i:13005
- [B]
- J.-F. Boutot, Singularités rationnelles et quotients par les groupes réductifs, Invent. Math. 88 (1987), 65-68. MR 88a:14005
- [BS]
- H. Skoda and J. Briançon, Sur la cl
ture intégrale d'un idéal de germes de fonctions holomorphes en un point de , C. R. Acad. Sci. Paris Sér. A 278 (1974), 949-951. MR 49:5394
- [BH]
- W. Bruns and J. Herzog, Cohen-Macaulay Rings, Cambridge Studies in Advanced Mathematics, vol. 39, Cambridge University Press, Cambridge, 1993. MR 95h:13020
- [DEL]
- J.-P. Demailly, L. Ein and R. Lazarsfeld, A subadditivity property of multiplier ideals, Michigan Math. J. 48 (2000), 137-156. MR 2002a:14016
- [Ei]
- L. Ein, Multiplier ideals, vanishing theorems and applications, in Algebraic Geometry--Santa Cruz 1995, pp. 203-219, Proc. Sympos. Pure Math., vol. 62, American Mathematical Society, Providence, RI, 1997. MR 98m:14006
- [ELS]
- L. Ein, R. Lazarsfeld and K. E. Smith, Uniform bounds and symbolic powers on smooth varieties, Invent. Math. 144 (2001), 241-252. MR 2002b:13001
- [FW]
- R. Fedder and K.-i. Watanabe, A characterization of F-regularity in terms of F-purity, in Commutative Algebra, Berkeley 1987, pp. 227-245, Math. Sci. Res. Inst. Publ., vol. 15, Springer-Verlag, New York, 1989. MR 91k:13009
- [GS]
- S. Goto and Y. Shimoda, On the Rees algebras of Cohen-Macaulay local rings, in Commutative Algebra, Fairfax 1979, pp. 201-231, Lecture Notes in Pure and Appl. Math., vol. 68, Dekker, New York, 1982. MR 84a:13021
- [GW]
- S. Goto and K.-i. Watanabe, On graded rings, I, J. Math. Soc. Japan 30 (1978), 179-213. MR 81m:13021
- [Ha1]
- N. Hara, A characterization of rational singularities in terms of injectivity of Frobenius maps, Amer. J. Math. 120 (1998), 981-996. MR 99h:13005
- [Ha2]
- -, Geometric interpretation of tight closure and test ideals, Trans. Amer. Math. Soc. 353 (2001), 1885-1906. MR 2001m:13009
- [HT]
- N. Hara and S. Takagi, Some remarks on a generalization of test ideals, preprint.
- [HW]
- N. Hara and K.-i. Watanabe, F-regular and F-pure rings vs. log terminal and log canonical singularities, J. Algebraic Geometry 11 (2002), 363-392. MR 2002k:13009
- [HWY1]
- N. Hara, K.-i. Watanabe, and K. Yoshida, F-rationality of Rees algebras, J. Algebra 247 (2002), 153-190.
- [HWY2]
- -, Rees algebras of F-regular type, J. Algebra 247 (2002), 191-218.
- [HHK]
- M. Herrmann, E. Hyry and T. Korb, On Rees algebras with a Gorenstein Veronese subring, J. Algebra 200 (1998), 279-311. MR 98m:13006
- [Ho1]
- M. Hochster, Cyclic purity versus purity in excellent Noetherian rings, Trans. Amer. Math. Soc. 231 (1977), 463-488. MR 57:3111
- [Ho2]
- M. Hochster, The tight integral closure of a set of ideals, J. Algebra 230 (2000), 184-203. MR 2002f:13009
- [HH0]
- M. Hochster and C. Huneke, Tight closure and strong F-regularity, Mem. Soc. Math. France 38 (1989), 119-133. MR 91i:13025
- [HH1]
- -, Tight closure, invariant theory, and the Briançon-Skoda theorem, J. Amer. Math. Soc. 3 (1990), 31-116. MR 91g:13010
- [HH2]
- -, F-regularity, test elements, and smooth base change, Trans. Amer. Math. Soc. 346 (1994), 1-62. MR 95d:13007
- [HH3]
- -, Tight closure in equal characteristic zero, to appear.
- [How]
- J. A. Howald, Multiplier ideals of monomial ideals, Trans. Amer. Math. Soc. 353 (2001), 2665-2671. MR 2002b:14061
- [Hu]
- C. Huneke, Tight closure and its applications, C.B.M.S. Regional Conference Series in Mathematics, No. 88, American Mathematical Society, Providence, RI, 1996. MR 96m:13001
- [Hy1]
- E. Hyry, Blow-up rings and rational singularities, Manuscripta Math. 98 (1999), 377-390. MR 2001d:13002
- [Hy2]
- -, Coefficient ideals and the Cohen-Macaulay property of Rees algebras, Proc. Amer. Math. Soc. 129 (2001), 1299-1308. MR 2001h:13005
- [Ka]
- Y. Kawamata, The cone of curves of algebraic varieties, Ann. Math. 119 (1984), 603-633. MR 86c:14013b
- [Ku]
- E. Kunz, On Noetherian rings of characteristic
, Amer. J. Math. 98 (1976), 999-1013. MR 55:5612
- [La]
- R. Lazarsfeld, Positivity in Algebraic Geometry, preprint.
- [Li]
- Lipman, J., Adjoints of ideals in regular local rings, Math. Res. Letters 1 (1994), 739-755. MR 95k:13028
- [Mc]
- B. MacCrimmon, Weak F-regularity is strong F-regularity for rings with isolated non-
-Gorenstein points, Trans. Amer. Math. Soc., to appear.
- [Ma]
- H. Matsumura, Commutative ring theory, Cambridge Studies in Advanced Mathematics, vol. 8, Cambridge University Press, Cambridge, 1986. MR 88h:13001
- [MS]
- V. B. Mehta and V. Srinivas, A characterization of rational singularities, Asian J. Math. 1 (1997), 249-278. MR 99e:13009
- [N]
- A. Nadel, Multiplier ideal sheaves and Kähler-Einstein metrics of positive scalar curvature, Ann. Math. 132 (1990), 549-596. MR 92d:32038
- [Si]
- A. K. Singh, F-regularity does not deform, Amer. J. Math. 121 (1999), 919-929. MR 2000e:13006
- [Sm1]
- K. E. Smith, F-rational rings have rational singularities, Amer. J. Math. 119 (1997), 159-180. MR 97k:13004
- [Sm2]
- -, The multiplier ideal is a universal test ideal, Comm. Algebra 28 (2000), 5915-5929. MR 2002d:13008
- [T]
- S. Takagi, An interpretation of multiplier ideals via tight closure, preprint.
- [VV]
- P. Valabrega and G. Valla, Form rings and regular sequences, Nagoya Math. J. 72 (1978), 93-101. MR 80d:14010
- [Vr]
- A. Vraciu, Strong test ideals, J. Pure Appl. Algebra 167 (2002), 361-373. MR 2003a:13004
- [Wa]
- K.-i. Watanabe, F-regular and F-pure normal graded rings, J. Pure Appl. Algebra 71 (1991), 341-350. MR 92g:13003
- [Wi]
- L. J. Williams, Uniform stability of kernels of Koszul cohomology indexed by the Frobenius endomorphism, J. Algebra 172 (1995), 721-743. MR 96f:13003
Similar Articles
Retrieve articles in Transactions of the American Mathematical Society
with MSC (2000):
13A35,
14B05
Retrieve articles in all journals
with MSC (2000):
13A35,
14B05
Additional Information
Nobuo Hara
Affiliation:
Mathematical Institute, Tohoku University, Sendai 980–8578, Japan
Email:
hara@math.tohoku.ac.jp
Ken-ichi Yoshida
Affiliation:
Graduate School of Mathematics, Nagoya University, Chikusa-ku, Nagoya 464–8602, Japan
Email:
yoshida@math.nagoya-u.ac.jp
DOI:
http://dx.doi.org/10.1090/S0002-9947-03-03285-9
PII:
S 0002-9947(03)03285-9
Received by editor(s):
August 20, 2002
Received by editor(s) in revised form:
December 19, 2002
Posted:
April 11, 2003
Additional Notes:
Both authors are partially supported by a Grant-in-Aid for Scientific Research, Japan
Article copyright:
© Copyright 2003 American Mathematical Society
|