[논문 리뷰] Polyhedral Representation of Discrete Morse Functions on Regular CW Complexes and Posets

Ethan D. Bloch|arXiv (Cornell University)|2010. 08. 22.

Topological and Geometric Data Analysis참고 문헌 6인용 수 3

한 줄 요약

이 논문은 유한한 정규 CW 복합체 위의 이산 모스 함수와 유클리드 공간에 통합된 바르센터릭 분할 위의 다면체 모스 함수 사이의 직접적 대응 관계를 수립한다. 적절한 유클리드 공간 내 통합 조건 하에서, 포르만의 이산-비임계 세포는 반도프의 다면체-비임계 정점과 정확히 일치하며, 일반적인 직선으로의 투사에 의해 임계성이 유지됨을 증명한다.

ABSTRACT

It is proved that every discrete Morse function in the sense of Forman on a finite regular CW complex can be represented by a polyhedral Morse function in the sense of Banchoff on an appropriate embedding in Euclidean space of the barycentric subdivision of the CW complex; such a representation preserves critical points. The proof is stated in terms of discrete Morse functions on a class of posets that is slightly broader than the class of face posets of finite regular CW complexes.

연구 동기 및 목표

• 포르만의 이산 모스 이론과 반도프의 다면체 모스 이론 사이의 개념적 격차를 메우기 위해 유한한 정규 CW 복합체 위에서의 이론을 연결한다.
• 두 이론 모두 널리 인용되지만 서로 다소 다를 것처럼 보이는 모스 이론 프레임워크 간의 엄밀한 연결 고리가 부족한 문제를 해결한다.
• 포르만의 이론에서의 비임계 세포가 반도프의 이론에서의 비임계 정점으로 기하학적으로 실현될 수 있음을 보여준다.
• 정규 CW 복합체의 바르센터릭 분할이 선형 투사 하에서 세포의 비임계성과 임계성을 유지하는 표준 단순체를 제공함을 확립한다.
• 임의의 이산 모스 함수에 대해, 임계성이 일반적인 선형 투사 하에서 유지되는 고차원 유클리드 공간에의 임베딩이 존재함을 보여준다.

제안 방법

• 유한한 정규 CW 복합체의 바르센터릭 분할을 사용하여 세포를 단순체의 정점으로 변환한다.
• x-축을 따라 이산 모스 함수 값이 유지되도록, 결과 단순체를 유클리드 공간에 임베딩하는 맵을 사용한다.
• 투사가 최대가 되는 정점을 포함하는 단순체에 대해 (-1)^dim(s)의 부호를 기반으로 반도프의 정점 지수 공식을 적용한다.
• CW 복합체의 면 순서집합의 순서론적 성질을 활용하여 이산 모스 함수의 비임계 조건과 다면체 지수를 연결한다.
• 2-넓은 순서집합의 경우, 이산 모스 조건은 각 세포의 유일한 직전 원소 또는 직후 원소가 값 ≥ 또는 ≤ 세포의 값임을 의미함을 이용한다.
• 다면체 지수가 비영이면(즉, 정점이 다면체-비임계이면) 해당 세포가 이산-비임계임과 정확히 일치하며, 이 경우 |a(φ(b), ξ)| = 1이며 부호는 세포의 랭크에 의해 결정된다.

실험 결과

연구 질문

• RQ1 포르만의 이산 모스 함수가 유한한 정규 CW 복합체 위에서 반도프의 다면체 모스 이론에 의해 기하학적으로 실현될 수 있는가?
• RQ2 정규 CW 복합체의 바르센터릭 분할이 임의의 선형 투사 하에서 비임계 세포가 비임계 정점과 일치하도록 하는 표준 임베딩이 존재하는가?
• RQ3 이산 모스 함수에서의 비임계성 조건이 해당 바르센터릭 중심에서 반도프의 지수 값이 0이 아님과 정확히 일치하는가?
• RQ4 이산 모스 함수의 비임계 조건이 순서집합의 구조와 바르센터릭 분할에서 유도된 순서에 따라 순수하게 기술될 수 있는가?
• RQ5 면 순서집합의 순서론적 성질과 반도프의 프레임워크에서의 위상적 불변량(지수) 사이의 정확한 관계는 무엇인가?

주요 결과

• 유한한 정규 CW 복합체 위의 모든 이산 모스 함수는 바르센터릭 분할의 유클리드 공간에의 임베딩을 통해 다면체 실현이 가능하다.
• 임의의 충분히 큰 차원 m에 대해, 바르센터릭 분할을 R^m에 통합하는 임베딩이 존재하며, 이 경우 이산 모스 함수의 비임계 세포는 정확히 반도프 지수가 비영인 정점과 대응된다.
• 다면체 지수 a(φ(b), ξ)가 비영이면, 해당 세포 b는 이산-비임계이며, 이 경우 |a(φ(b), ξ)| = 1이며, 부호는 세포의 랭크에 의해 결정된다.
• 세포가 이산-일반적일 경우, 다면체 지수는 0이며, 이는 유일한 직전 또는 직후 원소가 값 ≥ 또는 ≤ 세포의 값임을 의미한다.
• 이 구성은 면 순서집합의 순서론적 구조와 2-넓은 성질에 기반하여, 지수 계산이 이산 모스 함수의 국소적 행동에만 의존하도록 보장한다.
• 적절한 회전과 이동을 통해 임베딩을 변형한 후, 임의의 단위 벡터 ξ ∈ S^{m-1}에 대해 결과는 성립하며, 이는 투사의 일반성 보장을 위해 필수적이다.