[논문 리뷰] The Gromov-Eliashberg theorem by microlocal sheaf theory

Stéphane Guillermou|arXiv (Cornell University)|2013. 11. 01.

Geometric and Algebraic Topology참고 문헌 6인용 수 9

한 줄 요약

이 논문은 미세국소 층 이론을 사용하여 Gromov-Eliashberg 정리의 새로운 증명을 제시하며, 심플렉틱 미분형사의 $C^0$-수렴이 심플렉틱임을 보여준다. 각 심플렉틱 사상의 그래프에 층을 부여하고, 미세국소 지지의 자가수반성질을 활용함으로써, 극한 라그랑주 부분다양체가 공이소트로픽임을 보이고, 따라서 라그랑주임을 추론함으로써 극한 사상의 심플렉틱성을 증명한다.

ABSTRACT

The Gromov-Eliashberg theorem says that the group of symplectomorphisms of a symplectic manifold is C^0-closed in the group of diffeomorphisms. This can be translated into a statement about the Lagrangian submanifolds which are graphs of symplectomorphisms. It is also known that such Lagrangian submanifolds are locally microsupports of sheaves. We explain how we can deduce the Gromov-Eliashberg theorem from the involutivity theorem of Kashiwara and Schapira which says that the microsupport of a sheaf is coisotropic.

연구 동기 및 목표

• 미세국소 층 이론을 사용하여 Gromov-Eliashberg 비틀림 정리의 새로운 증명을 제공하는 것.
• 관련된 층의 미세국소 지지를 분석함으로써 $C^0$-극한이 심플렉틱임을 입증하는 것.
• Kashiwara와 Schapira의 자가수반성정리에 의해 극한 사상의 그래프가 공이소트로픽임을 보이는 것.
• 극한 그래프의 공이소트로픽 조건이 그것이 라그랑주임을 의미함을 보여, 따라서 극한 사상이 심플렉틱임을 유도하는 것.
• 층 이론적 근사와 컷오프 기법을 사용하여 미세국소 지지를 극한 그래프 상의 특정 점들로 국소화하는 것.

제안 방법

• 저자들은 각 심플렉틱 미분형사 $\varphi_n$ 에 대해 $\mathbb{R}^{2n+1}$ 상의 층 $K_n$ 을 부여하며, 그들의 미세국소 지지가 $\varphi_n$ 의 왜곡된 그래프 $\Lambda_{\varphi_n}$ 로 투영됨을 보장한다.
• 직접 합과 곱의 $K_n$ 을 포함하는 특별한 삼각형을 통해 층 $K$ 를 구성함으로써 $\rho_{\mathbb{R}^{2n}}(\dot{\mathrm{SS}}(K)) \subset \Lambda_{\varphi_\infty}$ 가 성립하도록 보장한다.
• Kashiwara와 Schapira의 자가수반성정리를 활용하여, 포함관계가 등호일 경우에만 미세국소 지지의 점들에서 $\Lambda_{\varphi_\infty}$ 가 공이소트로픽임을 유추한다.
• 미세국소 층 이론의 컷오프 결과를 적용하여 $K_n$ 을 수정함으로써, 결과 층 $K$ 의 미세국소 지지가 $\Lambda_{\varphi_\infty}$ 상의 주어진 점 $p$ 를 포함하도록 하여, $p$ 에서 자가수반성정리가 적용되도록 보장한다.
• 반지름 $r$ 이 임의로 작아질 수 있음을 이용하고 $\Lambda_n^1$ 이 $\Lambda_\infty^1$ 으로 수렴함을 이용하여, 원점에서의 공이소트로픽 조건이 성립함을 보이고, 이는 극한이 심플렉틱임을 의미한다.
• 도수 이론과 층 이론적 근사를 사용하여 절댓값이 0이 아닌 단면과 비상수 층을 보장함으로써, 미세국소 지지가 비어 있지 않음을 확보한다.

실험 결과

연구 질문

• RQ1 전통적인 심플렉틱 기하학 대신 미세국소 층 이론을 사용하여 Gromov-Eliashberg 정리를 증명할 수 있는가?
• RQ2 미세국소 지지의 자가수반성질이 심플렉틱 미분형사의 극한의 기하학적 성질에 어떤 제약을 가하는가?
• RQ3 층 이론적 기법을 사용하여 $C^0$-극한에서의 심플렉틱성을 탐지할 수 있는가?
• RQ4 미세국소 지지가 심플렉틱 사상의 그래프로 나타나는 라그랑주 부분다양체를 특징짓는 데 어떤 역할을 하는가?
• RQ5 층 이론에서의 컷오프 및 근사 기법을 어떻게 활용하여 특정 점들에서의 미세국소 지지를 국소화할 수 있는가?

주요 결과

• 미세국소 층 이론적 방법을 통해 심플렉틱 미분형사의 $C^0$-극한이 심플렉틱임을 보였다.
• 극한 사상 $\varphi_\infty$ 의 그래프 $\Lambda_{\varphi_\infty}$ 는 구성된 층 $K$ 의 미세국소 지지의 자가수반성질로 인해 모든 점에서 공이소트로픽임을 보였다.
• 층 $K$ 의 미세국소 지지는 $\rho_{V^2}$ 에 의한 극한 그래프 $\Lambda_{\varphi_\infty}$ 의 역상에 포함되며, 컷오프 기법을 통해 국소적으로 등호가 성립한다.
• 극한 층 $L_\infty$ 의 단면이 비자명함으로써 $\dot{\mathrm{SS}}(L_\infty) \neq \emptyset$ 가 보장되며, 이는 자가수반성정리를 적용하기 위해 필수적이다.
• 임의로 작은 이웃을 선택함으로써 원점에서의 공이소트로픽 조건이 성립함을 보였고, 이는 $\varphi_\infty$ 의 선형화가 심플렉틱임을 증명한다.
• 증명 과정에서 극한 라그랑주 부분다양체가 모든 점에서 공이소트로픽임을 보였으며, $4n$ 차원 코타angent 다각형에서 $2n$ 차원이므로 반드시 라그랑주여야 하며, 따라서 $\varphi_\infty$ 는 심플렉틱하다.