Lambda g conjecture
In algebraic geometry, the [math]\displaystyle{ \lambda_g }[/math]-conjecture gives a particularly simple formula for certain integrals on the Deligne–Mumford compactification [math]\displaystyle{ \overline{\mathcal M}_{g, n} }[/math] of the moduli space of curves with marked points. It was first found as a consequence of the Virasoro conjecture by E. Getzler and R. Pandharipande (1998). Later, it was proven by C. Faber and R. Pandharipande (2003) using virtual localization in Gromov–Witten theory. It is named after the factor of [math]\displaystyle{ \lambda_g }[/math], the gth Chern class of the Hodge bundle, appearing in its integrand. The other factor is a monomial in the [math]\displaystyle{ \psi_i }[/math], the first Chern classes of the n cotangent line bundles, as in Witten's conjecture. Let [math]\displaystyle{ a_1, \ldots, a_n }[/math] be positive integers such that:
- [math]\displaystyle{ a_1 + \cdots + a_n = 2g-3+n. }[/math]
Then the [math]\displaystyle{ \lambda_g }[/math]-formula can be stated as follows:
- [math]\displaystyle{ \int_{\overline{\mathcal M}_{g, n}} \psi_1^{a_1} \cdots \psi_n^{a_n}\lambda_g = \binom{2g + n - 3}{a_1, \ldots, a_n} \int_{\overline{\mathcal M}_{g, 1}} \psi_1^{2g - 2}\lambda_g. }[/math]
The [math]\displaystyle{ \lambda_g }[/math]-formula in combination withge
- [math]\displaystyle{ \int_{\overline{\mathcal M}_{g, 1}} \psi_1^{2g - 2}\lambda_g = \frac{2^{2g-1} - 1}{2^{2g - 1}} \frac{|B_{2g}|}{(2g)!}, }[/math]
where the B2g are Bernoulli numbers, gives a way to calculate all integrals on [math]\displaystyle{ \overline{\mathcal M}_{g, n} }[/math] involving products in [math]\displaystyle{ \psi }[/math]-classes and a factor of [math]\displaystyle{ \lambda_g }[/math].
References
- Getzler, E.; Pandharipande, R. (1998), "Virasoro constraints and the Chern classes of the Hodge bundle", Nuclear Physics B 530 (3): 701–714, doi:10.1016/S0550-3213(98)00517-3, Bibcode: 1998NuPhB.530..701G
- Faber, C.; Pandharipande, R. (2003), "Hodge integrals, partition matrices, and the [math]\displaystyle{ \lambda_g }[/math] conjecture", Ann. of Math., 2 157 (1): 97–124, doi:10.4007/annals.2003.157.97
 |  |
