[논문 리뷰] Loop structure on equivariant $K$-theory of semi-infinite flag manifolds

Syu Kato|arXiv (Cornell University)|2018. 05. 04.

Algebraic structures and combinatorial models참고 문헌 30인용 수 20

한 줄 요약

이 논문은 반무한 플라그 다양체의 등변 $K$-이론과 플라그 다양체의 국소화된 등변 양자 $K$-이론 사이의 정확한 등장사상(isomorphism)을 수립하며, 아핀 그라스만이안의 폰트리아긴 곱이 반무한 플라그 다양체에서의 텐서곱에 대응됨을 보여준다. 주요 기여는 등변 양자 $K$-이론의 환 구조와 페트슨 등장사상 사이를 명시적인 기하학적 및 대수적 대응관계를 통해 통합하는 새로운 프레임워크를 제공하는 것이다.

ABSTRACT

We explain that the Pontryagin product structure on the equivariant $K$-group of an affine Grassmannian considered in [Lam-Schilling-Shimozono, Compos. Math. {\bf 146} (2010)] coincides with the tensor structure on the equivariant $K$-group of a semi-infinite flag manifold considered in [K-Naito-Sagaki, Duke Math. {\bf 169} (2020)]. Then, we construct an explicit isomorphism between the equivariant $K$-group of a semi-infinite flag manifold with a suitably localized equivariant quantum $K$-group of the corresponding flag manifold. These exhibit a new framework to understand the ring structure of equivariant quantum $K$-theory and the Peterson isomorphism.

연구 동기 및 목표

• 아핀 그라스만이안의 등변 $K$-군에서의 폰트리아긴 곱과 반무한 플라그 다양체의 등변 $K$-군에서의 텐서곱 사이의 관계를 명확히 하기.
• 플라그 다양체의 국소화된 등변 양자 $K$-이론과 반무한 플라그 다양체의 등변 $K$-군 사이의 명시적 등장사상을 구성하기.
• 양자 곱을 반무한 플라그 다양체에서의 텐서곱을 통해 기하학적으로 실현함으로써, 페트슨 등장사상에 대한 새로운 시각을 제공하기.
• 반무한 플라그 다양체에서의 완비화된 텐서곱 구조와 관련지어, 양자 곱의 구조 계수들이 양수이자 유한하다는 것을 보여주기.

제안 방법

• 폰트리아긴 곱을 텐서곱으로 보낸다($\mathscr{H}, Q^\vee$)-이중모듈러스의 밀도 있는 임베딩 $\Phi: K_H(\mathrm{Gr})_{\mathrm{loc}} \hookrightarrow K_H(\mathbf{Q}_G^{\mathrm{rat}})$를 구성하기.
• $K_H(\mathrm{Gr})_{\mathrm{loc}}$가 $\mathscr{H} \otimes \mathbb{C}Q^\vee$-모듈러스로서 순환성을 가지므로, 순환 벡터의 상을 통해 내림사영을 식별하기.
• 양자 곱에 대한 반비극적 선다발의 곱과 텐서곱 작용을 연결하는 등장사상 $\Psi: qK_H(\mathscr{B})_{\mathrm{loc}} \xrightarrow{\sim} K_H(\mathbf{Q}_G^{\mathrm{rat}})$를 정의하기.
• 무한합의 완비 위상에서의 분석을 위해, $\mathbb{C}[q^{\pm1}] \otimes qK_H(\mathscr{B})_{\mathrm{loc}} \xrightarrow{\sim} K_{\mathbb{G}_m \times H}(\mathbf{Q}_G^{\mathrm{rat}})$의 $q$-데오파이드된 형태인 $\Psi_q$를 도입하기.
• 반무한 플라그 다양체 $\mathbf{Q}_G^{\mathrm{rat}}$의 쇼버트 분할을 이용해 $K_H(\mathbf{Q}_G^{\mathrm{rat}})$에 위상을 정의하고, $qK_H(\mathscr{B})_{\mathrm{loc}}$의 노비코프 완비화와의 호환성을 확보하기.
• 반무한 플라그 다양체의 경로 모델을 활용해 $K_H(\mathrm{Gr})_{\mathrm{loc}}$의 클래스에 대한 곱셈 공식을 유도하기.

실험 결과

연구 질문

• RQ1 아핀 그라스만이안의 등변 $K$-군에서의 폰트리아긴 곱은 반무한 플라그 다양체의 등변 $K$-군에서의 텐서곱과 어떻게 관련이 있는가?
• RQ2 플라그 다양체의 등변 양자 $K$-이론은 반무한 플라그 다양체의 $K$-이론을 통해 기하학적으로 실현될 수 있는가?
• RQ3 국소화된 양자 곱 $qK_H(\mathscr{B})_{\mathrm{loc}}$와 $K_H(\mathbf{Q}_G^{\mathrm{rat}})$의 텐서곱 사이의 정확한 대수적 및 위상적 대응관계는 무엇인가?
• RQ4 양자 곱의 구조 계수들은 반무한 플라그 다양체에서의 완비화된 텐서곱 구조와 어떻게 관련이 있는가?
• RQ5 등변 양자 $K$-이론의 환 구조는 유한한가? 그리고 이 유한성은 반무한 플라그 다양체의 기하학으로부터 유도될 수 있는가?

주요 결과

• 논문은 명시적 등장사상 $\Psi: qK_H(\mathscr{B})_{\mathrm{loc}} \xrightarrow{\sim} K_H(\mathbf{Q}_G^{\mathrm{rat}})$를 구성하였으며, 이는 원시 반비극적 선다발의 양자 곱을 해당 선다발의 텐서곱으로 보낸다.
• $\Phi: K_H(\mathrm{Gr})_{\mathrm{loc}} \hookrightarrow K_H(\mathbf{Q}_G^{\mathrm{rat}})$는 $(\mathscr{H}, Q^\vee)$-이중모듈러스의 밀도 있는 임베딩이며, 폰트리아긴 곱을 텐서곱으로 보낸다.
• $\Psi^{-1} \circ \Phi$의 합성은 $K_H(\mathrm{Gr})_{\mathrm{loc}} \hookrightarrow qK_H(\mathscr{B})_{\mathrm{loc}}$의 환 임베딩을 제공하며, 이는 새로운 기하적 프레임워크에서 페트슨 등장사상의 실현을 이룬다.
• $qK_H(\mathscr{B})_{\mathrm{loc}}$에서의 양자 곱의 구조 계수들은 완비화된 텐서곱 구조와의 대응관계로 인해 양수이자 유한하다.
• $\Psi_q$ 등장사상은 $\mathscr{B}$에서의 이동 연산자와 $\mathbf{Q}_G^{\mathrm{rat}}$에서의 선다발 변형을 연결하는 $q$-데오파이드된 형태로서, 완비 위상에서의 무한합 분석을 가능하게 한다.
• 대응관계를 통해, 양자 $K$-이론의 곱셈 법칙의 유한성이 증명되었으며, $[\mathcal{O}_{\mathscr{B}(w)}] \star [\mathcal{O}_{\mathscr{B}(v)}] \in \bigoplus_{\beta \in Q^\vee_+, u \in W} \mathbb{C}P[\mathcal{O}_{\mathscr{B}(u)}]Q^\beta$로 표현된다.