The stability manifold of local orbifold elliptic quotients

In this paper, we investigate the stability manifold of local models of orbifold quotients of elliptic curves. In particular, we describe a component of the stability manifold which maps as a covering space onto the universal unfolding space of the mirror singularity. The construction requires a detailed study of the McKay correspondence for $A_N$ surface singularities and a study of wall-crossing phenomena.


Introduction
The space of stability conditions on a triangulated category D was introduced by Bridgeland in [6], following work of Douglas on Π-stability in string theory [11]. Bridgeland shows that the set of these stability conditions is a complex manifold Stab(D) [6], equipped with a local isomorphism π : Stab(D) → Hom(K(D), C). The stability manifold Stab(D) is fully understood in the case when D is the derived category of coherent sheaves on a smooth projective curve (see [6] for the elliptic curve, [24] for curves of positive genus, and [3], [28] for the projective line). In the case of an elliptic curve, the stability manifold acquires a mirror-symmetric significance, in fact, it can be expressed as a C * -bundle over the modular curve [8].
In this paper, we show that a similar interpretation is possible for quotients of elliptic curves by a group of automorphisms. We work on surfaces and describe the stability manifold for D a certain triangulated category on a local model of an elliptic quotient. The main result of this paper is Theorem 1.2, which expresses Stab(D) as a covering space of a subset of Hom(K(D), C) determined by the data of the quotient. Theorem 1.2 represents an extension of previous results in two directions: on the one hand, it is an analog of the work of Bridgeland and Thomas on Kleinian singularities [9], [33] in the context of simple elliptic singularities. At the same time, it extends Ikeda's result [18] on arbitrary root systems of symmetric Kac-Moody Lie algebras to the case of elliptic root systems.
Summary of the results. Let X be the orbifold quotient of an elliptic curve E by a group of group automorphisms of E. The orbifold X is a weighted projective line of genus 0 in the sense of Geigle and Lenzing [12]. We consider its local model; in other words, we embed X as the zero section in the total space of its cotangent bundle Y := Tot(ω X ), and let D be the triangulated subcategory of D b (Coh(Y )) generated by sheaves supported on X.
Studying D, rather than D b (X), has two main advantages: the elliptic root system associated with X is more evident, and one can use the McKay correspondence to compare the local orbifold to a smooth surface. From this point of view, local orbifold elliptic quotients represent an analog of Kleinian singularities.
The space Hom(K(D), C) can be given a representation-theoretic interpretation as follows. The bilinear Euler form χ : K(D) × K(D) → Z defined as is symmetric since D is a K3-category, and K(D) is identified with the root lattice of an elliptic root system R, whose bilinear form matches the Euler form. This premise is similar to Bridgeland's in [9], with the difference that χ is only negative semindefinite here. We denote by a := −[O x ] and b := 2 i=0 [ω ⊗i X ] the two classes generating its radical. The Weyl group W on Hom(K(D), C) acts on the region E := {Z ∈ Hom(K(D), C) | Z(a) = 1, Im Z(b) > 0} , which coincides with the Tits cone of the affine root system R a = R/Za (Lemma 3.9). Let D be a fundamental domain for the action of W on E. We exhibit a region U in the stability manifold which is homeomorphic to D (Prop. 4.18) and lift the action of W using a group Br(D) of autoequivalences of D, generated by spherical twists (as defined by Seidel and Thomas [31]).
A key step in the construction of U is the McKay correspondence [10]: it gives an equivalence of categories between D b (Y ) and the minimal resolution Y of the coarse space of Y . In turn, this induces an equivalence between D and the triangulated category D generated by sheaves supported on the pull-back of the zero section to Y . We define a heart of a bounded t-structure A R ⊂ D as the inverse image of Coh(Y )∩D ⊂ D . Then, we use the relation between coherent sheaves on Y and perverse sheaves on Y (see [5,37]) to explicitly describe A R , classify its objects (Prop. 4.17), and finally define U as the region of Stab(D) containing conditions (Z, A R ) with Z ∈ D. Denote by Stab † (D)) the connected component of Stab(D) containing U .
We will often restrict our attention to the locus of normalized stability conditions rather than the full Stab † (D), and we let Stab † n (D) be the connected component of Stab n (D) containing U . Normalization is a natural approach, effective in the study of threefold singularities (see for example [34]) and fitting with the representation-theoretic definition of E. Moreover, every stability condition in Stab † (D) is obtained from Stab n (D) using the natural C-action (see Remark 4.21).
We show in Prop. 4.20 that the condition is automatic for all stability conditions in Stab † (D) (and hence in Stab † n (D)), and therefore π maps Stab † n (D) to E. The proof requires to understand wall-crossing for some specific classes in K(D), which we do in Section 5. Our wall-crossing result can be viewed as a local analog of the classification of indecomposable sheaves on X by Lenzing and Meltzer [23,Theor. 4.6]: , and E (1,1) 8 [22], [27]. To these singularities, Saito associates a universal unfolding space and an elliptic root system [29]. If X is one of these quotients, a hyperbolic extension of X reg /W is the universal unfolding of the mirror elliptic singularity. Thus, Theorem 1.2 details the relation between the unfolding spaces and the stability manifold and gives a partial answer to Conjecture 1.3 in [32].
The automorphism group of a general elliptic curve E is generated by its involution ι. Theorems 1.1 and 1.2 hold for X = [E/ι], however, a mirror-symmetric interpretation seems less clear in this case.
As in [7], [9], we expect the following properties: (ii) the space Stab n (D) is simply connected. This would also show that the Artin group G W π 1 (X reg /W ) (see Proposition 3.14) is isomorphic to Br(D). See [18] and references therein for progress on Conjecture 1.6 in related frameworks.
Structure of the paper. Section 2 contains preliminaries on Bridgeland stability conditions, and Section 3 recalls the main aspects of the theory of elliptic root systems. In Section 4, we introduce the triangulated category D (4.2) construct the heart A R (4.3), classify its objects (4.4) and use it to construct U (4.5). Section 5 contains our wall-crossing result, and in Section 6 we prove the main result.

