[논문 리뷰] A new approach to Kazhdan-Lusztig theory of type B via quantum symmetric pairs

Huanchen Bao, Weiqiang Wang|arXiv (Cornell University)|2013. 10. 01.

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

한 줄 요약

이 논문은 양자 대칭 쌍을 통해 오р토심플렉틱 리 초대수 𝔪(2m+1|2n)의 BGG 분류 O에 대한 새로운 카즈한-루스트리츠 이론을 수립한다. 히드라의 B형 타입과 A형 양자군의 코이디얼 부분군 사이의 이중 중심자 성질을 통해 𝔪-정규 기저와 𝔪-카즈한-루스트리츠 다항식을 정의하며, 슈어-지모 듀얼리티를 일반화하고 B/C형 리 대수에 대한 새로운 공식화를 제공한다.

ABSTRACT

We show that Hecke algebra of type B and a coideal subalgebra of the type A quantum group satisfy a double centralizer property, generalizing the Schur-Jimbo duality in type A. The quantum group of type A and its coideal subalgebra form a quantum symmetric pair. A new theory of canonical bases arising from quantum symmetric pairs is initiated. It is then applied to formulate and establish for the first time a Kazhdan-Lusztig theory for the BGG category O of the ortho-symplectic Lie superalgebras $\mathfrak{osp}(2m+1|2n)$. In particular, our approach provides a new formulation of the Kazhdan-Lusztig theory for Lie algebras of type B/C.

연구 동기 및 목표

• B/C형 리 초대수에 대한 카즈한-루스트리츠 이론의 새로운 접근법을 개발하며, 특히 오르토심플렉틱 리 초대수 𝔪(2m+1|2n)에 초점을 맞춘다.
• 히드라의 B형 타입과 A형 양자군의 코이디얼 부분군 사이의 이중 중심자 성질을 통해 슈어-지모 듀얼리티를 A형에서 B형으로 일반화한다.
• 양자 대칭 쌍에서 유래하는 정규 기저 이론, 특히 𝔪-정규 기저를 시작하여, 리 초대수의 BGG 분류 O에서의 기저 기저 문제를 해결한다.
• 기존 히드라 대수 접근법에 의존하지 않는 새로운 프레임워크를 통해 고전적 B/C형 리 대수에 대한 카즈한-루스트리츠 이론을 재구성한다.

제안 방법

• 히드라의 B형 타입 𝒫Bm와 A형 양자군 𝒰의 코이디얼 부분군 𝒰𝔪 사이의 이중 중심자 성질을 수립한다.
• 이중 중심자 성질을 실현하는 이입터 백터 Υ와 동형사상 𝒯를 구성한다.
• 양자 대칭 쌍 (𝒰, 𝒰𝔪)에 대해 정규화된 쿼드라-르-행렬 Θ𝔪를 정의하며, 이는 𝒰𝔪-모듈의 바-대칭을 정의하는 데 사용된다.
• 완비화된 포크 공간에서 바-불변의 위상 기저 구성 방법을 통해 𝔪-정규 기저와 그 쌍대 기저를 정의한다.
• 브루하트 순서에 대한 Fock 공간의 B-완비화를 사용하여 𝔪-카즈한-루스트리츠 다항식 t𝔟gf(q)와 ℓ𝔟gf(q)를 정의한다.
• 이 이론을 𝔪(2m+1|2n)의 BGG 분류 O에 적용하여, 갈루아 군이 완비화된 Fock 공간 ̂𝕋b와 동형임을 보이며, 간단한 모듈과 기울어진 모듈을 각각 𝔪-정규 기저와 그 쌍대 기저로 보내는 사상 Ψ를 정의한다.

실험 결과

연구 질문

• RQ1 양자 대칭 쌍을 통해 오르토심플렉틱 리 초대수 𝔪(2m+1|2n)의 BGG 분류 O에 대한 새로운 카즈한-루스트리츠 이론을 구성할 수 있는가?
• RQ2 히드라의 B형 타입과 A형 양자군의 코이디얼 부분군 사이의 이중 중심자 성질이 슈어-지모 듀얼리티를 B형으로 일반화하는가?
• RQ3 양자 대칭 쌍에서 유도된 새로운 정규 기저 이론—특히 𝔪-정규 기저—를 구성하여 리 초대수의 기저 기저 문제를 해결할 수 있는가?
• RQ4 𝔪-카즈한-루스트리츠 다항식 t𝔟gf(q)와 ℓ𝔟gf(q)는 𝔪(2m+1|2n)의 BGG 분류 O에서 간단한 모듈과 기울어진 모듈의 특성과 어떻게 관련되어 있는가?
• RQ5 이 프레임워크는 기존 히드라 대수 접근법에 의존하지 않는 고전적 B/C형 리 대수에 대한 카즈한-루스트리츠 이론의 새로운 공식화를 제공할 수 있는가?

주요 결과

• 히드라의 B형 타입과 A형 양자군의 코이디얼 부분군 𝒰𝔪 사이에 이중 중심자 성질이 성립하며, 이는 슈어-지모 듀얼리티를 일반화한다.
• 양자 대칭 쌍을 통해 새로운 정규 기저 이론—특히 𝔪-정규 기저—가 시작되며, 이 기저 요소들은 완비화된 포크 공간에서 바-불변의 위상 기저로 정의된다.
• 𝔪-카즈한-루스트리츠 다항식 t𝔟gf(q)와 ℓ𝔟gf(q)는 표준 단항식 기저에 대한 𝔪-정규 기저와 그 쌍대 기저의 전개 계수로 정의된다.
• 𝔪(2m+1|2n)의 BGG 분류 O에 대한 갈루아 군 [𝒪Δb]는 사상 Ψ를 통해 완비화된 포크 공간 ̂𝕋b와 동형이며, 이 사상은 단순 모듈의 동치류 [Lb(λ)]를 𝔪-정규 기저 요소 L𝔟f𝔟λ(1)의 이미지로 보낸다.
• 기울어진 모듈의 동치류 [Tb(λ)]는 𝔪-정규 기저 요소 T𝔟f𝔟λ(1)로 보냄으로써, 𝔪-정규 기저를 통한 특성 공식이 수립된다.
• 이 이론은 양자 대칭 쌍을 통해 정규 기저를 실현하는 방식으로, 기존 히드라 대수 접근법에 의존하지 않는 리 대수 B/C형에 대한 카즈한-루스트리츠 이론의 새로운 공식화를 제공한다.