[논문 리뷰] The Belkale-Kumar cup product and relative Lie algebra cohomology

Sam Evens, William Graham외 1명|arXiv (Cornell University)|2011. 04. 07.

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

한 줄 요약

이 논문은 일반화된 플라그 다양체 $G/P$의 코homology에 대한 Belkale-Kumar 가족의 cup 곱을 상대 리 대수 코hom로 새로운 대수적 구성을 제공한다. $\mathfrak{g}_t$는 $\mathbb{C}^m$의 매개변수 $t$에 따라 달라지는 $\mathfrak{g} \times \mathfrak{g}$의 리 대수 부분군이며, $\tau = t^2$일 때 cup 곱 $\odot_\tau$를 상대 코homology 링 $H^*(\mathfrak{g}_t, \mathfrak{l}_\Delta)$와 동일시한다. 이는 전체 변형된 cup 곱 가족에 대한 통일적이고 내재된 실현을 제공한다.

ABSTRACT

We study the Belkale-Kumar family of cup products on the cohomology of a generalized flag variety. We give an alternative construction of the family using relative Lie algebra cohomology, and in particular, identify the Belkale-Kumar cup product with a relative Lie algebra cohomology ring for every value of the parameter. As a consequence, we extend a fundamental disjointness result of Kostant to a family of Lie algebras. In an appendix, written jointly with Edward Richmond, we extend a Levi movability result of Belkale and Kumar to arbitrary parameters.

연구 동기 및 목표

• 상대 리 대수 코호모로지로 $H^*(G/P, \mathbb{C})$에 대한 Belkale-Kumar 가족의 cup 곱에 대한 대체적이고 내재된 구성 제공.
• $\tau \in \mathbb{C}^m$ 전역에서 매개변수화된 cup 곱 $\odot_\tau$를 상대 코호모로지 링 $H^*(\mathfrak{g}_t, \mathfrak{l}_\Delta)$와 동일시함으로써, 이전 결과를 매개변수의 모든 값으로 확장.
• $\mathbb{C}^m$에 의해 매개변수화된 리 대수의 가족으로 Kostant의 분리성 정리의 일반화를 수행하고, 통일된 코호모로지 프레임워크 수립.
• Belkale와 Kumar의 리 대수 이동 가능성 기준을 $\mathbb{C}^m$의 임의의 매개변수 $\tau$로 확장하여 기하학적 불변 이론과 선형 배치의 극한 행동을 활용.

제안 방법

• $t \in \mathbb{C}^m$에 의해 매개변수화된 $\mathfrak{g}_t \subset \mathfrak{g} \times \mathfrak{g}$의 리 대수 부분군을 정의하며, 이는 대각 리 대수 부분군 $\mathfrak{l}_\Delta$를 포함한다. $t \in (\mathbb{C}^*)^m$일 때 $\mathfrak{g}_t = \operatorname{Ad}(t,t^{-1})\mathfrak{g}_\Delta$이다.
• $H^*(\mathfrak{g}_t, \mathfrak{l}_\Delta)$의 상대 코호모로지 링의 벡터 번들의 전역 단면 공간 $\mathcal{H}^*(\mathbb{C}^m)$을 구성하며, 이는 $\mathbb{C}[t_1,\dots,t_m]$-대수를 이룬다.
• $\mathbb{C}[t_1,\dots,t_m]$-대수 $H^*(G/P, \mathbb{C}) \otimes_{\mathbb{C}} \mathbb{C}[t_1,\dots,t_m]$와 곱 $\odot$ 사이의 동형사상을 확립함으로써, 정리 1.1을 증명한다.
• 일치하는 부분군에 의한 선형 배치의 극한 행동을 이용해, 섹션의 비영성 제어에 기여하는 가중치 함수 $\mu^{\mathcal{L}}(y,\chi)$를 정의한다. 이는 $L_K$-이동 가능성 분석을 가능하게 한다.
• 기하학적 불변 이론을 적용하여, Belkale-Kumar 곱에 나타나는 유리 함수 $F_w(t)/(F_u(t)F_v(t))$가 $\mathbb{C}^m$ 전역에서 정칙임을 보이며, 이는 모든 $t \in \mathbb{C}^m$에서 곱의 잘 정의성을 보장한다.
• 고정점에서 $\mathbb{C}^*$-작용에 대한 중심 $\mathfrak{z}(\mathfrak{l}_K)$의 작용을 분석함으로써 리 대수 이동 가능성 기준을 확장하여, 비영성 곱의 코호모로지적 특성화를 이끌어낸다.

