• 沒有找到結果。

Parabolic refined invariants and Macdonald polynomials

N/A
N/A
Protected

Academic year: 2022

Share "Parabolic refined invariants and Macdonald polynomials"

Copied!
77
0
0

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

全文

(1)

Parabolic refined invariants and Macdonald polynomials

Wu-yen Chuang, Duiliu-Emanuel Diaconescu, Ron Donagi, Tony Pantev

Abstract

A string theoretic derivation is given for the conjecture of Hausel, Letellier and Rodriguez-Villegas on the cohomology of character varieties with marked points. Their formula is identified with a refined BPS expansion in the stable pair theory of a local root stack, generalizing previous work of the first two authors in collaboration with G.

Pan. Haiman’s geometric construction for Macdonald polynomials is shown to emerge naturally in this context via geometric engineering. In particular this yields a new conjectural relation between Macdonald polynomials and refined local orbifold curve counting invariants. The string theoretic approach also leads to a new spectral cover construction for parabolic Higgs bundles in terms of holomorphic symplectic orbifolds.

Contents

1 Introduction 3

1.1 The Hausel-Letellier-Rodriguez-Villegas formula . . . 3

1.2 The main conjecture . . . 5

1.3 Macdonald polynomials via geometric engineering . . . 6

1.4 Parabolic conifold invariants and the equivariant index . . . 7

1.5 Outline of the program . . . 8

1.6 Orbifold spectral data for nontrivial eigenvalues . . . 9

1.7 Open problems . . . 10

1.8 Notation and conventions . . . 10

2 Parabolic Higgs bundles and spectral covers 12 2.1 Parabolic structures . . . 12

2.2 Higgs fields, spectral covers, and foliations . . . 14

2.3 Diagonally parabolic Higgs bundles . . . 16

(2)

3 Spectral data via holomorphic symplectic orbifolds 17

3.1 Root stacks and orbifold spectral covers . . . 18

3.2 Orbifold spectral data for diagonally parabolic Higgs bundles . . . 21

3.3 Equivalence of moduli stacks . . . 26

3.3.1 The parabolic moduli stack . . . 26

3.3.2 Some combinatorics . . . 27

3.3.3 The symplectic orbifold surface . . . 27

3.3.4 The orbifold spectral stack . . . 27

3.3.5 Equivalence of moduli stacks. . . 28

3.4 Outline of the proof . . . 28

4 Orbifold stable pairs and parabolic ADHM sheaves 30 4.1 ADHM parabolic structure . . . 31

4.2 Moduli spaces and counting invariants . . . 33

5 Geometric engineering, Hilbert schemes and Macdonald polynomials 35 5.1 Orbifold stable pairs in string theory . . . 35

5.2 From D-branes to nested Hilbert schemes . . . 37

5.3 K-theoretic partition function . . . . 39

5.4 Nested and isospectral Hilbert schemes . . . 40

5.5 Nested partition function and Macdonald polynomials . . . 43

6 BPS expansion and a parabolic P = W conjecture 46 7 Recursion via wallcrossing 50 7.1 Generic parabolic weights . . . 51

7.2 Trivial weights . . . 55

8 A conifold experiment 57 8.1 A parabolic conifold conjecture . . . 57

8.2 Virtual localization and fixed points . . . 59

8.3 Experimental evidence . . . 62

A Degree zero ADHM sheaves 65

B Fermion zero modes 67

(3)

C Some basic facts on nested Hilbert schemes 71

D A compactness result 72

1 Introduction

The main goal of this paper is a string theoretic derivation of the conjecture of Hausel, Letellier and Rodriguez-Villegas [29] on the topology of character varieties of punctured Riemann surfaces. Analogous results have been obtained in [12, 11] in the absence of marked points, identifying the main conjecture of Hausel and Rodriguez-Villegas [30] with a refined Gopakumar-Vafa expansion. The same framework yields a recursion relation for Poincar´e and Hodge polynomials of Higgs bundle moduli spaces using the wallcrossing formula of Kontsevich and Soibleman [42]. A motivic version of this recursion relation is derived by Mozgovoy in [49], and proved to be in agreement with the Hausel-Rodriguez-Villegas formula.

The string theoretic construction also provides quantitative supporting evidence [11] for the P = W conjecture formulated by de Cataldo, Hausel, and Migliorini in [14], and proven in loc. cit. for rank two Higgs bundles. The present paper carries out a similar program for character varieties with marked points, the starting point being the main conjecture formulated in [29], which is briefly reviewed below.

1.1 The Hausel-Letellier-Rodriguez-Villegas formula

Let C be a smooth complex projective curve of genus g ≥ 0, and D = p1 +· · · + pk a divisor of distinct reduced marked points on C. Let γ1, . . . , γk denote the generators of the fundamental group π1(C \ D) corresponding to the marked points. For any nonempty partition µ = (µ1, . . . , µl) of r≥ 1, let Cµ be a semisimple conjugacy class in GL(r,C) such that the eigenvalues of any matrix in Cµ have multiplicities 1, . . . , µl}.

Let µ = (µ1, . . . , µk) be a collection of partitions of an integer r≥ 1. Then the character variety C(C, D; µ) is the moduli space of conjugacy classes of representations

f : π1(C\ D) → GL(r, C)

such that f (γi) ∈ Cµi for all 1 ≤ i ≤ k. The character variety C(C, D; µ) actually depends on the choice eigenvalues but we will suppress this dependence from the notation since the topological invariants we compute below are independent of this choice.

(4)

According to [29, Thm. 2.1.5], for sufficiently generic conjugacy classes Cµi, C(C, D; µ) is either empty or a smooth quasi-projective variety of dimension dµ = r2(2g − 2 + k) −

