The characterization of aCM line bundles on quintic hypersurfaces in \(\mathbb{P}^3\) (Q2058442)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The characterization of aCM line bundles on quintic hypersurfaces in \(\mathbb{P}^3\)
scientific article

    Statements

    The characterization of aCM line bundles on quintic hypersurfaces in \(\mathbb{P}^3\) (English)
    0 references
    0 references
    9 December 2021
    0 references
    Given an smooth projective polarized variety \((X,\mathcal{O}_X(1))\), a vector bundle \(\mathcal{E}\) on \(X\) is called arithmetically Cohen-Macaulay (aCM) if it has no intermediate cohomology: \(H^i(X,\mathcal{E}(t))=0\) for \(t\in \mathbb{Z}\) and \(1\leq i\leq \dim(X)-1\). In the case of \(X\subset\mathbb{P}^n\) being a hypersurface, special interest has been raised in studying the existence and possible ranks of aCM bundles on \(X\). The seminal work on this area is Horrocks' theorem, stating that a vector bundle on \(\mathbb{P}^n\) is aCM if and only if it splits as a direct sum of line bundles. For a quadric smooth hypersurface \(Q\subset\mathbb{P}^n\), the only non-trivial aCM bundles correspond to direct sums of spinor bundles. It is also known that any \(X\subset\mathbb{P}^n\) supports aCM bundles, but the rank could be very large. Therefore it becomes meaningful to characterise aCM bundles with the lowest admissible rank. In this direction, the classification of aCM bundles of low rank on cubic surfaces \(X\subset\mathbb{P}^3\) was done for line bundles by \textit{J. Pons-Llopis} and \textit{F. Tonini} [Matematiche 64, No. 2, 177--211 (2009; Zbl 1207.14046)] and for rank two bundles by \textit{M. Casanellas} and \textit{R. Hartshorne} [J. Eur. Math. Soc. (JEMS) 13, No. 3, 709--731 (2011; Zbl 1245.14044)] and \textit{D. Faenzi} [J. Algebra 319, No. 1, 143--186 (2008; Zbl 1133.14041)]. Moving on to quartic surfaces \(X\subset\mathbb{P}^3\), \textit{E. Coskun} et al. [Doc. Math. 17, 1003--1028 (2012; Zbl 1274.14050)] have proved that any smooth quartic surface \(X\subset\mathbb{P}^3\) supports rank 2 indecomposable aCM bundles of a very particular type (the so-called Ulrich bundles) and \textit{K. Watanabe} [Geom. Dedicata 175, 347--354 (2015; Zbl 1330.14073)] gave a characterisation of initialized aCM line bundles \(\mathcal{O}_X(D)\) in terms of the associated effective divisor \(D\). The paper under review, which can be considered a follow-up of the latter aforementioned article, deals with the next natural case, namely, smooth quintic surfaces \(X\) on \(\mathbb{P}^3\). Also in this case, the author provides a complete characterization, in terms of the degree and arithmetic genus of \(D\), of the aCM line bundles \(\mathcal{O}_X(D)\) supported on \(X\).
    0 references
    0 references
    0 references
    0 references
    0 references
    gonality
    0 references
    curve
    0 references
    quintic hypersurface
    0 references
    aCM line bundles
    0 references
    0 references
    0 references