[논문 리뷰] Affine flag varieties and quantum symmetric pairs

Zhaobing Fan, Chun‐Ju Lai외 3명|arXiv (Cornell University)|2016. 02. 13.

Algebraic structures and combinatorial models참고 문헌 27인용 수 12

한 줄 요약

이 논문은 애फ인 유형 C의 여덟 개인 양자 대칭 쌍의 기하적 실현을 스chu 대수와 애프린 플래그 다양체와 관련된 루스티그 대수를 통해 구축한다. 이 대수들에 대해 단항기저와 극한기저를 수립하고, 극한기저의 승법, 코승법, 이중선형 쌍대화에 대한 양의 성질을 증명함으로써, 안정화 절차를 통한 아이디empo텐트 양자 애프인 gl과 그 극한기저에 대한 새로운 기하적 구축을 제공한다.

ABSTRACT

The quantum groups of finite and affine type $A$ admit geometric realizations in terms of partial flag varieties of finite and affine type $A$. Recently, the quantum group associated to partial flag varieties of finite type $B/C$ is shown to be a coideal subalgebra of the quantum group of finite type $A$. In this paper we study the structures of Schur algebras and Lusztig algebras associated to (four variants of) partial flag varieties of affine type $C$. We show that the quantum groups arising from Lusztig algebras and Schur algebras via stabilization procedures are (idempotented) coideal subalgebras of quantum groups of affine $\mathfrak{sl}$ and $\mathfrak{gl}$ types, respectively. In this way, we provide geometric realizations of eight quantum symmetric pairs of affine types. We construct monomial and canonical bases of all these quantum (Schur, Lusztig, and coideal) algebras. For the idempotented coideal algebras of affine $\mathfrak{sl}$ type, we establish the positivity properties of the canonical basis with respect to multiplication, comultiplication and a bilinear pairing. In particular, we obtain a new and geometric construction of the idempotented quantum affine $\mathfrak{gl}$ and its canonical basis.

연구 동기 및 목표

• 유형 C의 애프인 플래그 다양체와 관련된 슈어 및 루스티그 대수를 사용하여 애프인 유형 C의 양자 대칭 쌍의 기하적 실현을 개발한다.
• 유형 C의 애프인 플래그 다양체에서 유도된 코이델 하위대수에 대해 단항기저와 극한기저를 구성한다.
• 아이디empo텐트 코이델 대수의 애프인 sl에 대해 승법, 코승법, 이중선형 쌍대화에 대한 극한기저의 양의 성질을 확립한다.
• 안정화를 통한 새로운 기하적 구축을 통해 아이디empo텐트 양자 애프인 gl과 그 극한기저를 제공한다.
• 유한형 구축을 애프인 유형 C로 일반화하여 기존의 양자 대칭 쌍과 극한기저에 대한 결과를 확장한다.

제안 방법

• 유형 C의 애프인 플래그 다양체의 격자 표현을 사용하여 슈어 대수와 루스티그 대수를 정의한다.
• 슈어 및 루스티그 대수에 안정화 절차를 적용하여 양자 애프인 sl 및 gl의 아이디empo텐트 코이델 하위대수를 구성한다.
• 복합화 및 전이 사상으로 슈어 및 루스티그 대수 위에 코승법 사상을 정의하여 기하적 구조와의 호환성을 확보한다.
• 등지수 기저를 등지수 플래그 다양체의 궤도 위의 복합화 대수를 통해 구성하고, 극한기저와의 호환성을 검증한다.
• 승법 및 코승법 공식에서 주요 항목을 분석하여 극한기저의 양의 성질을 증명한다.
• 사상 ψ를 통해 유한형과 애프인형 슈어 대수 간의 대수 동형을 확립하고, 극한기저를 유지한다.

실험 결과

연구 질문

• RQ1 유형 C의 애프인 플래그 다양체와 관련된 슈어 대수와 루스티그 대수는 어떻게 애프인 유형의 양자 대칭 쌍을 실현하는가?
• RQ2 아이디empo텐트 코이델 하위대수의 양자 애프인 sl에 대한 극한기저의 구조는 어떻게 되며, 승법과 코승법에 대해 양의 성질을 만족하는가?
• RQ3 안정화 절차는 어떻게 슈어 및 루스티그 대수를 아이디empo텐트 양자군으로 변환하며, 그 결과로 얻어진 극한기저는 무엇인가?
• RQ4 전이 사상과 코승법은 어떻게 유한형과 애프인형 사이의 대수적 및 기하적 구조를 유지하는가?
• RQ5 유한형 B/C의 슈어 대수의 극한기저는 동형사상 ψ에 의해 애프인 유형 C에서 어떻게 관련되는가?

주요 결과

• 논문은 애프인 플래그 다양체 위에서 슈어 및 루스티그 대수의 기하적 실현을 통해 여덟 개의 서로 다른 애프인 유형 C의 양자 대칭 쌍을 구성한다.
• 아이디empo텐트 코이델 대수의 양자 애프인 sl에 대한 극한기저는 승법, 코승법, 이중선형 쌍대화에 대해 양의 성질을 만족함을 보였다.
• 슈어 대수의 안정화를 통해 아이디empo텐트 양자 애프인 gl과 그 극한기저에 대한 새로운 기하적 구축을 달성하였다.
• 모든 애프인 플래그 다양체에서 유도된 슈어, 루스티그, 코이델 대수에 대해 단항기저와 극한기저를 명시적으로 구성하였다.
• 유한형과 애프인형 슈어 대수 간의 동형사상 ψ는 극한기저를 유지하여 기하적 및 대수적 구조 간의 호환성을 보장한다.
• 안정화 과정을 통해 9Kc_n 대수를 얻었으며, 이는 아이디empo텐트 양자 애프인 gl과 동형이며, 그 극한기저는 안정적이고 양의 성질을 만족함을 보였다.