[논문 리뷰] Positivity in $T$-equivariant $K$-theory of flag varieties associated to Kac-Moody groups II

Seth Baldwin, Shrawan Kumar|arXiv (Cornell University)|2016. 07. 12.

Algebraic Geometry and Number Theory참고 문헌 20인용 수 2

한 줄 요약

이 논문은 비가역적 Kac-Moody 군과 관련된 플래그 다양체의 T-첨가된 그로텐디크 군에서 부호 교호성(positivity)을 확립한다. 이는 반대 슈베르트 다양체 기저에서의 구조 상수들이 짝수 부호를 가지며, (e^{-α_i} - 1)의 비음수 정수 계수 선형 조합에 속한다는 것을 증명한다. 이 결과는 유한 차원 경우의 이전 연구를 일반화하며, Lam-Schilling-Shimozono의 아핀 그라스만يان에 대한 추측을 증명한다. 이는 이중성, T-첨가 호모로지 이론, 그리고 해소된 스킴의 유리 특이성의 성질을 활용하여 오일러 지표와 코호몰로지 소멸을 통해 부호를 제어함으로써 달성된다.

ABSTRACT

We prove sign-alternation of the structure constants in the basis of structure sheaves of opposite Schubert varieties in the torus-equivariant Grothendieck group of coherent sheaves on the flag varieties $G/P$ associated to an arbitrary symmetrizable Kac-Moody group $G$, where $P$ is any parabolic subgroup. This generalizes the work of Anderson-Griffeth-Miller from the finite case to the general Kac-Moody case, and affirmatively answers a conjecture of Lam-Schilling-Shimozono regarding the signs of the structure constants in the case of the affine Grassmannian.

연구 동기 및 목표

• 유한 차원 군에서의 Anderson-Grieffeth-Miller의 긍정성 결과를 비가역적 Kac-Moody 군으로 일반화하기.
• Lam-Schilling-Shimozono의 아핀 그라스만얀의 그로텐디크 환에서의 구조 상수의 부호에 대한 추측을 확인하기.
• 모든 유한형 타입의 표준 포괄적 부분군 P에 대해 G/P의 T-첨가 그로텐디크 군에서의 부호 교호성 확립하기.
• 첨가된 설정에서의 기저 변경을 통해 일반(비첨가) K-이론으로 결과를 확장하기.
• 혼합 공간, 첨가 이중성, 코호몰로지 소멸을 활용한 구조 상수의 부호 제어 프레임워크 개발하기.

제안 방법

• 첨가 오일러-포앵카르에 쌍대성에 의해 그로텐디크 군 K^T_0(ḠX)와 컴acts지지 K-이론 KT_0(X) 사이의 이중성을 사용한다.
• 등장 공간 XP와 혼합 군 Γ를 도입하여 첨가 K-이론을 비첨가 호모로지로 감소시킨다.
• Sierra의 유한 차원 모델에 대한 횡단성 결과를 적용하여 핵심 층의 지지와 코호몰로지를 제어한다.
• 핵심 스킴 Z의 해소 eZ를 구성하고, Z가 유리 특이성을 가지며, ∂Z가 코hen-맥컬레이임을 증명한다.
• 세르 이중성과 국소-전체 스펙트럴 시퀀스를 사용하여 ONγ(−Mγ)의 코호몰로지를 Ext 군과 연결하고 오일러 지표의 부호를 제어한다.
• 평탄성과 코슈울 복합체 기법을 활용하여 일반 섬유에서 ωZ(∂Z)의 제한과 동일한 구조를 가진 캐논리컬 층 ωNγ(Mγ)의 동형성을 검증한다.

실험 결과

연구 질문

• RQ1 Kac-Moody 플래그 다양체의 T-첨가 그로텐디크 군에서의 구조 상수는 부호 교호성 성질을 만족하는가?
• RQ2 Lam-Schilling-Shimozono의 아핀 그라스만얀에서의 구조 상수의 부호에 대한 추측은 K-이론 설정에서 참인가?
• RQ3 G/P의 K^T_0에서의 구조 상수의 부호는 코호몰로지 소멸성과 이중성을 통해 결정될 수 있는가?
• RQ4 스킴 Z와 그 해소 eZ의 유리 특이성 성질이 부호 제어를 위한 필요한 코호몰로지 소멸성을 보장하는가?
• RQ5 혼합 군 Γ는 첨가 문제를 전개된 조건에서 제어 가능한 횡단성과 함께 비첨가 문제로 감소시키는 데 사용될 수 있는가?

주요 결과

• G/B의 T-첨가 그로텐디크 군에서의 구조 상수 dw^u,v는 (−1)^{ℓ(w)+ℓ(u)+ℓ(v)}dw^u,v ∈ Z≥0[(e^{-α_1}−1),…,(e^{-α_r}−1)]를 만족한다.
• 이 결과는 모든 표준 포괄적 부분군 P에 대해 유한형 타입으로 확장되며, dw^u,v(P)는 동일한 부호 교호성 조건을 만족한다.
• 일반 K-이론에서는 구조 상수 aw^u,v(P)가 (−1)^{ℓ(w)+ℓ(u)+ℓ(v)}aw^u,v(P) ∈ Z≥0를 만족한다.
• Lam-Schilling-Shimozono의 아핀 그라스만얀에 대한 추측은 확인된다: (−1)^{ℓ(u)+ℓ(v)+ℓ(w)}bw^u,v ∈ Z≥0.
• 핵심 코호몰로지 군 Hp(Nγ, ONγ(−Mγ))는 모든 p ≠ |j| + ℓ(w) − ℓ(u) − ℓ(v)에 대해 소멸하며, 이는 오일러 지표의 부호를 결정한다.
• 캐논리컬 층 ωZ(∂Z)는 혼합 군 Γ의 비어있지 않은 열린 부분집합 위에서 평탄하며, 이는 반연속성과 이중성을 활용하여 코호몰로지 소멸을 증명하는 데 유용하다.