Representation type of surfaces in P^3

DOI10.2969/JMSJ/81178117MaRDI QIDQ826463zbMATH OpenOpenAlexFDO

Authors E. Ballico, Sukmoon Huh

Publication date 4 January 2021

Published in Journal of the Mathematical Society of Japan (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1807.08916, https://projecteuclid.org/euclid.jmsj/1580180518

zbMATH Keywords

arithmetically Cohen-Macaulay sheafrepresentation typesurface

Mathematics Subject Classification ID

Cohen-Macaulay modules (13C14) Sheaves in algebraic geometry (14F06) Representation type (finite, tame, wild, etc.) of associative algebras (16G60)

Abstract: The goal of this article is to prove that every surface with a regular point in the three-dimensional projective space of degree at least four, is of wild representation type under the condition that either $X$ is integral or $mathrmPic(X)conglangleO{o}_X(1)angle$; we construct families of arbitrarily large dimension of indecomposable pairwise non-isomorphic aCM vector bundles. On the other hand, we prove that every non-integral aCM scheme of arbitrary dimension at least two, is also very wild in a sense that there exist arbitrarily large dimensional families of pairwise non-isomorphic aCM non-locally free sheaves of rank one.

Review text

A possible way to measure the complexity of a given \(n\)-dimensional polarized variety \((X, \mathcal{O}_X (1))\) is to ask for the families of non-isomorphic indecomposable aCM (arithmetically Cohen-Macaulay) vector bundles that it supports (recall that a vector bundle \(\mathcal{E}\) on \(X\) is aCM if \(H^i(X,\mathcal{E}\otimes\mathcal{O}_X(t))= 0\) for all \(t\in\mathbb{Z}\) and \(i=1,\dots, n-1\)). The first result on this direction was Horrocks' theorem which states that on the projective space the only indecomposable aCM bundle up to twist is the structure sheaf \(\mathcal{O}_{\mathbb{P}^n}\). Inspired by analogous classifications in quiver theory and representation theory, a classification of polarized varieties as \textit{finite, tame and wild} was proposed. ACM varieties of finite type (namely, supporting only a finite number of non-isomorphic indecomposable aCM vector bundles) were completely classified in [\textit{ D. Eisenbud} and \textit{J. Herzog}, Math. Ann. 280, No. 2, 347--352 (1988; Zbl 0616.13011]. If we look at the other extreme of complexity we would find the varieties of wild representation type, namely, varieties for which there exist \(r\)-dimensional families of non-isomorphic indecomposable aCM bundles for arbitrary large \(r\). Recently, the representation type of any reduce aCM polarized variety has been determined [\textit{D. Faenzi} and \textit{J. Pons-Llopis}, ``The Cohen-Macaulay representation type of arithmetically Cohen-Macaulay varieties, Preprint, \url{arXiv:1504.03819}]. In the article under review, the authors prove that every surface \(X\) with a regular point in the three-dimensional projective space of degree at least four is of wild representation type under the condition that either \(X\) is integral or Pic\((X)\) is \(\mathbb{Z}\)-generated by \(\mathcal{O}_X(1)\). Alongside, they also prove the interesting result that every non-integral aCM variety of dimension at least two is also very wild: namely there exist arbitrarily large dimensional families of pairwise non-isomorphic aCM non-locally free sheaves of rank one.

Recommendations

• Representation type of rational ACM surfaces \(X\subseteq\mathbb{P}^4\)
• ACM bundles on cubic surfaces
• EXAMPLES OF SMOOTH SURFACES IN ℙ³ WHICH ARE ULRICH-WILD
• Non-arithmetically Cohen-Macaulay schemes of wild representation type

Cites work

• A surface with discrete and nonfinitely generated automorphism group
• ACM bundles on cubic surfaces
• aCM sheaves on the double plane
• Cohen-Macaulay modules on hypersurface singularities. I
• Cohen-Macaulay modules on hypersurface singularities. II
• Faisceaux algébriques cohérents
• scientific article; zbMATH DE number 4156623 (Why is no real title available?)
• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• scientific article; zbMATH DE number 5028970 (Why is no real title available?)
• Isomorphic quartic \(K3\) surfaces in the view of Cremona and projective transformations
• Monads and moduli of vector bundles
• On the automorphisms of hypersurfaces
• On the derived categories of coherent sheaves on some homogeneous spaces
• On the Krull-Schmidt theorem with application to sheaves
• Quartic K3 surfaces and Cremona transformations
• Rank 2 arithmetically Cohen-Macaulay bundles on a general quintic surface
• Rank 2 arithmetically Cohen-Macaulay bundles on a nonsingular cubic surface
• Rank-two vector bundles on general quartic hypersurfaces in \(\mathbb{P}^4\)
• Tame and wild projective curves and classification of vector bundles.
• The classification of homogeneous Cohen-Macaulay rings of finite representation type
• The representation type of Segre varieties
• Universal families of extensions

Cited in

(10)

• Lectures on the representation type of a projective variety
• Non-arithmetically Cohen-Macaulay schemes of wild representation type
• Pfaffian representations of cubic surfaces
• n-dimensional Fano varieties of wild representation type
• Semi-implicit representations of surfaces in \(\mathbb P^3\), resultants and applications
• Ulrich trichotomy on del Pezzo surfaces
• Representation type of rational ACM surfaces \(X\subseteq\mathbb{P}^4\)
• aCM vector bundles on projective surfaces of nonnegative Kodaira dimension
• On the representation type of a projective variety
• A quick journey on stable sheaves and vector bundles

This page was built for publication: Representation type of surfaces in \(\mathbb{P}^3\)

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