[논문 리뷰] The topology of the space of matrices of Barvinok rank two

Axel Hultman, Jakob Jönsson|ArXiv.org|2009. 02. 19.

Advanced Combinatorial Mathematics참고 문헌 12인용 수 3

한 줄 요약

이 논문은 $ B_{d,n} $, 즉 스케일링과 이동에 대한 동치관계를 고려한 $ d \times n $ 실수 행렬 중 바르비노크 랭크가 2인 행렬들의 공간이 $ (S^{d-2} \times S^{n-2}) / \mathbb{Z}_2 $와 위상동형임을 증명하여 이 공간이 다양체임을 확인하고, 이산 모스 이론을 통해 그 정수 계량 homology를 계산한다. $ d \geq n $ 이면 $ d $ 가 홀수일 때, homology는 $ S^{d-2} \times \mathbb{RP}^{n-2} $와 동형이며, 특정 차수에서 토르션 성분이 발생한다.

ABSTRACT

The Barvinok rank of a $d imes n$ matrix is the minimum number of points in $\mathbb{R}^d$ such that the tropical convex hull of the points contains all columns of the matrix. The concept originated in work by Barvinok and others on the travelling salesman problem. Our object of study is the space of real $d imes n$ matrices of Barvinok rank two. Let $B_{d,n}$ denote this space modulo rescaling and translation. We show that $B_{d,n}$ is a manifold, thereby settling a conjecture due to Develin. In fact, $B_{d,n}$ is homeomorphic to the quotient of the product of spheres $S^{d-2} imes S^{n-2}$ under the involution which sends each point to its antipode simultaneously in both components. In addition, using discrete Morse theory, we compute the integral homology of $B_{d,n}$. Assuming $d \ge n$, for odd $d$ the homology turns out to be isomorphic to that of $S^{d-2} imes \mathbb{RP}^{n-2}$. This is true also for even $d$ up to degree $d-3$, but the two cases differ from degree $d-2$ and up. The homology computation straightforwardly extends to more general complexes of the form $(S^{d-2} imes X)/\mathbb{Z}_2$, where $X$ is a finite cell complex of dimension at most $d-2$ admitting a free $\mathbb{Z}_2$-action.

연구 동기 및 목표

• 데벨린의 추측을 해결한다: $ B_{d,n} $, 즉 스케일링과 이동에 대한 동치관계를 고려한 $ d \times n $ 행렬 중 바르비노크 랭크가 2인 공간이 다양체임을 입증한다.
• 특히 토르션 성분과 자유 부분을 식별하여 $ B_{d,n} $ 의 정수 계량 homology 를 계산한다.
• $ d-2 $ 이상의 차수에서 $ d $ 가 홀수일 때, $ (S^{d-2} \times X)/\mathbb{Z}_2 $ 와 $ S^{d-2} \times (X/\mathbb{Z}_2) $ 사이의 homology 동형을 확립한다. 여기서 $ X $ 는 자유 $ \mathbb{Z}_2 $-작용을 갖는 유한 세포 복합체이며, $ \dim X \leq d-2 $ 이다.
• 특히 고차수에서 $ d $ 가 짝수일 때와 홀수일 때의 homology 차이를 명확히 한다.

제안 방법

