A G ] 1 S ep 2 02 1 Semiorthogonal decomposition of D b ( Bun L 2 )

Kai Xu,Shing-Tung Yau

2021-01-01

Abstract:We study the derived category of coherent sheaves on various versions of moduli space of vector bundles on curves by the Borel-Weil-Bott theory for loop groups and Θ-stratification, and construct a semiorthogonal decomposition with blocks given by symmetric powers of the curve.

What problem does this paper attempt to address?

A G ] 3 0 A Ug 2 02 1 Semiorthogonal Decomposition of D B ( Bun L 2 )

Kai Xu,S. Yau

2021-01-01

Abstract:We study the derived category of coherent sheaves on various versions of moduli space of vector bundles on curves by the Borel-Weil-Bott theory for loop groups and Θ-stratification, and construct a semiorthogonal decomposition with blocks given by symmetric powers of the curve.
Semiorthogonal decomposition of $\mathrm{D}^b(\mathrm{Bun}_2^L)$

Kai Xu,Shing-Tung Yau

DOI: https://doi.org/10.48550/arxiv.2108.13353

2021-01-01

Abstract: We study the derived category of coherent sheaves on various versions of moduli space of vector bundles on curves by the Borel-Weil-Bott theory for loop groups and $\Theta$-stratification, and construct a semiorthogonal decomposition with blocks given by symmetric powers of the curve.
Semiorthogonal decompositions for generalized Severi-Brauer schemes

Ajneet Dhillon,Sayantan Roy Chowdhury

2024-05-01

Abstract:The purpose of this paper is to use conservative descent to study semi-orthogonal decompositions for some homogeneous varieties over general bases. We produce a semi-orthogonal decomposition for the bounded derived category of coherent sheaves on a generalized Severi-Brauer scheme. This extends known results for Sever-Brauer varieties and Grassmanianns. We use our results to construct semi-orthogonal decompositions for flag varieties over arbitrary bases. This generalises a result of Kapranov.

Algebraic Geometry
Moduli spaces of semiorthogonal decompositions in families

Pieter Belmans,Shinnosuke Okawa,Andrea T. Ricolfi

2024-11-18

Abstract:For a smooth projective family of schemes we prove that a semiorthogonal decomposition of the bounded derived category of coherent sheaves of a fibre uniquely deforms over an étale neighbourhood of the point. We do this using a comparison theorem between semiorthogonal decompositions and decomposition triangles of the structure sheaf of the diagonal. We then apply to the latter a deformation theory for morphisms with a fixed lift of the target, which is developed in the appendix. Using this as a key ingredient we introduce a moduli space which classifies semiorthogonal decompositions of the category of perfect complexes of a smooth projective family. Using Artin's criterion, we show that this is an étale algebraic space over the base scheme of the family, which can be non-quasicompact and non-separated. We generalise this to families of geometric noncommutative schemes in the sense of Orlov. We also define a subfunctor classifying nontrivial semiorthogonal decompositions only, and conjecture it is an open and closed subspace.

Algebraic Geometry,Category Theory,K-Theory and Homology
Half-spherical twists on derived categories of coherent sheaves

Hayato Arai

2024-10-30

Abstract:For a flat morphism $\pi \colon X \to T$ between smooth quasi-projective varieties and its fiber $X_0$, we prove that spherical objects on $D^b(X)$ pushed-forward from $D^b(X_0)$ induce autoequivalences of $D^b(X_0)$ itself. Our construction provides new derived symmetries for some singular varieties, which include singular fibers of elliptic surfaces (commonly referred to as Kodaira fibers) and type $III$ degenerations of K3 surfaces. In the case of Kodaira fibers of type $I_n$, we also show the induced autoequivalences of $D^b(X_0)$ correspond to the half twists on the $n$-punctured $2$-torus via homological mirror symmetry. As an application, we describe the autoequivalence groups of elliptic surfaces in terms of mapping class groups of punctured tori.

Algebraic Geometry
Construction of the Moduli Space of Vector Bundles on an Orbifold Curve

Soumyadip Das,Souradeep Majumder

2024-06-24

Abstract:Let $k$ be an algebraically closed field of any characteristic, and let $(X,P)$ be an orbifold curve over $k$. We construct the moduli space $\mathrm{M}_{(X,P)}^{\mathrm{ss}}(n, \Delta)$ of $P$-semistable bundles on $(X,P)$ of rank $n$ and determinant $\Delta$. In the characteristic zero case, this result is well known and follows from GIT techniques. Our construction follows a different approach inspired by a GIT-free construction of Faltings. We show that when the moduli space is non-empty, it is a finite disjoint union of irreducible projective varieties.

