We consider autoequivalences of the bounded derived category of coherent sheaves on a K3 surface. We prove that the image of the autoequivalences has index at most two in the group of the Hodge isometries of the Mukai lattice. Motivated by homological mirror symmetry we also consider the mirror counterpart, i.e. symplectic version of it. In the case of $ρ(X)=1$, we find an explicit formula which reproduces the number of Fourier-Mukai (FM) partners from the monodromy problem of the mirror K3 family. We present an explicit example in which a monodromy action does not come from an autoequivalence of the mirror side.
Let X be a smooth complex projective variety. The group of autoequivalences of the derived category of X acts naturally on its singular cohomology H(X, Q) and we denote by Geq(X) the Zariski closure of its image in Gl(H(X, Q)). We study the relation of the Lie algebra LieGeq(X) and the Neron-Severi Lie algebra gNS(X) in case X has trivial canonical line bundle. At the same time for mirror symmetric families of (weakly) Calabi-Yau varieties we consider a conjecture of Kontsevich on the relation between the monodromy of one family and the group Geq(X) for a very general member X of the other fam…
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.
To an exact endofunctor of a triangulated category with a split-generator, the notion of entropy is given by Dimitrov-Haiden-Katzarkov-Kontsevich, which is a (possibly negative infinite) real-valued function of a real variable. It is important to evaluate the value of the entropy at zero in relation to the topological entropy. In this paper, we study the entropy at zero of an exact autoequivalence of the derived category of a complex smooth projective curve, and prove that it coincides with the natural logarithm of the spectral radius of the induced automorphism on its numerical Grothendieck g…
We study autoequivalences of the derived category of coherent sheaves of a variety arising from a variation of GIT quotient. We show that these automorphisms are spherical twists, and describe how they result from mutations of semiorthogonal decompositions. Beyond the GIT setting, we show that all spherical twist autoequivalences of a dg-category can be obtained from mutation in this manner. Motivated by a prediction from mirror symmetry, we refine the recent notion of "grade restriction rules" in equivariant derived categories. We produce additional derived autoequivalences of a GIT quotient …
We construct new examples of derived autoequivalences for a family of higher-dimensional Calabi-Yau varieties. Specifically, we take the total spaces of certain natural vector bundles over Grassmannians G(r,d) of r-planes in a d-dimensional vector space, and define endofunctors of the bounded derived categories of coherent sheaves associated to these varieties. In the case r=2 we show that these are autoequivalences using the theory of spherical functors. Our autoequivalences naturally generalize the Seidel-Thomas spherical twist for analogous bundles over projective spaces.
We show that for every smooth projective surface X and every $n\ge 2$ the push-forward along the diagonal embedding gives a $P^{n-1}$-functor into the $S_n$-equivariant derived category of X^n. Using the Bridgeland--King--Reid--Haiman equivalence this yields a new autoequivalence of the derived category of the Hilbert scheme of n points on X. In the case that the canonical bundle of X is trivial and n=2 this autoequivalence coincides with the known EZ-spherical twist induced by the boundary of the Hilbert scheme. We also generalise the 16 spherical objects on the Kummer surface given by the ex…
We describe the group of exact autoequivalences of the bounded derived category of coherent sheaves on a bielliptic surface. We achieve this by studying its action on the numerical Grothendieck group of the surface.
We show that the autoequivalence group of the derived category of any smooth projective toric surface is generated by the standard equivalences and spherical twists obtained from -2-curves. In many cases we give all relations between these generators. We also prove a close link between spherical objects and certain pairs of exceptional objects.
Let $X$ be a smooth projective variety and $\Aut (D(X))$ the group of autoequivalences of the derived category of $X$. In this paper we show that $X$ has no Fourier-Mukai partner other than $X$ when $\Aut (D(X))$ is generated by shifts, automorphisms and tensor products of line bundles.
We describe new autoequivalences of derived categories of coherent sheaves arising from what we call $\mathbb P^n$-objects of the category. Standard examples arise from holomorphic symplectic manifolds. Under mirror symmetry these autoequivalences should be mirror to Seidel's Dehn twists about lagrangian $\mathbb P^n$ submanifolds. We give various connections to spherical objects and spherical twists, and include a simple description of Atiyah and Kodaira-Spencer classes in an appendix.
We prove a general theorem that gives a non trivial relation in the group of derived autoequivalences of a variety (or stack) X, under the assumption that there exists a suitable functor from the derived category of another variety Y admitting a full exceptional sequence. Applications include the case in which X is Calabi-Yau and either X is a hypersurface in Y (this extends a previous result by the author and R.L. Karp, where Y was a weighted projective space) or Y is a hypersurface in X. The proof uses a resolution of the diagonal of Y constructed from the exceptional sequence.
Flops are birational transformations which, conjecturally, induce derived equivalences. In many cases an equivalence can be produced as pull-push via a resolution of the birational transformation; when this happens, we have a non-trivial autoequivalence of either sides of the flop known as the \emph{flop-flop autoequivalence}. We prove that such autoequivalence can be realised as the inverse of a spherical twist around a conservative, spherical functor in a natural way. More precisely, we prove that a natural, conservative spherical functor exists in a more general framework and that the flop-…
We introduce invariants, called shifting numbers, that measure the asymptotic amount by which an autoequivalence of a triangulated category translates inside the category. The invariants are analogous to Poincare translation numbers that are widely used in dynamical systems. We additionally establish that in some examples the shifting numbers provide a quasimorphism on the group of autoequivalences. Additionally, we relate our shifting numbers to the entropy function introduced by Dimitrov, Haiden, Katzarkov, and Kontsevich.
We use semi-orthogonal decompositions to construct autoequivalences of Hilbert schemes of points on Enriques surfaces and of Calabi-Yau varieties which cover them. While doing this, we show that the derived category of a surface whose irregularity and geometric genus vanish embeds into the derived category of its Hilbert scheme of points.
In arXiv:2007.14415 we proved that the "flop-flop" autoequivalence can be realized as the spherical twist around a spherical functor whose source category arises naturally from the geometry. In this companion paper we study in detail some examples so to explicitly describe what the source category looks like. In some cases we are able to prove that the source category respects the known decomposition of the flop-flop autoequivalence, and therefore we tie up our geometric description with formal results which appear in the literature about gluing and splitting of spherical twists around spheric…
We give a complete description of the group of exact autoequivalences of the bounded derived category of coherent sheaves on a K3 surface of Picard rank 1. We do this by proving that a distinguished connected component of the space of stability conditions is preserved by all autoequivalences, and is contractible.
We discuss some mathematical conjectures which have come out of the Dirichlet branes in superstring theory, focusing on the case of supersymmetric branes in Calabi-Yau compactification. This has led to the formulation of a notion of stability for objects in a derived category, contact with Kontsevich's homological mirror symmetry conjecture, and "physics proofs" for many of the subsequent conjectures based on it, such as the representation of Calabi-Yau monodromy by autoequivalences of the derived category.
E. Segal proved that any autoequivalence of an enhanced triangulated category can be realised as a spherical twist. However, when exhibiting an autoequivalence as a spherical twist one has various choices for the source category of the spherical functor. We describe a construction that realises the composition of two spherical twists as the twist around a single spherical functor whose source category semiorthogonally decomposes into the source categories for the spherical functors we started with. We give a description of the cotwist for this spherical functor and prove, in the special case w…
Mirror symmetry for a toric variety involves Laurent polynomials whose symplectic topology is related to the algebraic geometry of the toric variety. We show that there is a monodromy action on the monomially admissible Fukaya-Seidel categories of these Laurent polynomials as the arguments of their coefficients vary that corresponds under homological mirror symmetry to tensoring by a line bundle naturally associated to the monomials whose coefficients are rotated. In the process, we introduce the monomially admissible Fukaya-Seidel category as a new interpretation of the Fukaya-Seidel category…
Smooth cubic fourfolds are linked to K3 surfaces via their Hodge structures, due to work of Hassett, and via Kuznetsov's K3 category A. The relation between these two viewpoints has recently been elucidated by Addington and Thomas. In this paper, both aspects are studied further and extended to twisted K3 surfaces, which in particular allows us to determine the group of autoequivalences of A for the general cubic fourfold. Furthermore, we prove finiteness results for cubics with equivalent K3 categories and study periods of cubics in terms of generalized K3 surfaces.
We construct a new autoequivalence of the derived category of the Hilbert scheme of n points on a K3 surface, and of the variety of lines on a smooth cubic 4-fold. For Hilb^2 and the variety of lines, we use the theory of spherical functors; to deal with Hilb^n for n > 2 we develop a theory of P-functors. We conjecture that the same construction yields an autoequivalence for any moduli space of sheaves on a K3 surface. In an appendix we give a cohomology and base change criterion which is well-known to experts, but not well-documented.
Given a smooth 3-fold $Y$, a line bundle $L \to Y$, and a section $s$ of $L$ such that the vanishing locus of $s$ is a normal crossings surface $X$ with graph-like singular locus, we present a way to reconstruct the singularity category of $X$ as a homotopy limit of several copies of the category of matrix factorizations of $xyz : \mathbb{A}^{3} \to \mathbb{A}^{1}$ (the mirror to the Fukaya category of the pair of pants). This extends our previous result for the case where $L$ is trivialized. The key technique is the classification of non-two-periodic autoequivalences of the category of matrix…
We review the idea of Pi-stability for B-type D-branes on a Calabi-Yau manifold. It is shown that the octahedral axiom from the theory of derived categories is an essential ingredient in the study of stability. Various examples in the context of the quintic Calabi-Yau threefold are studied and we plot the lines of marginal stability in several cases. We derive the conjecture of Kontsevich, Horja and Morrison for the derived category version of monodromy around a "conifold" point. Finally, we propose an application of these ideas to the study of supersymmetry breaking.
A K3 category is by definition a Calabi-Yau category of dimension two. Geometrically K3 categories occur as bounded derived categories of (twisted) coherent sheaves on K3 or abelian surfaces. A K3 category is generic if there are no spherical objects (or just one up to shift). We study stability conditions on K3 categories as introduced by Bridgeland and prove his conjecture about the topology of the stability manifold and the autoequivalences group for generic twisted projective K3, abelian surfaces, and K3 surfaces with trivial Picard group.
We study the Tannakian properties of the category of perverse sheaves on elliptic curves endowed with the convolution product. We establish that for certain sheaves with unipotent local monodromy over seven points the corresponding Tannaka group is isomorphic to $G_2$. This monodromy approach generalizes a result of Katz on the existence of $G_2$-motives in the middle cohomology of deformations of Beauville surfaces.
Using only the Fukaya category and the monodromy around large complex structure, we reconstruct the mirror map in the case of a symplectic torus. This realizes an idea described by Paul Seidel.
We associate a generalized root system in the sense of Kyoji Saito to an orbifold projective line via the derived category of finite dimensional representations of a certain bound quiver algebra. We generalize results by Saito--Takebayshi and Yamada for elliptic Weyl groups and elliptic Artin groups to the Weyl groups and the fundamental groups of the regular orbit spaces associated to the generalized root systems. Moreover we study the relation between this fundamental group and a certain subgroup of the autoequivalence group of a triangulated subcategory of the derived category of $2$-Calabi…
We give an autoequivalence of the derived category of the Ginzburg dg algebra for a mutation loop satisfying the sign stability introduced in [IK21]. We compute the categorical entropies of their restrictions to some subcategories and conclude that they are both given by the logarithm of the cluster stretch factor. Moreover, we discuss the pseudo-Anosovness of them in the sense of [FFHKL19] and [DHKK14].
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 f…
To an exact endofunctor of a triangulated category with a split-generator, the notion of entropy is given by Dimitrov-Haiden-Katzarkov-Kontsevich, which is a (possibly negative infinite) real-valued function of a real variable. In this paper, we propose a conjecture which naturally generalizes the theorem by Gromov-Yomdin, and show that the categorical entropy of a surjective endomorphism of a smooth projective variety is equal to its topological entropy. Moreover, we compute the entropy of autoequivalences of the derived category in the case of the ample canonical or anti-canonical sheaf.
We give two proofs to the following theorem and its generalization: if a finite dimensional algebra $A$ is derived equivalent to a smooth projective scheme, then any derived equivalence between $A$ and another algebra $B$ is standard, that is, isomorphic to the derived tensor functor by a two-sided tilting complex. The main ingredients of the proofs are as follows: (1) between the derived categories of two module categories, liftable functors coincide with standard functors; (2) any derived equivalence between a module category and an abelian category is uniquely factorized as the composition …
Let X be a smooth variety over an algebraically closed field k of positive characteristic. We define and study a general notion of regular singularities for stratified bundles (i.e. O_X-coherent D_X-modules) on X without relying on resolution of singularities. The main result is that the category of regular singular stratified bundles with finite monodromy is equivalent to the category of continuous representations of the tame fundamental group on finite dimensional k-vector spaces. As a corollary we obtain that a stratified bundle with finite monodromy is regular singular if and only if it is…
Let S be a K3 surface and Aut D(S) the group of auto-equivalences of the derived category of S. We construct a natural representation of Aut D(S) on the cohomology of all moduli spaces of stable sheaves (with primitive Mukai vectors) on S. The main result of this paper is the precise relation of this action with the monodromy of the Hilbert schemes S^[n] of points on the surface. A formula is provided for the monodromy representation, in terms of the Chern character of the universal sheaf. Isometries of the second cohomology of S^[n] are lifted, via this formula, to monodromy operators of the …
We prove a structural result in mirror symmetry for projective Calabi--Yau (CY) manifolds. Let $X$ be a connected symplectic CY manifold, whose Fukaya category $\mathcal{F}(X)$ is defined over some suitable Novikov field $\mathbb{K}$; its mirror is assumed to be some smooth projective scheme $Y$ over $\mathbb{K}$ with `maximally unipotent monodromy'. Suppose that some split-generating subcategory of (a $\mathsf{dg}$ enhancement of) $D^bCoh( Y)$ embeds into $\mathcal{F}(X)$: we call this hypothesis `core homological mirror symmetry'. We prove that the embedding extends to an equivalence of cate…
We study a problem related to Kontsevich's homological mirror symmetry conjecture for the case of a generic curve $\cal Y$ with bi-degree (2,2) in a product of projective lines ${\Bbb P}^{1} \times {\Bbb P}^{1}$. We calculate two differenent monodromy representations of period integrals for the affine variety ${\cal X}^{(2,2)}$ obtained by the dual polyhedron mirror variety construction from $\cal Y$. The first method that gives a full representation of the fundamental group of the complement to singular loci relies on the generalised Picard-Lefschetz theorem. The second method uses the analyt…
In analogy with the physical concept of a massless D-brane, we define a notion of "Q-masslessness" for objects in the derived category. This is defined in terms of monodromy around singularities in the stringy Kahler moduli space and is relatively easy to study using spherical functors. We consider several examples in which del Pezzo surfaces and other rational surfaces in Calabi-Yau threefolds are contracted. For precisely the del Pezzo surfaces that can be written as hypersurfaces in weighted P3, the category of Q-massless objects is a "fractional Calabi-Yau" category of graded matrix factor…
Let S be a K3 surface. In part I of this paper, we constructed a representation of the group Aut D(S), of auto-equivalences of the derived category of S. We interpreted this infinite dimensional representation, as the natural action of Aut D(S) on the cohomology of all moduli spaces of stable sheaves (with primitive Mukai vectors) on S. The main result, of part I, is the precise relation of this action with the monodromy of the Hilbert schemes S^[n] of points on the surface. The proof of the above result was reduced, in part I, to the case of two monodromy operators of S^[n], associated with c…
Fix a semisimple Lie algebra g. Gaudin algebras are commutative algebras acting on tensor product multiplicity spaces for g-representations. These algebras depend on a parameter which is a point in the Deligne-Mumford moduli space of marked stable genus 0 curves. When the parameter is real, then the Gaudin algebra acts with simple spectrum on the tensor product multiplicity space and gives us a basis of eigenvectors. In this paper, we study the monodromy of these eigenvectors as the parameter varies within the real locus; this gives an action of the fundamental group of this moduli space, whic…
For a split reductive group $G$ over a finite field, we show that the neutral block of its mixed Hecke category with a fixed monodromy under the torus action is monoidally equivalent to the mixed Hecke category of the corresponding endoscopic group $H$ with trivial monodromy. We also extend this equivalence to all blocks. We give two applications. One is a relationship between character sheaves on $G$ with a fixed semisimple parameter and unipotent character sheaves on the endoscopic group $H$, after passing to asymptotic versions. The other is a similar relationship between representations of…
For a pair of affine toric varieties X and Y defined by dual cones, we define an equivalence between two triangulated categories. The first is a mixed version of the equivariant derived category of X and the second is a mixed version of the derived category of sheaves on Y which are locally constant with unipotent monodromy on each orbit. This equivalence satisfies the Koszul duality formalism of Beilinson, Ginzburg, and Soergel. A similar duality was constructed in math.AG/0308216; this new approach is more canonical.
A version of the Bondal-Orlov conjecture, proved by Bridgeland, states that if $X$ and $Y$ are smooth complex projective threefolds linked by a flop, then they are derived equivalent. Van den Bergh gave a new proof of Bridgeland's theorem using the notion of a NCCR, which is in particular a ring $A$ together with a derived equivalence between $X$ and $A$. This ring $A$ is constructed as an endomorphism ring of a decomposable module, and hence admits an idempotent $e$. Donovan and Wemyss define the contraction algebra $A_\mathrm{con}$ to be the quotient of $A$ by $e$; it is a finite-dimensional…
We generalize the construction given in math.AG/0309435 of a "constant" t-structure on the bounded derived category of coherent sheaves $D(X\times S)$ starting with a t-structure on $D(X)$. Namely, we remove smoothness and quasiprojectivity assumptions on $X$ and $S$ and work with t-structures that are not necessarily Noetherian but are close to Noetherian in the appropriate sense. The main new tool is the construction of induced t-structures that uses unbounded derived categories of quasicoherent sheaves and relies on the results of \cite{AJS}. As an application of the "constant" t-structures…
