• 沒有找到結果。

ADHM Sheaf Theory and Wallcrossing

N/A
N/A
Protected

Academic year: 2022

Share "ADHM Sheaf Theory and Wallcrossing"

Copied!
24
0
0

加載中.... (立即查看全文)

全文

(1)

PREPRINT

國立臺灣大學 數學系 預印本 Department of Mathematics, National Taiwan University

www.math.ntu.edu.tw/ ~ mathlib/preprint/2011- 18.pdf

ADHM Sheaf Theory and Wallcrossing

Wu-yen Chuang

December 28, 2011

(2)

Wu-yen Chuang Abstract.

In this article we survey the recent developments in ADHM sheaf theory on a smooth projective variety X. When X is a curve the theory is an alternative construction of stable pair theory of Pandharipande and Thomas or Gromov-Witten theory on local curve geometries. The construction relies on relative Beilinson spectral sequence and Fourier- Mukai transformation. We will present some applications of the the- ory, including the derivations of the wallcrossing formulas, higher rank Donaldson-Thomas invariants on local curves, and the coholomogies of the moduli of stable Hitchin pairs.

§1. Introduction

Recently we have seen much progress in the study of curve enumera- tions on Calabi-Yau 3-folds. Three different types of theories have been proposed, including Gromov-Witten (GW) theory, Donaldson-Thomas (DT) and Pandharipande-Thomas (PT) theory. They are conjectured to be equivalent at the level of generating functions after suitable changes of variables.

First let us briefly recall the definitions of these theories. Let X be smooth projective Calabi-Yau 3-fold over C. For g ≥ 0 and β ∈ H2(X, Z), the GW invariant Ng,β is defined as the integration of the virtual class,

Ng,β= Z

[Mg(X,β)]vir

1 ∈ Q ,

where Mg(X, β) is the Deligne-Mumford stack of the stable map f : C → Z with C a genus g curve and f[C] = β. The reduced GW

Received Month Day, Year.

Revised Month Day, Year.

2000 Mathematics Subject Classification. Primary 14N35; Secondary 81T30.

Golden-Jade Fellow, Kenda foundation, Taiwan

(3)

generating function is

ZGW = exp X

g,β6=0

Ng,βλ2g−2vβ ,

where we have omitted the contribution from the constant maps.

Now we define the DT theory. Consider the Hilbert scheme In(X, β) of 1-dimensional subschemes Z ⊂ X with χ(OZ) = n and β ∈ H2(X, Z).

We regards In(X, β) as the moduli parametrizing the ideal sheaves of 1-dimensional subschemes. The DT invariant In,β is given by

In,β= Z

[In(X,β)]vir

1 ∈ Z .

The reduced DT generating function is given by ZDT0 =X

n,β

In,βqnvβ/X

n

In,0qn .

and the MNOP conjecture [23][24] states that ZGW = ZDT0 after the change of variables q = −e.

The stable pair of Pandharipanda and Thomas [31] is, by definition, a pair (F, s), where s is a section of F ,

s : OX→ F

such that F is a pure sheaf of dimension 1 and s has zero dimensional cokernel. The moduli Pn(X, β) of PT stable pair (F, s) with [F ] = β and χ(F ) = n is constructed in and also equipped with a symmetric perfect obstruction theory. The PT invariants and the generating function are given by

Pn,β= Z

[Pn(X,β)]vir

1 ∈ Z , ZP T =X

n,β

Pn,βqnvβ .

Pandharipande and Thomas conjectured that ZDT0 = ZP T as a wall- crossing formula where the denominator in ZDT0 is the wallcrossing dif- ference. This conjecture has been proved in [34][33][2].

Motivated by string theoretical consideration, ADHM sheaf theory was first introduced by Diaconescu [7] and the theory has a natural variation of the stability conditions [6, 3]. In an asymptotic chamber of the stability condition space the ADHM sheaf theory on a projective curve X over C is equivalent to admissible pair theory on the projective plane bundle over X. When the twisting data (M1, M2) are chosen such

(4)

that M1XM2' KX−1, this pair theory becomes a stable pair theory on the local Calabi-Yau 3-fold of the total space M1−1XM2−1 over X.

The key ingredients of the construction consist of a relative version of Beilinson spectral sequence and Fourier-Mukai transformation.

Using Joyce-Song theory of generalized Donaldson-Thomas invari- ants [20], explicit wallcrossing formulas for ADHM invariants on curves have been derived [3], which also give rise to a further generalization of higher rank ADHM invariants [4]. This part of higher rank generaliza- tion is also motivated by the work of Toda [35] and Stoppa [32].

Another interesting application of ADHM sheaf theory on curves is the computation of Betti and Hodge number of moduli spaces of stable Hitchin pairs [5]. The application is based on refined generalizations of wallcrossing formulas, generalized Donaldson-Thomas invariants, and multicover formulas.

The purpose of the article is to survey the aforementioned devel- opments and related background material. The paper is organized as follows. In section 2 we review the definition of ADHM sheaf theory and prove a correspondence between stable pair theory and ADHM sheaf the- ory on curves. In section 3 we give a brief review of Joyce-Song theory of generalized Donaldson-Thomas invariants and present our results about wallcrossing formulas and higher rank invariants. A computational com- parison between Joyce-Song and Kontsevich-Soibelman formulas is also presented. In the final section we give our conjectural recursive relations for the Poincar´e polynomials of the Hitchin moduli space.

Acknowledgements. The author is grateful to the organizers of the conference ”Algebraic Geometry in East Asia” held in National Tai- wan University in November 2011 for giving him an opportunity to par- ticipate in such a fruitful event. He would also like to thank Duiliu- Emanuel Diaconescu and Guang Pan for the collaboration on the topics presented in this article. He is supported by NSC grant 99-2115-M-002- 013-MY2.

§2. ADHM Sheaf Theory

