[논문 리뷰] Chevalley formula for anti-dominant weights in the equivariant $K$-theory of semi-infinite flag manifolds

Satoshi Naito, Daniel L. Orr외 1명|arXiv (Cornell University)|2018. 08. 04.

Algebraic structures and combinatorial models참고 문헌 24인용 수 10

한 줄 요약

이 논문은 반-우세한 무게에 대한 $H\times\mathbb{C}^*$-등변 $K$-이론에서 반-우세한 $λ$에 대해 선다발 클래스 $[\mathcal{O}_{Θ_G}(\lambda)]$와 색버트 클래스 $[\mathcal{O}_{Θ_G(x)}]$의 곱을 반-무한 Lakshmibai-Seshadri (LS) 경로를 통해 기술하는 Chevalley 공식을 수립한다. 주요 결과는 Kato의 동형사상에 의해 유한 차원 플래그 다양체의 등변 양자 $K$-이론에서의 양자 슈베르트 곱셈의 명시적 구조 상수를 제공한다.

ABSTRACT

We prove a Pieri-Chevalley formula for anti-dominant weights and also a Monk formula in the torus-equivariant $K$-group of the formal power series model of semi-infinite flag manifolds, both of which are described explicitly in terms of semi-infinite Lakshmibai-Seshadri paths (or, equivalently, quantum Lakshmibai-Seshadri paths). In view of recent results of Kato, these formulas give an explicit description of the structure constants for the Pontryagin product in the torus-equivariant $K$-group of affine Grassmannians and that for the quantum multiplication of the torus-equivariant (small) quantum $K$-group of finite-dimensional flag manifolds. Our proof of these formulas is based on standard monomial theory for semi-infinite Lakshmibai-Seshadri paths, which is established in our previous work, and also uses a string property of Demazure-like subsets of the crystal basis of a level-zero extremal weight module over a quantum affine algebra.

연구 동기 및 목표

• 반-무한 플래그 다양체의 등변 $K$-이론에서 우세한 무게에서 반-우세한 무게로의 Chevalley 공식을 확장하는 것.
• 유한 차원 플래그 다양체의 등변 양자 $K$-이론에서의 양자 곱셈에 대한 구조 상수의 명시적 기술 제공.
• 반-무한 LS 경로와 0-레벨 극단 모듈의 결정 기저 내의 Demazure 유사 부분집합을 사용한 Chevalley 유형 공식 수립.
• G/B의 등변 양자 $K$-이론과 $\mathbf{Q}_G$의 등변 $K$-이론 사이의 Kato의 $\mathbb{C}[P]$-모듈러스 동형사상을 활용하여 결과를 번역하는 것.

제안 방법

• 증명은 이전 연구에서 개발된 반-무한 LS 경로에 대한 표준 단항식 이론에 기반한다.
• 양자 아핀 대수의 0-레벨 극단 무게 모듈의 결정 기저 내에 있는 Demazure 유사 부분집합의 스트링 성질을 사용한다.
• 저자들은 $\mathop{\rm cl}\nolimits: \mathbb{B}^{\infty/2}(\mu) \twoheadrightarrow \mathrm{QLS}(\mu)$의 사영을 통해 관련 $K$-군 기저를 분해하고, 경로의 상과 관련된 분할로 경로를 색인화한다.
• 구조 상수는 경로 $\eta \in \mathrm{QLS}(-w_\circ\lambda)$ 및 분할 $\bm{\chi} \in \overline{\mathop{\rm Par}\nolimits(-w_\circ\lambda)}$ 에 대해 합산되며, $\mathop{\rm wt}\nolimits(\eta)$, $\deg_w(\eta)$, $|\bm{\chi}|$를 통해 무게와 차수를 조정한다.
• 공식은 $q$-차수 이동 $q^{\deg_w(\eta) - \langle -w_\circ\lambda, \xi \rangle - |\bm{\chi}|}$ 를 포함하여 양자 보정을 반영한다.
• 최종 공식은 $[\mathcal{O}_{\mathbf{Q}_G}(\lambda)] \cdot [\mathcal{O}_{\mathbf{Q}_G(x)}]$ 를 $\iota(\eta,w)t_{\xi + \xi(\eta,w) + \iota(\bm{\chi})}$ 로 색인화한 색버트 클래스의 합으로 표현한다.

실험 결과

연구 질문

• RQ1 반-무한 플래그 다양체의 등변 $K$-이론에서 우세한 무게에서 반-우세한 무게로의 Chevalley 공식을 어떻게 확장할 수 있는가?
• RQ2 반-우세한 $\lambda$에 대해 $[\mathcal{O}_{\mathbf{Q}_G}(\lambda)] \cdot [\mathcal{O}_{\mathbf{Q}_G(x)}]$ 의 곱은 어떻게 명시적으로 기술할 수 있는가?
• RQ3 반-무한 LS 경로와 그에 관련된 분할은 어떻게 등변 양자 $K$-이론의 유한 플래그 다양체에서의 양자 곱셈의 구조 상수를 매개하는가?
• RQ4 0-레벨 극단 모듈의 결정 기저 내의 Demazure 유사 부분집합은 이러한 구조 상수를 계산하는 데 어떤 역할을 하는가?
• RQ5 Kato의 $\mathbb{C}[P]$-모듈러스 동형사상은 어떻게 양자 $K$-이론 결과를 반-무한 설정으로 번역하는 데 기여하는가?

주요 결과

• 반-우세한 무게에 대한 Chevalley 공식은 다음과 같이 명시적으로 주어진다: $[\mathcal{O}_{\mathbf{Q}_G}(\lambda)] \cdot [\mathcal{O}_{\mathbf{Q}_G(x)}] = \sum_{\eta \in \mathrm{QLS}(-w_\circ\lambda)} \sum_{\bm{\chi} \in \overline{\mathop{\rm Par}\nolimits(-w_\circ\lambda)}} \mathbf{e}^{\mathop{\rm wt}\nolimits(\eta)} q^{\deg_w(\eta) - \langle -w_\circ\lambda, \xi \rangle - |\bm{\chi}|} [\mathcal{O}_{\mathbf{Q}_G(\iota(\eta,w)t_{\xi + \xi(\eta,w) + \iota(\bm{\chi})})}]$.
• 양자 $K$-이론 $QK_H(G/B)$에서의 양자 곱셈에 대한 구조 상수는 이 공식을 통해 반-무한 LS 경로와 그 분할을 사용하여 완전히 기술된다.
• 공식은 반-무한 LS 경로에 대한 표준 단항식 이론과 0-레벨 극단 모듈의 결정 기저 내의 Demazure 유사 부분집합의 스트링 성질을 사용하여 유도된다.
• 각 색버트 클래스에 기여하는 항의 수는 각 경로와 분할에 대해 유한하므로 수렴성과 계산 가능성 보장.
• 결과는 Kato의 $\mathbb{C}[P]$-모듈러스 동형사상이 양자 및 등변 구조와 호환됨을 확인하며, 이는 양자 슈베르트 계산에 있어 그 사용의 타당성을 검증한다.
• 공식은 우세한 무게에서 반-우세한 무게로의 Chevalley 공식을 일반화하여 등변 $K$-이론 내에서 우세한 경우와 반-우세한 경우 간의 대칭 구조를 완성한다.