On the minimal free resolution of the universal ring for resolutions of length two

Abstract: Hochster established the existence of a commutative noetherian ring

i l d e C

and a universal resolution

U

of the form

0 o i l d e C^{e} o i l d e C^{f} o i l d e C^{g} o 0

such that for any commutative noetherian ring

S

and any resolution

V

equal to

0 o S^{e} o S^{f} o S^{g} o 0

, there exists a unique ring homomorphism

i l d e C o S

with

V = U o t i m e s_{i l d e C} S

. In the present paper we assume that

f = e + g

and we find the minimal resolution of

by free

B

-modules, where

is a field of characteristic zero and

B

is a polynomial ring over

. Our techniques are geometric. We use the Bott algorithm and the Representation Theory of the General Linear Group. As a by-product of our work, we resolve a family of maximal Cohen-Macaulay modules defined over a determinantal ring.

Review text

\textit{M. Hochster} [``Topics in the homological theory of modules over commutative rings. Conference Board of the Mathematical Sciences. Regional Conference Series in Mathematics. No.~24 (1975; Zbl 0302.13003)] established the existence of a commutative noetherian ring \(\tilde{C}\) and a universal resolution \[ 0\to \tilde{C}^e\to\tilde{C}^f\to\tilde{C}^g\to 0. \] For \(f=e+g\), the authors describe the syzygies of \(\tilde{C}\), i.e., the minimal resolution of \(\tilde{C}\) as a module over the polynomial algebra of which \(\tilde{C}\) is a factor. The modules of the resolution are described in terms of Schur functors.

Recommendations

Cites work

Cited in

(8)

This page was built for publication: On the minimal free resolution of the universal ring for resolutions of length two

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2370131)