[논문 리뷰] Topology of the octonionic flag manifold

Augustin-Liviu Mare, Matthieu Willems|arXiv (Cornell University)|2008. 09. 25.

Homotopy and Cohomology in Algebraic Topology참고 문헌 24인용 수 4

한 줄 요약

이 논문은 오ктوني온 플라너만ifold Fl(𝕆)의 정수 코homology와 Spin(8)-equivariant cohomology를 Borel형 서술로 완전히 기술하며, 그들의 𝕆P²로의 사영에 대한 계수 8 벡터 번들의 올루프 클래스를 사용한다. 이는 양자 코homology와 K-이론의 Goresky-Kottwitz-MacPherson 유형의 표현을 수립하여, 예외적 리군 F₄와 대칭 공간 E₆(−26)/F₄와 깊이 연결된 깊은 대수적 구조를 드러낸다.

ABSTRACT

The octonionic flag manifold $Fl(\mathbb{O})$ is the space of all pairs in $\mathbb{O}P^2 imes \mathbb{O}P^2$ (where $\mathbb{O}P^2$ denotes the octonionic projective plane) which satisfy a certain "incidence" relation. It comes equipped with the projections $π_1,π_2 : Fl(\mathbb{O}) o \mathbb{O}P^2$, which are $\mathbb{O}P^1$ bundles, as well as with an action of the group $Spin(8)$. The first two results of this paper give Borel type descriptions of the usual, respectively $Spin(8)$-equivariant cohomology of $Fl(\mathbb{O})$ in terms of $π_1$ and $π_2$ (actually the Euler classes of the tangent spaces to the fibers of $π_1$, respectively $π_2$, which are rank 8 vector bundles on $Fl(\mathbb{O})$). Then we obtain a Goresky-Kottwitz-MacPherson type description of the ring $H^*_{Spin(8)}(Fl(\mathbb{O}))$. Finally, we consider the $Spin(8)$-equivariant $K$-theory ring of $Fl(\mathbb{O})$ and obtain a Goresky-Kottwitz-MacPherson type description of this ring.

연구 동기 및 목표

• Borel형 서술를 사용하여 오ктوني온 플라너만ifold Fl(𝕆)의 정수 코homology 링을 결정하는 것.
• 생성자와 관계를 통해 Fl(𝕆)의 Spin(8)-등변 코homology를 기술하는 것.
• Fl(𝕆)의 등변 코homology 링에 대해 Goresky-Kottwitz-MacPherson 유형의 서술를 수립하는 것.
• Fl(𝕆)의 등변 K-이론 링에 대해 GKM 접근법을 확장하여 이 링의 서술를 제공하는 것.
• 대칭 공간 E₆(−26)/F₄로의 Fl(𝕆)의 실현과 그와 관련된 조르단 대수 ℋ₃(𝕆)을 통해 Fl(𝕆)의 위상수학적 및 대수적 구조를 명확히 하는 것.

제안 방법

• Fl(𝕆) = F₄/Spin(8)로의 식별과 Fl(𝕆) → 𝕆P²로의 자연스러운 사영 π₁, π₂: Fl(𝕆) → 𝕆P²를 𝕆P¹-_bundle로 사용한다.
• π₁과 π₂의 올에 각각 탄성하는 계수 8 벡터 번들의 𝒟₁과 𝒟₂를 분석한다.
• Euler 클래스 e(𝒟₁)와 e(𝒟₂)를 계산하고, 2e(𝒟₁) + e(𝒟₂)와 e(𝒟₁) + 2e(𝒟₂)가 3으로 나누어떨어짐을 보인다.
• 정규화된 생성자: (1/3)(2e(𝒟₁) + e(𝒟₂))와 (1/3)(e(𝒟₁) + 2e(𝒟₂))를 도입하여 정수 코homology 링을 서술한다.
• Spin(8)의 작용과 그 최대 토러스를 활용하여 Goresky-Kottwitz-MacPherson 프레임워크를 등변 코homology에 적용한다.
• Cartan 분해 𝔞₆(−26) = 𝔣₄ ⊕ ℋ₃⁰(𝕆)와 루트 공간 분해를 사용하여 루트 시스템을 식별하고 GKM 서술를 구성한다.

실험 결과

연구 질문

• RQ1 H*(Fl(𝕆); ℤ)의 정수 코homology 링의 구조는 무엇이며, 생성자와 관계를 통해 어떻게 서술될 수 있는가?
• RQ2 Spin(8)-등변 코homology H*_{Spin(8)}(Fl(𝕆))는 어떻게 분해되며, 특성 클래스를 통해 어떤 서술를 갖는가?
• RQ3 Fl(𝕆)의 등변 코homology에 대해 Goresky-Kottwitz-MacPherson 유형의 서술를 구성할 수 있는가?
• RQ4 Fl(𝕆)의 Spin(8)-등변 K-이론 링의 구조는 무엇이며, GKM 유형의 프레임워크로 기술할 수 있는가?
• RQ5 E₆(−26)/F₄의 루트 시스템과 대칭 공간 구조는 Fl(𝕆)의 위상수학과 어떻게 관련되어 있는가?

주요 결과

• 정수 코homology 링 H*(Fl(𝕆); ℤ)는 자유롭고, 정규화된 클래스 (1/3)(2e(𝒟₁) + e(𝒟₂))와 (1/3)(e(𝒟₁) + 2e(𝒟₂))에 의해 생성된다.
• Euler 클래스 e(𝒟₁)와 e(𝒟₂)는 2e(𝒟₁) + e(𝒟₂)와 e(𝒟₁) + 2e(𝒟₂)가 3으로 나누어떨어짐을 만족하며, 이는 유리수 생성자를 사용할 수 있도록 한다.
• 코homology 링의 관계 이상수는 세 변수에 대한 제2 및 제3 기본 대칭 다항식의 영성으로 생성된다: S₂(α, β, γ) = 0 및 S₃(α, β, γ) = 0, 여기서 α = (1/3)(2e(𝒟₁) + e(𝒟₂)), β = (1/3)(−e(𝒟₁) + e(𝒟₂)), γ = (1/3)(−e(𝒟₁) − 2e(𝒟₂)).
• 최대 토러스의 작용과 루트 시스템 데이터를 활용하여, Spin(8)-등변 코homology 링 H*_{Spin(8)}(Fl(𝕆))에 대해 Goresky-Kottwitz-MacPherson 유형의 서술가 성립한다.
• Fl(𝕆)의 등변 K-이론 링은 코homology의 경우와 유사한 GKM 유형의 서술를 갖는다. 이는 프레임워크를 K-이론으로 확장한 것이다.
• 대칭 공간 E₆(−26)/F₄는 플라너만ifold Fl(𝕆)로 실현되며, 그 루트 시스템과 Cartan 분해는 코homological 및 K-이론적 결과의 기하적 기초를 제공한다.