Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)

 
 

 

$ F$-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 $ R = K[{X_1},\, \ldots ,\,{X_{n + t}}]/({G_i},\, \ldots ,\,{G_t})$, of dimension $ n$, has an $ F$-pure type singularity at $ m = ({X_1},\, \ldots ,\,{X_{n + t}})$. Specifically, if $ \operatorname{deg} ({X_i}) = {\alpha _i} > 0$ for $ 1 \leq i \leq n + t$ and $ \operatorname{deg} ({G_i}) = {d_i} > 0$ for $ i \leq i \leq t$, then there exists an integer $ \delta$ determined by the singular locus of $ R$ such that:

(1) $ R$ has $ F$-pure type if $ \Sigma _{i = 1}^t{d_i} - \Sigma _{i = 1}^{n + t}{\alpha _i} < \delta $.

(2) $ R$ does not have $ F$-pure type if $ \Sigma _{i = 1}^t{d_i} - \Sigma _{i = 1}^{n + t}{\alpha _i} > 0$.

The characterization given by this theorem is particularly effective if the singularity of $ R$ at $ m$ is isolated. In that case, $ \delta = 0$ so that only the condition $ \Sigma _{i = 1}^t{d_i} - \Sigma _{i = 1}^{n + t}{\alpha _i} = 0$ is not solved by the above result. In particular, it follows from work of Kei-ichi Watanabe that if $ R$ has an isolated rational singularity, then $ R$ has $ F$-pure type. The converse is also ``almost true'' with the only exception being the case where $ \Sigma _{i = 1}^t{d_i} - \Sigma _{i = 1}^{n + t}{\alpha _i} = 0$.

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


References [Enhancements On Off] (What's this?)

  • [1] J. A. Eagon and M. Hochster, $ R$-sequences and indeterminates, Quart. J. Math Oxford Ser. 25 (1974), 61-71. MR 0337934 (49:2703)
  • [2] R. Fedder, $ F$-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 $ 1$-dimensional $ F$-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 $ K^{\ast}$-action, Proc. Trente Conf., Lecture Notes in Pure and Appl. Math. 84, Dekker, New York, 1983. MR 686954 (84e:14005)

Similar Articles

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

American Mathematical Society