[논문 리뷰] Eigencone, saturation and Horn problems for symplectic and odd orthogonal groups

Prakash Belkale, Shrawan Kumar|ArXiv.org|2007. 08. 02.

Advanced Algebra and Geometry참고 문헌 9인용 수 4

한 줄 요약

이 논문은 특수선형군에 대한 임bedding과 등지다르기 Grassmannian 위의 교차 이론을 활용하여 심플렉틱군과 홀수 직교군에 대한 고유부채, 포화, 호른 문제를 해결한다. Sp(2n)와 SO(2n+1)의 고유값 조건이 각각 SL(2n)과 SL(2n+1)의 조건과 일치함을 증명하고, θ-분할자 방법과 Weyl 군 불변성을 통해 텐서곱 불변량의 포화를 확인한다.

ABSTRACT

We consider the eigenvalue problem and the associated intersection theory of homogenous spaces for the symplectic and odd orthogonal groups. We solve the Horn and saturation problems for these classical groups.

연구 동기 및 목표

• 심플렉틱군과 홀수 직교군에 대한 고유값 문제, 호른 문제, 포화 문제를 해결하기.
• Sp(2n)/SO(2n+1)의 고유부채와 그 SL(2n)/SL(2n+1)에 대한 임bedding 간의 대응 관계 수립.
• 등지다르기 Grassmannian에서 이동된 슈베르트 다양체의 교차가 Sp(2n)와 SO(2n+1)에 대해 올바른지 확인하기.
• SL(2n)과 SL(2n+1)로부터의 제약을 통해 Sp(2n)와 SO(2n+1)의 텐서곱 불변량이 포화됨을 보여주기.

제안 방법

• Belkale(2001)의 접선 공간 기법을 활용하여 등지다르기 Grassmannian 위의 교차 이론 분석.
• Sp(2n)와 SO(2n+1)의 카르탕 부분대수와 SL(2n)과 SL(2n+1)의 카르탕 부분대수 간의 표준 Weyl 군--equivariant 식별을 활용.
• BGG 연산자와 슈베르트 기저 표현을 활용하여 Sp(2n)와 SO(2n+1)의 플라그 다양체의 코homology 링을 연결.
• 등지다르기 플라그 다양체의 곱에서 θ-분할자를 구성하여 텐서곱의 불변량을 실현.
• Knutson-Tao의 포화 정리와 기하학적 방법을 결합하여 Sp(2n)와 SO(2n+1)에 대한 포화를 증명.
• H*(Sp(2n)/B^C)와 H*(SO(2n+1)/B^B)에서 슈베르트 클래스 표현 간의 스케일링 관계 수립: p_w^C = 2^{n−μ(w)} p_w^B.

실험 결과

연구 질문

• RQ1 Sp(2n)와 SO(2n+1)에 대한 고유부채 조건이 각각 SL(2n)과 SL(2n+1)의 조건과 일치하는가?
• RQ2 일반적인 등지다르기 플래그에 대해 OG^+(r,2r)에서 이동된 슈베르트 다양체의 교차가 올바른가?
• RQ3 SL(2n)과 SL(2n+1)로부터의 제약을 통해 Sp(2n)와 SO(2n+1)의 텐서곱 불변량에 대한 포화 성질이 성립하는가?
• RQ4 Weyl 군 작용을 통한 Sp(2n)/B^C와 SO(2n+1)/B^B의 코homology 링에서의 슈베르트 기저 클래스 간의 관계는 무엇인가?
• RQ5 Sp(2n)/B^C와 SO(2n+1)/B^B의 코homology에서 슈베르트 클래스 표현 간의 정확한 스케일링 인자는 무엇인가?

주요 결과

• h₁,…,hₛ ∈ ℎ₊^Sp(2n)이면, (h₁,…,hₛ) ∈ Γ(s, Sp(2n)) iff (h₁,…,hₛ) ∈ Γ(s, SU(2n)).
• h₁,…,hₛ ∈ ℎ₊^SO(2n+1)이면, (h₁,…,hₛ) ∈ Γ(s, SO(2n+1)) iff (h₁,…,hₛ) ∈ Γ(s, SU(2n+1)).
• 일반적인 등지다르기 플래그에 대해 OG^+(r,2r)에서 s개의 이동된 슈베르트 다양체의 교차는 올바르며, 이는 SO(2n)에선 성립하지 않는다.
• Sp(2n)의 텐서곱 불변량은 포화됨: 만약 SL(2n)-표현이 비영인 SL(2n)-불변량을 가진다면, 그 제약이 Sp(2n)에 대해 비영인 Sp(2n)-불변량을 가짐.
• 비슷하게 SO(2n+1)에 대해서도: 만약 SL(2n+1)-표현이 비영인 SL(2n+1)-불변량을 가진다면, 그 제약이 SO(2n+1)에 대해 비영인 SO(2n+1)-불변량을 가짐.
• 코homology 대수 동형사상 φ는 φ([Λ̄_w(B)]) = 2^{μ(w)−n} [Λ̄_w(C)]를 만족하며, 여기서 μ(w)는 w의 기약 분해에서 sₙ의 등장 횟수를 세는 것이다.