[논문 리뷰] Cyclic homology of Hopf Galois extensions and Hopf algebras

Pascual Jara, Dragoş Ştefan|ArXiv.org|2003. 07. 08.

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

한 줄 요약

이 논문은 힉프 갈로아 확장과 힉프 대수에 대해 새로운 힉프 대수 H 위의 모듈라 크로스드 모듈의 범주를 이용하여 순환 호몰로지 이론을 개발한다. 각 such 모듈 M에 대해 Z*(H,M)라는 순환 대상을 구성하며, 이는 표준 순환 호몰로지와 갈로와 확장의 상대 순환 호몰로지를 일반화한다. 주요 결과는 K가 코암비튜티브이고 M이 중심적인 일차원 부분공동모듈로 분해될 때, 유도 모듈 Ind_K^H M의 순환 호몰로지를 계산하는 것으로, 이를 통해 군 대수와 양자 토러스에 대한 명시적 계산이 가능해진다.

ABSTRACT

Let H be a Hopf algebra. By definition a modular crossed H-module is a vector space M on which H acts and coacts in a compatible way. To every modular crossed H-module M we associate a cyclic object Z(H,M). The cyclic homology of Z(H,M) extends the usual cyclic homology of the algebra structure of H, and the relative cyclic homology of an H-Galois extension. For a Hopf subalgebra K we compute, under some assumptions, the cyclic homology of an induced modular crossed module. As a direct application of this computation, we describe the relative cyclic homology of strongly graded algebras. In particular, we calculate the (usual) cyclic homology of group algebras and quantum tori. Finally, when H is the enveloping algebra of a Lie algebra, we construct a spectral sequence that converges to the cyclic homology of H with coefficients in an arbitrary modular crossed module. We also show that the cyclic homology of almost symmetric algebras is isomorphic to the cyclic homology of H with coefficients in a certain modular crossed-module.

연구 동기 및 목표

• 모듈라 크로스드 모듈을 기반으로 한 새로운 프레임워크를 도입하여, 힉프 대수, 군 대수, 양자 토러스에 대한 순환 호몰로지 계산을 통합하고 일반화한다.
• 특히 힉프 갈로아 확장에서의 몫 A/[A,B]에 초점을 맞추어, 상대적 설정으로의 순환 호몰로지 이론을 확장한다.
• U(g)-모듈의 순환 호몰로지를 계산하는 스펙트럴 시퀀스를 수립하여, 리 대수 호몰로지와 연결하고, 거의 대칭 대수에 대한 기존 결과를 확장한다.
• K가 코암비튜티브이고 M이 일차원 중심 부분공동모듈의 합인 경우, 유도 모듈 Ind_K^H M의 순환 호몰로지에 대한 체계적인 계산 방법을 제공한다.
• 거의 대칭 대수와 U_f(g)가 U(g)-갈로아 확장임을 보여주어, 일반 이론을 적용하여 그들의 순환 호몰로지를 계산할 수 있음을 보장한다.

제안 방법

• 힉프 대수 H 위의 모듈라 크로스드 모듈의 범주 CM_m(H)을 도입하며, 이는 왼쪽 H-모듈과 오른쪽 H-공동모듈의 구조 간 두 가지 호환 조건으로 정의된다.
• CM_m(H)에 속한 각 M에 대해, 표준 순환 호몰로지(H의 경우 M = ad H)와 H-갈로아 확장의 상대 순환 호몰로지(경우 M = A_B)를 일반화하는 순환 대상 Z*(H,M)를 정의한다.
• 힉프 부분대수 K ⊂ H에 대해, Ind_K^H M = H ⊗_K M의 유도 함자 구조를 구성하며, 이를 CM_m(H)의 구조로 부여하여 호몰로지 계산을 가능하게 한다.
• K가 코암비튜티브이고 M이 일차원 공동모듈로 분해되며 중심적인 군형 원소를 가질 경우, 유도 모듈 Ind_K^H M의 순환 호몰로지 HC*(Ind_K^H M)를 텐서곱 분해를 통해 계산한다.
• 강한 그룹화 대수에 대해 적용하여, 적절한 조건 하에서 그 상대 순환 호몰로지가 HC*(H, Ind_K^H M)과 동형임을 보인다.
• U(g)-모듈 M에 대해 스펙트럴 시퀀스 E^2_{p,q} = H_{p+q-2i}(g, F_pM/F_{p-1}M) ⇒ HC_*(M)를 구성하며, 리 대수 호몰로지와 순환 호몰로지를 연결한다.

실험 결과

연구 질문

• RQ1 어떻게 모듈라 크로스드 모듈의 범주를 통해 힉프 갈로아 확장에 대한 순환 호몰로지를 일반화할 수 있는가?
• RQ2 K가 코암비튜티브이고 M이 일차원 중심 부분공동모듈의 합인 경우, 유도 모듈 Ind_K^H M의 순환 호몰로지는 어떻게 계산되는가?
• RQ3 이 새로운 프레임워크를 통해 군 대수와 양자 토러스의 순환 호몰로지를 계산할 수 있는가?
• RQ4 U(g)-모듈의 순환 호몰로지는 어떤 스펙트럴 시퀀스를 통해 리 대수 호몰로지와 연결되며, 이는 Kassel의 결과를 일반화하는가?
• RQ5 거의 대칭 대수와 U_f(g)는 어느 정도까지 U(g)-갈로아 확장으로 나타나며, 이를 통해 순환 호몰로지 계산이 가능해지는가?

주요 결과

• K가 코암비튜티브이고 M이 중심적인 군형 원소를 가진 일차원 공동모듈로 분해될 경우, 유도 모듈 Ind_K^H M의 순환 호몰로지가 명시적으로 계산되며, 각 성분에 대해 HC*(Ind_K^H M) ≅ ⊕_i HC*(K, M_i) ⊗ HC*(K) 라는 결과를 얻는다.
• 강한 그룹화 대수의 상대 순환 호몰로지는 해당 유도 모듈의 순환 호몰로지와 동형이며, 이는 주요 결과를 통해 직접 계산이 가능하다.
• 특성 0인 체 위의 군 대수의 순환 호몰로지는 특수한 경우로 복원되며, Burghelea의 결과와 일致한다.
• 양자 토러스의 순환 호몰로지는 이 이론을 통해 계산되며, 이는 해당 군 대수의 순환 호몰로지와 동형임을 보여준다.
• 모든 U(g)-모듈 M에 대해 스펙트럴 시퀀스가 구성되며, 이는 HC_*(M)로 수렴하며, E^2_{p,q} = ⊕_i H_{p+q-2i}(g, F_pM/F_{p-1}M) 이다. 이는 Kassel의 결과를 일반화한다.
• 거의 대칭 대수는 k에 대한 U(g)-갈로아 확장임을 보이며, 그 순환 호몰로지는 HC_*(U(g), U_f(g)) 와 동형임을 보여, 기존 결과를 더 넓은 범주로 확장한다.