arxiv:math/ v2 [math.ag] 21 Feb 1999

Transcription

1 1 ON HURWITZ NUMBERS AND HODGE INTEGRALS arxv:math/ v2 [mathag] 21 Feb 1999 Torsten Ekedahl, Serge Lando, Mchael Shapro, and Alek Vanshten Dept of Math, Unversty of Stockholm, S-10691, Stockholm, Math College, Moscow Independent Unversty, Moscow, Dept of Math, Royal Insttute of Technology, S-10044, Stockholm, Dept of Math and Dept of Computer Scence, Unversty of Hafa, Hafa, Abstract In ths paper we fnd an explct formula for the number of topologcally dfferent ramfed coverngs C CP 1 (C s a compact Remann surface of genus g) wth only one complcated branchng pont n terms of Hodge ntegrals over the modul space of genus g curves wth marked ponts 1 Introducton and man results For a compact connected genus g complex curve C, let λ: C CP 1 be a meromorphc functon We treat ths functon as a ramfed coverng of the sphere Two ramfed coverngs (C 1 ;λ 1 ), (C 2 ;λ 2 ) are called topologcally equvalent f there exsts a homeomorphsm h : C 1 C 2 makng the followng dagram commutatve: C 1 h C 2 λ 1 ց ւ λ 2 CP 1 The crtcal values of topologcally equvalent functons, e, the ramfcaton ponts of the coverngs, concde, as do the genera of the coverng curves In hs famous paper [11] Hurwtz ntated the topologcal classfcaton of such coverngs n the case when exactly one of the ramfcaton ponts s degenerate, and the remanng ponts are nondegenerate Below we refer to the degenerate ramfcaton pont as nfnty, and ts premages are called poles For a gven set of orders k 1,,k n of n dstnct poles, the number of the equvalence classes of topologcally nonequvalent ramfed coverngs wth these orders of poles and prescrbed nondegenerate ramfcaton ponts sfnte Thsnumberh g;k1,,k n (calledthehurwtz number)sndependent oftheexact locaton of the nondegenerate ramfcaton ponts The number of sheets n the coverng s k = k 1 + +k n, and the space of all such coverngs has dmenson d = k+n+2g 2 over C Hurwtz posed the problem of fndng h g;k1,,k n explctly There exsts a large Typeset by AMS-TEX

2 2 number of publcatons on ths topc wrtten both by physcsts and mathematcans, see eg [1 3, 8 11, 15, 16] Our am s to express Hurwtz numbers n terms of ntersecton numbers for the Chern classes of certan lne bundles on the modul space of complex curves wth n marked ponts Let M g;n denote the Delgne Mumford compactfcaton of the modul space M g;n of genus g curves wth n marked ponts, and let L be the lne bundle on M g;n whose fber above a pont (C;z 1,,z n ) M g;n concdes wth the cotangent space to C at z The frst Chern class of such a bundle s denoted by c 1 (L ) The man result of the present paper s as follows Let #Aut(k 1,,k n ) denote the number of automorphsms of the n-tuple (k 1,,k n ), c(λ g;n ) denote the total Chern class of the relatve dualzng sheaf over M g;n Theorem 11 The Hurwtz number h g;k1,,k n equals (1) d! #Aut(k 1,,k n ) =1 k k k! M g;n c(λ g;n) (1 k 1 c 1 (L 1 ))(1 k n c 1 (L n )) Here we admt as usual that the ntegral of a class wth the degree dfferent from that of the dmenson of the manfold vanshes A sketch of the proof s gven n Secton 2; a detaled account wll appear elsewhere More general expressons M g;n c α1 (Λ g;n ) c αq (Λ g;n )c 1 (L 1 ) a1 c 1 (L n ) a n, ncludng (1) as a specal case, are called Hodge ntegrals; they are studed extensvely n connecton wth Gromov Wtten nvarants, quantum cohomologes and enumeratve geometry (see eg [4, 7, 12 14, 17]) Combnng Theorem 11 wth Theorem 6 of [16], we recover the followng recent calculaton by C Faber and R Pandharpande [5] Theorem t 2g g=1 k g +k g 1 c 1 (Λ g;n)+ +c g (Λ g;n) M g;1 1 c 1 (L 1 ) = ( ) k+1 t/2 sn(t/2) The man ngredent of the proof of Theorem 11 s the followng nonlnear verson of the product formula for the total Segre classes of vector bundles A smlar homogeneous stuaton s consdered n Chapter 5 of [6] Let π: A X be a fber bundle over a complex m-dmensonal varety X whose fbers are quashomogeneous spaces C r+1 w 0,,w r wth weghts (w 0,,w r ) Assume for smplcty that all w are postve ntegers We call A a bundle of quashomogeneous spaces f the transton functons (possbly not lnear) preserve the weghts Clearly, any vector bundle s a bundle of quashomogeneous spaces wth weghts (1,,1) Any subbundle Q A whose fbers are quashomogeneous cones (wth the same weghts (w 0,,w r )) n C r+1 w 0,,w r s called a bundle of quashomogeneous cones Note that C acts fberwse on both A and Q by multplcaton of the correspondng coordnates by t w The quotent of A by the C -acton s fbered over X, and the fbers are somorphc to the weghted projectve spaces P w0,,w r We denote ths quotent by PA and say that p: PA X s a bundle of weghted projectve spaces The quotent of Q by the C -acton s denoted by PQ Note that the fbers of both PA and PQ can be sngular