Let X be a smooth projective scheme over C equipped with a very ample line bundle OX(1).

Definition 2.1. Let M1, M2 be fixed line bundles on X. Set M = M1XM2. For fixed data X = (X, M1, M2), let QX denote the abelian category of (M1, M2)-twisted coherent ADHM quiver sheaves. An object of QX is given by a collection E = (E, E, Φ1, Φ2, φ, ψ) where

(5)

• E, E are coherent OX-modules

• Φi : E ⊗XMi → E, i = 1, 2 , φ : E ⊗XM1XM2 → E, ψ : E → E are morphisms of OX-modules satisfying the ADHM relation

(2.1) Φ1◦ (Φ2⊗ 1M1) − Φ2◦ (Φ1⊗ 1M2) + ψ ◦ φ = 0.

The morphisms are natural morphisms of quiver sheaves i.e. col- lections (ξ, ξ) : (E, E) → (E0, E0) of morphisms of OX-modules satisfying the obvious compatibility conditions with the ADHM data.

Let CX be the full abelian subcategory of QX consisting of objects with E = V ⊗ OX, where V is a finite dimensional vector spaces over C. Note that given any two objects E, E0 of CX, the morphisms ξ : V ⊗ OX → V0⊗ OX must be of the form ξ = f ⊗ 1OX, where f : V → V0 is a linear map.

The numerical type of an object E of CX is the collection (rank(E), deg(E), dim(V )) ∈ Z≥0× Z × Z≥0 .

An object of CX is called an ADHM sheaf. An ADHM sheaf with ψ and φ identically 0 is called a Higgs sheaf.

Definition 2.2. Let δ ∈ R be a stability parameter. The δ-degree of an object E of CX is degδ(E ) = d(E ) + δv(E ). If r(E ) 6= 0, the δ-slope of E is defined by µδ(E ) = degδ(E )/r(E ). A nontrivial object E of CX is δ-(semi)stable if

(2.2) r(E) degδ(E0) (≤) r(E0) degδ(E ) for any proper nontrivial subobject 0 ⊂ E0⊂ E.

It was proved that the real parameter δ ∈ R gives a stability con- dition in the abelian category CX of ADHM sheaves, ie. it has see-saw property and every object has a unique Harder-Narasimhan filtration.

For fixed numerical type (r, e, v) of an ADHM sheaf there are finitely many critical stability parameters dividing the real axis into chambers.

The set of δ-semistable ADHM sheaves is constant within each chamber.

When the numerical type is (r, e, 1), the strictly semistable objects may exist only if δ takes a critical value and the origin δ = 0 is a critical value for all (r, e, 1) ∈ Z≥1× Z × 1.

Definition 2.3. Let X be a projective curve and Y the total space of the projective bundle Proj(OX⊕ M1⊕ M2). Let d ∈ Z≥1, n ∈ Z. An admissible pair of type (d, n) on Y is a pair (Q, ρ), where Q is a coherent OY-module and ρ ∈ H0(Y, Q), such that ρ is not identically zero, Q is

(6)

flat over X, (ch0(Q), ch1(Q), ch2(Q)) = (0, 0, d[X]), χ(Q) = n and the cokernel of ρ : OY → Q is of pure dimension 0.

Let Π be the canonical projection Π : Y → X. Let z0∈ H0(Y, OY(1)) corresponding to 1 ∈ H0(X, OX) under the canonical isomorphism

H0(Y, OY(1)) ' H0(X, OX) ⊕ H0(X, M1) ⊕ H0(X, M2) . It can be shown that if (Q, ρ) is an admissible pair on Y , then Q is of pure dimension one and supp(Q) is disjoint from D= {z0= 0}. Notice that Y \D is the total space of M1−1⊕ M2−1 over X. Therefore the admissible pair on Y is equivalent to the stable pair theory on Y \D. Next is the theorem relating the ADHM sheaf theory on X with the admissible pair theory on Y [7].

Theorem 2.4. There exist a bijection between an S-family of ad- missible pairs on Y with certain support property and an S-family of (δ  1) stable ADHM sheaves with E= OX on X.

Sketch of the proof. First we have the resolution of the diagonal

∆ ∈ Y ×XY. The Koszul resolution Kof ∆ is given by

(2.3) 0 → OY(−2)  Ω2Y /X(2) → OY(−1)  Ω1Y /X(1) → OY  OY . Secondly we have the identity Fourier-Mukai functor

(2.4) Rp1∗(p2() ⊗ O).

From (2.3) and (2.4) we construct a spectral sequence with (2.5) E1i,j= Rip1∗(p2(Q) ⊗ Kj) ,

converging to Q if i + j = 0 and 0 otherwise. In the end we obtain a three term complex centered at (−1) position with cohomology Q. We then take the cone construction for (OY → Q), which turns out to giveρ a (δ  1) stable ADHM sheaf with E= OX on X. The generalization to an S-family is straightforward and details can be found in [7, sec 6,7]. Also note that this theorem does not need the condition on the deg(M1) + deg(M2).

 We also have the following results concerning moduli spaces of ADHM sheaf theory with E= OX:

• For fixed (r, e) ∈ Z≥1 × Z and δ ∈ R there is an algebraic moduli stack Mssδ (X , r, e) of finite type over C of δ-semistable ADHM sheaves. If δ ∈ R is noncritical, Mssδ (X , r, e) is a quasi- projectve scheme equipped with a perfect obstruction theory.

(7)

• For fixed (r, e) ∈ Z≥1×Z and δ ∈ R there is a natural algebraic torus S = C× action on the moduli stack Mssδ (X , r, e) which acts on C-valued points by scaling the morphisms (Φ1, Φ2) → (t−1Φ1, tΦ2), t ∈ S. If δ is noncritical the stack theoretic fixed locus Mssδ (X , r, e)S is proper over C. Therefore we define the ADHM invariants to be the residual ADHM invariants ASδ(r, e) by equivariant virtual integration in each stability chamber.

