Geometric interpretation of tight closure and test ideals
Author:
Nobuo Hara
Journal:
Trans. Amer. Math. Soc. 353 (2001), 18851906
MSC (2000):
Primary 13A35, 14B05; Secondary 13A02, 14B15
Published electronically:
January 16, 2001
MathSciNet review:
1813597
Fulltext PDF Free Access
Abstract 
References 
Similar Articles 
Additional Information
Abstract: We study tight closure and test ideals in rings of characteristic using resolution of singularities. The notions of rational and regular rings are defined via tight closure, and they are known to correspond with rational and log terminal singularities, respectively. In this paper, we reformulate this correspondence by means of the notion of the test ideal, and generalize it to wider classes of singularities. The test ideal is the annihilator of the tight closure relations and plays a crucial role in the tight closure theory. It is proved that, in a normal Gorenstein ring of characteristic , the test ideal is equal to socalled the multiplier ideal, which is an important ideal in algebraic geometry. This is proved in more general form, and to do this we study the behavior of the test ideal and the tight closure of the zero submodule in certain local cohomology modules under cyclic covering. We reinterpret the results also for graded rings.
 [AM]
I. Aberbach and B. MacCrimmon, Some results on test ideals, Proc. Edinburgh Math. Soc. (2) 42 (1999), 541549. CMP 2000:04
 [AN]
Yasuo
Akizuki and Shigeo
Nakano, Note on KodairaSpencer’s proof of Lefschetz
theorems, Proc. Japan Acad. 30 (1954), 266–272.
MR
0066694 (16,619a)
 [D]
Michel
Demazure, Anneaux gradués normaux, Introduction
à la théorie des singularités, II, Travaux en Cours,
vol. 37, Hermann, Paris, 1988, pp. 35–68 (French). MR 1074589
(91k:14004)
 [E]
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)
 [EV]
Montserrat
Teixidor i Bigas and Loring
W. Tu, Theta divisors for vector bundles, Curves, Jacobians,
and abelian varieties (Amherst, MA, 1990) Contemp. Math., vol. 136,
Amer. Math. Soc., Providence, RI, 1992, pp. 327–342. MR 1188206
(94a:14007), http://dx.doi.org/10.1090/conm/136/1188206
 [F]
