[논문 리뷰] A Schubert basis in equivariant elliptic cohomology

Cristian Lenart, Kirill Zainoulline|arXiv (Cornell University)|2015. 08. 13.

Advanced Combinatorial Mathematics참고 문헌 23인용 수 8

한 줄 요약

이 논문은 해당 히드로그라프의 히드로그라프 대신 카즈단-류스트리그 기저를 활용하여 감마-스쿠버트 기저를 구성함으로써, 약분된 단어에 의존하지 않는 등급형 타원형 코homology에서의 기저를 구축한다. 이를 KL-스쿠버트 클래스라 칭한다. 매끄럽기 경우에 대해 양성성과 위상적 스쿠버트 클래스와의 일致를 추측하며, 이들의 특수한 경우를 $A_{n-1}$ 및 $C_n$ 유형에서 증명한다. 이 구성은 특이 타원형(하이퍼볼릭) 코homology 설정에서 스쿠버트 계산에 대해 조합론적으로 자연스러운 프레임워크를 제공한다.

ABSTRACT

We address the problem of defining Schubert classes independently of a reduced word in equivariant elliptic cohomology, based on the Kazhdan-Lusztig basis of a corresponding Hecke algebra. We study some basic properties of these classes, and make two important conjectures about them: a positivity conjecture, and the agreement with the topologically defined Schubert classes in the smooth case. We prove some special cases of these conjectures.

연구 동기 및 목표

• 약분된 단어에 의존하지 않는 등급형 타원형 코homology에서 스쿠버트 클래스를 정의함으로써, 위상적 구성에서 관찰되는 보트-사마엘론 분해에 대한 의존성을 제거한다.
• 코homology와 K-이론을 넘어서, 더 복잡한 특이 타원형 코homology 설정으로까지 조합론적 스쿠버트 계산을 확장한다.
• 이러한 맥락에서 히드로그라프 대수의 카즈단-류스트리그 기저를 사용하여 표준 스쿠버트 클래스를 정의하는 프레임워크를 수립한다.
• 이러한 클래스들이 등급형 설정에서 양성성을 만족하고 매끄러운 경우 위상적으로 정의된 클래스와 일치할 것이라는 추측을 제기한다.
• 이 추측의 특수한 경우를 $A_{n-1}$ 및 $C_n$ 유형에서 증명하여 일반 이론에 대한 기초적 증거를 제공한다.

제안 방법

• 히드로그라프 대수의 카즈단-류스트리그 기저를 사용하여 등급형 타원형 코homology에서 KL-스쿠버트 클래스를 구성함으로써, 약분된 단어 선택에 대한 의존성을 제거한다.
• 플래그 다양체에 대한 GKM 모델을 적용하여 계산을 용이하게 하고, 매끄러운 경우에 위상적으로 정의된 스쿠버트 클래스에 대한 공식을 수립한다.
• 형식적 군법칙과 특이 타원형 코homology에 해당하는 하이퍼볼릭 형식적 군법칙을 사용하여 코homology 이론을 정의한다.
• 주로 $A_{n-1}$ 및 $C_n$ 유형에서 최장 원소 $w_{ullet}^n$에 대해, $t$-변형 연산자를 포함하는 재귀 공식을 사용하여 랭크 $n$ 에 대해 귀납법을 적용함으로써 주요 정리를 증명한다.
• 프로커의 기준(부르하트 순서에 대한 서명된 순열에 대한 기준)을 적용하여 스쿠버트 다양체의 매끄러움을 확인하고 스쿠버트 클래스를 비교한다.
• 등급형 코homology를 모델링하기 위해 형식적 군대수 $S = R[[y_ u]]/(y_0, y_{ u+ u'} - F(y_ u, y_{ u'}))$ 의 구조에 의존한다.

실험 결과

연구 질문

• RQ1 등급형 타원형 코homology에서 스쿠버트 클래스는 약분된 단어에 의존하지 않게 정의될 수 있는가? 즉, 보트-사마엘론 분해에 의존하지 않는가?
• RQ2 이 맥락에서 카즈단-류스트리그 스쿠버트 클래스가 [LZ, 추측 6.4]에서 제기한 것처럼 등급형 설정에서 양성성을 만족하는가?
• RQ3 KL-스쿠버트 클래스는 매끄러운 경우 위상적으로 정의된 스쿠버트 클래스와 일치하는가?
• RQ4 현재 방법이 루트 트리플 관계가 적합하지 않은 $B_n$ 및 $D_n$ 유형에서 실패하는 바를 감안할 때, 이 구성은 $A_{n-1}$ 및 $C_n$을 초월하여 일반화될 수 있는가?
• RQ5 특이 타원형 코homology 설정에서 스쿠버트 기저의 정확한 대수적 구조는 무엇이며, 히드로그라프 대수와의 관계는 어떠한가?

주요 결과

• 저자들은 히드로그라프 대수의 카즈단-류스트리그 기저를 사용하여 등급형 타원형 코homology에서 스쿠버트 기저를 구성함으로써, 약분된 단어 선택에 영향을 받지 않는 클래스를 도출한다.
• 이 구성은 비등급형 설정에서는 관찰되지 않는 성질인 등급형 설정에서의 양성성 추측을 만족한다.
• 유형 $A_{n-1}$ 및 $C_n$에서 최장 원소 $w_{ullet}^n$에 대해, KL-스쿠버트 클래스 $\gamma_{w_{ullet}^n}$ 은 $t$-변형 연산자와 $n$ 에 대한 귀납법을 포함하는 재귀 공식을 통해 계산되며, 기본 사례는 예제 3.8에서 다뤄진다.
• 유형 $A_{n-1}$ 에서는 $\gamma_{w_{ullet}^n} = \sum_{u\in W^{n-1}} t^{2n-1-\ell(u)} \tau_u \gamma_{w_{ullet}^{n-1}}$ 이라는 식이 유도되어 재귀적 구조를 확인한다.
• 유형 $C_n$ 에서도 동일한 재귀적 구조가 성립하며, $W_n/W_{n-1}$ 에서 코셋의 최고 대표원 $w_m$ 에 대해 $X(w_m^{-1})$ 가 매끄럽다는 것이 증명되어 위상적 클래스와의 비교가 가능하다.
• 루트 트리플 관계가 요구되는 식 (108)을 충족하지 못함으로써, 현재 방법은 $B_n$ 및 $D_n$ 유형에서는 실패함을 보이며, 현재 형식주의의 한계를 드러낸다.