[論文レビュー] Lefschetz decomposition and the cd-index of fans

Kalle Karu|ArXiv.org|Sep 9, 2005

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

ひとこと要約

本稿は、ファンの最初のバーチカル・サブディビジョンのコホロジーに一般化されたリーマン型作用素を導入することにより、完全ファンのcd-指数に対するリーマン型分解を確立する。Poincaré層とペアリング構造に基づく新規な帰納的構成を用いて、完全ファンにおけるcd-指数の非負性を証明し、古典的なリーマン分解を単体的でない完全ファンへと拡張する。

ABSTRACT

The goal of this article is to give a Lefschetz type decomposition for the cd-index of a complete fan. To a complete simplicial fan one can associate a toric variety X, the even Betti numbers h_i of X and the numbers g_i = h_i-h_{i-1}. If the fan is projective, then non-negativity of g_i follows from the Lefschetz decomposition of the cohomology. In the case of a nonsiplicial complete fan one can analogously compute the flag h-numbers h_S and, by a change of variable formula, the cd-index. We give an analogue of the Lefschetz operation for the cd-index. This gives another proof of the non-negativity of the cd-index for complete fans.

研究の動機と目的

• 単体的ファンから非単体的完全ファンへリーマン分解を拡張するため、リーマン作用素の概念を一般化すること。
• 代数幾何における古典的リーマン定理に類似した、完全ファンにおけるcd-指数の非負性のコホロジー的解釈を提供すること。
• ファンの最初のバーチカル・サブディビジョンの多重次数付きコホロジーに、cd-指数の構造を反映する同型写像を保証するリーマン型作用素を定義すること。
• Poincaré層と双対性を用いた層論的枠組みを構築し、コホロジー上の必要な線形写像を構成すること。

提案手法

• 完全ファン $\Delta$ の最初のバーチカル・サブディビジョン $B\Delta$ に、$\mathbb{N}^n$ による多重次数付きコホロジー理論を導入する。
• $\mathcal{A}(B\Delta)$ をコンビナトリカル多項式関数の空間とし、最大の同次イデアルによる商をとることでコホロジー $H^S(B\Delta)$ を定義する。
• 変数変換を用いて、Poincaré多項式 $P_{B\Delta}(t_1,\ldots,t_n)$ を同次な $cd$-多項式 $\Psi_\Delta(c,d)$ として表現する。
• Poincaré層上の帰納的「主構成」を用い、ペアリング構造と双対性を活用して一般化されたリーマン作用素を構成する。
• $H^S(B\Delta) \to H^S(B\Delta)$ への線形写像 $L_i$ を、$e_i$ の次数を持つように定義し、$cd$-単項式に $t_i+1$ を含む成分に対応する同型写像を保証する。
• トーラス作用と一般性の議論を用いて、$K^\perp \cap L(K) = 0$ を満たす写像の存在を示し、単射性および同型性の性質を保証する。

実験結果

リサーチクエスチョン

• RQ1 完全で非単体的ファンのcd-指数に対して、トーリック幾何における古典的ケースに類似したリーマン型分解を構成できるか？
• RQ2 組合せ的または正値性の議論ではなく、コホロジー的技法を用いてcd-指数の非負性をどのように証明できるか？
• RQ3 バーチカル・サブディビジョンコホロジーの多重次数付き設定におけるリーマン作用素の適切な一般化は何か？
• RQ4 このようなリーマン作用素の存在は、層論的構成と双対性を用いて確立できるか？

主な発見

• 任意の完全ファン $\Delta$ のcd-指数 $\Psi_\Delta(c,d)$ は非負であり、この既知の結果に対する新しいコホロジー的証明を提供する。
• 多重次数付きコホロジー $H^S(B\Delta)$ に一般化されたリーマン作用素が構成され、$e_i$ の次数を持つ写像 $L_i$ が、$t_i+1$ を含む$cd$-単項式に対応する成分上で同型写像を誘導する。
• この構成は、双対性とペアリング構造を用いたPoincaré層上の帰納的「主構成」に依存しており、整合性と非退化性を保証する。
• このようなリーマン作用素の存在は、コホロジー成分の次元が $\Psi_\Delta(c,d)$ の係数に対応することを示唆し、cd-指数の非負性を意味する。
• 古典的リーマン分解を単体的ファンから一般の完全ファンへ拡張する方法として、トーリック多様体のコホロジーをバーチカル・サブディビジョン上の層論的構成に置き換える。