Algebraic Geometry
A Semi-orthogonal Sequence in the Derived Category of the Hilbert Scheme of Three Points

Erik Nikolov

2024-04-19

Abstract:For a smooth projective variety $X$ of dimension $d \geq 5$ over an algebraically closed field $k$ of characteristic zero, it is shown in this paper that the bounded derived category of the Hilbert scheme of three points $X^{[3]}$ admits a semi-orthogonal sequence of length $\binom{d-3}{2}$. Each subcategory in this sequence is equivalent to the derived category of $X$ and realized as the image of a Fourier-Mukai transform along a Grassmannian bundle $\mathbb{G}$ over $X$ parametrizing planar subschemes in $X^{[3]}$. The main ingredient in the proof is the computation of the normal bundle of $\mathbb{G}$ in $X^{[3]}$. An analogous result for generalized Kummer varieties is deduced at the end.

Algebraic Geometry
Partial semiorthogonal decompositions for quiver moduli

Gianni Petrella

2024-11-23

Abstract:We embed several copies of the derived category of a quiver and certain line bundles in the derived category of an associated moduli space of representations, giving the start of a semiorthogonal decomposition. This mirrors the semiorthogonal decompositions of moduli of vector bundles on curves. Our results are obtained with QuiverTools, an open-source package of tools for quiver representations, their moduli spaces and their geometrical properties.

Algebraic Geometry
Producing "new" semi-orthogonal decompositions in arithmetic geometry

Mikhail V. Bondarko

2023-11-25

Abstract:This paper is devoted to constructing "new" admissible subcategories and semi-orthogonal decompositions of triangulated categories out of "old" ones. For two triangulated subcategories $T$ and $T'$ of a certain $D$ and a decomposition $(L,R)$ of $T$ we look either for a decomposition $(L',R')$ of $T'$ such that there are no non-zero $D$-morphisms from $L$ into $L'$ and from $R$ into $R'$, or for a decomposition $(L_D,R_D)$ of $D$ such that $L_D\cap T=L$ and $R_D\cap T=R$. We prove some general existence statements (that also extend to semi-orthogonal decompositions with any number of components) and apply them to various derived categories of coherent sheaves over a scheme $X$ that is proper over a noetherian ring $R$. This gives a one-to-one correspondence between semi-orthogonal decompositions of $D_{perf}(X)$ and $D^b_{coh}(X)$; the latter extend to $D^-_{coh}(X)$, $D^+_{coh}({Qcoh}(X))$, $D_{coh}({Qcoh}(X))$, and $D({Qcoh}(X))$ under very mild conditions. In particular, we obtain a vast generalization of a theorem of J. Karmazyn, A. Kuznetsov, and E. Shinder. These applications rely on recent results of Neeman that express $D^b_{coh}(X)$ and $D^-_{coh}(X)$ in terms of $D_{perf}(X)$ along with its new variations corresponding to $D^+_{coh}({Qcoh}(X))$ and $D_{coh}({Qcoh}(X))$. We also discuss an application of this theorem to the construction of certain adjoint functors.

Algebraic Geometry,K-Theory and Homology
Semi-orthogonal decomposition and smoothing

Yujiro Kawamata

2024-10-20

Abstract:We investigate the behavior of semi-orthogonal decompositions of bounded derived categories of singular varieties under flat deformations to smooth varieties. We consider a Q-Gorenstein smoothing of a surface with a quotient singularity, and prove that a pretilting sheaf, which is constructed from a non-commutative deformation of a divisorial sheaf and generates a semi-orthogonal component of a bounded derived category, deforms to a direct sum of exceptional vector bundles which are mutually totally orthogonal.

Algebraic Geometry
Toroidal analogues of the Grothendieck-Springer map

Samuel DeHority

2023-11-01