• $ B_{d,n} $ 을 바르비노크 랭크가 2인 $ d \times n $ 행렬들의 공간에서 스케일링과 이동에 대한 동치관계를 고려하여 정의하고, 트리들을 이용한 단체 분할을 구성한다.
• $ B_{d,n} $ 이 $ (S^{d-2} \times S^{n-2}) / \mathbb{Z}_2 $ 와 위상동형임을 증명한다. 여기서 $ \mathbb{Z}_2 $-작용은 두 구상 위에서 동시에 반대점 변환을 의미한다.
• 이론적 분석을 위해 이산 모스 이론을 적용하며, 복합체를 $ \hat{\mathsf{U}}^{(0)} $ 과 $ \hat{\mathsf{U}}^{(D)} $ 의 $ \mathbb{Z}_2 $-등변 부분복합체로 분해한다.
• 핵심 구성 요소로는 $ \varphi(w{\bf b}_{0,k}) = \sum_{i=0}^D q^i(w){\bf b}_{i,k-i} $ 라는 사상이 있으며, 이는 분해된 복합체 내에서 경계 사상 간의 관계를 설명한다.
• homology 는 $ H_*(\left(\mathsf{V} \otimes \mathsf{W}\right)^+) $ 를 $ H_*(\mathsf{W}^+) $ 과 $ H_*(\mathsf{W}^-) $ 와 연결하여 계산하며, 이는 $ D $ 의 기수성에 따라 달라진다.
• 최종 homology 계산은 $ \mathsf{W} $ 로서 $ S^{n-2} $ 의 표준적인 半구 세포 분할을 사용하고, 정리 4.12 를 적용하여 토르션 및 자유 부분을 유도한다.

실험 결과

연구 질문

• RQ1 바르비노크 랭크가 2인 행렬들의 공간 $ B_{d,n} $ 는 위상수학적 다양체인가?
• RQ2 $ B_{d,n} $ 의 정수 계량 homology 는 무엇이며, 특히 토르션 성분과 자유 부분은 무엇인가?
• RQ3 $ d $ 가 홀수일 때, $ B_{d,n} $ 의 homology 는 $ S^{d-2} \times \mathbb{RP}^{n-2} $ 와 어떻게 비교되는가?
• RQ4 $ \mathbb{Z}_2 $-복합체 $ X $ 에 대해 $ (S^{d-2} \times X)/\mathbb{Z}_2 $ 가 $ S^{d-2} \times (X/\mathbb{Z}_2) $ 와 같은 homology 를 갖는 조건은 무엇인가?
• RQ5 이산 모스 이론은 $ B_{d,n} $ 의 homology 를 계산하는 데 어떤 역할을 하는가? 그리고 체인 복합체를 어떻게 단순화하는가?

주요 결과

• $ B_{d,n} $ 는 $ (S^{d-2} \times S^{n-2}) / \mathbb{Z}_2 $ 와 위상동형이며, 이는 데벨린의 추측이 참임을 확인한다.
• $ d \geq n $ 이면 $ d $ 가 홀수일 때, $ B_{d,n} $ 의 축소된 정수 계량 homology 는 $ S^{d-2} \times \mathbb{RP}^{n-2} $ 와 동형이다.
• $ d $ 가 짝수일 경우, $ d-2 $ 차수 이상에서 $ B_{d,n} $ 의 homology 는 $ S^{d-2} \times \mathbb{RP}^{n-2} $ 와 다름을 보인다.
• 자유 부분은 다음 조건을 만족하는 차수 $ i $ 에서 $ \mathbb{Z} $ 로 주어진다: $ i+2 = d = n $ 이고 $ i $ 가 홀수이거나, $ i+2 = n \neq d $ 이거나, $ i+2 = d \neq n $ 이거나, $ i = d+n-4 $ 이고 $ i $ 가 짝수이다.
• 토르션 부분은 다음 조건을 만족하는 차수 $ i $ 에서 $ \mathbb{Z}_2 $ 로 주어진다: $ 1 \leq i \leq n-3 $ 이고 $ i $ 가 홀수이거나, $ d-2 \leq i \leq d+n-5 $ 이고 $ i $ 가 짝수이다.
• homology 계산은 $ \dim X \leq d-2 $ 이고 자유 $ \mathbb{Z}_2 $-작용을 갖는 임의의 유한 세포 복합체 $ X $ 에 대해 $ (S^{d-2} \times X)/\mathbb{Z}_2 $ 로 일반화되며, $ d $ 가 홀수일 때 $ S^{d-2} \times (X/\mathbb{Z}_2) $ 와 동형임을 보장한다.