-
Reconstruction of a surface from the category of reflexive sheaves
Authors:
Agnieszka Bodzenta,
Alexey Bondal
Abstract:
We define a normal surface $X$ to be codim-2-saturated if any open embedding of $X$ into a normal surface with the complement of codimension 2 is an isomorphism. We show that any normal surface $X$ allows a codim-2-saturated model $\widehat{X}$ together with the canonical open embedding $X\to \widehat{X}$.
Any normal surface which is proper over its affinisation is codim-2-saturated, but the con…
▽ More
We define a normal surface $X$ to be codim-2-saturated if any open embedding of $X$ into a normal surface with the complement of codimension 2 is an isomorphism. We show that any normal surface $X$ allows a codim-2-saturated model $\widehat{X}$ together with the canonical open embedding $X\to \widehat{X}$.
Any normal surface which is proper over its affinisation is codim-2-saturated, but the converse does not hold. We give a criterion for a surface to be codim-2-saturated in terms of its Nagata compactification and the boundary divisor.
We reconstruct the codim-2-saturated model of a normal surface $X$ from the additive category of reflexive sheaves on $X$. We show that the category of reflexive sheaves on $X$ is quasi-abelian and we use its canonical exact structure for the reconstruction.
In order to deal with categorical issues, we introduce a class of weakly localising Serre subcategories in abelian categories. These are Serre subcategories whose categories of closed objects are quasi-abelian. This general technique might be of independent interest.
△ Less
Submitted 1 September, 2023; v1 submitted 9 February, 2023;
originally announced February 2023.
-
Coherent Sheaves, Chern Classes, and Superconnections on Compact Complex-Analytic Manifolds
Authors:
Alexey Bondal,
Alexei Rosly
Abstract:
We construct a twist-closed enhancement of the category ${\mathcal D}^b_{\rm coh}(X)$, the bounded derived category of complexes of ${\mathcal O}_X$-modules with coherent cohomology, by means of the DG-category of $\bar\partial$-superconnections. Then we apply the techniques of $\bar\partial$-superconnections to define Chern classes and Bott-Chern classes of objects in the category, in particular,…
▽ More
We construct a twist-closed enhancement of the category ${\mathcal D}^b_{\rm coh}(X)$, the bounded derived category of complexes of ${\mathcal O}_X$-modules with coherent cohomology, by means of the DG-category of $\bar\partial$-superconnections. Then we apply the techniques of $\bar\partial$-superconnections to define Chern classes and Bott-Chern classes of objects in the category, in particular, of coherent sheaves.
△ Less
Submitted 20 November, 2022;
originally announced November 2022.
-
Abelian envelopes of exact categories and highest weight categories
Authors:
Agnieszka Bodzenta,
Alexey Bondal
Abstract:
We define admissible and weakly admissible subcategories in exact categories and prove that the former induce semi-orthogonal decompositions on the derived categories. We develop the theory of thin exact categories, an exact-category analogue of triangulated categories generated by exceptional collections.
The right and left abelian envelopes of exact categories are introduced, an example being…
▽ More
We define admissible and weakly admissible subcategories in exact categories and prove that the former induce semi-orthogonal decompositions on the derived categories. We develop the theory of thin exact categories, an exact-category analogue of triangulated categories generated by exceptional collections.
The right and left abelian envelopes of exact categories are introduced, an example being the category of coherent sheaves on a scheme as the right envelope of the category of vector bundles. The existence of right (left) abelian envelopes is proved for exact categories with projectively (injectively) generating subcategories with weak (co)kernels.
We show that highest weight categories are precisely the right/left envelopes of thin categories. Ringel duality is interpreted as a duality between the right and left abelian envelopes of a thin exact category. The duality for thin exact categories is introduced by means of derived categories and Serre functor on them.
△ Less
Submitted 24 June, 2024; v1 submitted 31 December, 2020;
originally announced December 2020.
-
Theory of homotopes in application to mutually unbiased bases, harmonic analysis on graphs and perverse sheaves
Authors:
Alexey Bondal,
Ilya Zhdanovskiy
Abstract:
The paper is the survey of the modern results and applications of the theory of homotopes. The notion of a well-tempered element in an associative algebra is introduced and it is proven that the category of representations of the homotope constructed by a well-tempered element is the heart of a suitably glued t-structure. Hochschild and global dimensions of the homotopes are calculated. The homoto…
▽ More
The paper is the survey of the modern results and applications of the theory of homotopes. The notion of a well-tempered element in an associative algebra is introduced and it is proven that the category of representations of the homotope constructed by a well-tempered element is the heart of a suitably glued t-structure. Hochschild and global dimensions of the homotopes are calculated. The homotopes constructed by generalized Lapalce operators in Poincare groupoids of graphs are studied. It is shown that they are quotients of Temperley-Lieb algebras of general graphs. The perverse sheaves on a punctured disc and on a 2 dimensional sphere with a double point are identified with representations of suitable homotopes. Relations of the theory to orthogonal decompositions of sl(n, C) into the sum of Cartan subalgebras, to classifications of configurations of lines, to mutually unbiased bases, to quantum protocols, to generalized Hadamard matrices are discussed.
△ Less
Submitted 3 May, 2021; v1 submitted 30 December, 2020;
originally announced December 2020.
-
Categorifying non-commutative deformations
Authors:
Agnieszka Bodzenta,
Alexey Bondal
Abstract:
We define the functor $\textrm{ncDef}_{(Z_1,\ldots,Z_n)}$ of non-commutative deformations of an $n$-tuple of objects in an arbitrary $k$-linear abelian category $\mathcal{Z}$. In our categorified approach, we view the underlying spaces of infinitesimal flat deformations as Deligne finite categories, i.e. finite length abelian categories admitting projective generators, with $n$ isomorphism classes…
▽ More
We define the functor $\textrm{ncDef}_{(Z_1,\ldots,Z_n)}$ of non-commutative deformations of an $n$-tuple of objects in an arbitrary $k$-linear abelian category $\mathcal{Z}$. In our categorified approach, we view the underlying spaces of infinitesimal flat deformations as Deligne finite categories, i.e. finite length abelian categories admitting projective generators, with $n$ isomorphism classes of simple objects.
More generally, we define the functor $\textrm{ncDef}_ζ$ of non-commutative deformations of an exact functor $ζ\colon \mathcal{A} \to \mathcal{Z}$ of abelian categories. Here the role of an infinitesimal non-commutative thickening of $\mathcal{A}$ is played by an abelian category $\mathcal{B}$ containing $\mathcal{A}$ and such that $\mathcal{A}$ generates $\mathcal{B}$ by extensions. The functor $\textrm{ncDef}_ζ$ assigns to such $\mathcal{B}$ the set of equivalence classes of exact functors $\mathcal{B} \to \mathcal{Z}$ which extend $ζ$. We prove that an exact functor on an infinitesimal extension is fully faithful if and only if it is fully faithful on the first infinitesimal neighbourhood.
We show that if $ζ$ is fully faithful, then the functor $\textrm{ncDef}_ζ$ is ind-represented by the extension closure of the essential image of $ζ$.
We prove that for a flopping contraction $f\colon X\to Y$ with the fiber over a closed point $C = \bigcup_{i=1}^n C_i$, where $C_i$'s are irreducible curves, $\{\mathcal{O}_{C_i}(-1)\}$ is the set of simple objects in the null-category for $f$. We conclude that the null-category ind-represents the functor $\textrm{ncDef}_{(\mathcal{O}_{C_1}(-1),\ldots,\mathcal{O}_{C_n}(-1))}$.
△ Less
Submitted 16 May, 2025; v1 submitted 6 April, 2020;
originally announced April 2020.
-
Perverse schobers and birational geometry
Authors:
Alexey Bondal,
Mikhail Kapranov,
Vadim Schechtman
Abstract:
Perverse schobers are conjectural categorical analogs of perverse sheaves. We show that such structures appear naturally in Homological Minimal Model Program which studies the effect of birational transformations such as flops, on the coherent derived categories. More precisely, the flop data are analogous to hyperbolic stalks of a perverse sheaf.
In the first part of the paper we study schober-…
▽ More
Perverse schobers are conjectural categorical analogs of perverse sheaves. We show that such structures appear naturally in Homological Minimal Model Program which studies the effect of birational transformations such as flops, on the coherent derived categories. More precisely, the flop data are analogous to hyperbolic stalks of a perverse sheaf.
In the first part of the paper we study schober-type diagrams of categories corresponding to flops of relative dimension 1, in particular we determine the categorical analogs of the (compactly supported) cohomology with coefficients in such schobers.
In the second part we consider the example of a "web of flops" provided by the Grothendieck resolution associated to a reductive Lie algebra g and study the corresponding schober-type diagram. For g=sl(3) we relate this diagram to the classical space of complete triangles studied by Schubert, Semple and others.
△ Less
Submitted 25 January, 2018;
originally announced January 2018.
-
Canonical tilting relative generators
Authors:
Agnieszka Bodzenta,
Alexey Bondal
Abstract:
Given a relatively projective birational morphism $f\colon X\to Y$ of smooth algebraic spaces with dimension of fibers bounded by 1, we construct tilting relative (over $Y$) generators $T_{X,f}$ and $S_{X,f}$ in $\mathcal{D}^b(X)$. We develop a piece of general theory of strict admissible lattice filtrations in triangulated categories and show that $\mathcal{D}^b(X)$ has such a filtration…
▽ More
Given a relatively projective birational morphism $f\colon X\to Y$ of smooth algebraic spaces with dimension of fibers bounded by 1, we construct tilting relative (over $Y$) generators $T_{X,f}$ and $S_{X,f}$ in $\mathcal{D}^b(X)$. We develop a piece of general theory of strict admissible lattice filtrations in triangulated categories and show that $\mathcal{D}^b(X)$ has such a filtration $\mathcal{L}$ where the lattice is the set of all birational decompositions $f \colon X \xrightarrow{g} Z \xrightarrow{h} Y$ with smooth $Z$. The $t$-structures related to $T_{X,f}$ and $S_{X,f}$ are proved to be glued via filtrations left and right dual to $\mathcal{L}$. We realise all such $Z$ as the fine moduli spaces of simple quotients of $\mathcal{O}_X$ in the heart of the $t$-structure for which $S_{X,g}$ is a relative projective generator over $Y$. This implements the program of interpreting relevant smooth contractions of $X$ in terms of a suitable system of $t$-structures on $\mathcal{D}^b(X)$.
△ Less
Submitted 18 September, 2017; v1 submitted 30 January, 2017;
originally announced January 2017.
-
Flops and spherical functors
Authors:
Agnieszka Bodzenta,
Alexey Bondal
Abstract:
We study derived categories of Gorenstein varieties X and X^+ connected by a flop. We assume that the flopping contractions f: X \to Y, f^+: X^+ \to Y have fibers of dimension bounded by 1 and Y has canonical hypersurface singularities of multiplicity 2. We consider the fiber product W=X \times_Y X^+ with projections p: W \to X, q: W \to X^+ and prove that the flop functors F = Rq_* Lp^*: D^b(X) \…
▽ More
We study derived categories of Gorenstein varieties X and X^+ connected by a flop. We assume that the flopping contractions f: X \to Y, f^+: X^+ \to Y have fibers of dimension bounded by 1 and Y has canonical hypersurface singularities of multiplicity 2. We consider the fiber product W=X \times_Y X^+ with projections p: W \to X, q: W \to X^+ and prove that the flop functors F = Rq_* Lp^*: D^b(X) \to D^b(X^+), F^+= Rp_*Lq^*: D^b(X^+) \to D^b(X) are equivalences, inverse to those constructed by M. Van den Bergh.
The composite F^+ \circ F: D^b(X) \to D^b(X) is a non-trivial auto-equivalence. When variety Y is affine, we present F^+\circ F as the spherical cotwist associated to a spherical functor Ψ. The functor Ψis constructed by deriving the inclusion of the null-category A_f of sheaves F in \Coh (X) with Rf_*(F)=0 into Coh (X).
We construct a spherical pair (D^b(X),D^b(X^+)) in the quotient D^b(W)/K^b, where K^b is the common kernel of the derived push-forwards for the projections to X and X^+, thus implementing in geometric terms a schober for the flop.
A technical innovation of the paper is the L^1f^*f_* vanishing for the Van den Bergh's projective generator. We construct a projective generator in the null-category and prove that its endomorphism algebra is the contraction algebra.
△ Less
Submitted 8 July, 2019; v1 submitted 2 November, 2015;
originally announced November 2015.
-
Orthogonal pairs and mutually unbiased bases
Authors:
Alexey Bondal,
Ilya Zhdanovskiy
Abstract:
The paper is devoted to representation theoretic and algebraic geometric aspects of the theory of orthogonal decompositions of Lie algebra sl(n) into Cartan subalgebras orthogonal with respect to Killing form and the relevant theory of mutually unbiased bases. We describe the main steps of our proof for the existence of 4-dimensional family of orthogonal pairs of Cartan subalgebras in sl(6). As an…
▽ More
The paper is devoted to representation theoretic and algebraic geometric aspects of the theory of orthogonal decompositions of Lie algebra sl(n) into Cartan subalgebras orthogonal with respect to Killing form and the relevant theory of mutually unbiased bases. We describe the main steps of our proof for the existence of 4-dimensional family of orthogonal pairs of Cartan subalgebras in sl(6). As an application, we prove existence of a real 4-dimensional family of pairs of mutually unbiased bases in C^6, thus solving the long standing problem in Quantum Information Theory.
△ Less
Submitted 18 October, 2015;
originally announced October 2015.
-
Symplectic geometry of unbiasedness and critical points of a potential
Authors:
Alexey Bondal,
Ilya Zhdanovskiy
Abstract:
The goal of these notes is to show that the classification problem of algebraically unbiased system of projectors has an interpretation in symplectic geometry. This leads us to a description of the moduli space of algebraically unbiased bases as critical points of a potential functions, which is a Laurent polynomial in suitable coordinates. The Newton polytope of the Laurent polynomial is the clas…
▽ More
The goal of these notes is to show that the classification problem of algebraically unbiased system of projectors has an interpretation in symplectic geometry. This leads us to a description of the moduli space of algebraically unbiased bases as critical points of a potential functions, which is a Laurent polynomial in suitable coordinates. The Newton polytope of the Laurent polynomial is the classical Birkhoff polytope, the set of double stochastic matrices. Mirror symmetry interprets the polynomial as a Landau-Ginzburg potential for corresponding Fano variety and relates the symplectic geometry of the variety with systems of unbiased projectors.
△ Less
Submitted 30 June, 2015;
originally announced July 2015.
-
Coherence of relatively quasi-free algebras
Authors:
Alexey Bondal,
Ilya Zhdanovskiy
Abstract:
We prove coherence of relatively quasi-free algebras over noetherian rings. Chase criterion for coherence is used.
We prove coherence of relatively quasi-free algebras over noetherian rings. Chase criterion for coherence is used.
△ Less
Submitted 11 January, 2015;
originally announced January 2015.
-
Operations on t-structures and perverse coherent sheaves
Authors:
Alexey Bondal
Abstract:
The notions of consistent pairs and consistent chains of t-structures are introduced. A theorem that two consistent chains of t-structures generate a distributive lattice is proven. The technique developed is then applied to the pairs of chains obtained from the standard t-structure on the derived category of coherent sheaves and the dual t-structure by means of the shift functor. This yields a fa…
▽ More
The notions of consistent pairs and consistent chains of t-structures are introduced. A theorem that two consistent chains of t-structures generate a distributive lattice is proven. The technique developed is then applied to the pairs of chains obtained from the standard t-structure on the derived category of coherent sheaves and the dual t-structure by means of the shift functor. This yields a family of t-structures whose hearts are known as perverse coherent sheaves.
△ Less
Submitted 12 August, 2013;
originally announced August 2013.
-
Grothendieck ring of pretriangulated categories
Authors:
A. I. Bondal,
M. Larsen,
V. A. Lunts
Abstract:
We consider the abelian group $PT$ generated by quasi-equivalence classes of pretriangulated DG categories with relations coming from semi-orthogonal decompositions of corresponding triangulated categories. We introduce an operation of "multiplication" $\bullet$ on the collection of DG categories which makes this abelian group into a commutative ring. A few applications are considered: represent…
▽ More
We consider the abelian group $PT$ generated by quasi-equivalence classes of pretriangulated DG categories with relations coming from semi-orthogonal decompositions of corresponding triangulated categories. We introduce an operation of "multiplication" $\bullet$ on the collection of DG categories which makes this abelian group into a commutative ring. A few applications are considered: representability of "standard" functors between derived categories of coherent sheaves on smooth projective varieties and a construction of an interesting motivic measure.
△ Less
Submitted 2 January, 2004;
originally announced January 2004.
-
Derived categories of coherent sheaves
Authors:
Alexei Bondal,
Dmitri Orlov
Abstract:
We show how derived categories build bridges across the current mathematical mainstream, linking geometric and algebraic, commutative and noncommutative, local and global banks. Arches in these bridges are pieces of semiorthogonal decompositions of triangulated categories. To appear in the Proceedings of the ICM 2002 in Beijing.
We show how derived categories build bridges across the current mathematical mainstream, linking geometric and algebraic, commutative and noncommutative, local and global banks. Arches in these bridges are pieces of semiorthogonal decompositions of triangulated categories. To appear in the Proceedings of the ICM 2002 in Beijing.
△ Less
Submitted 27 June, 2002;
originally announced June 2002.
-
Generators and representability of functors in commutative and noncommutative geometry
Authors:
Alexei Bondal,
Michel Van den Bergh
Abstract:
We give a sufficient condition for an Ext-finite triangulated category to be saturated. Saturatedness means that every contravariant cohomological functor of finite type to vector spaces is representable. The condition consists in existence of a strong generator. We prove that the bounded derived categories of coherent sheaves on smooth proper commutative and noncommutative varieties have strong…
▽ More
We give a sufficient condition for an Ext-finite triangulated category to be saturated. Saturatedness means that every contravariant cohomological functor of finite type to vector spaces is representable. The condition consists in existence of a strong generator. We prove that the bounded derived categories of coherent sheaves on smooth proper commutative and noncommutative varieties have strong generators, hence saturated. In contrast the similar category for a smooth compact analytic surface with no curves is not saturated.
△ Less
Submitted 17 July, 2002; v1 submitted 17 April, 2002;
originally announced April 2002.
-
Reconstruction of a variety from the derived category and groups of autoequivalences
Authors:
A. Bondal,
D. Orlov
Abstract:
We consider smooth algebraic varieties with ample either canonical or anticanonical sheaf. We prove that such a variety is uniquely determined by its derived category of coherent sheaves. We also calculate the group of exact autoequivalences for these categories. The technics of ample sequences in abelian categories is used.
We consider smooth algebraic varieties with ample either canonical or anticanonical sheaf. We prove that such a variety is uniquely determined by its derived category of coherent sheaves. We also calculate the group of exact autoequivalences for these categories. The technics of ample sequences in abelian categories is used.
△ Less
Submitted 24 December, 1997;
originally announced December 1997.
-
Semiorthogonal decomposition for algebraic varieties
Authors:
A. Bondal,
D. Orlov
Abstract:
A criterion for a functor between derived categories of coherent sheaves to be full and faithful is given. A semiorthogonal decomposition for the derived category of coherent sheaves on the intersection of two even dimensional quadrics is obtained. The behaviour of derived categories with respect to birational transformations is investigated. A theorem about reconstruction of a variety from the…
▽ More
A criterion for a functor between derived categories of coherent sheaves to be full and faithful is given. A semiorthogonal decomposition for the derived category of coherent sheaves on the intersection of two even dimensional quadrics is obtained. The behaviour of derived categories with respect to birational transformations is investigated. A theorem about reconstruction of a variety from the derived category of coherent sheaves is proved.
△ Less
Submitted 19 June, 1995;
originally announced June 1995.
