[논문 리뷰] Mini-course on Hopf algebras--Hopf crossed products--

Akira Masuoka|arXiv (Cornell University)|2012. 07. 06.

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

한 줄 요약

이 논문은 호프 대칭곱을 이용한 군 대칭곱의 일반화로서 호프 대수로의 확장된 호프 대칭곱에 대한 종합적인 미니 커스터를 제시하며, 정상 기저를 갖춘 호프-갈로아 확장으로서의 특성화를 수립한다. 주요 기여는 초공통 호프 초대수의 구조적 분해 정리로, 이는 초공통 호프 초대수가 호프 대칭곱 구조를 통해 외적 대수와 군형 호프 대수의 텐서곱과 동형임을 보여준다.

ABSTRACT

Hopf crossed products, or in other words, cleft comodule algebras form a special but important class in Hopf-Galois extensions. To discuss this interesting subject, we will start with the more familiar group crossed products, and then see that they are naturally generalized by Hopf crossed products; these Hopf crossed products are characterized as Hopf-Galois extensions with normal basis. After showing this characterization due to Doi and Takeuchi, we will proceed to two applications of Hopf crossed products---the equivariant smoothness of Hopf algebras, and the tensor product decomposition in super-commutative Hopf superalgebras.

연구 동기 및 목표

• 호프 대수의 구조를 이용하여 군 대칭곱을 호프 대칭곱으로 일반화한다.
• 도이와 타케우치의 고전 결과를 확장하여, 정상 기저를 갖춘 호프-갈로아 확장으로서 호프 대칭곱을 특성화한다.
• 호프 대칭곱을 이용하여 호프 대수의 호환성 매끄러움을 증명하고, 초공통 호프 초대수를 분해한다.
• 초공통 호프 초대수와 외적 대수 및 군형 호프 대수의 텐서곱 사이의 표준 동형을 수립한다.

제안 방법

• 군 작용과 2차 코호몰로지가 결합된 조건을 만족하는 조건을 갖춘 군 대칭곱을 정의한다.
• 호프 대수 H와 정규화된 코호몰로지 σ를 갖춘 오른쪽 H-코모듈 대수 B를 이용하여 군 대칭곱을 호프 대칭곱으로 일반화한다.
• 도이-타케우치 정리에 의해, 호프-갈로아 성질과 정상 기저의 존재를 이용하여 호프 대칭곱을 특성화한다.
• A가 초공통 호프 초대수일 때, α: A → ∧(W) ⊗ H의 표준 동형을 구성한다. 여기서 W는 쌍대코알구조의 기저에서의 홀수 원소의 생성자 공간이며, H는 군형 호프 대수이다.
• 쌍대코알구조 A°와 홀수 원소 생성자 공간 U = W*를 이용하여 중성 성분에서 γ: B → ∧(W)의 동형을 유도한다.
• B⁺의 모듈로에서의 행동을 확인함으로써, α가 증강되고 오른쪽 H-코선형이며 왼쪽 B-선형인 동형임을 검증한다.

실험 결과

연구 질문

• RQ1 어떻게 호프 대수의 맥락에서 군 대칭곱을 호프 대칭곱으로 일반화할 수 있는가?
• RQ2 어떤 조건에서 호프 대칭곱이 정상 기저를 갖춘 호프-갈로아 확장으로 특성화되는가?
• RQ3 초공통 호프 초대수가 호프 대칭곱을 통해 어떤 조건에서 텐서곱 분해를 갖는가?
• RQ4 쌍대코알구조와 홀수 원소 생성자 공간은 초공통 호프 초대수의 구조와 어떻게 관련되는가?
• RQ5 코호몰로지 σ는 호프 대칭곱의 결합법칙과 대수적 구조를 보장하기 위해 어떤 역할을 하는가?

주요 결과

• 호프 대칭곱은 정상 기저를 갖춘 호프-갈로아 확장으로 특성화되며, 고전적 도이-타케우치 정리를 일반화한다.
• 모든 강한 가중 대수에서 각 성분에 가역원소가 존재하면, 이는 군 대칭곱 B ⋊σ Γ로 나타난다.
• 초공통 호프 초대수 A에 대해, W가 쌍대코알구조에서의 홀수 원소 생성자 공간의 쌍대일 때, 표준 동형 α: A → ∧(W) ⊗ H가 존재한다.
• A의 중성 성분 B는 외적 대수 ∧(W)와 동형이며, B⁺는 노일포텐트이고 B⁺ = B₁B를 만족한다.
• 초대수로서의 분해 A ≅ ∧(W) ⊗ H는 H가 군형 호프 대수일 때 성립하며, 동형 α는 증강되고 오른쪽 H-코선형이다.
• α는 노일포텐트 아이디얼 B⁺에 모odulo에서 동형이며, α가 왼쪽 B-선형이고 B⁺에 모odulo에서 동형이므로 전체적으로도 동형이다.