On a theorem of Knörrer concerning Cohen-Macaulay modules (Q1582751): Difference between revisions
From MaRDI portal
Revision as of 15:23, 30 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On a theorem of Knörrer concerning Cohen-Macaulay modules |
scientific article |
Statements
On a theorem of Knörrer concerning Cohen-Macaulay modules (English)
0 references
21 November 2000
0 references
Let \(K\) be a field, \(X = X_1,\ldots,X_n\) and \(Y = Y_1,\ldots,Y_r\) sets of indeterminates. Let \(f \in K[[X]]\) be a non-zero formal power series with \(f \in (X)\) and \(s_1,\ldots,s_r\) positive integers with each \(s_i \geq 2\) which are not multiple of the characteristic of \(K\). Put \(R = K[[X,Y]]/(f+\sum_{i=1}^rY_i^{s_i})\), \(R_1= K[[X]]/(f)\) and \(\widetilde{R} = R/(Y_1^{s_1-1},\ldots,Y_r^{s_r-1})\). The main result of this paper shows that for a maximal Cohen-Macaulay \(R\)-module \(N\) with no free direct summands, we have (i) \(\widetilde N := \widetilde R\otimes_RN\) is a deformation of the maximal Cohen-Macaulay \(R_1\)-module \(N/YN\) to \(\widetilde R\), (ii) \(\Omega_R^r(\widetilde N) \cong (N\oplus \Omega_R^1(N))^{2^{r-1}}\). This generalizes a result of \textit{H. Knörrer} in the case \(r=1\) and \(g = Y_1^2\) [Invent. Math. 88, 153-164 (1987; Zbl 0617.14033)]. The authors also find resolutions of the higher order syzygy modules which are minimal in certain situation, and express them in terms of matrix factorizations. The approach simplifies and extends that of \textit{J. Herzog} and \textit{D. Popescu} [Math. Ann. 309, No. 4, 677-700 (1997; Zbl 0902.13010)] by using iterated mapping cones.
0 references
maximal Cohen-Macaulay module
0 references
isolated singularity
0 references
higher order syzygy
0 references
matrix factorization
0 references
mapping cone
0 references
formal power series
0 references
Thom-Sebastiani problems
0 references
0 references
0 references
0 references