It is a theorem due to Harer that $H\_k(M\_{g,n},\mathbb{Q})=0$ for $k>C(g,n)$, where $C(0,n)=n-3, C(g,0)=4g-5$ for $g>0$, and $C(g,n)=4g-4+n$ for $g,n>0$. Here $M\_{g,n}$ denotes the coarse moduli space of $n$-pointed genus $g$ curves. I was wondering if an analogous vanishing theorem holds for $H\_{g,n}$, and if yes I would love to see a reference.


As is clear and well known, the theorem of Harer would follow from this famous conjecture of Looijenga, claiming that if $2g-2+n>0$, $M\_{g,n}$ is the union of $g$ affine open subsets (actually even $g-1$, when $n=0$). Recall that $H\_{g,0}$ is affine, so for $n=0$ the homology is zero for $k\geq 2g$. However I don't know if $H\_{g,n}$ is affine/Stein in general, nor I am aware of a bound on the number of affine opens required to cover it. Since the maps $H\_{g,n+1}\to H\_{g,n}$ are affine for $n\geq 1$, it would suffice to find affine covers with few open sets for $n=1$.


The proof of Harer's theorem is (for me) rather intricate, and I don't think it adapts easily to the case of hyperelliptic curves. 



Vanishing of homology for hyperelliptic locus
A cohomological bound can be obtained as follows.


**Proposition** The affine stratification number of $H\_{g,n}$ is $1$ for $n > 0$, $0$ for $n=0$.


*Proof* Since $H\_{g,0}$ is affine we are only interested in the case $n > 0$. Since $H\_{g,n+1} \to H\_{g,n}$ is an affine morphism for $n>0$, it's enough to do the case $n=1$. Write $H\_{g,1}$ as the disjoint union of the locus where the marked point is (resp. is not) a Weierstrass point. Both these loci are affine since the projection down to $H\_g$ is an affine morphism on each of them. To see that $H\_{g,1}$ is not affine, note that it contains many complete curves - specifically, any fiber of $H\_{g,1} \to H\_g$ is proper. **QED**


This implies that not just the rational cohomology, but the cohomology of any constructible sheaf (over $\mathbb Q$, to take care of stacky issues) on $H\_{g,n}$ vanishes above degree $2g+n$ for $n > 0$. Also vanishing theorems for constructible sheaves - see the paper of Roth and Vakil. 


In general I would expect this bound to be sharp. By this I mean that for a given $g$, there will only be finitely many $n$ for which $H^{2g+n}(H\_{g,n},\mathbb Q) = 0$. I have no idea how one would prove this, though.




---


Now let me prove the claim I made in a comment.


**Proposition** The space $H\_g$ has the rational cohomology of a point for all $g$.


*Proof* Note that $H\_g = M\_{0,2g+2}/S\_{2g+2}$. So it will be enough to prove that $M\_{0,2g+2}/S\_{2g+1}$, parametrizing $2g+1$ unordered marked points on $\mathbb P^1$ and a distinguished other point, has the rational cohomology of a point. If we put the distinguished marking at infinity, we get an isomorphism $M\_{0,2g+2}/S\_{2g+1} = B(\mathbb A^1,2g+1)/G$. Here $B(\mathbb A^1,n)$ denotes the configuration space of $n$ unordered marked points on $\mathbb A^1$, and $ G= \mathbb G\_m \ltimes \mathbb G\_a$ denotes the group of Möbius transformations fixing the point at infinity. In fact the projection from the configuration space to $M\_{0,2g+2}/S\_{2g+1}$ is a trivial $G$-bundle.


The rational cohomology of $B(\mathbb A^1,n)$ was computed by Arnold in his famous paper on the cohomology of the braid group: it has the rational cohomology groups of a circle. And $G$ is homotopic to a circle. So $M\_{0,2g+2}/S\_{2g+1}$ has the rational cohomology of a point, as claimed. **QED**


**Proposition** $H^0(H\_{g,1},\mathbb Q) \cong H^2(H\_{g,1},\mathbb Q) \cong \mathbb Q$ and all other cohomology groups vanish.


*Proof* Apply the Leray spectral sequence for $f:H\_{g,1} \to H\_g$. We have $R^0 f\_\ast \mathbb Q \cong R^2 f\_\ast \mathbb Q \cong \mathbb Q$. The locally constant sheaf $R^1 f\_\ast \mathbb Q$ has vanishing cohomology, because every point of $H\_g$ has the hyperelliptic involution as a nontrivial stabilizer, and the hyperelliptic involution acts as $-1$ on the stalk of the local system. The result follows. **QED**


The cohomologies of $H\_{g,2}$ and $H\_{g,3}$ have also been computed for all $g$ by Orsola Tommasi in her Ph.D. thesis.




---


Let me also mention two results about the cohomology of $H\_{g,n}$ that I can prove but haven't written down yet.


**Proposition** The Leray spectral sequence for $H\_{g,n} \to H\_g$ degenerates for all $g,n$.


This is in contrast with the Leray spectral sequence for $M\_{g,n} \to M\_g$, which typically does not degenerate. It is really very special to families of hyperelliptic curves. It means that understanding the cohomology of $H\_{g,n}$ is equivalent to understanding the cohomology of $H\_g$ with coefficients in a symplectic representation.


**Proposition** There is an analogue of Harer stability for moduli of hyperelliptic curves: $H^k(H\_{g,n},\mathbb Q) \cong H^k(H\_{g+1,n},\mathbb Q)$ for $g \gg k$.


This isn't really "my" theorem - it follows from the work of Randal-Williams and Wahl.


