[논문 리뷰] On the Hochschild (co)homology of Quantum Homogeneous Spaces

Ulrich Kraehmer|ArXiv.org|2008. 06. 02.

Algebraic structures and combinatorial models참고 문헌 24인용 수 7

한 줄 요약

이 논문은 호프 대수에서 오른쪽 코이델 부분대수(양자 동차 공간)로 브라운과 장의 호크실드(co)호모로지에서의 포인카레 dualit의 일반화를 다룬다. 매끄럽고 고렌스타인인 양자 동차 공간에서 $AB^+ = B^+A$를 만족할 경우, 이중화 이중모듈 $ω = \mathrm{Ext}^{\dim(B)}_{B^e}(B, B^e)$ 가 가역임을 증명한다. 핵심 결과는 표준 포들레의 양자 2차원 구면에서 $ω \simeq B_{S^2}$ 임을 보여주며, 여기서 $S^2$ 는 쌍대항의 제곱임을 확인함으로써 이중성과 함께 명시적인 호모로지 계산이 가능해진다.

ABSTRACT

The recent result of Brown and Zhang establishing Poincare duality in the Hochschild (co)homology of a large class of Hopf algebras is extended to right coideal subalgebras over which the Hopf algebra is faithfully flat, and applied to the standard Podles quantum 2-sphere.

연구 동기 및 목표

• 호프 대수에서 오른쪽 코이델 부분대수(양자 동차 공간)로 브라운과 장의 호크실드(co)호모로지에서의 포인카레 이중성의 일반화를 시도한다.
• 양자 동차 공간에서 이중화 이중모듈 $\omega = \mathrm{Ext}^{\dim(B)}_{B^e}(B, B^e)$ 가 가역이 되는 조건을 설정한다.
• 이론을 표준 포들레의 양자 2차원 구면에 적용하여 호크실드 호모로지 계산을 이중성에 기반해 수행한다.
• 모든 매끄럽고 고렌스타인인 양자 동차 공간에서 $AB^+ \neq B^+A$ 인 경우에도 $\omega$ 의 가역성이 항상 성립하는지 조사한다.

제안 방법

• 호프 대수 $A$ 에서의 이중성 결과를 $A$ 의 쌍대항이 역으로 존재하고, $B$ 가 오른쪽 코이델이며 $k$ 에 대해 충실하게 평탄한 오른쪽 코이델 부분대수 $B \subset A$ 로 확장한다.
• 오른쪽 평탄한 $B$-이중모듈에 대해 이중성 동형사상 $\mathrm{Ext}^n_{B^e}(B, \cdot) \simeq \mathrm{Tor}^{B^e}_{\dim(B)-n}(\omega \otimes_B \cdot, B)$ 를 적용하며, $\omega = \mathrm{Ext}^{\dim(B)}_{B^e}(B, B^e)$ 로 정의한다.
• 구조적 조건으로서 $B = \{a \in A \mid (\pi \otimes \mathrm{id}) \circ \Delta(a) = \pi(1) \otimes a\}$ 를 사용하며, 여기서 $\pi: A \to A/B^+A$ 는 자연스러운 전단사 사상이다.
• 고렌스타인 경우에 $\omega$ 를 $(B, A)$-호프 이중모듈로 구성하여, $B$-이중모듈과 $A$-코모듈의 호환 가능한 구조를 가짐을 보인다.
• $A = \mathbb{C}_q[SL(2)]$, $B$ 를 표준 포들레의 양자 2차원 구면으로 설정하고, $A$ 에서의 명시적 코곱 공식과 기저 계산을 활용한다.
• koszul 유사 복합체와 호모로지 계산을 통해 정확성과 $H^0(B, \omega)$ 의 결정을 확인함으로써 $\omega \simeq B_{S^2}$ 를 도출한다.

실험 결과

연구 질문

• RQ1 매끄럽고 코hen-맥올레이 조건을 만족할 경우, 호프 대수에서 오른쪽 코이델 부분대수(양자 동차 공간)로 호크실드(co)호모로지에서의 포인카레 이중성이 일반화되는가?
• RQ2 매끄럽고 고렌스타인인 양자 동차 공간에서 $AB^+ = B^+A$ 를 만족할 경우, 이중화 이중모듈 $\omega = \mathrm{Ext}^{\dim(B)}_{B^e}(B, B^e)$ 는 가역적인가?
• RQ3 표준 포들레의 양자 2차원 구면에서 $\omega$ 의 명시적 형태는 무엇이며, 이는 쌍대항의 제곱 $S^2$ 와 어떻게 관련되는가?
• RQ4 만약 $\omega$ 가 가역이라면, 이중성 동형사상이 모든 $B$-이중모듈에 대해 반대로 적용되어 $\mathrm{Tor}^n_{B^e}(\cdot, B) \simeq \mathrm{Ext}^{\dim(B)-n}_{B^e}(B, \omega^{-1} \otimes_B \cdot)$ 를 만족하는가?
• RQ5 모든 매끄럽고 고렌스타인인 양자 동차 공간에서 $AB^+ \neq B^+A$ 인 경우에도 $\omega$ 는 여전히 가역적인가?

주요 결과

• 표준 포들레의 양자 2차원 구면 $B \subset \mathbb{C}_q[SL(2)]$ 에서 호크실드 호모로지 차원은 $\dim(B) = 2$ 이며, $\varepsilon|_B$ 는 고렌스타인이다.
• 이중화 이중모듈 $\omega$ 는 쌍대항의 제곱 $S^2$ 에 대해 $B_{S^2}$ 와 동형임을 보여주며, 이는 $B$-이중모듈로서 $\omega \simeq B_{S^2}$ 를 확인한다.
• 이중모듈 $\omega$ 의 가역성은 등식 $\omega_{n,m} \otimes_B \omega_{i,j} \simeq \omega_{n+i,m+j}$ 를 통해 증명되며, 이로써 $\omega_{0,1}$ 이 가역적이며 그 역원이 $\omega_{0,-1}$ 임을 보인다.
• 영차 호크실드 호모로지 $H^0(B, \omega_{i,j})$ 는 $i = 2(m - j)$ 를 만족하는 어떤 $0 \leq m \leq 2j$ 에 대해만 비자명하며, 이 경우에 $k$ 와 동형임을 보여주며 섬세한 조건을 확인한다.
• $\omega$ 의 가역성으로 인해 모든 $B$-이중모듈에 대해 이중성 동형사상이 성립하며, 이로 인해 이중성의 반대 방향으로 $\mathrm{Tor}^n_{B^e}(\cdot, B) \simeq \mathrm{Ext}^{2-n}_{B^e}(B, \omega^{-1} \otimes_B \cdot)$ 를 얻을 수 있다.
• 결과적으로 $B$ 의 모듈라 자동형사상이 $S^2$ 로 주어지며, 워노비츠의 구성과 일치함을 확인하였고, $B$ 에서 $\sigma(f) = S^2(f)$ 라 한다.