[논문 리뷰] A Giambelli formula for the $S^1$-equivariant cohomology of type A Peterson varieties

Darius Bayegan, Megumi Harada|arXiv (Cornell University)|2010. 12. 18.

Advanced Combinatorial Mathematics참고 문헌 9인용 수 6

한 줄 요약

이 논문은 A형 페트슨 다양체의 $S^1$-동치 코homology에 대한 지아멜리 공식을 수립하여, 임의의 페트슨 색테르 클래스를 차수 2 생성자들로 표현한다. 하라다와 티모체코의 몰크 공식에 기반하여, 저자들은 명시적인 곱셈 구조를 도출하고, 그 구조 상수들이 제2종 스틸링 수임을 증명하며, 고전적 색테르 클래스와 유사한 안정성 성질을 확립한다.

ABSTRACT

The main result of this note is a Giambelli formula for the Peterson Schubert classes in the $S^1$-equivariant cohomology ring of a type $A$ Peterson variety. Our results depend on the Monk formula for the equivariant structure constants for the Peterson Schubert classes derived by Harada and Tymoczko. In addition, we give proofs of two facts observed by H. Naruse: firstly, that some constants which appear in the multiplicative structure of the $S^1$-equivariant cohomology of Peterson varieties are Stirling numbers of the second kind, and secondly, that the Peterson Schubert classes satisfy a stability property in a sense analogous to the stability of the classical equivariant Schubert classes in the $T$-equivariant cohomology of the flag variety.

연구 동기 및 목표

• S^1-동치 코homology 링에서 임의의 페트슨 색테르 클래스를 차수 2 생성자들로 표현하는 지아멜리 공식을 개발하는 것.
• 페트슨 색테르 클래스의 곱에서 나타나는 구조 상수가 나루세가 관찰한 바와 같이 제2종 스틸링 수임을 증명하는 것.
• 증가하는 플라그 다양체에 포함되는 페트슨 다양체들 사이에서 페트슨 색테르 클래스에 대한 안정성 성질을 확립하는 것.
• S^1-동치 코homology 링 $H^{*}_{S^{1}}(Y)$의 표현을 단순화하기 위해, 이것이 차수 2 클래스들에 의한 곱셈적 생성임을 보이는 것.
• 코homology 링의 정의 관계가 오직 이차 관계들로 생성됨을 시사하는 추측을 제시하는 것.

제안 방법

• 하라다와 티모체코가 유도한 페트슨 다양체의 $S^1$-동치 코homology에 대한 몰크 공식을 활용하여 색테르 클래스의 곱을 표현한다.
• 전체 플라그 다양체의 $T$-동치 코homology에서 페트슨 다양체의 $S^1$-동치 코homology로의 사영을 통해 페트슨 색테르 클래스를 정의한다.
• 제한 사상의 분석과 증가하는 $n$에 대한 클래스의 안정성 검증을 위해 조합 기법을 적용한다.
• $j_n^*: H^{*}_{S^1}(Y_{n+1}) \to H^{*}_{S^1}(Y_n)$의 역상 사상들을 활용하여, 페트슨 색테르 클래스의 제한이 포함 관계에서 유지됨을 보인다.
• 색테르 클래스 곱의 구조 상수를 직접 계산하고 조합 항등식을 적용하여 제2종 스틸링 수임을 확인한다.
• $T$-동치 코homology와 $S^1$-동치 코homology 사이의 교환 다이어그램을 활용하여 플라그 다양체에서 페트슨 다양체로 성질를 옮기는 데 사용한다.

실험 결과

연구 질문

• RQ1 A형 페트슨 다양체의 $S^1$-동치 코homology에 대해 지아멜리 공식을 구성할 수 있는가? 이는 임의의 색테르 클래스를 차수 2 생성자들로 표현하는가?
• RQ2 페트슨 색테르 클래스의 곱에서 나타나는 구조 상수가 알려진 조합론적 수, 예를 들어 제2종 스틸링 수와 일치하는가?
• RQ3 고전적 $T$-동치 색테르 클래스가 플라그 다양체 포함에 대해 가지는 안정성과 유사한 안정성 성질이 페트슨 색테르 클래스에도 존재하는가?
• RQ4 페트슨 다양체의 $S^1$-동치 코homology 링의 표현을 오직 차수 2 생성자들과 이차 관계들만을 사용하여 단순화할 수 있는가?
• RQ5 $Y_n \to Y_{n+1}$ 포함에 따라 색테르 클래스의 제한 사상은 어떻게 행동하는가? 이는 일관된 반대계를 유도하는가?

주요 결과

• 임의의 페트슨 색테르 클래스가 차수 2 생성자들의 다항식으로 표현되는 지아멜리 공식이 수립되었으며, 이는 $H^{*}_{S^1}(Y)$의 곱셈 기저를 제공한다.
• 페트슨 색테르 클래스 곱의 구조 상수가 제2종 스틸링 수임이 입증되었으며, 나루세의 추측을 확인한다.
• 페트슨 색테르 클래스는 안정성 성질을 만족한다: 포함 $Y_n \to Y_{n+1}$ 에서 $p_{w,n+1}$ 의 제한은 $p_{w,n}$ 이며, 이는 모든 $m \geq n$ 에 대해 성립한다.
• 고정점 $v \in Y_n^{S^1}$ 에서의 페트슨 색테르 클래스 $p_{w,m}$ 의 제한은 $m$ 에 독립적이며, $p_{w,n}(v)$ 와 같다. 이는 차원 간 일관성을 확인한다.
• 코homology 링 $H^{*}_{S^1}(Y)$ 는 차수 2 페트슨 색테르 클래스들에 의해 곱셈적으로 생성되며, [7, 섹션 6]에서 제시된 이전 표현을 단순화한다.
• 코homology 링의 정의 아이디얼이 오직 이차 관계들로 생성됨을 시사하는 추측을 제시하였으며, 이는 더 깊은 대수적 구조를 시사한다.