Chapter

Commutative Algebra

Volume 15 of the series Mathematical Sciences Research Institute Publications pp 227-245

A Characterization of F-Regularity in Terms of F-Purity

  • Richard FedderAffiliated withDepartment of Mathematical Sciences, Tokai University
  • , Kei-Ichi WatanabeAffiliated withDepartment of Mathematical Sciences, Tokai University

* Final gross prices may vary according to local VAT.

Get Access

Abstract

In recent years, some very interesting theorems have been proven independently using complex analytic techniques or, alternatively, using reduction to characteristic p techniques (relying on special properties of the Frobenius homomorphism). In particular, Hochster and Roberts [12] proved that the ring R G of invariants of a group G acting on a regular ring R is necessarily Cohen-Macaulay by an argument which exploits the fact that R G is a direct summand of R in characteristic 0 and that, therefore, after reduction to characteristic p, the Frobenius homomorphism is especially well-behaved for “almost all p”. Not long after, using the Grauert-Riemenschneider vanishing theorem, Boutôt [1] proved an even stronger result— in the affine and analytic cases, a direct summand (in characteristic 0) of a ring with rational singularity necessarily has a rational singularity.