[논문 리뷰] Semiinfinite cohomology of associative algebras and bar duality

Sergey Arkhipov|ArXiv.org|1996. 02. 05.

Advanced Topics in Algebra인용 수 16

한 줄 요약

이 논문은 비음수로 분류된 부분대수를 가진 분할된 결합 대수의 반무한 코homology에 대해 바 이중성 프레임워크를 수립한다. 이는 고전적 바 이중성의 일반화이다. 이 논문은 $ D^\bullet(A,B) $라는 DG대수와 유도된 함자를 구성하여 유도 범주의 동치를 이끌어내며, 반무한 Ext를 이 이중 설정에서의 유도된 Hom으로 식별한다. 또한, 분할된 리 대수의 보편 포괄 대수의 경우, 이 구성이 중요한 2-코호몰로지에 의해 리 대수의 반무한 코homology를 복원하며, 삼각 분해에 따라 달라지는 명시적 공식을 제공한다.

ABSTRACT

We describe semiinfinite cohomology of associative algebras in terms of Koszul (or bar) duality. Consider an associative algebra $A$ and two its subalgebras $B$ and $N$ such that $A=B\otimes N$ as a vector space. We prove that the endomorphism algebra of the semiregular $A$-module appears naturally in semiinfinite cohomology theory as a ``two times Koszul dual'' to the algebra $A$. We compare semiinfinite cohomology of universal enveloping algebras with the well-known Lie algebra semiinfinite cohomology. A new description of the critical 2-cocycle is provided. As a consequence we obtain another proof of the fact that additive categories generated by Verma modules over affine Lie algebras on dual levels are antiequivalent.

연구 동기 및 목표

• 분할된 결합 대수와 비음수로 분류된 부분대수를 가진 경우에 대해 바 이중성 기반의 반무한 코homology를 개발한다.
• 고전적 바 이중성을 반무한 설정으로 일반화하기 위해 DG대수 $ D^\bullet(A,B) $와 유도된 함자를 사용한다.
• 이 이중성에 의해 정의된 반무한 Ext 함자가 [Ar]에서 기존에 정의된 바와 일치함을 보인다.
• 분할된 리 대수의 보편 포괄 대수의 경우, 이 구성이 리 대수의 반무한 코homology를 복원함을 증명한다.
• 다양한 삼각 분해 하에서 아핀 리 대수에 대해 중요한 2-코호몰로지를 명시적으로 계산한다.

제안 방법

• 유한성 조건 하에 분할된 결합 대수 $ A $와 비음수로 분류된 부분대수 $ B $에 대해 자연스러운 DG대수 $ D^\bullet(A,B) $를 정의한다.
• 유도 범주 $ A $-모듈러스와 $ D^\bullet(A,B)^{\text{op}} $-모듈러스 사이의 동치를 이루는 유도된 함자 $ D^\flat_A $와 $ D^\natural_A $를 구성한다.
• 이중 함자를 사용하여 반무한 Ext를 $ \operatorname{Ext}^{\frac{\infty}{2}+\bullet}_{A}(L,M) := \operatorname{Ext}^\bullet_{D^\bullet(A,B)}(D^\natural_{A^\sharp}(L), D^\flat_A(M)) $로 정의한다.
• $ A^\sharp = \operatorname{End}_A(S_A) $ 이며, $ S_A = \operatorname{Hom}_B(A,B) $ 이며, $ A = B \otimes N $ 이면 $ A^\sharp $ 는 삼각 분해 $ B^{\text{op}} \otimes N^{\text{op}} $ 를 가짐을 보인다.
• $ D^\bullet(A,B)^{\text{op}} \cong D^\bullet(A^\sharp, B^{\text{op}}) $ 를 증명하여 이중 대수 간의 이중성 관계를 확립한다.
• 다양한 삼각 분해 하에서 아핀 리 대수에 대해 중요한 2-코호몰로지 $ \omega_0^{(1)} $ 와 $ \omega_0^{(2)} $ 를 계산하며, $ \omega_0^{(1)} = 2h^\vee \nu $ 과 $ \omega_0^{(2)} = 2h^\vee \nu + 2d\rho $ 임을 보인다.

실험 결과

연구 질문

• RQ1 분할된 설정에서 바 이중성을 통해 어떻게 반무한 코homology를 재구성할 수 있는가?
• RQ2 $ A $-모듈러스의 유도 범주와 이중 DG대수 $ D^\bullet(A,B) $의 유도 범주 사이의 관계는 무엇인가?
• RQ3 제안된 반무한 Ext 함자가 [Ar]에서 기존에 정의된 것과 일치하는가?
• RQ4 이 구성은 어떻게 분할된 리 대수의 보편 포괄 대수로 특수화되는가?
• RQ5 아핀 리 대수의 경우 중요한 2-코호몰로지의 명시적 형태는 무엇이며, 삼각 분해의 선택에 따라 어떻게 달라지는가?

주요 결과

• 유도된 함자 $ D^\flat_A $ 와 $ D^\natural_A $ 는 삼각 범주 동치이며, 고전적 바 이중성을 반무한 설정으로 일반화한다.
• 반무한 Ext 는 이중 범주의 유도된 Hom 과 동형이며, 반무한 코homology 의 호모로지적 해석을 제공한다.
• 대수 $ A^\sharp = \operatorname{End}_A(S_A) $ 는 반정규 모듈러스 $ S_A $ 의 내부 자기 사상 대수와 동형이며, $ A = B \otimes N $ 이면 $ A^\sharp $ 는 삼각 분해 $ B^{\text{op}} \otimes N^{\text{op}} $ 를 가진다.
• 분할된 리 대수의 보편 포괄 대수의 경우, 이중성 프레임워크에 의해 정의된 반무한 코homology 는 리 대수의 반무한 코호몰로지와 일치한다.
• 분해 $ \mathfrak{p} = \overline{\mathfrak{g}} $ 에서의 중요한 2-코호몰로지 $ \omega_0^{(1)} $ 는 $ 2h^\vee \nu $ 이며, 여기서 $ \nu $ 는 정규화된 불변 형식이다.
• 보렐 분해 $ \mathfrak{p} = \text{Borel} $ 에서의 중요한 코호몰로지 $ \omega_0^{(2)} = 2h^\vee \nu + 2d\rho $ 이며, $ \rho $ 는 $ d\rho(e_{\alpha_i}, e_{-\alpha_i}) = 1 $ 을 만족하는 1-코체이다.