[논문 리뷰] Lagrangian fibers of Gelfand-Cetlin systems

Yunhyung Cho, Yoosik Kim외 1명|arXiv (Cornell University)|2017. 04. 24.

Advanced Combinatorial Mathematics참고 문헌 31인용 수 12

한 줄 요약

이 논문은 부분 플라그 다양체 위의 겔판트-체틀린 시스템에서의 필라멘트의 완전한 위상수학적 분류를 제공하며, 모든 필라멘트가 매끄럽고 등방성 부분다양체임을 증명하고, 겔판트-체틀린 다면체의 조합론을 통해 어떤 필라멘트가 라그랑주임을 특성화한다. 슈베르트 사이클을 이용한 버블-데포밍된 플로어 코호몰로지로, 단조(full flag) 다양체 $\mathcal{F}(n)$ ($n \geq 3$)에서 연속적인 비이동 가능한 라그랑주 토러스의 존재를 입증한다. 이는 $\mathcal{F}(3)$에서의 비토러스 $S^3$-필라멘트를 포함하며, 노하라-우에다의 제기한 질문을 해결한다.

ABSTRACT

Motivated by the study of Nishinou-Nohara-Ueda on the Floer thoery of Gelfand-Cetlin systems over complex partial flag manifolds, we provide a complete description of the topology of Gelfand-Cetlin fibers. We prove that all fibers are \emph{smooth} isotropic submanifolds and give a complete description of the fiber to be Lagrangian in terms of combinatorics of Gelfand-Cetlin polytope. Then we study (non-)displaceability of Lagrangian fibers. After a few combinatorial and numercal tests for the displaceability, using the bulk-deformation of Floer cohomology by Schubert cycles, we prove that every full flag manifold $\mathcal{F}(n)$ ($n \geq 3$) with a monotone Kirillov-Kostant-Souriau symplectic form carries a continuum of non-displaceable Lagrangian tori which degenerates to a non-torus fiber in the Hausdorff limit. In particular, the Lagrangian $S^3$-fiber in $\mathcal{F}(3)$ is non-displaceable the question of which was raised by Nohara-Ueda who computed its Floer cohomology to be vanishing.

연구 동기 및 목표

• 부분 플라그 다양체 위의 겔판트-체틀린 시스템에서의 필라멘트 위상의 완전한 기술.
• 겔판트-체틀린 다면체의 조합론을 이용해 어떤 필라멘트가 라그랑주임을 특성화하기.
• 단조 전체 플라그 다양체에서의 라그랑주 필라멘트의 이동 가능성 조사.
• $\mathcal{F}(3)$에서의 $S^3$-필라멘트의 비이동 가능성 문제를 해결하기. 이는 노하라-우에다의 남아 있던 질문을 해결한다.
• 토리 필라멘트를 초월해 비토러스 라그랑주 다양체를 포함하는 푹카야 분류의 이해를 확장하기.

제안 방법

• 계단 다이어그램과 표준 표를 기반으로 한 조합론적 프레임워크를 이용해 겔판트-체틀린 다면체의 면 구조를 표현하기.
• 계단 다이어그램의 부분그래프에서 3D-TETRIS®-유사 절차를 적용하여 필라멘트 위상과 라그랑주 성질을 결정하기.
• 스슈베르트 사이클을 이용한 플로어 코호몰로지의 버블-데포밍을 적용하여 필라멘트의 이동 가능성 테스트하기.
• 모듈리 공간 기법과 그로모프-위튼 이론을 활용해 버블-데포밍을 포함한 포텐셜 함수 계산하기.
• 나침반 원리와 忘각 사상의 호환성을 이용해 포텐셜 함수 내 계수 $n_\beta(\mathbf{p})$ 계산하기.
• 비단위형 평행 선다발에 의한 변형을 통해 버블-데포밍된 포텐셜의 정의역을 $H^1(L; \Lambda_0)$로 확장하기.

실험 결과

연구 질문

• RQ1 겔판트-체틀린 시스템에서 어떤 필라멘트가 라그랑주이며, 이를 어떻게 조합론적으로 결정할 수 있는가?
• RQ2 겔판트-체틀린 필라멘트의 위상적 구조는 무엇이며, 등방성인가?
• RQ3 단조 전체 플라그 다양체 $\mathcal{F}(n)$ ($n \geq 3$)에서 비이동 가능한 라그랑주 필라멘트가 존재하는가?
• RQ4 플로어 코호몰로지가 영이지만 $\mathcal{F}(3)$의 $S^3$-필라멘트는 비이동 가능한가?
• RQ5 스슈베르트 사이클에 의한 버블-데포밍은 라그랑주 필라멘트의 이동 가능성에 어떻게 영향을 미치는가?

주요 결과

• 모든 겔판트-체틀린 필라멘트는 매끄럽고 등방성 부분다양체이다.
• 필라멘트가 라그랑주임은 그에 대응하는 겔판트-체틀린 다면체의 면이 특정 조합론적 조건을 만족할 때에 한하여 성립한다.
• 단조 키릴로프-코스타 Antar-Souriau 형식을 지닌 모든 전체 플라그 다양체 $\mathcal{F}(n)$ ($n \geq 3$)는 비이동 가능한 라그랑주 토러스의 연속체를 지닌다.
• $\mathcal{F}(3)$에서의 비토러스 $S^3$-필라멘트는 비이동 가능하며, 이는 노하라-우에다의 질문을 해결한다.
• 버블-데포밍된 포텐셜 함수는 $H^1(L; \Lambda_0)$에서 잘 정의되며, 계수는 $n_\beta(\mathbf{p}) = n_\beta \cdot \prod_{i=1}^{\ell} (\beta \cap \mathscr{D}_{\mathbf{p}(i)})$로 계산된다.
• 버블-데포밍을 포함한 포텐셜 함수는 $\sum_{\beta; \mu(\beta)=2} n_\beta \cdot \exp(\beta \cap \mathfrak{b}) \cdot \exp(\partial\beta \cap b) \cdot T^{\omega(\beta)/2\pi} \cdot \mathrm{PD}[L]$ 형태를 가진다.