Abstract
We introduce the notions of categorical systoles and categorical volumes of Bridgeland stability conditions on triangulated categories. We prove that for any projective K3 surface X, there exists a constant C depending only on the rank and discriminant of NS(X), such that
holds for any stability condition on \(\mathcal {D}^b\mathrm {Coh}(X)\). This is an algebrogeometric generalization of a classical systolic inequality on twotori. We also discuss applications of this inequality in symplectic geometry.
Introduction
Let (M, g) be a Riemannian manifold. Its systole \(\mathrm {sys}(M,g)\) is defined to be the least length of a noncontractible loop in M. In 1949, Charles Loewner proved that
holds for any Riemannian metric g on a twotorus \(\mathbb {T}^2\). There are various generalizations of Loewner’s tours systolic inequality. We refer to [16] for a survey on the rich subject of systolic geometry.
The first goal of the present article is to propose a new generalization of Loewner’s torus systolic inequality from the perspective of Calabi–Yau geometry. We start with an observation in the case of a twotorus. Suppose that the torus is flat \(\mathbb {T}^2_\tau \cong \mathbb {C}/\mathbb {Z}+\tau \mathbb {Z}\), and is equipped with the standard complex structure \(\Omega =dz\) and symplectic structure \(\omega =dx\wedge dy\). Then the shortest noncontractible loops must be straight lines, therefore are special Lagrangian submanifolds with respect to the complex and symplectic structures. Under these assumptions, Loewner’s torus systolic inequality can be interpreted as:
The key observation is that the quantities in both sides of this inequality can be generalized to any Calabi–Yau manifold.
We propose the following definition of systole of a Calabi–Yau manifold, with respect to its complex and symplectic structures.
Definition 1.1
Let Y be a Calabi–Yau manifold, equipping with a symplectic form \(\omega \) and a holomorphic top form \(\Omega \). Then its systole is defined to be
With this definition, we propose the following question that naturally generalizes inequality (1) to any Calabi–Yau manifold.
Question 1.2
Let Y be a Calabi–Yau manifold and \(\omega \) be a symplectic form on Y. Does there exist a constant \(C=C(Y,\omega )>0\) such that
holds for any holomorphic top form \(\Omega \) on Y?
Here we treat the Calabi–Yau manifolds topologically so that the complex structures \(\Omega \) can vary. Note that the choice of the symplectic structure is not important in the case of twotori, since any onedimensional submanifold is Lagrangian in \(\mathbb {T}^2\). However, in higher dimensions, the notion of Lagrangian submanifolds certainly depends on the choice of the symplectic structure. Therefore the systolic constant C should depend on the symplectic structure in general, unlike the case of \(\mathbb {T}^2\). Also, note that the ratio \(\int _L\Omega ^2 / \left \int _Y\Omega \wedge \overline{\Omega }\right \) has been considered in the context of attractor mechanism in physics [9, 20, 23], which is of independent interest.
The second goal of the present article is to introduce the definitions of categorical systoles and categorical volumes of Bridgeland stability conditions on triangulated categories.
Definition 1.3
(see Definition 2.4) Let \(\mathcal {D}\) be a triangulated category and \(\sigma =(\mathcal {Z},\mathcal {P})\) be a Bridgeland stability condition on \(\mathcal {D}\). Its systole is defined to be
Note that in the definition of systole of a Bridgeland stability condition, the minimum can always be attained by some \(\sigma \)stable object E, therefore we can write “min" instead of “inf" (see Remark 2.5).
Definition 1.4
(see Definition 2.11) Let \(\{E_i\}\) be a basis of the numerical Grothendieck group \(\mathcal {N}(\mathcal {D})\), and \(\sigma =(\mathcal {Z},\mathcal {P})\) be a Bridgeland stability condition on \(\mathcal {D}\). Its volume is defined to be
where \((\chi ^{i,j})=(\chi (E_i,E_j))^{1}\) is the inverse matrix of the Euler pairings.
The motivations of these definitions stem from the correspondence between flat surfaces and stability conditions, and the conjectural description of stability conditions on the Fukaya categories of Calabi–Yau manifolds. We refer to Sect. 2 for more details. Note that under these correspondences, \(\mathrm {sys}(\sigma )\) is the categorical generalization of \(\mathrm {sys}(Y,\omega ,\Omega )\) in Definition 1.1, and \(\mathrm {vol}(\sigma )\) is the categorical generalization of the holomorphic volume \(\Big \int _Y\Omega \wedge \overline{\Omega }\Big \).
As a sanity check of these definitions, we prove the following categorical analogue of Loewner’s torus systolic inequality.
Theorem 1.5
(see Theorem 3.1) Let \(\mathcal {D}=\mathcal {D}^b\mathrm {Coh}(E)\) be the derived category of an elliptic curve E. Then
holds for any \(\sigma \in \mathrm {Stab}(\mathcal {D})\).
We then propose the following algebrogeometric analogue of Question 1.2, which is the higherdimensional generalization of Theorem 1.5.
Question 1.6
Let X be a Calabi–Yau manifold and \(\Omega \) be a complex structure on X. Let \(\mathcal {D}=\mathcal {D}^b\mathrm {Coh}(X, \Omega )\) be its derived category of coherent sheaves. Does there exist a constant \(C=C(X, \Omega )>0\) such that
holds for any \(\sigma \in \mathrm {Stab}^\dagger (\mathcal {D})\)? Here \(\mathrm {Stab}^\dagger (\mathcal {D})\) denotes the distinguished connected component of \(\mathrm {Stab}(\mathcal {D})\) that contains geometric stability conditions.
Note that Questions 1.2 and 1.6 are related via the mirror symmetry conjecture, which is a conjectural duality between algebraic geometry and symplectic geometry. The homological mirror symmetry conjecture proposed by Kontsevich [18] states that for any Calabi–Yau manifold with a symplectic structure \((Y,\omega )\), there exists a Calabi–Yau manifold with a complex structure \((X,\Omega )\) such that there is an equivalence between the derived Fukaya category of Y and the bounded derived category of coherent sheaves on X:
It is conjectured by Bridgeland [6] and Joyce [15] that a holomorphic top form on Y should give rise to a Bridgeland stability condition \(\sigma _\Omega \) on \(\mathcal {D}^b\mathrm {Fuk}(Y,\omega )\) (see Conjecture 2.3). The conjectural stability condition satisfies \(\mathrm {sys}(\sigma _\Omega )=\mathrm {sys}(Y,\omega ,\Omega )\) and \(\mathrm {vol}(\sigma _\Omega )=\left \int _Y\Omega \wedge \overline{\Omega }\right \). Therefore we can consider Question 1.6 as the mirror counterpart of Question 1.2. We refer to Sect. 5 for more discussions on this.
The third goal, which is the main result of the present article, is to give an affirmative answer to Question 1.6 for any complex projective K3 surface. A priori there is no reason to believe that Question 1.2 and Question 1.6 have affirmative answers in general. The following theorem is the first evidence that the natural categorical generalization of systolic inequality is possible for higherdimensional Calabi–Yau manifolds.
Theorem 1.7
(see Theorem 4.1) Let X be a complex projective K3 surface. Then
for any \(\sigma \in \mathrm {Stab}^\dagger \left( \mathcal {D}^b\mathrm {Coh}(X)\right) \), where
Here \(\rho \) and \(\mathrm {disc}\) denote the rank and the discriminant of the Néron–Severi group \(\mathrm {NS}(X)\), respectively.
Moreover, when the K3 surface is of Picard rank one, we can use a different method to get a better systolic bound.
Theorem 1.8
(See Theorem 4.2) Let X be a K3 surface of Picard rank one, with \(\mathrm {NS}(X)=\mathbb {Z}H\) and \(H^2=2n\). Then
holds for any \(\sigma \in \mathrm {Stab}^\dagger (\mathcal {D}^b\mathrm {Coh}(X))\).
Finally, we remark that one can also define a categorical generalization of systole using only the spherical objects (Remark 4.8), which we denoted by \(\mathrm {sys}_\mathrm {sph}(\sigma )\). However, as we prove in Proposition 4.9, the ratio \(\mathrm {sys}_\mathrm {sph}(\sigma )^2/\mathrm {vol}(\sigma )\) is unbounded in general.
Related work
After the first version of the present article was posted online, Haiden [13] proves a systolic inequality for certain higherdimensional symplectic torus, and Pacini [25] proposes a higherdimensional generalization of extremal lengths and complex systolic inequalities.
Organization
In Sect. 2, we recall the definition of Bridgeland stability conditions and introduce the notions of categorical systole and categorical volume. In Sect. 3, we give an affirmative answer to Question 1.6 for elliptic curves by proving Theorem 1.5. In Sect. 4, we give an affirmative answer to Question 1.6 for any K3 surface by proving Theorem 1.7. In Sect. 5, we discuss some directions for future studies.
Categorical systoles and categorical volumes
Bridgeland stability conditions
In the seminal work [4], Bridgeland introduced the notion of stability conditions on triangulated categories. We recall the definition and some basic properties of Bridgeland stability conditions.
Throughout the article, a triangulated category \(\mathcal {D}\) is essentially small, linear over \(\mathbb {C}\), and is of finite type. The last condition means that for any pair of objects \(E, F\in \mathcal {D}\), the \(\mathbb {C}\)vector space \(\oplus _{i\in \mathbb {Z}}\mathrm {Hom}_{\mathcal {D}}(E,F[i])\) is of finitedimensional. The Euler form \(\chi \) on the Grothendieck group \(K(\mathcal {D})\) is given by the alternating sum
The numerical Grothendieck group \(\mathcal {N}(\mathcal {D}):=K(\mathcal {D})/K(\mathcal {D})^{\perp _{\chi }}\) is defined to be the quotient of \(K(\mathcal {D})\) by the null space of the Euler pairing \(\chi \). We assume that \(\mathcal {D}\) is numerically finite, that is, \(\mathcal {N}(\mathcal {D})\) is of finite rank. One large class of examples of such triangulated categories is provided by the bounded derived category of coherent sheaves \(\mathcal {D}^b\mathrm {Coh}(X)\) of a smooth projective variety X.
Definition 2.1
[4] A (full numerical) stability condition \(\sigma =(\mathcal {Z},\mathcal {P})\) on a triangulated category \(\mathcal {D}\) consists of:

a group homomorphism \(\mathcal {Z}:\mathcal {N}(\mathcal {D})\rightarrow \mathbb {C}\), and

a collection of full additive subcategories \(\mathcal {P}=\{\mathcal {P}(\phi )\}_{\phi \in \mathbb {R}}\) of \(\mathcal {D}\),
such that:

(a)
If \(0\ne E \in \mathcal {P}(\phi )\), then \(\mathcal {Z}(E)\in \mathbb {R}_{>0}\cdot e^{i\pi \phi }\).

(b)
\(\mathcal {P}(\phi +1)=\mathcal {P}(\phi )[1]\).

(c)
If \(\phi _1>\phi _2\) and \(A_i \in \mathcal {P}(\phi _i)\), then \(\mathrm {Hom}(A_1,A_2)=0\).

(d)
For every \(0 \ne E \in \mathcal {D}\), there exists a (unique) collection of distinguished triangles
such that \(B_i \in \mathcal {P}(\phi _i)\) and \(\phi _1>\phi _2>\cdots >\phi _k\). Denote \(\phi ^+_\sigma (E):=\phi _1\) and \(\phi ^_\sigma (E):=\phi _k\). The mass of E is defined to be \(m_\sigma (E):=\sum _i \mathcal {Z}(B_i)\).

