[論文レビュー] The cd-index of fans and lattices

Kalle Karu|ArXiv.org|Oct 24, 2004

Advanced Combinatorial Mathematics参考文献 3被引用数 7

ひとこと要約

この論文は、完全なファンとGorenstein*順序集合に対して、層理論的手法を用いてcd-指数の非負性を証明する。半Gorenstein層を構成し、層の次元に対する組合せ的演算CとDを定義することで、定数層にcd-単項式を作用させると非負整数が得られることを示し、これによりこれらの構造におけるcd-指数のすべての係数が非負整数であることが確立される。

ABSTRACT

The number of flags in a complete fan, or more generally in an Eulerian poset, is encoded in the cd-index. We prove non-negativity of the cd-index for complete fans, regular CW-spheres and Gorenstein* posets.

研究の動機と目的

• 完全なファンおよびGorenstein*順序集合におけるcd-指数の非負性を確立すること。これは長年の予想であったが、証明がなされていなかった。
• cd-指数を、CおよびDの操作の下での層の次元の数え上げとして解釈するための組合せ的かつ代数的枠組みを提供すること。
• ファンの範囲を超えて、特にGorenstein*順序集合を含むEulerian順序集合へcd-指数の構成を一般化すること。層理論的双対性およびPoincaré双対性を用いる。
• BayerとKlapperが提起した、正則CW球体におけるcd-指数の非負性に関する長年の予想を、Gorenstein*順序集合の広いクラスに対して証明することで解決すること。

提案手法

• cとdの非可換変数における同次多項式としてcd-指数を定義する。ここでcはt_i + 1に対応し、dはt_i + t_{i+1}に対応する。これは、ファンのバーチカル・サブディビジョンにおけるconewise多項式関数のPoincaré多項式を符号化する。
• 整数値関数のposetにおける演算C（制限）およびD = C ∘ (E − Id) ∘ Cを導入する。ここでEはMöbius型の逆演算作用素である。
• ファンまたはGorenstein*順序集合のバーチカル・サブディビジョン上に半Gorenstein層を構成し、その茎の次元がPoincaré双対性を満たし、CおよびDの操作と整合するように保証する。
• CおよびDの層的類似物C̃およびD̃を、有限次元ベクトル空間の層に作用させるものとして定義し、これらが半Gorenstein条件および引き戻し性質π*を保つことを証明する。
• 帰納法と層の操作の構造を用いて、定数層1_Δにcd-単項式を作用させた結果の次元が、cd-指数におけるその単項式の係数に等しいことを示す。
• 得られる次元が常に非負整数であることを証明することで、cd-指数の係数の非負性が確立される。

実験結果

リサーチクエスチョン

• RQ1 完全なファンのcd-指数は常に非負整数係数の多項式か？
• RQ2 Gorenstein*順序集合のcd-指数が、層理論的手法を用いて非負係数を有することを示せるか？
• RQ3 コーンのposet上の関数に対する組合せ的演算CおよびDは、自然に層へ拡張可能で、係数の非負性を保つのか？
• RQ4 cd-指数の非負性を、代数的恒等式の超えて、層理論的解釈によって説明できるか？

主な発見

• 任意の完全なファンのcd-指数は非負整数係数を持つ。これはBayerとKlapperの予想を解決する。
• 任意のGorenstein*順序集合のcd-指数は非負整数係数を持つ。これはファンの範囲を超えて、より広い順序集合のクラスへ結果を拡張する。
• 任意のcd-単項式w(c,d)を定数層1_ΔにC̃およびD̃の操作を用いて作用させると、その結果として得られるベクトル空間の次元は、cd-指数におけるwの係数に等しい。
• 関数上のCおよびDの操作は、半Gorenstein層上にうまく定義された操作へと持ち上げられ、係数の数え上げに必要な構造を保つ。
• 証明は、層の双対性およびMöbius型作用素Eと射影πとの整合性に依存しており、これにより双対層も必要な引き戻し条件を満たすことが保証される。
• この結果により、Gorenstein*順序集合のcd-指数に、非負性の係数以外の追加の線形不等式制約はないことが示され、Stanleyの結果と整合する。