Conventions.
We work over the field C of complex numbers. All abelian and triangulated categories are assumed to be C-linear. Given a graph Γ, we write |Γ| to denote the set of its vertices.
Acknowledgements. I wish to thank my doctoral advisor, Aaron Bertram, for his guidance and enthusiasm in suggesting this problem. I am grateful to Bronson Lim and Huachen Chen for our fruitful discussions, and to Arend Bayer for his helpful comments on a preliminary version of this work. I thank Michael Wemyss for his advice, and also for his help with Lemma 6.9.

Stability conditions
Stability conditions on triangulated categories were first introduced by Bridgeland and were inspired by work of Douglas on string theory (see [6] and references therein). We recall here the definition and basic properties of stability conditions and the stability manifold. We refer the interested reader to the seminal work of Bridgeland [6], [7] and to the surveys [16], [25].
In what follows, T is a triangulated category, with Grothendieck group K(T).

Definition 2.2.
A stability condition on T is a pair σ = (Z, P) where: (i) P is a slicing of T; (ii) Z : K(T) → C is an additive homomorphism called the central charge; and they satisfy the following properties: (1) For any non-zero E ∈ P(φ), (2) (Support property) Fix any norm · on K(T). Then we require Given a stability condition σ = (Z, P), we'll refer to P((0, 1]) as to the heart associated to σ. In fact, P((α, α + 1]) is always the heart of a bounded t-structure for all α ∈ R, and it's an abelian category.
For the general theory about bounded t-structures, we refer the reader to [4], here we only recall the following lemma, which will be useful in what follows. Proof. This is [25,Ex. 5.6].
Remark 2.4 ([6, Prop. 5.3]). To construct stability conditions it is often convenient to use an alternative definition. In fact, sometimes we will write a stability condition as a pair σ = (Z, A), where A is the heart of a bounded t-structure and Z is a stability function satisfying Harder-Narasimhan and support property. A stability function is a linear map Z : K(A) → C such that any non-zero E ∈ A satisfies Z([E]) ∈ R >0 · e iπφ with φ ∈ (0, 1]. Then one defines φ to be the phase of E, and declares E to be σ-(semi)stable if for all non-zero subobjects F ∈ A of E, φ(F ) < (≤)φ(E). We say that Z satisfies the HN property if for every E ∈ A there is a unique filtration The support property is the same as in Definition 2.2. To recover a slicing as in Definition 2.2, set P(φ) to be the category of σ-semistable objects of phase φ for φ ∈ (0, 1], and declare P(φ) = P(φ + n) for all n ∈ Z.

Torsion pairs and tilts of abelian categories.
Next, we recall the definition of a tilt of an abelian category A, which is a technique to produce new abelian subcategories of D b (A). Indeed, the tilt of a heart of a bounded t-structure is a new heart in D b (A) [13].
Definition 2.7. Let A be an abelian category. A torsion pair for A is a pair of full subcategories (T , F) such that: (i) Hom (T , F) = 0; (ii) for any E ∈ A there exists a short exact sequence where T ∈ T and F ∈ F.

Elliptic root systems
In this section we introduce elliptic root systems and recall some of their properties. Elliptic root systems were introduced by Saito [29,30], in our exposition we draw also from [32] and [19]. . Let F be a real vector space of rank l + 2, equipped with a positive semidefinite symmetric bilinear form I : F × F → F , whose radical rad I has rank 2. An elliptic root system associated to (F, I) is a subset R ⊂ F of non-isotropic elements such that: (1) the additive group generated by R, denoted Q(R), is a full sublattice of F . That is, the embedding Q(R) ⊂ F induces an isomorphism Q(R) R F ; (2) the form I takes integer values on R × R; (3) For all α in R, the reflection The subgroup W of Aut(F, I) generated by the w α for α ∈ R is called the Weyl group of the root system R. The lattice rad I ∩ Q(R) is full in the two-dimensional vector space rad I. A marking of R is the choice of a 1-dimensional subspace G ⊂ rad I, and (R, G) is called a marked elliptic root system.
To a marked elliptic root system we can associate an affine root system R a and a finite root system R f of rank l by considering the quotients and the bilinear forms induced on F f and F a by I. Now fix a marked root system (R, G), with generators a, b for rad I ∩ Q(R) and G = Ra.
. The elements of R are also called the real roots of R. We define the set ∆ im of imaginary roots of R as 3.1. The Dynkin graph. To a marked elliptic affine root system (R, G) one can associate a diagram Γ R,G called the Dynkin diagram of (R, G) (see [29, §5]). In general, the vertices of Γ R,G are in bijection with a root basis of R (defined as in [29, §3.4]), and two vertices α, β ∈ |Γ R,G | are connected following the rule: The results of this section hold for all elliptic root systems (classified in [29, Table 1]).

