arXiv subjects
Publications and source records attributed to Shinnosuke Okawa.
We develop the deformation-obstruction calculus for morphisms of complexes with a fixed lift of the codomain, to derived categories of flat nilpotent deformations of abelian categories. As an application, we give an alternative proof that semiorthogonal decompositions deform uniquely in smooth proper families of schemes.
We introduce a class of noncommutative surfaces called Artin--Schelter surfaces of del Pezzo types, which contains del Pezzo surfaces as special cases. We show that the moduli stacks of marked Artin--Schelter surfaces of del Pezzo types are birational to the moduli stacks of tuples consisting of a smooth projective curve of genus 1, two line bundles of degree 3, and a collection of line bundles of degree 1 on the curve.
We introduce a compact moduli scheme of marked noncommutative cubic surfaces as the GIT moduli scheme of relations of a quiver associated with a full strong exceptional collection on a cubic surface. It is a toric variety containing the configuration space of six points on a plane in general position as a locally closed subvariety, and birationally parametrizes a class of AS-regular $\mathbb{Z}$-algebras.
We classify completely reducible equivariant vector bundles on Grassmannians of exceptional Lie groups which give Calabi--Yau 3-folds as complete intersections. In particular, we find a new family of Calabi--Yau 3-folds in an $E_6$-Grassmannian.
Let $\mathbf{k}$ be an algebraically closed field of characteristic $\geq 7$ or zero. Let $\mathcal{A}$ be a tame order of global dimension $2$ over a normal surface $X$ over $\mathbf{k}$ such that $\operatorname{Z}(\mathcal{A})=\mathcal{O}_{X}$ is locally a direct summand of $\mathcal{A}$. We prove that there is a $μ_N$-gerbe $\mathcal{X}$ over a smooth tame algebraic stack whose generic stabilizer is trivial, with coarse space $X$ such that the category of 1-twisted coherent sheaves on $\mathcal{X}$ is equivalent to the category of coherent sheaves of modules on $\mathcal{A}$. Moreover, the stack $\mathcal{X}$ is constructed explicitly through a sequence of root stacks, canonical stacks, and gerbes. This extends results of Reiten and Van den Bergh to finite characteristic and the global situation. As applications, in characteristic $0$ we prove that such orders are geometric noncommutative schemes in the sense of Orlov, and we study relations with Hochschild cohomology and Connes' convolution algebra.
We introduce the notion of stable orbifold projective curves, and show that the moduli stack of stable orbifold projective curves is isomorphic to the moduli stack of weighted pointed stable curves in the sense of Hassett with respect to the weights determined by the automorphism groups of the stacky points.
Boundary points on the moduli space of pointed curves corresponding to collisions of marked points have modular interpretations as degenerate curves. In this paper, we study degenerations of orbifold projective curves corresponding to collisions of stacky points from the point of view of noncommutative algebraic geometry.
We prove a relative version of the fact that semiorthogonal decompositions of the bounded derived category of coherent sheaves are strongly constrained by the base locus of the canonical linear system. As an application we prove that the derived category of minimal surfaces $X$ with $H^1 (X,\mathcal{O}_X) \neq 0$ are semiorthogonally indecomposable.
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 derived category. This paper is devoted to solving the conjectures for the prototypical weak del Pezzo surface $Σ_{ 2 }$, the Hirzebruch surface of degree $2$. Specifically, we prove the following results: Any exceptional object is sent to the shift of the uniquely determined exceptional vector bundle by a product of spherical twists which acts trivially on the Grothendieck group of the derived category. Any exceptional collection on $Σ_{ 2 }$ is part of a full exceptional collection. We moreover prove that the braid group on $4$ strands acts transitively on the set of exceptional collections of length $4$ (up to shifts).
We investigate the structure of geometrically ruled surfaces whose anti-canonical class is big. As an application we show that the Picard group of a normal projective surface whose anti-canonical class is nef and big is a free abelian group of finite rank.
We discuss a construction of AS-regular algebras from acyclic spherical helices, generalizing works of Bondal and Polishchuk [BP93] and Van den Bergh [VdB11].
Using the moduli space of semiorthogonal decompositions in a smooth projective family, introduced by the second, the third and the fourth author, we propose a novel approach to indecomposability questions for derived categories. Modulo a natural conjecture on the structure of the moduli space, we give both general results, and discuss interesting explicit examples of the behaviour of indecomposability in families, by relating it to the behaviour of the canonical base locus in families. These examples are symmetric powers of curves, certain regular surfaces of general type with large canonical base locus, and Hilbert schemes of points on surfaces. Indecomposability for symmetric powers of curves has been settled via other means, the other cases remain open and we expect that our analysis of the base locus will prove instrumental in finding unconditional proofs.
To a smooth and proper morphism $\mathcal{X}\to U$ with quasicompact semiseparated target we associate a sheaf in the \'etale topology, which takes an affine $U$-scheme $V$ to the set of $V$-linear semiorthogonal decompositions (of fixed length) of the category $\operatorname{Perf}\mathcal{X}_V$. We use Artin's criterion to prove that, when $U$ is excellent, this is in fact an algebraic space which is moreover \'etale (though in general non-quasicompact and non-separated) over $U$. We moreover generalise the construction of the sheaf to families of geometric noncommutative schemes in the sense of Orlov. We also define a subfunctor classifying nontrivial semiorthogonal decompositions, and conjecture it is an open and closed subspace. Along the way, we prove that for a smooth and proper family of schemes, a semiorthogonal decomposition of the bounded derived category of coherent sheaves of a fibre uniquely deforms over an \'etale neighbourhood of the point.
In this paper, we discuss the problem of whether the difference $[X]-[Y]$ of the classes of a Fourier--Mukai pair $(X, Y)$ of smooth projective varieties in the Grothendieck ring of varieties is annihilated by some power of the class $\mathbb{L} = [ \mathbb{A}^1 ]$ of the affine line. We give an affirmative answer for Fourier--Mukai pairs of very general K3 surfaces of degree 12. On the other hand, we prove that in each dimension greater than one, there exists an abelian variety such that the difference with its dual is not annihilated by any power of $\mathbb{L}$, thereby giving a negative answer to the problem. We also discuss variations of the problem.
We introduce three non-compact moduli stacks parametrizing noncommutative deformations of Hirzebruch surfaces; the first is the moduli stack of locally free sheaf bimodules of rank 2, which appears in the definition of noncommutative $\mathbb{P}^1$-bundle in the sense of Van den Bergh arXiv:math/0102005, the second is the moduli stack of relations of a quiver in the sense of arXiv:1411.7770, and the third is the moduli stack of quadruples consisting of an elliptic curve and three line bundles on it. The main result of this paper shows that they are naturally birational to each other. We also give an Orlov-type semiorthogonal decomposition for noncommutative $\mathbb{P}^1$-bundles, an explicit classification of locally free sheaf bimodules of rank 2, and a noncommutative generalization of the (special) McKay correspondence as a derived equivalence for the cyclic group $\left\langle \frac{1}{d}(1,1) \right\rangle$.
For any admissible subcategory of the bounded derived category of coherent sheaves on a smooth proper variety, we prove that sections of the canonical bundle impose a strong constraint on the supports of the objects of the subcategory or its semiorthogonal complement. We also show that admissible subcategories are rigid under the actions of topologically trivial autoequivalences. As applications of these results, we prove that the derived category of various minimal varieties in the sense of the minimal model program admit no non-trivial semiorthogonal decompositions, generalizing the result for curves due to the second author to higher dimensions. The case of minimal surfaces is further investigated in detail.
We give an example of a pair of projective symplectic varieties in arbitrarily large dimensions which are D-equivalent, L-equivalent, and birationally inequivalent.
We discuss the minimal model program for b-log varieties, which is a pair of a variety and a b-divisor, as a natural generalization of the minimal model program for ordinary log varieties. We show that the main theorems of the log MMP work in the setting of the b-log MMP. If we assume that the log MMP terminates, then so does the b- log MMP. Furthermore, the b-log MMP includes both the log MMP and the equivariant MMP as special cases. There are various interesting b-log varieties arising from different objects, including the Brauer pairs, or "non-commutative algebraic varieties which are finite over their centres". The case of toric Brauer pairs is discussed in further detail.