[논문 리뷰] Heavy subsets and non-contractible trajectories

Morimichi Kawasaki|arXiv (Cornell University)|2016. 06. 06.

Geometric and Algebraic Topology참고 문헌 20인용 수 3

한 줄 요약

이 논문은 기존에 비순환 경로에 의존하는 대신, 수축 가능한 경로에 기반한 오-슐로스 스펙트럴 불리안 이론에서 유래한 오-슐로스 스펙트럴 불리안을 사용하여 비라-폴터비치-살라모프의 상대 심플렉틱 용량을 추정하는 새로운 접근법을 제안한다. 닫힌 심플렉틱 다양체에서 $n$-안정적으로 비이동 가능한 부분집합 $X$에 대해, 용량 $C(M,X,R;e)$가 $\sum_{i=1}^n R_i \cdot |e_i|$ 와 일치함을 증명하며, 안정적인 비이동 가능성과 용량의 유한성에 관한 추측을 지지한다.

ABSTRACT

Entov and Polterovich defined heaviness for closed subsets of a symplectic manifold by using the Hamiltonian Floer theory on contractible trajectories. Heavy subsets are known to be non-displaceable. In the present paper, we define a relative symplectic capacity $C(M,X,R;e)$ for a symplectic manifold $(M,ω)$ and its subset $X$ which measures the existence of non-contractible trajectories of Hamiltonian isotopies on the product with annulus. We prove that $C(M,X,R;e)$ is finite if $(M,ω)$ is monotone and $X$ is a heavy subset. We also prove that $C(M,X,R;e)$ is infinite if $X$ is a displaceable compact subset.

연구 동기 및 목표

• 비라-폴터비치-살라모프의 상대 심플렉틱 용량을 기존에 비순환 경로가 아닌, 수축 가능한 해밀턴 푸아르 이론 경로에서 유도된 스펙트럴 불리안을 사용하여 재추정한다.
• 특히 안정적인 비이동 가능성의 맥락에서 비이동 가능한 부분집합에 대해 비라-폴터비치-살라모프의 용량이 유한한지 조사한다.
• 논문의 추측 1.3을 지지한다. 이 추측은 $n$-안정적으로 비이동 가능한 컴acts 부분집합 $X$에 대해 $C(M,X,R;e) = \sum R_i |e_i|$ 라고 주장한다.
• 시간에 의존하지 않는 해밀턴 흐름의 불변 측도를 기반으로 하는 새로운 용량 $C^P$를 정의하고 분석하며, $C(M,X,R;e)$의 하한을 제공한다.

제안 방법

• 해밀턴 푸아르 homology에서 유도된 오-슐로스 스펙트럴 불리안을 사용하여, 수축 가능한 경로에 기반한 비라-폴터비치-살라모프 용량을 추정한다.
• 심플렉틱 형식 $\operatorname{pr}_1^*\omega + \operatorname{pr}_2^*\omega_0$ 를 가진 $M \times I_R^n \times T^n$ 에서 정의된 상대 용량 $C(M,X,R;e)$ 를 도입한다. 여기서 $X$ 는 닫힌 심플렉틱 다양체 $M$ 의 컴팩트 부분집합이다.
• 수축 가능한 경로가 아닌, $X \times T^n$ 이 $M \times T^*T^n$ 에서 비이동 가능한 경우를 만족하는 부분집합을 $n$-안정적으로 비이동 가능한 부분집합으로 정의하며, 이는 안정적인 이동 가능성의 개념을 일반화한다.
• 주어진 코homology 클래스와 일치하는 플럭스를 갖는 $M \times T_{2R}^n \times T^n$ 상의 심플렉틱 이sovotopy $\{\psi^t\}$ 를 구성함으로써, 정리 9.4의 적용이 가능해진다.
• 닫힌 1-form과 해밀턴 흐름의 불변 측도를 사용하여 용량 $C^P$ 를 정의하며, $C^P \leq C$ 를 만족한다. 동일한 조건 하에서 $C^P = \sum R_i |e_i|$ 를 증명한다.
• 미분이 제어된 캐시 함수 $\rho$ 를 $I_R^n$ 에 정의하여 해밀턴 함수 $H(x,p,q) = \rho(p)$ 를 구성함으로써, $\int \lambda(X_H) \, d\mu \leq \lambda((0_M,e))$ 를 확보한다.

실험 결과

연구 질문

• RQ1 수축 가능한 경로에서 유도된 스펙트럴 불리안을 사용하여, 기존에 비순환 경로에 의존하는 비라-폴터비치-살라모프 용량을 추정할 수 있는가?
• RQ2 $n$-안정적으로 비이동 가능한 부분집합 $X$ 에 대해 용량 $C(M,X,R;e)$ 는 유한한가?
• RQ3 $n$-안정적으로 비이동 가능한 $X$ 에 대해 $C(M,X,R;e)$ 가 추측한 바와 같이 $\sum_{i=1}^n R_i \cdot |e_i|$ 와 일치하는가?
• RQ4 불변 측도를 기반으로 한 새로운 용량 $C^P$ 는 $C(M,X,R;e)$ 의 하한을 제공할 수 있으며, 이는 $\sum R_i |e_i|$ 와 정확히 일치하는가?
• RQ5 안정적인 비이동 가능성은 용량의 유한성과 정확성 보장에 어떤 역할을 하는가?

주요 결과

• 논문은 닫힌 심플렉틱 다양체 $M$ 의 임의의 $n$-안정적으로 비이동 가능한 컴팩트 부분집합 $X$ 에 대해, 용량 $C(M,X,R;e)$ 가 $C(M,X,R;e) = \sum_{i=1}^n R_i \cdot |e_i|$ 를 만족함을 증명한다.
• 해밀턴 흐름의 불변 측도를 기반으로 정의된 용량 $C^P(M,X,R;e)$ 는 동일한 조건 하에서 $C^P(M,X,R;e) = \sum_{i=1}^n R_i \cdot |e_i|$ 를 만족한다.
• 콤팩트 지지 집합을 가지며 $|\partial\rho/\partial p_i| < |e_i|$ 를 만족하는 $\rho$ 를 사용하여 해밀턴 함수 $H(x,p,q) = \rho(p)$ 를 구성함으로써, $\int \lambda(X_H) \, d\mu \leq \lambda((0_M,e))$ 가 성립함을 보장하며, 이는 하한 확보에 핵심적이다.
• 플럭스가 $K\mathbf{l}^*$ 와 일치하는 심플렉틱 이sovotopy $\{\psi^t\}$ 를 사용하여 증명을 진행하며, $K$ 는 $(Ka_1,\dots,Ka_n) \in S_R$ 를 만족하도록 선택되어 정리 9.4 의 적용이 가능해진다.
• 결과는 추측 1.3 을 지지하며, $C(M,X,R;e)$ 가 $n$-안정적으로 비이동 가능한 집합에 대해 유한하고 정확히 $\sum R_i |e_i|$ 와 일치함을 보여준다.
• 용량이 무한대가 되는 예시가 제시되며, 이는 $X$ 가 비이동 가능하더라도 안정적인 비이동성이 없으면 유한성이 보장되지 않음을 시사한다. 즉, 안정적인 비이동성은 유한성 확보에 필수적이다.