Wild hypersurfaces

DOI10.1016/J.JPAA.2011.04.009MaRDI QIDQ649855zbMATH OpenOpenAlexFDO

Authors Andrew Crabbe, Graham J. Leuschke

Publication date 6 December 2011

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1008.2465

Cohen-Macaulay modules (13C14) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10) Hypersurfaces and algebraic geometry (14J70) Representation type (finite, tame, wild, etc.) of associative algebras (16G60)

Abstract: Complete hypersurfaces of dimension at least 2 and multiplicity at least 4 have wild Cohen-Macaulay type.

Review text

Let \(K\) be an infinite field, \(R\) a local \(K\)-algebra and \(\mathcal{C}\) be a full subcategory of the finitely generated \(R\)-modules. We say \(\mathcal{C}\) is wild, if for every finite-dimensional \(K\)-algebra \(\Lambda\), there exists a representation embedding \(\mathcal{\epsilon}: \mod \Lambda \to \mathcal{C}\), i.e., \({\epsilon}\) is an exact functor preserving non-isomorphism and indecomposability. In particular, if \(\mathcal{C}\) is the full subcategory of maximal Cohen--Macaulay \(R\)-modules, then we say \(R\) has wild Cohen--Macaulay type. Here by a maximal Cohen--Macaulay \(R\)-module, we mean \(\text{depth} M=\dim R\) for every \(R\)-module \(M\). The authors prove the following: Let \(S=Kx_0, \dots, x_d\) with \(d\geq 2\) and \(f\) a non-zero power series of order at least 4. Then the hypersurface ring \(R=S/(f)\) has wild Cohen--Macaulay type.

Recommendations

Cites work

Cited in

(7)

This page was built for publication: Wild hypersurfaces

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