[논문 리뷰] BLM realization for ${\mathcal U}_{\mathbb Z}(\hat{\frak{gl}}_n)$

Qiang Fu|arXiv (Cornell University)|2012. 04. 14.

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

한 줄 요약

이 논문은 리nge–홀 대수와 애니피어드 슈어 대수의 구조상수의 안정성에 기반하여, 애니피어드 일반선형 리 대수의 유니버설 환영 대수 ${\mathcal{U}}_{\mathbb{Z}}(\widehat{\mathfrak{gl}}_n)$의 정수 계수 형태에 대한 BLM 실현을 수립한다. 명시적인 $\mathbb{Z}$-기저와 명시적인 곱셈 공식을 구축하며, ${\mathcal{U}}_{\mathbb{Z}}(\widehat{\mathfrak{gl}}_n)$가 $\mathbb{Z}$-호프 부분대수임을 증명하고, 정수 계수 애니피어드 슈어 대수로의 자연스러운 사상이 전사임을 보인다.

ABSTRACT

In 1990, Beilinson-Lusztig-MacPherson (BLM) discovered a realization \cite[5.7]{BLM} for quantum $\frak{gl}_n$ via a geometric setting of quantum Schur algebras. We will generailze their result to the classical affine case. More precisely, we first use Ringel-Hall algebras to construct an integral form ${\mathcal U}_{\mathbb Z}(\hat{\frak{gl}}_n)$ of ${\mathcal U}(\hat{\frak{gl}}_n)$, where ${\mathcal U}(\hat{\frak{gl}}_n)$ is the universal enveloping algebra of the loop algebra $\hat{\frak{gl}}_n:=\frak{gl}_n(\mathbb Q)\otimes\mathbb Q[t,t^{-1}]$. We then establish the stabilization property of multiplication for the classical affine Schur algebras. This stabilization property leads to the BLM realization of ${\mathcal U}(\hat{\frak{gl}}_n)$ and ${\mathcal U}_{\mathbb Z}(\hat{\frak{gl}}_n)$. In particular, we conclude that ${\mathcal U}_{\mathbb Z}(\hat{\frak{gl}}_n)$ is a $\mathbb Z$-Hopf subalgebra of ${\mathcal U}(\hat{\frak{gl}}_n)$. As a bonus, this method leads to an explicit $\mathbb Z$-basis for ${\mathcal U}_{\mathbb Z}(\hat{\frak{gl}}_n)$, and it yields explicit multiplication formulas between generators and basis elements for ${\mathcal U}_{\mathbb Z}(\hat{\frak{gl}}_n)$. As an application, we will prove that the natural algebra homomorphism from ${\mathcal U}_{\mathbb Z}(\hat{\frak{gl}}_n)$ to the affine Schur algebra over $\mathbb Z$ is surjective.

연구 동기 및 목표

• 양자 $\mathfrak{gl}_n$에 대한 베일린존–루스티그–맥퍼슨(BLM) 실현을 고전적 애니피어드 경우로 확장하기.
• 리ange–홀 대수를 사용하여 루프 대수 $\widehat{\mathfrak{gl}}_n$의 유니버설 환영 대수의 정수 계수 형태 ${\mathcal{U}}_{\mathbb{Z}}(\widehat{\mathfrak{gl}}_n)$를 구성하기.
• 유한형의 경우와 유사한 안정성 성질이 애니피어드 슈어 대수의 곱셈에 존재하는지 확인하기.
• ${\mathcal{U}}_{\mathbb{Z}}(\widehat{\mathfrak{gl}}_n)$가 $\mathbb{Z}$-호프 부분대수임을 증명하고, 명시적인 $\mathbb{Z}$-기저와 명시적인 곱셈 공식을 구성하기.
• 자연스러운 대수 준동형사상 ${\mathcal{U}}_{\mathbb{Z}}(\widehat{\mathfrak{gl}}_n) \to$ 정수 계수 애니피어드 슈어 대수의 전사성을 증명함으로써 정수 계수 애니피어드 슈어–웨일 상호관계를 수립하기.

제안 방법

