Geometry of varieties for graded maximal Cohen-Macaulay modules (Q2066297)

Let \(k\) be an algebraically closed field and let \(R\) be a commutative positively graded affine \(k\)-algebra with \(R_0 = k\). Let \(S\) be a graded Noetherian normalization of \(R.\) A finitely generated graded \(R\)-module \(M\) is said to be maximal Cohen-Macaulay if \(M\) is graded free as a graded \(S\)-module. Then \(_SM \simeq _SS \otimes_k V\) for some finite dimensional graded \(k\)-vector space \(V.\) The representation scheme \(\mathrm{Rep}_S(R, V)\) for graded maximal Cohen-Macaulay \(R\)-modules is introduced by \textit{H. Dao} and \textit{I. Shipman} [Sel. Math., New Ser. 23, No. 1, 1--14 (2017; Zbl 1391.13018)]. In the paper under review, the authors study this variety. {Theorem}. Let \(A\) and \(B\) be graded Cohen-Macaulay \(k\)-algebras with \(A, B \simeq S \otimes_k V.\) Suppose that \(B\) is an integral domain and Gorenstein on the punctured spectrum. Then the following conditions are equivalent: (a) \(A\) and \(B\) are isomorphic graded \(S\)-algebras. (b) For the finite dimensional graded \(k\)-vector space \(V\), the algebraic sets \(\mathrm{Rep}_S(A, V)(k)\) and \(\mathrm{Rep}_S(B, V)(k)\) are isomorphic in an \(^*\mathrm{End}_S(S \otimes_k V)\)-equivariant. A graded Cohen-Macaulay ring \(R\) is of graded countable Cohen-Macaulay representation type if there are countably many isomorphism classes of indecomposable graded maximal Cohen-Macaulay \(R\)-modules up to shift. The main result of the paper is the following finiteness result about graded maximal Cohen-Macaulay modules. {Theorem}. Let \(k\) be an algebraically closed uncountable field and let \(R\) be of graded countable Cohen-Macaulay representation type. For each finite dimensional \(k\)-vector space \(V\), there are finitely many isomorphism classes of maximal Cohen-Macaulay \(R\)-modules which are isomorphic to \(S \otimes_k V\) as graded \(S\)-modules. In other words, there are only a finite number of isomorphism classes of maximal Cohen-Macaulay \(R\)-modules with fixed Hilbert series.