• (Theorem 2.4) For (r, e) ∈ Z≥1× Z there exists a critical value δM ∈ R>0so that for any δ > δM, Mssδ (X , r, e) is isomorphic to the moduli space of stable pairs of Pandharipande and Thomas on the total space of M1−1⊕M2−1over X. This identification in- cludes the equivariant perfect obstruction theories establishing an equivalence between local stable pair theory and asymptotic ADHM theory.

§3. Wallcrossing and Higher Rank ADHM Invariants

For completeness we include a very brief review of Joyce-Song the- ory. This review is far from self-contained and the interested readers are encouraged to refer to the original papers [20, 16, 17, 18, 19].

3.1. Joyce-Song Theory of Generalized Donaldson-Thomas Invariants

Joyce-Song Theory is a virtual counting theory on an algebraic mod- uli stack MA locally of finite type over C, parametrizing all the objects in the abelian category A. The central element in Joyce-Song theory is the stack function algebra SF(MA), which is Grothendieck group gen- erated over Q by isomorphism classes of pairs [(X, ρ)] where X is an algebraic stack of finite type over C and ρ : X → MA is a representable morphism of stacks.

Let ExactAbe the moduli stack locally of finite type over C, parametriz- ing all the three term exact sequences 0 → E1 → E2 → E3 → 0 in A.

There are also three natural projections

p1, p2, p3: ExactA→ MA.

We define a Q-bilinear operation ∗ : SF(MA) × SF(MA) → SF(MA) as follows. Given two stack functions [(X1, ρ1)] and [(X3, ρ3)], set the Ringel-Hall multiplication

(3.1) [(X1, ρ1)] ∗ [(X3, ρ3)] = [(p1, p3)(X1× X3), p2◦ f)] , where f is determined by the following Cartesian diagram of stacks.

(8)

(3.2) (p1, p3)(X1× X3)



f // ExactA

(p1,p3)



p2

// MA

X1× X3

f1×f3 // MA× MA

According to Joyce-Song, (SF(MA), ∗, δ[0]) is an associative algebra with unity, where δ[0] = [(Spec(C), 0)] is the stack function of the zero object in MA. One then defines a Lie subalgebra SFindalg(MA) imposing certain conditions on the stabilizers of closed points x of the stacks X.

Namely, the subscript alg stands for ’algebra stabilizers’, which requires each such stabilizer Stab(x) to be identified with the group of invertible elements in a certain subring of the endomorphism ring EndA(ρ(x)). The upperscript ind stands for ’virtually indecomposable’ stack functions, which requires the closed points x to have virtual rank one stabilizers.

The definition of virtual rank is very technical and will not be reviewed here in detail. The important point here is the subspace SFindalg(MA) is closed under the Lie bracket determined by the product ∗. Therefore it has a Lie algebra structure. Moreover SFindalg(MA) is spanned over Q by elements of the form [(U × [Spec(C)/C×], ρ)], where U is a quasi- projective variety over C.

We could look at a simple example of the ∗-multiplication for char- acteristic delta functions of two object E1, E3 ∈ obj(A) to have a feel about it. We have

δEi = [(Spec(C), ρi)] , ρi(Spec(C)) = Ei∈ MA. Then δE1∗ δE2 is given by

δE1∗ δE2 =hhExt1(E3, E1) Hom(E3, E1) i

, ρi ,

such that ρ is a 1-morphism sending the extension class u ∈ Ext1(E3, E1) representing the exact sequence 0 → E1 → E2→ E3→ 0 to the object E2 ∈ obj(A) modulo the trivial action Hom(E3, E1). In the following theorem we consider the characteristic delta functions of τ -semistable objects in A.

Lemma 3.1. [18, Thm 8.7] Let (τ, T, ≤) be a stability condition on A. Define the stack function ¯δssα(τ ) in SFalg(MA) for α ∈ K(A) to be the characteristic function of the moduli substack MαA(τ ) of τ -semistable

(9)

objects with α ∈ K(A) in MA. We then define ¯α(τ ) in SFalg(MA) to be

(3.3) ¯α(τ ) = X

n≥1,α1,··· ,αn∈C(A) α1+···+αn=α,τ (αi)=τ (α)

(−1)n n

δ¯αss1(τ ) ∗ ¯δαss2(τ ) ∗ · · · ∗ ¯δssαn(τ ),

where ∗ is the Ringel-Hall multiplication in SFalg(MA). Moreover, ¯α(τ ) is in SFindalg(MA). We call ¯α(τ ) a log stack function.

Theorem 3.2. [19, Sec 4, Sec 5] Under certain appropriate assump- tions let (τ, T, ≤), (˜τ , ˜T , ≤) and (τ0, T0, ≤) be three stability conditions on A with (τ0, T0, ≤) dominating (τ, T, ≤) and (τ, ˜T , ≤). (ie. (τ0, T0, ≤) is the critical stability condition on the wall.) Then for α ∈ K(A) we have the following wallcrossing formulas in terms of stack functions, (3.4)

¯δssα(˜τ ) = X

n≥1,α1,··· ,αn∈C(A) α1+···+αn

S(α1, · · · , αn; τ, ˜τ )¯δssα1(τ ) ∗ ¯δαss2(τ ) ∗ · · · ∗ ¯δαssn(τ ) ,

¯

α(˜τ ) = X

n≥1,α1,··· ,αn∈C(A) α1+···+αn

U (α1, · · · , αn; τ, ˜τ )¯α1(τ ) ∗ ¯α2(τ ) ∗ · · · ∗ ¯αn(τ ) ,

where the coefficients S(∗; τ, ˜τ ) ∈ Z and U (∗; τ, ˜τ ) ∈ Q are certain com- binatorial coefficients which are complicated enough to be omitted here and there are only finitely many terms in the summation.

