[논문 리뷰] The Integral quantum loop algebra of $\mathfrak{gl}_n$

Jie Du, Qiang Fu|arXiv (Cornell University)|2014. 04. 23.

Algebraic structures and combinatorial models참고 문헌 19인용 수 9

한 줄 요약

이 논문은 $\mathfrak{gl}_n$의 적분 양자 루프 대수에서 $\mathbb{Z}[v,v^{-1}]$ 위의 리ngen–홀 대수를 통해 구성된 루스지형을 증명하며, 삼각 분해를 확립하고 애फ린 양자 슈어 대수에서의 최대기저를 올리기 위해, 수정된 확장된 양자 아핀 $\mathfrak{sl}_n$에 대한 루스지의 추측을 검증한다. 이는 아핀 안정성 성질을 통해 수행된다.

ABSTRACT

We will construct the Lusztig form for the quantum loop algebra of $\mathfrak{gl}_n$ by proving the conjecture \cite[3.8.6]{DDF} and establish partially the Schur--Weyl duality at the integral level in this case. We will also investigate the integral form of the modified quantum affine $\mathfrak{gl}_n$ by introducing an affine stabilisation property and will lift the canonical bases from affine quantum Schur algebras to a canonical basis for this integral form. As an application of our theory, we will also discuss the integral form of the modified extended quantum affine $\mathfrak{sl}_n$ and construct its canonical basis to verify a conjecture of Lusztig in this case.

연구 동기 및 목표

• 양자 루프 대수 $\mathbf{U}(\widehat{\mathfrak{gl}}_n)$의 적분 형식 $\mathfrak{D}_{\!\vartriangle\!}(n)_{\mathcal{Z}}$가 $\mathcal{Z}$-부분대수임을 증명하는 것.
• 구축된 적분 형식을 사용하여 $\mathfrak{gl}_n$에 대한 적분 수준의 슈어–웨일 dualit의 수립.
• 수정된 양자 아핀 $\mathfrak{gl}_n$에 대한 아핀 안정성 성질을 도입하고, 애फ린 양자 슈어 대수에서 최대기저를 이 형식으로 올리는 것.
• 적분 프레임워크를 통해 수정된 확장된 양자 아핀 $\mathfrak{sl}_n$의 최대기저를 구성함으로써, 루스지의 추측을 검증하는 것.

제안 방법

• 적분 리angen–홀 대수 $\mathfrak{H}_{\!\vartriangle\!}(n)_{\mathcal{Z}}$, 0-부분 $U^{0}_{\mathcal{Z}}$, 그리고 그 반대 대수의 곱으로서 적분 형식 $\mathfrak{D}_{\!\vartriangle\!}(n)_{\mathcal{Z}}$를 구성한다.
• 저자들이 [11]에서 증명한 양자 아핀 $\mathfrak{gl}_n$에 대한 실현 추측을 핵심 기술적 도구로 사용한다.
• 이중 리angen–홀 대수 표현을 통해 삼각 분해 $\mathbf{U}(\widehat{\mathfrak{gl}}_n) \cong \mathfrak{H}_{\!\vartriangle\!}(n) \cdot \mathbf{U}^0 \cdot \mathfrak{H}_{\!\vartriangle\!}(n)^{\mathrm{op}}$를 확립한다.
• 수정된 양자군 설정에서 최대기저의 행동을 제어하기 위해 아핀 안정성 성질을 정의한다.
• 대수 준동형사상 $\zeta_r$와 $\dot{\zeta}_r$을 사용하여 적분 리angen–홀 대수의 최대기저와 양자 슈어 대수의 최대기저를 연결한다.
• 귀납법과 $v^{-1}\mathcal{L}_r$의 성질을 활용하여 $A \in \Theta_{\!\vartriangle\!}(n,r)$이면 $\dot{\zeta}_r(\theta_A') = \theta_{A,r}$임을 보이고, 최대기저와의 호환성을 확보한다.

실험 결과

연구 질문

• RQ1 제안된 적분 형식 $\mathfrak{D}_{\!\vartriangle\!}(n)_{\mathcal{Z}} = \mathfrak{H}_{\!\vartriangle\!}(n)_{\mathcal{Z}} \cdot U^{0}_{\mathcal{Z}} \cdot \mathfrak{H}_{\!\vartriangle\!}(n)_{\mathcal{Z}}^{\mathrm{op}}$가 양자 루프 대수 $\mathbf{U}(\widehat{\mathfrak{gl}}_n)$의 부분대수인가?
• RQ2 이 적분 형식을 사용하여 $\mathfrak{gl}_n$에 대한 슈어–웨일 dualit를 적분 수준에서 수립할 수 있는가?
• RQ3 애फ린 양자 슈어 대수의 최대기저가 수정된 적분 형식의 양자 아핀 $\mathfrak{gl}_n$으로 올라갈 수 있는가?
• RQ4 이 구성은 수정된 확장된 양자 아핀 $\mathfrak{sl}_n$의 최대기저에 대한 루스지의 추측을 검증하는가?

주요 결과

• 추측 [4, 3.8.6]이 증명됨: $\mathfrak{D}_{\!\vartriangle\!}(n)_{\mathcal{Z}}$는 $\mathbf{U}(\widehat{\mathfrak{gl}}_n)$의 $\mathcal{Z}$-부분대수이며, 잘 정의된 적분 형식임을 확인한다.
• 적분 형식 $\mathfrak{D}_{\!\vartriangle\!}(n)_{\mathcal{Z}}$는 호프 부분대수이며, 적분 아핀 양자 슈어 대수를 몫으로 갖는다.
• 아핀 안정성 성질을 통해 애फ린 양자 슈어 대수의 최대기저가 수정된 적분 형식의 양자 아핀 $\mathfrak{gl}_n$으로 올라간다.
• 구성은 수정된 확장된 양자 아핀 $\mathfrak{sl}_n$에 대한 루스지의 추측을 검증하며, 그 최대기저의 대수적 구성법을 제공한다.
• A \in \Theta_{\!\vartriangle\!}(n,r)이면 $\dot{\zeta}_r(\theta_A')$는 $\theta_{A,r}$와 같고, 그렇지 않으면 0이 되며, 최대기저와의 호환성을 확인한다.
• 기저 $\theta_A'$는 $\overline{\dot{\zeta}_r(\theta_A')} = \dot{\zeta}_r(\theta_A')$를 만족하여, 정수성과 바 인보리션과의 호환성을 보장한다.