k

i=1

li

j=1ji)2 + 2, where li is the length of the partition µi, 1 ≤ i ≤ k, as above. The compactly supported cohomology Hcpt (C(C, D; µ)) carries a weight filtration W and the mixed Poincar´e polynomial is defined by

Pc(C(C, D; µ); u, t) =

i,k≥0

dim (

GrWi Hcptk (C(C, D; µ)))

ui/2(−t)k. (1.1)

A priori the right hand side of (1.1) takes values in Z[u1/2, t], but it was conjectured in [29]

that it is in fact a polynomial in (u, t).

In order to formulate the main conjecture of [29], for any partition λ let Hgλ(z, w) =

2∈λ

(z2a(2)+1− w2l(2)+1)2g

(z2a(2)+2− w2l(2))(z2a(2)− w2l(2)+2). (1.2) where a(2), l(2) denote the arm, respectively leg length of 2 ∈ λ. Moreover, for each marked point pi, let xi = (xi,1, xi,2, . . .) be an infinite collection of formal variables, 1 ≤ i ≤ k, and eHλ(z2, w2; xi) be the modified MacDonald ploynomial [24, 27] labelled by λ. Then [29, Conjecture 1.2.1.(iii)] states that

ZHLRV(z, w, xi) = exp (

k=1

µ

1 k

w−kdµPc(C(C, D; µ); z−2k,−(zw)k) (1− z2k)(w2k− 1)

k i=1

mµi(xki) )

(1.3) where

ZHLRV(z, w, xi) =∑

λ

Hλg(z, w)

k i=1

Heλ(z2, w2; xi)

and mµi(xi) are the monomial symmetric functions. For ease of exposition equation (1.3) will be referred to as the HLRV formula.

Note also that the character variety C(C, D; µ) is diffeomorphic to a moduli space of strongly parabolic Higgs bundles on C. By analogy with the P = W conjecture formulated in [14], one expects the weight filtration on the compactly supported cohomology on the character variety to be identified with a perverse Leray filtration for the Hitchin map on the moduli of parabolic Higgs bundles. This conjectural identification plays an important role in this paper.

(5)

1.2 The main conjecture

In this paper we propose a program for verifying (1.3) by following a sequence of string- theoretic and geometric dualities providing identifications of various counting functions. Our main string theoretic construction relies on a conjectural identification of the generating function ZHLRV(z, w, x) with the stable pair theory of a Calabi-Yau orbifold eY . This orbifold is constructed in Section 4 using the results of [51, 26], which identify parabolic Higgs bundles on C with Higgs bundles on a root stack. The root stack is an orbifold curve eC equipped with a natural projection to C, which makes C its coarse moduli space. Its construction depends on the discrete invariants of the parabolic structure and is reviewed in detail in Section 3.1.

In particular, note that the closed points of eC have generically trivial stabilizers, the orbifold points being in one-to-one correspondence with the marked points on C.

Given a line bundle M on C, the three dimensional Calabi-Yau orbifold eYM is defined to be the total space of the rank two bundle eYM := tot(

νM−1(

KCeCeνM))

on eC.

In what follows we will call such three dimensional Calabi-Yau orbifolds local orbifold curves. Initially we focus on eY := eYO := tot(

OCe⊕ KCe) .

By analogy with Pandharipande and Thomas [55], the stable pair theory of a local orbifold curve eY is defined in Section 4 as a counting theory for pairs (F, s) with F a pure dimension one sheaf on eY , and s : OYe → F a generically surjective section. The discrete invariants of F are the Euler character n = χ( eF ) and a collection of integral vectors m = (mi)1≤i≤k, mi ∈ (Z≥0)si, si ≥ 1, encoding the K-theory class of F . In Section 4.1 we extend the analysis of [16]: given a line bundle M on C, we reformulate the stable pair theory of the local orbifold curve eYM in terms of parabolic ADHM sheaves on the curve C.

This yields an explicit construction of the perfect obstruction theory of the moduli space, and makes the relation with parabolic Higgs bundles more transparent.

Assuming the foundational aspects of motivic Donaldson-Thomas theory from [42], one obtains a series of refined Pandharipande-Thomas (PT) invariants for the orbifold eYM:

Zrefe

YM

(q, x, y) =

n∈Z

m

P T ( eYM, n, m; y)qn

k i=1

xmi i (1.4)

for some formal variables x =(

x1, . . . , xk)

, xi = (xi,0, . . . , xi,si−1), 1≤ i ≤ k. Then the main conjecture in this paper is the following identity:

Conjecture. After a change of variables, the counting function for the refined PT invariants on the orbifold Calabi-Yau eY = tot(OCe ⊕ KCe) is identified with the combinatorial HLRV

(6)

partition function:

Zrefe

Y (z−1w, x, z−1w−1) = ZHLRV(z, w, x). (1.5)

In Section 6 we explain how the relation (1.5) and the parabolic P = W conjecture imply that the same change of variables converts the HLRV formula (1.3) into a refined Gopakumar- Vafa expansion. Moreover, an application of the wallcrossing formula of Kontsevich and Soibelman yields a recursion relation for Poincar´e polynomials analogous to [12]. As shown in Section 7, the main arguments of [49] apply to the present case as well, proving that the solution of this recursion formula is in agreement with the predictions of the HLRV formula.

A rigorous proof of identity (1.5) is one of the most important open problems emerging from this paper. Supporting evidence for this conjecture is provided in Sections 5 and 8, which are briefly summarized below.

1.3 Macdonald polynomials via geometric engineering

