[논문 리뷰] Convex Equipartitions via Equivariant Obstruction Theory

Pavle V. M. Blagojević, Günter M. Ziegler|arXiv (Cornell University)|2012. 02. 24.

Advanced Combinatorial Mathematics참고 문헌 32인용 수 4

한 줄 요약

이 논문은 등급이 소수 거듭제곱인 n에 대해 Nandakumar-Ramana Rao 추측을 해결하며, 등급 이론을 사용하여 특정 등급 매핑의 존재하지 않음을 증명한다. 구성 공간 F(ℝᵈ,n)에 대한 정규 세포 복합체 모델을 구축함으로써, 𝔖ₙ-등급 매핑이 S(Wₙ⊕(d−1))로 존재하는 것은 n가 소수 거듭제곱이 아닐 때에만 가능하다는 것을 보여주며, 이는 d차원 볼록체가 소수 거듭제곱인 n개의 동일한 부피와 표면적을 가진 볼록 조각으로 분할될 수 있음을 보장한다.

ABSTRACT

We describe a regular cell complex model for the configuration space F(\R^d,n). Based on this, we use Equivariant Obstruction Theory to prove the prime power case of the conjecture by Nandakumar and Ramana Rao that every polygon can be partitioned into n convex parts of equal area and perimeter.

연구 동기 및 목표

• 다각형을 n개의 동일한 면적과 둘레를 가진 조각으로 나누는 Nandakumar-Ramana Rao 추측을 해결하기 위해.
• 소수 거듭제곱인 n에 대해 F(ℝ²,n)에서 S(Wₙ)로의 𝔖ₙ-등급 매핑의 존재하지 않음을 확립하기 위해.
• F(ℝᵈ,n)에 대한 정규 세포 복합체 모델을 개발하여 𝔖ₙ-등급 강한 변형 수축을 이루기 위해.
• 등급 이론을 적용하여 이러한 매핑이 존재하는 것은 n가 소수 거듭제곱이 아닐 때에만 성립함을 증명하기 위해.
• 등급 코homology를 사용하여 임의의 순서의 순환군으로 일반화된 Borsuk–Ulam 유형 정리를 도출하기 위해.

제안 방법

• 차원 (d−1)(n−1)인 정규 𝔖ₙ-등급 세포 복합체 모델 𝔛(d,n)를 구성하여 F(ℝᵈ,n)로의 강한 변형 수축을 이루도록 한다.
• Fadell–Husseini 지수와 등급 코homology를 사용하여 S(Wₙ⊕(d−1))로의 𝔖ₙ-등급 매핑 존재에 대한 차단 요소를 분석한다.
• 자유 군 작용에 대한 Dold 정리를 적용하여, (d−1)(n−1)-연결인 자유 ℤ/nℤ-공간은 (d−1)(n−1)-차원 자유 ℤ/nℤ-공간으로의 등급 매핑을 가질 수 없음을 보여준다.
• 전이와 Sylow 부분군의 고려를 통해 𝔖ₙ의 p-Sylow 부분군에 대해서도 존재하지 않음을 강화한다.
• n가 소수 거듭제곱일 때, Wₙ → F(ℝᵈ,n) ×_{𝔖ₙ} Wₙ → F(ℝᵈ,n)/𝔖ₙ의 위상 스티펠-유크리 클래스가 비자명하다는 사실을 활용한다.
• Borel–Moore 호모로지와 닫힌 지지 코homology를 사용하여, n = pᵏ일 때 계수 ℤ/pℤ에서의 차단 클래스 H^{M}_{𝔖ₙ}(𝔛(d,n); π_{M−1}(S(Wₙ⊕(d−1))))를 계산한다.

실험 결과

연구 질문

• RQ1 모든 n ≥ 2에 대해 F(ℝ²,n)에서 S(Wₙ)로의 𝔖ₙ-등급 매핑이 존재하는가?
• RQ2 Nandakumar-Ramana Rao 추측이 동일한 면적과 둘레 분할을 가진 n의 값은 무엇인가?
• RQ3 소수 거듭제곱인 n에 대해, 차단 이론을 통해 S(Wₙ⊕(d−1))로의 등급 매핑의 존재하지 않음을 확립할 수 있는가?
• RQ4 세포 복합체 모델 𝔛(d,n)는 F(ℝᵈ,n)의 강한 변형 수축이며 동일한 등급 호모토피 유형을 가지는가?
• RQ5 Borsuk–Ulam 유형 정리는 소수 순서의 순환군에서 임의의 순서의 순환군으로 일반화될 수 있는가?

주요 결과

• 𝔖ₙ-등급 매핑 F(ℝᵈ,n) → S(Wₙ⊕(d−1))가 존재하는 것은 n가 소수 거듭제곱이 아닐 때에만 성립한다.
• n = pᵏ가 소수 거듭제곱일 때, 최상위 등급 코hom로지 그룹 H^{M}_{𝔖ₙ}(𝔛(d,n); π_{M−1}(S(Wₙ⊕(d−1))))는 ℤ/pℤ와 동형이며, 그 외의 경우는 자명하다.
• 세포 복합체 𝔛(d,n)는 정규 𝔖ₙ-등급 (d−1)(n−1)-차원 CW 복합체이며, 정점 수와 면 수가 각각 n!이다.
• 소수 거듭제곱인 n = pᵏ일 때, S(Wₙ⊕(d−1))로의 𝔖ₙ-등급 매핑이 존재하지 않으며, 이는 𝔖ₙ의 p-Sylow 부분군에 대해서도 성립한다.
• 이 결과는 d차원 볼록체가 소수 거듭제곱인 n개의 동일한 부피와 표면적을 가진 볼록 조각으로 분할될 수 있음을 암시한다.
• 일반화된 Borsuk–Ulam 정리가 증명된다: X가 자유인 (d−1)(n−1)-연결 ℤ/nℤ-공간이고 f: X → ℝᵈ가 연속일 경우, 어떤 x와 0이 아닌 a ∈ ℤ/nℤ에 대해 f(x) = f(a·x)이다.