3 3 Put N = LCM(w 0,,w r ) Denote by Q 1 the fberwse drect product of Q wth the trval one-dmensonal vector bundle Clearly, Q 1 s also a bundle of quashomogeneous cones wth respect to the natural embeddng Q 1 A 1 The fbers of A 1 are just C r+2 1,w 0,,w r (the weght of the new coordnate equals 1) By q we denote the natural projecton q: Q 1 X There s a natural sheaf O(N) of quashomogeneous functons of quashomogeneous degree N on P(A 1) (whch restrcts also naturally to P(A 1)) Followng [6] we defne the total Segre class s(q) H (X,Q) by the formula s(q) = 0 ( c1 (O(N)) ) [P(Q 1)] q N Assume that we are gven a quashomogeneous morphsm ψ: A V from a bundle of quashomogeneous spaces A nto a vector bundle V whch s fberwse of quashomogeneous degree 1 Consder a nonlnear exact trple 0 Q ψ A ψ V 0, where the bundle of quashomogeneous cones Q ψ s the nverse mageof the zero secton n V Theorem 13 Under the above assumptons one has s(a) = s(q ψ ) s(v) The authors are sncerely grateful to VIArnold who ntroduced the last three authors to ths subject and kept us nformed about hs own research We are ndebted to B Dubrovn, L Ernström, C Faber, Yu Mann, S Natanzon, R Pandharpande, M Rosellen and, especally, B Shapro, for many frutful dscussons 2 A sketch of the proof of Theorem 11 The space of all (holomorphc equvalence classes of) generc meromorphc functons on genus g curves wth prescrbed orders (k 1,,k n ) of poles wll be called the Hurwtz space and denoted by H g;k1,,k n It carres a natural complex structure Observe that H g;k1,,k n s naturally fbered over M g;n : the projecton sends poles to marked ponts There s also a natural mappng LL: H g;k1,,k n Pol d called the Lyashko Loojenga map, where Pol d s the space of monc polynomals n one varable of degree d = k + n + 2g 2; LL assocates to each meromorphc functon the unordered set of ts crtcal values or, equvalently, the polynomal vanshng exactly on ths set There exsts a smple relaton between the degree of the Lyashko Loojenga map and the correspondng Hurwtz number (cf [8]) Proposton 21 degll h g;k1,,k n = #Aut(k 1,,k n ) k The followng statement plays a key role n our constructon =1

