[論文レビュー] A generalization of $k$-Cohen-Macaulay complexes

Hassan Haghighi, Rahim Zaare-Nahandi+1 more|ArXiv.org|Dec 21, 2009

Commutative Algebra and Its Applications参考文献 19被引用数 4

ひとこと要約

この論文は、$k$-Cohen-Macaulayおよび$k$-Buchsbaum複体の一般化である$k$-CM$_t$単体複体を導入し、その性質を研究する。複体が$k$-CM$_t$であるための必要十分条件として、非空の面のリンクがすべて$k$-CM$_{t-1}$であること、および$(d-1)$次元の$k$-CM$_t$複体の$(d-s-1)$-スケルトンが$(k+s)$-CM$_t$であること、を示し、HibiとMiyazakiの古典的結果を一般化する。

ABSTRACT

For a positive integer $k$ and a non-negative integer $t$ a class of simplicial complexes, to be denoted by $k$-${ m CM}_t$, is introduced. This class generalizes two notions for simplicial complexes: being $k$-Cohen-Macaulay and $k$-Buchsbaum. In analogy with the Cohen-Macaulay and Buchsbaum complexes, we give some characterizations of ${ m CM}_t(=$1-${ m CM}_t)$ complexes, in terms of vanishing of some homologies of its links and, in terms of vanishing of some relative singular homologies of the geometric realization of the complex and its punctured space. We show that a complex is $k$-${ m CM}_t$ if and only if the links of its nonempty faces are $k$-${ m CM}_{t-1}$. We prove that for an integer $s\le d$, the $(d-s-1)$-skeleton of a $(d-1)$-dimensional $k$-${ m CM}_t$ complex is $(k+s)$-${ m CM}_t$. This result generalizes Hibi's result for Cohen-Macaulay complexes and Miyazaki's result for Buchsbaum complexes.

研究の動機と目的

• 新しい単体複体のクラス、$k$-CM$_t$を導入し、形式化すること。これは、$k$-Cohen-Macaulayおよび$k$-Buchsbaum複体の両方を一般化する。
• $k$-CM$_t$複体を、リンクのホモロジーの消失条件および幾何的実現の相対特異ホモロジーによる特徴づけを行うこと。
• 再帰的リンク条件を確立すること：複体が$k$-CM$_t$であることと、すべての非空の面のリンクが$k$-CM$_{t-1}$であることとは同値である。
• HibiとMiyazakiの古典的結果を一般化すること。$(d-1)$次元の$k$-CM$_t$複体の$(d-s-1)$-スケルトンが$(k+s)$-CM$_t$であることの証明を行う。

提案手法

• $k$-CM$_t$複体を、サイズが$t$以上の面のリンクがすべて$k$-Cohen-Macaulayであることとして定義する。
• ホモロジー的基準を用いる：複体が$k$-CM$_t$であるとは、$\#\sigma \geq t$ かつ $i < d - \#\sigma - 1$ のとき、$\tilde{H}_i(\text{lk}_\Delta(\sigma); K)$ が消えることである。
• 幾何的実現 $|\Delta|$ とその一点除去空間 $|\Delta| \setminus \{p\}$ に対して相対特異ホモロジーを適用し、$p \notin |\Delta_{t-2}|$ かつ $i < d-1$ のとき、そのホモロジー群が消えることを示す。
• 帰納法とリンク分解を用いて、$\Delta$ が $k$-CM$_t$ で、$\sigma_1, \dots, \sigma_\ell$ が互いに素な面であり、各 $\text{lk}_\Delta(\sigma_i)$ が $k$-CM$_{t-1}$ であるとき、部分複体 $\Delta_1 = \{\tau \in \Delta \mid \tau \not\supseteq \sigma_i \text{ for all } i\}$ が $k$-CM$_t$ であることを証明する。
• $s$ を変数とする帰納法を用い、リンク条件と前記結果を応用することで、$(d-1)$次元の$k$-CM$_t$複体の$(d-s-1)$-スケルトンが$(k+s)$-CM$_t$であることを示す。
• 既知のCohen-MacaulayおよびBuchsbaum複体に関する結果を特殊ケースとして用い、一般化の妥当性を裏付ける。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、$k$-Cohen-Macaulayおよび$k$-Buchsbaum単体複体の概念を、一つの一般化に統合できるか？
• RQ2 $k$-CM$_t$複体を特徴づけるために、リンクや幾何的実現の相対ホモロジーにどのようなホモロジー的条件が必要か？
• RQ3 $k$-CM$_t$性質は再帰的リンク条件を満たすか？すなわち、$\Delta$ が $k$-CM$_t$ であることと、すべての非空の面リンクが $k$-CM$_{t-1}$ であることは同値か？
• RQ4 Cohen-MacaulayおよびBuchsbaum複体に関する古典的スケルトン結果は、$k$-CM$_t$の枠組みに一般化可能か？
• RQ5 $k$-CM$_t$複体 $\Delta$ に対して、$\Delta_1 = \{\tau \in \Delta \mid \tau \not\supseteq \sigma_i \text{ for all } i\}$ が $k$-CM$_t$ となる条件は何か？

主な発見

• 単体複体 $\Delta$ が $k$-CM$_t$ であることと、すべての非空の面 $\sigma \in \Delta$ に対してリンク $\text{lk}_\Delta(\sigma)$ が $k$-CM$_{t-1}$ であることとは同値であり、再帰的特徴づけが得られる。
• 純粋な$(d-1)$次元単体複体 $\Delta$ に対して、以下の3条件は同値である：(i) $\Delta$ は $k$-CM$_t$ である。 (ii) すべての $\sigma \in \Delta$ で $\#\sigma \geq t$ かつ $i < d - \#\sigma - 1$ のとき、$\tilde{H}_i(\text{lk}_\Delta(\sigma); K) = 0$ である。 (iii) すべての $p \in |\Delta| \setminus |\Delta_{t-2}|$ と $i < d - 1$ に対して、$H_i(|\Delta|, |\Delta| \setminus \{p\}; K) = 0$ である。
• $\Delta$ が次元 $d-1$ の $k$-CM$_t$ 複体であるとき、任意の $s \leq d$ に対してその $(d-s-1)$-スケルトンは $(k+s)$-CM$_t$ である。これはHibiとMiyazakiの結果を一般化する。
• $\Delta$ が $k$-CM$_t$ で、$\sigma_i$ が互いに素な面であり、各 $\text{lk}_\Delta(\sigma_i)$ が $k$-CM$_{t-1}$ であるとき、部分複体 $\Delta_1 = \{\tau \in \Delta \mid \tau \not\supseteq \sigma_i \text{ for all } i\}$ は $k$-CM$_t$ である。ただし、$\dim \Delta_1 < \dim \Delta$ であることが条件となる。
• $k$-CM$_t$ のクラスは、$k=1$, $t=0$ のときCohen-Macaulay複体、$k=1$, $t=1$ のときBuchsbaum複体を特殊ケースとして含み、それらの構造的性質を一般化する。
• TeraiとHibiの定理（単体$(d-1)$-球の1スケルトンは$d$-連結）およびHibiの結果（Cohen-Macaulay複体の$(d-2)$-スケルトンは2-Cohen-Macaulay）が、$k$-CM$_t$の枠組みに一般化される。