[논문 리뷰] Upper bound for the Gromov width of coadjoint orbits of compact Lie groups

Alexander Caviedes Castro|arXiv (Cornell University)|2014. 04. 17.

Advanced Algebra and Geometry인용 수 5

한 줄 요약

이 논문은 콪트 리 군의 공대칭 궤도에 대해 코스탄트–키릴로프–수리외 형식을 갖춘 쌍대기하형식을 갖는 경우, Gromوف 너비의 상한을 구하고자 하며, J-홀로모르픽 커브 기법을 통해 비영인 Gromov–Witten 불변량을 계산함으로써 Gromov의 비압축 원리의 일반화를 시도한다. 핵심 결과는 비영인 코루트 ̌α에 대해 ⟨λ, ̌α⟩의 절대값의 최솟값으로 Gromov 너비가 상한으로 제한된다는 것이다.

ABSTRACT

We find an upper bound for the Gromov width of coadjoint orbits of compact Lie groups with respect to the Kirillov Kostant Souriau form by computing certain Gromov Witten invariants, the approach presented here is closely related to the one used by Gromov in his celebrated nonsqueezing theorem.

연구 동기 및 목표

• 콤팩트 리 군의 공대칭 궤도에 대한 Gromov 너비의 상한을 확립하기.
• 이전의 정규 및 분해 불가능한 공대칭 궤도 결과를 일반적인 공대칭 궤도로 확장하기.
• Gromov–Witten 불변량과 J-홀로모르픽 커브 이론을 동차 공간의 심플렉틱 기하학에 적용하기.
• U(n) 및 SO(n)에 대한 기존 결과를 임의의 공대칭 궤도로 일반화하기.

제안 방법

• 비영인 불변량이 존재하면 심플렉틱 용량의 상한이 존재한다는 원리를 활용하여, Gromov–Witten 불변량을 이용해 Gromov 너비의 상한을 구한다.
• 정수 심플렉틱 다양체에 대해 Cieliebak–Mohnke의 Gromov–Witten 불변량 정의를 적용한다.
• Buch, Mihalcea, 그리고 Perrin의 곡선 이웃 기법을 활용해 플라그 다양체에서 관련 불변량을 계산한다.
• 복소 플라그 다양체 Gℂ/P의 쇼버트 다양체와 브라하트 분해의 구조에 기반한다.
• 플라그 다양체 간의 사영 사상 Gℂ/R → Gℂ/P 및 Gℂ/R → Gℂ/Q를 이용해 코homology 및 호모로지 클래스를 연결한다.
• 웨일 군의 교환 및 삭제 원리를 적용하여 웨일 군 원소의 구조와 그들이 쇼버트 세포에 작용하는 방식을 분석한다.

실험 결과

연구 질문

• RQ1 콤팩트 리 군의 임의의 공대칭 궤도에 대해 Gromov 너비의 정확한 상한은 무엇인가?
• RQ2 Gromov–Witten 불변량은 동차 공간에서 심플렉틱 용량을 어떻게 상한으로 제한할 수 있는가?
• RQ3 J-홀로모르픽 커브를 통해 유도된 상한은 U(n) 및 그라스만이안에 대해 알려진 결과와 일치하는가?
• RQ4 이 방법은 분해 불가능한 경우를 초월해 비정규 공대칭 궤도로도 확장 가능한가?
• RQ5 곡선 이웃과 웨일 군 조합론은 비영인 Gromov–Witten 불변량 계산에 어떤 역할을 하는가?

주요 결과

• 공대칭 궤도 𝒪λ의 Gromov 너비는 ⟨λ, ̌α⟩의 절대값의 최솟값으로 상한이 제한되며, 이는 비영인 모든 코루트 ̌α에 대해 적용된다.
• U(n)의 공대칭 궤도에서는 이 상한이 정확하며, Gromov 너비는 서로 다른 i, j에 대해 min|λi − λj|와 일치한다.
• 그라스만이안의 경우, 곡선 이웃 기법과 플라그 다양체의 피브레이션을 통해 상한의 완전한 증명을 얻을 수 있다.
• 이 증명 기법은 Zoghi의 분해 불가능한 플라그 다양체에 대한 결과를 임의의 공대칭 궤도로 일반화한다.
• 특정 Gromov–Witten 불변량 GW_{A,k}(PD[pt], α2, ..., αk)의 비영성은 Gromov 너비의 상한 ω(A)을 암시한다.
• 이 결과는 Pabiniak의 하한과 일치하며, U(n) 및 특정 SO(n) 궤도의 경우 등식이 성립함을 확인한다.