Notation 3.4.
In the rest of this work we will only need diagrams Γ of the following specific shape (called an octopus in [32]): We assume from now on that elliptic diagrams have the octopus shape, and adopt the labelling shown above for the vertices of Γ. We denote by α (i,j) the root of R corresponding to the vertex (i, j).
The marking of an octopus-shaped elliptic root system is generated by the class a := α (0,1) − α (0,0) . Erasing the (0, 0) vertex and all adjacent edges in the above diagrams yields the Dynkin diagram Γ a associated with R a , so we have |Γ a | = |Γ| \ {(0, 0)}. Then {α v } v∈|Γa| give a root basis for R a . Let b be the imaginary root of the affine system R a (b is a positive linear combination of the {α v } v∈|Γ|a , see [20,Chap. 5]). Then, (a, b) is a basis for rad I. , whose diagrams are all octopus-shaped: Erasing the (0, 0) vertex and all adjacent edges in the above diagrams yields the Dynkin diagrams of affine root systems of typeD 4 ,Ẽ 6 ,Ẽ 7 , andẼ 8 respectively.
3.2. The Weyl group. Since a ∈ rad I, W preserves the marking G ⊂ F . Then, the projection p : F → F/G induces a homomorphism p * : W → W a to the affine Weyl group associated with R a . Denote by T the kernel of p * . . The subgroup of W generated by {w αv | v ∈ |Γ a |} is isomorphic to W a , so the sequence splits into a semi-direct product W = T W a .
Next we give an explicit descripton of T . To do so, we introduce the following elements of W : Moreover, there is a group homomorphism Q(R f ), and ϕ induces the inclusion T → W of the exact sequence (4).
3.3. Tits cone, regular set, and fundamental domain. We follow [30] and define: The Weyl group W acts on E by (gx)(β) := x(g −1 β) for x ∈ E and g ∈ W . This action preserves x | rad I , so it respects the restriction map s : E → H.
With the goal of describing a fundamental domain for the action of W on E, we will identify E with the complexified Tits cone of R a (see [20, §3.12] for basic facts about Tits cones).
Recall that to the affine root system R a is associated the Weyl alcove for v ∈ |Γ a |} and the (real) Tits cone T R (R a ), defined as the topological interior of The complexified Tits cone associated to R a is There is an isomorphism of complex manifolds between E and T(R a ), equivariant with respect to the action of W a .
The complexified Tits cone can be equivalently described as . Then, it is clear that φ is a holomorphic map sending E bijectively onto T(R a ). Moreover, the action of W a on T(R a ) coincides with that on E through W a ⊂ W as in Lemma 3.6.
In order to describe the action of T on E (see Lemma 3.6), it will be convenient to emphasize a complex structure on E τ := s −1 (τ ) induced by τ ∈ H. In fact, τ defines an isomorphism rad I C by ua + vb → u + vτ. Next, identify E τ with the relative tangent space of π over τ . This is a complexification The bilinear form I induces an isomorphim I * : V ∼ − → V * = F/ rad I, and in turn an isomorphism of complex vector spaces We write (ii) Under the identification (6), the group T acts as a finite index subgroup of the real translation lattice Q(R f ) ⊂ V . In particular, T acts freely on E.
Proof. The first statement is straightforward, since τ is determined by the restriction of x ∈ E to rad I, which is W -invariant. The second statement follows immediately from Lemma 3.8 and the fact that x(a) = 1 for all x ∈ E.
We can finally describe the regular set for the action of W on E: Proposition 3.11. The action of W on E is properly discontinuous. Moreover, the space of regular orbits of W is Proof. The first statement is [30, (3.5)]. The second follows from the description of the regular set of T(R a ) ([20, Prop. 3.12]), combined with Lemma 3.9 and the fact that T acts freely on E (Lemma 3.10).
We think of X reg and E as naturally sitting in Hom(F, C).

Denote by A ⊂ T(R a ) the complexified Weyl alcove
We think of A as embedded in E via Lemma 3.9, and write A τ for the intersection of A with E τ .
Let B be a hypercube in V which contains the origin and is a fundamental domain for the action of T on V , and define

Proposition 3.12. A fundamental domain for the action of W on E τ is the intersection
Proof. As a consequence of Prop. 3.11, it is enough to show that for every Z ∈ E τ there exists an element w ∈ W such that w · Z ∈ D τ . Using the complex structure given in (6), we may The statement about E follows, since every w ∈ W preserves the fibers E τ by Lemma 3.10.
3.4. Boundary of D and fundamental group. Next, we describe the boundary of D in X reg in terms of walls for the action of W . For vertices v ∈ |Γ a | we define walls W v,± ⊂ D for the Weyl alcove For vertices u ∈ |Γ f |, write Y u,± for the faces of the fundamental hypercube B , and let Then, the boundary of D in X reg is contained in the union of the walls W v,± and Y u,± as v, u vary. Next, we describe the fundamental group of X reg /W . Definition 3.13. Let R be an elliptic root system. The Artin group G W associated with the Weyl group W is the group generated by Proposition 3.14. Suppose R is an elliptic root system. Then, the fundamental group of X reg /W is The generator g v of G W is given by the path connecting * and w αv ( * ) passing through W v,+ just once. The generator h v of G W is given by the path connecting * and r v ( * ) which is constant in the imaginary part.
Proof. By Lemma 3.9, the set X reg coincides with the regular subset of the complexified Tits cone

Triangulated categories associated to local elliptic quotients
We consider orbifold curves obtained from a quotient of an elliptic curve by a finite subgroup of its automorphism groups. Every elliptic quotient has P 1 as coarse moduli space and orbifold points p i with stabilizers µ a i . Up to permuting the p i 's, there are only 4 possibilities, namely: P 1 2,2,2,2 (here, r = 4 and a i = 2 for all i), P 1 3,3,3 , P 1 4,4,2 and P 1 6,3,2 . We denote them respectively X 2 , X 3 , X 4 and X 6 .
Each X k is realized as a quotient of an elliptic curve E k by a cyclic group µ k of group automorphisms: From now on, we fix k and denote X : where the vertical arrows are quotients by µ and the horizontal ones are inclusions via the zero section.
Recall that a triangulated category T is called a K3-category if the functor [2] is a Serre functor, i.e. if for any two objects E, F ∈ T there is a natural isomorphism Let D denote the full triangulated subcategory of coherent sheaves supported on the zero section of Y . Then we have: In particular, the Euler form is symmetric. Moreover, for any E, F ∈ D b (X), one has Proof. This follows from [21,Lemma 4.4]. Proof. Let X n be the n-th order neighborhood of X in Y . Denote by B be the abelian category of sheaves supported on X. Then any F ∈ B is an O Xn -module for some n. Therefore, F is obtained as a successive extension of O X -modules, and the map is surjective. Let π : Y → X denote the projection to the zero section. Since R i π * = 0 for i > 0, the functor π * : B → Coh(X) is exact. The induced map on K-groups is the inverse of ι * .

