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: