[論文レビュー] Algebraic Shifting and f-Vector Theory

Eran Nevo|ArXiv.org|Sep 20, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 13被引用数 4

ひとこと要約

本学位論文は、単体的複体および階数付きposetにおけるf-ベクトル理論への代数的シャーディングの応用を進展させ、トポロジカル埋め込み、グラフマイナー、g-予想との関連を確立する。二重コhen・マカウルの複体のg-ベクトルがM-系列であることを証明し、ハード・リーマン性が重要なトポロジカル操作において保存されることを示し、単体的球面におけるg-予想の解決に向けた新たな道筋を提示する。

ABSTRACT

This thesis focuses on algebraic shifting and its applications to f-vector theory of simplicial complexes and more general graded posets. In particular, several approaches and partial results concerning the g-conjecture for simplicial spheres are presented here.

研究の動機と目的

• 単体的球面およびより一般的な階数付きposetのf-ベクトルを特徴付けるために、代数的シャーディングの役割を探ること。
• 代数的シャーディングが、f-ベクトル理論における中心的未解決問題であるg-予想に新たな洞察をもたらすかどうかを調査すること。
• 幾何的ミート半順序集合および多重複体への代数的シャーディングの拡張を行い、スターリング＝ライスナー環の類似物を一般化すること。
• 代数的シャーディング、グラフマイナー、単体的複体のトポロジカル埋め込みとの関係を確立すること。
• 二重コHEN・マカウル複体のg-ベクトルがM-系列であることを証明し、g-ベクトルに関するより広範な予想を支持すること。

提案手法

• 対称的および外積代数的シャーディングを用いて、f-ベクトルとベッチ数を保存するが、より組合せ的に単純なシャーディッド複体に単体的複体を変換する。
• 剛性理論およびフォゲルサンガーの最小サイクル複体を用いて、二重コHEN・マカウル複体のf-ベクトルを分析する。
• PL多様体における辺の縮約を用いて、特別なクラスの単体的球面についてg-ベクトルの非負性を証明する。
• 面環におけるハード・リーマン性および弱リーマン性を応用し、代数的条件と組合せ的不変量との関係を関連付ける。
• 等変コhomologyおよびヴァン・カンペンの障害を用いて、単体的複体に対する一般化されたマイナー理論を導入する。
• 幾何的ミート半順序集合に対してスターリング＝ライスナーに類似した環を定義し、代数的シャーディングを用いて、元のposetと同一のf-ベクトルを持つ標準的な単項式イデアルを構成する。

実験結果

リサーチクエスチョン

• RQ1 代数的シャーディングを用いて、単体的球面のg-ベクトルがM-系列であることを証明できるか？
• RQ2 単体的球面のf-ベクトルに関する一般化された下界不等式は、代数的シャーディングによる精錬を受けるか？
• RQ3 単体的球面のスターリング分割および連結和において、ハード・リーマン性は保存されるか？
• RQ4 非埋め込み性に関するカライ＝サルカリア予想は、シャーディッド複体および等変コhomologyを用いて証明可能か？
• RQ5 一般の多面体のトーリックg-ベクトルのg-ベクトルはM-系列を形成するか？また、代数的シャーディングはこれを証明する手助けになるか？

主な発見

• 次元が3以上である任意の二重コHEN・マカウル複体の初期g-ベクトル (g₀, g₁, g₂) はM-系列である。
• トポロジーを保存する辺の縮約を用いて、特別なクラスの単体的球面についてg-ベクトルの非負性が確立された。
• 単体的球面におけるジョイント、スターリング分割、連結和の操作において、ハード・リーマン性が保存される。
• 2 ≤ r ≤ 6 に対して、グラフGの対称的代数的シャーディングに {r−1, r} が含まれるならば、GはK_rマイナーを含むことが示され、埋め込みに対する新たな障害が得られた。
• 幾何的ミート半順序集合に対して代数的シャーディングの構成が定義され、元のposetと同一のf-ベクトルを持つ標準的な単項式イデアルが得られた。
• 一般化されたスターリング＝ライスナー環の構成および代数的シャーディングを用いて、族Pに属するすべてのposetに対してマカウレー不等式が成り立つことが示された。