Real-rootedness of the Poincare polynomials of overline{mathcal M}_{0,n}: an AI-assisted proof
DGX agentarXiv:2605.29151v1 Announce Type: cross Abstract: We prove real-rootedness for the Poincare polynomial [ P_n(t)=sum_{i=0}^{n-3} im H^{2i}(overline{mathcal M}_{0,n};Q)t^i ] of the Deligne--Mumford modu