arxiv: v5 [math.ag] 7 Feb 2011

Transcription

1 Derived categories of small toric Calabi-Yau 3-folds and curve counting invariants Kentaro Nagao arxiv: v5 [math.ag] 7 Feb 011 February 8, 011 Abstract We first construct a derived equivalence between a small crepant resolution of an affine toric Calabi-Yau 3-fold and a certain quiver with a superpotential. Under this derived equivalence we establish a wallcrossing formula for the generating function of the counting invariants of perverse coherent sheaves. As an application we provide some equations on Donaldson-Thomas, Pandharipande-Thomas and Szendroi s invariants. Introduction This is a subsequent paper of [NN]. We study variants of Donaldson-Thomas (DT in short) invariants on small crepant resolutions of affine toric Calabi-Yau 3-folds. The original Donaldson-Thomas invariants of a Calabi-Yau 3-fold Y are defined by virtual counting of moduli spaces of ideal sheaves I Z of 1-dimensional closed subschemes Z Y ([Tho00], [Beh09]). These are conjecturally equivalent to Gromov-Witten invariants after normalizing the contribution of 0- dimensional sheaves ([MNOP06]). A variant has been introduced Pandharipande and Thomas (PT in short) as virtual counting of moduli spaces of stable coherent systems ([PT09]). They conjectured these invariants also coincide with DT invariants after suitable normalization and mentioned that the coincidence should be recognized as a wallcrossing phenomenon. Here, a coherent system is a pair of a coherent sheaf and a morphism to it from the structure sheaf, which is first introduced by Le Potier in his study on moduli problems ([LP93]). Note that an ideal sheaf I Z is the kernel of the canonical surjections from the structure sheaf O Y to the structure sheaf O Z. So in this sense DT invariants also count coherent systems. Ontheotherhand, avarietysometimeshasaderivedequivalencewith anoncommutative algebra. A typical example is a noncommutative crepant resolution of a Calabi-Yau 3-fold introduced by Michel Van den Bergh ([VdB04], [VdB]). In the case of [VdB04], the Abelian category of modules of the noncommutative crepant resolution corresponds to the Abelian category of perverse coherent sheaves in the sense of Tom Bridgeland ([Bri0]). Recently, Balazs Szendroi proposed to study counting invariants of ideals of such noncommutative algebras ([Sze08]). He called these invariants noncommutative Donaldson-Thomas (NCDT in short) invariants. He originally studied on the conifold, but his definition works in more general settings ([BY10], [MR10]). 1

2 Inspired by his work, Hiraku Nakajima and the author introduced perverse coherent systems (pairs of a perverse coherent sheaf and a morphism to it from the structure sheaf) and study their moduli spaces and counting invariants ([NN]). This attempt seems successful since we can describe explicitly a space of stability parameters with a chamber structure, and at certain chambers, the moduli spaces in DT, PT and NCDT theory are recovered. Moreover, in the conifold case, we established the wall-crossing formula for the generating functions of counting invariants of perverse coherent systems and provide some equations on DT, PT and NCDT invariants. The chamber structure and the wall-crossing formula formally look very similar to the counter parts for moduli spaces of perverse coherent sheaves on the blow-up of a complex surface studied earlier by Nakajima and Yoshioka [NYa, NYb]. The purpose of this paper is to show the wall-crossing formula (Theorem.0) for general small crepant resolutions of toric Calabi-Yau 3-folds. Here we say a crepant resolutions of affine toric Calabi-Yau 3-fold is small when the dimensions of the fibers are less than. In such cases, the lattice polygon in R corresponding to the affine toric Calabi-Yau 3-fold does not have any lattice points in its interior. Such lattice polygons are classified up to equivalence into the following two cases: trapezoids with heights 1, or the right isosceles triangle with length isosceles edges. In this paper we study the first case. The arguments in 1 and work for the second case as well 1. In 1, we construct derived equivalences between small crepant resolutions of affine toric Calabi-Yau 3-folds and certain quivers with superpotentials. In 1.1, using toric geometry, we construct tilting vector bundles given by Van den Bergh ([VdB04]) explicitly. Then, we review Ishii and Ueda s construction of crepant resolutions as moduli spaces of representations of certain quivers with superpotentials ([IUb]) in??. In 1.3 we show the tautological vector bundles on the moduli spaces coincide with the tilting bundles given in 1.1. Using such moduli theoretic description, we calculate the endomorphism algebras of the tilting bundles in 1.4. The argument in is basically parallel to [NN]. In our case, the fiber on the origin of the affine toric variety is the type A configuration of ( 1, 1)- or (0, )-curves. A wall in the space of stability parameters is a hypersurface which is perpendicular to a root vector of the root system of type Â. Stability parameters in the chambers adjacent to the wall corresponding to the imaginary root realize DT theory and PT theory ([NN, ]). Note that the story 1 Theorem 3.16 does not hold in the second case. We can not apply [MR10, Theorem 7.1] since mutation of a quiver associated to a dimer model is not associated to any dimer model in general. Moreover, the module category corresponds to the category of perverse sheaves under this derived equivalence. This is stronger than what we can get from the general results such as [MR10, Dav, Bro, IUa].

3 is completely parallel to that of type  quiver varieties (of rank 1), which are the moduli spaces of framed representations of type  preprojective algebras ([Nak94], [Nak98], [Nak01]). Quiver varieties associated with a stability parameter in a chamber adjacent to the imaginary wall realize Hilbert schemes of points on the minimal resolution of the Kleinian singularities of type A, whose exceptional fiber is the type A configuration of ( )-curves ([Nak99], [Kuz07]). Our main result is the wall-crossing formula for the generating functions of the Euler characteristics of the moduli spaces (Theorem.0). The contribution of a wall depends on the information of self-extensions of stable objects on the wall. Note that in the conifold case ([NN]) every wall has a single stable object on it and every stable object has a trivial self-extension. Computations of selfextensions are done in.5. The DT, PT and NCDT invariants are defined as weighted Euler characteristics of the moduli spaces weighted by Behrend functions. It is the purpose of 3 to compare the weighted Euler characteristics and the Euler characteristics of the moduli spaces for a generic stability parameter. First, we provide alternative descriptions of the moduli spaces. Given a quiver with a superpotential A = (Q,ω), we can mutate it at a vertex k to provide a new quiver with a superpotential µ k (A) = (µ k (Q),µ k (ω)). For a generic stability parameter ζ, we can associate a sequence k 1,...k r of vertices and the moduli space of ζ-stable A-modules is isomorphic to the moduli space of finite dimensional quotients of a module over the quiver with the superpotential µ kr µ k1 (A). As a consequence, we can apply Behrend-Fantechi s torus localization theorem ([BF08]) to show that the weighted Euler characteristics coincide with the Euler characteristics up to signs. As in [NN], our formula does not cover the wall corresponding to the DT- PT conjecture. We can provide the wall-crossing formula for this wall applying Joyce s formula ([Joy08]) 34. Acknowledgement The author is grateful to Hiraku Nakajima for collaborating in the paper [NN] and for many valuable discussion. He thanks Kazushi Ueda for patiently teaching his work on brane tilings, Tom Bridgeland for explaining his work, Yan Soibelman for helpful comments. He also thanks Yoshiyuki Kimura and Michael Wemyss for useful discussions, Akira Ishii, Yukari Ito, Osamu Iyama, Yukiko Konishi, Sergey Mozgovoy and Yukinobu Toda for helpful comments. The author is supported by JSPS Fellowships for Young Scientists No Kontsevich-Soibelman s (partly conjectural) formula ([KS]) also covers the setting in this paper. 4 After this paper submitted Euler characteristic version of the DT-PT conjecture was proved by Toda, Thomas- Stoppa, Bridgeland ([Tod10, ST, Bri]) using Joyce s arguments, and Joyce-Song provided an extension of the wall-crossing formula in [Joy08] to weighted Euler characteristics and an application for non-commutative Donaldson-Thomas invariants ([JS]). 3