We now specialize to the case of the coherent sheaf A = coh(M ) on a Calabi-Yau 3-fold M or A is simply a CY3 algebra. Using the Serre duality on Calabi-Yau spaces or Calabi-Yau algebra we have an antisymmetric Euler form χ([E], [F ]) for E, F ∈ obj(A). We define a Lie algebra L(M ) to be the Q-vector space generated by the λαfor each α ∈ K(A), with the Lie algebra

(3.5) [λα, λβ] = (−1)χ(α,β)χ(α, β)λα+β .

Theorem 3.3. [20, Thm 5.14] There exist a canonical Lie algebra morphism Ψ : SFindalg(MA) → L(M ), which gives the Q-valued general- ized DT invariants DTα(τ ). Namely, Ψ(¯α(τ )) = DTα(τ )λα. Moreover, conjecturally the multicover formula defines the Z-valued DT invariants dDTα(τ ) for generic τ by

(3.6) DTα(τ ) = X

m≥1,m|α

1

m2dDTα/m(τ ) .

(10)

Remark 3.4. Recall that SFindalg(MA) is spanned by elements of the form [(U × [Spec(C)/C], ρ)] over Q, where U is a quasi-projective vari- ety. Then the canonical Lie algebra morphism will send this to

Ψ [(U × [Spec(C)/C], ρ)] = χ(U, ρMA)),

where ρMA) is the pullback of the Behrend function νMA to a con- structible function on U × [Spec(C)/C].

3.2. Wallcrossing Formulas in ADHM Sheaf Theory We now consider ADHM sheaf theory on curves with line bundles M1and M2such that M1XM2' KX−1. The following definition is used to take care of the summation over all the possible Harder-Narasimhan filtrations in the wallcrossing formulas.

Definition 3.5. Let α = (r, e) ∈ Z≥1× Z. For any integer l ≥ 1 and v = 1, 2 let HN(α, v, δc, l, l − 1) denote the set of order sequence (αi)1≤i≤l, αi = (ri, ei) ∈ Z≥1 × Z satisfying α1+ · · · + αl = α and e1/r1= · · · = el−1/rl−1= (el+ vδc)/rl= (e + vδc)/r.

For any integer l ≥ 2 let HN(α, 2, δc, l, l − 2) denote the set of order sequence (αi)1≤i≤l, αi = (ri, ei) ∈ Z≥1× Z satisfying α1+ · · · + αl= α and e1/r1 = · · · = el−2/rl−2 = (el−1+ δc)/rl−1 = (el+ δc)/rl = (e + 2δc)/r.

In the ADHM sheaf theory with E = OX we have proved the following ADHM rank one wallcrossing formula [3].

Theorem 3.6. Let δc be a critical stability parameter and (α, 1) = (r, e, 1) be the numerical types of ADHM sheaves.

(i) The following wallcrossing formula holds for δc > 0

(3.7)

A+(α, 1) − A(α, 1) = X

l≥2

1 (l − 1)!

X

i)∈HN(α,1,δc,l,l−1)

Al, 1)

l−1

Y

i=1

f1i)H(αi).

(ii) The following wallcrossing formula holds for δc = 0.

(3.8)

A+(α, 1) − A(α, 1) = X

l≥2

1 (l − 1)!

X

i)∈HN(α,1,δc,l,l−1)

Al, 1)

l−1

Y

i=1

f1i)H(αi)

+X

l≥1

1 l!

X

i)∈HN(α,1,0,l,l−1) l

Y

i=1

f1i)H(αi) ,

(11)

where f1(α) = (−1)v(e−r(g−1))v(e − r(g − 1)) for α = (r, e) and A±(α, 1) and H(α) are generalized DT invariants with numerical invariants (r, e, 1) and (r, e, 0) respectively for α = (r, e).

Strategy of the proof. The first step to derive the wallcrossing formu- las is usually to write the formulas in terms of characteristic delta stack function. Take (i) for example. First we have a relation in SF(MA)

dα+− dα=X

l≥2

(−1)l X

i)∈HN(α,1,δc,l,l−1)

hα1∗ hα2∗ · · · ∗ [dαl, hαl−1] ,

where dα±and hαi are the characteristic stack functions for ADHM sheaf moduli and Higgs sheaf moduli.

The second step is to transform all the characteristic stack functions in the formula to the log stack function. Assume that the log stack functions for the stack functions hαiis gαi. After the transformation we have

(3.9)

dα+−dα =X

l≥2

(−1)l (l − 1)!

X

i)∈HN(α,1,δc,l,l−1)

[gα1, [gα2, [· · · [gαl−1, dαl] · · · ] .

Notice that the automorphism group of all ADHM sheaves with E = OX is isomorphic to C×. Therefore all the stack functions in (3.9) belong to the Lie algebra SFindalg(MA). We arrange the formula as a sequence of Lie brackets such that when applying the canonical Lie algebra homomorphism Ψ to (3.9) we extract the invariants directly.

 For fixed r ∈ Z≥1, and fixed δ ∈ R>0\ Q let

Zδ(q)r=X

e∈Z

qe−r(g−1)Aδ(r, e), Z(q)r=X

e∈Z

qe−r(g−1)A(r, e) .

Z(q)r is the generating function of degree r local stable pair in- variants of the data X = (X, M1, M2). Using the above theorem the following rationality result is proven, which is a consequence of the BPS expansion conjectured by Gopakumar-Vafa.

Theorem 3.7. For any r ∈ Z≥1, and any δ ∈ R>0 \ Q, Zδ(q)r, Z(q)rare Laurent expansions of rational functions of q. Moreover, the rational function corresponding to Z(q)r is invariant under q ↔ q−1. If g ≥ 1, Zδ(q)r = Z(q)r is a polynomial in q, q−1 invariant under q ↔ q−1.

(12)

3.3. Higher Rank ADHM Invariants

In this section we consider ADHM sheaves with E = V ⊗ OX, where V is a finite dimensional vector space over C. We proved the following rank 2 wallcrossing formulas for ADHM sheaf theory [4].

Theorem 3.8. The ADHM invariants with numerical types (α, 2) = (r, e, 2) satisfy the following wallcrossing formula

(3.10)

A(α, 2) − A+(α, 2) = X

l≥2

1 (l − 1)!

X

i)∈HN(α,2,δc,l,l−1)

A+l, 2)

