[논문 리뷰] Contact Homology, Capacity and Non-Squeezing in R^2n x S^1 via Generating Functions

Sheila Sandon|arXiv (Cornell University)|2009. 01. 20.

Geometric and Algebraic Topology참고 문헌 32인용 수 23

한 줄 요약

이 논문은 ℝ²ⁿ×S¹에서 접촉 homology에 대한 생성 함수 접근법을 수립하며, Viterbo의 심플렉틱 용량 구성법을 접촉 설정으로 확장한다. 생성 함수를 통한 호모로지 군의 함자성과 단조성에 기반하여, 일부 영역이 더 작은 영역에 컴팩트 지지를 가진 접촉 임베딩이 불가능함을 보여, Eliashberg-Kim-Polterovich의 비압착 정리에 대한 새로운 증명을 제공한다.

ABSTRACT

Starting from the work of Bhupal, we extend to the contact case the Viterbo capacity and Traynor's construction of symplectic homology. As an application we get a new proof of the Non-Squeezing Theorem of Eliashberg, Kim and Polterovich.

연구 동기 및 목표

• 생성 함수를 사용하여 Viterbo의 심플렉틱 용량과 Traynor의 심플렉틱 호모로지 구성법을 접촉 경우로 확장한다.
• 홀로모르픽 곡선에 의존하지 않고, ℝ²ⁿ×S¹에서 Eliashberg-Kim-Polterovich의 비압착 정리에 대한 대체 증명을 제공한다.
• 생성 함수를 통한 방법으로 ℝ²ⁿ×S¹의 영역에 대한 접촉 호모로지 군을 정의하고, 그 불변성과 단조성 성질을 규명한다.
• 일부 영역의 접촉 압축이 생성 함수로부터 유도된 위상수학적 불변량에 의해 차단됨을 보여준다.

제안 방법

• 비유계로 정렬된 생성 함수의 순서열을 사용하여 ℝ²ⁿ×S¹의 영역 $ \tilde{\mathcal{U}} \subset \mathbb{R}^{2n} \times S^1 $ 에 대해 접촉 호모로지 군 $ G_*^{(a,b]}(\tilde{\mathcal{U}}) $ 을 정의한다.
• 접촉 불변성 확립: 항등사상에 이sov한 접촉형태의 변환은 호모로지 군에 동형사를 유도한다.
• 단조성 증명: 영역의 포함 관계는 호모로지 군의 순서를 반전시키며, 접촉형태의 변환 작용과 호환된다.
• 등장관계 $ G_*^{(a,b]}(\mathcal{U} \times S^1) \cong G_*^{(a,b]}(\mathcal{U}) \otimes H_*(S^1) $ 를 사용하여 심플렉틱과 접촉 호모로지를 연결한다.
• 함자성과 단조성을 적용하여, 매끄러운 범주에서는 가능하나 접촉 범주에서는 불가능한 접촉 임베딩을 차단한다.
• 생성 함수의 구조를 활용하여 Viterbo의 심플렉틱 용량과 유사한 접촉 용량을 정의한다.

실험 결과

연구 질문

• RQ1 홀로모르픽 곡선 기법을 대체하여, 생성 함수를 사용하여 ℝ²ⁿ×S¹에서의 비압착 현상이 증명될 수 있는가?
• RQ2 ℝ²ⁿ×S¹의 영역에 대한 접촉 호모로지 군의 구조는 어떻게 되며, 포함과 접촉형태의 변환에 대해 어떻게 행동하는가?
• RQ3 생성 함수를 사용하여 Viterbo의 심플렉틱 용량 구성법을 접촉 설정으로 어떻게 확장할 수 있는가?
• RQ4 정수 $ k $ 에 대해 $ R_2 \leq k \leq R_1 $ 일 때 접촉 압축에 어떤 장애물이 발생하며, 이는 호모로지 불변량으로 어떻게 기록되는가?
• RQ5 생성 함수 기반의 접촉 용량이 ℝ²ⁿ×S¹에서 비압착 현상을 탐지할 수 있는가? 이는 ℝ²ⁿ에서의 심플렉틱 용량과 유사한가?

주요 결과

• 접촉 호모로지 군 $ G_*^{(a,b]}(\mathcal{U} \times S^1) $ 은 $ G_*^{(a,b]}(\mathcal{U}) \otimes H_*(S^1) $ 와 동형이며, 심플렉틱과 접촉 호모로지를 연결한다.
• 항등사상에 이sov한 접촉형태의 변환은 접촉 호모로지 군에 동형사를 유도하여, 접촉 이sov의 불변성을 확립한다.
• 영역의 포함 관계는 호모로지 군의 순서를 반전시키며, 접촉형태의 변환과 함자적으로 호환된다.
• 비압착 정리가 성립한다: $ R_2 \leq k \leq R_1 $ 이고 정수 $ k $ 일 때, $ \widehat{B(R_1)} $ 는 컴팩트 지지를 가진 접촉 임베딩으로 $ \widehat{B(R_2)} $ 에 들어갈 수 없다. 이는 호모로지 장애로 입증된다.
• 이 방법은 Eliashberg-Kim-Polterovich 비압착 정리를 홀로모르픽 곡선 기법 없이 생성 함수 기반으로 증명한다.
• 이 방법은 생성 함수를 통해 Viterbo의 심플렉틱 용량을 접촉 위상수학으로 확장하며, 접촉 용량 불변량을 제공한다.