[論文レビュー] Cohen-Macaulay and Gorenstein complexes from a topological point of view

Dietrich Notbohm|ArXiv.org|Aug 16, 2005

Advanced Combinatorial Mathematics参考文献 10被引用数 4

ひとこと要約

この論文は、単体的複体の Cohen-Macaulay 性および Gorenstein$^*$ 性の再証明を、ホモトピー論的メソッドを用いて行い、単体的複体に付随する図式のホモトピーコロイミットなどの位相的構成を導入する。主な貢献は、新たな位相的基準の確立である：単体的複体 $K$ が体 $
\mathbb{F}$ 上で Cohen-Macaulay であることは、関連する空間 $X_K$ のコホモロジーが偶数次元に集中していることと同値であり、$K$ が Gorenstein$^*$ であることと同値な条件は、$H^{n-1}(K;\mathbb{F}) \cong \mathbb{F}$ かつ $H^*(X_K;\mathbb{F})$ が最高次元で一様次元のソクルを持つことである。

ABSTRACT

The main invariant to study the combinatorics of a simplicial complex $K$ is the associated face ring or Stanley-Reisner algebra. Reisner respectively Stanley explained in which sense Cohen-Macaulay and Gorenstein properties of the face ring are reflected by geometric and/or combinatoric properties of the simplicial complex. We give a new proof for these result by homotopy theoretic methods and constructions. Our approach is based on ideas used very successfully in the analysis of the homotopy theory of classifying spaces.

研究の動機と目的

• 古典的代数的組合せ論の結果を再証明すること—Reisner の Cohen-Macaulay 複体の特徴づけおよび Stanley の Gorenstein$^*$ 複体の特徴づけ—を、位相的およびホモトピー論的メソッドを用いて行う。
• 単体的複体 $K$ に対してホモトピーコロイミットを用いて空間 $X_K$ を関連付けることで、Stanley-Reisner 環の新しい位相的フレームワークを確立する。
• 空間 $X_K$ のコホモロジーが、特に次数の集中とソクル構造の観点から、Stanley-Reisner 環の代数的性質を符号化することを示す。
• Gorenstein$^*$ 条件のホモトピー論的解釈を提供し、$K$ の最高次コホモロジーと $H^*(X_K;\mathbb{F})$ の構造とを関連付ける。

提案手法

• 単体的複体 $K$ の各面をインデックスとする図式のホモトピーコロイミットとして空間 $c(K)$ を構成し、これにより Stanley-Reisner 環 $\mathbb{F}(K)$ が整数係数コホモロジー環 $H^*(c(K);\mathbb{Z})$ として実現される。
• 空間 $X_K$ を、$n = \dim K + 1$ として、$f: c(K) \to BU(n)$ なる写像のホモトピー・ファイバーとして定義する。この写像のチャーン類は $\mathbb{F}(K)$ の生成子に対応する。
• ファイバーの系列 $X_K \to c(K) \to BU(n)$ に伴うコホモロジーの長完全系列を用いて、$H^*(X_K;\mathbb{F})$ を $\mathbb{F}(K)$ の代数的構造と関連付ける。
• $K$ の次元に関する帰納法を用い、ホモトピー可換図式およびススペンション技術を用いて、面のリンクのコホモロジーを分析する。
• $H^*(X_K;\mathbb{F})$ が偶数次元に集中していることと、$K$ が $\mathbb{F}$ 上で Cohen-Macaulay であることとが同値であることを、コホモロジー環の構造と生成子 $v_i$ の作用を用いて示す。
• $K$ が $\mathbb{F}$ 上で Gorenstein$^*$ であることと、$H^{n-1}(K;\mathbb{F}) \cong \mathbb{F}$ かつ $H^*(X_K;\mathbb{F})$ の最高次元におけるソクルが一様次元であることとが同値であることを、完全系列と星型分割の構造を用いて証明する。

実験結果

リサーチクエスチョン

• RQ1 単体的複体の Cohen-Macaulay 性は、位相的に構成された空間 $X_K$ のコホモロジーを用いて特徴づけられるか？
• RQ2 $X_K$ のホモトピー論的構成（ホモトピー・ファイバーとしての構成）は、Stanley-Reisner 環の代数的性質をどのように反映するか？
• RQ3 $K$ にどのような位相的条件を課すと、$H^*(X_K;\mathbb{F})$ が最高次元で一様次元のソクルを持つようになるか？これは Gorenstein$^*$ 条件に対応する。
• RQ4 $X_K$ のコホモロジーと面のリンクの構造から、Gorenstein$^*$ 性はどの程度回復可能か？
• RQ5 Gorenstein$^*$ 定理のホモトピー論的証明は、局所コホモロジーなどの可換代数的道具を避けて可能か？

主な発見

• 単体的複体 $K$ が体 $\mathbb{F}$ 上で Cohen-Macaulay であることは、コホモロジー環 $H^*(X_K;\mathbb{F})$ が偶数次元に集中していることと同値である。
• ホモトピー・コロイミットとファイバー構成を経て得られる空間 $X_K$ は、生成子 $v_i$ が次数 2 のクラスによる乗法作用をもつことにより、Stanley-Reisner 環 $\mathbb{F}(K)$ をコホモロジーとして実現する。
• Gorenstein$^*$ 複体 $K$ に対しては、最高次コホモロジー $H^{n-1}(K;\mathbb{F})$ が $\mathbb{F}$ に同型であり、$H^*(X_K;\mathbb{F})$ は次数 $n^2 + n$ で一様次元のソクルを持つ。これは最高次元の生成子に対応する。
• 証明により、$K$ が Cohen-Macaulay であれば、少なくとも一つの頂点 $i$ に対して $H^{n-1}(K_i;\mathbb{F}) = 0$ であることが示され、この性質が $H^{n-1}(K) \to H^{n-1}(K_i)$ の写像が自明または同型であることを示すのにも用いられる。
• $H^*(X_K;\mathbb{F}) \to H^*(X_{\operatorname{st}(\{i\})};\mathbb{F})$ は各頂点 $i$ に対して全射であり、$v_i$ による乗法は $H^*(X_{\operatorname{st}(\{i\})};\mathbb{F})$ 上で同型を誘導する。これはソクル構造を分析する上で鍵となる。
• Gorenstein$^*$ 条件は、$H^{n-1}(K;\mathbb{F}) \cong \mathbb{F}$ かつ $H^{n^2+n-2}(X_K;\mathbb{F})$ に $v_i$ による乗法で生成元に写る非ゼロ元が存在する、という条件と同値であり、これによりソクルが一様次元であることが保証される。