[논문 리뷰] Galois theory for weak Hopf algebras

S. Caenepeel, E. De Groot|ArXiv.org|2004. 06. 09.

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

한 줄 요약

이 논문은 갈로아 코링의 프레임워크를 사용하여 약한 호프 대수에 대한 갈로아 이론을 수립하며, 고전적 갈로와 확장과 강한 군집화된 링의 약한 유사체를 구축한다. 그들은 군oids 대수에서 $G$-모듈러 대수는 갈로와일 필요 충분조건이 강한 군집화임을 증명하고, 이중 군oids 대수에서는 코어니컬 맵에 대한 모리타 맥락과 동형 조건을 수립하여 고전적 및 부분 갈로와 이론을 일반화한다.

ABSTRACT

We develop Hopf-Galois theory for weak Hopf algebras, and recover analogs of classical results for Hopf algebras. Our methods are based on the recently introduced Galois theory for corings. We focus on the situatation where the weak Hopf algebra is a groupoid algebra or its dual. We obtain weak versions of strongly graded rings, and classical Galois extensions.

연구 동기 및 목표

• 고전적 호프-갈로와 이론을 약한 호프 대수의 설정으로 확장하기 위해.
• 비교적 비교적 중요한 비가환 기하학과 양자 대칭에서의 중요성에도 불구하고, 약한 호프 대수에 대한 체계적인 갈로와 이론이 부족한 문제를 해결하기 위해.
• 고전적 결과, 예를 들어 갈로와 확장과 강한 군집화 링의 특성화를 약한 설정으로 일반화하기 위해.
• 특히 군oids 대수와 그 이중체에 대해 갈로와 코링 이론을 적용하기 위해.
• 코어니컬 맵이 동형임을 보장하는 조건을 수립하여 갈로와 확장과 모리타 맥락 및 프로젠레이터를 연결하기 위해.

제안 방법

• 저자들은 브제지ński와 위스바우어가 개발한 갈로와 코링 프레임워크를 활용한 코링과 코모듈 이론을 사용한다.
• 그들은 $B \to A$의 링 확장에 대해 $\mathcal{D} = A \otimes_B A$라는 코어니컬을 정의하며, 이는 대수의 구조에 의해 유도된 코승법과 코단위를 갖는다.
• 군oids 대수에 대해 $G$-모듈러 대수의 구조를 정의하고, 코인variant 부분환 $A^{G}$를 분석하며, 이를 $T = A^G$로 식별한다.
• 그들은 코어니컬 맵의 쌍대의 이미지로서 모듈 $Q = \{ \sum_{\sigma \in G_1} u_\sigma (\sigma \cdot a) \mid a \in A \}$를 구성한다.
• 연결 사상 $\tau$와 $\mu$를 사용하여 $T = A^G$, $\underline{\mathrm{Hom}}(H,A)$, 그리고 $A$ 사이의 모리타 맥락을 수립한다.
• 그들은 코어니컬 맵 $\mathrm{can}$이 동형임을 보이며, 이는 $B = T$ 이고 모리타 맥락이 엄격할 때이거나, 동치로 $A$가 $B$-프로젠레이터이고 $\mathrm{can}$이 동형임을 만족할 때이다.

실험 결과

연구 질문

• RQ1 약한 호프 대수(특히 군oids 대수)의 $G$-모듈러 대수가 갈로와 확장이 되기 위한 조건은 무엇인가?
• RQ2 코링 형식을 사용하여 고전적 갈로와 이론을 약한 호프 대수로 일반화할 수 있는가?
• RQ3 약한 설정에서 갈로와 확장과 강한 군집화된 대수 사이의 관계는 무엇인가?
• RQ4 약한 호프 대수에서 코어니컬 맵 $\mathrm{can}: A \otimes_B A \to \mathcal{D}$가 동형이 되는 조건은 무엇인가?
• RQ5 모리타 맥락은 약한 호프 대수 갈로와 이론에서 어떻게 자연스럽게 나타나며, 어떤 조건에서 엄격해지는가?

주요 결과

• 유한 군oids $G$에 대해, $G$-모듈러 대수 $A$는 갈로와일 필요 충분조건이 강한 군집화임을 보이며, 이는 욤브리히의 결과를 약한 설정으로 일반화한다.
• 코어니컬 맵 $\mathrm{can}: A \otimes_B A \to \mathcal{D}$는 $B = T = A^G$ 이고 모리타 맥락이 엄격할 때에만 동형이다.
• 쌍대 코어니컬 맵의 모듈 $Q$는 아벨 군으로서 $A$와 동형이며, $\underline{\mathrm{Hom}}(H,A)$와 $T$ 위에서 자연스러운 이중모듈러 구조를 지니며, 이는 모리타 맥락을 형성한다.
• $\tau: A \otimes_{\underline{\mathrm{Hom}}(H,A)} A \to T$는 $\sum_{\sigma \in G_1} \sigma \cdot a = 1$ 를 만족하는 $a \in A$ 가 존재할 때에만 전사이며, 이는 분리 조건의 약한 유사체이다.
• 코어니컬 맵 $\mathrm{can}$이 동형임은 $A$가 완비된 왼쪽 $B$-모듈러이고 $B = T$ 이거나, 동치로 $A$가 왼쪽 $B$-프로젠레이터임을 만족할 때에만 성립한다.
• 함자 $F$와 $G$는 $B = T$ 이고 모리타 맥락이 엄격할 때에만 범주 동치를 형성하며, 갈로와 설정에서 범주 동치를 확립한다.