[논문 리뷰] Lower bounds for Gromov width of coadjoint orbits in U(n)

Milena Pabiniak|arXiv (Cornell University)|2011. 09. 05.

Geometric and Algebraic Topology참고 문헌 8인용 수 5

한 줄 요약

이 논문은 유니터리 군 U(n)의 공대칭 궤도에 대한 Gromov 폭의 새로운 하한을 제시한다. Gelfand-Tsetlin 체계를 통해 해밀턴 토러스 작용을 구성함으로써 이루어지며, Karshon과 Tolman의 중심화된 해밀턴 다각형에 대한 정리에 기반하여, 궤도의 대각 행렬 생성자의 서로 다른 고유값들 간의 최소 차이보다 Gromov 폭이 크다는 것을 증명한다. 이는 이전 결과를 반복 고유값을 가진 비일반 궤도로 확장한 것이다.

ABSTRACT

We use the Gelfand-Tsetlin pattern to construct an effective Hamiltonian, completely integrable action of a torus T on an open dense subset of a coadjoint orbit of the unitary group. We then identify a proper Hamiltonian T-manifold centered around a point in the dual of the Lie algebra of T. A theorem of Karshon and Tolman says that such a manifold is equivariantly symplectomorphic to a particular subset of R^2D. This fact enables us to construct symplectic embeddings of balls into certain coadjoint orbits of the unitary group, and therefore obtain a lower bound for their Gromov width. Using the identification of the dual of the Lie algebra of the unitary group with the space of (n x n) Hermitian matrices, the main theorem states that for a coadjoint orbit through λ=diag(λ_1, ..., λ_n) in the dual of the Lie algebra of the unitary group, where at most one eigenvalue is repeated, the lower bound for Gromov width is equal to the minimum of the differences λ_i-λ_j, over all λ_i>λ_j. For a generic orbit (i.e. with distinct λ_i's), with additional integrality conditions, this minimum has been proved to be exactly the Gromov width of the orbit. For nongeneric orbits this lower bound is new.

연구 동기 및 목표

• U(n)의 공대칭 궤도에 대한 Gromov 폭의 하한을 설정하는 것, 특히 반복 고유값을 가진 비일반 궤도에 대해.
• 이전에 고유값이 모두 다를 때에만 확립된 Gromov 폭에 대한 결과를 일반적인 경우로 확장하는 것.
• Gelfand-Tsetlin 체계를 사용하여 궤도의 열린 밀도 부분집합에 효과적인 해밀턴 토러스 작용을 구성하는 것.
• Karshon과 Tolman의 중심화된 해밀턴 T-다각형에 대한 정리를 적용하여 심플렉틱 볼의 임베딩을 가능하게 하고, 그로 인해 폭의 하한을 도출하는 것.

제안 방법

• Gelfand-Tsetlin 패턴을 사용하여 공대칭 궤도의 열린 밀도 부분집합에 해밀턴 완전 통합 토러스 작용을 구성하는 것.
• 모멘트 맵의 상을 Gelfand-Tsetlin 다각형으로 식별하고, pr-사상과 격자 구조를 통해 그 정점과 변을 분석하는 것.
• Karshon과 Tolman의 결과를 이용하여 고정점의 근방이 R^{2D}의 부분집합과 T-등변 심플렉틱 구조를 가짐을 보여주고, 심플렉틱 볼의 임베딩을 가능하게 하는 것.
• 모멘트 다각형의 변들의 격자 길이를 분석하여 고유값 차이 λ_i - λ_j와 연관짓는 것.
• 최소한의 고유값 차이가 심플렉틱적으로 임베딩 가능한 볼의 크기를 제한함으로써 Gromov 폭의 하한을 도출하는 것.
• 고유값이 서로 다를 때와 다를 때 모두 이 하한이 성립함을 검증하여 비일반 궤도에 대한 새로운 결과를 제공하는 것.

실험 결과

연구 질문

• RQ1 고유값이 모두 다를 때가 아닌 경우 U(n)의 공대칭 궤도의 Gromov 폭은 무엇인가?
• RQ2 Gelfand-Tsetlin 토러스 작용을 사용하여 공대칭 궤도에 볼의 심플렉틱 임베딩을 구성하고 Gromov 폭의 하한을 도출할 수 있는가?
• RQ3 비일반 경우에서 고유값 차이 λ_i - λ_j는 Gromov 폭에 대한 날카운 하한이 되는가?
• RQ4 Karshon-Tolman의 중심화된 해밀턴 다각형에 대한 정리는 이 맥락에서 심플렉틱 임베딩의 구성에 어떻게 기여하는가?
• RQ5 Gelfand-Tsetlin 체계를 통해 유도된 하한은 통합 조건 하에서 기존에 알려진 일반 궤도의 정확한 값과 일치하는가?

주요 결과

• diag(λ₁,…,λₙ)를 통과하는 U(n)의 공대칭 궤도에 대한 Gromov 폭은 모든 λ_i > λ_j에 대해 λ_i - λ_j의 최소값 이상이다.
• 이 하한은 고유값이 서로 다를 때와 다를 때 모두 성립하여 비일반 궤도에 대한 새로운 결과를 제공한다.
• 일반 궤도(모든 λ_i가 서로 다를 때)의 경우, 이 하한은 통합 조건 하에서 알려진 정확한 Gromov 폭과 일치하여 이전 연구와의 일致를 확인한다.
• 이 증명은 Gelfand-Tsetlin 체계를 통해 해밀턴 토러스 작용을 정의하고 Karshon-Tolman의 심플렉틱 임베딩 정리를 적용하는 데 기반한다.
• 최소 고유값 차이는 모멘트 다각형의 변들의 격자 길이와 직접적으로 연관되며 기하학적 특성과 심플렉틱 용량을 연결한다.
• 낮은 차원의 경우(n ≤ 5)에서 결과가 검증되었으며, n=6에서 (λ₁,λ₁,λ₂,λ₂,λ₃,λ₃) 궤도의 경우를 제외하고는 하한이 증명되지 않은 상태이다.