[논문 리뷰] Composition of simplicial complexes, polytopes and multigraded Betti numbers

Anton Ayzenberg|arXiv (Cornell University)|2013. 01. 18.

Advanced Combinatorial Mathematics참고 문헌 7인용 수 10

한 줄 요약

이 논문은 단체 복합체 위에 작용하는 구성 연산을 도입하며, 반복적 단체 와이드와 다면체 합성의 일반화이자, 생성 함수를 이용한 구성 복합체의 다중계급 Betti 수에 대한 공식을 수립한다. 주요 기여는 입력 복합체에 대한 닫힌 형태의 표현을 통해 이러한 Betti 수를 제공하는 것으로, 신경-복합체와 일반화된 다면체의 $h$-다항식에의 응용을 수반한다.

ABSTRACT

For a simplicial complex K on m vertices and simplicial complexes K1,...,Km a composed simplicial complex K(K1,...,Km) is introduced. This construction generalizes an iterated simplicial wedge construction studied by A. Bahri, M. Bendersky, F. R. Cohen and S. Gitler and allows to describe the combinatorics of generalized joins of polytopes P(P1,...,Pm) defined by G. Agnarsson. The composition defines a structure of an operad on a set of finite simplicial complexes. We prove the following: (1) a composed complex K(K1,...,Km) is a simplicial sphere iff K is a simplicial sphere and Ki are the boundaries of simplices; (2) a class of spherical nerve-complexes is closed under the operation of composition (3) finally, we express multigraded Betti numbers of K(K1,...,Km) in terms of multigraded Betti numbers of K, K1,...,Km using a composition of generating functions.

연구 동기 및 목표

• 단체 복합체 위에 반복적 단체 와이드와 다면체 합성의 일반화인 새로운 구성 연산을 정의하는 것.
• 입력 복합체의 일반화된 합성과 구성 복합체 사이의 호모토피 동치를 확립하는 것.
• 입력 복합체의 Betti 수를 생성 함수를 통해 구성 복합체의 다중계급 Betti 수로 표현하는 것.
• 구성 복합체가 단체 구 또는 구형 뉴런-복합체가 되는 조건을 특성화하는 것.
• 구성 복합체의 $h$-다항식과 $q$-다항식에 대한 공식을 유도하며, Betti 수와 Stanley–Reisner 환과의 연관성을 연결하는 것.

제안 방법

• 구성 단체 복합체 $K(K_1,\ldots,K_m)$를 조합론적 방식과 다면체 합성 구조를 통해 정의한다.
• 호모토피 동치를 통해 $K(K_1,\ldots,K_m) \simeq K * K_1 * \cdots * K_m$임을 증명한다.
• 생성 함수를 사용하여 구성 복합체의 다중계급 Betti 수를 입력 복합체의 생성 함수의 곱으로 표현한다.
• 구성 복합체의 $q$-다항식과 입력 복합체의 $q$-다항식의 조합 간의 관계를 확립한다.
• 특수한 경우, 예를 들어 $\partial\Delta_{[l]}$과 가짜 정점 복합체를 적용하여 기존 결과를 재확인한다.
• 이중계급 Betti 수와 $h$-다항식 간의 관계를 활용하여 $h_{lK}(t)$를 $h_K(t)$로 표현하는 공식을 도출한다.

실험 결과

연구 질문

• RQ1 구성 단체 복합체 $K(K_1,\ldots,K_m)$가 언제 단체 구가 되는가?
• RQ2 구형 뉴런-복합체의 집합은 구성 연산에 대해 닫혀 있는가?
• RQ3 구성 복합체 $K(K_1,\ldots,K_m)$의 다중계급 Betti 수는 $K, K_1, \ldots, K_m$의 것들로부터 어떻게 계산할 수 있는가?
• RQ4 구성 복합체의 $q$-다항식과 그 구성 요소들의 $q$-다항식 간의 관계는 무엇인가?
• RQ5 일반화된 다면체 $P(P_1,\ldots,P_m)$의 $h$-다항식은 $P, P_1, \ldots, P_m$의 $h$-다항식과 어떻게 관련이 있는가?

주요 결과

• 구성 복합체 $K(K_1,\ldots,K_m)$가 단체 구일 조건은 $K$가 단체 구이고 각 $K_i$가 단체의 경계일 때이다.
• 단체 구의 집합은 아닐지라도, 구형 뉴런-복합체의 집합은 구성 연산에 대해 닫혀 있다.
• 구성 복합체 $K(K_1,\ldots,K_m)$의 다중계급 Betti 수는 입력 복합체의 생성 함수의 곱으로 주어진다: $\tilde{b}_{K(K_1,\ldots,K_m)}(s,t) = \tilde{b}_K(s^{-1}, s\tilde{b}_{K_1}(s,t), \ldots, s\tilde{b}_{K_m}(s,t))$.
• $\partial\Delta_{[m]}(K_1,\ldots,K_m)$의 경우, $q$-다항식은 $q_{\partial\Delta_{[m]}(K_1,\ldots,K_m)}(t) = q_{K_1}(t) \cdots q_{K_m}(t)$를 만족한다.
• 임의의 비어 있지 않은 복합체 $K$와 $L$에 대해 반복적 구성의 $q$-다항식은 $q_{K(L,\ldots,L)}(t) = q_K(q_L(t))$를 만족한다.
• $l$중 일반화된 다면체 $lK = K(l,\ldots,l)$의 $h$-다항식은 $h_{lK}(t) = (1 + t + \cdots + t^{l-1})^{m-n} h_K(t^l)$를 만족한다.