실험 결과

연구 질문

• RQ1 Belkale-Kumar 가족의 cup 곱 $\odot_\tau$는 $\tau \in \mathbb{C}^m$ 전역에서 상대 리 대수 코호모로지로 통일적으로 구성될 수 있는가?
• RQ2 매개변수 $\tau = 0$에서의 열악한 cup 곱과 일반적인 cup 곱은 $\mathbb{C}^m$ 전역의 모든 $t$에 대해 상대 코호모로지 링 $H^*(\mathfrak{g}_t, \mathfrak{l}_\Delta)$와 동형인가?
• RQ3 리 대수 코호모로지에 대한 Kostant의 분리성 정리는 $\mathfrak{g}_t$의 일차 매개변수 가족으로 일반화될 수 있는가?
• RQ4 Belkale와 Kumar의 리 대수 이동 가능성 기준은 $\tau = \tau_K$ 이외의 임의의 매개변수 $\tau \in \mathbb{C}^m$로 확장되는가?
• RQ5 가중치와 $\mathfrak{l}_K$의 중심을 고려할 때, 곱 $\Lambda_{w_1} \odot_\tau \cdots \odot_\tau \Lambda_{w_s}$의 비영성에 대한 정확한 코호모로지 조건은 무엇인가?

주요 결과

• 모든 $t \in \mathbb{C}^m$에 대해 $\tau = t^2$일 때 Belkale-Kumar cup 곱 $\odot_\tau$는 상대 리 대수 코호모로지 링 $H^*(\mathfrak{g}_t, \mathfrak{l}_\Delta)$와 동형이며, 이는 전체 가족에 대한 통일된 코호모로지 실현을 제공한다.
• $\mathbb{C}^m$의 전역 단면 공간 $\mathcal{H}^*(\mathbb{C}^m)$은 $H^*(G/P, \mathbb{C}) \otimes_{\mathbb{C}} \mathbb{C}[t_1,\dots,t_m]$와 곱 $\odot$를 지닌 $\mathbb{C}[t_1,\dots,t_m]$-대수와 동형이며, 이는 가족에 대한 새로운 대수적 구성의 수립을 의미한다.
• 기하학적 불변 이론을 통해, Belkale-Kumar 곱에 나타나는 유리 함수 $F_w(t)/(F_u(t)F_v(t))$는 모든 $t$에 대해 $\mathbb{C}^m$에서 정칙임을 보였으며, 이는 매개변수 전역에서 곱의 잘 정의성을 보장한다.
• Kostant의 분리성 정리의 일반화가 증명됨: 모든 $t \in \mathbb{C}^m$에 대해 상대 코호모로지 링 $H^*(\mathfrak{g}_t, \mathfrak{l}_\Delta)$는 비퇴화되어 있으며, 이는 일반적 및 열악한 경우의 결과를 확장한다.
• 리 대수 이동 가능성 기준이 임의의 $\tau \in \mathbb{C}^m$로 확장됨: $s$-튜플 $(w_1,\dots,w_s)$는 $L_\tau$-이동 가능하다고 할 수 있으며, 이는 $\Lambda_{w_1} \odot_\tau \cdots \odot_\tau \Lambda_{w_s} \neq 0$ 이고 $\left(\sum_{j=1}^s \chi_{w_j} - \chi_1\right)(z_\rho) = 0$일 때 성립한다.
• $\tau_K$가 부분집합 $J \subset \{1,\dots,m\}$에 대응할 때, 곱 $\Lambda_{w_1} \odot_{\tau_K} \cdots \odot_{\tau_K} \Lambda_{w_s} \neq 0$이 되는 것은 $s$-튜플이 $L_K$-이동 가능할 때이며, 이 조건은 중심 $\mathfrak{z}(\mathfrak{l}_K)$를 포함한다.