4 1 Derived equivalences 1.1 tilting generators Let N 0 > 0 and N 1 0 be integers such that N 0 N 1 and set N = N 0 +N 1. We set I = {1,...,N 1}, Î = {0,1,...,N 1}, { 1 Ĩ =, 3,...,N 1 }, { Z = n+ 1 } n Z. Forl Zandj Z, letl Î andj Ĩ be theelementssuchthat l l j j 0 modulo N. We denote by Γ the quadrilateral (or the triangle in the cases N 1 = 0) in (R ) x,y = {(x,y)} with vertices (0,0), (0,1), (N 0,0) and (N 1,1). Let M Z 3 be the lattice with basis {x,y,z } and M := Hom Z (M,Z) be the dual lattice of M. Let denote the cone of the image of Γ under the inclusion (R ) x,y {(x,y,z)} = M R := M R: (x,y) (x,y,1) and consider the semigroup S = M := {u M u,v 0 ( v )}. Let R = R Γ := C[S ] be the semi-group algebra and X = X Γ := Spec(R Γ ) the 3-dimensional affine toric Calabi-Yau variety corresponding to. Let {x,y,z} M be the dual basis. The semigroup is generated by X := x, (1) Y := x (N 0 N 1 )y +N 0 z, () Z := y, (3) W := y +z, (4) and they have a unique relation X +Y = N 1 Z +N 0 W. So we have R C[X,Y,Z,W]/(XY Z N1 W N0 ). A partition σ of Γ is a pair of functions σ x : Ĩ Z and σ y : Ĩ {0,1} such that σ(i) := (σ x (i),σ y (i)) gives a bijection between Ĩ and the following set: {( ) ( ) 1 3,0,,0,..., (N 0 1 ) ( ) ( ) 1 3,0,,1,,1,..., (N 1 1 )},1, if i < j and σ y (i) = σ y (j) then σ x (i) > σ x (j). 4

5 Giving a partition σ of Γ is equivalent dividing Γ into N-tuples of triangles {T i } i Ĩ with area 1/ so that T i has (σ x (i)±1/,σ y (i)) as its vertices. Let Γ σ be the corresponding diagram, σ be the fan and f σ : Y σ X be the crepant resolution of X. WedenotebyD ε,x (ε = 0,1and0 x N ε ) thedivisorofy σ corresponding to the lattice point (x,ε) in the diagram Γ σ. Note that any torus equivariant divisor is described as a linear combination of D ε,x s. For a torus equivariant divisor D let D(ε,x) denote its coefficient of D ε,x. The support function ψ D of D isthepiecewiselinearfunction on σ suchthatψ D ((x,ε,1)) = D(ε,x)and such that ψ D is linear on each cone of σ. We sometimes denote the restriction of ψ D on the plane {z = 1} by ψ D as well. Definition 1.1. For i Ĩ and k I we define effective divisors E± i and F ± k by E + i = N σy(i) j=σ x(i)+ 1 1 k D σy(i),j, F + k = i= 1 E + i, E i = σ x(i) 1 j=0 D σy(i),j, N 1 F k = i=k+ 1 E i. Example 1.. Let us consider as an example the case N 0 = 4, N 1 = and (( ) ( ) ( ) ( ) ( ) ( )) (σ(i)) i Ĩ =,0,,1,,0,,0,,1,,0. We show the corresponding diagram Γ σ in Figure 1. The divisors are given as follows: [ ] [ ] E :=, F :=, [ ] [ ] E :=, F :=, [ ] [ ] E :=, F :=, [ ] [ ] E :=, F :=, [ ] [ ] E :=, F :=, [ ] [ ] E :=, F := Here the (ε,x)-th matrix element represent the coefficient of the divisor D ε,x. Lemma 1.3. (1) O Yσ (E + i +E i ) O Y σ, () O Yσ (F + k ) O Y σ (F k ). 5