Abstract:We study moduli spaces of objects in the derived category of noncommutative ruled surfaces over orbifold curves to find equivariant deformations of moduli spaces of framed sheaves on equivariant elliptic surfaces. These derived categories are a common generalization of the category of modules of the preprojective algebra and of the category of twisted D-modules over a curve. We show that the birational geometry of the Hilbert scheme of points on an equivariant elliptic surface is controlled by an elliptic root system, and conjecture in general and prove in special cases that moduli spaces of objects in these derived categories provides a deformation of birational models for the Hilbert scheme. We also study the applications of this deformation to the geometric representation theory of the central fiber, specifically to produce geometric correspondences giving rise to Lie algebra actions on the equivariant cohomology of the central fiber and give formulas for the action of the Namikawa-Markman Weyl group of monodromy reflections in terms of this Lie algebra.

Algebraic Geometry
Lagrangian Skeleta and Koszul Duality on Bionic Symplectic Varieties

Gwyn Bellamy,Christopher Dodd,Kevin McGerty,Thomas Nevins

2024-07-18

Abstract:We consider the category of modules over sheaves of Deformation-Quantization (DQ) algebras on bionic symplectic varieties. These spaces are equipped with both an elliptic $\mathbb{G}_m$-action and a Hamiltonian $\mathbb{G}_m$-action, with finitely many fixed points. On these spaces one can consider geometric category $\mathcal{O}$: the category of (holonomic) modules supported on the Lagrangian attracting set of the Hamiltonian action. We show that there exists a local generator in geometric category $\mathcal{O}$ whose dg endomorphism ring, cohomologically supported on the Lagrangian attracting set, is derived equivalent to the category of all DQ-modules. This is a version of Koszul duality generalizing the equivalence between D-modules on a smooth variety and dg-modules over the de Rham complex.

Algebraic Geometry,Representation Theory,Symplectic Geometry
Semiorthogonal decomposition via categorical action

You-Hung Hsu

DOI: https://doi.org/10.1016/j.jalgebra.2023.08.041

IF: 0.908

2024-01-01

Journal of Algebra

Abstract:We show that the categorical action of the shifted q = 0 affine algebra can be used to construct semiorthogonal decomposition on the weight categories. In particular, this construction recovers Kapranov's exceptional collection when the weight categories are the derived categories of coherent sheaves on Grassmannians and n-step partial flag varieties. Finally, as an application, we use this result to construct a semiorthogonal decomposition on the derived categories of coherent sheaves on Grassmannians of a coherent sheaf with homological dimension ≤1 over a smooth projective variety X.

mathematics
$\mathscr{D}$-modules on the basic affine space and large $\mathfrak{g}$-modules

Masatoshi Kitagawa

2024-06-11

Abstract:In this paper, we treat $\mathscr{D}$-modules on the basic affine space $G/U$ and their global sections for a semisimple complex algebraic group $G$. Our aim is to prepare basic results about large non-irreducible modules for the branching problem and harmonic analysis of reductive Lie groups. A main tool is a formula given by Bezrukavnikov--Braverman--Positselskii. The formula is about a product of functions and their Fourier transforms on $G/U$ like Capelli's identity. Using the formula, we give a generalization of the Beilinson--Bernstein correspondence. We show that the global sections of holonomic $\mathscr{D}$-modules are also holonomic using the formula. As a consequence, we give a large algebra action on the $\mathfrak{u}$-cohomologies $H^i(\mathfrak{u}; V)$ of a $\mathfrak{g}$-module $V$ when $V$ is realized as a holonomic $\mathscr{D}$-module. We consider affinity of the supports of the $\mathfrak{t}$-modules $H^i(\mathfrak{u}; V)$.

Representation Theory
Semihomogenous vector bundles, $\mathbb Q$-twisted sheaves, duality, and linear systems on abelian varieties

Nelson Alvarado,Giuseppe Pareschi

2024-07-30

Abstract:In this paper we point out the natural relation between $\mathbb Q$-twisted objects of the derived category of abelian varieties, cohomological rank functions, and semihomogeneous vector bundles. We apply this to two basic classes of corresponding objects via the Fourier-Mukai-Poincaré transform: positive twists of the ideal sheaf of one point, and evaluation complexes of ample semihomogeneous vector bundles. This leads to $\mathbb Q^{\ge 0}$- graded section modules associated to line bundles on abelian varieties (containing the usual section rings), built by means of semihomogeneous vector bundles. We prove a duality relation between such section modules associated to dual polarizations. Other applications include formulas relating the thresholds of relevant cohomological rank functions appearing in this context. As a consequence we produce non-trivial obstructions to surjectivity of multiplication maps of global sections of certain line bundles.