l−1

Y

i=1

f2i)H(αi)

−1 2

X

l≥1

1 (l − 1)!

X

i)∈HN(α,2,δc,l+1,l−1)

g(αl+1, αl

A+l, 1)A+l+1, 1)

l−1

Y

i=1

f2i)H(αi)

+1 2

X

12)∈HN(α,2,δc,2,0)

X

l1≥1

X

l2≥1

1 (l1− 1)!

1 (l2− 1)!

X

1,i)∈HN1,1,δc,l1,l1−1) 2,i)∈HN2,1,δc,l2,l2−1)

g(α1, α2)A+1,l1, 1)A+2,l2, 1)×

l1−1

Y

i=1

f11,i)H(α1,i)

l2−1

Y

i=1

f12,i)H(α2,i)

where A±(α, 2) are the generalized DT invariants of the numerical in- variants (α, 2) and fv(α) and g(α1, α2) are given by

fv(α) = (−1)v(e−r(g−1))v(e − r(g − 1)), v = 1, 2

g(α1, α2) = (−1)e1−e2−(r1−r2)(g−1)(e1− e2− (r1− r2)(g − 1)) . Strategy of the proof. The proof strategy of this theorem is almost the same as v = 1 case. But since the numerical invariants are of the form (α, 2), we need to tranform the characteristic stack function d(α,2)± to its corresponding log stack functions e(α,2)± by (3.3) when α is divisible by 2.



(13)

An application of this theorem gives rank 2 genus zero invariants.

Consider the following generating function (3.11) ZX ,v(u, q) =X

r≥1

X

n∈Z

urqnA(r, n − r, v)

where v = 1, 2. Using the wallcrossing formula the following closed formulas are proven [4].

Corollary 3.9. Suppose X is a genus 0 curve and M1 ' OX(d1), M2' OX(d2) where (d1, d2) = (1, 1) or (0, 2). Then

(3.12)

ZX ,1(u, q) =

Y

n=1

(1 − u(−q)n)(−1)d1−1n

ZX ,2(u, q) =1 4

Y

n=1

(1 − uqn)2(−1)d1−1n

−1 2

X

r1>r2≥1, n1,n2∈Z or r1=r2≥1, n2>n1 or r1≥1, n1∈Z, r2=n2=0

(n1− n2)(−1)(n1−n2)×

A(r1, n1− r1, 1)A(r2, n2− r2, 1)ur1+r2qn1+n2. Proof. Let CX0 be the full abelian subcategory of CX consisting of ADHM sheaves E with φ = 0. For any δ ∈ R, an object E of CX0 will be called δ-semistable if it is δ-semistable as an object of CX. One can see that the properties of δ-stability and moduli stacks of semistable objects in CX0 are analogous to those of CX.

Given an ADHM sheaf E = (E, V, Φi, ψ) ∈ CX0 of type (r, e, v), it cab be checked that for δ < 0 the proper nontrivial object (E, 0, Φi, 0) is always destabilizing. Therefore the main difference between CX0 and CX

is that for any (r, e, v) ∈ Z≥1× Z × Z≥1the moduli stack of δ-semistable objects of CX0 of type (r, e, v) is empty if δ < 0.

Let E = (E, 0, Φi, 0) be a semistable Higgs sheaf of CX0 of type (r, e, 0), (r, e) ∈ Z≥1× Z. If (d1, d2) = (1, 1), E must be isomorphic to OX(n)⊕r for some n ∈ Z, and Φi= 0 for i = 1, 2. If (d1, d2) = (0, 2), E must be isomorphic to OX(n)⊕r for some n ∈ Z, and Φ2= 0.

This implies that for (d1, d2) = (1, 1) the moduli stack Mss(r, e, 0) is isomorphic to the quotient stack [∗/GL(r)] if e = rn for some n ∈ Z, and empty otherwise. For (d1, d2) = (0, 2) the moduli stack Mss(r, rn, 0), n ∈ Z, is isomorphic to the moduli stack of trivially semistable repre- sentations of dimension r of a quiver consisting of one vertex and one

(14)

arrow joining the unique vertex with itself. If e is not a multiple of r, the moduli stack Mss(X , r, e, 0) is empty.

Performing a computation similar to [20, Sect. 7.5.1] we obtain the Higgs sheaf invariant H(r, e) and the only invariants in δ < 0 chamber of CX0 are given by

(3.13) H(r, e) =

(−1)d1−1

r2 if e = rn, n ∈ Z 0 otherwise ,

(3.14) Aδ(0, 0, 1) = 1 , Aδ(0, 0, 2) = 1 4 .

Then we could apply (3.10) or the analogous wallcrossing formulas of Kontsevich and Soibelman to compute the invariants in the asymptotic δ  0 chamber. We leave out the remaning details and refer the inter-

ested readers to [4]. 

3.4. Comparison with Kontsevich-Soibelman Formula The goal of this section is to illustrate that the ADHM wallcrossing formulas (3.7)(3.10) are in agreement with the wallcrossing formulas of Kontsevich and Soibelman [21], which will be referred to as the KS formula in the following.

Numerical types of ADHM sheaves will be denoted by γ = (α, v), α = (r, e) ∈ Z≥1× Z, v ∈ Z≥0. In order to streamline the computations, let L(X )≤2 denote the truncation of the Lie algebra L(X ) defined by (3.15)

