In this article we consider exceptional sequences of invertible sheaves on smooth complete rational surfaces. We show that to every such sequence one can associate a smooth complete toric surface in a canonical way. We use this structural result to prove various theorems on exceptional and strongly exceptional sequences of invertible sheaves on rational surfaces. We construct full strongly exceptional sequences for a large class of rational surfaces. For the case of toric surfaces we give a complete classification of full strongly exceptional sequences of invertible sheaves.
In this paper we study the connection between rigid sheaves and separable-exceptional objects on Fano varieties over arbitrary fields. We give criteria for a rigid vector bundle on a Fano variety to be the direct sum of separable-exceptional bundles and for a separable-exceptional vector bundle to be part of a full separable-exceptional collection.
Let $X$ be a smooth projective surface with a full strong exceptional sequence $\mathfrak{E}$. Under certain conditions, we describe the moduli spaces of framed sheaves on a line in $X$ via linear data, i.e. by realizing them as principal bundles over a stack of representations of the bound quiver associated to $\mathfrak{E}$.
We prove the existence of a full exceptional collection for the derived category of equivariant matrix factorizations of an invertible polynomial with its maximal symmetry group. This proves a conjecture of Hirano--Ouchi. In the Gorenstein case, we also prove a stronger version of this conjecture due to Takahashi. Namely, that the full exceptional collection is strong.
Let $X$ be a scheme, proper over a commutative noetherian ring $A$. We introduce the concept of an ample filter of invertible sheaves on $X$ and generalize the most important equivalent criteria for ampleness of an invertible sheaf. We also prove the Theorem of the Base for $X$ and generalize Serre's Vanishing Theorem. We then generalize results for twisted homogeneous coordinate rings which were previously known only when $X$ was projective over an algebraically closed field. Specifically, we show that the concepts of left and right $σ$-ampleness are equivalent and that the associated twisted…
We investigate torsion exceptional sheaves on a weak del Pezzo surface of degree greater than two whose anticanonical model has at most $A_n$-singularities. We show that every torsion exceptional sheaf can be obtained from a line bundle on a $(-1)$-curve by acting spherical twist functors successively.
We show that there exists a cubic threefold defined by an invertible polynomial that, when quotiented by the maximal diagonal symmetry group, has a derived category which does not have a full exceptional collection consisting of line bundles. This provides a counterexample to a conjecture of Lekili and Ueda.
Let $X$ be a Hirzebruch surface, and let $H$ be any ample divisor. In this paper, we algorithmically determine when the moduli space of semistable sheaves $M_{X,H}(r,c_1,c_2)$ is nonempty. Our algorithm relies on certain stacks of prioritary sheaves. We first solve the existence problem for these stacks and then algorithmically determine the Harder-Narasimhan filtration of the general sheaf in the stack. In particular, semistable sheaves exist if and only if the Harder-Narasimhan filtration has length one. We then study sharp Bogomolov inequalities $Δ\geq δ_H(c_1/r)$ for the discriminants of s…
For a noetherian scheme that has an ample family of invertible sheaves, we prove that direct products in the category of quasi-coherent sheaves are not exact unless the scheme is affine. This result can especially be applied to all quasi-projective schemes over commutative noetherian rings. The main tools of the proof are the Gabriel-Popescu embedding and Roos' characterization of Grothendieck categories satisfying Ab6 and Ab4*.
We study the bounded derived categories of torus-equivariant coherent sheaves on smooth toric varieties and Deligne-Mumford stacks. We construct and describe full exceptional collections in these categories. We also observe that these categories depend only on the PL homeomorphism type of the corresponding simplicial complex.
Let $X$ be a del Pezzo surface. When the degree of $X$ is at least 4, we compute the cohomology of a general sheaf in the moduli space of Gieseker semistable sheaves. We also classify the Chern characters for which the general sheaf in the moduli space is non-special, i.e. has at most one nonzero cohomology group. Our results hold for arbitrary polarizations, slope semistability, and semi-exceptional moduli spaces. When the degree of $X$ is at least 3, we further show our construction of certain vector bundles implies the existence of stable and semistable sheaves with respect to the anti-cano…
In this article, we study the cohomology of some analytic sheaves on the complementary in the projective space of a suitable infinite collection of hyperplane like the Drinfel'd symetric space. In particular, the sheaf of invertible functions on these rigid spaces has no cohomology in degree greater or equal to $1$. This proves the vanishing of the Picard goup and the methods used give a convenient description of the global invertible functions.
Structure theorems for exceptional objects and exceptional collections of the bounded derived category of coherent sheaves on del Pezzo surfaces are established by Kuleshov and Orlov. In this paper we propose conjectures which generalize these results to weak del Pezzo surfaces. Unlike del Pezzo surfaces, an exceptional object on a weak del Pezzo surface is not necessarily a shift of a sheaf and is not determined by its class in the Grothendieck group. Our conjectures explain how these complications are taken care of by spherical twists, the categorification of $(-2)$-reflections acting on the…
