[논문 리뷰] Schubert calculus and the integral cohomology of simple Lie groups

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

Advanced Combinatorial Mathematics참고 문헌 22인용 수 1

한 줄 요약

이 논문은 단순 리 군 G와 체 F=Q, F_p, Z에 대해 전체적으로 일관된 방법으로 정수 코homology 링 H*(G;F)를 구성한다. 이는 리 군 G/T의 플래그 다양체 위에서 고급 슈부르트 계산을 활용한 것으로, 최근의 슈부르트 계산 발전을 바탕으로 H*(G;F_p)를 전역적으로 계산하는 데 오랫동안 남아있던 열린 문제를 해결하고, 예외적 군 E6, E7, E8의 정수 코homology 링을 규명한다.

ABSTRACT

The problem of computing the cohomology ring H*(G;F) of a Lie group G was initiated by E. Cartan in 1929, and has been one of the main focuses in the 20th century algebraic topology. However, despite jumbled efforts and great achievements by many mathematicians in about one century two important questions remain open: 1) find a general procedure computing the ring H*(G;F_{p}) for all G and p; 2) determine the integral cohomology ring H*(G;Z) for the most difficult and subtle cases of G=E6,E7 and E8. Let G be a simple Lie group with a maximal torus T. Based on recent progress in Schubert claculus on the flag manifold G/T DZ3 we construct the ring H*(G;F) uniformly for all G and F=Q, F_p,Z.

연구 동기 및 목표

• 모든 단순 리 군 G와 소수 p에 대해 H*(G;F_p)를 통일적으로 계산하는 데 오랫동안 남아있던 과제를 해결한다.
• 가장 어려운 사례로 간주되며 아직도 가장 미묘한 경우로 남아 있는 예외적 리 군 E6, E7, E8에 대해 정수 코homology 링 H*(G;Z)를 규명한다.
• G/T 위의 기하학적 및 대수적 구조를 활용해 F=Q, F_p, Z에 대해 H*(G;F)의 계산을 통합하는 일반적 프레임워크를 개발한다.
• 최근 슈부르트 계산의 발전을 바탕으로 이전의 특수한 방법에 국한된 한계를 극복하고 체계적인 절차를 구축한다.

제안 방법

• 플래그 다양체 G/T를 슈부르트 계산을 통한 코homology 링 구성의 기하학적 기초로 활용한다.
• 최근의 슈부르트 계산 결과를 적용하여 코homology 링을 생성하는 슈부르트 클래스를 정의하고 계산한다.
• 웨일 군과 루트 시스템의 구조를 활용해 F=Q, F_p, Z에 대해 H*(G;F)의 통일된 표현을 구성한다.
• 브라우트 분해와 슈부르트 다양체를 활용해 G/T의 세포 분해를 정의하고, 이를 통해 코homology 링의 구조를 유도한다.
• 셰바레-슈부르트 표현을 사용해 슈부르트 클래스를 코homology의 다항식 생성자와 관계식으로 연결한다.
• 정수 코homology로의 확장을 위해 토프션과 mod p로의 환원 분석을 통해 유리 코homology H*(G;Q)의 결과를 확장한다.

실험 결과

연구 질문

• RQ1 모든 단순 리 군 G와 모든 소수 p에 대해 H*(G;F_p)를 통일적으로 계산할 수 있는 절차를 개발할 수 있는가?
• RQ2 예외적 리 군 E6, E7, E8에 대해 정수 코homology 링 H*(G;Z)의 구조는 어떠한가?
• RQ3 G/T 위의 슈부르트 계산을 체계적으로 응용하여 F=Q, F_p, Z에 대해 전체 코homology 링 H*(G;F)를 재구성할 수 있는가?
• RQ4 예외적 군에 대해 슈부르트 클래스의 관점에서 H*(G;Z)의 생성자와 관계식은 무엇인가?
• RQ5 플래그 다양체 기하학을 활용해 다양한 계수 체계에 대해 코homology 링 H*(G;F)를 얼마나 통일적으로 재구성할 수 있는가?

주요 결과

• 논문은 단순 리 군 G와 계수 F=Q, F_p, Z에 대해 G/T 위의 슈부르트 계산을 활용해 H*(G;F)의 통일된 표현을 구성한다.
• 이 연구는 예외적 군 E6, E7, E8에 대해 정수 코homology 링 H*(G;Z)의 첫 번째 완전하고 체계적인 계산을 제공한다.
• 이 방법은 단일 프레임워크를 사용해 모든 G와 p에 대해 H*(G;F_p)를 통일적으로 계산하는 데 오랫동안 남아있던 열린 문제를 성공적으로 해결한다.
• 코homology 링은 웨일 군과 루트 시스템에서 유도된 슈부르트 관계식으로 생성되는 이상수에 의해 다항식 링의 몫으로 표현된다.
• 이 구성은 E6, E7, E8의 정수 코homology 링 내의 토프션 구조를 드러내며, 유리 코homology를 초월한 비자명한 토프션의 존재를 확인한다.
• 이 접근은 기하학적 및 대수적 프레임워크에 통합함으로써 이전에 분리되어 있던 유리, mod p, 정수 코homology 결과들을 통합한다.