English

The resolution of the universal ring for finite length modules of projective dimension two

Commutative Algebra 2007-05-23 v1

Abstract

Hochster established the existence of a commutative noetherian ring \CalR\Cal R and a universal resolution U\Bbb U of the form 0\CalRe\CalRf\CalRg00\to \Cal R^{e}\to \Cal R^{f}\to \Cal R^{g}\to 0 such that for any commutative noetherian ring SS and any resolution V\Bbb V equal to 0SeSfSg00\to S^{e}\to S^{f}\to S^{g}\to 0, there exists a unique ring homomorphism \CalRS\Cal R\to S with V=U\CalRS\Bbb V=\Bbb U\otimes_{\Cal R} S. In the present paper we assume that f=e+gf=e+g and we find a resolution F\Bbb F of \CalR\Cal R by free \CalP\Cal P-modules, where \CalP\Cal P is a polynomial ring over the ring of integers. The resolution F\Bbb F is not minimal; but it is straightforward, coordinate free, and independent of characteristic. Furthermore, one can use F\Bbb F to calculate Tor\CalP(\CalR,Z)\operatorname{Tor}^{\Cal P}_{\bullet}(\Cal R, \Bbb Z). If ee and gg both at least 5, then Tor\CalP(\CalR,Z)\operatorname{Tor}^{\Cal P}_{\bullet}(\Cal R, \Bbb Z) is not a free abelian group; and therefore, the graded betti numbers in the minimal resolution of KZ\CalR\pmb K\otimes_{\Bbb Z} \Cal R by free KZ\CalP\pmb K\otimes_{\Bbb Z} \Cal P-modules depend on the characteristic of the field K\pmb K. We record the modules in the minimal KZ\CalP\pmb K\otimes_{\Bbb Z} \Cal P resolution of KZ\CalR\pmb K\otimes_{\Bbb Z} \Cal R in terms of the modules which appear when one resolves divisors over the determinantal ring defined by the 2×22\times 2 minors of an e×ge\times g 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