Algebraic Geometry
Rank-2 wobbly bundles from special divisors on spectral curves

Duong Dinh

2024-06-07

Abstract:Let $X$ be a compact connected Riemann surface of genus $g \geq 3$ and $S \rightarrow X$ a $2:1$ branched covering defined by a generic quadratic differential on $X$. In the following notes, we explore how taking direct images of line bundles defined by certain distinguished special divisors on $S$ gives rank-2 bundles having nilpotent Higgs fields on $X$. The key ingredient is the notion of Baker-Akhiezer divisors associated to Higgs bundles and choices of subbundles of the underlying rank-2 bundles.

Algebraic Geometry,Differential Geometry
Coherent sheaves, sheared D-modules, and Hochschild cochains

Dario Beraldo,Kevin Lin,Wyatt Reeves

2024-10-22

Abstract:We show that the category of ind-coherent sheaves on a quasi-smooth scheme is naturally tensored over the category of sheared D-modules on its shifted cotangent bundle, commuting with its natural action of categorified Hoschschild cochains. We prove that it defines a Morita equivalence as such. We then extend these results to quasi-smooth Artin stacks. As a consequence of our formalism, we are able to articulate a precise sense in which the space of unramified automorphic functions over a function field localizes over the stack of arithmetic Arthur parameters.

Algebraic Geometry
Derived Category of certain maximal order on $\mathbb{P}^{2}$

Yu Shen

2024-09-30

Abstract:We show that the moduli space of $A$-line bundles with minimal second Chern class is a fine moduli space, where $A$ is a maximal quaternion order on $\mathbb{P}^{2}$ ramified along a smooth quartic. We prove that there is a fully faithful embedding from the derived category of this moduli space into the derived category of $A$-modules. Furthermore, we find a semiorthogonal decomposition for $D^{b}(\mathbb{P}^{2},A)$.

Algebraic Geometry,Rings and Algebras
Obstructions to semiorthogonal decompositions for singular projective varieties II: Representation theory

Martin Kalck,Carlo Klapproth,Nebojsa Pavic

2024-06-18

Abstract:We show that odd-dimensional projective varieties with tilting objects and only ADE-hypersurface singularities are nodal, i.e. they only have $A_1$-singularities. This is a very special case of more general obstructions to the existence of semiorthogonal decompositions for projective Gorenstein varieties. More precisely, for many isolated hypersurface singularities, we show that Kuznetsov-Shinder's categorical absorptions of singularities cannot contain tilting objects. The key idea is to compare singularity categories of projective varieties to singularity categories of finite-dimensional associative Gorenstein algebras. The former often contain special generators, called cluster-tilting objects, which typically have loops and $2$-cycles in their quivers. In contrast, quivers of cluster-tilting objects in the latter categories, can never have loops or $2$-cycles.

Algebraic Geometry,Commutative Algebra,Representation Theory

A G ] 1 S ep 2 02 1 Semiorthogonal decomposition of D b ( Bun L 2 )

A G ] 3 0 A Ug 2 02 1 Semiorthogonal Decomposition of D B ( Bun L 2 )

Semiorthogonal decomposition of $\mathrm{D}^b(\mathrm{Bun}_2^L)$

Semiorthogonal decompositions for generalized Severi-Brauer schemes

Moduli spaces of semiorthogonal decompositions in families

Half-spherical twists on derived categories of coherent sheaves

Construction of the Moduli Space of Vector Bundles on an Orbifold Curve

A Semi-orthogonal Sequence in the Derived Category of the Hilbert Scheme of Three Points

Partial semiorthogonal decompositions for quiver moduli

Producing "new" semi-orthogonal decompositions in arithmetic geometry

Semi-orthogonal decomposition and smoothing

Toroidal analogues of the Grothendieck-Springer map

Lagrangian Skeleta and Koszul Duality on Bionic Symplectic Varieties

Semiorthogonal decomposition via categorical action

$\mathscr{D}$-modules on the basic affine space and large $\mathfrak{g}$-modules

Semihomogenous vector bundles, $\mathbb Q$-twisted sheaves, duality, and linear systems on abelian varieties

Rank-2 wobbly bundles from special divisors on spectral curves

Coherent sheaves, sheared D-modules, and Hochschild cochains

Derived Category of certain maximal order on $\mathbb{P}^{2}$

Obstructions to semiorthogonal decompositions for singular projective varieties II: Representation theory