Geometric engineering is used in Section 5 to relate the stable pair generating function (1.4) to a D-brane quiver quantum mechanical partition function. Analogous results in the physics literature were obtained in [37, 43, 19, 53, 33, 34, 20, 32, 41, 44, 35] while a general mathematical theory of geometric engineering is currently being developed by Nekrasov and Okounkov in [52]. The treatment in Section 5 follows the usual approach in the physics literature via IIA/M-theory duality and D-brane dynamics. A detailed comparison with the formalism of [52] is left as an open problem, as briefly explained below.

For simplicity it is assumed that there is only one marked point on C. The local orbifold curve is taken of the form form eYM = tot(

νM−1 ⊕ KCe Ce νM)

where M is a degree p ≥ 0 line bundle on C. As shown in Section 5.2, a two step chain of dualities relates the resulting stable pair theory to a series of equivariant K-theoretic invariants of nested Hilbert schemes of points in C2. The construction of the K-theoretic partition function is explained in Section 5.3. The final formula recorded in equation (5.6) is a generating function of the form

ZK(q1, q2; ˜y, ˜x) =

γ

χTy˜(V(γ))mµ(γ)x) (1.6)

(7)

where χTy˜(V(γ)) is the equivariant Hirzebruch genus of a vector bundle V(γ) on the nested Hilbert scheme N (γ). Here the sum is over all finite collections γ = (γι)0≤ι≤ℓ of positive integers labelling discrete invariants of flags of ideal sheaves on C2, as explained in Section 5.2, above equation (5.5). For any γ, µ(γ) denotes the unordered partition of |γ| =

ι=0γι determined by γ, and mµx) are the monomial symmetric functions in an infinite set of variables (˜x0, ˜x1, . . .).

Note that the formalism of [52] relates the above stable pair theory with the equivariant K-theoretic stable pair theory of the product eC×C2. Then one expects the partition function (1.6) to follow from this theory by virtual localization computations. In particular the bundle of fermion zero modes derived in Appendix B is expected to be naturally determined by the induced perfect obstruction theory on the fixed loci. This computation will be left as an open problem.

The main result of section 5 is identity (5.18) expressing the generating function (1.6) in terms of modified Macdonald polynomials,

ZK(q1, q2; ˜x, ˜y) =

µ

g,pµ (q1, q2, ˜y) ˜Hµ(q2, q1, ˜x). (1.7)

The Ωg,pµ (q1, q2, ˜y) are rational functions of the equivariant parameters (q1, q2) and ˜y deter- mined explicitely by a fixed point theorem, according to equation (5.17).

Formula (1.7) is proven in Section 5.5 using Haiman’s geometric construction of Macdon- ald polynomials in terms of isospectral Hilbert scheme [27, 28]. The proof also requires some geometric comparison results between nested and isospectral Hilbert schemes established in Section 5.4.

As supporting evidence for equation (1.5), it is shown in Section 6, equation (6.4), that a simple change of variables relates the right hand side of equation (1.7) to the HLRV generating function ZHLRV(z, w; x),

ZHLRV(z, w; x) = ZK(

w2, z2; (zw)−1, (−1)g−1(zw)gx)

. (1.8)

Further supporting evidence is provided in Section 8, which is briefly summarized below.

1.4 Parabolic conifold invariants and the equivariant index

A direct computational test of conjecture (1.5) is carried out in Section 8 using the formalism developed by Nekrasov and Okounkov in [52]. The computations are carried out for the special case where C is the projective line with one marked point p, and the local threefold

(8)

is eYOC(1) i.e. the total space of the rank two bundle νOC(−1) ⊕ KCe Ce νOC(1) on eC. A conjectural relation between the equivariant index defined in [52] and orbifold refined stable pair invariants is formulated in Section 8.1, equation (1.5). This identification is checked by explicit virtual localization computations for low degree terms up to three box partitions in Section 8.2.

An important outcome of the string theoretic derivation is a new geometric construction of spectral data for parabolic Higgs bundles which lays the ground for a generalization of the HLRV formula. This is carried out in Section 3, a brief outline being provided below.

1.5 Outline of the program

For the convenience of the reader we now list all the ingredients in the physical derivation of the HLRV conjecture (1.3) in their logical sequence:

Step 1. Identify the combinatorial left hand side of the HLRV formula with the counting function for refined stable pair invariants on the three dimensional Calabi-Yau orbifold Y . This identification is provided by the conjectural formula (1.5). The constructione of the orbifold stable pair theory for this step is presented in Section 4.

Step 2. Identify the counting function for the refined stable pair invariants on eY with the generating function for the perverse Poincar´e polynomials of the moduli of parabolic Higgs bundles. This identification is a combination of two components:

(i) A geometric isomorphism of the moduli of Bridgeland stable pure dimension one sheaves on eY and the product of the moduli space of parabolic Higgs bundles on C with the affine line. This identification is based on the spectral cover construction explained in Section 3.1.

(ii) A conjectural refined Gopakumar-Vafa expansion of the stable pair theory of eY generalizing the unrefined conjecture formulated in [55]. Granting identity (1.5), the specialization of the HLRV formula to Poincar´e polynomials follows recur- sively from the Kontsevich-Soibelman wall-crossing formula [42] for the variation of Bridgeland stabilities on the stable pair moduli by analogy with [12, 49]. The details are presented in Sections 6, 7.

Step 3. Identify the generating function for the perverse Poincar´e polynomials of the moduli of parabolic Higgs bundles with the generating function for the weight-refined Poincar´e

(9)

