[논문 리뷰] Hall algebras and quantum symmetric pairs I: foundations

Ming Lu, Weiqiang Wang|arXiv (Cornell University)|2019. 01. 31.

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

한 줄 요약

이 논문은 비순환 쿼이버에 대한 호르몬을 갖는 ıquiver 대수를 도입하고, 이를 위해 준-유도 리angen-홀 대수를 구성하며, 유한형의 보편 ı양자군과의 동형을 확립한다. 이 홀 대수에 대해 단항 및 PBW 기저를 개발하여, 1-골로르스타인 대수와 기울임 이론을 통한 ı양자군의 홀 대수 카테고리화를 제공하며, 주요 결과로는 홀 대수와 ı양자군 사이의 동형 및 기울임에 따른 준-유도 홀 대수의 불변성을 포함한다.

ABSTRACT

A quantum symmetric pair consists of a quantum group $\mathbf U$ and its coideal subalgebra ${\mathbf U}^{\imath}_{\boldsymbolς}$ with parameters $\boldsymbolς$ (called an $\imath$quantum group). We initiate a Hall algebra approach for the categorification of $\imath$quantum groups. A universal $\imath$quantum group $\widetilde{\mathbf U}^{\imath}$ is introduced and ${\mathbf U}^{\imath}_{\boldsymbolς}$ is recovered by a central reduction of $\widetilde{\mathbf U}^{\imath}$. The semi-derived Ringel-Hall algebras of the first author and Peng, which are closely related to semi-derived Hall algebras of Gorsky and motivated by Bridgeland's work, are extended to the setting of 1-Gorenstein algebras, as shown in Appendix A by the first author. A new class of 1-Gorenstein algebras (called $\imath$quiver algebras) arising from acyclic quivers with involutions is introduced. The semi-derived Ringel-Hall algebras for the Dynkin $\imath$quiver algebras are shown to be isomorphic to the universal quasi-split $\imath$quantum groups of finite type. Monomial bases and PBW bases for these Hall algebras and $\imath$quantum groups are constructed.

연구 동기 및 목표

• ı양자군을 카테고리화하기 위한 홀 대수 접근법을 개발하여, 브리지클랜드의 양자군에 대한 작업을 일반화한다.
• 쿼이버에 호르몬이 있는 것으로부터 유도되는 새로운 1-골로르스타인 대수의 클래스로 ıquiver 대수를 도입한다.
• 기존의 약한 카테고리에 대한 작업을 일반화하여, 1-골로르스타인 대수로 준-유도 리angen-홀 대수를 확장한다.
• ıquiver 대수의 준-유도 홀 대수와 유한형 보편 ı양자군 사이의 동형을 확립한다.
• 홀 대수와 ı양자군 양쪽에 대해 단항 및 PBW 기저를 구성하여, 카테고리화를 위한 대수적 구조를 제공한다.

제안 방법

• 호르몬이 있는 쿼이버 위에서의 텐서 대수로서 ıquiver 대수를 정의하고, 제약이 있는 쿼이버 기술을 사용한다.
• ıquiver 대수가 1-골로르스타인임을 증명하여 준-유도 홀 대수가 존재함을 보장한다.
• Z/2-정렬 복합체와 오일러 형식을 사용하여 준-유도 리angen-홀 대수를 구성한다.
• 기울임 이론을 사용하여 ıquiver 대수의 홀 대수와 유도 동치인 대수의 홀 대수를 연결한다.
• 중앙 축소를 통한 대수적 동형을 통해 ıquiver 대수의 준-유도 홀 대수와 보편 ı양자군 사이의 동형을 확립한다.
• 조합적 및 호몰로지적 자료를 사용하여 홀 대수와 ı양자군의 단항 및 PBW 기저를 구성한다.

실험 결과

연구 질문

• RQ1 홀 대수를 1-골로르스타인 대수로 확장하여 ı양자군을 카테고리화할 수 있는가?
• RQ2 ıquiver 대수의 준-유도 리angen-홀 대수는 보편 ı양자군의 유한형과 동형인가?
• RQ3 단항 및 PBW 기저는 ıquiver 대수와 ı양자군의 맥락에서 어떻게 유도되는가?
• RQ4 기울임 이론은 1-골로르스타인 설정에서 준-유도 홀 대수의 구조를 유지하는가?
• RQ5 보편 ı양자군은 홀 대수 구성의 중심 축소를 통해 복원될 수 있는가?

주요 결과

• 다이노르 ıquiver 대수의 준-유도 리angen-홀 대수는 보편 준-스플릿 ı양자군의 유한형과 동형이다.
• ıquiver 대수의 홀 대수에는 차원 벡터와 호환되는 플래그로 색인화된 단항 기저가 존재한다.
• 데그레지언스 과정과 홀 다항식을 사용하여 ıquiver 대수의 홀 대수에 대해 PBW 기저를 구성하였다.
• 보편 ı양자군 eUı 가 도입되었으며, Uıς 는 eUı 의 중심 축소로 복원되었다.
• 준-유도 홀 대수는 기울임에 대해 불변이다: A가 1-골로르스타인이고 기울임 모듈러 T가 있으며, Γ = EndA(T)op 도 1-골로르스타인이라면 SDH(A) ≅ SDH(Γ) 이다.
• 홀 대수와 ı양자군 사이의 동형은 짧은 정확한 수열을 이용한 토르션 쌍에서 유도된 호모모피즘 ψ̃를 통해 실현되며, 이는 [M] 을 q^{-⟨M,TM⟩}[F(TM)]^{-1} ⋄ [F(XM])} 로 매핑한다.