[논문 리뷰] Eigencones and the PRV conjecture

Nicolas Ressayre|ArXiv.org|2009. 10. 05.

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

한 줄 요약

이 논문은 복소수 단순 연결 보편적 단순 복소수 군 G의 기약 표현의 텐서곱의 코homological 성분이 안정 다중도 1인 PRV 성분과 정확히 일치함을 증명하며, Eigencone을 통한 기하적 특성화를 수립한다. Dimitrov와 Roth의 추측을 해결하기 위해, 코homological 성분, 안정 다중도 1인 PRV 성분, 그리고 LR 코너의 정규적으로 극단적인 점이라는 세 가지 자연스러운 일반화가 일치함을 보였다.

ABSTRACT

Let $G$ be a complex semisimple simply connected algebraic group. Given two irreducible representations $V_1$ and $V_2$ of $G$, we are interested in some components of $V_1\otimes V_2$. Consider two geometric realizations of $V_1$ and $V_2$ using the Borel-Weil-Bott theorem. Namely, for $i=1, 2$, let $\Li_i$ be a $G$-linearized line bundle on $G/B$ such that ${ m H}^{q_i}(G/B,\Li_i)$ is isomorphic to $V_i$. Assume that the cup product $$ { m H}^{q_1}(G/B,\Li_1)\otimes { m H}^{q_2}(G/B,\Li_2)\longto { m H}^{q_1+q_2}(G/B,\Li_1\otimes\Li_2) $$ is non zero. Then, ${ m H}^{q_1+q_2}(G/B,\Li_1\otimes\Li_2)$ is an irreducible component of $V_1\otimes V_2$; such a component is said to be {\it cohomological}. Solving a Dimitrov-Roth conjecture, we prove here that the cohomological components of $V_1\otimes V_2$ are exactly the PRV components of stable multiplicity one. Note that Dimitrov-Roth already obtained some particular cases. We also characterize these components in terms of the geometry of the Eigencone of $G$. Along the way, we prove that the structure coefficients of the Belkale-Kumar product on ${ m H}^*(G/B,\ZZ)$ in the Schubert basis are zero or one.

연구 동기 및 목표

• 대표 이론에서 PRV 조건의 세 가지 일반화가 동치임을 증명하는 Dimitrov와 Roth의 추측을 해결하기 위해.
• Borel-Weil-Bott 정리에 의한 기하적 실현을 통해 기약 표현의 텐서곱의 코homological 성분을 특성화하기 위해.
• 안정 다중도 1인 PRV 추측과 G의 Eigencone 기하학 사이의 정확한 연결 고리를 설정하기 위해.
• H*(G/B, Z)에서 Belkale-Kumar 곱의 슈베르트 기저에서의 구조 계수들이 0 또는 1임을 증명하기 위해.

제안 방법

• 기약 표현의 기하적 실현을 G/B의 선다발 코hom올로지에 의해 적용하고, Borel-Weil-Bott 정리를 사용한다.
• Sheaf 코호몰로지에서의 비영 코어프로덕트를 통한 코homological 성분 정의: H^q1(G/B, L1) ⊗ H^q2(G/B, L2) → H^q1+q2(G/B, L1⊗L2).
• 좋은 커버링 쌍 (C, λ)의 개념을 적용하고, 기하학적 불변량 이론의 맥락에서 궤도와 안정자군을 분석하기 위해 순간 맵을 사용한다.
• 웨일 군의 작용과 가중치 위에서의 외부 작용 (·)을 사용하여, 조건 u·λ + v·μ = w·ν 와 함께 l(w) = l(u) + l(v) 를 만족하는 코homological 성분을 정의한다.
• G의 Eigencone을 사용하여, 주어진 다수의 가중치 삼중조합 (λ, μ, ν)에 대해 세 동치 클래스를 볼록 기하학과 면의 구조를 통해 특성화한다.
• LR 코너의 구조와 그 정규 면에 관한 결과를 활용하여, 차원 2r인 최소 정규 면 위에 있는 정규적으로 극단적인 점들이 정확히 나머지 두 클래스와 일치함을 보였다.

실험 결과

연구 질문

• RQ1 Vλ ⊗ Vμ의 코homological 성분이 안정 다중도 1인 PRV 성분과 일치하는가?
• RQ2 G의 Eigencone을 이용한 안정 다중도 1인 PRV 성분의 기하적 특성화가 가능한가?
• RQ3 코homological, 안정 다중도 1인 PRV, 정규적으로 극단적인 점이라는 세 가지 자연스러운 PRV 조건의 일반화가 동치임을 증명할 수 있는가?
• RQ4 H*(G/B, Z)에서 Belkale-Kumar 곱의 슈베르트 기저에서의 구조 계수는 무엇인가?

주요 결과

• 모든 복소수 단순 연결 보편적 단순 복소수 군 G에 대해, 코homological 성분, 안정 다중도 1인 PRV 성분, LR 코너의 정규적으로 극단적인 점이라는 세 클래스는 상호 동치이다.
• Vλ ⊗ Vμ의 코homological 성분은 G/B에서의 sheaf 코호몰로지에서의 비영 코어프로덕트로부터 유도되는 기약 성분들 정확히 일치한다.
• H*(G/B, Z)에서 Belkale-Kumar 곱의 슈베르트 기저에서의 구조 계수들은 0 또는 1이다.
• LR 코너의 최소 정규 면의 차원은 2r이며, 여기서 r은 G의 랭크이다. 정규적으로 극단적인 점들은 이러한 면 위에 존재한다.
• 증명 과정에서, 좋은 커버링 쌍 (C, λ)의 준안정 영역 내에서 유일한 닫힌 G^λ-궤도는 점 z이며, 이에 따라 G_z = G^λ임을 보였다.
• 좋은 커버링 쌍 (C, λ)에 대한 편향화 방법을 통해 동일한 면을 가지는 정규 일차 파라미터 하위군 λ'를 얻어, 세 조건의 동치성을 입증하였다.