polynomial of the character variety. This is a parabolic version of the P = W conjecture of Hausel, de Cataldo, and Migliorini. A brief discussion is provided in Section 6.

Note that the refined Gopakumar-Vafa expansion needed here was conjectured for toric Calabi-Yau threefolds in [35] and also [10] building on previous work of [25, 38]. This conjecture was extended to higher genus local curves in [11]. Here it is further extended to local orbifold curves.

In the mathematical literature, a weak form of the unrefined Gopakumar-Vafa conjecture stable pair theory was proven in [5], [59], while the full unrefined conjecture was proven in [60]. These results prove the existence of a suitable integral expansion, but do not provide a cohomological intepretation of the resulting integral invariants. The latter is also needed in the string theory derivation of the HLRV formula.

The geometric framework developed in this program admits a generalization to parabolic Higgs bundles with nontrivial eigenvalues at the marked points. This yields in particular a new orbifold spectral cover presentation for such objects, generalizing the construction in Section 3.1. This is carried out in Sections 3.2, 3.3 and 3.4, which are summarized below.

1.6 Orbifold spectral data for nontrivial eigenvalues

The orbifold spectral cover construction applies to a particular flavor of parabolic Higgs bundles introduced in Section 2.3. These are Higgs bundles with simple poles at the marked points, whose residues are ξ-parabolic maps. This condition requires each graded component of the Higgs field residue at a marked point with respect to the flag to be a specified mul- tiple of the identity. Parabolic Higgs bundles satisfying this condition are called diagonally parabolic, or, more specifically, ξ-parabolic, and form a closed substack of the moduli stack of semistable parabolic Higgs bundles.

The unordered eigenvalues of parabolic Higgs bundles are parameterized by the quotient Q of the Hitchin base defined in equation (2.12). For each point q ∈ Q, the construction in Section 3.2 produces a holomorphic symplectic orbifold surface eSδ. The moduli space of semistable ξ-parabolic Higgs bundles is conjecturally identified with a moduli space of semistable torsion sheaves on eSδ with fixed K-theory class. The precise statement of this conjecture is given in Section 3.3, a brief outline of the proof being provided in Section 3.4.

In this geometric framework string theory arguments predict a formula of the form (1.3), where the left hand side is given by the refined stable pair theory ZP Tref( eSδ × C) up to a change of variables. The right hand side will be a similar generating function for perverse

(10)

Poincar´e polynomials for moduli spaces of stable ξ-parabolic Higgs bundles. As pointed out by Emmanuel Letellier and Tamas Hausel, the latter is expected to be identical with the right hand side of equation (1.3), even away from the nilpotent locus. This leads to a rather surprising conjecture stating that the refined stable pair theory ZP Tref( eSδ× C) is independent on δ. In particular, it should be identical with the stable pair theory of eY in equation (1.4).

1.7 Open problems

We conclude the introduction with a list of open problems emerging from this work. Several such questions have already been encountered above, including:

(a) the proof of (1.5),

(b) the derivation of an analogous formula for the stable pair theory of the orbifolds Seδ× C, confirming deformation invariance, and

(c) an explicit comparison with the equivariant K-theoretic stable pair theory of eC× C2 in the context of geometric engineering.

Additional possible future directions include:

(d) Section 6 presents quantitative evidence for a parabolic version of the P = W conjec- ture formulated in [14]. It would be very interesting if the parabolic P = W can be proven by direct comparison methods in certain classes of examples.

(e) Another problem is to prove the crepant resoltuion conjecture for stable pair invariants formulated in [56, Conj. 4], for the orbifolds eSδ× C. Similar results in Donaldson-Thomas theoriers have been proven in [7, 9].

(f ) Elaborating on the same topic, a further question is whether ξ-parabolic Higgs bundles admit a spectral cover presentation in terms of torsion sheaves on the resolutions of the coarse moduli spaces. Again, the Fourier-Mukai transform should provide important input in finding the answer.

(g) Finally, a natural question is whether one can construct a TQFT formalism for (unrefined) curve counting invariants of local orbifold curves, by analogy with the results of Bryan and Pandharipande [8], and Okounkov and Pandharipande [54].

1.8 Notation and conventions

C - a smooth complex projective curve of genus g≥ 0.

D = p1+· · · + pk - a divisor of distinct reduced marked points on C.

(11)

µ = (µ1, . . . , µk) - a collection of partitions of an integer r ≥ 1.

C(C, D; µ) - the character variety, i.e. the moduli space of conjugacy classes of representa- tions of π1(C \ D) with values in fixed conjugacy classes at the punctures.

Pc(C(C, D; µ); u, t) - the mixed Poincar´e polynomial for the weight filtration on the com- pactly supported cohomology of the character variety.

Hgλ(z, w) - the HLRV (z, w)-deformation of the 2g− 2 power of the hook polynomial given in equation (1.2).

Heµ(q2, q1, ˜x) - the modified MacDonald polynomial [24, 27].

ZHLRV(z, w, x) - the combinatorial HLRV partition function appearing in the left hand side of the HLRV formula.

C - an orbifold curve equipped with a morphism ν : ee C → C, which is an isomorphism outside D.

Y - a three dimensional Calabi-Yau orbifold given as ee Y = tot(

OCe⊕ KCe

). YeM - a three dimensional Calabi-Yau orbifold given as eYM = tot(

νM (

KCe⊗ νM−1)) for some line bundle M on C.

Zrefe

YM(q, y, x) - the counting function of refined stable pair invariants on eYM.

ZK(q1, q2; ˜y, ˜x) - the counting function of equivariant K-theoretic invariants of nested Hilbert schemes of points in C2.