[λ(α1, v1), λ(α2, v2)]≤2=

 [λ(α1, v1), λ(α2, v2)] if v1+ v2≤ 2

0 otherwise.

Furthermore, it will be more convenient to use the alternative notation eα= λ(α, 0), fα= λ(α, 1), and gα= λ(α, 2).

Given a critical stability parameter δcof type (r, e, 2), (r, e) ∈ Z≥1× Z, there exist two pairs α = (rα, eα) and β = (rβ, eβ) with

eα+ δc

rα = eβ

rβ = µδc(γ)

so that any η ∈ Z≥1× Z with µδc(η) = µδc(γ) can be uniquely written as η = (qβ, 0), (α + qβ, 1), or (2α + qβ, 2), with q ∈ Z≥0.

(15)

For any q ∈ Z≥0 the following formal expressions will be needed in the KS formula,

(3.16)

Uα+qβ= exp(fα+qβ+1

4g2α+2qβ) , U2α+qβ= exp(g2α+qβ) , U = exp(X

m≥1

emqβ m2 ) . Moreover, let

H = X

q≥0

H(qβ)e,

where the invariants H(α) are the Higgs sheaf invariants. Then the wallcrossing formula of Kontsevich and Soibelman reads

(3.17)

exp(H) Y

q≥0, q↓

U2α+qβA+(2α+qβ,2) Y

q≥0, q↓

Uα+qβA+(α+qβ,1)

= Y

q≥0, q↑

Uα+qβA(α+qβ,1) Y

q≥0, q↑

U2α+qβA(2α+qβ,2)exp(H)

where an up, respectively down arrow means that the factors in the corresponding product are taken in increasing, respectively decreasing order of q. Note that the bar-ed invariants A±(α, v) are the integral invariants corresponding to dDT(α,v)±) in (3.6), while the unbar-ed in- variants A±(α, v) correspond to rational invariants DT(α,v)±). (Sorry about the notation.) In this case we have

A±(2α + qβ, 2) = A±(2α + qβ, 2) +1

4A±(α + qβ/2, 1).

Expanding the right hand side, equation (3.17) yields (3.18)

