[논문 리뷰] A generalization of $k$-Cohen-Macaulay complexes

Hassan Haghighi, Rahim Zaare-Nahandi외 1명|ArXiv.org|2009. 12. 21.

Commutative Algebra and Its Applications참고 문헌 19인용 수 4

한 줄 요약

이 논문은 $k$-CM$_t$ 단체 복합체를 도입하고 연구한다. 이는 $k$-Cohen-Macaulay 및 $k$-Buchsbaum 복합체의 일반화이다. 복합체가 $k$-CM$_t$임과 그의 비어 있지 않은 면들의 링크(link)가 $k$-CM$_{t-1}$임이 서로 동치임을 증명하며, Hibi와 Miyazaki의 고전 결과를 일반화하여 $(d-1)$차원의 $k$-CM$_t$ 복합체의 $(d-s-1)$-스켈레톤이 $(k+s)$-CM$_t$임을 보인다.

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$-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임을 요구하는 방식으로 정의한다.
• 호몰로지 기준을 사용: 복합체 $\Delta$가 $k$-CM$_t$임은 $\#\sigma \geq t$ 및 $i < d - \#\sigma - 1$일 때, $\tilde{H}_i(\text{lk}_\Delta(\sigma); K)$가 0이 되는 것으로 정의된다.
• 기하적 실현 $|\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_1 = \{\tau \in \Delta \mid \tau \not\supseteq \sigma_i \text{ for all } i\}$가 언제 $k$-CM$_t$가 되는가?

주요 결과

• 모든 비어 있지 않은 면 $\sigma \in \Delta$에 대해 링크 $\text{lk}_\Delta(\sigma)$가 $k$-CM$_{t-1}$이면, 단체 복합체 $\Delta$는 $k$-CM$_t$임이 동치이며, 이는 재귀적 특성화를 제공한다.
• 순수한 $(d-1)$차원 단체 복합체 $\Delta$에 대해 다음 조건들이 동치이다: (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$이다.
• 차원이 $d-1$인 $k$-CM$_t$ 복합체 $\Delta$에 대해, 임의의 $s \leq d$에 대해 $(d-s-1)$-스켈레톤은 $(k+s)$-CM$_t$이다. 이는 Hibi와 Miyazaki의 결과를 일반화한다.
• 만약 $\Delta$가 $k$-CM$_t$ 복합체이고 각 $\text{lk}_\Delta(\sigma_i)$가 $k$-CM$_{t-1}$이며, $\sigma_i$들이 서로소이고 $\dim \Delta_1 < \dim \Delta$이면, 부분복합체 $\Delta_1 = \{\tau \in \Delta \mid \tau \not\supseteq \sigma_i \text{ for all } i\}$는 $k$-CM$_t$이다.
• $k$-CM$_t$ 클래스는 $k=1$, $t=0$일 때 Cohen-Macaulay 복합체와 $k=1$, $t=1$일 때 Buchsbaum 복합체를 특수 케이스로 포함하며, 이들의 구조적 성질을 일반화한다.
• Terai와 Hibi의 정리(단체 $(d-1)$-구면체의 1-스켈레톤이 $d$-연결임)와 Hibi의 결과(정수 $d$에 대해 Cohen-Macaulay 복합체의 $(d-2)$-스켈레톤이 2-Cohen-Macaulay임)를 일반화한다.