Exceptional and spherical objects. An object
. Suppose S ∈ D is a spherical object. Given an object G ∈ D we define Φ S (G) to be the cone of the evaluation morphism The operations Φ S , Φ − S define autoequivalences of D, called spherical twists [31]. Spherical twists act on K(D) via reflections: if S is a spherical object, and [G] ∈ K(D), we have Proof. These properties follow from Proposition 2.10, Lemma 2.11 and Proposition 2.13 in [31].
Next, we construct spherical objects (and autoequivalences) of D. We do so starting from an exceptional collection of D b (X): An exceptional collection is a sequence of exceptional objects E 1 , ..., E n such that Hom • (E i , E j ) = 0 for i > j. We say that an exceptional collection is full if it generates T, i.e. T is the smallest triangulated category containing {E 1 , .., E n }.
The category Coh(X) admits exceptional simple sheaves (see, for example, [12]), described as follows. Identify Coh(X) with the category of µ-equivariant sheaves on E, and denote by p i ∈ E the points with non-trivial stabilizer µ a i . Let χ 0 , ..., χ a i −1 be the irreducible representations of µ a i . The equivariant skyscraper sheaves O p i ⊗ χ j (with j ∈ {0, ..., a i − 1}) are exceptional objects of Coh(X).
Moreover, D b (X) admits several full exceptional collections [26]. We will use the following one: Exceptional objects in Coh(X) give rise to spherical objects in D: Proof. This is Proposition 3.15 in [31].
By Prop. 4.5, pushing forward the objects of F, we obtain a set of spherical objects: We define the subgroup of Aut(D) generated by spherical twists across objects of Π: The root system associated to D. In this section we use the spherical objects in Π to construct an elliptic root system associated with (K(D) R , χ).  ) is a basis of rad I and a is a marking for R; (ii) The Weyl group W is generated by {w S | S ∈ Π} (defined in (7)); (iii) the root systems arising from an elliptic orbifold quotient are precisely the ones described in Example Proof. The axioms of an elliptic root system for (K(D) R , χ D ) are verified in [26]. Observe that the radical rad I has rank 2, and the classes a, b are invariant under twists by ω X , so a, b ∈ rad I by Lemma 4.7 below.
In analogy with Notation 3.4, and in virtue of Prop. 4.6(iii), we write for the objects of Π.
Let Γ denote the diagram corresponding to R, and recall that the definitions of the underlying affine and finite Dynkin diagrams Γ a and Γ f (see Sec. 3.1). In analogy with Definition 3.7, we introduce the following elements of Br(D): (1) .., r, j = 2, ..., a i − 1; By Prop. 4.6(ii), the assignment Φ S → w S defines a surjective homomorphism q : Br(D) W.
It follows from the definitions and from the fact that q is a homomorphism that q maps the elements ρ v to the elements r v ∈ T < W for all v ∈ |Γ a |.

Perverse sheaves and a heart in D.
In this section we construct the heart of a bounded t-structure of D, denoted A R , associated with the root system R. To do so, we consider the minimal resolution Y of Y , the coarse moduli variety of the orbifold Y = Tot(ω X ), and use the McKay correspondence [10]. As a variety, Y has singularities of type A a i at p i . Then, the minimal resolution is f : Y → Y , with Rf * O Y = O Y and exceptional locus the union of a chain of rational curves above every point p i . We write X := X ∪ (∪ i,j C i,j ) for the union of the exceptional curves with the strict transform of X.
The derived McKay correspondence of [10] states that there is an equivalence which in turn induces an equivalence between D and the full triangulated subcategory D of sheaves supported on X . More precisely, Y can be realized as a moduli space of sheaves of Y as follows.
is isomorphic to the regular representation of µ as a C[µ]-module. We regard F as an element of Coh(Y ).
Let µ-Hilb(Y ) be the scheme parameterizing µ-clusters on Y . Then, µ-Hilb(Y ) is a crepant resolution of Y [10], and the equivalence Ψ is the Fourier-Mukai transform with kernel the universal family on µ-Hilb(Y ) × Y . Therefore we may pick Y := µ-Hilb(Y ) .
The inverse image of Coh(Y ) under Ψ is the abelian category of perverse sheaves on Y , which is obtained from Coh(Y ) with the tilt below (we follow the notation of [5] and [37]). Let C be the abelian subcategory of D(Y ) consisting of sheaves E such that Rf * E = 0, and define a torsion pair: We denote by Per(Y ) the tilt of Coh(Y ) along the pair (10), i.e. Per(Y ) := F 0 [1], T 0 . This results in a diagram whose horizontal arrows are equivalences: Denote by B and B the intersections of Coh(Y ) and Coh(Y ), respectively, with D and D . Observe that (T 0 ∩ D , F 0 ∩ D ) is a torsion pair of B : we denote by Per(X ) the corresponding tilt. Define A R := Ψ(B ). Then, restricting the above diagram to D and D yields: In particular, the equivalence Ψ maps the simple objects of Per(X ) into simple sheaves in of B: Remark 4.10. The category Per(Y ) is usually called the category of 0-perverse sheaves. Its dual category of (-1)-perverse sheaves is used in [5] and [35], and the two are compared in [37,Sec. 3.5]. Our choice of Ψ, and therefore of the perversity of Per(Y ), has the advantage of mapping skyscraper sheaves to clusters.

Lemma 4.11. A R is Noetherian.
Proof. This is straightforward, because B is Noetherian.
To classify objects of A R we will describe it explicitly as a tilt of B. Define F to be the full additive subcategory of B generated as the extension closure of subsheaves of the normal bundles .., r and T to be its left orthogonal in B . Denote by F (resp. T ) the subcategories Ψ(F ) (resp. Ψ(T )) of A R . Proof. We follow an argument similar to [36,Lemma 3.2]. We need to show that every sheaf E ∈ B fits in a short exact sequence with T ∈ T , F ∈ F . If E ∈ T , we are done. Otherwise, Hom(E, F) = 0, so there exists F 1 ∈ F fitting in a short exact sequence If Hom(M 1 , F ) = 0, repeat this process, and obtain By iterating this, we get a chain of inclusions with quotients in F . Then, the chain must terminate by Lemma 4.13. This means that there exists n for which Hom(M n , F ) = 0. Let F be the cokernel of the inclusion M n ⊂ E, then the sequence M n → E → F is the desired one. Claim. We may assume that for all k, the quotients F k are torsion free sheaves L k ⊂ O C (C), such that L k has connected support D k ⊂ C.
Indeed, by definition of F every F k admits a surjection to some L k ⊂ O C (C). By restricting L k to one of the connected components D k of its support, we may assume that L k has connected support. So we have quotients F k L k which define exact sequences is a positive linear combination a j [C i,j ] with coefficients strictly smaller than those of ch 1 (F k ). We can then repeat this process for the map M k+1 → M k ⊂ M k satisfying the statement of the claim.
We proceed to show that the sequence of inclusions must terminate with an induction on the length l of the chain of rational curves C.
In order to see this, apply the functor Hom(−, O C (C)) to the short exact sequence Observe that χ(L k , O C (C)) = −(D k ).C ≥ 0 by Hirzebruch-Riemann-Roch, and that because of (12).
If l = 1, we must have D k = C and −D k · C = 2. This shows that if L k = 0, then Hom(M k , O C (C)) > Hom(M k+1 , O C (C)), whence the chain of subobjects must terminate.
If l > 1, the only way the sequence does not terminate is that all L k satisfy D k · C = 0. This is only possible if no D k contains the terminal curves of the chain, C 1 and C l , in their support. In other words, L k ⊂ O C (C) |C O C (C ) where C = ∪ l−1 j=2 C j is a shorter chain. Then, we can repeat the argument above applying the functor Hom(−, O C (C )) to the sequences (11). Eventually, the problem is reduced to the case l = 1, and the process must terminate. Proposition 4.14. We have F = F 0 . Therefore, Proof. Suppose E ∈ F . We may assume that E is supported on just one curve C = C i . Moreover, E is a repeated extension of subsheaves of O C (C), so we may induce on the number of its factors and reduce to the case where E is a subsheaf of O C (C). It follows from left exactness of f * that f * E = 0. Now suppose U ∈ C. Composing a map U → E with the inclusion E ⊂ O C (C) yields an element of Hom Y (U, O C (C)). U must be supported on C since f : Y → Y is an isomorphism off C. Therefore we have isomorphisms (14) Hom We conclude Hom(U, E) = 0 for all U ∈ C, and E ∈ F 0 .