exp(X

q≥0

A(2α + qβ, 2)g2α+qβ+

X

q2>q1≥0

1

2g(q1β, q2β)A(α + q1β, 1)A(α + q2β, 1)g2α+(q1+q2) = exp(H) exp(X

q≥0

A+(2α + qβ, 2)g2α+qβ

+ X

q1>q2≥0

1

2g(q1β, q2β)A+(α + q1β, 1)A+(α + q2β, 1)g2α+(q1+q2) exp(−H), modulo terms involving fγ. In fact the terms involving fγ precisely give us the v = 1 wallcrossing formula (3.7).

(16)

The BCH formula

(3.19)

exp(A)exp(B)exp(−A) = exp(X

n=0

1

n!(Ad(A))nB)

= exp(B + [A, B] +1

2[A, [A, B]] + · · · ), yields

(3.20)

exp(H) exp(g2α+qβ) exp(−H) = exp(g2α+qβ+X

q1>0

f2(q1β)H(q1β)g2α+(q+q1

+ 1 2!

X

q1>0,q2>0

f2(q1β)H(q1β)f2(q2β)H(q2β)g2α+(q+q1+q2+ · · · )

= exp X

l≥0,qi>0

1 l!(

l

Y

i=1

f2(qiβ)H(qiβ))g2α+(q+q1+···+ql

Substituting (3.20) in (3.18) results in (3.21)

exp X

q≥0

A(2α + qβ, 2)g2α+qβ

+ X

q2>q1≥0

1

2g(q1β, q2β)A(α + q1β, 1)A(α + q2β, 1)g2α+(q1+q2

= exp X

q≥0,l≥0 qi>0

A+(2α + qβ, 2)1 l!(

l

Y

i=1

f2(qiβ)H(qiβ))g2α+(q+q1+···+ql

+ X

q01>q20≥0 l≥0,qi>0

1

2g(q01β, q02β)A+(α + q10β, 1)A+(α + q20β, 1)×

1 l!(

l

Y

i=1

f2(qiβ)H(qiβ))g2α+(q0

1+q02+q1+···+ql



In order to further simplify the notation, let

A±(vα + qβ, v) ≡ A±(q, v), g2α+qβ≡ gq .

(17)

Comparing the coefficients of gQ in (3.18), yields (3.22)

A(Q, 2) = X

q0≥0, l≥0, qi>0 q0+q1+···+ql=Q

A+(q0, 2)1 l!(

l

Y

i=1

f2(qiβ)H(qiβ))

+1 2

X

q01>q02≥0 l≥0, qi>0 q01+q20+q1+···+ql=Q

g(q01β, q02β)A+(q10, 1)A+(q02, 1)1 l!(

l

Y

i=1

f2(qiβ)H(qiβ))

−1 2

X

q02>q10≥0, q01+q02=Q

g(q10β, q20β)A(q01, 1)A(q20, 1) .

Using the v = 1 wallcrossing formula (3.7) to transform the last term in (3.22) we finally obtain the v = 2 wallcrossing formula.

(3.23)

A(Q, 2) = X

q0≥0, l≥0, qi>0 q0+q1+···+ql=Q

A+(q0, 2)1 l!(

l

Y

i=1

f2(qiβ)H(qiβ))

+1 2

X

q01>q02≥0 l≥0, qi>0 q01+q20+q1+···+ql=Q

1

2g(q01β, q20β)A+(q10, 1)A+(q02, 1)1 l!(

l

Y

i=1

f2(qiβ)H(qiβ))

−1 2

X

q2>q1≥0 q1+q2=Q l≥0, ˜l≥0 q10≥0, q02≥0

ni>0,˜ni>0 q01+n1+···+nl=q1

q02n1+···+˜n˜l=q2

g(q1β, q2β)A+(q01, 1)A+(q02, 1)×

1 l!(

l

Y

i=1

f1(niβ)H(niβ))1

˜l!(

˜l

Y

i=1

f1(˜niβ)H(˜niβ)) .

This formula agrees with (3.10).

§4. Cohomology of the Moduli Space of Hitchin Pairs

In this section we present a conjectural formalism to determine the Poincar´e (Hodge) polynomial of Hitchin moduli space [5]. More pre- cisely refined wallcrossing formulas and the refined ADHM invariants

(18)

with E = OX in the asymptotic chamber are conjectured on local curves. It is shown that these formulas yield a recursive relation which correctly determines the Poincar´e (Hodge) polynomial of the moduli space of Hitchin pairs with coprime rank and degree on a smooth pro- jective curve of genus at least two.

We recall the defintion of a Hitchin pair. Let X be a smooth pro- jective curve and L is an invertible sheaf on X. A Hitchin pair is a pair (E, Φ) where E is a coherent sheaf on X and Φ : E → E ⊗XL a morphism of coherent sheaves. A Hitchin pair is (semi)stable if for any proper subsheaf 0 ⊂ E0⊂ E such that Φ(E0) ⊂ E0XL, we have

(4.1) deg(E0)

rank(E0) < (≤)deg(E) rank(E) .

Note that if rank(E) > 0, semistability of the Hitchin pair implies that E is locally free. Assume that deg(L) ≥ 2g − 2. According to [12, 30, 1] we have an algebraic moduli stack Hit(X, L, r, e) locally of finite type parametrizing the semistable Hitchin pairs with numerical type (r, e). If (r, e) are coprime, this stack is a C×-gerbes over a smooth quasi-projective variety Hit(X, L, r, e).

One of the major observations, which make the enumerations pos- sible, is the relation between semistable Higgs sheaves and semistable Hitchin pairs as follows.

• Suppose M1 = OX, M2 = KX−1 and let (r, e) ∈ Z≥1× Z be coprime. Then there is an isomorphism

(4.2) Higgs(X , r, e) ' C × Hit(X, KX, r, e).

• Suppose M2is a line bundle of degree 2−2g−p, where p ∈ Z>0. Then there is an isomorphism

(4.3) Higgs(X , r, e) ' Hit(X, M2−1, r, e).

Both statements rely on the fact that for coprime (r, e) slope semista- bility is equivalent to slope stability. Therefore the endomorphism ring of any semistable ADHM sheaf E is canonically isomorphic to C.

Then note that in the first case, given any semistable object E = (E, Φ1, Φ2) the relation Φ1◦ (Φ2⊗ 1M1) − Φ2◦ (Φ1⊗ 1M2) = 0 implies that Φ1: E → E is an endomorphism of E since it obviously commutes with itself. Therefore it must be of the form Φ1 = λ1E for some λ ∈ C. In particular, it preserves any subsheaf E0 ⊂ E. Generalizing this observation to flat families it follows that there is an forgetful morphism

Higgs(X , r, e) → Hit(X, KX, r, e)

(19)

projecting (E, Φ1, Φ2) to (E, Φ2⊗ 1KX). The isomorphism (4.2) then follows easily.

In the second case, note that given a semistable Higgs sheaf (E, Φ1, Φ2), of type (r, e), the data

E0=

E ⊗XM1−1, Φ1⊗ 1M−1

1 , Φ2⊗ 1M−1 1



determines a semistable Higgs sheaf of type (r, e − rdeg(M1)) = (r, e − rp). The relation

1⊗1M−1

1 )◦((Φ2⊗1M−1

1 )⊗1M1)−(Φ2⊗1M−1

1 )◦((Φ1⊗1M−1

1 )⊗1M2) = 0 implies that Φ1⊗ 1M−1

1 is a morphism of (semistable) Higgs sheaves.

However µ(E ) > µ(E0) since p > 0, therefore any such morphism must vanish. Then (4.3) follows.

 Besides these observations we make the following conjectures.

Conjecture 4.1. Let α = (r, e) ∈ Z≥1× Z. Then for δ not crit- ical there exist refined equivariant ADHM invariants Aδ(r, e, 1)(y) ∈ Z[y, y−1], for any δ ∈ R, and refined equivariant Higgs sheaf invari- ants H(r, e)(y) ∈ Q(y) so that Aδ(r, e, 1)(1) = Aδ(r, e, 1), H(r, e)(1) = H(r, e) and refined wallcrossing formulas hold. The conjectural refined wallcrossing formulas are obtained by the following direct substitution:

Aδ(r, e, 1) → Aδ(r, e, 1)(y), H(r, e) → H(r, e)(y), and (−1)(e−r(g−1))v(e−

r(g − 1)) → (−1)(e−r(g−1))[(e − r(g − 1))]y in the rank one wallcrossing formulas, where [n]y= yy−yn−y−1−n. Moreover H(r, e)(y) ∈ Z[y, y−1] if (r, e) are coprime.

Conjecture 4.2. The following refined multicover relation holds for any (r, e) ∈ Z≥1× Z

(4.4) H(r, e)(y) = X

k∈Z, k≥1 k|r, k|e

1 k [k]y

H r k,e

k

 (yk) ,

where H(r, e)(y) ∈ Z[y, y−1] .

Remark 4.3. The invariants Aδ(r, e, 1)(y) ∈ Z[y, y−1], H(r, e)(y) are refined generalizations of Joyce-Song invariants of ADHM sheaves.

They are conjecturally related to Kontsevich-Soibelman invariants Aδ(r, e, 1)(y) ∈ Z[y, y−1], H(r, e)(y) ∈ Z[y, y−1] by a refined multicover formula in Con-

jecture 4.2. For v = 1 invariants this formula states simply that Aδ(r, e, 1)(y) = Aδ(r, e, 1)(y).

(20)

The last essential piece in the construction is the Nekrasov partition function of instanton counting. Physically we can geometrically engineer a five dimensional SU (2) gauge theory with g adjoint hypermultiplets by putting M-theory on the total space Z of canonical bundle KS on the ruled surface S = P(OX⊕ M1). Inside S there are two sections X1 and X2. The normal bundle NX1|Z of X1 inside Z is given by

NX1|Z ' M1−1⊕ M2−1 .

This construction involving ruled surfaces is needed because other con- structions are problematic physically, ie. other geometries do not admit geometric engineering of five dimensional gauge theory. However the subtlety in ruled surface construction is that we need to separate the contributions coming from the other section X2.

Given such a five dimensional theory, Nekrasov has constructed an equivariant instanton partition function Zinst(p) (Q, 1, 2, a1, a2, y), where

1, 2, a1, a2 are equivariant parameters for a natural torus action, Q is a formal variable counting instanton charges, and y is another formal variable.

It has been verify by string theorists in other local geometries that the instanton partition function could be identified with the (refined) topological string after suitable changes of variables [8, 29, 13, 14, 9, 15].

Mathematically Zinst(p) (Q, 1, 2, a1, a2, y) is the generating function for the χy-genus of a certain holomorphic bundle on a partial compact- ification of the instanton moduli space M (r, k) as described in the fol- lowing.

Hirzebruch genus Let M (r, k) denote the moduli space of rank r framed torsion-free sheaves (F, f ) on P2 with second Chern class k ∈ Z≥0. The framing data is an isomorphism

(4.5) f : F |l → Ol⊕r

.

along the line linf ty at infinity defined by [0, z1, z2] in terms of the ho- mogeneous coordinates of P2.

M (r, k) is a smooth quasi-projective fine moduli space i.e. there is an universal framed sheaf (F, f) on M (r, k) × P2. Let V = R1p1∗F ⊗ p2OP2(−1) where p1, p2: M (r, k) × P2→ M (r, k), P2denote the canoni- cal projections. It follows from [26] that V is a locally free sheaf of rank k on M (r, k).

There is a torus T = C××C××(C×)×raction on acting on M (r, k), where the action of the first two factors is induced by the canonical action on C×× C× on P2, and the last r factors act linearly on the framing.

(21)

According to [27] the fixed points of the T-action on M (r, k) are isolated and classified by collections of Young diagrams Y = (Y1, . . . , Yr) so that the total number of boxes in all diagrams is |Y | = |Y1| + · · · |Yr| = k. Let Yr,k denote the set of all such r-tuples of Young diagrams. Note also that both the holomorphic cotangent bundle TM (r,k) and the bundle V constructed in the previous paragraph carry canonical equivariant structures.

The K-theoretic instanton partition function of an SU (2) theory with g adjoint hypermultiplets and a level p Chern-Simons term is given by the equivariant residual Hirzebruch genus of the holomorphic T- equivariant bundle

(TM (2,k) )⊕g⊗ (det V)−p.

This is defined by equivariant localization as follows [28, 22]. Let (1, 2, a1, a2) be equivariant parameters associated to the torus T. Then the localiza- tion formula yields [28, 22]

(4.6) Zinst(g,p)(Q, 1, 2, a1, a2, y) =

X

k=0

QkZk(g,p)(1, 2, a1, a2; y)

where Z0(g,p)(1, 2, a1, a2; y) = 1 and (4.7)

Zk(g,p)(1, 2, a1, a2; y) = X

(Y2,Y2)∈Y2,k

Z(Y(g,p)

2,Y2)(1, 2, a1, a2; y)

= X

Y ∈Y2,k 2

Y

α=1



e−|Yα|aα Y

(i,j)∈Yα

e(i−1)1+(j−1)2

p

2

Y

α,β=1

Y

(i,j)∈Yα



1 − ye(Yβ,jt −i)1−(Yα,i−j+1)2+aαβg



1 − e(Yβ,jt −i)1−(Yα,i−j+1)2+aαβ

Y

(i,j)∈Yβ



1 − ye−(Yα,jt −i+1)1+(Yβ,i−j)2+aαβg



1 − e−(Yα,jt −i+1)1+(Yβ,i−j)2+aαβ where for any Young tableau Y , Yi, i ∈ Z≥1 denotes the length of the i-th column and Yt denotes the transpose of Y . If i is greater than the number of columns of Y , Yi = 0. Moreover aαβ= aα− aβ for any α, β = 1, 2.

Let Z(Y(g,p)

1,Y2)(q1, q2, Qf, y) be the expression obtained by setting q1= e−1, q2= e−2 and Qf = ea12, and ea1= −1 in Z(Y(g,p)

1,Y2)(1, 2, a1, a2; y).

參考文獻

相關文件

1 As an aside, I don’t know if this is the best way of motivating the definition of the Fourier transform, but I don’t know a better way and most sources you’re likely to check

Consistent with the negative price of systematic volatility risk found by the option pricing studies, we see lower average raw returns, CAPM alphas, and FF-3 alphas with higher

• Give the chemical symbol, including superscript indicating mass number, for (a) the ion with 22 protons, 26 neutrons, and 19

You are given the wavelength and total energy of a light pulse and asked to find the number of photons it

Wang, Solving pseudomonotone variational inequalities and pseudocon- vex optimization problems using the projection neural network, IEEE Transactions on Neural Networks 17

volume suppressed mass: (TeV) 2 /M P ∼ 10 −4 eV → mm range can be experimentally tested for any number of extra dimensions - Light U(1) gauge bosons: no derivative couplings. =&gt;

Define instead the imaginary.. potential, magnetic field, lattice…) Dirac-BdG Hamiltonian:. with small, and matrix

incapable to extract any quantities from QCD, nor to tackle the most interesting physics, namely, the spontaneously chiral symmetry breaking and the color confinement.. 