[논문 리뷰] Microlocal condition for non-displaceablility

Dmitry Tamarkin|ArXiv.org|2008. 09. 09.

Fractional Differential Equations Solutions참고 문헌 1인용 수 46

한 줄 요약

이 논문은 푸아송 호몰로지에 의존하지 않고 코탄제인트 번들의 컴팩트 부분집합의 비이동 가능성에 대한 새로운 미로로컬 층 이론적 조건을 제안한다. 이 조건은 가시카와-샤피라의 층에 대한 미로로컬 이론을 활용하며, 주로 실수 프로젝티브 공간과 복소 프로젝티브 공간 내의 클리포드 토러스가 해밀턴 심플렉틱 동형사상 하에서 상호 비이동 가능하다는 것을 증명한다. 이 결과는 $T^*\mathrm{SU}(N)$로의 라그랑주 대응과 새로운 기준을 통해 도출된다.

ABSTRACT

We formulate a sufficient condition for non-displaceability (by Hamiltonian symplectomorphisms which are identity outside of a compact) of a pair of subsets in a cotangent bundle. This condition is based on micro-local analysis of sheaves on manifolds by Kashiwara-Schapira. This condition is used to prove that the real projective space and the Clifford torus inside the complex projective space are mutually non-displaceable

연구 동기 및 목표

• 코탄제인트 번들의 컴팩트 부분집합의 비이동 가능성에 대한 새로운 충분조건을 미로로컬 층 이론을 통해 개발하기.
• 푸아송 호몰로지에 의존하지 않는 심플렉틱 위상수학에서의 비이동 가능성 증명 방법을 제공하기.
• $\mathbb{RP}^N$과 $\mathbb{CP}^N$ 내의 클리포드 토러스의 비이동 가능성에 대해 이 새로운 기준을 사용하여 증명하기.
• $T^*\mathrm{SU}(N)$로의 라그랑주 대응을 통해 미로로컬 층 불변량과 심플렉틱 불변량을 연결하기.

제안 방법

• 다른 1-형식들 중 $\partial_t$-성분이 음이 아닌 집합인 $\Omega_{\leq 0}$에 대해, $X \times \mathbb{R}$ 위의 층의 도함수 범주를 몫으로 취해 범주 $\mathcal{D}(X)$를 정의한다.
• 객체 $F \in \mathcal{D}(X)$의 미로로컬 지지 $\mathrm{SS}_{\mathcal{D}}(F)$를 $\Omega_{>0}$, 즉 $\partial_t$-성분이 양수인 1-형식들의 집합과의 교차로 정의한다.
• 부분집합 $A \subset T^*X$에 대해, $\mathcal{D}_A(X)$를 $\mathcal{D}(X)$의 전체 부분범주로, 그 객체들의 미로로컬 지지가 $\mathrm{Cone}(A) \subset \Omega_{>0}$ 안에 있을 때로 정의한다.
• $c > 0$에 대해, $\mathbb{R}$-요소에서의 이동에 의해 유도되는, $\mathcal{D}_A(X)$ 위에서의 자연 변환 $\tau_c: \mathrm{id} \to T_{c*}$를 구성한다.
• 비이동 가능성 조건을 다음과 같이 제시한다: 모든 $c \geq 0$에 대해 유도된 사상 $R\hom(F_A, F_B) \to R\hom(F_A, T_{c*}F_B)$가 영이 아니면, $A$와 $B$는 비이동 가능하다.
• $T^*\mathrm{SU}(N)$과 $\mathbb{CP}^N \times (\mathbb{CP}^N)^{\mathrm{opp}}$ 사이의 라그랑주 대응을 사용하여, $\mathbb{CP}^N$ 내의 비이동 가능성 문제를 $T^*\mathrm{SU}(N)$의 코탄제인트 번들의 설정으로 환원한다.

실험 결과

연구 질문

• RQ1 심플렉틱 다양체 내의 부분집합의 비이동 가능성은 푸아송 호몰로지에 의존하지 않고 미로로컬 층 이론을 통해 결정할 수 있는가?
• RQ2 코탄제인트 번들 내에서 두 컴팩트 부분집합의 비이동 가능성 보장에 대한 정확한 미로로컬 조건은 무엇인가?
• RQ3 $\mathbb{RP}^N$과 $\mathbb{CP}^N$ 내의 클리포드 토러스의 비이동 가능성은 어떻게 층 이론적 방법으로 증명할 수 있는가?
• RQ4 $H(F_A, F_B)$의 노비코프 모듈러스의 구조가 푸아송 코호몰로지와 어떻게 관련되는가?

주요 결과

• 논문은 모든 $c \geq 0$에 대해 $R\hom(F_A, F_B) \to R\hom(F_A, T_{c*}F_B)$ 사상이 영이 아니면 $T^*X$ 내에서 비이동 가능성에 대한 충분조건을 확립한다.
• $\mathbb{RP}^N$과 $\mathbb{CP}^N$ 내의 클리포드 토러스 $\mathbb{T}^N$은 해밀턴 심플렉틱 동형사상 하에서 상호 비이동 가능하다.
• 비이동 가능성 결과는 $T^*\mathrm{SU}(N)$로의 라그랑주 대응을 통해 증명되며, 문제를 코탄제인트 번들 설정으로 환원한다.
• 노비코프 링은 $H(F_A, F_B)$ 모듈러스에 작용하며, 이는 불변량의 비 torsion 부분을 캡처하므로 푸아송 코호몰로지와의 연결을 시사한다.
• 미로로컬 조건은 푸아송 이론과 독립적으로 구성되며, 범주 $\mathcal{D}(X)$와 $\Omega_{>0}$ 내의 미로로컬 지지에 의존한다.
• 이동 함수자 $T_{c*}$와 자연 변환 $\tau_c$를 사용하여 $\mathbb{R}_{\geq 0}$의 작용을 호성분에 정의함으로써, 노비코프 유형의 모듈러스 구조를 이끌어낸다.