aCM bundles on a general \(K3\) surface of degree 2
type: Item
instance of: scholarly article
title: aCM bundles on a general \(K3\) surface of degree 2
author: Kōta Yoshioka
published in: Journal of Algebra
publication date: 2024-09-03T00:00:00Z
review text: The paper studies aCM bundles on a general \(K3\) surface. An aCM (arithmetically Cohen-Macaulay) bundle on a smooth projective manifold \(X\) is a vector bundle \(E\) such that \(H^i(X,E(m))=0\) for all \(0<i<\dim X\) and \(m\in\mathbb{Z}\). The paper focuses on the case when \(X\) is a smooth \(K3\) surface with \(\text{Pic}(X)\cong\mathbb{Z}H\) such that \(H\) is an ample divisor and \(H^2=2\). Then \(E\) is aCM iff \(h^1(E(mH))=h^1(E^{\vee}(mH))=0\) for all \(m\in\mathbb{Z}_{\geq 0}\).\N\NBy the previous results of the author and his collaborators, for a stable bundle \(E\) with Mukai vector \(v:=(r,dH,a)\) and any positive integer \(p\), if \(H^1(X,E)=0\) and \(\frac{d}{r}>\frac{p}{2p^2+1}\), then \(H^1(X,E(pH))=0\). Therefore under some suitable assumption on \(r,d\) and \(a\), the key step is to prove \(H^1(X,E)=0\).\N\NThe main strategy to show \(H^1(E)=0\) is to use the Fourier-Mukai transform. Let \(E_0\) be a stable vector bundle of Mukai vector \(v_0:=(2,H,1)\). Then it is known that \(H^1(E_0)=0\). Let \(\mathcal{E}=\text{Ker}(E_0^{\vee}\boxtimes E_0\rightarrow \mathcal{O}_{\triangle})\in\text{Coh}(X\times X)\). Let \(\Phi:=\Phi_{X\rightarrow X}^{\mathcal{E}}\) be the Fourier-Mukai transform with kernel \(\mathcal{E}\). Let \(v':=\Phi(v)\). Under suitable assumption on \(r,d\) and \(a\), for a general stable bundle \(E\) of class \(v\), \(F:=\Phi(E)\) is a stable bundle of class \(v'\) and \(F\) is of rank \(\leq 3\). We have the following exact sequence\N\[\N0\rightarrow E_0^{\oplus \langle v,v_0\rangle}\rightarrow E\rightarrow F\rightarrow 0,\N\]\Ninduced by the exact triangle\N\[\N\mathcal{O}_{\triangle}[-2]\rightarrow E_0\boxtimes E_0^{\vee}\rightarrow \mathcal{E}^{\vee}\rightarrow \mathcal{O}_{\triangle}[-1].\N\]\NSince the rank of \(F\) is small and it has been shown before by the author and his collaborators that \(H^1(F)=0\), we get that \(H^1(E)=0\).\N\NThe main result of the paper states that for \(r\geq 2,0\leq d\leq r\), there is a stable aC…
reviewed by: Yao Yuan
Mathematics Subject Classification ID: 14D20
zbMATH DE Number: 7905972
zbMATH Keywords: \(K3\) surfaces
zbMATH Keywords: ACM bundles
MaRDI profile type: MaRDI publication profile
cites work: Minimal resolutions, Chow forms and Ulrich bundles on \(K3\) surfaces
cites work: aCM vector bundles on projective surfaces of nonnegative Kodaira dimension
cites work: Wall-crossing implies Brill-Noether: Applications of stability conditions on surfaces
cites work: MMP for moduli of sheaves on \(K3\)s via wall-crossing: nef and movable cones, Lagrangian fibrations
cites work: Stability conditions on triangulated categories
cites work: Stability conditions on \(K3\) surfaces
cites work: Q3622185
cites work: ACM bundles on cubic surfaces
cites work: Examples of rank two aCM bundles on smooth quartic surfaces in \({\mathbb {P}^{3}}\)
cites work: ACM line bundles on elliptic ruled surfaces
cites work: The cohomology of the general stable sheaf on a \(K3\) surface
cites work: Rank 2 arithmetically Cohen-Macaulay bundles on a nonsingular cubic surface
cites work: Ulrich bundles on \(K3\) surfaces
cites work: Vector Bundles on the Punctured Spectrum of a Local Ring
cites work: Birational maps of moduli spaces of vector bundles on \(K3\) surfaces
cites work: Computing the walls associated to Bridgeland stability conditions on projective surfaces
cites work: Brill-Noether duality for moduli spaces of sheaves on \(K3\) surfaces
cites work: The wall-crossing behavior for Bridgeland's stability conditions on abelian and \(K3\) surfaces
cites work: Symplectic structure of the moduli space of sheaves on an abelian or K 3 surface
cites work: ACM line bundles on polarized \(K3\) surfaces
cites work: Bridgeland's stabilities on abelian surfaces
cites work: Some examples of Mukai's reflections on K3 surfaces
cites work: Q4443551
cites work: Fourier-Mukai duality for \(K3\) surfaces via Bridgeland stability condition
cites work: aCM bundles on a general abelian surface
DOI: 10.1016/J.JALGEBRA.2024.06.004
description: scientific article; zbMATH DE number 7905972