[논문 리뷰] Poincaré series and rational cohomology rings of Kac-Moody groups and their flag manifolds

Xuan Zhao, Jin Chunhua외 1명|arXiv (Cornell University)|2013. 01. 12.

Algebraic structures and combinatorial models참고 문헌 25인용 수 3

한 줄 요약

이 논문은 레일리-세르 스펙트럴 시퀀스와 카르탕 행렬의 구조를 통해 Poincaré 시리즈를 분석하여, 불정적 카크-무디 군과 그 플랑크 다양체의 유리수 위상수학적 코homology 링을 결정한다. 핵심 결과는 완전한 분류이다: 만약 카르탕 행렬이 대칭화 가능하면, 그 군의 유리수 코homology 링은 단일한 차수 3 생성자를 가진 외부 대수와 다항식 대수의 텐서곱이며, 否면 순수하게 다항식 대수이다. 이는 그들의 유리수 호모토피 유형과 유리수 호모토피 군을 완전히 결정한다.

ABSTRACT

In this paper, we study the rational cohomology rings of indefinite Kac-Moody groups and their flag manifolds. By extracting the information of cohomology from the Poincaré series, we are able to determine the rational cohomology rings of Kac-Moody groups and their flag manifolds. Since Kac-Moody groups and their flag manifolds are rational formal, we also determine their rational homotopy groups and rational homotopy types.

연구 동기 및 목표

• 불정적 카크-무디 군과 그 플랑크 다양체의 유리수 코homology 링을 계산하는 것 — 오랫동안 열려 있던 문제이다.
• 유리수 형식성과 코homological 자료를 활용하여 이러한 군의 유리수 호모토피 유형과 유리수 호모토피 군을 결정하는 것.
• 카르탕 행렬의 대칭화 가능성에 따라 코homology 링의 구조를 분류하여, 대칭화 가능과 비대칭화 가능 경우를 구분하는 것.
• 다항식 대수와 외부 대수를 이용하여 $ H^*(G(A)) $ 와 $ H^*(F(A)) $ 의 완전한 대수적 기술을 제공하는 것 — 차수는 Poincaré 시리즈에 의해 결정된다.

제안 방법

• 군의 피브레이션 $ G(A) \to F(A) \to BB(A) $ 에 대해 레일리-세르 스펙트럴 시퀀스를 사용하여 $ G(A) $ 와 $ F(A) $ 의 Poincaré 시리즈를 연결한다.
• 이전 연구 [13][14] 에서의 귀납적 방법을 적용하여 플랑크 다양체 $ F(A) $ 의 Poincaré 시리즈 $ P_A(q) $ 를 카르탕 행렬 $ A $ 에서 직접 계산한다.
• 스펙트럴 시퀀스와 직접 계산을 통해 $ F(A) $ 의 Poincaré 시리즈를 두 가지 방법으로 비교하여 베텨 수 $ i_k $ 를 추출한다.
• 유리수 코homology 의 호프 대수 구조를 사용하여 $ H^*(G(A)) $ 를 다항식 대수와 외부 대수의 텐서곱으로 표현하며, 생성자는 $ i_k $ 에 의해 결정된다.
• 카크의 결과를 활용하여 $ H^*(BB(A)) $ 에서의 정규 수열을 도출함으로써, $ P_A(q) $ 를 $ i_k $ 에 대한 닫힌 표현식으로 유도한다.
• 카르탕 행렬 $ A $ 의 대칭화 가능성 여부를 핵심 불변량으로 사용한다: 대칭화 가능하면 $ i_3 = 1 $, 否면 $ i_3 = 0 $ 이며, 3차수를 초과하는 모든 홀수차수 생성자는 소멸한다.

실험 결과

연구 질문

• RQ1 불정적 카크-무디 군에 대해 유리수 코homology 링 $ H^*(G(A)) $ 의 구조는 무엇인가?
• RQ2 플랑크 다양체 $ F(A) $ 의 유리수 코homology 는 카르탕 행렬 $ A $, 특히 그 대칭화 가능성에 따라 어떻게 달라지는가?
• RQ3 Poincaré 시리즈와 카르탕 행렬 자료로부터 $ G(A) $ 와 $ F(A) $ 의 유리수 호모토피 유형을 완전히 결정할 수 있는가?
• RQ4 대칭화 가능성 조건은 $ G(A) $ 의 유리수 코homology 생성자 분류에 어떤 역할을 하는가?
• RQ5 유리수 코homology 생성자의 차수는 Poincaré 시리즈와 웨일 군의 구조와 어떻게 관련되는가?

주요 결과

• 불분해 불정적 카르탕 행렬 $ A $ 에 대해, $ A $ 가 대칭화 가능하면 $ H^*(G(A)) \cong \Lambda_{\mathbb{Q}}(y_3) \otimes \mathbb{Q}[z_1, \dots, z_k, \dots] $ 를 만족하며, $ \deg z_k \geq 4 $ 이고 짝수이다.
• 만약 $ A $ 가 비대칭화 가능하면 $ H^*(G(A)) \cong \mathbb{Q}[z_1, \dots, z_k, \dots] $ 로 순수한 다항식 대수이다.
• 플랑크 다양체 $ F(A) $ 의 유리수 코homology 는 $ A $ 가 대칭화 가능하면 $ \mathbb{Q}[\omega_1, \dots, \omega_n]/\langle \psi \rangle \otimes \mathbb{Q}[z_1, \dots, z_k, \dots] $ 이며, 비대칭화 가능하면 $ \mathbb{Q}[\omega_1, \dots, \omega_n] \otimes \mathbb{Q}[z_1, \dots, z_k, \dots] $ 이다.
• 생성자 $ z_k $ 의 차수는 Poincaré 시리즈 $ P_A(q) $ 와 대칭화 가능성 지표 $ \epsilon(A) $ 에 의해 결정된다.
• 모든 $ i \neq j $ 에 대해 $ a_{ij}a_{ji} \geq 4 $ 인 예시에서는 Poincaré 시리즈가 $ P_A(q) = \frac{1 - q^4}{(1 - q^2)^n} \cdot \frac{1}{\prod_{k=2}^\infty (1 - q^{2k})^{\dim L^{k}_{n-1}}} $ 로 주어진다.
• 이 예시에서 $ A $ 가 대칭화 가능하면 $ i_1 = i_2 = 0 $, $ i_3 = 1 $, $ i_{2k} = \dim L^{k}_{n-1} $ for $ k \geq 2 $ 이며, 3차수를 초과하는 모든 홀수차수 생성자는 소멸한다.