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


Author: Richard Fedder
Journal: Trans. Amer. Math. Soc. 278 (1983), 461-480
MSC: Primary 13H10; Secondary 13D03, 14B05
DOI: https://doi.org/10.1090/S0002-9947-1983-0701505-0
MathSciNet review: 701505
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: We investigate singularities which are $ F$-pure (respectively $ F$-pure type). A ring $ R$ of characteristic $ p$ is $ F$-pure if for every $ R$-module $ M,0 \to M \otimes R \to M \otimes\, ^1R$ is exact where $ ^1R$ denotes the $ R$-algebra structure induced on $ R$ via the Frobenius map (if $ r \in R$ and $ s \in \, ^{1}R$, then $ r \cdot s = {r^p}s$ in $ ^1R$). $ F$-pure type is defined in characteristic 0 by reducing to characteristic $ p$.

It is proven that when $ R = S/I$ is the quotient of a regular local ring $ S$, $ R$ is $ F$-pure at the prime ideal $ Q$ if and only if $ ({I^{[p]}}:I) \not\subset {Q^{[p]}}$. Here, $ {J^{[p]}}$ denotes the ideal $ \{ {a^p}\vert a \in J\} $. Several theorems result from this criterion. If $ f$ is a quasihomogeneous hypersurface having weights $ ({r_1},\ldots,{r_n})$ and an isolated singularity at the origin:

(1) $ \sum\nolimits_{i = 1}^n {{r_i} > 1} $ implies $ K[{X_1},\ldots,{X_n}]/(f)$ has $ F$-pure type at $ m = ({X_1},\ldots,{X_n})$.

(2) $ \sum\nolimits_{i = 1}^n {{r_i} < 1} $ implies $ K[{X_1},\ldots,{X_n}]/(f)$ does not have $ F$-pure type at $ m$.

(3) $ \sum\nolimits_{i = 1}^n {{r_i} = 1} $ remains unsolved, but does connect with a problem that number theorists have studied for many years.

This theorem parallels known results about rational singularities. It is also proven that classifying $ F$-pure singularities for complete intersection ideals can be reduced to classifying such singularities for hypersurfaces, and that the $ F$-pure locus in the maximal spectrum of $ K[{X_1},\ldots,{X_n}]/I$, where $ K$ is a perfect field of characteristic $ P$, is Zariski open.

An important conjecture is that $ R/fR$ is $ F$-pure (type) should imply $ R$ is $ F$-pure (type) whenever $ R$ is a Cohen-Macauley, normal local ring. It is proven that $ \operatorname{Ext}^1{(^1}R,R) = 0$ is a sufficient, though not necessary, condition.

A local ring $ (R,m)$ of characteristic $ p$ is $ F$-injective if the Frobenius map induces an injection on the local cohomology modules $ H_m^i(R) \to H_m^i{(^1}R)$. An example is constructed which is $ F$-injective but not $ F$-pure. From this a counterexample to the conjecture that $ R/fR$ is $ F$-pure implies $ R$ is $ F$-pure is constructed. However, it is not a domain, much less normal. Moreover, it does not lead to a counterexample to the characteristic 0 version of the conjecture.


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

  • [1] M. Hochster and J. L. Roberts, The purity of the Frobenius and local cohomology, Adv. in Math. 21 (1976), 117-172. MR 0417172 (54:5230)
  • [2] K. Watanabe, On plurigenera of normal isolated singularities, Math. Ann. 250 (1980), 65-94. MR 581632 (82f:32025)
  • [3] 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)
  • [4] R. Elkik, Singularities rationelles et deformations, Invent. Math. 47 (1978), 139-147. MR 501926 (80c:14004)
  • [5] C. Huneke, The theory of $ D$-sequences and powers of ideals, Adv. in Math. 46 (1982), 249-280. MR 683201 (84g:13021)
  • [6] M. Hochster, Cyclic purity versus purity in excellent Noetherian rings, Trans. Amer. Math. Soc. 231 (1977), 463-488. MR 0463152 (57:3111)
  • [7] K. Watanabe, T. Ishikawa, S. Tachibana and K. Otsuka, On tensor products of Gorenstein rings, J. Math. Kyoto Univ. 9 (1969), 413-423. MR 0257062 (41:1716)
  • [8] R. Hartshorne, Algebraic geometry, Springer-Verlag, New York, 1977. MR 0463157 (57:3116)
  • [9] E. Kunz, Characterization of regular local rings of characteristic $ p$, Amer. J. Math. 91 (1969), 772-784. MR 0252389 (40:5609)

Similar Articles

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

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


Additional Information

DOI: https://doi.org/10.1090/S0002-9947-1983-0701505-0
Article copyright: © Copyright 1983 American Mathematical Society

American Mathematical Society