|
|
| Line 1: |
Line 1: |
| In mathematics, the '''ELSV formula''', named after its four authors [[Torsten Ekedahl]], [[Sergei Lando]], [[Michael Shapiro (mathematician)|Michael Shapiro]], [[Alek Vainshtein]], is an equality between a [[Hurwitz number]] (counting [[ramified covering]]s of the sphere) and an integral over the [[moduli of algebraic curves|moduli space of stable curves]].
| | My name: Kaylee Koss<br>My age: 25 years old<br>Country: Netherlands<br>Town: Sint Maartensdijk <br>ZIP: 4695 Rt<br>Address: Lindelaan 121<br><br>Have a look at my blog: [http://tinyurl.com/llnsshw http://tinyurl.com/l2yjyvf] |
| | |
| Several fundamental results in the [[intersection theory]] of moduli spaces of curves can be deduced from the ELSV formula, including the [[Witten conjecture]], the [[Virasoro conjecture|Virasoro constraints]], and the [[Lambda g conjecture|<math>\lambda_g</math>-conjecture]].
| |
| | |
| == The formula ==
| |
| Define the ''Hurwitz number''
| |
| | |
| :<math> h_{g; k_1, \dots, k_n} </math> | |
| | |
| as the number of ramified coverings of the complex projective line ([[Riemann sphere]], '''P'''<sup>1</sup>('''C''')) that are connected curves of genus ''g'', with ''n'' numbered preimages of the [[point at infinity]] having multiplicities ''k<sub>1</sub>'', ..., ''k<sub>n</sub>'' and ''m'' more simple [[branch point]]s. Here if a covering has a nontrivial automorphism group ''G'' it should be counted with weight 1/''|G|''.
| |
| | |
| The ELSV formula then reads
| |
| | |
| : <math>h_{g;k_1, \dots, k_n} = m! \prod_{i=1}^n \frac{k_i^{k_i}}{k_i!} \int_{\overline{\mathcal{M}}_{g,n}} \frac{c(E^*)}{(1-k_1\psi_1) \cdots (1-k_n \psi_n)}.</math> | |
| | |
| Here the notation is as follows:
| |
| | |
| * ''g'' ≥ 0 is a nonnegative integer;
| |
| * ''n'' ≥ 1 is a positive integer;
| |
| * ''k<sub>1</sub>'', ..., ''k<sub>n</sub>'' are positive integers;
| |
| * <math> m = \sum k_i + n + 2g-2 </math>;
| |
| * <math> \overline{\mathcal{M}}_{g,n} </math> is the [[moduli space]] of [[stable curve]]s of genus ''g'' with ''n'' marked points;
| |
| * ''E'' is the [[Hodge vector bundle]] and ''c(E*)'' the total [[Chern class]] of its dual vector bundle;
| |
| * ψ<sub>''i''</sub> is the first Chern class of the cotangent line bundle to the ''i''-th marked point.
| |
| | |
| The numbers
| |
| | |
| :<math> h_{g;k_1, \dots, k_n} </math> | |
| | |
| in the left-hand side have a combinatorial definition and satisfy properties that can be proved combinatorially. Each of these properties translates into a statement on the integrals on the right-hand side of the ELSV formula {{Harv|Kazarian|2009}}.
| |
| | |
| == The Hurwitz numbers ==
| |
| The Hurwitz numbers
| |
| | |
| :<math> h_{g;k_1, \dots, k_n} </math> | |
| | |
| also have a definition in purely algebraic terms. With ''K'' = ''k<sub>1</sub>'' + ... + ''k<sub>n</sub>'' and ''m'' = ''K'' + ''n'' + 2''g'' − 2, let τ<sub>1</sub>, ..., τ<sub>''m''</sub> be transpositions in the symmetric group ''S''<sub>''K''</sub> and σ a permutation with ''n'' numbered cycles of lengths ''k<sub>1</sub>'', ..., ''k<sub>n</sub>''. Then
| |
| | |
| :<math> ( \tau_1 , \dots, \tau_m, \sigma) </math> | |
| | |
| is a transitive factorization of identity of type ''(k<sub>1</sub>, ..., k<sub>n</sub>)'' if the product
| |
| | |
| :<math> \tau_1 \cdots \tau_m \sigma </math>
| |
| | |
| equals the identity permutation and the group generated by
| |
| | |
| :<math>\tau_1, \dots, \tau_n</math>
| |
| | |
| is [[transitive group|transitive]].
| |
| | |
| '''Definition.''' <math> h_{g;k_1, \dots, k_n} </math> is the number of transitive factorization of identity of type ''(k<sub>1</sub>, ..., k<sub>n</sub>)'' divided by ''K''!
| |
| | |
| '''Example A.''' The number <math> h_{g;k} </math> is 1/''k!'' times the number of lists of transpositions <math>(\tau_1, \dots, \tau_{k+2g-1})</math> whose product is a ''k''-cycle. In other words, <math>h_{g;k}</math> is 1/''k'' times the number of factorizations of a given ''k''-cycle into a product of ''k'' + 2''g'' − 1 transpositions.
| |
| | |
| The equivalence between the two definitions of Hurwitz numbers (counting ramified coverings of the sphere, or counting transitive factorizations) is established by describing a ramified covering by its [[monodromy]]. More precisely: choose a base point on the sphere, number its preimages from 1 to ''K'' (this introduces a factor of ''K''!, which explains the division by it), and consider the monodromies of the covering about the branch point. This leads to a transitive factorization.
| |
| | |
| == The integral over the moduli space ==
| |
| '''The moduli space''' <math>{\overline {\mathcal{M}}}_{g,n}</math> is a smooth [[algebraic stack|Deligne–Mumford stack]] of (complex) dimension 3''g'' − 3 + ''n''. (Heuristically this behaves much like complex manifold, except that integrals of characteristic classes that are integers for manifolds are rational numbers for Deligne-Mumford stacks.)
| |
| | |
| '''The Hodge bundle''' ''E'' is the rank ''g'' vector bundle over the moduli space <math>{\overline {\mathcal{M}}}_{g,n}</math> whose fiber over a curve ''(C, x<sub>1</sub>, ..., x<sub>n</sub>)'' with ''n'' marked points is the space of [[abelian differential]]s on ''C''. Its Chern classes are denoted by
| |
| | |
| :<math>\lambda_j = c_j(E) \in H^{2j}({\overline {\mathcal{M}}}_{g,n},\mathbf{Q}). </math>
| |
| | |
| We have
| |
| | |
| :<math> c(E^*) = 1 - \lambda_1 + \lambda_2 - \cdots+ (-1)^g \lambda_g. </math>
| |
| | |
| '''The ψ-classes.''' Introduce line bundles <math>\mathcal{L}_1</math>, ..., <math>\mathcal{L}_n</math> over <math>{\overline {\mathcal{M}}}_{g,n}</math>. The fiber of <math>\mathcal{L}_i</math> over a curve ''(C, x<sub>1</sub>, ..., x<sub>n</sub>)'' is the cotangent line to ''C'' at ''x<sub>i</sub>''. The first Chern class of <math>\mathcal{L}_i</math> is denoted by
| |
| | |
| :<math>\psi_i = c_1(\mathcal{L}_i) \in H^2({\overline {\mathcal{M}}}_{g,n},\mathbf{Q}).</math>
| |
| | |
| '''The integrand.''' The fraction <math> 1/(1-k_i \psi_i) </math> is interpreted as <math> 1 + k_i \psi_i + k_i^2 \psi_i^2 + \cdots </math>, where the sum can be cut at degree 3''g'' − 3 + ''n'' (the dimension of the moduli space). Thus the integrand is a product of ''n'' + 1 factors. We expand this product, extract from it the part of degree 3''g'' − 3 + ''n'' and integrate it over the moduli space.
| |
| | |
| '''The integral as a polynomial.''' It follows that the integral
| |
| | |
| :<math> \int_{\overline{\mathcal{M}}_{g,n}} \frac{c(E^*)}{(1-k_1\psi_1) \cdots (1-k_n \psi_n)} </math> | |
| | |
| is a symmetric polynomial in variables ''k<sub>1</sub>'', ..., ''k<sub>n</sub>'', whose monomials have degrees between 3''g'' − 3 + ''n'' and 2''g'' − 3 + ''n''. The coefficient of the monomial <math> k_1^{d_1} \cdots k_n^{d_n} </math> equals
| |
| | |
| :<math> \int_{\overline{\mathcal{M}}_{g,n}} (-1)^j \lambda_j \psi_1^{d_1} \cdots \psi_n^{d_n}, </math>
| |
| | |
| where <math>j = 3g-3-n - \sum d_i </math>.
| |
| | |
| '''Remark.''' The polynomiality of the numbers
| |
| | |
| :<math> \frac{h_{g;k_1, \dots, k_n}}{m!} \prod_{i=1}^n \frac{k_i!}{k_i^{k_i}}</math>
| |
| | |
| was first conjectured by I. P. Goulden and D. M. Jackson. No proof independent from the ELSV formula is known.
| |
| | |
| '''Example B.''' Let ''g'' = ''n'' = 1. Then
| |
| | |
| :<math>\int_{\overline{\mathcal{M}}_{g,n}} \frac{c(E^*)}{(1-k_1\psi_1) \cdots (1-k_n \psi_n)}= \int_{\overline{\mathcal{M}}_{1,1}} \frac{1-\lambda_1}{1-k_1\psi_1} = \left[\int_{\overline{\mathcal{M}}_{1,1}} \psi_1 \right] k_1 - \left[ \int_{\overline{\mathcal{M}}_{1,1}} \lambda_1\right].</math>
| |
| | |
| == Example ==
| |
| Let ''n'' = ''g'' = 1. To simplify the notation, denote ''k''<sub>1</sub> by ''k''. We have ''m'' = ''K'' + ''n'' + 2''g'' − 2 = ''k'' + 1.
| |
| | |
| According to Example B, the ELSV formula in this case reads
| |
| | |
| :<math>h_{1;k} = (k+1)!\frac{k^k}{k!} \int_{\overline{\mathcal{M}}_{1,1}} \frac{1-\lambda_1}{1-k\psi_1} = (k+1) k^k \left\{ \left[ \int_{\overline{\mathcal{M}}_{1,1}} \psi_1\right] k - \left[ \int_{\overline{\mathcal{M}}_{1,1}} \lambda_1 \right]\right\}. </math> | |
| | |
| On the other hand, according to Example A, the Hurwitz number ''h<sub>1, k</sub>'' equals 1/''k'' times the number of ways to decompose a ''k''-cycle in the symmetric group ''S<sub>k</sub>'' into a product of ''k'' + 1 transpositions. In particular, ''h<sub>1, 1</sub>'' = 0 (since there are no transpositions in ''S''<sub>1</sub>), while ''h<sub>1, 2</sub>'' = 1/2 (since there is a unique factorization of the transposition (1 2) in ''S<sub>2</sub>'' into a product of three transpositions).
| |
| | |
| Plugging these two values into the ELSV formula we find
| |
| | |
| :<math> \int_{\overline{\mathcal{M}}_{1,1}} \psi_1 = \int_{\overline{\mathcal{M}}_{1,1}} \lambda_1= \frac1{24}.</math> | |
| | |
| From which we deduce
| |
| | |
| :<math>h_{1;k} = \frac{(k^2-1) k^k}{24}.</math>
| |
| | |
| == History ==
| |
| The ELSV formula was announced by {{Harvtxt|Ekedahl|Lando|Shapiro|Vainshtein|1999}}, but with an erroneous sign. {{Harvtxt|Fantechi|Pandharipande|2002}} proved it for ''k<sub>1</sub>'' = ... = ''k<sub>n</sub>'' = 1 (with the corrected sign). {{Harvtxt|Graber|Vakil|2003}} proved the formula in full generality using the localization techniques. The proof announced by the four initial authors followed {{Harv|Ekedahl|Lando|Shapiro|Vainshtein|2001}}. Now that the space of stable maps to the projective line relative to a point has been constructed by {{Harvtxt|Li|2001}}, a proof can be obtained immediately by applying the virtual localization to this space.
| |
| | |
| {{Harvtxt|Kazarian|2009}}, building on preceding work of several people, gave a unified way to deduce most known results in the intersection theory of <math> {\overline{\mathcal{M}}}_{g,n} </math> from the ELSV formula.
| |
| | |
| == Idea of proof ==
| |
| Let <math> \mathcal{M}_{g;k_1, \dots, k_n} </math> be the space of stable maps ''f'' from a genus ''g'' curve to '''P'''<sup>1</sup>('''C''') such that ''f'' has exactly ''n'' poles of orders <math> k_1 \dots k_n </math>.
| |
| | |
| The ''branching morphism'' ''br'' or the ''Lyashko-Looijenga map'' assigns to <math> f \in \mathcal{M}_{g;k_1, \dots, k_n} </math> the unordered set of its ''m'' branch points in '''C''' with multiplicities taken into account. Actually, this definition only works if ''f'' is a smooth map. But it has a natural extension to the space of stable maps. For instance, the value of ''f'' on a node is considered a double branch point, as can be seen by looking at the family of curves ''C<sub>t</sub>'' given by the equation ''xy'' = ''t'' and the family of maps ''f<sub>t</sub>(x, y)'' = ''x'' + ''y''. As ''t'' → 0, two branch points of ''f<sub>t</sub>'' tend towards the value of ''f<sub>0</sub>'' at the node of ''C<sub>0</sub>''.
| |
| | |
| The branching morphism is of finite degree, but has infinite fibers. Our aim is now to compute its degree in two different ways.
| |
| | |
| The first way is to count the preimages of a generic point in the image. In other words, we count the ramified coverings of '''P'''<sup>1</sup>('''C''') with a branch point of type ''(k<sub>1</sub>, ..., k<sub>n</sub>)'' at ∞ and ''m'' more fixec simple branch points. This is precisely the Hurwitz number <math> h_{g;k_1, \dots, k_n} </math>.
| |
| | |
| The second way to find the degree of ''br'' is to look at the preimage of the most degenerate point, namely, to put all ''m'' branch points together at 0 in '''C'''.
| |
| | |
| The preimage of this point in <math>\mathcal{M}_{g;k_1, \dots, k_n}</math> is an infinite fiber of ''br'' isomorphic to the moduli space <math>\overline{\mathcal{M}}_{g,n} </math>. Indeed, given a stable curve with ''n'' marked points we send this curve to 0 in '''P'''<sup>1</sup>('''C''') and attach to its marked points ''n'' rational components on which the stable map has the form <math> z \mapsto z^{k_1}, \dots, z \mapsto z^{k_n} </math>. Thus we obtain all stable maps in <math> \mathcal{M}_{g;k_1, \dots, k_n} </math> unramified outside 0 and ∞. Standard methods of algebraic geometry allow one to find the degree of a map by looking at an infinite fiber and its normal bundle. The result is expressed as an integral of certain characteristic classes over the infinite fiber. In our case this integral happens to be equal to the right-hand side of the ELSV formula.
| |
| | |
| Thus the ELSV formula expresses the equality between two ways to compute the degree of the branching morphism.
| |
| | |
| == References ==
| |
| <!--- See [[Wikipedia:Footnotes]] on how to create references using <ref></ref> tags which will then appear here automatically -->
| |
| *{{cite journal |ref=harv |id={{ArXiv|math|9902104}} |first=T. |last=Ekedahl |first2=S. |last2=Lando |first3=M. |last3=Shapiro |first4=A. |last4=Vainshtein |title=On Hurwitz numbers and Hodge integrals |journal=Comptes Rendus de l'Académie des Sciences |volume=328 |issue=12 |year=1999 |pages=1175–1180 |doi=10.1016/S0764-4442(99)80435-2 }}
| |
| *{{cite journal |ref=harv |first=T. |last=Ekedahl |first2=S. |last2=Lando |first3=M. |last3=Shapiro |first4=A. |last4=Vainshtein |id={{ArXiv|math|0004096}} |title=Hurwitz numbers and intersections on moduli spaces of curves |journal=Invent. Math. |volume=146 |issue=2 |pages=297–327 |year=2001 |doi= }}
| |
| *{{cite journal |ref=harv |first=B. |last=Fantechi |first2=R. |last2=Pandharipande |id={{ArXiv|math|9905104}} |title=Stable maps and branch divisors |journal=Compos. Math. |volume=130 |issue=3 |pages=345–364 |year=2002 }}
| |
| *{{cite journal |ref=harv |first=T. |last=Graber |first2=R. |last2=Vakil |id={{ArXiv|math|0003028}} |title=Hodge integrals and Hurwitz numbers via virtual localization |journal=Compos. Math. |volume=135 |issue=1 |pages=25–36 |year=2003 |doi= }}
| |
| *{{cite journal |ref=harv |first=M. |last=Kazarian |arxiv=0809.3263 |title=KP hierarchy for Hodge integrals |journal=Adv. Math. |volume=221 |issue=1 |pages=1–21 |year=2009 |doi= }}
| |
| *{{cite paper |ref=harv |first=J. |last=Li |year=2001 |id={{ArXiv|math|0009097}} |title=A degeneration of stable morphisms and relative stable morphisms |work=Preprint }}
| |
| | |
| {{Algebraic curves navbox}}
| |
| | |
| [[Category:Algebraic curves]]
| |
| [[Category:Moduli theory]]
| |
| [[Category:Permutations]]
| |