-purity and rational singularity in graded complete intersection rings

Author:
Richard Fedder

Journal:
Trans. Amer. Math. Soc. **301** (1987), 47-62

MSC:
Primary 14B05; Secondary 13H10, 14M10

DOI:
https://doi.org/10.1090/S0002-9947-1987-0879562-4

MathSciNet review:
879562

Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: A simple criterion is given for determining ``almost completely'' whether the positively graded complete intersection ring , of dimension , has an -pure type singularity at . Specifically, if for and for , then there exists an integer determined by the singular locus of such that:

(1) has -pure type if .

(2) does not have -pure type if .

The characterization given by this theorem is particularly effective if the singularity of at is isolated. In that case, so that only the condition is not solved by the above result. In particular, it follows from work of Kei-ichi Watanabe that if has an isolated rational singularity, then has -pure type. The converse is also ``almost true'' with the only exception being the case where .

In proving this criterion, a weak but more stable form of -purity, called -contractedness, is defined and explored. is -contracted (in characteristic ) if every system of parameters for is contracted with respect to the Frobenius map . Just as for -purity, the notion of -contracted type is defined in characteristic 0 by reduction to characteristic . The two notions of -pure (type) and -contracted (type) coincide when is Gorenstein; whence, in particular, when is a complete intersection ring.

**[1]**J. A. Eagon and M. Hochster,*-sequences and indeterminates*, Quart. J. Math Oxford Ser.**25**(1974), 61-71. MR**0337934 (49:2703)****[2]**R. Fedder,*-purity and rational singularity*, Trans. Amer. Math. Soc.**278**(1983), 461-480. MR**701505 (84h:13031)****[3]**S. Goto and K.-i. Watanabe,*The structure of**-dimensional**-pure rings*, J. Algebra**49**(1977), 415-421. MR**0453729 (56:11989)****[4]**M. Hochster and J. L. Roberts,*Rings of invariants of reductive groups acting on regular rings are Cohen-Macaulay*, Adv. in Math.**13**(1974), 115-175. MR**0347810 (50:311)****[5]**-,*The purity of the Frobenius and local cohomology*, Adv. in Math.**21**(1976), 117-172. MR**0417172 (54:5230)****[6]**M. Hochster,*Cyclic purity versus purity in excellent Noetherian rings*, Trans. Amer. Math. Soc.**231**(1977), 463-488. MR**0463152 (57:3111)****[7]**E. Matlis,*Injective modules over Noetherian rings*, Pacific J. Math.**8**(1958), 511-528. MR**20**# 5800. MR**0099360 (20:5800)****[8]**K.-i. Watanabe,*Rational singularities with**-action*, Proc. Trente Conf., Lecture Notes in Pure and Appl. Math. 84, Dekker, New York, 1983. MR**686954 (84e:14005)**

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC:
14B05,
13H10,
14M10

Retrieve articles in all journals with MSC: 14B05, 13H10, 14M10

Additional Information

DOI:
https://doi.org/10.1090/S0002-9947-1987-0879562-4

Article copyright:
© Copyright 1987
American Mathematical Society