[논문 리뷰] The Chow rings of generalized Grassmannians

Haibao Duan, Xuezhi Zhao|arXiv (Cornell University)|2005. 11. 14.

Advanced Combinatorial Mathematics참고 문헌 21인용 수 10

한 줄 요약

이 논문은 카르탕 행렬에서 유도된 슈베르트 클래스의 곱셈 공식과 브라우트-셰바일리의 기저 정리에 기반하여, 일반화된 그라스만이안과 랭크-1 동형 공간의 초우 링을 계산하는 새로운 방법을 제시한다. 주요 기여는 다항식 링의 몫으로서 명시적으로 계산된 관계를 통해 초우 링을 명시적인 표현으로 제공하는 것으로, $E_8/E_7\cdot S^1$를 포함한 일곱 개의 예외적 리 군 사례에 대한 결과를 포함한다. 여기서 링은 4개의 클래스에 의해 생성되며, 이들의 차수는 각각 2, 12, 20, 39, 47, 59이며, 유리수 호모토피 이론에서의 성질을 반영한다.

ABSTRACT

Based on the Basis theorem of Bruhat--Chevalley [C] and the formula for multiplying Schubert classes obtained in [D\QTR{group}{u}] and programed in [DZ$_{\QTR{group}{1}}$], we introduce a new method computing the Chow rings of flag varieties (resp. the integral cohomology of homogeneous spaces). The method and results of this paper have been extended in [DZ$_{3}$, DZ$_{4}$] to obtain the integral cohomology rings of all complete flag manifolds, and to construct the integral cohomologies of Lie groups in terms of Schubert classes.

연구 동기 및 목표

• 스펙트럴 시퀀스나 토폴로지적 기법에 의존하지 않고도 플래그 다양체와 동형 공간의 초우 링을 계산하기 위한 자가 포함된 방법을 개발한다.
• 예외적 리 군과 관련된 일반화된 그라스만이안의 초우 링을 다항식 링의 몫으로서 명시적인 관계로 제시한다.
• 이전 연구에서 $E_6/A_6\cdot S^1$ 및 $E_8/E_7\cdot S^1$의 정수 계수 코homology에 대한 오랜 오류와 모호함을 제거하기 위해 최소한의 기하학적으로 의미 있는 생성자와 정확한 관계를 제공한다.
• 이 방법을 확장하여 초우 링의 구조를 통해 이 공간들의 유리수 호모토피 군을 직접 계산한다.
• 도다, 이시토야, 와타나베의 이전 연구에서 보고된 $E_6/A_6\cdot S^1$ 및 $E_8/E_7\cdot S^1$의 코homology에 대한 알려진 오류를 수정한다.

제안 방법

• 브라우트-셰바일리의 덧셈 기저 정리를 활용하여 초우 링 $A^*(G/H)$를 슈베르트 클래스로 생성되는 자유 아벨 군으로 표현한다.
• 리 군의 루트 시스템과 카르탕 행렬의 구조에서 유도된 슈베르트 클래스의 곱셈 공식을 적용한다.
• 웨일 좌표를 사용하여 슈베르트 클래스를 인덱싱함으로써 구조 상수의 체계적 계산을 가능하게 한다.
• 고급 토폴로지 기법을 피하고 카르탕 행렬에서 유도된 순수 대수적 계산으로 문제를 환원한다.
• 최소 생성 집합의 슈베르트 클래스를 식별하고 기호 대수를 통해 이들 사이의 모든 곱셈 관계를 계산한다.
• 얻어진 링 표현을 바탕으로 표준적인 유리수 호모토피 이론의 방법을 통해 유리수 호모토피 군을 유도한다.

실험 결과

연구 질문

• RQ1 예외적 리 군 $G$와 기본 무게에 대응하는 포물형 부분군 $H$에 대해 일반화된 그라스만이안 $G/H$의 초우 링에 대한 최소 생성 집합은 무엇인가?
• RQ2 이 생성자들 사이의 초우 링 $A^*(G/H)$에서의 완전한 관계는 무엇이며, 이를 명시적인 다항식 관계로 표현할 수 있는가?
• RQ3 초우 링의 정수 링의 구조는 그의 유리수 코homology와 어떻게 다를까? 그리고 유리화 과정에서 어떤 정보가 손실되는가?
• RQ4 이 방법은 $H^*(E_6/A_6\cdot S^1)$ 및 $H^*(E_8/E_7\cdot S^1)$의 이전 계산에서 알려진 오류를 수정할 수 있는가?
• RQ5 초우 링 표현에서 직접적으로 어떻게 $G/H$의 유리수 호모토피 군을 유도할 수 있는가?

주요 결과

• 초우 링 $F_4/C_3\cdot S^1$는 $\mathbb{Z}[y_1,y_3,y_4,y_6]/\langle 2y_3 - y_1^3, 2y_6 + y_3^2 - 3y_1^2y_4, 3y_4^2 - y_1^2y_6, y_6^2 - y_4^3 \rangle$이며, 생성자는 각각 차수 1, 3, 4, 6에 있다.
• 초우 링 $F_4/B_3\cdot S^1$는 $\mathbb{Z}[y_1,y_4]/\langle 3y_4^2 - y_1^8, 26y_4^3 - 5y_1^{12} \rangle$이며, 생성자는 각각 차수 1과 4에 있다.
• 초우 링 $E_6/A_6\cdot S^1$는 $\mathbb{Z}[y_1,y_3,y_4,y_6]/\langle r_6,r_8,r_9,r_{12} \rangle$이며, $r_6 = 2y_6 + y_3^2 - 3y_1^2y_4 + 2y_1^3y_3 - y_1^6$이고, 나머지 관계는 명시적으로 기술되어 있다.
• 초우 링 $E_6/D_5\cdot S^1$는 $\mathbb{Z}[y_1,y_4]/\langle 2y_1^9 + 3y_1y_4^2 - 6y_1^5y_4, y_4^3 - 6y_1^4y_4^2 + y_1^{12} \rangle$이며, 생성자는 각각 차수 1과 4에 있다.
• 초우 링 $E_8/E_7\cdot S^1$는 차수 1, 6, 10, 15에 해당하는 클래스로 생성되며, 관계는 $r_{15}, r_{20}, r_{24}, r_{30}$이다. 생성자 $y_{15}$는 정수적으로 유지되며, 이는 유리수 경우와의 차이를 보여준다.
• 유리수 호모토피 군 $E_8/E_7\cdot S^1$는 차수 2, 12, 20, 39, 47, 59에서 $\mathbb{Q}$이며, 나머지 차수에서는 0이다. 이는 초우 링 표현에서 도출되었다.