Hssξ (C, D; m, e, α) - the moduli stack of semistable ξ-parabolic Higgs bundles on C.

Seδ - a symplectic orbifold surface associated with a zero dimensional subscheme inside tot(KC(D)).

Acknowledgements. We are very grateful to Ugo Bruzzo, Jim Bryan, Tamas Hausel, Mar- cos Jardim, Sheldon Katz, Ludmil Katzarkov, Emmanuel Letellier, Davesh Maulik, Sergey Mozgovoy, Alexei Oblomkov, Andrei Okounkov, Rahul Pandharipande, Fernando Rodriguez- Villegas, Vivek Shende, Andras Szenes, Richard Thomas and Zhiwei Yun for very helpful discussions. WYC and DED would like to thank Guang Pan for collaboration at an incipient

(12)

stage of this project. WYC was supported by NSC grant 101-2628-M-002-003-MY4 and a fellowship from the Kenda Foundation. DED was partially supported by NSF grant PHY- 0854757-2009. RD acknowledges partial support by NSF grants DMS 1304962 and RTG 0636606. DED and TP also acknowledge partial support from NSF grants DMS 1107452, 1107263, 1107367 ”RNMS: GEometric structures And Representation varieties” (the GEAR Network) during the initial stages of this work. TP was partially supported by NSF RTG grant DMS-0636606 and NSF grant DMS-1302242.

2 Parabolic Higgs bundles and spectral covers

The goal of this section is to provide some background on parabolic Higgs bundles, summa- rizing the main results used throughout the paper. Let C be a smooth projective curve over C and D =k

i=1pi a reduced effective divisor on C. A meromorphic Higgs bundle is a pair (E, Φ) with a E a locally free sheaf and Φ : E → E ⊗ KC(D) a morphism of sheaves on C. Parabolic Higgs bundles are a refinement of meromorphic ones defined by specifying a parabolic structure at each marked point, as discussed in detail below.

2.1 Parabolic structures

In order to fix notation, let V be a finite dimensional vector space and m = (ma)0≤a≤s−1 Zs≥0 an ordered collection of non-negative integers such that

s−1

a=0

ma = dim V. (2.1)

A flag of type m in V is a filtration

0 = Vs⊆ Vs−1· · · ⊆ V1 ⊆ V0 = V by vector subspaces such that

dim (Va/Va+1) = ma, 0≤ a ≤ s − 1. (2.2) Note that degenerate flags are allowed i.e. the inclusions do not have to be strict, but the length of the filtration is fixed.

Suppose V, W are finite dimensional vector spaces equipped with filtrations V, W of the same length s. A linear map f : V → W will be called parabolic if f(Va)⊆ Wa for all 0≤ a ≤ s. The map f will be called strongly parabolic if f(Va)⊆ Wa+1 for all 0≤ a ≤ s−1.

(13)

A more refined compatibility condition can be defined when W = V ⊗ L, with L a one dimensional vector space, and W is the natural filtration determined by V. Given a collection of linear maps ξ = (

ξa : C → L)

0≤a≤s−1, a linear map f : V → W will be called ξ-parabolic if f is parabolic and the induced maps fa: Va/Va+1 → Va/Va+1⊗ L are of the form

fa = 1Va/Va+1⊗ ξa.

Following the notation introduced in [23], let PHom(V, W ), SPHom(V, W ) denote the linear space of parabolic, respectively strongly parabolic linear maps. Let also

APHom(V, W ) = Hom(V, W )/PHom(V, W )

be the vector space parameterizing equivalence classes of morphisms not preserving the filtrations.

For any exact sequence

0→ V → V → V′′ → 0,

a flag V in V of length s induces canonical flags V′•, V′′• of V, V′′ of the same length. In fact vector spaces equipped with flags of fixed length s form an abelian category.

Given a reduced effective divisor D =k

i=1pi on the curve C, for each i ∈ {1, . . . , k}

let mi = (mi,a), 0 ≤ a ≤ si, si ≥ 1, be an ordered collection of integers of length si ≥ 1 satisfying conditions (2.1). A quasi-parabolic structure on a vector bundle E on C is a collection (Ei)1≤i≤k of flags of type mi in the fiber Epi for each i ∈ {1, . . . , k}. For ease of exposition, such a quasi-parabolic vector bundle will be denoted by E, and its numerical type by m = (mi)1≤i≤k.

For any exact sequence of vector bundles

0→ F → E → G → 0,

a quasi-parabolic structure on E at D of type mE induces quasi-parabolic structures of types mF, mG on F, G such that mF + mG = mE. Moreover, as explained in [23, Sect 2.2], for any two parabolic bundles E, F there is a sheaf of parabolic morphisms P HomC(E, F) which fits in an exact sequence

0→ P HomC(E, F)→ HomC(E, F )→ ⊕ki=1APHom(Epi, Fpi)⊗ Opi → 0 (2.3) 0→ HomC(E, F (−D)) → P HomC(E, F)→ ⊕ki=1PHom(Epi, Fpi)⊗ Opi → 0 (2.4)

(14)

Similarly, there is a sheaf of local strongly parabolic morphisms SP HomC(E, F) which fits in analogous exact sequences. Note also that there is a natural duality relation [23, Prop.

2.3.i]

P HomC(E, F) ≃ SP HomC(F, E)COC(D). (2.5) A parabolic bundle on C is a quasi-parabolic bundle E equipped in addition with col- lections of weights αi = (αi,a)0≤a≤si−1 ∈ Rsi for each i∈ {1, . . . , l} such that

0≤ αi,0 <· · · < αi,si−1 < 1. (2.6) The data (αi)1≤i≤k will be denoted by α and parabolic bundles will be denoted by (E, α).