(e)
(Support property [19]) There exists a constant \(C>0\) and a norm \(\cdot \) on \(\mathcal {N}(\mathcal {D})\otimes _\mathbb {Z}\mathbb {R}\) such that
$$\begin{aligned} E\le C\mathcal {Z}(E) \end{aligned}$$for any semistable object E.
The group homomorphism \(\mathcal {Z}\) is called the central charge, and the nonzero objects in \(\mathcal {P}(\phi )\) are called the semistable objects of phase \(\phi \). The additive subcategories \(\mathcal {P}(\phi )\) actually are abelian, and the simple objects of \(\mathcal {P}(\phi )\) are said to be stable.
The space of (full numerical) Bridgeland stability conditions on \(\mathcal {D}\) is denoted by \(\mathrm {Stab}(\mathcal {D})\). There is a nice topology on \(\mathrm {Stab}(\mathcal {D})\) introduced by Bridgeland, which is induced by the generalized distance:
The forgetful map
is a local homeomorphism [4, 19]. Hence \(\mathrm {Stab}(\mathcal {D})\) is a complex manifold.
There are two natural group actions on the space of Bridgeland stability conditions \(\mathrm {Stab}(\mathcal {D})\) which commute with each other [4, Lemma 8.2]. Firstly, the group of autoequivalences \(\mathrm {Aut}(\mathcal {D})\) acts on \(\mathrm {Stab}(\mathcal {D})\) as isometries with respect to the generalized metric: Let \(\Phi \in \mathrm {Aut}(\mathcal {D})\) be an autoequivalence, define
where \([\Phi ]\) is the induced automorphism on \(\mathcal {N}(\mathcal {D})\), and \(\mathcal {P}'(\phi ):=\Phi (\mathcal {P}(\phi ))\).
Secondly, the universal cover \(\widetilde{\mathrm {GL}^+(2, \mathbb {R})}\) also admits a natural group action on \(\mathrm {Stab}(\mathcal {D})\). Recall that \(\widetilde{\mathrm {GL}^+(2, \mathbb {R})}\) is isomorphic to the group of pairs (T, f), where \(T\in \mathrm {GL}^+(2,\mathbb {R})\) and \(f:\mathbb {R}\rightarrow \mathbb {R}\) is an increasing map with \(f(\phi +1)=f(\phi )+1\), such that their induced maps on \((\mathbb {R}^2\backslash \{0\})/\mathbb {R}_{>0}\cong \mathbb {R}/2\mathbb {Z}\cong S^1\) coincide. Let \(g=(T,f)\in \widetilde{\mathrm {GL}^+(2, \mathbb {R})}\), define
where \(\mathcal {P}''(\phi ):=\mathcal {P}(f(\phi ))\). Note that the subgroup \(\mathbb {C}\subset \widetilde{\mathrm {GL}^+(2, \mathbb {R})}\) acts freely and transitively on \(\mathrm {Stab}(\mathcal {D})\). Let \(z\in \mathbb {C}\), then its action on \(\mathrm {Stab}(\mathcal {D})\) is
where \(\mathcal {P}'''(\phi ):=\mathcal {P}(\phi +\mathrm {Re}(z))\).
Categorical systoles
We first recall some results and conjectures that motivate our definition of categorical systoles.
In a striking series of work by Gaiotto–Moore–Neitzke [12], Bridgeland–Smith [7] and Haiden–Katzarkov–Kontsevich [14], the connections between stability conditions and Teichmüller theory have been established. One of the main results in this direction is the following theorem.
Theorem 2.2
([14], Theorem 5.2 and 5.3) Let S be a marked surface of finite type, \(\mathcal {M}(S)\) be the space of marked flat structures on S, and \(\mathrm {Fuk}(S)\) be the Fukaya category of S. Then there is a natural map
which is bianalytic onto its image, which is a union of connected components. Under this bianalytic map,

saddle connections on flat surfaces are corresponded to semistable objects,

their lengths are corresponded to the absolute values of central charges.
Recall that the systole of a flat surface is defined to be the length of its shortest saddle connection. Based on the correspondence established in Theorem 2.2, it is natural to define the systole of a Bridgeland stability condition to be the smallest absolute value of central charge of semistable objects.
Another important source of motivation for defining categorical systole is a conjectural description of stability conditions on the Fukaya categories of Calabi–Yau manifolds, proposed by Bridgeland and Joyce.
Conjecture 2.3
([6], Section 2.4 and [15], Conjecture 3.2) Let Y be a Calabi–Yau manifold equipping with a symplectic form \(\omega \), and \(\mathcal {D}^\pi \mathrm {Fuk}(Y,\omega )\) be the derived Fukaya category of Y. For any holomorphic top form \(\Omega \) on Y, there exists a natural Bridgeland stability condition \(\sigma _{\Omega }\) on \(\mathcal {D}^\pi \mathrm {Fuk}(Y,\omega )\), such that the central charges are given by the period integrals along Lagrangians
and the \(\sigma _\Omega \)semistable objects are given by compact special Lagrangian submanifolds with respect to \(\Omega \) and \(\omega \).
If we assume this conjecture to be true, then the definition of systole of \((Y,\omega ,\Omega )\) in Definition 1.1 can be written as
Motivating from the above discussions, we propose the following definition of systole of a Bridgeland stability condition.
Definition 2.4
Let \(\sigma \) be a Bridgeland stability condition on a triangulated category \(\mathcal {D}\). Its systole is defined to be
Remark 2.5
Note that we can write “min" instead of “inf" in the definition of categorical systole for the following reason. For any \(R>0\), consider the following two subsets of \(\mathcal {N}(\mathcal {D})\):
where \(C>0\) and \(\cdot \) are the constant and the norm on \(\mathcal {N}(\mathcal {D})\otimes _\mathbb {Z}\mathbb {R}\) appeared in the support property of stability conditions, see Definition 2.12.1. By the support property, we have \(S_R^{(1)}\subset S_R^{(2)}\). The set \(S_R^{(2)}\) is finite since it is a subset of \(\{v\in \mathcal {N}(\mathcal {D}):v<CR\}\) which is finite. Therefore \(S_R^{(1)}\) is a finite set, which implies that the minimum of
in the definition of systole must be attained by some \(\sigma \)semistable object E. In fact, the systole must be attained by some \(\sigma \)stable object: if E is a \(\sigma \)semistable object and not a \(\sigma \)stable object, then it is clear that the absolute value of the central charge of any nontrivial \(\sigma \)stable factor of E is strictly less than \(Z_{\sigma }(E)\).
Remark 2.6
In the following table, we summarize the correspondences between the systoles of flat surfaces, Calabi–Yau manifolds, and stability conditions discussed in Theorem 2.2 and Conjecture 2.3.
Surface S  Calabi–Yau \((Y, \omega )\)  Triangulated category 

abelian differentials  holomorphic top forms  stability conditions 
saddle connections  special Lagrangians  semistable objects 
lengths  period integrals  central charges 
\(\mathrm {sys}(S)\)  \(\mathrm {sys}(Y, \omega , \Omega )\)  \(\mathrm {sys}(\sigma )\) 
\(\int _Y\Omega \wedge \overline{\Omega }\)  \(\mathrm {vol}(\sigma )\) 
The definition of categorical volume \(\mathrm {vol}(\sigma )\), which is also inspired by Conjecture 2.3, will be discussed in the next subsection.
Now we study how the categorical systole changes under the natural group actions on \(\mathrm {Stab}(\mathcal {D})\).
Lemma 2.7
Let \(\sigma \) be a Bridgeland stability condition on \(\mathcal {D}\). Then

(a)
$$\begin{aligned} \mathrm {sys}(\sigma )&= \min \{\mathcal {Z}_\sigma (E) :E \text { is a } \sigma \text {stable object in } \mathcal {D}\} \\&= \min \{ m_\sigma (E) :0\ne E\in \mathcal {D}\} \end{aligned}$$
Recall that \(m_\sigma (E)\) is the mass of E with respect to \(\sigma \) (Definition 2.1).

(b)
For any autoequivalence \(\Phi \in \mathrm {Aut}(\mathcal {D})\), \(\mathrm {sys}(\Phi \cdot \sigma ) = \mathrm {sys}(\sigma )\).

(c)
For any complex number \(z=x+iy\in \mathbb {C}\), \(\mathrm {sys}(\sigma \cdot z) = \exp (y\pi )\cdot \mathrm {sys}(\sigma )\).

(d)
For any \(g=(T,f)\in \widetilde{\mathrm {GL}^+(2, \mathbb {R})}\), write \(T^{1}=\begin{bmatrix}a&{}b\\ c&{}d\end{bmatrix}\in \mathrm {GL}^+(2,\mathbb {R})\), then
$$\begin{aligned} \mathrm {sys}(\sigma \cdot g) \le t_1(1+t_2)\cdot \mathrm {sys}(\sigma ), \end{aligned}$$where \(t_1=\frac{(a+d)+i(cb)}{2}\ne 0\) and \(t_2=\frac{(ad)+i(b+c)}{(a+d)+i(cb)}\). Note that \(t_2<1\).
Proof
The first three statements follow easily from the definition. To prove the last statement, we use a similar idea in the proof of [13, Theorem 4.3]. One can verify by direct computation that
holds for any \(\sigma \) and E. By Remark 2.5, there exists a \(\sigma \)stable object E such that \(\mathrm {sys}(\sigma )=\mathcal {Z}_\sigma (E)\). Since the actions by \(\widetilde{\mathrm {GL}^+(2, \mathbb {R})}\) do not change the set of stable objects, E is also \(\sigma \cdot g\)stable. Therefore,
\(\square \)
Proposition 2.8
The function
is continuous on \(\mathrm {Stab}(\mathcal {D})\).
Proof
Let \(\sigma _1, \sigma _2\in \mathrm {Stab}(\mathcal {D})\) be two Bridgeland stability conditions with \(d(\sigma _1, \sigma _2) < \epsilon \). By Remark 2.5, \(\mathrm {sys}(\sigma _1)=m_{\sigma _1}(E)\) for some object \(E\in \mathcal {D}\). Thus
Similarly, we have \(\log \mathrm {sys}(\sigma _2)>\log \mathrm {sys}(\sigma _1)\epsilon \). Hence \(\log \mathrm {sys}(\sigma )\) is a continuous function on \(\mathrm {Stab}(\mathcal {D})\), and so is \(\mathrm {sys}(\sigma )\). \(\square \)
Let us consider some basic examples of categorical systoles of algebraic stability conditions. In Sects. 3 and 4, we will be dealing with nonalgebraic stability conditions on derived categories of coherent sheaves.
Example 2.9
(Derived category of representations of \(A_2\)quiver) Let Q be the \(A_2\)quiver \((\varvec{\cdot }\rightarrow \varvec{\cdot })\) and \(\mathcal {D}=\mathcal {D}^b(\mathrm {Rep}(Q))\) be the bounded derived category of the category of representations of Q. Let \(E_1\) and \(E_2\) be the simple objects in \(\mathrm {Rep}(Q)\) with dimension vectors \(\underline{\dim }(E_1)=(1, 0)\) and \(\underline{\dim }(E_2)=(0, 1)\). There is one more indecomposable object \(E_3\) that fits into the exact sequence
Let \(\sigma =(\mathcal {Z}, \mathcal {P})\) be a stability condition on \(\mathcal {D}\) with \(z_1:=\mathcal {Z}(E_1)\) and \(z_2:=\mathcal {Z}(E_2)\). Suppose that \(\mathcal {P}(0,1] = \mathrm {Rep}(Q)\). Then

When \(\arg (z_1) < \arg (z_2)\), the only \(\sigma \)stable objects are \(E_1\) and \(E_2\) up to shiftings. Thus \(\mathrm {sys}(\sigma )=\min \{z_1, z_2\}\).

When \(\arg (z_1) > \arg (z_2)\), the only \(\sigma \)stable objects are \(E_1\), \(E_2\) and \(E_3\) up to shiftings. Thus \(\mathrm {sys}(\sigma )=\min \{z_1, z_2, z_1+z_2\}\).
Therefore, in order to compute the categorical systoles of stability conditions in different chambers, one needs to compute the central charges of different sets of dimensional vectors. Note that this is not the case for the derived categories of elliptic curves and K3 surfaces, where the categorical systole of any stability condition is the minimum of absolute values of central charges of the same set of classes in \(\mathcal {N}(\mathcal {D})\) (see Sect. 3 and Proposition 4.4).
Example 2.10
(3Calabi–Yau categories arising from marked Riemann surfaces) There is a 3Calabi–Yau category \(\mathcal {D}_{S,M}\) (up to equivalence) associated to each marked Riemann surface (S, M), see for instance [7, Section 9]. The main theorem in [7] states that
where \(\mathrm {Quad}(S,M)\) is the moduli space of certain meromorphic quadratic differentials on S with simple zeros. By Lemma 2.7 (2), the function \(\mathrm {sys}\) on \(\mathrm {Stab}(\mathcal {D})\) given by categorical systole descends to a function on the quotient \(\mathrm {Stab}(\mathcal {D})/\mathrm {Aut}(\mathcal {D})\). Under the equivalence (3), the categorical systole of a stability condition on \(\mathcal {D}_{S,M}\) is given by the minimum among the period integrals \(\int \sqrt{\phi }\) along saddle connections of the corresponding quadratic differential.
Categorical volumes
We recall the notion of categorical volumes of Bridgeland stability conditions introduced in [10]. It is the categorical analogue of the holomorphic volume \(\Big \int _Y\Omega \wedge \overline{\Omega }\Big \) of a compact Calabi–Yau manifold Y with holomorphic top form \(\Omega \).
Let Y be a compact Calabi–Yau manifold of dimension n, and \(\{A_i\}\) be a basis of the torsionfree part of \(H_n(X,\mathbb {Z})\). Then one can rewrite the holomorphic volume of Y as
where \((\gamma ^{i,j})=(A_i\cdot A_j)^{1}\) is the inverse matrix of the intersection pairings.
Recall that in Conjecture 2.3, the period integral \(\int \Omega \) should give the central charge of a Bridgeland stability condition on the derived Fukaya category \(\mathcal {D}^\pi \mathrm {Fuk}(Y)\) that is associated to the holomorphic top form \(\Omega \). This motivates the following definition.
Definition 2.11
[10] Let \(\{E_i\}\) be a basis of the numerical Grothendieck group \(\mathcal {N}(\mathcal {D})\) and let \(\sigma =(\mathcal {Z},\mathcal {P})\) be a Bridgeland stability condition on \(\mathcal {D}\). Its volume is defined to be
where \((\chi ^{i,j})=\left( \chi (E_i,E_j)\right) ^{1}\) is the inverse matrix of the Euler pairings.
One can easily check that the above definition is independent of the choice of the basis \(\{E_i\}\): Suppose \(\{F_j\}\) is another basis of \(\mathcal {N}(\mathcal {D})\), where A is the unimodular matrix that relates the bases \(\{E_i\}\) and \(\{F_j\}\), i.e. \(F_j=\sum _kA_{jk}E_k\). Denote the Gram matrices \((\chi (E_i,E_j))\) and \((\chi (F_i,F_j))\) by \(\chi _E\) and \(\chi _F\), respectively. Then we have \(\chi _F=A\chi _EA^T\), and therefore
It is important to note that unlike the categorical systoles, the categorical volume of a stability condition \(\sigma =(\mathcal {Z}, \mathcal {P})\) depends only on its central charge. The proof of the following lemma is straightforward.
Lemma 2.12
Let \(\sigma \) be a Bridgeland stability condition on \(\mathcal {D}\). Then

(a)
For any autoequivalence \(\Phi \in \mathrm {Aut}(\mathcal {D})\), \(\mathrm {vol}(\Phi \cdot \sigma ) = \mathrm {vol}(\sigma )\).

(b)
For any complex number \(z=x+iy\in \mathbb {C}\), \(\mathrm {vol}(\sigma \cdot z) = \exp (2y\pi )\cdot \mathrm {vol}(\sigma )\).
Now we recall some computations of categorical volumes in [10] which will be used in the later sections.
Example 2.13
(Elliptic curves) Let \(\mathcal {D}=\mathcal {D}^b\mathrm {Coh}(E)\) be the derived category of coherent sheaves on an elliptic curve E. Let \(\sigma =(\mathcal {Z},\mathcal {P})\) be a stability condition on \(\mathcal {D}\) with central charge
where \(\beta \in \mathbb {R}\) and \(\omega >0\). Choose \(\{\mathcal {O}_x, \mathcal {O}_E\}\) as a basis of the numerical Grothendieck group \(\mathcal {N}(\mathcal {D})\), where \(\mathcal {O}_x\) is a skyscraper sheaf and \(\mathcal {O}_E\) is the structure sheaf. Then the categorical volume of \(\sigma \) is
Remark 2.14
Let C be a curve of genus \(g\ge 1\). Then \(\mathrm {Stab}(\mathcal {D}^b\mathrm {Coh}(C))=\mathbb {C}\times \mathbb {H}\), and the central charge of any stability condition is of the form
up to the free \(\mathbb {C}\)action (see [4, 22]). However, the categorical volume \(\mathrm {vol}(\sigma )\) is not given by \(2\omega \) unless \(g=1\), due to the fact that the Euler pairing on \(\mathcal {N}(\mathcal {D})\) is not (anti)symmetric if C is not Calabi–Yau. In fact, choose \(\{E_1=\mathcal {O},E_2=\mathcal {O}(1)\}\) as a basis of \(\mathcal {N}(\mathcal {D})\), then the Gram matrix of Euler pairings is \( A:=\begin{bmatrix} 1g&{}2g\\ g&{}1g \end{bmatrix} \) by Riemann–Roch. Therefore we have
On the other hand, there exist stability conditions on \(\mathcal {D}^b\mathrm {Coh}(\mathbb {P}^1)\) that are not of this form (nongeometric). It is possible for such stability conditions to have zero categorical volume. For instance, by [24, Proposition 3.3], there exist stability conditions \(\sigma \in \mathrm {Stab}(\mathcal {D}^b\mathrm {Coh}(\mathbb {P}^1))\) such that \(\mathcal {Z}_\sigma (\mathcal {O})=\mathcal {Z}_\sigma (\mathcal {O}(1))=z\in \mathbb {C}\backslash \{0\}\). Then by the same computation as above, we have
Example 2.15
(K3 surfaces) Let \(\mathcal {D}=\mathcal {D}^b\mathrm {Coh}(X)\) be the derived category of coherent sheaves on a K3 surface X. Let \(\sigma =(\mathcal {Z},\mathcal {P})\) be a stability condition on \(\mathcal {D}\) with central charge
where \((\cdot ,\cdot )\) is the Mukai pairing on the numerical Grothendieck group \(\mathcal {N}(\mathcal {D})\), and \(\beta ,\omega \in \mathrm {NS}(X)\otimes \mathbb {R}\) with \(\omega ^2>0\) (c.f. Section 4). Let \(\{ v_i \}\) be a basis of \(\mathcal {N}(\mathcal {D})\). Then the categorical volume of \(\sigma \) is
Note that the same computation shows that \(\sum _{i,j} \chi ^{i,j} \mathcal {Z}_\sigma (v_i) \mathcal {Z}_\sigma (v_j)=0\).
For any \(g=(T,f)\in \widetilde{\mathrm {GL}^+(2, \mathbb {R})}\), one can compute the categorical volume of the stability condition \(\sigma \cdot g\) following the same idea in the proof of Lemma 2.7 (4). Write \(T^{1}=\begin{bmatrix}a&{}b\\ c&{}d\end{bmatrix}\in \mathrm {GL}^+(2,\mathbb {R})\). Define \(t_1=\frac{(a+d)+i(cb)}{2}\ne 0\) and \(t_2=\frac{(ad)+i(b+c)}{(a+d)+i(cb)}\). By Eq. (2), we have
We use \(\chi ^{i,j}=\chi ^{j,i}\) in the last step, which follows from the fact that \(\mathcal {D}\) is a 2Calabi–Yau category therefore its Euler pairing is symmetric.
We should note that although the categorical volume can be defined for stability conditions on any triangulated category \(\mathcal {D}\), its geometric meaning is not clear unless \(\mathcal {D}\) comes from compact Calabi–Yau geometry. Below is an example of a Calabi–Yau triangulated category for which the categorical volume vanishes for some stability conditions (on the wall of marginal stability conditions).
Example 2.16
(3Calabi–Yau category of the \(A_2\)quiver) Let \(\mathcal {D}\) be the 3Calabi–Yau category constructed from the Ginzburg 3Calabi–Yau dgalgebra associated to the \(A_2\)quiver [11, 17]. The numerical Grothendieck group \(\mathcal {N}(\mathcal {D})\) is generated by two spherical objects \(S_1, S_2\).
Let \(\sigma =(\mathcal {Z}, \mathcal {P})\) be a stability condition on \(\mathcal {D}\) with \(z_1=\mathcal {Z}(S_1)\) and \(z_2=\mathcal {Z}(S_2)\). Then its categorical volume is
which vanishes if \(z_1 \overline{z_2} \in \mathbb {R}\). This can happen if \(z_1\) and \(z_2\) are of the same phase, i.e., the stability condition \(\sigma \) sits on a wall in \(\mathrm {Stab}(\mathcal {D})\).
Systolic inequality for elliptic curves: a sanity check
In this section, we give an affirmative answer to Question 1.6 in the case of elliptic curves. This provides a sanity check for our definitions of categorical systole and categorical volume.
Theorem 3.1
Let \(\mathcal {D}=\mathcal {D}^b\mathrm {Coh}(E)\) be the derived category of an elliptic curve E. Then
holds for any \(\sigma \in \mathrm {Stab}(\mathcal {D})\).
One can consider this inequality as the mirror of Loewner’s torus systolic inequality in the introduction. We refer to Sect. 5 for more discussions related to mirror symmetry.
Proof
By [4, Theorem 9.1], the \(\widetilde{\mathrm {GL}^+(2;\mathbb {R})}\)action on the space of Bridgeland stability conditions \(\mathrm {Stab}(\mathcal {D})\) of an elliptic curve is free and transitive. Therefore
By Lemma 2.7 and Lemma 2.12, the systolic ratio
is invariant under the free \(\mathbb {C}\)action on the space of stability conditions. Hence we only need to compute the ratio on the quotient space \(\mathrm {Stab}(\mathcal {D})/\mathbb {C}\cong \mathbb {H}\). The quotient space \(\mathrm {Stab}(\mathcal {D})/\mathbb {C}\cong \mathbb {H}\) can be parametrized by the normalized stability conditions as follows. Let \(\tau = \beta + i\omega \in \mathbb {H}\) where \(\beta \in \mathbb {R}\) and \(\omega >0\). The associated normalized stability condition \(\sigma _\tau \) is given by:

Central charge: \(\mathcal {Z}_\tau (F) =  \mathrm {deg}(F) + \tau \cdot \mathrm {rk}(F)\).

For \(0<\phi \le 1\), the (semi)stable objects \(\mathcal {P}_\tau (\phi )\) are the slope(semi)stable coherent sheaves whose central charges lie in the ray \(\mathbb {R}_{>0}\cdot e^{i\pi \phi }\).

For other \(\phi \in \mathbb {R}\), define \(\mathcal {P}_\tau (\phi )\) by the property \(\mathcal {P}_\tau (\phi +1)=\mathcal {P}_\tau (\phi )[1]\).
Note that there is no wallcrossing phenomenon in the elliptic curve case, i.e., the set of all Bridgeland (semi)stable objects is the same for any stability condition. This makes the computation of categorical systole easier.
To compute the systole of \(\sigma _\tau \), by Lemma 2.7 (1), we need to know the central charges of all the stable objects of \(\sigma _\tau \), which are the slopestable coherent sheaves. Recall that if F is a slopestable coherent sheaf on E, then it is either a vector bundle or a torsion sheaf. The slopestable vector bundles on an elliptic curve E are wellunderstood, see for instance [2, 26]. In particular, we have the following facts:

Let F be an indecomposable vector bundle of rank r and degree d on an elliptic curve E. Then F is slopestable if and only if d and r are relatively prime.

Fix a point \(x\in E\). For every rational number \(\mu =\frac{d}{r}\), where \(r>0\) and \((d,r)=1\), there exists a unique slopestable vector bundle \(V_\mu \) of rank r and \(\mathrm {det}(V_\mu )\cong \mathcal {O}_E(dx)\).
Hence the categorical systole is
where \(\lambda _1(L_\tau )\) denotes the least length of a nonzero element in the lattice \(L_\tau = \langle 1, \tau \rangle \).
On the other hand, the categorical volume of \(\sigma _\tau \) has been computed in Example 2.13, which is equals to \(2\omega \). Thus
Note that \(\omega \) is the area of the parallelogram spanned by 1 and \(\tau \). Hence the quantity \(\sup _{\tau \in \mathbb {H}}\lambda _1(L_\lambda )^2/\omega \) is the socalled Hermite constant \(\gamma _2\) of lattices in \(\mathbb {R}^2\). It is classically known that the Hermite constant is given by \(\gamma _2=\frac{2}{\sqrt{3}}\) (see for instance [8]). This concludes the proof. \(\square \)
Systolic inequalities for K3 surfaces
This section is devoted to prove the following main results of the present article.
Theorem 4.1
Let X be a complex projective K3 surface. Then
for any \(\sigma \in \mathrm {Stab}^\dagger (\mathcal {D}^b\mathrm {Coh}(X))\), where
Here \(\rho \) and \(\mathrm {disc}\) denote the rank and the discriminant of the Néron–Severi group \(\mathrm {NS}(X)\), respectively.
Theorem 4.2
Let X be a K3 surface of Picard rank one, with \(\mathrm {NS}(X)=\mathbb {Z}H\) and \(H^2=2n\). Then
holds for any \(\sigma \in \mathrm {Stab}^\dagger \left( \mathcal {D}^b\mathrm {Coh}(X)\right) \).
Reduction to latticetheoretic problems
We start with recalling some standard notations. Let X be a smooth complex projective K3 surface and \(\mathcal {D}=\mathcal {D}^b\mathrm {Coh}(X)\) be its derived category. Sending an object \(E\in \mathcal {D}\) to its Mukai vector \(v(E) = \mathrm {ch}(E)\sqrt{\mathrm {td}(X)}\) identifies the numerical Grothendieck group of \(\mathcal {D}\) with the lattice
The Mukai pairing on \(\mathcal {N}(\mathcal {D})\) is given by
Since the Mukai pairing on \(\mathcal {N}(\mathcal {D})\) is nondegenerate, any group homomorphism \(\mathcal {Z}: \mathcal {N}(D) \rightarrow \mathbb {C}\) can be written as \(\mathcal {Z}(v) = (\Omega , v)\) for a unique \(\Omega \in \mathcal {N}(\mathcal {D})\otimes \mathbb {C}\). This defines a map
which sends a stability condition \(\sigma =(\mathcal {Z}_\sigma ,\mathcal {P}_\sigma )\) to the unique element in \(\mathcal {N}(\mathcal {D})\otimes \mathbb {C}\) associated to its central charge \(\mathcal {Z}_\sigma :\mathcal {N}(\mathcal {D})\rightarrow \mathbb {C}\).
Define
Now we recall the description of the distinguished connected component \(\mathrm {Stab}^\dagger (\mathcal {D})\subset \mathrm {Stab}(\mathcal {D})\) by Bridgeland.
Theorem 4.3
[5] Let X be a complex projective K3 surface and \(\mathcal {D}=\mathcal {D}^b\mathrm {Coh}(X)\).

(a)
Let \(V(\mathcal {D})\subset \mathrm {Stab}(\mathcal {D})\) be the subset consisting of geometric stability conditions constructed via tilting of \(\mathrm {Coh}(X)\) in [5, Section 6]. Then the map \(\pi \) restricts to give a homeomorphism
$$\begin{aligned} \pi _{V(\mathcal {D})}:V(\mathcal {D})\rightarrow \mathcal {L}(\mathcal {D}). \end{aligned}$$ 
(b)
Let \(U(\mathcal {D})\subset \mathrm {Stab}(\mathcal {D})\) be the open subset consisting of all geometric stability conditions. For any \(\sigma \in U(\mathcal {D})\), there exists a unique \(g\in \widetilde{\mathrm {GL}^+(2,\mathbb {R})}\) such that \(\sigma \cdot g\in V(\mathcal {D})\).

(c)
Let \(\mathrm {Stab}^\dagger (\mathcal {D})\subset \mathrm {Stab}(\mathcal {D})\) be the connected component containing \(U(\mathcal {D})\). Every stability condition in \(\mathrm {Stab}^\dagger (\mathcal {D})\) is mapped into the closure of \(U(\mathcal {D})\) by some autoequivalence of \(\mathcal {D}\).
The following proposition allows us to compute the categorical systole of a stability condition on \(\mathcal {D}\) using only its central charge.
Proposition 4.4
Let \(\sigma =(\mathcal {Z}_\sigma , \mathcal {P}_\sigma )\in \mathrm {Stab}^\dagger (\mathcal {D})\). Then
Proof
Let \(v=mv_0\in \mathcal {N}(\mathcal {D})\) be a Mukai vector, where \(m\in \mathbb {Z}_{>0}\) and \(v_0\) is primitive. A result of Bayer and Macrì [3, Theorem 6.8], which is based on a previous result of Toda [31], says that if \(v_0^2\ge 2\), then there exists a \(\sigma \)semistable object with Mukai vector v for any \(\sigma \in \mathrm {Stab}^\dagger (\mathcal {D})\). Hence
On the other hand, for any stable object E,
Hence
This concludes the proof. \(\square \)
We can now reduce the categorical systolic inequality to a latticetheoretic problem. To prove Theorem 4.1 and 4.2, one needs to find an upper bound of the systolic ratio
for all \(\sigma \in \mathrm {Stab}^\dagger (\mathcal {D})\). Since the systolic ratio is a continuous function and is invariant under the actions of autoequivalences, by Theorem 4.3 (3), it suffices to find an upper bound of the systolic ratio on \(U(\mathcal {D})\).
By Theorem 4.3 (2), any element in \(U(\mathcal {D})\) can be written as \(\sigma \cdot g\) for some \(\sigma \in V(\mathcal {D})\) and \(g\in \widetilde{\mathrm {GL}^+(2,\mathbb {R})}\). By Lemma 2.7 (4) and the computations in Example 2.15, we have
since \(t_2<1\) (recall the notations in Lemma 2.7). Therefore, it is enough to find an upper bound of the systolic ratio on \(V(\mathcal {D})\).
By Theorem 4.3 (1), the central charges of stability conditions in \(V(\mathcal {D})\) are of the form
where \(\beta ,\omega \in \mathrm {NS}(X)\otimes \mathbb {R}\) and \(\omega ^2>0\). By Example 2.15, the volume of the stability conditions of this form is \(2\omega ^2\). On the other hand, the categorical systole can be computed by Proposition 4.4 given the central charge:
Hence, Theorem 4.1 and 4.2 can be obtained by proving the following latticetheoretic statements.
Proposition 4.5
For any \(\beta ,\omega \in \mathrm {NS}(X)\otimes \mathbb {R}\) with \(\omega ^2>0\) and any \(C>\frac{(\rho +2)!\sqrt{\mathrm {disc}\mathrm {NS}(X)}}{2^{(\rho +1)/2}}\), there exists \((r,D,s)\in \mathcal {N}(\mathcal {D})\backslash \{(0,0,0)\}\) satisfying

(a)
\(\omega .(D+r\beta )\le C\sqrt{\omega ^2}\);

(b)
\(s+\beta .D+\frac{1}{2}(\beta ^2\omega ^2)r\le \sqrt{2\omega ^2}\);

(c)
\(D^22rs\ge 2\).
Proposition 4.6
For any \(\beta \in \mathbb {R}\) and \(\omega >0\), there exists \((r,d,s)\in \mathbb {Z}^3\backslash \{(0,0,0)\}\) not all zero satisfying

(a)
$$\begin{aligned} \frac{s + 2n(\beta +i\omega )d + n(\beta +i\omega )^2 r^2}{4n\omega ^2} <n+1; \end{aligned}$$

(b)
\(nd^2rs\ge 1\).
We will prove these two propositions in the next two subsections.
Systolic inequality for K3 surfaces of Picard rank one
We prove Proposition 4.6 in this subsection. Note that the method in this proof does not work for K3 surfaces with higher Picard rank, due to the indefiniteness of the intersection pairing on \(\mathrm {NS}(X)\) for \(\rho (X)>1\).
In order to find such triple (r, d, s) in Proposition 4.6 for small \(\omega \), we need the following technical lemma.
Lemma 4.7
For any real number \(\beta \) and any \(0<\omega <\frac{1}{\sqrt{n}}\), there exists integers (r, d, s) such that:
Proof
Let \(l=\lfloor \frac{1}{\sqrt{n}\omega }\rfloor +1\). For each \(1\le j\le l\), choose \(d_j\in \mathbb {Z}\) such that
Consider the real numbers \(\left\{ 2n\beta d_j + n\beta ^2 j\right\} _{1\le j\le l}\) modulo 1. There is at least a pair \((2n\beta d_j + n\beta ^2 j, 2n\beta d_k + n\beta ^2 k)\) has distance less than or equals to 1/l modulo 1. Say \(j>k\) without loss of generality. We choose \(r=jk\), \(d=d_jd_k\), and choose s to be the integer closest to \(2n\beta d  n \beta ^2 r\). Then
and
Let \(\epsilon =s+2n\beta d+ n\beta ^2 r\). Then
We have
and
Hence \(1< nd^2sr < n+1\). Since it is an integer, thus \(0\le nd^2sr\le n\). \(\square \)
We can now prove Proposition 4.6.
Proof of Proposition 4.6
If \(\omega \ge \frac{1}{\sqrt{n}}\), one can simply take the class of skyscraper sheaves \((r,d,s)=(0,0,1)\) and check that it satisfies the required conditions. If \(\omega <\frac{1}{\sqrt{n}}\), we choose (r, d, s) as in Lemma 4.7. Then it satisfies \(sr < nd^2+1\) and
\(\square \)
Remark 4.8
(Spherical systole) The notion of spherical objects in a triangulated category was introduced by Seidel and Thomas [30]. These objects are the categorical analogue of Lagrangian spheres in derived Fukaya categories. One can define the spherical systole of a Bridgeland stability condition \(\sigma \) on a triangulated category \(\mathcal {D}\) as the minimum among the masses of spherical objects:
It is not hard to show that the notions of spherical systole and categorical systole coincide for stability conditions on elliptic curves. However, this is not true for the derived categories of K3 surfaces. The following proposition shows that the systolic inequality does not hold for spherical systole on K3 surfaces.
Proposition 4.9
Let X be a K3 surface of Picard rank one and \(\mathcal {D}=\mathcal {D}^b\mathrm {Coh}(X)\) be its derived category of coherent sheaves. Then
Proof
Let \(\mathrm {NS}(X)=\mathbb {Z}H\) and \(H^2=2n\). Let \(\omega H\in \mathrm {NS}(X)\otimes \mathbb {R}\) be an ample class. Then \(\mathcal {Z}=(\exp (i\omega H), )\) gives the central charge of a stability condition in \(\mathrm {Stab}^\dagger (\mathcal {D})\) if \(\omega >1\) ([5, Lemma 6.2]). By Proposition 4.4 and Example 2.15,
Here we use the fact that the Mukai vector of a spherical object S satisfies \( v(S)^2 =  \hom ^0(S,S) + \hom ^1(S,S)  \hom ^2(S,S) = 2. \)
Let \(v=(r, dH, s) \in \mathbb {Z}\oplus \mathrm {NS}(X) \oplus \mathbb {Z}\) be a vector satisfying \(v^2 = 2nd^2  2rs = 2\). Then \(rs\ne 0\) and r, s are both positive or both negative. Hence
\(\square \)
Remark 4.10
In the proof of Proposition 4.6, we do not make use of the Mukai vectors of spherical objects. Recall that
but we only use the Mukai vectors that satisfy \(0\le v^2 \le 2n\) to prove the systolic inequality (c.f. Lemma 4.7).
Systolic inequality for general K3 surfaces
We prove Proposition 4.5 in this subsection. The proof is based on a classical result on the existence of integer points by Minkowski.
Theorem 4.11
(Minkowski) Every convex set in \(\mathbb {R}^n\) which is symmetric with respect to the origin and has volume greater than \(2^n\) contains a nonzero integer point.
Proof of Proposition 4.5
We fix an identification \(\mathrm {NS}(X)\cong \mathbb {Z}^\rho \). For any \(\omega \in \mathrm {NS}(X)\otimes \mathbb {R}\) with \(\omega ^2>0\), the intersection pairing restricts on \(\langle \omega \rangle ^\perp \subset \mathbb {R}^\rho \) is negative definite by Hodge index theorem. Choose
such that \(D_i.D_j=0\) for all \(i\ne j\), and \(D_i^2=1\) for all i.
Consider the following vectors in \(\mathbb {R}^{\rho +2}\cong \mathbb {R}\oplus (\mathrm {NS}(X)\otimes \mathbb {R})\oplus \mathbb {R}\):
where C is any number larger than \(\frac{(\rho +2)!\sqrt{\mathrm {disc}\mathrm {NS}(X)}}{2^{(\rho +1)/2}}\).
Consider the following convex set in \(\mathbb {R}^{\rho +2}\) which is symmetric with respect to the origin:
One can check that the volume of \(\mathcal {C}\) is greater than \(2^{\rho +2}\). Therefore to prove Proposition 4.5, it suffices to show that any vector in \(\mathcal {C}\) satisfies the following conditions:

(a)
\(\omega .(D+r\beta )\le C\sqrt{\omega ^2}\);

(b)
\(\left s+\beta .D+\frac{1}{2}(\beta ^2\omega ^2)r\right \le \sqrt{2\omega ^2}\);

(c)
\(D^22rs\ge 2\).
Observe that the vectors \(v_1,v_2,\ldots ,v_{\rho +2}\) satisfy all three conditions. Since the first two conditions are linear in \((r,D,s)\in \mathbb {R}^{\rho +2}\), hence are satisfied by all the vectors in \(\mathcal {C}\).
Let \((r,D,s)=\sum _{i=1}^{\rho +2} e_iv_i\in \mathcal {C}\). Then
since \(\sum _{i=1}^{\rho +2}e_i\le 1\). This concludes the proof of Proposition 4.5 by Minkowski’s theorem. \(\square \)
Future studies
Applications in symplectic geometry
Recall the two questions we proposed in the introduction.
Question 5.1
(see Question 1.2) Let Y be a Calabi–Yau manifold and \(\omega \) be a symplectic form on Y. Does there exist a constant \(C=C(Y,\omega )>0\) such that
holds for any holomorphic top form \(\Omega \) on Y?
Question 5.2
(see Question 1.6) Let X be a Calabi–Yau manifold and \(\Omega \) be a complex structure on X. Let \(\mathcal {D}=\mathcal {D}^b\mathrm {Coh}(X, \Omega )\) be its derived category of coherent sheaves. Does there exist a constant \(C=C(X, \Omega )>0\) such that
holds for any \(\sigma \in \mathrm {Stab}^\dagger (\mathcal {D})\)?
In the present article, we give an affirmative answer to Question 5.2 for any complex projective K3 surface X, and find an explicit systolic constant C which depends only on the rank and discriminant of \(\mathrm {NS}(X)\). Now we discuss how this result can be used to answer Question 5.1, via the homological mirror symmetry conjecture proposed by Kontsevich.
Conjecture 5.3
[18] For any Calabi–Yau manifold with a symplectic structure \((Y,\omega )\) , there exists a Calabi–Yau manifold with a complex structure \((X,\Omega )\) such that there is an equivalence between triangulated categories
The conjecture has been proved in several cases, see for instance [27,28,29]. In particular, for any K3 surface Y and a symplectic form \(\omega \) on Y, it is expected that there exists a K3 surface X with a complex structure \(\Omega \) such that the above equivalence of categories holds.
Corollary 5.4
Assume Conjecture 2.3 and 5.3 hold for all K3 surfaces. Also assume that the space of stability conditions on \(\mathcal {D}^b\mathrm {Coh}(X)\) is connected for any projective K3 surface X. Then Question 5.1 has an affirmative answer for any K3 surface Y.
Proof
Conjecture 2.3 holds for \(\mathcal {D}^b\mathrm {Fuk}(Y,\omega )\) implies that for any holomorhpic 2form \(\Omega _Y\) on Y, there is an associated Bridgeland stability condition \(\sigma _{\Omega _Y}\) on the derived Fukaya category of \((Y,\omega )\) such that
Assuming the validity of Conjecture 5.3 for K3 surface \((Y,\omega )\), then there exists a K3 surface with a complex structure \((X,\Omega )\) such that
Therefore \(\sigma _{\Omega _Y}\) induces a Bridgeland stability condition on \(\mathcal {D}^b\mathrm {Coh}(X,\Omega )\). By Theorem 1.7 and the assumption that \(\mathrm {Stab}(\mathcal {D}^b\mathrm {Coh}(X))\) is connected, we have
where \(C = \frac{((\rho +2)!)^2\mathrm {disc}\ \mathrm {NS}(X)}{2^\rho }+4\). Hence, the inequality
holds for any holomorphic 2form \(\Omega _Y\) on Y. \(\square \)
Systolic inequality for Calabi–Yau threefolds
The existence of Bridgeland stability conditions on quintic Calabi–Yau threefolds is proved by Li recently [21]. It would be interesting to investigate whether the categorical systolic inequality
continues to hold for Calabi–Yau threefolds. Note that the categorical volumes of geometric stability conditions on quintic Calabi–Yau threefolds near the “large volume limit" were computed in [10, Section 4.4]. Hence the main difficulty lies in determining the categorical systoles. It would be nice if properties similar to Proposition 4.4 hold for Calabi–Yau threefolds.
Categorical systole as topological Morse function
It is proved by Akrout [1] that the systole of Riemann surfaces is a topological Morse function on the Teichmüller space. In fact, Akrout shows that a “generalized systolic function” defined locally as the minimum of a finite number of functions with positive definite Hessians is a topological Morse function, and then apply a result of Wolpert [32] that length functions have positive definite Hessians with respect to the Weil–Petersson metric on the Teichmüller space.
Motivated by the correspondence between flat surfaces and stability conditions, it would be interesting to show that the categorical systole is a topological Morse function on the space of Bridgeland stability conditions, and then deduce some topological properties of the quotient space \(\mathrm {Stab}(\mathcal {D})/\mathrm {Aut}(\mathcal {D})\). Since there also is a categorical analogue of Weil–Petersson metric on the space of stability conditions studied in [10], one might be able to follow the same approach as Akrout’s proof. We hope to come back to this question in the future.
References
 1.
Akrout, H.: Singularités topologiques des systoles généralisées. Topology 42(2), 291–308 (2003)
 2.
Atiyah, M.F.: Vector bundles over an elliptic curve. Proc. Lond. Math. Soc. 3(7), 414–452 (1957)
 3.
Bayer, A., Macrì, E.: Projectivity and birational geometry of Bridgeland moduli spaces. J. Am. Math. Soc. 27(3), 707–752 (2014)
 4.
Bridgeland, T.: Stability conditions on triangulated categories. Ann. Math. (2), 166(2), 317–345 (2007)
 5.
Bridgeland, T.: Stability conditions on \(K3\) surfaces. Duke Math. J. 141(2), 241–291 (2008)
 6.
Bridgeland, T.: Spaces of stability conditions. In: Algebraic geometry—Seattle 2005. Part 1, volume 80 of Proc. Sympos. Pure Math., pp. 1–21. Amer. Math. Soc., Providence, RI (2009)
 7.
Bridgeland, T., Smith, I.: Quadratic differentials as stability conditions. Publ. Math. Inst. Hautes Études Sci. 121, 155–278 (2015)
 8.
Cassels, J.W.S.: An Introduction to the Geometry of Numbers. Classics in Mathematics. Springer, Berlin (1997)
 9.
Douglas, M.R., Reinbacher, R., Yau, S.T.: Branes. Bogomolov and beyond, bundles and attractors. arXiv:math/0604597 (2006)
 10.
Fan, Y.W., Kanazawa, A., Yau, S.T.: Weil–Petersson geometry on the space of Bridgeland stability conditions. arXiv:1708.02161 (2017)
 11.
Ginzburg, V.: Calabi–Yau algebras. arXiv:math/0612139 (2006)
 12.
Gaiotto, D., Moore, G.W., Neitzke, A.: Wallcrossing, Hitchin systems, and the WKB approximation. Adv. Math. 234, 239–403 (2013)
 13.
Haiden, F.: An extension of the Siegel space of complex abelian varieties and conjectures on stability structures. arXiv:1808.06364 (2018)
 14.
Haiden, F., Katzarkov, L., Kontsevich, M.: Flat surfaces and stability structures. Publ. Math. Inst. Hautes Études Sci. 126, 247–318 (2017)
 15.
Joyce, D.: Conjectures on Bridgeland stability for Fukaya categories of CalabiYau manifolds, special Lagrangians, and Lagrangian mean curvature flow. EMS Surv. Math. Sci. 2(1), 1–62 (2015)
 16.
Katz, M.G.: Systolic geometry and topology, volume 137 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI. With an appendix by J. P. Solomon (2007)
 17.
Keller, B.: Deformed CalabiYau completions. J. Reine Angew. Math. 654, 125–180 (2011) [With an appendix by M. Van den Bergh]
 18.
Kontsevich, M.: Homological algebra of mirror symmetry. In: Proceedings of the International Congress of Mathematicians, vol. 1, 2 (Zürich: pp. 120–139. Birkhäuser, Basel (1994)
 19.
Kontsevich, M., Soibelman, Y.: Stability structures, motivic Donaldson–Thomas invariants and cluster transformations. arXiv:0811.2435 (2008)
 20.
Kontsevich, M., Soibelman, Y.: Wallcrossing structures in DonaldsonThomas invariants, integrable systems and mirror symmetry. In: Homological mirror symmetry and tropical geometry, volume 15 of Lect. Notes Unione Mat. Ital., pp. 197–308. Springer, Cham (2014)
 21.
Li, C.: On stability conditions for the quintic threefold. Invent. Math. 218(1), 301–340 (2019)
 22.
Macrì, E.: Stability conditions on curves. Math. Res. Lett. 14(4), 657–672 (2007)
 23.
Moore, G.W.: Arithmetic and attractors. arXiv:hepth/9807087 (1998)
 24.
Okada, S.: Stability manifold of \(\mathbb{P}^1\). J. Algebr. Geom. 15(3), 487–505 (2006)
 25.
Pacini, T.: Extremal length in higher dimensions and complex systolic inequalities. arXiv:1904.07807 (2019)
 26.
Polishchuk, A.: Abelian Varieties, Theta Functions and the Fourier Transform. Cambridge Tracts in Mathematics, vol. 153. Cambridge University Press, Cambridge (2003)
 27.
Polishchuk, A., Zaslow, E.: Categorical mirror symmetry: the elliptic curve. Adv. Theor. Math. Phys. 2(2), 443–470 (1998)
 28.
Seidel, P.: Homological mirror symmetry for the quartic surface. Mem. Am. Math. Soc. 236(1116), vi+129 (2015)
 29.
Sheridan, N.: Homological mirror symmetry for CalabiYau hypersurfaces in projective space. Invent. Math. 199(1), 1–186 (2015)
 30.
Seidel, P., Thomas, R.: Braid group actions on derived categories of coherent sheaves. Duke Math. J. 108(1), 37–108 (2001)
 31.
Toda, Y.: Moduli stacks and invariants of semistable objects on \(K3\) surfaces. Adv. Math. 217(6), 2736–2781 (2008)
 32.
Wolpert, S.A.: Geodesic length functions and the Nielsen problem. J. Differ. Geom. 25(2), 275–296 (1987)
Acknowledgements
The author would like to thank Jayadev Athreya, Simion Filip, Fabian Haiden, PeiKen Hung, Atsushi Kanazawa, KuanWen Lai, Heather Lee, YuShen Lin, Emanuele Macrì, Nikolay Moshchevitin, ShingTung Yau and Xiaolei Zhao for helpful discussions and correspondences. This work was partially supported by Simons Collaboration Grant on Homological Mirror Symmetry. The author would also like to thank an anonymous referee for helpful comments and suggestions.
Author information
Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Fan, YW. Systolic inequalities for K3 surfaces via stability conditions. Math. Z. 300, 301–323 (2022). https://doi.org/10.1007/s00209021027868
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209021027868
Keywords
 Derived categories
 Bridgeland stability conditions
 Systolic inequalities
 Calabi–Yau manifolds
 Mirror symmetry
Mathematics Subject Classification
 14F05 (14J33, 18E30, 53D37)