[논문 리뷰] Geometric Schur duality of classical type

Huanchen Bao, Jonathan R. Kujawa외 2명|arXiv (Cornell University)|2014. 04. 15.

Algebraic structures and combinatorial models참고 문헌 34인용 수 15

한 줄 요약

이 논문은 고전적 B/C 유형에 대한 $Σ$-Schur 대칭성의 기하적 실현을 위해 부분 플라그 다양체 위에서 BLM 유형의 안정화를 통해 수정된 코이델 대수 $̂{\mathbf{U}}^\jmath$ 및 $̂{\mathbf{U}}^\imath$에 대한 단항기저와 극대기저를 구성함으로써 달성한다. 이 대수들이 양자 일반선형 대수의 코이델 부분대수임을 증명하고, $̂{\mathbf{U}}^\jmath$ 및 $̂{\mathbf{U}}^\imath$의 극대기저가 자연스러운 동형사상 아래에서 스chu르 대수 $Σ^\jmath$ 및 $Σ^\imath$의 극대기저로 매핑됨을 보이며, 오랫동안 남아있던 양자 대칭 쌍에 대한 기하적 구성 문제를 해결한다.

ABSTRACT

This is a generalization of the classic work of Beilinson, Lusztig and MacPherson. In this paper (and an Appendix) we show that the quantum algebras obtained via a BLM-type stabilization procedure in the setting of partial flag varieties of type $B/C$ are two (modified) coideal subalgebras of the quantum general linear Lie algebra, $\dot{\mathbf U}^{\jmath}$ and $\dot{\mathbf U}^{\imath}$. We provide a geometric realization of the Schur-type duality of Bao-Wang between such a coideal algebra and Iwahori-Hecke algebra of type $B$. The monomial bases and canonical bases of the Schur algebras and the modified coideal algebra $\dot{\mathbf U}^{\jmath}$ are constructed. In an Appendix by three authors, a more subtle $2$-step stabilization procedure leading to $\dot{\mathbf U}^{\imath}$ is developed, and then monomial and canonical bases of $\dot{\mathbf U}^{\imath}$ are constructed. It is shown that $\dot{\mathbf U}^{\imath}$ is a subquotient of $\dot{\mathbf U}^{\jmath}$ with compatible canonical bases. Moreover, a compatibility between canonical bases for modified coideal algebras and Schur algebras is established.

연구 동기 및 목표

• 고전적 유형 $B/C$의 부분 플라그 다양체에서 유래하는 양자 대수를 규명하는 데 있어 열려 있는 질문을 해결하기 위해.
• 코이델 대수 $̂{\mathbf{U}}^\jmath$ 및 $̂{\mathbf{U}}^\imath$와 유형 $B$의 Iwahori-Hecke 대수 사이의 $Σ$-Schur 대칭성을 기하적으로 실현하기 위해.
• 두 단계 안정화 절차를 사용하여 수정된 코이델 대수 $̂{\mathbf{U}}^\jmath$ 및 $̂{\mathbf{U}}^\imath$에 대한 단항기저와 극대기저를 구성하기 위해.
• 수정된 코이델 대수의 극대기저와 그 스chu르 대수에 대한 상(images) 사이의 호환성 확립하기 위해.

제안 방법

• 유형 $B/C$의 부분 플라그 다양체 위의 기하 콘볼루션 대수를 사용하여 논문은 스chu르 대수 $Σ^\jmath$를 구성하고, 이를 수정된 코이델 대수 $̂{\mathbf{U}}^\jmath$의 몫으로 식별한다.
• 부분 플라그 다양체의 기하학에 BLM 유형의 안정화 절차를 적용하여, 논문은 $̂{\mathbf{U}}^\jmath$를 스chu르 대수 $Σ^\jmath$의 가족을 뒷받침하는 양자 대수로 식별한다.
• 부록에서 더 섬세한 두 단계 안정화 절차를 도입하여, 논문은 대수 $̂{\mathbf{U}}^\imath$와 그 극대기저를 구성한다.
• 호모모르피즘 $φ_d: ̂{\mathbf{U}}^\jmath \to \u03a3^\jmath$를 정의하고, 이가 극대기저를 유지함을 증명하며, 기저 원소가 안정화의 이미지에 속해 있는지 여부에 따라 스chu르 대수 $Σ^\jmath$의 극대기저 또는 0으로 매핑됨을 보인다.
• $̂{\mathbf{U}}^\imath$가 $̂{\mathbf{U}}^\jmath$의 부분몫대수임을 확립하고, 이에 따른 극대기저의 호환성을 보인다.
• $φ_d^\imath$ 및 $φ_d^\jmath$ 호모모르피즘 아래 극대기저의 호환성을 증명하여, 이들이 기반 모듈러스 호모모르피즘임을 보인다.

실험 결과

연구 질문

• RQ1 유형 $B/C$의 부분 플라그 다양체 기하학에서 유래하는 양자 대수는 무엇인가?
• RQ2 $Σ$-Schur 대칭성이 코이델 대수와 유형 $B$의 Iwahori-Hecke 대수 사이에 기하적으로 실현될 수 있는가?
• RQ3 기하 방법을 사용하여 수정된 코이델 대수 $̂{\mathbf{U}}^\jmath$ 및 $̂{\mathbf{U}}^\imath$에 대한 단항기저와 극대기저를 구성할 수 있는가?
• RQ4 $̂{\mathbf{U}}^\jmath$, $̂{\mathbf{U}}^\imath$의 극대기저와 스chu르 대수 $Σ^\jmath$, $Σ^\imath$ 사이에 호환 관계가 존재하는가?
• RQ5 $̂{\mathbf{U}}^\jmath$ 및 $̂{\mathbf{U}}^\imath$는 어떻게 관련되어 있으며, 그들의 극대기저는 호환적으로 상호작용하는가?

주요 결과

• 수정된 코이델 대수 $̂{\mathbf{U}}^\jmath$는 유형 $B/C$의 부분 플라그 다양체 위의 기하 콘볼루션 대수의 안정화 극한으로 실현되며, 이는 스chu르 대수 $Σ^\jmath$를 뒷받침하는 양자 대수로 식별된다.
• 부록에서 두 단계 안정화 절차를 통해 $̂{\mathbf{U}}^\imath$가 구성되었고, 이에 대한 단항기저와 극대기저가 처음으로 명시적으로 구성되었다.
• $φ_d: ̂{\mathbf{U}}^\jmath \to \u03a3^\jmath$ 호모모르피즘이 극대기저 원소를 $Σ^\jmath$의 극대기저 또는 0으로 매핑함을 보이며, 이는 기저 원소가 안정화의 이미지에 속해 있는지 여부에 따라 달라진다.
• $φ_d^\imath: ̂{\mathbf{U}}^\imath \to \u03a3^\imath$ 호모모르피즘 역시 극대기저의 구조를 유지하며, 이를 스chu르 대수의 극대기저 또는 0으로 매핑한다.
• $̂{\mathbf{U}}^\imath$는 $̂{\mathbf{U}}^\jmath$의 부분몫대수이며, 이에 따른 극대기저는 이 몫 구조 아래 호환된다.
• $φ_d$ 및 $φ_d^\imath$ 호모모르피즘 아래 극대기저의 호환성은 이러한 사상들이 Lusztig의 프레임워크에서 요구하는 기반 모듈러스 호모모르피즘임을 확인한다.