• ${\mathcal{U}}_{\mathbb{Z}}(\widehat{\mathfrak{gl}}_n)$를 리ange–홀 대수를 사용하여 ${\mathcal{U}}(\widehat{\mathfrak{gl}}_n)$의 자유 $\mathbb{Z}$-부분모듈로 구성한다.
• 애니피어드 슈어 대수의 구조상수에 대한 안정성 성질을 증명하며, [1, 4.2]의 결과를 애니피어드 설정으로 일반화한다.
• 항등원이 없는 대수 ${\mathcal{K}}_{\mathbb{Z}}(n)$를 도입하고, 그 완비화 $\widehat{\mathcal{K}}_{\mathbb{Q}}(n)$를 고려한다.
• $\widehat{\mathcal{K}}_{\mathbb{Q}}(n)$ 내부에 $\mathbb{Z}$-부분모듈 ${\mathcal{V}}_{\mathbb{Z}}(n)$를 구성하며, 이가 명시적인 곱셈 공식을 가진 $\mathbb{Z}$-부분대수임을 증명한다.
• ${\mathcal{V}}_{\mathbb{Q}}(n) \cong {\mathcal{U}}(\widehat{\mathfrak{gl}}_n)$인 동형사상을 수립하여, 유리수 수준에서 BLM 실현을 확립한다.
• ${\mathcal{V}}_{\mathbb{Z}}(n)$가 ${\mathcal{U}}_{\mathbb{Z}}(\widehat{\mathfrak{gl}}_n)$를 실현함을 증명하며, 명시적인 $\mathbb{Z}$-기저와 곱셈 규칙을 도출한다.

실험 결과

연구 질문

• RQ1 양자 $\mathfrak{gl}_n$에 대한 BLM 실현을 고전적 애니피어드 경우로 확장할 수 있는가?
• RQ2 애니피어드 슈어 대수에서 곱셈에 대해, 유한형의 경우와 유사한 안정성 성질이 존재하는가?
• RQ3 정수 계수 형태 ${\mathcal{U}}_{\mathbb{Z}}(\widehat{\mathfrak{gl}}_n)$에 대해 명시적인 $\mathbb{Z}$-기저와 곱셈 공식을 구성할 수 있는가?
• RQ4 ${\mathcal{U}}_{\mathbb{Z}}(\widehat{\mathfrak{gl}}_n)$가 ${\mathcal{U}}(\widehat{\mathfrak{gl}}_n)$의 $\mathbb{Z}$-호프 부분대수인가?
• RQ5 자연스러운 대수 준동형사상 ${\mathcal{U}}_{\mathbb{Z}}(\widehat{\mathfrak{gl}}_n) \to$ 정수 계수 애니피어드 슈어 대수의 전사성은 성립하는가?

주요 결과

• ${\mathcal{U}}_{\mathbb{Z}}(\widehat{\mathfrak{gl}}_n)$에 대한 명시적인 $\mathbb{Z}$-기저를 ${\mathcal{V}}_{\mathbb{Z}}(n)$를 통한 실현을 통해 구성한다.
• ${\mathcal{U}}_{\mathbb{Z}}(\widehat{\mathfrak{gl}}_n)$의 생성자와 임의의 기저 원소 사이의 명시적인 곱셈 공식을 유도한다.
• ${\mathcal{U}}_{\mathbb{Z}}(\widehat{\mathfrak{gl}}_n)$가 ${\mathcal{U}}(\widehat{\mathfrak{gl}}_n)$의 $\mathbb{Z}$-호프 부분대수임을 증명한다.
• BLM 실현이 확립된다: ${\mathcal{V}}_{\mathbb{Q}}(n) \cong {\mathcal{U}}(\widehat{\mathfrak{gl}}_n)$이며, ${\mathcal{V}}_{\mathbb{Z}}(n)$는 ${\mathcal{U}}_{\mathbb{Z}}(\widehat{\mathfrak{gl}}_n)$를 실현한다.
• 자연스러운 대수 준동형사상 $\xi_r: {\mathcal{U}}_{\mathbb{Z}}(\widehat{\mathfrak{gl}}_n) \twoheadrightarrow {\mathcal{S}}_{{\!\vartriangle\!}}(n,r)_{\mathbb{Z}}$는 전사이다.
• 애니피어드 슈어–웨일 상호관계는 정수 계수 수준에서 성립하며, 이는 $\xi_r$가 임의의 체 $k$ 위에서 전사이기 때문이다.