[논문 리뷰] Schubert calculus and cohomology of Lie groups. Part I. 1-connected Lie groups

Haibao Duan, Xuezhi Zhao|arXiv (Cornell University)|2007. 11. 16.

Advanced Topics in Algebra참고 문헌 35인용 수 10

한 줄 요약

이 논문은 1-연결(compact) 리 군 $G$에 대해 모든 $H^*(G;\mathbb{Z})$의 정수 코homology 링을 균일하게, 슈부버트 호몰로지 이론 기반으로 구성한다. 이는 $G_2, F_4, E_6, E_7, E_8$를 포함한 5개의 예외적 군을 포함한다. $T \to G \to G/T$의 필베이션에 대한 레일라-세르 스펙트럴 시퀀스를 활용하고, 슈부버트 클래스와 관계를 통해 $H^*(G/T)$의 명시적 표현을 이용함으로써, $H^*(G)$의 생성자와 관계를 유도한다. 이는 알제브라 토폴로지 분야에서 오랫동안 남아있던 문제를 해결한다.

ABSTRACT

Let $G$ be a compact and $1$--connected Lie group with a maximal torus $T$. Based on Schubert calculus on the flag manifold $G/T$ [15] we construct the integral cohomology ring $H^{\ast}(G)$ uniformly for all $G$.

연구 동기 및 목표

• 모든 1-연결 컴acts 리 군 $G$에 대해 $H^*(G;\mathcal{R})$의 통합적이고, 타입에 의존하지 않는 기술을 제공하는 것.
• 예외적 리 군 $G_2, F_4, E_6, E_7, E_8$의 정수 코homology 링을 명시적이고 균일하게 결정하는 것.
• 사례별 분류를 피하는 슈부버트 해석학과 스펙트럴 시퀀스에 기반한 체계적 방법을 제공하는 것.

제안 방법

• 필베이션 $T \to G \to G/T$의 레일라-세르 스펙트럴 시퀀스를 활용하여 $E_2$-페이지 $E_2^{\ast,\ast}(G;\mathcal{R}) = H^\ast(G/T) \otimes \Lambda_{\mathcal{R}}^\ast(t_1,\dots,t_n)$를 취한다.
• 정리 1.2를 적용하여 $H^\ast(G/T)$를 몫환 $\mathbb{Z}[\omega_1,\dots,\omega_n, y_1,\dots,y_m]/\langle h_i, f_j, g_j \rangle$로 표현한다. 여기서 $\omega_i$는 기본 무게이고 $y_j$는 슈부버트 클래스이다.
• 생성자 $\varphi: \langle \omega_1,\dots,\omega_n \rangle \to E_2^{\ast,1}(G)$를 $\varphi(P) = \sum p_i \otimes t_i$로 정의하여 $H^\ast(G/T)$의 관계를 스펙트럴 시퀀스로 올리는 데 사용한다.
• 표준 호모로지 $\kappa: E_3^{2k,1}(G) \to H^{2k+1}(G)$를 사용하여 $E_3$-클래스를 $H^\ast(G)$의 코homology 클래스로 해석한다.
• 스펙트럴 시퀀스의 데이터와 $H^\ast(G/T)$의 다항식 관계 $h_i, f_j, g_j$를 결합하여 $H^\ast(G;\mathcal{R})$의 명시적 생성자와 관계를 구성한다.
• 체수 $\mathbb{F}_p$에서의 토르션은 등사 $r_p: \sigma_p(G) \to \operatorname{Im}\delta_p$를 통해 제어하고, 제곱 $\xi_{s-1}^2$는 식 (4.2)의 관계를 사용하여 평가한다.

실험 결과

연구 질문

• RQ1 1-연결 컴팩트 리 군 $G$의 정수 코homology 링 $H^*(G;\mathbb{Z})$는 $G$의 딜린 타입에 관계없이 균일하게 구성될 수 있는가?
• RQ2 예외적 리 군 $E_8, E_7, E_6, F_4, G_2$의 코homology 링 $H^*(G;\mathbb{Z})$의 구조는 어떠한가?
• RQ3 특히 슈부버트 클래스와 기본 무게를 포함한 $H^*(G/T)$의 관계들이 스펙트럴 시퀀스를 통해 $H^*(G)$로 어떻게 전이되는가?
• RQ4 $E_2$-미분 $d_2(x \otimes t_k) = x\omega_k \otimes 1$는 $G$의 코homology를 결정하는 데 어떤 역할을 하는가?
• RQ5 $p=2,3,5$에 대해 $H^*(G;\mathbb{F}_p)$의 토르션 클래스는 군 $G$의 기본 자료에 의해 어떻게 제어되는가?

주요 결과

• 논문은 모든 1-연결 컴팩트 리 군, 특히 5개의 예외적 군을 포함하여 $H^*(G;\mathbb{Z})$의 완전하고 균일한 구성법을 제공하며, 문제 1.1를 해결한다.
• $G = E_8$의 경우, 비자명한 관계 $\phi = 2y_4^5 - y_6^3 + y_7^2 + \beta = 0$ ($\beta \in \langle \omega_1,\dots,\omega_8 \rangle$)에 의해 결정되며, 이는 $g_4, g_6, g_7$ 사이의 복잡한 관계를 유도한다.
• 정수 코homology 링 $H^*(G;\mathbb{Z})$는 슈부버트 클래스의 역상 $x_s = \pi^*(y_i)$와 무게 다항식의 올림 $\varphi(P)$로 생성되며, $h_i, f_j, g_j$로부터 유도된 관계를 가진다.
• 체수 $\mathbb{F}_p$에서의 토르션은 기본 자료: $d^1(G;p)$ 및 $\overline{d}^1(G;p)$에 의해 제어되며, 관계 $\mathcal{F}_s$ 및 $\mathcal{H}_{s,I}$는 명시적으로 계산된다.
• $H^*(G;\mathbb{Z})$의 구조는 다항식 환 위의 자유 외적 대수 모odulo 관계이며, 자유 부분은 자유 제곱을 가진 원소 $\varrho_{s-1}$에 의해 결정된다.
• 기본 자료 — $\{\deg h_i\}$, $\{\deg y_j\}$, $\{p_j\}$, $\{k_j\}$ — 는 모든 고전적 및 예외적 1-연결 리 군에 대해 표 5.1 및 5.2에 정리되어 있으며, 코homology 링의 완전한 불변량을 제공한다.