Classification of objects in
so by induction L D has the asserted structure. For the second statement, fix a point t ∈ C d 1 away from the intersections, and consider the cokernel Pushing forward the extension class ( ) to Ext 1 (R D , O C d 1 (−1)) produces an object L D as in the statement. Proof. This is equivalent to classifying sheaves of B supported on C := C i . First, we consider sheaves in F . A sheaf in F is an extension of subsheaves L ⊂ O C (C) with connected support. Any such inclusion must factor thorugh an inclusion L ⊆ L D , where L D is as in Lemma 4.15 and the cokernel L D /L is torsion. We have that Ψ(L) [1] and Ψ(L D ) [1] are sheaves on X, so applying the McKay functor to L → L D → L D /L we obtain a short exact sequence of sheaves in B: where M is obtained by repeated extensions of clusters. Now we claim that Ψ(L D ) [1] is a proper quotient of a cluster. In fact, apply Ψ to the exact sequence (15) of Lemma 4.15: Ψ(O t ) is a cluster, and Ψ(L D ) is a sheaf obtained by repeated extensions of t j i , j = 0. This yields a short exact [1] as the quotient of a cluster. This exhausts part (iii). Now, consider a sheaf B ∈ T . The torsion part B tor of B is obtained by repeated extensions of points, so Ψ(B tor ) is as in part (ii). We may then assume that B is torsion free with connected support. If B is supported on a single irreducible component C i , then B is a sum of line bundles of the form O C i (k). Since Hom(B, F ) = 0, we must have k > −2. Then Ψ(B) is obtained as an extension of t j i by clusters. If B is supported on more than one irreducible component, suppose that C j is a terminal component of the support of B and consider the restriction of B to C j . Then there is an exact sequence where B is supported on a shorter chain. B |C j is supported on one irreducible curve, so it is as above. If B ∈ T , we repeat this procedure. Otherwise, B fits in a short exact sequence of sheaves B → B → F with B ∈ T and F ∈ F . Sheaves in F are classified above, so we can assume that B ∈ T and conclude by induction on the length of the supporting chain.
As a consequence of the results in this section, we obtain the following description of objects in A R : 4.5. The fundamental region and normalization. Recall the notation introduced in Section 3 and the identification K(D) R F . In this section, we use the heart A R to construct a region U in Stab(D) which is a homeomorphic lift via π : Stab(D) → Hom(F, C) of the fundamental domain D described in Proposition 3.12. Then, following [9], we introduce normalized stability conditions. Proof. Pick Z ∈ D τ ⊂ D ⊂ E. The class of every object in A R is a positive linear combination of classes of objects listed in Prop. 4.17. Then, the definition of D τ shows that Z(A R ) ⊂ H, in other words, Z is a stability function on A R . Since A R is Noetherian (Lemma 4.11), and the image of Im Z is discrete by construction, then Z has the Harder-Narasimhan property by Prop. 2.5.
Again by Prop. 4.17, we see that the image of Z is discrete, so the support property is automatically satisfied. Then, the map π |U is a homeomorphism.
We observe right away the following Lemma:  Moreover, as is the case in [34] and, for example, in [14], normalizing preserves information about the whole component Stab † (D). Indeed, Stab † (D) is the orbit of Stab † n (D) under the Caction, and it is a C * -bundle over the normalized locus Stab n (D): these statements are proven in Section 5.4 using results from Section 5.

Wall-crossing in D
In this section, we apply the wall-crossing methods of [2] and [1] to the K3-category D. First, we produce stable objects for a certain stability condition in Stab † (D). We then analyze wall crossing for spherical and radical classes, obtaining Theorem 5.4. From it, we obtain a proof of Proposition 4.20 and of the claims of Remark 4.21. The results of this section hold if one works with normalized stability conditions with the same arguments, so we do not repeat them. The notation is as above.

(i) there exists an indecomposable sheaf F of class α if and only if α is a positive root; (ii) the sheaf F is unique up to isomorphism if α is a real root, and varies in a one-parameter family if α is imaginary; (iii) an indecomposable sheaf is τ 0 -semistable, and it is τ 0 -stable if and only if α is primitive.
By Lemma 4.2, we can regard Z 0 as a map defined on K(D), and define a stability condition τ 0 ∈ Stab(D) as (Z 0 , B). By construction, τ 0 lies in the boundary of a fundamental chamber in Stab † (D) (for example because Im Z 0 (t j i ) = 0 for all i, j). We say that an object E ∈ D is semi-rigid if ext 1 (E, E) = 2. Then we have: Proposition 5.2. Let α ∈ R ∪ ∆ im be a positive root. If α is a real root, there exist a τ 0 -semistable spherical sheaf in B of class α. If α is imaginary, there is a one-parameter family of semi-rigid τ 0semistable sheaves in B of class α. If α is primitive, the same statement holds with stability instead of semistability.
Proof. By Theorem 5.1, there exists a τ 0 -semistable sheaf E on X of class α. Let E := ι * (E ) be the indecomposable sheaf in B obtained by pushing forward E . The sheaf E is τ 0 -semistable: since E is supported on X then so must be every subsheaf S ⊂ E. This implies that S = ι * S for some S ∈ Coh(X). Then, S destabilizes E if and only if S destabilizes E .
Next, we show that E is spherical if α is a real root. Deformations of E are governed by the group Ext 1 X (E , E ), so Theorem 5.1 implies that Ext 1 X (E , E ) = 0, hence Ext 1 B (E, E) = 0 by Lemma 4.1. On the other hand, since α is real one must have χ(α, α) = 2, so E is spherical. Similarly, one argues that E is semi-rigid if α is imaginary. The claim about stability follows again from Theorem 5.1. The pairing has a rank 2 radical rad χ generated by a and b, and it induces a negative definite pairing on K(D)/ rad χ, since the Euler form on K(D)/ rad χ coincides with the Cartan matrix of the root system R f , which is positive definite.

Wall-crossing in
Since K(D) is negative semidefinite, the class v of a stable object can only satisfy v 2 = 0 or v 2 = −2. In the first case, v belongs to rad χ, and we call it a radical class. Classes with v 2 = −2 are called spherical classes.
First, notice that since K(D) is a discrete lattice, we have a finiteness result for walls: Recall that σ ∈ Stab(D) is said to be generic with respect to v ∈ K(D) if σ does not lie on any of the walls of the wall-and-chamber decomposition associated to v. The goal of this section is to prove the following Theorem: Theorem 5.4. Let α ∈ R ⊂ K(D) be a positive root. Let σ ∈ Stab † (D) be generic with respect to α. Then, there exists a σ-stable object E of class α. The object E is rigid if α is a real root, and it varies in a family if α is imaginary.
We will make use of the following well-known property of K3-categories.  Before moving forward, we recall a construction from [2]. Fix a primitive class v ∈ K(D), let S be the set of objects of D of class v, and let W = W S w be a wall of the wall-and-chamber decomposition of Stab(D) associated to v. Then we can associate to W the rank 2 lattice H W ⊂ K(D): The rank of H W is at least 2 because it contains at least v and the linearly independent class w destabilizing at W . If it had rank bigger than 2, the definition (18) would imply that W has codimension higher than 1. For any σ = (Z, P) ∈ W , let C σ ⊂ H W ⊗ R be the cone spanned by classes c satisfying c 2 ≥ −2 and Im Z(c) Z(v) > 0.
We will refer to C σ as to the cone of σ-effective classes in H W .

5.2.1.
Wall-crossing for spherical classes. Proof. We have that v ∈ H W has v 2 < 0 and w must be a spherical class by Lemma. 5.5. So both v and w project to non-zero vectors in K(D)/ rad χ. The intersection matrix of H W can be computed on K(D)/ rad χ, where the Mukai pairing coincides with the opposite of the Cartan intersection matrix, so it is negative definite.
The signature of the form implies that the determinant of the intersection form be positive, which rules out all values of (v, w) except for 0 and ±1. The spherical classes are the integer solutions of −2 = (xv + yw) 2 = −2x 2 − 2y 2 + 2(v, w)xy in these three cases.
Let W be a wall for v. Then, we denote by σ 0 a stability condition which only lies on the wall W , and consider a path in Stab(D) passing through σ 0 and connecting σ + and σ − , two stability conditions lying in adjacent chambers. Lemma 5.7. For W as above, suppose that there exists an indecomposable σ 0 -semistable spherical object E of class v. Then there is a σ + -stable spherical object E + of class v. Likewise, there exist a σ − -stable object E − of class v.
Proof. By Lemma 5.5, the Jordan-Hölder factors of E are spherical objects. In other words, v can be written as a sum of spherical classes in C σ 0 . If E is σ 0 -stable, there is nothing to prove. Otherwise, Lemma 5.6 shows that, up to the sign of w, E has a Jordan-Hölder filtration where B, A have class w and v − w, respectively. Observe that Ext 1 (A, B) = Ext 1 (B, A) = 0 since E is indecomposable, and denote by E the non-trivial extension In any case, E + satisfies the assumptions of [2, Lemma 9.3], and hence is σ + -stable.

Wall-crossing for radical classes.
Lemma 5.8. Let v be a primitive radical class in K(D), and W be a wall for v. Then H W contains a spherical class w and the intersection matrix of H W is Proof. Another generator of H W , w, is either radical or semi-rigid by Lemma 5.5. If it is semirigid, (w, w) = 0, so the intersection form is zero on H W and H W contains no spherical classes. Then every σ 0 -semistable object E of class v must be stable on W , because it can only have one Jordan-Hölder factor, so W is not a wall. The only other possibility is that w is spherical and the intersection form is as claimed. Proof. The proof is analogous to that of Lemma 5.7. If E is σ 0 -stable there is nothing to prove, otherwise it must have at least a spherical stable factor. Then one can write v = a + b with a ∈ C σ 0 spherical, and b ∈ C σ 0 . By Lemma 5.8, the only spherical classes in H are of the form ±w + nv with n ∈ Z; then b has to be spherical as well, and there is only one integer N such that a := w + N v and b := −w + (1 − N )v are both σ 0 -effective. Moreover, a and b cannot be expressed as the sum of other effective spherical classes. This implies that the Jordan-Hölder filtration of E is Ext 1 (B, A), and we can conclude as in Lemma 5.7.
Proof of Theorem 5.4. Suppose first that v is a spherical class. Proposition 5.2 shows that up to a sign there exists a τ 0 -semistable sheaf E of class v which is spherical and indecomposable. Since Stab † (D) is connected and τ 0 ∈ Stab † (D), there is a path γ of stability conditions in Stab † (D) connecting τ 0 and σ.
Observe that the objects E + produced in Lemma 5.7 are in turn indecomposable, because they are stable with respect to some stability condition. Then, we can repeatedly apply Lemma 5.7 and conclude.
A similar argument, where one uses Lemma 5.9 instead of Lemma 5.7, works for radical classes. It suffices to show that there does not exist a stability condition σ 0 = (Z 0 , A 0 ) in Stab † (D) for which Im Z(b) Z(a) = 0. Suppose such σ 0 existed. Acting with C, we may assume that Z 0 (a), Z 0 (b) ∈ R. Assume moreover that Z 0 takes values in Q. Then, choose x, y ∈ Z coprime such that (19) xZ 0 (a) + yZ 0 (b) = 0 and v := xa + yb is a positive radical vector. Thus, v is a primitive radical vector with Z 0 (v) = 0. This implies that there exists a neighborhood V ⊂ Stab † (D) of σ 0 such that no σ ∈ V admits semistable objects of class v, since semistability is a closed condition. But this contradicts Theorem 5.4. If Z 0 takes values in R, there may be no integer solutions to (19), but for every > 0 there are integers x, y such that |xZ 0 (a) + yZ 0 (b)| < and v = xa + yb is a primitive radical vector. Choosing 1, the support property implies that there exists a neighborhood V ⊂ Stab † (D) of σ 0 such that no σ ∈ V admits semistable objects of class v, and we conclude in the same way. 5.4. Action of C and the orbit of normalized conditions. Recall the C-action on Stab(D) defined in Equation (2) and denote by K the orbit of Stab † n (D). Here, we show that K = Stab † (D).
It is straightforward to see K ⊆ Stab † (D), since K is connected and intersects Stab † (D). To prove the other, fix τ ∈ Stab † (D). By definition, there exists a path γ : [0, 1] → Stab † (D) such that γ 0 = τ and γ 1 ∈ U . We will use γ to define z 0 ∈ C and a modified path γ , taking values in Stab † n (D), such that γ 0 = z 0 · τ , which shows τ ∈ K. For every t ∈ [0, 1], γ t = (Z t , P t ) admits a semistable object E t of class a: this is true if γ t is generic by Theorem 5.4, and hence for all t since semistability is a closed condition. Then define ζ t := Z t (E t ) ∈ C * for all t. We can chose E t in a way that ζ : t → ζ t is continuous, hence a path in C * : since E 0 is γ(0)-semiststable, then it is semistable in an interval [0, t 1 ] with 0 ≤ t 1 ≤ 1, and hence we can pick E t = E 0 for all t ∈ [0, t 1 ]. Since γ(t 1 ) is at a wall for a, by Lemma 5.9 there exists E 1 which is γ(t)-semistable for t ∈ [t 1 , t 2 ], with t 1 < t 2 ≤ 1. Set E t = E 1 for t 1 < t ≤ t 2 . Since Z t 1 (E 0 ) = Z t 1 (E 1 ), the function ζ is continuous at t 1 . We can iterate this process since walls for a are finite by Proposition 5.3.
Since γ 1 ∈ Stab † n (D), we have ζ 1 = 1, so the principal value z := Log ζ defines a continuous function z : [0, 1] → C such that z 1 = 0. We can finally define the path By construction, every stability condition γ (t) is normalized, and γ 1 = γ 1 ∈ U . Then γ 0 = z 0 · τ ∈ Stab † n (D), and τ 0 ∈ K. If τ ∈ Stab n (D), the complex number z 0 has the form z 0 = i2πk for some k ∈ Z, and acting with z 0 is the same as acting with [2k] ∈ Aut(D): in other words, the connected components of Stab n (D) are even shifts of Stab † n (D). Arguing as above one sees that Stab † (D) is a C * -bundle over Stab n (D).