There is a natural stability condition for parabolic bundles formulated in terms of parabolic slopes. The parabolic degree of (E, α) is defined as

deg(E, α) = deg(E) +

k i=1

si−1

a=0

mi,aαi,a, (2.7)

and the parabolic slope is given by

µ(E, α) = χ(E, α)

rk(E) . (2.8)

with

χ(E, α) = deg(E, α)− rk(E)(g − 1) = χ(E) +

k i=1

si−1

a=0

mi,aαi,a. (2.9) Any nontrivial proper saturated subsheaf 0⊂ E ⊂ E inherits an induced parabolic structure (E′•, α) on E. The parabolic bundle (E, α) is (semi)stable if any such subsheaf satisfies the parabolic slope condition

µ(E′•, α) (≤) µ(E, α). (2.10) As shown in [47], this stability condition yields projective moduli spaces of S-equivalence classes of semistable objects. Moreover, for sufficiently generic weights these moduli spaces are smooth.

2.2 Higgs fields, spectral covers, and foliations

A quasi-parabolic Higgs bundle on C is a quasi-parabolic vector bundle E equipped with a Higgs field Φ : E → E ⊗CKC(D) such that the residue Respi(Φ) : Epi → Epi is a parabolic

(15)

map for each marked point. A parabolic Higgs bundle is defined by specifying in addition a collection of weights α as in the previous section.

There is a natural notion of stability for parabolic Higgs bundles, defined by imposing the parabolic slope inequality (2.10) for all proper saturated subsheaves preserved by the Higgs field. The results of [62], imply that semistable parabolic Higgs bundles with fixed numerical invariants m, deg(E) = e form an algebraic stack of finite type Hsspar(C, D; m, e, α). The stable ones form an open substack Hspar(C, D; m, e, α). Moreover there is a coarse moduli space Hparss (C, D; m, e, α) parameterizing S-equivalence classes of semistable objects which contains an open subspace Hpars (C, D; m, e, α) parameterizing isomorphism classes of stable objects. According to [63], Hparss (C, D; m, e, α) is a normal quasi-projective variety while the stable open subspace is smooth. Note also that any semistable object must be stable for sufficiently generic weights and primitive numerical invariants.

Similar considerations apply to strongly parabolic Higgs bundles, in which case the moduli stacks/spaces will be labelled with a subscript s-par instead of par. In addition, one can construct similarly moduli spaces of parabolic and strongly parabolic Higgs bundles where the Higgs field takes values in an arbitrary coefficient line bundle M , that is Φ : E → E⊗CM (D).

In this case, the line bundle M will be specified in the notation of the moduli space e.g.

Hparss (C, D, M ; m, e, α).

Taking polynomial invariants of the Higgs field yields the Hitchin map

h : Hparss (C, D; m, e, α)→ B(C, D; r), B(C, D; r) =⊕rl=1H0(C, (KC(D))l). (2.11) This is a surjective proper morphism, its generic fibers being disjoint unions of abelian varieties. As observed in [46, 45], the unordered eigenvalues of the Higgs field at the marked points are parameterized by the quotient B/B0 where B0 ⊂ B is the linear subspace

B0(C, D; r) =⊕rl=1H0(C, (KC(D))l⊗ OC(−D)) ⊂ B(C, D; r).

The moduli space is foliated by the fibers of the resulting projection,

p : Hparss(C, D; m, e, α)→ B(C, D; r)/B0(C, D; R). (2.12) Parabolic Higgs bundles admit a spectral cover presentation as parabolic pure dimension one sheaves on the total space P of KC(D). Let π : P → C denote the canonical projection, Pi = π−1(pi) the fiber at the marked point pi, and DP =∑k

i=1Pi. A quasi-parabolic structure F on a pure dimension one sheaf F on P is defined by a sequence of surjective morphisms F P Pi ↠ Fisi−1 ↠ · · · ↠ Fi1 (2.13)

(16)

where Fiaare sheaves on Pifor all 1 ≤ i ≤ k. Moreover F is required to have compact support, which implies that the sheaves F P Pi are zero dimensional. In this case ch1(F ) = dσ with σ the class of the zero section. A parabolic structure is defined by specifying in addition parabolic weights α = (αai) as above.

Any saturated sub sheaf F ⊂ F inherits a natural induced parabolic structure. Then one defines a stability condition using the parabolic slope

µ(F, α) = 1 d

(

χ(F ) +

k i=1

s−1

a=0

αi,a(χ(Fia+1)− χ(Fia)) )

.

This yields an algebraic moduli stack of semistable objects which is isomorphic to the moduli stack of semistable parabolic Higgs bundles on C with numerical invariants

mai = d− χ(Fia), e = χ(F ) + d(g− 1).

This isomorphism assigns to any sheaf F the bundle E = πF , the flags being determined by

Eia = Ker(Epi ↠ πFia).

The Higgs field Φ : E → E ⊗CKC(D) is the pushforward Φ = πy of the multiplication map F → F ⊗P πKC(D) by the tautological section y ∈ H0(P, πKC(D)).

Again, a similar spectral construction applies to parabolic Higgs bundles with coefficients in a line bundle M , as defined above (2.11). In that case, P will be the total space of the line bundle M (D).

2.3 Diagonally parabolic Higgs bundles

For further reference it will be convenient to note here that the moduli stack of semistable Higgs bundles contains a closed substack where the Higgs field has ξi-parabolic residues at each marked point pi, where ξi is a collection ξi = (ξi0, . . . , ξsii−1) ∈ KC(D)⊕spii. Using the notion introduced in Section 2.1, this means that Φ|pi : Epi → Epi⊗ KC(D)pi is parabolic, and the induced maps

