e8fbaacaf393dad6.tex
1: \begin{abstract}
2: We obtain explicit expressions for the class in the Grothendieck group of varieties
3: of the moduli space $\ocaM_{0,n}$ of genus~$0$ stable curves with $n$ marked points. 
4: This information is equivalent to the Poincar\'e polynomial; it implies explicit expressions 
5: for the Betti numbers of the moduli space in terms of Stirling numbers or, alternatively, 
6: Bernoulli numbers.
7: 
8: The expressions are obtained by solving a differential equation characterizing the generating
9: function for the Grothendieck class as shown in work of Yuri Manin from the 
10: 1990s. This differential equation is equivalent to S.~Keel's recursion for the Betti numbers
11: of $\ocaM_{0,n}$. Our proof reduces the solution to two combinatorial identities which follow 
12: from applications of Lagrange series.
13: 
14: We also study generating functions for the individual Betti numbers. In previous work it had
15: been shown that these functions are determined by a set of polynomials $p^{(k)}_m(z)$,
16: $k\ge m$, with positive rational coefficients, which are conjecturally log-concave. We 
17: verify this conjecture for many infinite families of polynomials $p^{(k)}_m(z)$, corresponding 
18: to the generating functions for the $2k$-Betti numbers of $\ocaM_{0,n}$ for all $k\le 100$. 
19: Further, studying the polynomials $p^{(k)}_m(z)$ allows us to prove that the generating 
20: function for the Grothendieck class of $\ocaM_{0,n}$ may be written as a series of rational 
21: functions in $\Lbb$ and the principal branch of the {\em Lambert W-function.\/}
22: 
23: We include an interpretation of the main result in terms of Stirling matrices and a discussion
24: of the Euler characteristic of $\ocaM_{0,n}$.
25: \end{abstract}
26: