[논문 리뷰] Adjoint orbits of semi-simple Lie groups and Lagrangean submanifolds

Elizabeth Gasparim, Lino Grama외 1명|arXiv (Cornell University)|2014. 01. 10.

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

한 줄 요약

이 논문은 단순성 Lie 군의 고정된 원소의 궤도를 쌍대 궤도로 다각적으로 기하학적으로 실현하며, 플래그 다양체의 코탄젠트 벡터 장과 플래그 다양체의 곱으로서의 실현을 제시한다. G가 코탄젠트 벡터 장 위에 전이적 해밀토니안 작용을 구축하고, 모멘트 맵을 통해 궤도가 쌍대 궤도임을 증명하며, 반해석적 사상의 그래프를 통해 라그랑주 부분다양체를 구성함으로써, 후카야 카테고리와 레프셰츠 피브리션의 심플렉틱적이고 기하학적인 프레임워크를 제공한다.

ABSTRACT

We give various realizations of the adjoint orbits of a semi-simple Lie group and describe their symplectic geometry. We then use these realizations to identify a family of Lagrangean submanifolds of the orbits.

연구 동기 및 목표

• 단순성 Lie 군의 쌍대 궤도에 대한 새로운 기하학적 실현을 제공함. 특히 플래그 다양체의 코탄젠트 벡터 장으로서의 실현을 포함.
• 표준 선형 작용과 다를 바 있는, T*F_H 위에 전이적 해밀토니안 G-작용을 구축함.
• 쌍대 궤도를 플래그 다양체 F_H × F_H*의 곱에 매립함으로써, 심플렉틱적이고 헬름하르트 구조를 유도함.
• 반해석적 사상의 그래프와 K-궤도를 통해 쌍대 궤도 내의 라그랑주 부분다양체를 구성함.
• 이러한 구성들이 심플렉틱 위상수학에서 후카야 카테고리와 레프셰츠 피브리션의 기하학과 어떻게 관련되는지 규명함.

제안 방법

• P_H₀-표현을 통해 플래그 다양체 F_H₀ ≅ G/P_H₀ 위의 벡터 장으로서 쌍대 궤도 Ad(G)H₀를 실현함.
• 관련된 벡터 장 구성법을 통해 이 벡터 장이 코탄젠트 벡터 장 T*F_H₀와 미분형식으로 동형임을 증명함.
• T*F_H₀ 위의 해밀토니안 벡터 장의 리 대수 θ(g)를 구성함. 이는 g와 동형이며, 이를 적분하여 전이적 G-작용을 얻음.
• 모멘트 맵 μ: T*F_H₀ → g 를 사용하여 μ가 Ad(G)H₀ 상에 전사적임을 보이고, Ad(G)H₀ ≅ T*F_H₀ 인 동형사상의 역임을 증명함.
• 대각선 G-작용을 통해 쌍대 궤도를 F_H₀ × F_H₀*에 매립함으로써 G/Z_H₀ 가 열린 밀도 궤도임을 식별함.
• H₀로 정의된 최고 무게를 가진 g의 기약 표현을 통해 V⊗V* 내에서 궤도를 G-궤도로 실현함. 이를 통해 라그랑주 부분다양체를 구성함.

실험 결과

연구 질문

• RQ1 단순성 Lie 군의 쌍대 궤도는 어떻게 플래그 다양체의 코탄젠트 벡터 장으로 실현될 수 있는가?
• RQ2 표준 선형 작용과 다를 바 있는, T*F_H₀ 위에 전이적 해밀토니안 G-작용을 구성할 수 있는가?
• RQ3 모멘트 맵이 T*F_H₀ 와 쌍대 궤도 Ad(G)H₀ 사이의 동형을 어떻게 식별하는가?
• RQ4 플래그 다양체의 곱에의 매립은 쌍대 궤도에 어떤 심플렉틱적이고 헬름하르트 구조를 부여하는가?
• RQ5 어떤 라그랑주 부분다양체들이 플래그 다양체 간 반해석적 사상의 그래프에서 유도되며, 궤도 내에서 어떻게 실현되는가?

주요 결과

• 쌍대 궤도 Ad(G)H₀ 는 G-다양체로서 코탄젠트 벡터 장 T*F_H₀ 와 동형이며, T*F_H₀ 위의 G-작용은 전이적이고 해밀토니안임.
• 모멘트 맵 μ: T*F_H₀ → g 는 Ad(G)H₀ 상에 G--equivariant 미분형식으로서 전사적이고, 이를 통해 심플렉틱적 동형이 이루어짐.
• 쌍대 궤도는 F_H₀ × F_H₀* 내의 열린 밀도 G-궤도로 매립되며, 곱의 심플렉틱적이고 헬름하르트 구조를 상속함.
• Ad(G)H₀ 내의 라그랑주 부분다양체는 F_H₀ → F_H₀* 로 가는 사상 m∘R_w₀ 의 그래프로 실현되며, m ∈ T 이고, ker ε = v⊥ 조건을 만족함.
• V⊗V* 내의 v₀⊗ε₀ 의 K-궤도는 쌍대 궤도와 i𝔲 의 교차부로 식별되며, R_w₀ 의 그래프로 나타남.
• Φ: G·(v₀⊗ε₀) → Ad(G)H₀ 의 동형사상에 의한 m∘R_w₀ 의 그래프의 역상은 {v⊗ρ_μ*(m)ε ∈ G·(v₀⊗ε₀) : ker ε = v⊥} 의 집합임.