Group Of Autoequivalences Research Articles

Intersection Numbers on Fibrations and Catalan Numbers

On an elliptic surface or threefold, Catalan numbers appear when one tries to compute the autoequivalence group action on the Bridgeland stability manifold. We explain why this happens by identifying a class of equations in the Chow ring of a fibration, where the solutions always involve Catalan numbers.

Asymptotic shifting numbers in triangulated categories

We study 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 Poincaré 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, the shifting numbers are related to the entropy function introduced by Dimitrov, Haiden, Katzarkov, and Kontsevich, as well as the phase functions of Bridgeland stability conditions.

A note on Bridgeland stability conditions and Catalan numbers

In this short note, we describe a problem in algebraic geometry where the solution involves Catalan numbers. More specifically, we consider the derived category of coherent sheaves on an elliptic surface, and the action of its autoequivalence group on its Bridgeland stability manifold. In solving an equation involving this group action, the generating function of Catalan numbers arises, allowing us to use asymptotic estimates of Catalan numbers to arrive at a bound for the solution set.

Quivers with potentials for Grassmannian cluster algebras

Abstract We consider a quiver with potential (QP) $(Q(D),W(D))$ and an iced quiver with potential (IQP) $(\overline {Q}(D), F(D), \overline {W}(D))$ associated with a Postnikov Diagram D and prove that their mutations are compatible with the geometric exchanges of D. This ensures that we may define a QP $(Q,W)$ and an IQP $(\overline {Q},F,\overline {W})$ for a Grassmannian cluster algebra up to mutation equivalence. It shows that $(Q,W)$ is always rigid (thus nondegenerate) and Jacobi-finite. Moreover, in fact, we show that it is the unique nondegenerate (thus rigid) QP by using a general result of Geiß, Labardini-Fragoso, and Schröer (2016, Advances in Mathematics 290, 364–452). Then we show that, within the mutation class of the QP for a Grassmannian cluster algebra, the quivers determine the potentials up to right equivalence. As an application, we verify that the auto-equivalence group of the generalized cluster category ${\mathcal {C}}_{(Q, W)}$ is isomorphic to the cluster automorphism group of the associated Grassmannian cluster algebra ${{\mathcal {A}}_Q}$ with trivial coefficients.

Curvature of the space of stability conditions

Motivated by the study of the autoequivalence group of triangulated categories via isometric actions on metric spaces, we consider curvature properties (CAT(0), Gromov hyperbolic) of the space of Bridgeland stability conditions with the canonical metric defined by Bridgeland. We then prove that the metric is neither CAT(0) nor hyperbolic, and the quotient metric by the natural $\mathbb{C}$-action is not CAT(0) in case of the Kronecker quiver. Moreover, we also show the hyperbolicity of pseudo-Anosov functors defined by Dimitrov-Haiden-Katzarkov-Kontsevich, which yields the lower-bound of entropy by the translation length. Finally, pseudo-Anosov functors in case of curves have been completely classified.

Néron–Severi Lie Algebra, Autoequivalences of the Derived Category, and Monodromy

This preprint supersedes the previous version, which was only about Kontsevich's conjecture on the relation between the monodromy of a family of (weakly) CY varieties and the action on cohomology of the group of autoequivalences of the derived category of varieties in the mirror dual family. Here we add another conjecture about the relation of the group of autoequivalence of the derived category of a CY variety and its Neron-Severi Lie algebra.

Stability conditions and braid group actions on affine An quivers

We study stability conditions on the Calabi–Yau-[Formula: see text] categories associated to an affine type [Formula: see text] quiver which can be constructed from certain meromorphic quadratic differentials with zeroes of order [Formula: see text]. We follow Ikeda’s work to show that this moduli space of quadratic differentials is isomorphic to the space of stability conditions quotient by the spherical subgroup of the autoequivalence group. We show that the spherical subgroup is isomorphic to the braid group of affine type [Formula: see text] based on the Khovanov–Seidel–Thomas method.

Noncommutative Counting Invariants and Curve Complexes