4 4 Proposton 22 There exsts a compactfcaton H g;k1,,k n of H g;k1,,k n whch s a bundle over M g;n ; moreover, the Lyashko Loojenga map extends to H g;k1,,k n It s now easy to express degll n terms of ntersecton numbers Indeed, let x d +a 1 x d 1 + +a d Pol d ; we denote by D the dvsor n H g;k1,,k n gven by the quashomogeneous equaton {a = const a 1} Then degll = w(k 1,,k n )deg([d 2 ] [D d ]), where [D ] A PH g;k1,,k n and w(k 1,,k n ) s defned by the quashomogeneous weghts n the mage and the premage (As usual, gven an algebrac varety X, we wrte A X for the ratonal equvalence group wth coeffcents n Q; see [6] for detals) Put = c 1 (Q(1)) A PH g;k1,,k n One can easly show that [D ] = n the Chow rng Therefore, degll = d!w(k 1,,k n ) PH g;k1,,kn d By the defnton of the top Segre class we have PH g;k1,,kn d = M g;n s top (H g;k1,,k n ) = M g;n s(h g;k1,,k n ) Thus degll = d!w(k 1,,k n ) M g;n s(h g;k1,,k n ) Thequashomogenetyfactorw(k 1,,k n )sgvenbythefollowngstatement (cf[1, 8]) Proposton 23 w(k 1,,k n ) = =1 k k (k 1)! Denote by PP g;k1,,k n M g;n the fber bundle of prncpal parts of germs of Laurent polynomals of degrees k 1,,k n at the marked ponts P 1,,P n on genus g surfaces Proposton 24 There exsts a compactfcaton PP g;k1,,k n of PP g;k1,,k n whch s a bundle of quashomogeneous spaces over M g;n ; moreover, H g;k1,,k n s a subbundle of quashomogeneous cones n PP g;k1,,k n Wenowdefneamappngf: PP g;k1,,k n Λ g;n Letp = (p 1,,p n ) PP g;k1,,k n be a collectonofprncpal partsof Laurent germs at P 1,,P n and ω be a holomorphc 1-form We put f(p),ω = n =1 Res P (p ω) Planly, H g;k1,,k n s the nverse mage of the zero secton Hence, t s ncluded n the nonlnear exact trple 0 H g;k1,,k n PP g;k1,,k n f Λg;n 0 Thus, applyng Theorem 13 one obtans s(h g;k1,,k n ) = s(pp g;k1,,k n )/s(λ g;n ) Takng nto account that s(λ g;n ) = 1/c(Λ g;n ), where c stands for the total Chern class, we rewrte the above formula as s(h g;k1,,k n ) = s(pp g;k1,,k n ) c(λ g;n ) On the other hand, projectng a collecton of prncpal parts onto the collecton of ts leadng terms one gets another nonlnear exact trple: 0 B PP g;k1,,k n (L ) k 0, where B s a trval bundle of quashomogeneous spaces of nonleadng terms and L are the lnear bundles mentoned n the ntroducton Applyng Theorem 13 one more tme we complete the proof of Theorem 11

5 5 References [1] V I Arnold, Topologcal Classfcaton of Trgonometrc Polynomals and Combnatorcs of Graphs wth an Equal Number of Vertces and Edges, Funct Anal and Appl 30 (1996), 1 17 [2] M Crescmanno, W Taylor, Large N phases of chral QCD 2, Nuclear Phys B, 437 (1995), 3 24 [3] B A Dubrovn, Geometry of 2D Topologcal Feld Theores (1997), preprnt [4] C Faber, Algorthms for computng ntersecton numbers on modul spaces of curves, wth an applcaton to the class of the locus of Jacobans, alg-geom/ [5] C Faber, R Pandharpande, Hodge ntegrals and Gromov Wtten theory, alg-geom [6] W Fulton, Intersecton Theory, 2nd edton, Sprnger, 1998 [7] W Fulton, R Pandharpande, Notes on stable maps and quantum cohomology, Algebrac geometry, Santa Cruz 1995, Amer Math Soc, Provdence, RI, 1997, pp [8] V Goryunov, S K Lando, On enumeraton of meromorphc functons on the lne (1997), preprnt [9] I P Goulden, D M Jackson, Transtve factorsaton nto transpostons, and holomorphc mappngs on the sphere, Proc AMS 125 (1997), [10] I P Goulden, D M Jackson, A Vanshten, The number of ramfed coverngs of the sphere by the torus and surfaces of hgher genera (1998), preprnt [11] A Hurwtz, Über Remannsche Flächen mt gegebenen Verzwegungspunkten, Math Ann 39 (1897), 1 60 [12] M Kontsevch, Intersecton theory on the modul space of curves and the matrx Ary functon, Comm Math Phys 147 (1992), 1 23 [13] M Kontsevch, Enumeraton of ratonal curves va torus acton, The Modul Space of Curves, R Djkgraaf ao eds, Brkhäuser, 1995, pp [14] M Kontsevch, Yu I Mann, Gromov Wtten classes, quantum cohomology, and enumeratve geometry, Comm Math Phys 164 (1994), [15] A D Mednykh, Branched coverngs of Remann surfaces whose branch orders concde wth the multplcty, Comm n Algebra 18 (1990), [16] B Shapro, M Shapro and A Vanshten, Ramfed coverngs of S 2 wth one degenerate branchng pont and enumeraton of edge-ordered graphs, Adv n Math Sc, vol 34, AMS, Provdence, RI, 1997, pp [17] R Vakl, Enumeratve geometry of plane curves of low genus, alg-geom/