arXiv++ Combinatorics

The Poincaré polynomials of the Deligne-Mumford space $\overline{M_{0,n}}$ of stable genus 0 curves have been widely studied by several authors such as Keel and Manin. These polynomials can be computed via a recursive formula that is combinatorial in nature, and their exponential generating functions satisfy elegant functional and differential equations. In this paper, we state some combinatorial formulas to the Poincaré polynomials of Hassett's heavy-light moduli spaces $\overline{M_{0,w_{m,n}}}$, with $m$ heavy marked points and $n-m$ light marked points. We express the Poincaré polynomials recursively in terms of the Möbius function of a certain lattice of set partitions. In the case of $m=2$, we get a Losev-Manin space. We give an explicit formula for the Poincaré polynomial or $\overline{M_{0,w_{2,n}}}$ by counting ordered set partitions; and give a recursive formula for this polynomial similar to that in the setting of $\overline{M_{0,n}}$. We prove this recursive formula using geometric and topological properties of the stratification of Losev-Manin spaces; and use an exponential generating function to simplify this recursive formula. Finally, we give a remarkable generalization to the ordered Bell numbers and a recurrence relation for this generalization.

We describe a family of hyperplane arrangements depending on a positive integer parameter $r$, which we refer to as the $r$-braid arrangements, and which can be viewed as a generalization of the classical braid arrangement. The wonderful compactification of the braid arrangement (with respect to its minimal building set) is well-known to yield the moduli space $\overline{\mathcal{M}}_{0,n}$, and, in this work, we generalize this result, constructing a moduli space $\overline{\mathcal{M}}^r_{n}$ of certain genus-zero curves with an order-$r$ involution that we identify with the corresponding wonderful compactification of the $r$-braid arrangement. The resulting space is a variant of the previously studied moduli space $\overline{\mathcal{L}}^r_n$ [arXiv:2104.06526], related via a change of weights on the markings.

The ordinary and $S_n$-equivariant fundamental groups of the moduli space $\overline{M_{0,n+1}}(\mathbb{R})$ of real $(n+1)$-marked stable curves of genus $0$ are known as \emph{cactus groups} $J_n$ and have applications both in geometry and the representation theory of Lie algebras. In this paper, we compute the ordinary and $S_n$-equivariant fundamental groups of the Hassett space of weighted real stable curves $\overline{M_{0,\mathcal{A}}}(\mathbb{R})$ with $S_n$-symmetric weight vector $\mathcal{A} = (1/a, \ldots, 1/a, 1)$, which we call \emph{weighted cactus groups} $J_n^a$. We show that $J_n^a$ is obtained from the usual cactus presentation by introducing braid relations, which successively simplify the group from $J_n$ to $S_n \rtimes \mathbb{Z}/2\mathbb{Z}$ as $a$ increases. Our proof is by decomposing $\overline{M_{0,\mathcal{A}}}(\mathbb{R})$ as a polytopal complex, generalizing a similar known decomposition for $\overline{M_{0,n+1}}(\mathbb{R})$. In the unweighted case, these cells are known to be cubes and are `dual' to the usual decomposition into associahedra (by the combinatorial type of the stable curve). For $\overline{M_{0,\mathcal{A}}}(\mathbb{R})$, our decomposition instead consists of products of permutahedra. The cells of the decomposition are indexed by weighted stable trees, but `dually' to the usual indexing.

Given a finitely generated group with generating set $S$, we study the cogrowth sequence, which is the number of words of length $n$ over the alphabet $S$ that are equal to one. This is related to the probability of return for walks the corresponding Cayley graph. Muller and Schupp proved the generating function of the sequence is algebraic when $G$ has a finite-index free subgroup (using a result of Dunwoody). In this work we make this result effective for free products of finite groups: we determine bounds for the degree and height of the minimal polynomial of the generating function, and determine the minimal polynomial explicitly for some families of free products. Using these results we are able to prove that a gap theorem holds: if $S$ is a finite symmetric generating set for a group $G$ and if $a_n$ denotes the number of words of length $n$ over the alphabet $S$ that are equal to $1$ then $\limsup_n a_n^{1/n}$ exists and is either $1$, $2$, or at least $2\sqrt{2}$.