Stability conditions on D
In this section we study the action of Br(D) on Stab(D) and show that it preserves Stab † n (D). Then, we describe the image of Stab † n (D) in Hom(K(D), C) and show π(Stab † n (D)) = X reg (Prop. 6.7). Finally, we prove our main results in Section 6.2. 6.1. Group actions and the image of the central charge map. The group of autoequivalences of D acts on Stab(D) as in Equation (3). The following discussion shows that the autoequivalences in Br(D) preserve Stab † n (D). It follows that the central charge map is equivariant with respect to the actions of Br(D) and W on Stab † n (D) and Hom(F, C) respectively. Recall from Section 3.4 that the boundary of D (defined as a fundamental domain of W in Hom(F, C)) is contained in the union of Y u,± walls W v,± as u, v vary in the vertices of |Γ f | and |Γ a | respectively. Denote byỸ u,± ,W v,± the inverse images of Y u,± , W v,± to U (we use Prop. 4.18 here). Proof. This follows from the description of the boundary of D in Sec. 3.4: the only other possibility is that Im Z(b) = 0, but this is excluded by Proposition 4.20.
Recall the notation of Equation (9), and let v ∈ |Γ|: Lemma 6.2. Let σ = (Z, A) be a point in the boundary of U contained in a unique wall among thẽ W v,± 's. Then there is an element T ∈ Br(D) such that T · σ also lies in the boundary of U . More precisely, we may pick T = Φ Sv if σ ∈W v,+ , and Arguing as in [9, Lemma 3.5], we claim that we can choose V small enough so that Φ −1 S (V + ) ⊂ U , hence Φ −1 S σ lies in the closure of U . Thus, we need to show that for sufficiently small V the heart of all σ ∈ V + is equal to Φ S (A R ) ⊂ D. By Lemma 2.3, it suffices to show that Φ S (M ) lies in the heart of any σ ∈ V + , for all the objects M listed in Prop. 4.17.
We verify this on a case by case basis: assume first that S = t j i , j = 0. Then: Case 1. Suppose L is a line bundle on X. Then L is locally of the form O((k/a i )p i ) for some k ∈ {0, ..., a i }, and one computes If Hom 1 (t j i , L) = 0, then there is a non-split short exact sequence in A R L → Φ S L → t j i . It follows that Φ S L lies in the heart of σ and its semistable factors have phases in (0, 1). Choosing V small enough ensures that this is the case for all σ ∈ V + too.
If Hom 2 (t j i , L) = 0 then Φ S L fits in a triangle L → Φ S L → t j i [−1], which implies that Φ S L lies in A , because so do L and t j i [−1]. If Hom • (t j i , L) = 0 then Φ S L = L and the same argument applies. Case 2. The same argument applies to Φ t j i (O q ) = O q for all q = p 1 , and to all sheaves supported away from p i ; Both are analogous to the case of a line bundle above. Consider Φ S (S) = S[−1]. Since S is σ-stable of phase 1, we may assume by shrinking V that S is σ -stable with phase at most 2. Moreover, S must have phase bigger than 1 in σ , so S[−1] lies in the heart of σ . Similarly, one sees that Proof. If σ ∈Ỹ u,+ , observe that we can choose a small neighborhood V of σ in Stab(D) so that every τ ∈ V has heart A R . Consider the open subset For τ ∈ V , we then have that ρ −1 u Z = ρ −1 u Re Z + i Im Z belongs to D. Then, it is enough to show ρ u (A R ) = A R to conclude ρ u τ ∈ U , so that ρ u σ lies in the closure of U .
Using Prop. 4.17, one sees that P σ (1) only contains objects whose class is a multiple of a. Since ρ u preserves the imaginary part of Z and fixes the class a, we have P τ (1) = P σ (1). Then, the only possibility is that for u ∈ |Γ f | one has ρ u (A R ) = A R [2n], for some integer n. We prove that n must be 0. One readily checks using Lemma 4.3. This implies that ρ 0 (A R ) = A R . Now one has by repeatedly applying Lemma 4.3. For ρ (i,j) , j > 1, we claim ρ (i,j) (O X ) O X . This is a consequence of the fact that O X (d) is orthogonal to t j i for d = 0, −1, all i and all j > 1. Indeed, one computes and proves the same claim for j > 2 inductively. This concludes the proof in the case σ ∈Ỹ i,+ . The case σ ∈Ỹ i,− is similar. Proposition 6.4. For any σ ∈ Stab † n (D), there is an autoequivalence Φ ∈ Br(D) such that Φ · σ ∈ U .
Proof. Same as the proof of Prop. 4.13 in [18].
Lemma 6.6. The image of π : Stab † n (D) → Hom(F, C) contains X reg . Proof. Stab † n (D) contains the orbit of U under Br(D). Since the action of Br(D) lifts that of W on Hom(F, C), the orbit of U under the action of Br(D) is mapped to X reg ⊂ Hom(F, C).
The next goal of our discussion is to prove the following: Proposition 6.7. The projection π maps Stab † n (D) onto X reg , so that π(Stab † n (D)) = X reg . Proof. By Lemma 6.6, it is sufficient to show that π(Stab † n (D)) ⊆ X reg , or, equivalently, that Stab † n (D) ⊆ π −1 (X reg ) † . To show this, it is enough to check that Stab † n (D) contains no boundary points of π −1 (X reg ) † . Any such boundary point σ = (Z, P) is projected to Z ∈ ∂X reg . From the definition of X reg in Prop. 3.11, either Z vanishes on a ray in R >0 (R), or Im Z(b) = 0.
In the latter case, Proposition 4.20 ensures that σ / ∈ Stab † n (D). Then, suppose α is a positive root such that Z(α) = 0. If σ ∈ Stab † n (D), by proposition 6.4 there is an element Φ ∈ Br(D), such that Φ · σ = (Z , P ) ∈ U , and [Φ]α = β ∈ Π. Then we have Z (β) = 0. However, by Lemma 4.19, for all β ∈ Π there are objects of class β which are semistable for all stability conditions in U , hence Φ · σ violates the support property, and therefore σ / ∈ Stab † n (D). Proposition 6.8. The action of Br(D) on Stab † n (D) is free and properly discontinuous. Proof. First, we check that the action of Br(D) is free. By Cor. 6.5, it is enough to show this for σ ∈ U . Assume then that σ = Φσ for some Φ ∈ Br(D) and σ ∈ U . We have Z(Φ(−)) = Z(−), hence [Φ] = id on K(D). So [Φ(S m )] = [S m ] for all m. Up to isomorphism, S m is the only object in A R in its class (this is readily observed translating A R to Ψ −1 (A R )), hence Φ(S m ) S m for all m. Then Φ id in Br(D) by Lemma 6.9.
To show that the action of Br(D) is properly discontinuous, it is enough to exhibit, for every non-trivial Φ ∈ Br(D) and every σ ∈ U , a neighborhood V of σ such that Φ(V ) ∩ V = ∅. If [Φ] = id, the existence of V follows from Prop. 3.11. If [Φ] = id, then it is a consequence of Lemma 2.6. Lemma 6.9. Suppose Φ ∈ Br(D) satisfies Φ(S) S for all S ∈ Π. Then Φ id.
Proof. We consider Φ as an element of Aut(D b (Tot(ω X ))), and we study the equivalent problem of showing that Φ := Ψ −1 • Φ • Ψ is the identity on Aut(D b (Y )), where Y denotes the crepant resolution of Tot(ω X ), under the assumption that elements of Ψ −1 Π are fixed (recall the notation of Section 4).
First, observe that for p ∈ Y \ X we have Φ(O p ) O p because all S ∈ Π are supported on X and hence orthogonal to O p . If p ∈ X ⊂ X , applying Φ to the short exact sequence one obtains a non zero map Φ(f ) of pure one-dimensional sheaves, fitting in a triangle This implies that H −1 Φ(O p ) = 0 and Φ(O p ) is a skyscraper supported at a point of X. Now let {p} = X ∩ C i,1 . Then the skyscraper supported at p must be fixed by Φ , because it admits a restriction map O C i,1 (−1) → O p and Φ fixes O C i,1 (−1) = Ψ −1 t 1 i . Let M p denote the cluster corresponding to p. Then Φ fixes M p because Φ fixes O p . Moreover, M p has a unique composition series by the t j i , which are all fixed by Φ except possibly t 0 i . Then Φ must also fix t 0 i for i = 1, ..., r. Then, since every cluster has a composition series with factors the simple sheaves t j i and Φ fixes the t j i for all j = 0, ..., a i − 1, it must also send any cluster to a cluster. In other words, Φ sends skyscraper sheaves of points on any exceptional curve C i to skyscraper sheaves.
Once can then apply [15,Cor. 5.23], which implies that there exists an automorphism φ of Y such that Φ (O t ) O φ(t) and Φ (− ⊗ L) • φ * for some line bundle L on Y . The automorphism φ is the identity, because it is the identity on the dense open complement of X . The Picard group of Tot(ω X ) is isomorphic to Pic (X) (⊕Z{C i,j }) hence the only line bundle fixing the Ψ −1 (S) with S ∈ Π is the trivial one. Then, Φ id as we wished to prove.
6.2. Proof of main results. Denote byπ the composition of the maps Stab † n (D) π − → X reg → X reg /W . Then we have: Theorem 6.10. The mapπ : Stab † n (D) → X reg /W is a covering map, and the group Br(D) acts as group of deck transformations.
Let Aut † (D) ⊂ Aut(D) be the subgroup of autoequivalences which preserve the component Stab † n (D). Write Aut † * (D) for the quotient of Aut † (D) by the subgroup of autoequivalences which act trivially on Stab † n (D). Corollary 6.11. There is an isomorphism