The resolution of the universal ring for finite length modules of projective dimension two
Abstract
Hochster established the existence of a commutative noetherian ring and a universal resolution of the form such that for any commutative noetherian ring and any resolution equal to , there exists a unique ring homomorphism with . In the present paper we assume that and we find a resolution of by free -modules, where is a polynomial ring over the ring of integers. The resolution is not minimal; but it is straightforward, coordinate free, and independent of characteristic. Furthermore, one can use to calculate . If and both at least 5, then is not a free abelian group; and therefore, the graded betti numbers in the minimal resolution of by free -modules depend on the characteristic of the field . We record the modules in the minimal resolution of in terms of the modules which appear when one resolves divisors over the determinantal ring defined by the minors of an matrix.
Keywords
Cite
@article{arxiv.math/0607639,
title = {The resolution of the universal ring for finite length modules of projective dimension two},
author = {Andrew R. Kustin},
journal= {arXiv preprint arXiv:math/0607639},
year = {2007}
}
Comments
See also http://www.math.sc.edu/~kustin