[논문 리뷰] Monotone Lagrangian submanifolds of $\mathbb{C}^n$ and toric topology

Vardan Oganesyan|arXiv (Cornell University)|2018. 12. 12.

Geometric and Algebraic Topology참고 문헌 24인용 수 4

한 줄 요약

이 논문은 $\mathbb{C}^n$ 내의 단조 라그랑주 부분다양체와 팔란(Fano) 델자노 폴리토프 사이의 정확한 대응 관계를 수립하며, 관련 라그랑주 부분다양체가 단조임과 동시에 폴리토프가 팔란임을 증명한다. 이는 단조 라그랑주 부분다양체의 새로운 가닥을 토러스 위의 섬유(bundle)을 통해 구성하며, 섬유가 $S^k \times S^l$ 또는 구의 곱의 연결합과 같은 형태를 띠게 하고, 그들의 최소 마스로프 수를 계산하며, 스무스 이sovopy 유형이 일치하는 동안도 서로 다른 라그랑주 이sovopy 유형이 존재함을 보여준다.

ABSTRACT

Mironov, Panov and Kotelskiy studied Hamiltonian-minimal Lagrangians inside $\mathbb{C}^n$. They associated a closed embedded Lagrangian $L$ to each Delzant polytope $P$. In this paper we develop their ideas and prove that $L$ is monotone if and only if the polytope $P$ is Fano. In some examples, we further compute the minimal Maslov numbers. Namely, let $\mathcal{N} o T^k$ be some fibration over the $k$-dimensional torus with a fiber equal to either $S^k imes S^l$, or $S^k imes S^l imes S^m$, or $\#_5(S^{2p-1} imes S^{n-2p-2})$. We construct monotone Lagrangian embeddings $\mathcal{N} \subset \mathbb{C}^n$ with different minimal Maslov number, and therefore distinct up to Lagrangian isotopy. Moreover, we show that some of our embeddings are smoothly isotopic but not Lagrangian isotopic.

연구 동기 및 목표

• 델자노 폴리토프에 관련된 라그랑주 부분다양체가 $\mathbb{C}^n$ 내에서 언제 단조가 되는지 정확한 조건을 규명하는 것.
• 실수 모멘트-액자 다양체와 토릭 토폴로지 기법을 활용하여 새로운 단조 라그랑주 임베딩의 예를 구성하는 것.
• 이 라그랑주 부분다양체의 최소 마스로프 수를 계산하고, 이를 통해 라그랑주 이sovopy 유형을 구별하는 것.
• 단조 라그랑주 부분다양체의 맥락에서 스무스 이sovopy와 라그랑주 이sovopy 간의 차이를 조사하는 것.
• $\mathbb{C}^n$ 내에서 스무스 이sovopic이지만 라그랑주 이sovopic이 아닌 임베딩의 존재를 보여주는 것.

제안 방법

• 다항식의 교차를 통해 $\mathbb{C}^n$ 내에서 델자노 폴리토프로부터 해밀토니안-최소 라그랑주 부분다양체를 구성하는 방법을 사용한다.
• 폴리토프에 관련된 실수 모멘트-액자 다양체의 위상구조를 기술하기 위해 토릭 토폴로지 기법을 적용한다.
• 대칭적 면적과 마스로프 클래스를 이용하여 단조성을 특성화하며, 호모로지의 순환에 대해 공식 $\mu(r_i) = \frac{1}{2}\mu(e_i)$ 를 사용한다.
• 폴리토프의 정규 벡터로부터 유도된 특정 정수들의 최대공약수를 이용하여 최소 마스로프 수 $N_L$ 을 계산한다.
• 스무스 이sovopy의 하이플리거-히르슈 분류를 활용하여 스무스 이sovopy와 라그랑주 이sovopy 유형을 비교한다.
• 쌍대 격자에 의한 섬유 위의 작용을 분석하여 전체 공간의 정규화 가능성과 따라서 미분형태를 결정한다.

실험 결과

연구 질문

• RQ1 델자노 폴리토프에 관련된 라그랑주 부분다양체가 $\mathbb{C}^n$ 내에서 언제 단조가 되는가?
• RQ2 이러한 라그랑주 부분다양체의 최소 마스로프 수는 무엇이며, 그 값은 폴리토프의 조합적 유형에 따라 어떻게 변하는가?
• RQ3 동일한 스무스 다양체의 두 라그랑주 임베딩이 스무스 이sovopic일 수 있지만 라그랑주 이sovopic이 아니게 되는가?
• RQ4 섬유 다층 구조의 위상과 심플렉틱 불변량은 라그랑주 이sovopy 유형에 어떤 영향을 미치는가?
• RQ5 팔란 조건은 관련 라그랑주 부분다양체의 단조성을 보장하는 데 어떤 역할을 하는가?

주요 결과

• 델자노 폴리토프 $P$ 에 관련된 라그랑주 부분다양체 $L \subset \mathbb{C}^n$ 는 $P$ 가 팔란임과 동시에 단조임이 되는 것과 동치이다.
• 토러스 $T^2$ 위에 섬유가 $S^{p-1} \times S^{n-p-1}$ 인 라그랑주 부분다양체 $L_k$ 의 경우, 최소 마스로프 수는 $N_{L_k} = \gcd(p, n-p+k)$ 이다.
• 팔란 6각형에 관련된 라그랑주 부분다양체 $\mathcal{N} = S_{17} \times_{D_\Gamma} T^4 \to T^4$ 는 최소 마스로프 수 $N_L = 1$ 을 가지며, $\mathbb{C}^6$ 내에서 단조이다.
• 오각형 폴리토프의 가닥에 대해, $\mathbb{C}^5$ 내에 존재하는 관련된 임베딩된 라그랑주 부분다양체의 최소 마스로프 수는 $N_L = k$ 이며, $k$ 는 짝수이며, 이들은 단조이다.
• 일단 $k$ 가 짝수일 경우, 전체 공간의 미분형태는 일정하지만 마스로프 클래스는 $k$ 에 따라 변하며, 이는 무한히 많은 비라그랑주 이sovopic 임베딩을 유도한다.
• 고정된 다양체의 스무스 이sovopy 유형 클래스 내에는 다수의 비라그랑주 이sovopic 단조 라그랑주 부분다양체가 존재하며, 이는 강성 현상을 보여준다.