Richard
Fedder, A Frobenius characterization of
rational singularity in 2dimensional graded rings, Trans. Amer. Math. Soc. 340 (1993), no. 2, 655–668. MR 1116312
(94b:13003), http://dx.doi.org/10.1090/S00029947199311163123
 [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/9781461236603_11
 [GR]
Hans
Grauert and Oswald
Riemenschneider, Verschwindungssätze für analytische
Kohomologiegruppen auf komplexen Räumen, Invent. Math.
11 (1970), 263–292 (German). MR 0302938
(46 #2081)
 [Ha]
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)
 [HW]
Nobuo
Hara and Keiichi
Watanabe, The injectivity of Frobenius acting on cohomology and
local cohomology modules, Manuscripta Math. 90
(1996), no. 3, 301–315. MR 1397659
(97i:13016), http://dx.doi.org/10.1007/BF02568308
 [Ht]
Robin
Hartshorne, Residues and duality, Lecture notes of a seminar
on the work of A. Grothendieck, given at Harvard 1963/64. With an appendix
by P. Deligne. Lecture Notes in Mathematics, No. 20, SpringerVerlag,
Berlin, 1966. MR
0222093 (36 #5145)
 [HH1]
Melvin
Hochster and Craig
Huneke, Tight closure, invariant theory, and
the BriançonSkoda theorem, J. Amer.
Math. Soc. 3 (1990), no. 1, 31–116. MR 1017784
(91g:13010), http://dx.doi.org/10.1090/S08940347199010177846
 [HH2]
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)
 [HH3]
Melvin
Hochster and Craig
Huneke, Tight closure of parameter ideals and splitting in
modulefinite extensions, J. Algebraic Geom. 3
(1994), no. 4, 599–670. MR 1297848
(95k:13002)
 [HR]
Melvin
Hochster and Joel
L. Roberts, The purity of the Frobenius and local cohomology,
Advances in Math. 21 (1976), no. 2, 117–172. MR 0417172
(54 #5230)
 [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)
 [HS]
Craig
Huneke and Karen
E. Smith, Tight closure and the Kodaira vanishing theorem, J.
Reine Angew. Math. 484 (1997), 127–152. MR 1437301
(98e:13007)
 [KMM]
Yujiro
Kawamata, Katsumi
Matsuda, and Kenji
Matsuki, Introduction to the minimal model problem, Algebraic
geometry, Sendai, 1985, Adv. Stud. Pure Math., vol. 10,
NorthHolland, Amsterdam, 1987, pp. 283–360. MR 946243
(89e:14015)
 [LT]
Joseph
Lipman and Bernard
Teissier, Pseudorational local rings and a theorem of
BriançonSkoda about integral closures of ideals, Michigan
Math. J. 28 (1981), no. 1, 97–116. MR 600418
(82f:14004)
 [LS1]
G. Lyubeznik and K. E. Smith, Strong and weak Fregularity are equivalent for graded rings, Amer. J. Math. 121 (1999), 12791290. CMP 2000:05
 [LS2]
, On the commutation of the test ideal with localization and completion, Trans. Amer. Math. Soc. (to appear)
 [Mc]
B. MacCrimmon, Weak Fregularity is strong Fregularity for rings with isolated nonGorenstein points, Trans. Amer. Math. Soc. (to appear).
 [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 existence of
KählerEinstein metrics of positive scalar curvature, Proc. Nat.
Acad. Sci. U.S.A. 86 (1989), no. 19, 7299–7300.
MR
1015491 (90k:32061), http://dx.doi.org/10.1073/pnas.86.19.7299
 [NW]
K. Nakakoshi and K.i. Watanabe, in preparation.
 [S1]
Karen
E. Smith, Test ideals in local rings,
Trans. Amer. Math. Soc. 347 (1995),
no. 9, 3453–3472. MR 1311917
(96c:13008), http://dx.doi.org/10.1090/S00029947199513119170
 [S2]
Karen
E. Smith, 𝐹rational rings have rational
singularities, Amer. J. Math. 119 (1997), no. 1,
159–180. MR 1428062
(97k:13004)
 [S3]
, The multiplier ideal is a universal test ideal, preprint.
 [TW]
Masataka
Tomari and Keiichi
Watanabe, Normal 𝑍ᵣgraded rings and normal cyclic
covers, Manuscripta Math. 76 (1992), no. 34,
325–340. MR 1185023
(93j:13002), http://dx.doi.org/10.1007/BF02567764
 [W1]
Keiichi
Watanabe, Rational singularities with 𝑘*action,
Commutative algebra (Trento, 1981) Lecture Notes in Pure and Appl. Math.,
vol. 84, Dekker, New York, 1983, pp. 339–351. MR 686954
(84e:14005)
 [W2]
Keiichi
Watanabe, 𝐹regular and 𝐹pure normal graded
rings, J. Pure Appl. Algebra 71 (1991), no. 23,
341–350. MR 1117644
(92g:13003), http://dx.doi.org/10.1016/00224049(91)90157W
 [W3]
, Fregular and Fpure rings vs. logterminal and logcanonical singularities, preprint.
 [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
 [AM]
 I. Aberbach and B. MacCrimmon, Some results on test ideals, Proc. Edinburgh Math. Soc. (2) 42 (1999), 541549. CMP 2000:04
 [AN]
 Y. Akizuki and S. Nakano, Note on KodairaSpencer's proof of Lefschetz's theorem, Proc. Japan Acad. 30 (1954), 266272. MR 16:619a
 [D]
 M. Demazure, Anneaux gradués normaux, in ``Introduction à la Théorie des Singularités II," Travaux en Cours 37, pp. 3568, Hermann, Paris (1988). MR 91k:14004
 [E]
 L. Ein, Multiplier ideals, vanishing theorems and applications, in ``Algebraic GeometrySanta Cruz 1995," Proc. Symp. Pure Math. 62 (1997), Part I, 203219. MR 98m:14006
 [EV]
 H. Esnault and E. Viehweg, ``Lectures on Vanishing Theorems," DMV Seminar, Band 20, Birkhäuser Verlag, Basel (1992). MR 94a:14007
 [F]
 R. Fedder, A Frobenius characterization of rational singularity in 2dimensional graded rings, Trans. Amer. Math. Soc. 340 (1993), 655668. MR 94b:13003
 [FW]
 R. Fedder and K.i. Watanabe, A characterization of Fregularity in terms of Fpurity, in ``Commutative Algebra," Math. Sci. Res. Inst. Publ. 15, pp. 227245, Springer Verlag, New York (1989). MR 91k:13009
 [GR]
 H. Grauert and O. Riemenschneider, Verschwindungssätze für analytische Kohomologiegruppen auf komplexen Räumen, Invent. Math. 11 (1970), 263292. MR 46:2081
 [Ha]
 N. Hara, A characterization of rational singularities in terms of injectivity of Frobenius maps, Amer. J. Math. 120 (1998), 981996. MR 99h:13005
 [HW]
 N. Hara and K.i. Watanabe, The injectivity of Frobenius acting on cohomology and local cohomology modules, Manuscripta Math. 90 (1996), 301315. MR 97i:13016
 [Ht]
 R. Hartshorne, ``Residues and Duality," Lect. Notes in Math. 20, Springer Verlag, Heidelberg (1966). MR 36:5145
 [HH1]
 M. Hochster and C. Huneke, Tight closure, invariant theory and the BriançonSkoda theorem, J. Amer. Math. Soc. 3 (1990), 31116. MR 91g:13010
 [HH2]
 , Tight closure and strong Fregularity, Mem. Soc. Math. France 38 (1989), 119133. MR 91i:13025
 [HH3]
 , Tight closures of parameter ideals and splitting in modulefinite extensions, J. Alg. Geom. 3 (1994), 599670. MR 95k:13002
 [HR]
 M. Hochster and J. L. Roberts, The purity of the Frobenius and local cohomology, Adv. Math. 21 (1976), 117172. MR 54:5230
 [Hu]
 C. Huneke, ``Tight closure and its applications," CBMS Regional Conf. Ser. Math. 88, Amer. Math. Soc., Providence (1996). MR 96m:13001
 [HS]
 C. Huneke and K. E. Smith, Tight closure and the Kodaira vanishing theorem, J. Reine Angew. Math. 484 (1997), 127152. MR 98e:13007
 [KMM]
 Y. Kawamata, K. Matsuda and K. Matsuki, Introduction to the minimal model problem, in ``Algebraic Geometry, Sendai 1985," Advanced Studies in Pure Math. 10, pp. 283360, Kinokuniya, Tokyo, and NorthHolland, Amsterdam (1987). MR 89e:14015
 [LT]
 J. Lipman and B. Teissier, Pseudorational local rings and a theorem of BriançonSkoda on the integral closure of ideals, Michigan Math. J. 28 (1981), 97116. MR 82f:14004
 [LS1]
 G. Lyubeznik and K. E. Smith, Strong and weak Fregularity are equivalent for graded rings, Amer. J. Math. 121 (1999), 12791290. CMP 2000:05
 [LS2]
 , On the commutation of the test ideal with localization and completion, Trans. Amer. Math. Soc. (to appear)
 [Mc]
 B. MacCrimmon, Weak Fregularity is strong Fregularity for rings with isolated nonGorenstein points, Trans. Amer. Math. Soc. (to appear).
 [MS]
 V. B. Mehta and V. Srinivas, A characterization of rational singularities, Asian J. Math. 1 (1997), 249278 MR 99e:13009
 [N]
 A. Nadel, Multiplier ideal sheaves and the existence of KählerEinstein metrics of positive scalar curvature, Proc. Nat. Acad. Sci. USA 86 (1990), 72997300. MR 90k:32061
 [NW]
 K. Nakakoshi and K.i. Watanabe, in preparation.
 [S1]
 K. E. Smith, Test ideals in local rings, Trans. Amer. Math. Soc. 347 (1995), 34533472. MR 96c:13008
 [S2]
 , Frational rings have rational singularities, Amer. J. Math. 119 (1997), 159180. MR 97k:13004
 [S3]
 , The multiplier ideal is a universal test ideal, preprint.
 [TW]
 M. Tomari and K.i. Watanabe, Normal graded rings and normal cyclic covers, Manuscripta Math. 76 (1992), 325340. MR 93j:13002
 [W1]
 K.i. Watanabe, Rational singularities with action, in ``Commutative algebra, Proc. Trento Conference," Lect. Notes in Pure and Appl. Math. 84, pp. 331359, Marcel Dekker (1983). MR 84e:14005
 [W2]
 , Fregular and Fpure normal graded rings, J. Pure Appl. Alg. 71 (1991), 341350. MR 92g:13003
 [W3]
 , Fregular and Fpure rings vs. logterminal and logcanonical singularities, preprint.
 [Wi]
 L. J. Williams, Uniform stability of kernels of Koszul cohomology indexed by the Frobenius endomorphism, J. Algebra 172 (1995), 721743. MR 96f:13003
Similar Articles
Retrieve articles in Transactions of the American Mathematical Society
with MSC (2000):
13A35,
14B05,
13A02,
14B15
Retrieve articles in all journals
with MSC (2000):
13A35,
14B05,
13A02,
14B15
Additional Information
Nobuo Hara
Affiliation:
Department of Mathematical Sciences, Waseda University, Okubo, Shinjuku, Tokyo 1698555, Japan
Address at time of publication:
Mathematical Institute, Tohoku University, Sendai 9808578, Japan
Email:
hara@math.tohoku.ac.jp
DOI:
http://dx.doi.org/10.1090/S0002994701026952
PII:
S 00029947(01)026952
Keywords:
Tight closure,
test ideal,
modulo $p$ reduction,
multiplier ideal
Received by editor(s):
July 27, 1999
Published electronically:
January 16, 2001
Additional Notes:
The author is partially supported by Grant for Special Research Project 98A140, Waseda University, and GrantinAid for Scientific Research No. 11740028, Japan
Article copyright:
© Copyright 2001 American Mathematical Society