Abstract In our previous paper, viewing $D^b(K(l))$ as a noncommutative curve, where $K(l)$ is the Kronecker quiver with $l$-arrows, we introduced categorical invariants via counting of noncommutative curves. Roughly, these invariants are sets of subcategories in a given category and their quotients. The noncommutative curve-counting invariants are obtained by restricting the subcategories to be equivalent to $D^b(K(l))$. The general definition, however, defines a larger class of invariants and many of them behave properly with respect to fully faithful functors. Here, after recalling the definition, we focus on the examples and extend our studies beyond counting. We enrich our invariants with the following structures: the inclusion of subcategories makes them partially ordered sets and considering semi-orthogonal pairs of subcategories as edges amounts to directed graphs. It turns out that the problem for counting $D^b(A_k)$ in $D^b(A_n)$ has a geometric combinatorial parallel - counting of maps between polygons. Estimating the numbers counting noncommutative curves in $D^b({\mathbb P}^2)$ modulo the group of autoequivalences, we prove finiteness and that the exact determining of these numbers leads to a solution of Markov problem. Via homological mirror symmetry, this gives a new approach to this problem. Regarding the structure of a partially ordered set mentioned above, we initiate intersection theory of noncommutative curves focusing on the case of noncommutative genus zero. The above-mentioned structure of a directed graph (and related simplicial complex) is a categorical analogue of the classical curve complex, introduced by Harvey and Harrer. The paper contains pictures of the graphs in many examples and also presents an approach to Markov conjecture via counting of subgraphs in a graph associated with $D^b({{\mathbb{P}}}^2)$. Some of the results proved here were announced in a previous work.

Fukaya categories of surfaces, spherical objects and mapping class groups

Abstract We prove that every spherical object in the derived Fukaya category of a closed surface of genus at least $2$ whose Chern character represents a nonzero Hochschild homology class is quasi-isomorphic to a simple closed curve equipped with a rank $1$ local system. (The homological hypothesis is necessary.) This largely answers a question of Haiden, Katzarkov and Kontsevich. It follows that there is a natural surjection from the autoequivalence group of the Fukaya category to the mapping class group. The proofs appeal to and illustrate numerous recent developments: quiver algebra models for wrapped categories, sheafifying the Fukaya category, equivariant Floer theory for finite and continuous group actions and homological mirror symmetry. An application to high-dimensional symplectic mapping class groups is included.

The tilting theory of contraction algebras

To every minimal model of a complete local isolated cDV singularity Donovan–Wemyss associate a finite dimensional symmetric algebra known as the contraction algebra. We construct the first known standard derived equivalences between these algebras and then use the structure of an associated hyperplane arrangement to control the compositions, obtaining a faithful group action on the bounded derived category. Further, we determine precisely those standard equivalences which are induced by two-term tilting complexes and show that any standard equivalence between contraction algebras (up to algebra isomorphism) can be viewed as the composition of our constructed functors. Thus, for a contraction algebra, we obtain a complete picture of its derived equivalence class and, in particular, of its derived autoequivalence group.

Symplectic topology of $K3$ surfaces via mirror symmetry

We study the symplectic topology of certain K3 surfaces (including the "mirror quartic" and "mirror double plane"), equipped with certain K\"ahler forms. In particular, we prove that the symplectic Torelli group may be infinitely generated, and derive new constraints on Lagrangian tori. The key input, via homological mirror symmetry, is a result of Bayer and Bridgeland on the autoequivalence group of the derived category of an algebraic K3 surface of Picard rank one.

Derived Picard Groups of Preprojective Algebras of Dynkin Type

Abstract In this paper, we study two-sided tilting complexes of preprojective algebras of Dynkin type. We construct the most fundamental class of two-sided tilting complexes, which has a group structure by derived tensor products and induces a group of auto-equivalences of the derived category. We show that the group structure of the two-sided tilting complexes is isomorphic to the braid group of the corresponding folded graph. Moreover, we show that these two-sided tilting complexes induce tilting mutation and any tilting complex is given as the derived tensor products of them. Using these results, we determine the derived Picard group of preprojective algebras for type $A$ and $D$.

