A criterion for regularity of local rings
Commutative Algebra
2007-05-23 v2 Algebraic Geometry
Abstract
It is proved that a noetherian commutative local ring A containing a field is regular if there is a complex M of free A-modules with the following properties: M_i=0 for i not in [0,dim A]; the homology of M has finite length; H_0(M) contains the residue field of A as a direct summand. This result is an essential component in the proofs of the McKay correspondence in dimension 3 and of the statement that threefold flops induce equivalences of derived categories.
Cite
@article{arxiv.math/0602235,
title = {A criterion for regularity of local rings},
author = {Tom Bridgeland and Srikanth Iyengar},
journal= {arXiv preprint arXiv:math/0602235},
year = {2007}
}
Comments
4 pages. Minor revisions. To appear in C. R. Acad. Sci. Paris, Ser. I