Epa

i/Epa+1

i → Epai/Epa+1

i ⊗ KC(D)pi

are of the form 1⊗ ξai. Such objects will be called ξ-parabolic, where ξ = (ξai), 1 ≤ i ≤ k, 0 ≤ a ≤ si. The closed substack of such objects will be denoted by Hssξ−par(C, D; m, e, α).

For ξi = (0, . . . , 0), 1 ≤ i ≤ k, one recovers the moduli stack of strongly parabolic Higgs bundles.

(17)

It will be shown in Section 3 that moduli spaces of ξ-parabolic Higgs bundles occur naturally in string theory.

3 Spectral data via holomorphic symplectic orbifolds

The goal of this section is to formulate a variant of the spectral cover construction for parabolic Higgs bundles. In this variant the spectral data are torsion sheaves on holomor- phic symplectic orbifold surfaces. This construction is different from the standard spectral construction from Section 2.2 in which the spectral data are parabolic dimension one sheaves on the total space P of the line bundle KC(D). The main motivation for this alternative ap- proach resides in string theory, where parabolic structures must arise naturally from D-brane moduli problems rather than being specified as additional data.

For a brief outline, suppose C is a smooth projective curve equipped with a reduced divisor D =k

i=1pi of marked points. We want to describe orbifold spectral data for parabolic Higgs bundles on (C, D). Consider the moduli stack Hssξ−par(C, D; m, e, α) of diag- onally parabolic Higgs bundles introduced in Section 2.3. In this section we will show that any Higgs bundle (E, Φ) in Hssξ−par(C, D; m, e, α) can be represented by a spectral datum eG which is a Bridgeland semistable pure dimension one coherent sheaf on a certain orbifold symplectic surface eSδ.

The surface eSδ depends on C, the divisor D, and a zero dimensional subscheme δ inside tot(KC(D)). To describe it let P denote the total space of KC(D), and let Pi be the fiber over pi, 1≤ i ≤ k. Let si ∈ Z≥1, 1≤ i ≤ k be fixed positive integers and δ = (δi)1≤i≤k be a fixed collection of degree si divisors

δi =

i

j=1

si,ji,j, i ≥ 1, si,j ≥ 1, 1 ≤ j ≤ ℓi,

on Pi for each 1 ≤ i ≤ k. By convention, set si,0 = 0 for each 1 ≤ i ≤ k. In Section 3.2 we check that the weighted blowup of P along δ produces a holomorphic symplectic orbifold surface eSδ.

The particular δ needed for the spectral description of the Higgs bundles inHξss−par(C, D; m, e, α) is constructed out of the eigenvalues ξ of the residues of the Higgs fields, and the flag types m. Specifically we take si to be the number of steps in the parabolic filtration at the point pi and ℓi to be the number of distinct entries in the vector ξi =(

ξi0, . . . , ξisi−1)

∈ KC(D)⊕sp i

i . We label the distinct entries of ξi by ℘i,1, . . . , ℘i,ℓi, and we write si,j for the multiplicity

(18)

with which ℘i,j is repeated as a coordinate inside ξi. In other words we choose a function ȷ :{0, . . . , si− 1} → {1, . . . , ℓi} so that

ξia= ℘i,ȷ(a), 0≤ a ≤ si− 1. (3.1)

These choices define a zero dimensional subscheme δ ⊂ P and an orbifold symplectic surface Seδ.

Then the main result of this section is the existence of an isomorphism

Hssξ−par(C, D; m, e, α) ∼=Mssβ ( Seδ, d

)

(3.2)

of the moduli stackHξss−par(C, D; m, e, α) between semistable ξ-parabolic bundles on C with the moduli stackMssβ (

Seδ, d )

of Bridgeland β-semistable pure dimension one sheaves on eSδ with K-theory class d∈ Kc0( eSδ).

To set up this isomorphism we first construct an identification of discrete invariants (r, m, e)←→ d

and an identification

α ←→ β

of the parabolic weights on the Higgs side with the Bridgeland stability parameters β on the spectral data side. These identifications are based on an explicit computation of the compactly supported K-theory of eSδ. A precise statement is formulated in Section 3.3.

The simplest instance of this construction is ξ = 0, in which case ξ-parabolic bundles are the same as strongly parabolic bundles. In this case the construction of eS0 follows from standard root stack constructions in the literature, as explained below.

3.1 Root stacks and orbifold spectral covers

Using the construction of [2, 3], parabolic Higgs bundles have been identified with ordinary Higgs bundles on an orbicurve in [51, 26]. This section reviews the basics of this construction following the algebraic approach of [26].

Given the curve C with marked points pi, 1 ≤ i ≤ k one first constructs an orbicurve C as follows. Let U = Ce \ {p1, . . . , pk}. For any point pi, let Dpi, denote the formal disc centered at pi and Dpi = Dpi ×C U the punctured formal disc. Let φi : eDpi → Dpi be the

(19)

si : 1 cover given by zi 7→ zsii. There is a natural µsi-action on eDpi sending zi 7→ ωizi, where ωi = exp(2π√

−1/si). The quotient stacks [eDpisi] are then glued to U using the morphisms φi to identify the open substacks [eDpisi] with the punctured disks Dpi. In characteristic zero this yields a smooth Deligne-Mumford stack eC equipped with a map ν : eC → C which identifies C with its coarse moduli space.

Following [26, Sect 2.4], a Higgs bundle on eC is a vector bundle ˜E equipped with a Higgs field ˜Φ : ˜E → ˜E Ce KCe. This data determines a parabolic Higgs bundle on C as follows.

