Abstract:Some questions are posted at the end of Chapter 16 of Huybrechts' book 'Lectures on K3 Surfaces', concerning the bounded derived category of a K3 surface $D^b(S)$. Let $E$ be a spherical object in $D^b(S)$. The first question asks if there always exists a non-zero object $F$ satisfying RHom$(E,F)=0$. Further, let $E$ be a spherical bundle. The second question is whether $E$ is always semistable with respect to some polarization on $S$ and if there is a way to `count' spherical bundles with a fixed Mukai vector. In this note, we provide (partial) answers to these two questions. In the appendix, Genki Ouchi shows that any spherical twist associated to an $n$-spherical object on a smooth projective $n$-dimensional variety is not conjugate to a standard autoequivalence.
What problem does this paper attempt to address?
This paper attempts to solve two main problems regarding spherical objects and spherical bundles on K3 surfaces:
1. **Existence of orthogonal objects**:
- Problem description: Given a K3 surface \(S\) and a spherical object \(E\in D^b(S)\), does there exist a non - zero object \(F\) such that \(R\text{Hom}(E,F) = 0\)?
- Answer in the paper: The author provides an affirmative answer, indicating that for all K3 surfaces and some more general cases, such non - trivial objects \(F\) do exist. Specifically, Proposition 1.1 states that for any smooth projective \(n\)-dimensional variety \(X\) and \(n\)-spherical object \(E\in D^b(X)\), there always exists a non - trivial object \(F\) orthogonal to \(E\), that is, \(\text{Hom}(E,F[k])=\text{Hom}(F,E[k]) = 0\) for all \(k\in\mathbb{Z}\).
2. **Stability and counting of spherical bundles**:
- Problem description: Given a smooth projective K3 surface \(S\) and a spherical bundle \(E\), is \(E\) always Gieseker - stable with respect to some polarization? And is there a way to "count" spherical bundles with a fixed Mukai vector?
- Answer in the paper: The author shows by examples that the answer is not always yes. For example, there exist K3 surfaces with Picard number 2 and a spherical bundle \(F\) which is not slope - semi - stable (and thus not Gieseker - semi - stable) with respect to any polarization. On the other hand, for some specific Mukai vectors, there are indeed infinitely many examples of stable spherical bundles. Moreover, the author also studies spherical bundles on elliptic K3 surfaces and gives counting formulas for these spherical bundles.
In summary, through specific constructions and examples, this paper partially answers the questions raised by Huybrechts in [Huy16] and further explores the properties and stability conditions of spherical objects and spherical bundles on K3 surfaces.