[논문 리뷰] On stellated spheres, shellable balls, lower bounds and a combinatorial criterion for tightness

Bhaskar Bagchi, Basudeb Datta|arXiv (Cornell University)|2011. 02. 04.

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

한 줄 요약

이 논문은 d ≥ 2k인 경우 k-스텔레이티드 d-구면체와 k-스택드 (d+1)-구체 사이의 정준 대응을 정의하고, 이러한 구면체가 유일하게 정의된 k-스택드 (d+1)-구체를 경계로 한다고 증명한다. 주요 기여는 mu-벡터를 통한 삼등분 다면체의 조합적 조건을 제시하여, 2-이웃한 𝒲_k(d)의 원소가 d ≥ 2k+2일 때 타이트함을 띤다는 것을 보이며, 하한 정리의 등호가 정확히 이 클래스에서 성립함을 밝힌다.

ABSTRACT

We introduce the $k$-stellated spheres and compare and contrast them with $k$-stacked spheres. It is shown that for $d \geq 2k$, any $k$-stellated sphere of dimension $d$ bounds a unique and canonically defined $k$-stacked ball. In parallel, any $k$-stacked polytopal sphere of dimension $d\geq 2k$ bounds a unique and canonically defined $k$-stacked ball. We consider the class ${\cal W}_k(d)$ of combinatorial $d$-manifolds with $k$-stellated links. For $d\geq 2k+2$, any member of ${\cal W}_k(d)$ bounds a unique and canonically defined "$k$-stacked" $(d+1)$-manifold. We introduce the mu-vector of simplicial complexes, and show that the mu-vector of any 2-neighbourly simplicial complex dominates its vector of Betti numbers componentwise, and the two vectors are equal precisely when the complex is tight. When $d\geq 2k$, we are able to estimate/compute certain alternating sums of the mu-numbers of any 2-neighbourly member of ${\cal W}_k(d)$. This leads to a lower bound theorem for such triangulated manifolds. As an application, it is shown that any $(k+1)$-neighbourly member of ${\cal W}_k(d)$ is tight, subject only to an extra condition on the $k^{th}$ Betti number in case $d=2k+1$. This result more or less settles a recent conjecture of Effenberger, and it also provides a uniform and conceptual tightness proof for all the known tight triangulated manifolds, with only two exceptions. It is shown that any polytopal upper bound sphere of odd dimension $2k+1$ belongs to the class ${\cal W}_k(2k+1)$, thus generalizing a theorem due to Perles. This shows that the case $d=2k+1$ is indeed exceptional for the tightness theorem.

연구 동기 및 목표

• k-스텔레이티드 및 k-스택드 삼등분 다면체 구면체와 구체를 정의하고, 그들 사이의 정준 대응을 수립한다.
• k-스텔레이티드 연결을 갖는 조합적 d-다양체의 클래스 𝒲_k(d)를 도입하고, 그 성질을 분석한다.
• Betti 수에 대한 성분별 지배를 통해 단순 복합체의 타이트함을 특징짓는 mu-벡터 프레임워크를 개발한다.
• 𝒲_k(d)의 2-이웃한 원소에 대한 하한 정리 증명과 특정 조건 하에서의 타이트함을 확립한다.
• Effenberger의 추측을 해결하고 기존의 타이트 삼등분 다면체 다양체에 대한 통합된 타이트함 기준을 제공한다.

제안 방법

• 지정된 d-구면체에서 인덱스 < k인 bistellar 이동을 통해 얻을 수 있는 구면체를 k-스텔레이티드 구면체로 정의한다.
• 모든 codimension k+1의 면이 경계에 포함된 삼등분 다면체 구체를 k-스택드 구체로 정의하고, 경계 대응을 통해 k-스텔레이티드 구면체와 연관시킨다.
• 단순 복합체의 mu-벡터를 도입하고, 그것이 Betti 벡터를 성분별로 지배함을 증명하며, 등호가 성립하는 것은 복합체가 타이트할 때에 한하여 성립함을 보인다.
• mu-수의 교대 합을 사용하여 d ≥ 2k+2일 때 𝒲_k(d)의 2-이웃한 원소에 대한 하한을 유도한다.
• 기준을 적용하여 d = 2k+1일 때 k-번째 Betti 수에 대한 약간의 조건이 만족되면 (k+1)-이웃한 𝒲_k(d)의 원소가 타이트함을 보인다.
• 차원 2k+1인 다면체 상한 경계 구면체가 𝒲_k(2k+1)에 속함을 증명하며, Perles의 정리를 일반화한다.

실험 결과

연구 질문

• RQ1 d ≥ 2k인 모든 k-스텔레이티드 d-구면체는 유일한 k-스택드 (d+1)-구체를 경계로 하는가?
• RQ2 mu-벡터는 단순 복합체의 타이트함을 감지하는 조합적 기준으로 사용될 수 있는가?
• RQ3 모든 (k+1)-이웃한 𝒲_k(d)의 원소는 타이트한가, 특히 d = 2k+1일 때는?
• RQ4 𝒲_k(d)의 원소들은 삼등분 다면체 다양체에 대한 하한 정리에서 등호를 성립시키는가?
• RQ5 k-스텔레이티드 구면체에 대한 결과를 k-스택드 구면체로 확장할 수 있는가?

주요 결과

• d ≥ 2k일 때, 모든 k-스텔레이티드 d-구면체는 유일하고 정의된 바에 따라 정준적인 k-스택드 (d+1)-구체를 경계로 한다.
• 모든 2-이웃한 단순 복합체의 mu-벡터는 그 Betti 벡터를 성분별로 지배하며, 등호가 성립하는 것은 복합체가 타이트할 때에 한하여 성립한다.
• d ≥ 2k+2일 때, 𝒲_k(d)의 (k+1)-이웃한 원소는 타이트하며, d = 2k+1일 때 k-번째 Betti 수에 대한 약간의 조건이 필요하다.
• 𝒲_k(d) 클래스는 삼등분 다면체 다양체에 대한 하한 정리의 등호 사례를 제공하며, Walkup 및 Kühnel의 결과를 일반화한다.
• 차원 2k+1인 다면체 상한 경계 구면체는 𝒲_k(2k+1)에 속하며, k=1일 때 Perles의 정리를 일반화한다.
• 기존의 알려진 타이트 삼등분 다면체 다양체 중 두 개를 제외한 모든 경우가 새로운 타이트함 기준에 의해 커버되며, 이는 그들의 타이트함에 대한 통일된 증명을 제공한다.