29
$\begingroup$

Here's a funny coincidence:

The virtual (or "orbifold") Euler characteristic of $\mathcal M_g$ is known by the work of Harer and Zagier: one has $\chi(\mathcal M_g) = \zeta(1-2g)/(2-2g)$.

Now consider the virtual Euler characteristic of the moduli space $\mathcal H_g$ of hyperelliptic curves. Quotienting by the hyperelliptic involution gives a map $\mathcal H_g \to \mathcal M_{0,2g+2}/\Sigma_{2g+2}$ (sending each curve to its set of branch points), and conversely the hyperelliptic curve can be recovered from its branch locus. Hence (since the hyperelliptic curve will have twice as big automorphism group) $$\chi(\mathcal H_g) = \frac 1 2 \chi(\mathcal M_{0,2g+2}/\Sigma_{2g+2}) = \frac{1}{2(2g+2)!}\chi(\mathcal M_{0,2g+2}) = -\frac{(2g-1)!}{2(2g+2)!}.$$ As a sanity check, these two numbers agree for $g=2$. However, what is more surprising is that the two numbers agree also for $g=4$: we have $\chi(\mathcal M_4) = \chi(\mathcal H_4) = -1/1440$. Is there any "reason" for this to occur, or is it just a coincidence?

Edit: This is what the numbers look like for some other values of $g$.

sage: [bernoulli(2*g)/(4*g*(g-1)) for g in range(2,10)]

[-1/240, 1/1008, -1/1440, 1/1056, -691/327600, 1/144, -3617/114240, 43867/229824]

sage: [-factorial(2*g-1)/(2*factorial(2*g+2)) for g in range(2,10)]

[-1/240, -1/672, -1/1440, -1/2640, -1/4368, -1/6720, -1/9792, -1/13680]

$\endgroup$
1
  • $\begingroup$ What are their values for other values of $g$? $\endgroup$ Jun 4, 2011 at 15:29

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.