Abstract:This paper proves that the 2-Calabi-Yau triangulated category associated with the preprojective algebra of an affine or hyperbolic graph admits many real variations of stability conditions, in the sense of Anno, Bezrukavnikov, and Mirković. We do this by connecting the Coxeter arrangements of the graph with the homological algebra by introducing the concept of real flows. This categorifies the notion of above and below for alcoves in a hyperplane arrangement and allows us to generalise much of the machinery of real variations for affine arrangements to the hyperbolic setting. In the process, we show that the derived category with nilpotent cohomology is equivalent to the derived category of nilpotent modules over the preprojective algebra.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is whether in the K3 - category, the 2 - Calabi–Yau triangulated category (associated with the preprojective algebra Π) allows for the existence of many variations of real stability conditions. Specifically, the author aims to prove that for the preprojective algebra Π of affine or hyperbolic graphs, the corresponding 2 - Calabi–Yau triangulated category does indeed have a large number of variations of real stability conditions. These variations are defined in the sense of Anno, Bezrukavnikov and Mirković.
To achieve this goal, the author introduces the concept of "real flow", connecting the Coxeter arrangement of the graph with homological algebra. This enables them to generalize the real variation mechanism of affine arrangements to the hyperbolic setting. In the process, the author also shows that the derived category of Π - modules with nilpotent cohomology is equivalent to the derived category of nilpotent Π - modules.
Mathematically, let \(D\) be a triangulated category and \(H\) be a locally finite arrangement of real hyperplanes with an orientation \(\prec\) defined on the alcoves (connected components) of the hyperplane complement. According to [ABM15], a variation of real stability conditions on \(D\) consists of the following data:
1. A real central charge \(Z\), that is:
\[
Z: L \to K(D)^*_R, \quad \vartheta \mapsto Z_\vartheta
\]
2. A map \(\heartsuit\) that assigns hearts (the cores of bounded t - structures) to each alcove \(A\).
These data need to satisfy the orthogonal pairing condition and the t - structure compatibility condition between adjacent alcoves. If an alcove is above another alcove with respect to \(\prec\), the associated hearts differ by an appropriate homological shift.
The author uses a finite connected graph \(\Delta\) and its preprojective algebra \(\Pi\) to construct a new class of stability conditions, which are parameterized by the Coxeter arrangement \(H_\Delta\) associated with \(\Delta\). Specifically, the author proves the following theorem:
\[
\text{Let } \Delta \text{ be a connected graph of affine or hyperbolic type, and choose a real flow } F \text{ on its Coxeter arrangement } H_\Delta.\\
\text{Then there exists a variation of real stability conditions on } D_\Delta \text{, where the bounded t - structure at each alcove } A \text{ is determined by the corresponding Weyl group element under } F.
\]
Furthermore, the author also proves an independent result, that the standard t - structure is faithful in \(D_\Delta\):
\[
\text{Let } \Pi \text{ be the preprojective algebra of a graph without loops and of non - finite type, then there is a categorical equivalence:}
\]
\[
D^b(\text{nilp}\Pi) \sim \to D^b_{\text{nilp}}(\Pi)
\]
In summary, the main contribution of this paper lies in successfully generalizing the affine stability conditions to the hyperbolic setting by introducing the concept of real flow and proving the existence of a large number of variations of real stability conditions.