For each point pi there is a line bundle ˜Li on eC such that ˜Lsii = νOC(pi). Locally, νOC(pi) corresponds to the rank one free C[[zi]]-module generated by zi−si while ˜Li corresponds to the C[[zi]]-module generated by zi−1. Now let

E = νE,˜ and

Fia= ν(E˜CeL˜−ai )

(3.3) for each 1≤ i ≤ k, 0 ≤ a ≤ si− 1. By the base change theorem, all direct images are locally free and the sheaves Fia, 0≤ a ≤ si− 1, form a filtration

E(−pi)⊆ Fisi−1 ⊆ · · · ⊆ Fi0 = E (3.4) for each 1≤ i ≤ k.

For concreteness, note that any locally free sheaf ˜E is locally isomorphic to a sum of line bundles of the form rj=1L˜nii,j, corresponding to the C[[zi]]-module ⊕r

i=1zi−ni,jC[[zi]]. The morphism ν : eC → C is locally of the form ti = zisi, where ti is a local coordinate on C centered at pi. The direct image E = νE corresponds locally to the˜ C[[ti]]-module obtained by taking the µsi-fixed part of ⊕r

i=1z−ni i,jC[[zi]]. The subsheaves Fia are obtained similarly by taking the µsi-fixed part of ⊕r

i=1zi−ni,j+aC[[zi]], 0 ≤ a ≤ si− 1.

The filtration (3.4) determines a flag

Eia= Ker(Epi⊗ Opi ↠ E/Fia) (3.5) in the fiber Epi, hence one obtains a quasi-parabolic bundle E on C. Note also that the snake lemma yields an isomorphism

Eia⊗ Opi ≃ Fia/E(−pi) (3.6) for all 0≤ a ≤ si, 1≤ i ≤ k.

(20)

According to [26, Prop. 2.16] assigning the quasi-parabolic bundle E to ˜E yields an equivalence of groupoids. Moreover, the degree of ˜E as an orbibundle equals the parabolic degree of E with weights αa = sa

i.

Next consider a Higgs field ˜Φ : ˜E → ˜E⊗CeKCe on the stack and note the isomorphisms KCe ≃ ⊗ki=1L˜(si i−1)CeνKC ≃ ⊗ki=1L˜−1i CeνKC(D).

Then Φ = νΦ : E˜ → E ⊗C1C(D) is a Higgs field on E and equations (3.3) imply that Φ(Fia)⊆ Fia+1C1C(D)

for all 0 ≤ a ≤ si− 1, 1 ≤ i ≤ k. Using isomorphisms (3.6), this implies that the residue Respi(Φ) is strongly parabolic with respect to the flag (3.5) for each i∈ {1, . . . , k}.

According to [26, Prop. 20], the above construction yields a one-to-one correspondence between Higgs fields ˜Φ on the orbifold eC and Higgs fields Φ on C with strongly parabolic residues with respect to the flag Ei at each pi, 1 ≤ i ≤ k. Furthermore, the degree of the orbifold bundle ˜E equals the parabolic degree deg(E, α) for special values of the weights

αi,a= a

si, 0≤ a ≤ si− 1, 1≤ i ≤ k. (3.7) Based on this observation, it is straightforward to check that this correspondence maps (semi)stable orbibundles to (semi)stable parabolic Higgs bundles with weights (3.7). Since it works for flat families as well, it yields isomorphisms of moduli stacks.

For completeness, note that the fiber ˜Ei,0 of ˜E at the closed point 0∈ [eDpisi] carries a natural action of the stabilizer group µsi. Hence it decomposes into irreducible representa- tions,

E˜i,0

si−1

a=0

R⊕ni,ai,a, (3.8)

where Ri,a denotes the one dimensional representation of µsi with character ωia. Then [26, Lemma 2.19] proves that the discrete invariants mi,aof the flag (3.5) are given by mi,a = ni,a, for 0 ≤ a ≤ si − 1. In string theoretic language this means that the flag type encodes the fractional charges with respect to the twisted sector Ramond-Ramond fields.

Using the standard spectral cover construction, an orbifold Higgs bundle ( ˜E, ˜Φ) corre- sponds to a pure dimension one sheaf ˜F on the total space eS of KCe, finite with respect to the natural projection π : eS → eC. The bundle ˜E is obtained by push-forward, ˜E = πF ,˜ and the Higgs field ˜Φ is the push-forward of the multiplication map ˜F → ˜F ⊗ πKCe by

參考文獻

相關文件

It has been well-known that, if △ABC is a plane triangle, then there exists a unique point P (known as the Fermat point of the triangle △ABC) in the same plane such that it

Only the fractional exponent of a positive definite operator can be defined, so we need to take a minus sign in front of the ordinary Laplacian ∆.. One way to define (− ∆ ) − α 2

In addition, geometric engineering also suggests an absence of walls conjecture stating an equivalence between refined DT invariants of large radius limit stable objects of D b (X)

In Section 3, the shift and scale argument from [2] is applied to show how each quantitative Landis theorem follows from the corresponding order-of-vanishing estimate.. A number

This section is devoted to illustrate the connection between compact Riemann surface and complex algebraic curve.. Then an elliptic curve E := C/Λ is an

Let f being a Morse function on a smooth compact manifold M (In his paper, the result can be generalized to non-compact cases in certain ways, but we assume the compactness

[r]

(a) The magnitude of the gravitational force exerted by the planet on an object of mass m at its surface is given by F = GmM / R 2 , where M is the mass of the planet and R is