Koszulness of the cohomology ring of moduli of stable genus zero curves

It is: https://arxiv.org/abs/1902.06318 - this paper also explains how to use the Koszul dual algebra for something, where something is estimating Betti numbers of the free loop spaces of $\overline{M}_{0,n}$; those, by Gromov & Ballmann-Ziller, allow one to estimate the number of closed geodesics of bounded length.

Here is an alternative presentation of the cohomology, taken from the unpublished PhD thesis of my student Daniel Singh. It has the disadvantage that one marked point is treated specially, so some symmetry is lost, but otherwise has many pleasant properties.

Put $S=\{1,\dotsc,n-1\}$.

• For each subset $T\subseteq S$ with $|T|>1$ we have a generator $x_T$ in degree two.
• For each pair of sets $T,U$ with $T\cap U\neq\emptyset$ we have $(x_{T\cup U}-x_T)(x_{T\cup U}-x_U)=0$.
• Now consider a set $T$ as before, and disjoint subsets $U_1,\dotsc,U_r\subseteq T$, again with $|U_i|>1$. Put $m=(|T|-1)-\sum_i(|U_i|-1)$. Then $x_T^m\prod_i(x_T-x_{U_i})=0$.
• Moreover, there are no more generators or relations.

One can also give a basis for the cohomology consisting of monomials in the generators $x_T$.

• Consider a monomial $y=\prod_Tx_T^{n_T}$. The shape of $y$ is $\{T : n_T>0\}$.
• We say that a collection $\mathcal{F}$ of subsets of $S$ is a forest if all elements have size at least two, and any two elements are either disjoint or nested.
• Given a forest $\mathcal{F}$ and a set $T\in\mathcal{F}$, let $U_1,\dotsc,U_r$ be the maximal elements of $\{V\in\mathcal{F}:V\subset T\}$, and then put $m(\mathcal{F},T)=(|T|-1)-\sum_i(|U_i|-1)$.
• We say that our monomial $y$ is admissible if $\text{shape}(y)$ is a forest and $n_T\lt m(\text{shape}(y),T)$ for all $T\in\text{shape}(y)$.

It can be shown that the admissible monomials form a basis for the cohomology.

I do not know whether the algebra is Koszul, but I think that this presentation is well-adapted for investigating that question.