Fugu-MT 論文翻訳(概要): Real-rootedness of the Poincaré polynomials of $\overline{\mathcal M}

論文の概要: Real-rootedness of the Poincaré polynomials of $\overline{\mathcal M}_{0,n}$: an AI-assisted proof

arxiv url: http://arxiv.org/abs/2605.29151v1
Date: Wed, 27 May 2026 22:26:05 GMT
ステータス: 翻訳完了
システム内更新日: 2026-05-30 02:45:55.545061
Title: Real-rootedness of the Poincaré polynomials of $\overline{\mathcal M}_{0,n}$: an AI-assisted proof
Title（参考訳）: $\overline{\mathcal M}_{0,n}$:AI支援証明のポアンカレ多項式の実根性
Authors: Gergely Bérczi, Young-Hoon Kiem,
Abstract要約: Deligne-Mumford モジュライ空間のポアンカレ [ P_n(t)=sum_i=0n-3 dim H2i(overlinemathcal M_0,n;mathbbQ) の実根性を証明する。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by/4.0/
Abstract: We prove real-rootedness for the Poincaré polynomial \[ P_n(t)=\sum_{i=0}^{n-3} \dim H^{2i}(\overline{\mathcal M}_{0,n};\mathbb{Q})t^i \] of the Deligne--Mumford moduli space $\overline{\mathcal M}_{0,n}$ of stable $n$-pointed rational curves, proving a conjecture of Aluffi--Chen--Marcolli. The proof starts from the Keel--Manin--Getzler recurrence, but its main new idea is a bivariate deformation $F_m(y,t)$ of the Poincaré polynomial. This deformation reveals a hidden interlacing structure not visible in the one-variable recurrence. For fixed $t<0$, the zero set of $F_m$ in the $y$-direction is controlled by a Sturm--Rolle argument on the interval $0<y<1-t$. The original polynomial is recovered on the slice $y=1$, and the ordered crossings of the moving roots through this slice give both real-rootedness and strict interlacing. Consequently, the Betti numbers of $\overline{\mathcal M}_{0,n}$ form an ultra-log-concave sequence. We further prove real-rootedness and ultra-log-concavity for the Poincaré polynomial of the Fulton--MacPherson space $\mathbb{P}^1[n]$ of $n$ ordered points in degenerations of the complex projective line. The proof for $\overline{\mathcal M}_{0,n}$ was obtained through an iterative AI-assisted workflow with Co-Mathematician, an agentic frontier-model system developed by Google DeepMind. The human role was to pose the problem, evaluate successive attempts, request repairs of gaps, compare the evolving argument with the literature, and assemble the final human-verifiable proof. Our additional human contribution was to observe that a similar residual deformation strategy applies to the Fulton--MacPherson spaces $\mathbb P^1[n]$, yielding the corresponding real-rootedness theorem.
Abstract（参考訳）: ポアンカレ多項式 \[P_n(t)=\sum_{i=0}^{n-3} \dim H^{2i}(\overline{\mathcal M}_{0,n};\mathbb{Q})t^i \] に対する実根性を証明する。この証明は Kel--Manin--Getzler の繰り返しから始まるが、その主要な新しいアイデアはポアンカレ多項式の2変数変形 $F_m(y,t)$ である。この変形は、1変数の再発で見えない隠れたインターレース構造を明らかにする。固定$t<0$の場合、$y$-directionの$F_m$のゼロ集合は、0<y<1-t$の間隔でのSturm--Rolle引数によって制御される。元の多項式はスライス$y=1$で回収され、このスライスを通る移動根の順序付けられた交差は、実根性および厳密なインターレースを与える。したがって、$\overline{\mathcal M}_{0,n}$のベッチ数は超log-concave列を形成する。さらに、フルトン-マクファーソン空間 $\mathbb{P}^1[n]$ of $n$ order points in degenerations of the complex projective line。 The proof for $\overline{\mathcal M}_{0,n}$ was obtained through a repeaterative AI-assisted workflow with Co-Mathematician, an agentic frontier-model system by Google DeepMind。人間の役割は、問題を提起し、連続した試みを評価し、ギャップの修復を要求し、進化した議論を文献と比較し、最終的な人間検証証明を組み立てることであった。我々の追加の人間の貢献は、同様の残留変形戦略がフルトン-マクファーソン空間 $\mathbb P^1[n]$ に適用され、対応する実根性定理が導かれることを観察することであった。

論文の概要: Real-rootedness of the Poincaré polynomials of $\overline{\mathcal M}_{0,n}$: an AI-assisted proof

関連論文リスト