On Derived Equivalences of K3 Surfaces in Positive Characteristic

For an ordinary K3 surface over an algebraically closed field of positive characteristic we show that every automorphism lifts to characteristic zero. Moreover, we show that the Fourier-Mukai partners of an ordinary K3 surface are in one-to-one correspondence with the Fourier-Mukai partners of the geometric generic fiber of its canonical lift. We also prove that the explicit counting formula for Fourier-Mukai partners of the K3 surfaces with Picard rank two and with discriminant equal to minus of a prime number, in terms of the class number of the prime, holds over a field of positive characteristic as well. We show that the image of the derived autoequivalence group of a K3 surface of finite height in the group of isometries of its crystalline cohomology has index at least two. Moreover, we provide a conditional upper bound on the kernel of this natural cohomological descent map. Further, we give an extended remark in the appendix on the possibility of an F-crystal structure on the crystalline cohomology of a K3 surface over an algebraically closed field of positive characteristic and show that the naive F-crystal structure fails in being compatible with inner product.

A Fock sheaf for Givental quantization

We give a global, intrinsic, and co-ordinate-free quantization formalism for Gromov-Witten invariants and their B-model counterparts, which simultaneously generalizes the quantization formalisms described by Witten, Givental, and Aganagic-Bouchard-Klemm. Descendant potentials live in a Fock sheaf, consisting of local functions on Givental's Lagrangian cone that satisfy the (3g-2)-jet condition of Eguchi-Xiong; they also satisfy a certain anomaly equation, which generalizes the Holomorphic Anomaly Equation of Bershadsky-Cecotti-Ooguri-Vafa. We interpret Givental's formula for the higher-genus potentials associated to a semisimple Frobenius manifold in this setting, showing that, in the semisimple case, there is a canonical global section of the Fock sheaf. This canonical section automatically has certain modularity properties. When X is a variety with semisimple quantum cohomology, a theorem of Teleman implies that the canonical section coincides with the geometric descendant potential defined by Gromov-Witten invariants of X. We use our formalism to prove a higher-genus version of Ruan's Crepant Transformation Conjecture for compact toric orbifolds. When combined with our earlier joint work with Jiang, this shows that the total descendant potential for compact toric orbifold X is a modular function for a certain group of autoequivalences of the derived category of X.

The K3 category of a cubic fourfold

Smooth cubic hypersurfaces $X\subset \mathbb{P}^{5}$ (over $\mathbb{C}$) are linked to K3 surfaces via their Hodge structures, due to the work of Hassett, and via a subcategory ${\mathcal{A}}_{X}\subset \text{D}^{\text{b}}(X)$, due to the work of Kuznetsov. 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 ${\mathcal{A}}_{X}$ 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.

Fourier–Mukai partners of elliptic ruled surfaces

We study Fourier–Mukai partners of elliptic ruled surfaces. We also describe the autoequivalence group of the derived categories of ruled surfaces with an elliptic fibration, by using another work of the author.

Autoequivalences of derived categories of elliptic surfaces with non-zero Kodaira dimension

We study the group of autoequivalences of the derived categories of coherent sheaves on smooth projective elliptic surfaces with non-zero Kodaira dimensions. We find a description of it when each reducible fiber is a cycle of $(-2)$-curves.

On Weyl groups and Artin groups associated to orbifold projective lines

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 and Takebayashi 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–Yau completion of the bound quiver algebra.

Spherical functors on the Kummer surface

AbstractWe find two natural spherical functors associated to the Kummer surface and analyze how their induced twists fit with Bridgeland's conjecture on the derived autoequivalence group of a complex algebraic K3 surface.

Spherical functors on the Kummer surface

AbstractWe find two natural spherical functors associated to the Kummer surface and analyze how their induced twists fit with Bridgeland's conjecture on the derived autoequivalence group of a complex algebraic K3 surface.