6 Figure 1: Γ σ Proof. We have ψ E + i +E i = { y z (σ y (i) = 0), y (σ y (i) = 1), so the equation (1) follows. Now, for the equation () it is enough to show that the divisor N 1 := F + N i= 1 gives the trivial bundle. In fact, we have ψ F + N E + i = x. We denote the line bundle O Yσ (F + k ) O Y σ (F k ) on Y σ by L k. We set F ± = N 1 k=1 N 1 F ± k, L = k=1 Example 1.4. In the case Example 1., [ F + = Lemma 1.5. For i Ĩ we have ( F + σ y (i),σ x (i)+ 1 ( ) F + σ y (i),σ x (i) 1 ) ( = F + σ y (i+1),σ x (i+1)+ 1 Proof. First, note that ( E + j σ y (i),σ x (i)+ 1 ) E + j So we have F + k ( σ y (i),σ x (i)+ 1 ) F + k L k. ]. ) F + ( σ y (i+1),σ x (i+1) 1 ( σ y (i),σ x (i) 1 ) = δ i,j. ( σ y (i),σ x (i) 1 ) { 0 (k < i), = 1 (k > i), ) +1. and so ( F + σ y (i),σ x (i)+ 1 ( ) F + σ y (i),σ x (i) 1 ) = N i 1. Thus the claim follows. 6

7 Proposition 1.6. The line bundles L is generated by its global sections. Proof. It is enough to prove that the support function ψ F + is upper convex ([Ful93, 3.4]). It is enough to prove that ψ F + is upper convex on the interior of T k 1 T k+ 1 for any k I. We denote the edge which is the intersection of T k 1 and T k+ 1 by l k. The configurations of l k, T k 1 and T k+ 1 are classified into the following two cases: (1) The union of T k 1 and T k+ 1 is a parallelogram and l k is its diagonal. In this case, the point (σ x (k+ 1 )+ 1,σ y(k+ 1 )) is the intersection of l k and l k 1, the point (σ x (k 1 )+ 1,σ y(k 1 )) is the other end of l k 1. () The union of T k 1 and T k+ 1 is a triangle and l k is its median line. In this case, the point (σ x (k + 1 ) + 1,σ y(k + 1 )) is the middle point and σ x (k 1 ) = σ x(k + 1 )+1, σ y(k 1 ) = σ y(k + 1 ). In both cases it follows from Lemma 1.5 that ψ F + is upper convex on T k 1 T k+ 1. Given a divisor D the space of global sections of the line bundle O Yσ (D) is described as follows: H 0 (Y σ,o Yσ (D)) u S 0 (D) C e u, where For u M we define S 0 (D) := {u M u,v ψ D (v) ( v )}. Z D (u) := {v u,v ψ D (v)}. Then the cohomology of the line bundle O Yσ (D) is given as follows ([Ful93, 3.5]): H k (Y σ,o Yσ (D)) u MH k (, \Z D (u);c) (here the notation H k represents the sheaf cohomology in the left hand side but represents the relative singular cohomology in the right hand side). We have the exact sequence of relative cohomologies 0 H 0 (, \Z D (u)) H 0 i ( ) H 0 ( \Z D (u)) H 1 (, \Z D (u)) H 1 ( ) Note that H 0 ( ) = C, H 1 ( ) = 0 and if \Z D (u) is not empty then i does not vanish. We define Z D (u) := {v {z = 1} u,v < ψ D(v)}, then \Z D (u) is homeomorphic to Z D (u) R. Now, in our situation it follows from the convexity of ψ F + that the number of connected components of Z F + (u) is at most. Let us denote S 1 ( F+ ) := {u M Z F +(u) has two connected components}. 7

8 Then we have H 1 (Y σ,o Yσ ( F + )) u S 1 ( F+ ) and the R-module structure is given by { f u+u (u+u S 1 e u f u = ( F+ )), 0 (u+u / S 1( F+ )) C f u (5) for u S 1 ( F+ ) and u S. Fori Ĩ, let ti F M the elementsuchthat t i + F, ψ + F + onthe triangle T i. Note that t i F S 1 + ( F+ ) for i { 3,...,N } 3. { Proposition 1.7. The set f t i i { 3 F +,...,N } } 3 is a set of generators of H 1 (Y σ,o Yσ ( F + )) as an R-module. Proof. Itisenoughtocheckthatforanyu S 1( F+ )thereexisti { 3,...,N } 3 and u S and such that u = t i F +u. For ε {0,1} we put + m ε := max 0 j N ε ( u,(j,ε,1) F + (ε,j) ) 0. Let u S be the element such that u,(x,ε,1) = m ε for any x and ε. Note that Z F + (u) has two connected components, Z F + (u) Z F + (u u ) and there exist x ε s such that u u,(x ε,ε,1) F + (ε,j) = 0. Thus Z F + (u u ) also has two connected components, that is, u u S 1 ( F+ ). The function ψ F + u u, is upper convex and does not take negative values on Γ. So if for some x ε s we have F + (ε,j) u u,(x ε,ε,1) = 0, then (x 0,0) and (x 1,1) should be the end points of some edge in Γ σ. Since u u S 1 ( F+ ), (x 0,x 1 ) can be neither (0,0) nor (N 0,N 1 ). So (x 0,0) and (x 1,1) is the end points of an edge l k for some k I. By Lemma 1.5, ψ F + coincides with u u, on either T k or T k+1 since otherwise ψ F + u u, takes negative values on Γ. Thus the claim follows. For a divisor D and a effective divisor E, let 1 D,E be the canonical inclusion O Yσ (D) O Yσ (D +E). Let us denote effective divisors i 1 G + i = F + k, G i = k=1 N 1 k=i+ 1 F k. Note that G + i +G i is linearly equivalent to F + by lemma 1.3 and ( ) Ti ψ G + +ψ i G = 0. i Hence we have ψ F + t i F +, = ψ G + i Let us consider the following sequence: +ψ G. i 0 O Yσ O Yσ (G + i ) O Y σ (G i ) O Y σ (G + i +G i ) 0. Here the first map is given by 1 0,G + ( ) ( ) i 1 G i,g i G. i,g+ i ( 1 0,G ) and the second map is given by i 8

9 Proposition 1.8. The above sequence is exact and corresponds to the element f t i F + H1 (Y σ,o Yσ ( F + )). Proof. Let U j C 3 = Spec(C[x j,y j.z j ]) be the affine chart corresponding to the triangle T j. It is enough to show that the sequence is exact on each U j. Let P a (a = x,y,z) be the vertices of T j. Then we have for j < i, ψ G + (P a ) = ψ i G + i +G i for j = i, ψ G + (P a ) = ψ i G + i +G i for j < i, ψ G (P a ) = ψ i G + i +G i (P a )(=: d j,a ) and ψ G (P a ) = 0, i (P a ) = ψ G (P a ) = 0, i (P a )(=: d j,a ) and ψ G + (P a ) = 0. i The sequence in the claim is restricted on U j to the following sequence of C[x j,y j.z j ]-modules: 0 (0,0,0) 1 ( 1) (0,0,0) (d j,x,d j,y,d j,z ) 1+1 (d j,x,d j,y,d j,z ) 0. Here (0,0,0) (resp. (d j,x,d j,y,d j,z )) is spanned by {x a y b z c a,b,c 0} (resp. {x a y b z c a d j,x,b d j,y,c d j,z }) as a vector space and 1 is the map which maps x a y b z c to x a y b z c. We can verify this is exact. The corresponding element in H 1 (Y σ,o Yσ ( F + )) can be checked by the Čech argument in [Ful93, 3.5]. For k I and i { 3,...,N 3 } we define divisors i 1 Fk := F+ k F k, H i := Fk, I k := H k 1 +F+ k, and the exact sequence 0 k=1 i { 3,...,N 3 }O Yσ (H i ) k I O Yσ (I k ) O Yσ (F + ) 0. The first map the sum of compositions of the maps ( ) 1 Hi,F 1 Hi,F + : O Yσ (H i ) O Yσ (I i 1 ) O Y i 1 i+ 1 σ (I i+ 1 ) and the canonical inclusions O Yσ (I i 1 ) O Y σ (I i+ 1 ) O Yσ (I k ). k I The second map is the sum of 1 Ik,F + I k s. Proposition 1.9. The above sequence gives the universal extension corresponding to the set {f t i i { 3 F +,...,N } 3 } of generators of H 1 (Y σ,o Yσ ( F + )) as H 0 (Y σ,o Yσ )-module. 9

10 Proof. For i { 3,...,N 3 } we can check the sequence 0 O Yσ (H i ) ( k O Yσ (I k )) / ( j i O Yσ (H j )) O Yσ (F + ) 0 is isomorphic to the exact sequence in Proposition 1.8. Now we have the following theorem: Theorem The direct sum O Yσ k I L k is a projective generator of 1 Per(Y σ /X). Proof. This claim follows from [VdB04, Proposition 3..5] and Proposition Crepant resolutions as moduli spaces We will associate σ with a quiver with superpotential A σ = (Q σ,ω σ ). The set of vertices of the quiver Q σ is Î, which is identified with Z/NZ. The set of edges of the quiver Q σ is given by H :=. i Ĩ h + i i Ĩ h i k Îr r k Here h + i (resp. h i ) is an edge from i 1 to i+ 1 (resp. from i+ 1 to i 1 ), r k is an edge from k to itself and { Î r := k Î σ y (k 1 ) = σ y(k + 1 } ). The relation is given as follows: h + i r i 1 = r i+ 1 h+ i and r i 1 h i = h i r i+ 1 for i Ĩ such that i 1, i+ 1 Îr. h + i r i 1 = h i+1 h+ i+1 h+ i and r i 1 h i = h i h i+1 h+ i+1 for i Ĩ such that i 1 Îr, i+ 1 / Îr. h + i h + i 1 h i 1 = r i+ 1 h+ i and h + i 1 h i 1 h i = h i r i+ 1 for i Ĩ such that i 1 / Îr, i+ 1 Îr. h + i h+ i 1 h i 1 = h i+1 h+ i+1 h+ i and h + i 1 h i 1 h i = h i h i+1 h+ i+1 for i Ĩ such that i 1, i+ 1 / Îr. h + i 1 h i 1 = h i+ 1 h + i+ 1 for k Îr. This quiver is derived from the following bipartite graph on a -dimensional torus. Let S be the union of infinite number of rhombi with edge length 1 as in Figure which is located so that the centers of the rhombi are on a line parallel to the x-axis in R and H be the union of infinite number of hexagons with edge length 1 as in Figure 3 which is located so that the centers of the hexagons are in a line parallel to the x-axis in R. We make the sequence Z {S,H} which maps l to S (resp. H) if l module N is not in Îr (resp. is in Îr) and 10

11 Figure : S Figure 3: H cover the whole plane R by arranging S s and H s according to this sequence (see Figure 4). We regard this as a graph on the -dimensional torus R /Λ, where Λ is the lattice generated by ( 3,0) and (N 0 N 1,(N 0 N 1 ) 3+N 1 ). We can colored the vertices of this graph by black or white so that each edge Figure 4: P σ in case Example 1. connect a black vertex and a white one. Let P σ denote this bipartite graph on the torus. For each edge h in P σ, we make its dual edge h directed so that we see the black end of h on our right hand side when we cross h along h in the given direction. The resulting quiver coincides with Q σ. For each vertex q of P σ, let ω q be the superpotential 5 which is the composition of all arrows in Q σ corresponding to edges in P σ with q as their ends. We define ω σ := ω q ω q. q : black q : white Remark Take a polygon in the plane labeled by k Î. Then, we have the bijection between the set of equivalent classes of paths starting from k in A σ 5 A superpotential of a quiver Q is an element in CQ/[CQ,CQ], i.e. a linear combination of equivalent classes of cyclic paths in Q where two paths are equivalent if they coincide after a cyclic rotation. 11

12 and the direct product of the set of polygons in the plane and Z 0. See [MR10, 4]. Putδ = (1,...,1) = ZÎ and takeastability parameterθ Hom(ZÎ,R) RÎ so that θ(δ) = 0. Definition 1.1. An A σ -module V is θ-(semi)stable if for any nonzero submodule 0 S V we have θ(dims)( )0. By [Kin94] such a stability condition coincides with a stability condition in geometric invariant theory and we can define the moduli space M σ θ (δ) of θ- semistable A σ -modules V such that dimv = δ. A stability parameter θ is said to be generic if θ-semistability and θ-stability are equivalent to each other. Theorem 1.13 ([IUb, Theorem 6.4]). For a generic stability parameter θ, the moduli space M σ θ (δ) is a crepant resolution of X. Proof. We can verify easily that the assumptions in [IUb, Theorem6.4] are satisfied. We can also check that the convex hull of height charges (see [IUb, ]) is equivalent to (see the description of divisors before Theorem 1.15 for example). Let T M σ θ (δ) be the open subset consisting of representations t such that t(h ± i ) 0 for any i Ĩ and t(r k) 0 for any k Îr. Then T is the 3- dimensional torus acting on M σ θ (δ) by edge-wise multiplications (see [IUb, 3 and Proposition 5.1]). We define the map f: T C by f(t) = t(e r ) t(e 1 ) where e r e 1 is a representative of the superpotential w q for a vertex q in P σ (f(t) does not depend on the choice of the vertex q). We put T := f 1 (1) T. This is a 3-dimensional subtorus of T. 1.3 Description at a specific parameter Let θ 0 be a stability parameter so that θ 0 (δ) = 0 and (θ 0 ) k < 0 for any k 0. For i Ĩ let p i M σ θ 0 (δ) be the representation such that p i (h + j ) = { 1 (j < i), 0 (j i), p i (h j ) = { 1 (j > i), 0 (j i), p i (r k ) = 0. This is fixed by the torus action. We can take a coordinate (x i,y i,z i ) on the neighborhood U i of p i in M σ θ 0 (δ) such that the representation v[x i,y i,z i ] with the coordinate (x i,y i,z i ) is give by v[x i,y i,z i ](h + j ) = 1 (j < i), v[x i,y i,z i ](h j ) = 1 (j > i), v[x i,y i,z i ](h + i ) = x, v[x i,y i,z i ](h i ) = y, v[x i,y i,z i ](q ) = v[x i 1 i,y i,z i ](q + = z, i+ ) 1 where { rl q ± (l l = Îr), (l / Îr). h h ± l± 1 l± 1 1

13 For k I let c 1 k Mσ θ 0 (δ) be the representation such that { c 1 k(h + j ) = 1 (j < k), 0 (j > k), { c 1 k (h j ) = 1 (j > k), 0 (j < k), c 1 k(r l ) = 0, and C k be the closure of the orbit of c 1 k with respect to the torus action. This is isomorphic to P 1, contained in U k 1 U k+ 1 and C k Uk 1 = {y k 1 = z k 1 = 0}, C k Uk+ 1 = {x k+ 1 = z k+ 1 = 0}. Note that the coordinate transformation is given by { (x y k 1 k 1,x 1 k 1 (x k+ 1,y k+ 1,z k+ 1 ) (x k 1 z k 1,x 1 k 1,z k 1) (k Îr) ) (k / Îr),,x k 1 y k 1 Hence C k is a (0, )-curve if k Îr and a ( 1, 1)-curve if k / Îr. ForacrepantresolutionofX theconfigurationof(0, )-curvesand( 1, 1)- curves determines its toric diagrams. So we have the following proposition: Proposition The crepant resolution M σ θ 0 (δ) is isomorphic to Y σ. For i Ĩ the triangle T i corresponds to the fixed point p i and for k I the edge l k corresponds to the curve C k. For ε = 0 or 1 and 0 x N ε let d 1 ε,x Mσ θ 0 (δ) be the representation such that { d 1 ε,x (h+ j ) = 1 (σ y (j) ε or σ x (i) > x), 0 (otherwise), { d 1 ε,x(h j ) = 1 (σ y (j) ε or σ x (i) < x), 0 (otherwise), { d 1 1 (σ y (k ± 1 ε,x(r k ) = ) = ε),. 0 (otherwise), Then the closure of the orbit of d 1 ε,x with respect to the torus action coincides with the divisor D ε,x. Let k Î Lσ,θ0 k be the tautological vector bundle on M σ θ 0 (δ), where L σ,θ0 k is the tautological line bundle corresponding to the vertex k of the quiver Q σ. By tensoring a line bundle if necessary, we may assume that L σ,θ0 0 O M σ θ0 (δ). We have the tautological section of the line bundle Hom(L σ,θ0,l σ,θ0 ) corresponding i 1 i± 1 to the edge h ± i. From the description above, its divisor coincides with E± i defined in 1.1. Hence we have k 1 k O( E i + ) L k, L σ,θ0 i= 1 where L k is defined just after 1.3. In summary, we have the following theorem: 13

14 Figure 5: Universal representations on M σ θ 0 (δ) in case Example 1. 14

15 Theorem The tautological vector bundle L σ,θ0 = k Î Lσ,θ0 k is a projective generator of Per(Y σ /X). In particular, we have the following equivalence: D b (Coh(Y σ )) D b (mod(end Yσ (L σ,θ0 ))) Per(Y σ /X) mod(end Yσ (L σ,θ0 )). 1.4 Computation of the endomorphism algebra In this subsection, we denote L σ,θ0 k and L σ,θ0 simply by L σ k and Lσ respectively. Since L σ is the tautological bundle on the moduli space of A σ -modules, we have the tautological map φ: A σ End Yσ (L σ ). Proposition Let e k A σ be the idempotent corresponding to the vertex k. Then the restriction of the tautological map φ k : e k A σ e k End Yσ (L σ k) H 0 (Y σ,o Yσ ) C[X,Y,Z,W]/(XY Z N1 W N0 ). is bijective. Proof. We have the tautological section of the line bundle End Yσ (L σ k ) O Y σ corresponding to the path Its divisor is X k := h + k 1 h + 1 h + h + h +. N 1 k+ 3 k+ 1 N 1 F + N = E + i i= 1 and as we have seen in Lemma 1.3 we have ψ F + = x. So φ k (X k ) coincides N with X up to scalar multiplication (see the defining equation (1) of X in 1.1). Similarly, we put Y k := h h h k+ 1 N 1 1 h h, k 3 k 1 h h + (σ k+ 1 k+ 1 y (k + 1 ) = 1), Z k := h + h (σ k 1 k 1 y (k 1 ) = 1), r k (otherwise), h h + (σ k+ 1 k+ 1 y (k + 1 ) = 0), W k := h + h (σ k 1 k 1 y (k 1 ) = 0), (otherwise). r k Then φ k (Y k ), φ k (Z k ) and φ k (W k ) respectively coincide with Y, Z and W up to scalar multiplications. Hence φ k is surjective. To show the injectivity, it is enough to check that X k, Y k, Z k and W k generate e k Ae k, 15

16 commute with each other, and satisfy the relation X k Y k = Z N0 k WN1 k. These follow from the lemma below. We define an equivalent relation on the set of all paths in Q σ as follows: P 1 P P 3 P 1 P 3 if P is one of r k, h + i h i or h i h + i. For a path P, let P red be the unique minimal length path which is equivalent to P. We set r k (P) = (the number of r k appearing in P), h i (P) = (the number of h + i appearing in P) (the number of h + i appearing in P red ) = (the number of h i appearing in P) (the number of h i appearing in P red ), and z(p) = w(p) = l Îr, σ y(l± 1 )=1 l Îr, σ y(l± 1 )=0 r k (P)+ i Ĩ, σ y(i)=0 r l (P)+ i Ĩ, σ y(i)=1 h i (P), h i (P). Lemma P = P red (Z k ) z(p) (W k ) w(p). Proof. From the relations of A σ we can verify directly that for any path P from k to k we have Z k P = P Z k, W k P = P W k (6) in A σ. For a path P in Q σ from k we have a expression P = P Z k P (or P W k P ) for some paths P, P in Q σ and k I unless P = P red. This case we have P = P P Z k (or P P W k ) in A σ by the equation (6). Then apply the same procedure for P P unless it is reduced. By the induction with respect to the lengths of paths, we can verify the claim. For k k I let X k,k (resp. Y k,k ) be the minimal length path from k to k which is a composition of h + i s (resp. h i s). Then we have the following basis of e k A σ e k : {(X k ) n X k,k (Z k ) m (W k ) l } n,m,l 0 {(Y k ) n Y k,k (Z k ) m (W k ) l } n,m,l 0. We have X k,k (X k ) n X k,k (Z k ) m (W k ) l = (X k ) n+1 (Z k ) m (W k ) l, X k,k (Y k ) n Y k,k (Z k ) m (W k ) l = (Y k ) (Z k ) m+m (W k ) l+l, where m and l is nonnegative integer such that X k,k Y k,k = (Z k ) m (W k ) l. In particular, we have 16

17 Lemma The map is injective. X k,k : e k A σ e k e k A σ e k Proposition For k k I the restriction of the tautological map is bijective. φ k,k : e k Ae k Hom Yσ (L σ k,l σ k ) Proof. The injectivity follows from Lemma 1.18 and the injectivity of φ k. For the surjectivity, it is enough to check that Hom Yσ (L k,l k ) is generated by the image of X k,k and Y k,k as an R-module. Let F + k.k (resp. F k.k ) be the sum of E i + s (resp. E i s) corresponding to X k,k (resp. Y k,k ). Note that ψ F + is k.k F k.k the unique element in M such that ψ F + k.k F (N ε,ε,1) = ψ k.k F + (N ε,ε,1) and k.k such that ψ F + k.k F k.k (1,0,0) = 1. Let u S 0(F+ k.k ) be an element such that u,v < 0 for some v Q. It is enough to check there exists u S such that u = ψ F + k.k F + u. k.k Since u,(0,0,1), u,(0,1,1) 0 and u,v < 0 for some v Q, we have u,(1,0,0) < 0. Let u S be the element such that u,(1,0,0) = u,(1,0,0) +1 u,(n ε,ε,1) = u,(n ε,ε,1) +F + k,k (ε,n ε). Itfollowsfromthecharacterizationofψ F + k.k F k.k abovethatu u = ψ F + k.k F k.k. In summary, we have the following theorem: Theorem 1.0. The tautological homomorphism is an isomorphism. Counting invariants A σ End Yσ (L σ ). From now on, we denote Q σ and A σ simply by Q and A. Let Q 0 and Q 1 denote the sets of vertices and edges of the quiver Q respectively, and A-fmod denote the category of finite dimensional A-modules..1 Koszul resolution We set a grading on the path algebra CQ such that deg(e k ) = 0, deg(h ± i ) = 1, deg(r k) =. The superpotential ω is homogeneous of degree 4 with respect to this grading. So the quiver with superpotential A = (Q, ω) is graded 3-dimensional Calabi- Yau algebra in the sense of [Boc08]. 17

18 We denote the subalgebra CQ 0 = k Q0 Ce k of A by S. For an S-module T we define an A-bimodule A T by A T = A S T S A. For k,k I let T k,k denote the 1-dimensional S-module given by and we set e l 1 = δ k,l, 1 e l = δ k,l, A k := A Tk,k, A k,k := A Tk,k. Note that an element of A k,k is described as a linear combination of {p 1 q} p Aek, q e k A. For a quiver with superpotential A, the Koszul complex of A is the following complex of A-bimodules: 0 k Q 0 A k d 3 a Q 1 A out(a),in(a) d b Q 1 A in(b),out(b) d 1 k Q 0 A k m A 0. Here in(a) (resp. out(a)) is the vertex at which an arrow a ends (resp. starts). The maps m, d 1, d 3 are given by m(p 1 q) = pq (p Ae k, q e k A), d 1 (p 1 q) = (pb 1 q) (p 1 bq) (p Ae in(b), q e out(b) A), d 3 (p 1 q) = pa 1 q p 1 aq (p Ae k, q e k A). a: in(a)=k a: out(a)=k The map d is defined as follows: Let c be a cycle in the quiver Q. We define the map c;a,b : A out(a),in(a) A in(b),out(b) by c;a,b (p 1 q) = arbs=c ps 1 rq. (7) Then d = ω is defined as the linear combination of c s. Since A is graded 3-dimensional Calabi-Yau algebra, the Koszul complex is exact ([Boc08, Theorem 4.3]). Let E be a finite dimensional A-module. By taking the tensor product of E and the Koszul complex, we get a projective resolution of E: 0. new quiver Ae k C E k k Q 0 d 3 b Q 1 Ae in(b) C E out(b) Ae out(a) C E in(a) a Q 1 d 1 k Q 0 Ae k C E k d m E 0. (8) We make a new quiver Q by adding one vertex and one arrow from the vertex to the vertex 0 to the original quiver Q. The original superpotential ω gives the superpotential on the new quiver Q as well. We set à := ( Q,ω) and denote the category of finite dimensional Ã-modules by Ã-fmod. Giving a 18

19 finite dimensional Ã-module Ṽ is equivalent to giving a pair (V,W,i) of a finite dimensional A-module V, a finite dimensional vector space W at the vertex and a linear map i: W V 0. Let ι: Ã-fmod A-fmod be the forgetting functor mapping (V,W,i) to V. We also consider the following Koszul type complex Ã-bimodules as well: 0 k Q 0 à k d 3 a Q 1 à out(a),in(a) d b Q 1 à in(b),out(b) d 1 k Q 0 à k m à 0, where Ãi, à i,i, d and m are defined in the same way. This is also exact. The exactness at the last three terms is equivalent to the definition of generators and relations of the algebra Ã. The exactness at the first two terms is derived from that of the exactness of the Koszul complex of A. For a finite dimensional Ã-module, we get a projective resolution in the same way as (8). Proposition.1. For E, F Ã-fmod we have homã(e,f) ext 1 à (E,F)+ext1 à (F,E) hom à (F,E) = dime dimf 0 dime 0 dimf. Proof. The bimodule resolution above provides a projective resolution of E. We can compute Ext (E,F) by the complex given by applying Hom(,F) for à projective resolution of E: 0 Hom(E k,f k ) Hom(E in(a),f out(a) ) k Q 0 a Q 1 Hom(E out(b),f in(b) ) Hom(E k,f k ) 0. (9) b Q 1 k Q 0 Let dãi (E,F) denote the derivations in the complex above. We can compute d A i (ι(e),ι(f)) in the same way. Let da i (ι(e),ι(f)) denote the corresponding derivation. Note that ) rank (dã (E,F) = rank ( d A (ι(e),ι(f))) = rank ( d A (ι(f),ι(e)) ) ) = rank (dã (F,E), where the second equation comes from the self-duality of the Koszul complex of A. Hence we have homã(e,f) ext 1 à (E,F)+ext1 à (F,E) hom à (F,E) = h Q 1 (dime out(h) dimf in(h) dime in(h) dimf out(h) ) = dime dimf 0 dime 0 dimf. Here the last equation follows from the fact that for any i, j I (arrows from i to j) = (arrows from j to i). 19

20 Remark.. By the Koszul resolution of A, the last equation in the proof is equivalent to the vanishing of the Euler form on A-fmod. This is equivalent to the vanishing of the Euler form on the category Coh cpt (Y) of coherent sheaves on Y with compact supports. The vanishing on Coh cpt (Y) follows from Hirzebruch- Riemann-Roch theorem. Remark.3. Joyce-Song proved more general statement ([JS, Theorem 7.5])..3 Counting invariants For ζ R Q 0 and a finite dimensional Ã-module Ṽ we set θ ζ(ṽ) = k Q ζk 0 dimṽk. k Q 0 dimṽk Definition.4. A finite dimensional Ã-module Ṽ is said to be θ ζ-(semi)stable if we have θ ζ(ṽ )( )θ ζ(ṽ) for any nonzero proper Ã-submodule Ṽ Here we adapt the convention for the short-hand notation. The above means two assertions: semistable if we have, and stable if we have <. Remark.5. (1) These stability conditions coincide with ones in geometric invariant theory ([Kin94]). () For a real number c, we put ζ := (ζ k +c) k Q0 R Q 0. Then we have θ ζ (Ṽ) = θ ζ(ṽ)+c. Hence θ ζ -(semi)stability and θ ζ-(semi)stability are equivalent. Theorem.6 ([Rud97]). Let a stability parameter ζ R Q 0 be fixed. (1) A finite dimensional Ã-module Ṽ Ã-fmod has the Harder-Narasimhan filtration : Ṽ = Ṽ0 Ṽ1 Ṽk Ṽk+1 = 0 such that Ṽi/Ṽi+1 is θ ζ-semistable for i = 0,1,...,k and θ ζ(ṽ0/ṽ1) < θ ζ(ṽ1/ṽ) < < θ ζ(ṽk/ṽk+1). The Harder-Narasimhan filtration is unique. () A finite dimensional Hölder filtration : θ ζ-semistable Ã-module Ṽ Ã-fmod has a Jordan- Ṽ = Ṽ0 Ṽ1 Ṽk Ṽk+1 = 0 such that Ṽi/Ṽi+1 is θ ζ-stable for i = 0,1,...,k and θ ζ(ṽ0/ṽ1) = θ ζ(ṽ1/ṽ) = = θ ζ(ṽk/ṽk+1). 0

21 We sometimes denote an Ã-module (V,C,i) with 1-dimensional vector space at the vertex simply by (V,i). Definition.7. (1) Given ζ R Q0, we take ζ R Q 0 such that ζ k = ζ k for k Q 0. A finite dimensional A-module V said to be ζ-(semi)stable if the Ã-module (V,0,0) is θ ζ-(semi)stable. The definition does not depend on the choice of ζ. () Given (V,i) Ã-fmod and ζ RQ0, we define ζ R Q 0 by ζ k = ζ k for k Q 0 and ζ = ζ dimv. We say (V,i) is ζ-(semi)stable if it is θ ζ-(semi)stable. Lemma.8. An are satisfied: Ã-module (V,i) is ζ-(semi)stable if the following conditions (A) for any nonzero A-submodule 0 S V, we have ζ dims( )0, (B) for any proper A-submodule T V such that im(i) T 0, we have ζ dimt ( )ζ dimv. For ζ R Q0 and v = (v k ) (Z 0 ) Q0, let M ζ (v) (resp. Mζ s (v)) denote the moduli space of ζ-semistable (resp. ζ-stable) Ã-modules (V,i) such that dim V = v. They are constructed using geometric invariant theory ([Kin94]). A stability parameter ζ R Q0 is said to be generic if ζ-semistability and ζ-stability are equivalent to each other. Since the defining relation of A is derived from the derivation of the superpotential, the moduli space M ζ (v) has a symmetric perfect obstruction theory ([Sze08, Theorem 1.3.1]). By the result of [Beh09] a constructible Z-valued function ν is defined on the moduli space M ζ (v). We define the counting invariants D eu ζ (v) := χ(m ζ(v)), D ζ (v) := n Zn χ(ν 1 (n)) where χ( ) denote topological Euler numbers. We encode them into the generating functions Zζ eu (q) := Dζ eu (v) qv, Z ζ (q) := D ζ (v) q v v (Z 0 ) Q 0 v (Z 0 ) Q 0 where q v = k Q 0 q v k k and q k s are formal variables. In the rest of this section, we will work on Zζ eu (q). In 3, we will compare Z ζ (q) with Zζ eu(q). 1

22 .4 Wall-crossing formula The set of non-generic stability parameters is the union of the hyperplanes in R Q0. Each hyperplane is called a wall and each connected component of the set of generic parameters is called a chamber. The moduli space M ζ (v) does not change as long as ζ moves in a chamber. Let ζ = (ζ k ) k Q0 be a stability parameter on a single wall and set ζ ± = (ζ k ±ε) k Q0 for sufficiently small ε > 0. Proposition.9. (1) Let Ṽ = (V,C,i ) be a ζ + -stable Ã-module. Then we have an exact sequence 0 Ṽ Ṽ Ṽ 0, where Ṽ = (V,C,i) is a ζ -stable Ã-module, Ṽ = (V,0,0) and V is a ζ -semistable A-module. The isomorphism class of Ṽ and V are determined uniquely. In particular, assume Ṽ = (V,C,i ) is T-invariant then Ṽ and V are also T-invariant. () Let Ṽ = (V,C,i ) be a ζ -stable Ã-module. Then we have an exact sequence 0 Ṽ Ṽ Ṽ 0, where Ṽ = (V,C,i) is a ζ -stable Ã-module, Ṽ = (V,0,0) and V is a ζ -semistable A-module. The isomorphism class of Ṽ and V are determined uniquely. In particular, assume Ṽ = (V,C,i ) is T-invariant then Ṽ and V are also T-invariant. Proof. We take ζ R Q 0 as in Definition.7. Let Ṽ = Ṽ0 ṼM ṼM+1 = 0 be a Jordan-Hölder filtration of Ṽ with respect to the θ ζ -stability. Since dimṽ = 1, there is an integer 0 m M such that dim(ṽm/ṽm+1) = 1 and dim(ṽm /Ṽm +1) = 0 for any m m. Then for m m we have ζ + dim(ṽm /Ṽm +1) = ε (Ṽm /Ṽm +1) k > 0. From the ζ + -stability of Ṽ, we have m = M. Put Ṽ = ṼM and Ṽ = Ṽ /ṼM, we have the required sequence. Let Ṽ = Ṽ 0 k I Ṽ M ṼM +1 = 0 be the the Harder-Narasimhan filtration of Ṽ with respect to the θ ζ -stability. Since Ṽ is θ ζ -semistable, we have ζ dim(ṽ M ) < ζ dim(ṽ M ) ζ dim(ṽ ) = 0 < ζ dim(ṽ). Then the sequence Ṽ = π 1 (Ṽ 0 ) π 1 (Ṽ M +1) = Ṽ 0

23 givesthetheharder-narasimhanfiltrationofṽ withrespecttotheθ ζ -stability, where π: Ṽ Ṽ is the projection. Assume Ṽ is T-invariant, then it follows from the uniqueness of the Harder-Narasimhan filtration that Ṽ and Ṽ are T-invariant. We can verify the claim of () similarly. We identify Z Q0 with the root lattice of affine Lie algebra of type A N and denotethesetofpositiverootvectorsbyλ +. WeputW α := {ζ Z Q0 ζ α = 0} (α Λ + ). Proposition.10. Assume C is a ζ-stable A-module for some ζ R Q0. Then dimc Λ +. Moreover, given a positive real root α Λ re,+ and a stability parameter ζ such that ζ is on the wall W α but not on any other wall W α (α α), then we have the unique ζ -stable T-invariant A-module C such that dimc = α. Proof. Note that we have the natural homomorphism R k Î End Y (L k ) End Y ( L k ) A, where the first one is the diagonal embedding. The image of this map is central subalgebra of A. Any A-module has the R-module structure given by this homomorphism. Any finite dimensional A-module is supported on finite number of points on Spec(R) = X and so any finite dimensional A-module C which is ζ- stable for some ζ is supported on a maximal ideal I R. Any nonzero element of I induces an A-module automorphism on C by the multiplication. Since C is ζ-stable, any A-module automorphism on C is either zero or isomorphic. But this can not be isomorphic, because C is supported on I. Hence we have I C = 0. Suppose that I corresponds to a nonsingular point P on X and I C = 0. Then C is, as a complex of sheaves on Y, supported on π 1 (P). Then we can verify that C = O π 1 (P). The singular points on X is classified as follows: the unique T-invariant (X,Y,Z,W), (X,Y,Z a,w) (a 0) or (X,Y,Z,W b) (b 0). An A-module C suchthat (X,Y,Z,W) C = 0isamoduleoverthe preprojective algebra of type ÂN. The dimension of the moduli space of representations of the preprojective algebra of type ÂN is vcv, where C is the Cartan matrix of type ÂN ([Nak94]). If there exists a ζ-stable A-module C with dimc = v, then vcv is nonnegative, which is the definition of the root vectors. The uniqueness follows from the irreducibility of the moduli space ([CB0]). Let C be an A- module such that (X,Y,Z a,w) C = 0 (a 0). For k Î such that σ y (k + 1 ) = 1, h and h + give isomorphisms between C k+ 1 k+ 1 k and C k+1. For k Î such that σ y(k + 1 ) = 0, we have h + h k+ 1 k+ 1 = 0, h k+ 1 h + k+ 1 = 0. 3

24 Thus we can identify an A-modules C such that (X,Y,Z a,w) C = 0 (a 0) with a module over the preprojective algebra of type ÂN 0. Under this identification, a root vector of the root system of type ÂN 0 corresponds to a root vectorofthe rootsystemoftypeân. Henceforaζ-stableA-moduleC suchthat (X,Y,Z a,w) C = 0its dimension vectoris aroot vectorofthe root systemof type ÂN. Similarly, for a ζ-stable A-module C such that (X,Y,Z,W b) C = 0 its dimension vector is a root vector of the root system of type ÂN. Remark.11. Note that the fiber over the point corresponds to the maximal ideal (X,Y,Z a,w) (resp. (X,Y,Z,W b)) is the A N0 (resp. A N1 ) configuration of P 1 s. Corollary.1. The set of nongeneric parameters is the union of the hyperplanes W α (α Λ + ). Take a positive real root α Λ re,+ and a parameter ζ R Q0 which is on W α but not on any other wall. Let C be the unique T-invariant ζ -stable A-module such that ζ dimc. We set ζ ± = (ζ k ± ε) for sufficiently small ε. We fix these notations throughout this subsection. Proposition.13 ([NN, Proposition3.7]). For a ζ -stable Ã-module Ṽ = (V,i) we have ext 1 à (C,Ṽ) ext1 à (Ṽ,C) = dimc 0. Proof. Since C and Ṽ are ζ -stable and not isomorphic each other, we have homã(c,ṽ) = hom à (Ṽ,C) = 0. So the claim follows form Proposition.1. Proposition.14. (1) { ext 1 A (C,C) = 0 1 α k/ Îr k is odd, α k/ Îr k is even. () Assume k/ Îr α k is even. For a positive integer m, we have the unique indecomposable A-module C m which is described as m 1 times successive extensions of C s. We prove this proposition in.5. Let α Λ re,+ be a positive real root such that k/ Îr α k is odd. In such cases, wall-crossing formulas are given in [NN]: Theorem.15 ([NN, Theorem 3.9]). Z eu ζ (q) = (1+qα ) α0 Z eu ζ +(q). Remark.16. To be precise we should modify the argument in [NN] a little, since the stable objects on the wall are not unique, while so are the T-invariant stable objects. See the argument after Proposition.18 and Remark.19. Proposition.17. (1) Let Ṽ = (V,C,i ) be a T-invariant ζ + -stable Ã- module. Then we have an exact sequence 0 Ṽ Ṽ m 1(C m ) n m 0, 4

25 where Ṽ = (V,C,i) is a T-invariant ζ -stable Ã-module. The integers n m and isomorphism class of Ṽ are determined uniquely and satisfy hom(ṽ,c m ) = m 1n m min(m,m). Moreover, the composition of the maps C Nm HomÃ(C m, m 1(C m ) n m ) Ext 1 Ã (C,Ṽ) is injective. Here N m = m m n m and the first map is induced by inclusions C m C m (m m). The second map is given by composing the inclusion C C m and Ṽ Ext 1 Ã ( m 1(C m ) n m,ṽ). () Let Ṽ = (V,C,i ) be a T-invariant ζ -stable Ã-module. Then we have an exact sequence 0 m 1(C m ) n m Ṽ Ṽ 0, where Ṽ = (V,C,i) is a T-invariant ζ -stable Ã-module. The integers n m and isomorphism class of Ṽ are determined uniquely and satisfy hom(c m,ṽ ) = m 1n m min(m,m). Moreover, the composition of the maps C Nm HomÃ( m 1(C m ) n m,c m ) Ext 1 Ã (Ṽ,C) is injective. Here N m = m m n m and the first map is induced by surjections C m C m (m m). The second map is given by composing the surjection C m C and Ṽ Ext 1 Ã (Ṽ, m 1(C m ) n m ). Proof. The existence of the sequences follow from Proposition.9, Proposition.10 and Proposition.14. Since hom(ṽ,c m) = 0, we have hom(ṽ,c m ) = hom( m C m,c m ) from the long exact sequences. The middle equations follow from hom(c m,c m ) = min(m,m). The compositions of the maps are injective since otherwise Ṽ has C as its direct summand. Givenanon-increasingsequence(N m ) m 1 ofnon-negativeintegerssuchthat N m = 0 for some m, let Fl((N k );N) be the flag variety {0 = W m W 1 C N dimw m = N m }. We can verify the following claim as well: Proposition.18. (1) Let Ṽ = (V,i) be a T-invariant ζ -stable Ã-module. For an element (W k ) Fl((N k );ext 1 Ã (C,Ṽ))T, let Ṽ denote the Ã-module given by the universal extension 0 Ṽ Ṽ m 1(C m ) nm 0, such that the image of the composition map in Proposition.17 coincides with W k. Then Ṽ is T-invariant and ζ + -stable. 5

26 () Let Ṽ = (V,i) be a T-invariant ζ -stable Ã-module. For an element (W k ) Fl((N k );ext 1 Ã (Ṽ,C))T, let Ṽ denote the Ã-module given by the universal extension 0 m 1(C m ) nm Ṽ Ṽ 0 such that the image of the composition map in Proposition.17 coincides with W k. Then Ṽ is T-invariant and ζ -stable. Hereafter we denote the set of T-fixed points on X by T X. Let R(T) be the representation ring of T. For a nonnegative integer N (resp. N R(T)), let T Mζ s (v) N (resp. T Mζ s (v) N) denote the subscheme of T Mζ s (v) consisting of closed points Ṽ such that ext1 (C,Ṽ) = N (resp. Ext1 (C,Ṽ) = N as T- modules). Let T M ζ +(v ) (nm) denote the subscheme of T M ζ +(v ) consisting of closed points Ṽ such that hom(ṽ,c m ) = m 1 n m min(m,m) We have the canonicalmorphism T M ζ +(v ) (nm) T Mζ s (v) wherev = v m mn m dimc such that a closed point Ṽ T M ζ +(v ) (nm) is mapped to the closed point Ṽ T Mζ s (v) appeared in the exact sequence 0 Ṽ Ṽ m 1(C m ) n m 0. Let T M ζ +(v ) (nm),n (resp. T M ζ +(v ) (nm),n)denotetheinverseimageof T M s ζ (v) N (resp. T M s ζ (v) N) with respect to the above morphism. Similarly, we define T M s ζ (v)n, T M s ζ (v)n, T M ζ +(v ) (nm), T M ζ +(v ) (nm),n and T M ζ +(v ) (nm),n. By Proposition.17 and Proposition.18, the natural map is a fibration. So we have χ( T M ζ +(v )) q v = v T M ζ +(v ) (nm),n T M s ζ (v) N v,(n m),n = v,(n m),n = v,n = v,n χ( T M ζ +(v ) (nm),n) q v χ(fl((n m );N)) χ( T M s ζ (v) N) q v+ mn m dim(c) χ(fl((n m );N)) q mn m dim(c) χ( T Mζ s (v) N) q v (n m) ( 1 q dim(c)) N χ( T M s ζ (v) N) q v. Similarly we have v χ( T M ζ (v )) q v = v,n ( 1 q dim(c)) N χ( T M s ζ (v)n ) q v. 6

27 By Proposition.13 we have M ζ (v) N = M ζ (v) N+dimC0. Hence we have v χ(m ζ (v )) q v = ( 1 q dim(c)) N χ(m s ζ (v) N ) q v v,n = ( 1 q dim(c)) N χ(m s ζ (v) N dimc0 ) q v v,n = ( 1 q dim(c)) N dimc 0 χ(m s ζ (v) N ) q v v,n = (1 q dim(c)) dimc 0. v χ(m ζ +(v )) q v Remark.19. In the argument above, we do not use any module on a wall which is not T-invariant. In summary, we have the following wall-crossing formula: Theorem.0. We have Z eu ζ (q) = (1 ε(α)qα ) ε(α)α0 Z eu ζ +(q), where ε(α) = ( 1) k/ Îr α k..5 Appendix In this subsection, we prove Proposition.14. First, recall the proof of Proposition.10. We can take integers n 0, n 1 and a basis {v n } n0 n n 1 of C such that C k = Cv n, n 0 n n 1, n k (modn) ( h + i (v n),h i (v n+1) ) = (v n+1,0), or (0,v n ) (i 1 n), h i (v n 0 ) = 0, (i 1 n 0), h + i (v n 1 ) = 0, (i 1 n 1), r k (v n ) = 0, (k n, k Îr). Here the choice in the first equation depends on the stability. Example.1. We put N = 4, Îr = 0, n 0 = 0, n 1 = 10 and take θ such that 0 < θ(0) θ(1) θ(), θ(3) = 3(θ(0)+θ(1)+θ())/. For n 0 < j < n 1, we put C(j) = { + h + j (v j 1/) = v j+1/, h j (v j+1/) = v j 1/. 7

28 Figure 6: example of C Then we have (C(1/),...,C(19/)) = (+,+,+,,,,+,,, ). Lemma.. Assume that we have d Z and j < j Z such that n 0 j + 1,j + dn + 1 and j 1,j + dn 1 n 1. If we have v j+ 1 / im(h+ j ), v j+ 1 +dn ker(h j ), v j 1 / im(h j ) and v j 1 +dn ker(h + j ), then d = 0 and {j,j } = {n 0 1,n }. Proof. Assume that (j,j ) (n 0 1,n 1+ 1 ) or d 0. Note that j<n<j Cv n is a nonzero proper A-submodule of C and j+dn<n<j +dn Cv n is a nonzero proper A-quotient module of C. By the θ-stability of C we have θ n < 0, θ n > 0. j<n<j This is a contradiction. j+dn<n<j +dn Using the Koszul complex, we can compute Ext 1 A (C,C) as the cohomology of the following complex: Hom(C out(a),c in(a) ) d Hom(C in(b),c out(b) ) d1 Hom(C k,c k ). a Q 1 b Q 1 k Q 0 For d Z and j Z such that both j and j 1 +dn (resp. j + 1 +dn) are in the interval [n 0,n 1 ] we define an element ) α ± j,d (C Hom in(h ± ),C j out(h ± j ) by α ± j,d (v n) = δ n,j± 1 v j 1 +dn, and for l Îr such that both l and l+dn are in the interval [n 0,n 1 ] we define an element β l,d Hom ( ) C in(rl ),C out(rl ) by We define a set J 0 by β l,d (v n ) = δ n,l v l+dn. J 0 = {n Z n 0 n n 1, n Îr} {j Z n 0 < j < n 1 }. We define a set J d for d Z >0 such that dn n 1 n 0 by {n Z n 0 n n 1 dn, n Îr} {j Z n 0 < j < n 1 dn} {n 0 1/} 8

29 if h + (n 0 1/) (v n 0 1+dN) = 0, and {n Z n 0 n n 1 dn, n Îr} {j Z n 0 < j < n 1 dn} {n 1 +1/} ( ) if v n0+1 dn / im h + (n 0+1/). We also define a set J d for d Z <0 such that dn n 1 n 0 by {n Z n 0 dn n n 1, n Îr} {j Z n 0 dn < j < n 1 } {n 1 +1/} if h (n 1+1/) (v n 1+1+dN) = 0, and {n Z n 0 dn n n 1, n Îr} {j Z n 0 dn < j < n 1 } {n 0 1/ dn} if v n0 1 dn / im(h (n 0 1/) ). Applying Lemma. for j = n 0 1 and j = n dn, we can see that these definitions make sense. For d Z and j Z J d we take an element β j,d in the kernel of d 1 as follows: β j,d := α + j,d if v j+ 1 / im(h+ j ) and v j 1 +dn ker(h+ j ), β j,d := α j,d if v j 1 / im(h j ) and v j+ 1 +dn ker(h j ), β j,d := α + j,d + α j,d if h j (v j+ 1 ) = h+ j (v j 1 +dn ) = 0 or h + j (v j 1 ) = h j (v j+ 1 +dn) = 0. Note that the set forms a basis of ker(d 1 ). {β j,d } d Z,j Z Jd {β l,d } d Z,l Z Jd Example.3. In Figure 7, we describe β 9/, 1, β 13/, 1 and β 1/, 1 in the case of Example Figure 7: examples of elements in ker(d 1 ). Lemma.4. (1) If J 0 is even, then the subspace of ker(d 1 ) spanned by {β a,d } a J0 is contained in im(d ). If J 0 is odd, then dim({β a,d } a J0 /im(d ) {β a,d } a J0 ) = 1. () The subspace of ker(d 1 ) spanned by {β a,d } a Jd is contained in im(d ). 9