キー多項式の非負展開予想に反例
Counterexamples to the Reiner-Shimozono conjecture and the failure of Schubert filtrations
この論文をやさしく読む
ひとことで言うと
二つの代数的な予想を明示的な反例で否定し、係数が正になる条件も与えた理論研究です。
何に役立つ？
キー多項式やシューベルト・フィルトレーションに関する結果を使う際、成立条件を見直す根拠になります。
この研究の面白いところ
負の係数を含む無限の反例族を作る一方、正の係数を多項式時間で判定できる十分条件も示します。
どこまで分かった？
正の係数について示すのは十分条件であり、すべての正の係数を特徴づけるとは要旨に書かれていません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
著者らは、キー多項式の積をデマズール原子の非負係数の和に展開できるというReiner–Shimozono予想を否定する。デマズール加群の定義関係を緩めることで、係数を取り出す厳密な公式を得て、28変数で負の係数が現れる例を含む、明示的な反例の無限族を導く。これらの例は、シューベルト多様体上の切断加群のテンソル積に対するシューベルト・フィルトレーションに関するPoloの予想も否定する。シューベルト多様体の和集合上の切断空間を逐次商として許しても反例となる。個々のデマズール原子の係数については、正になるための十分条件を与える。この条件は、階数に依存しない形で、二進数表現した入力長に関して多項式時間で検査できる。固定した各階数n≥4では、合成の成分の上限を無限大にするとき、この条件は正の原子係数のうち消えない割合を認識する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-23（UTC）
- 最新改訂
- 2026-09-23 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-23 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We disprove the Reiner--Shimozono conjecture that products of key polynomials have nonnegative expansions in Demazure atoms. By relaxing the defining relations of Demazure modules, we obtain an exact coefficient-extraction formula that yields an explicit infinite family of counterexamples, including negative coefficients in twenty-eight variables. These examples also disprove Polo's conjecture on Schubert filtrations of tensor products of section modules on Schubert varieties, even when successive quotients given by spaces of sections over unions of Schubert varieties are permitted. For individual atom coefficients, we give a sufficient criterion for positivity that is checkable in polynomial time in the binary input length, uniformly in rank. For each fixed rank $n\ge4$, this criterion recognizes a nonvanishing proportion of the positive atom coefficients as the bound on the composition entries tends to infinity.
著者のコメント
23 pages
arXiv ID: 2609.28169 ／ 要約の誤りについて