[논문 리뷰] An action-free characterization of weak Hopf-Galois extensions

Lars Kadison|ArXiv.org|2004. 09. 29.

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

한 줄 요약

이 논문은 군 또는 호프 대수 작용에 의존하지 않는 약한 호프-갈로아 확장의 동치 조건을 제시한다. 즉, 프로베누스 확장 $A|B$가 약한 호프-갈로아임과 동시에 깊이 2이자 모듈 $A_B$가 균형 잡힌 조건을 만족할 때이고, 이는 중심자 $R = C_A(B)$ 위에서의 이중대칭체(bialgebroid) 구조에 기반하며, 군 또는 호프 대수 작용이 아닌 모듈 이론적 조건을 사용한다. 이는 기존의 일반적 및 약한 호프-갈로아 확장에 대한 결과를 일반화한다.

ABSTRACT

We define comodule algebras and Galois extensions for actions of bialgebroids. Using just module conditions we characterize the Frobenius extensions that are Galois as depth two and right balanced extensions. As a corollary, we obtain characterizations of certain weak and ordinary Hopf-Galois extensions without reference to action in the hypothesis.

연구 동기 및 목표

• 약한 호프 대수의 맥락으로 일반화된 갈로아 확장의 작용 없는 특성화를 제시하기 위해.
• 약한 호프-갈로아 확장을 정의할 때 군 또는 호프 대수 작용에 의존하지 않도록 하기 위해.
• 프로베누스 확장이 정확히 깊이 2이자 오른쪽으로 균형 잡힌 조건을 만족할 때만 약한 호프-갈로아임을 증명하기 위해.
• 이중대칭체 대칭을 통해 기존의 일반적 및 약한 호프-갈로아 확장에 대한 결과를 통합하고 확장하기 위해.
• 제한 없는 중심자 $R = C_A(B)$를 사용하여 약한 호프-갈로아 확장을 위한 모듈 이론적 프레임워크를 제공하기 위해.

제안 방법

• 모듈 $A|B$가 $B$-$A$ 및 $A$-$B$ 이중모듈로서 $A \bigotimes_B A$가 유한한 $A$의 직합의 직합성분이면 깊이 2(D2)로 정의한다.
• 오른쪽 $R$-이중대칭체 $T = (A \bigotimes_B A)^B$와 왼쪽 $R$-이중대칭체 $S = \mathrm{End}_B A_B$를 구성하며, 이들은 상호 이중성 관계를 가진다.
• D2 조건을 이용해 $A$에 오른쪽 $T$-코모듈 대수의 구조를 정의한다. 이는 $\delta(a) = \sum_j \gamma_j(a) \otimes u_j$ 형태의 코작용을 통해 $A \bigotimes_R T$ 값으로 정의된다.
• 오른쪽 $T$-코모듈 대수로서 $A$의 코인variants가 $A^{\mathrm{co}T} = B$임과 동시에 $A_B$가 균형 잡힌 조건임이 동치임을 증명한다.
• 갈로아 사상 $\beta: A \bigotimes_B A \to A \bigotimes_R T$, $\beta(a \bigotimes a') = a a'_{(0)} \bigotimes a'_{(1)}$가 정의되며, 이는 정확히 $A|B$가 D2이자 $A_B$가 균형 잡힌 조건일 때에만 동형사상임을 증명한다.
• Larson-Sweedler-Vecsernyes 정리를 활용하여, $R$가 분리 가능하고 $A|B$가 프로베누스일 경우 $T$가 약한 호프 대수가 됨을 보여, 약한 호프-갈로아 구조를 가능하게 한다.

실험 결과

연구 질문

• RQ1 군 또는 호프 대수 작용에 대한 참조 없이, 프로베누스 확장 $A|B$가 약한 호프-갈로아가 되는 모듈 이론적 조건은 무엇인가?
• RQ2 갈로아 성질이 깊이 2 및 균형 잡힌 모듈 조건을 통해 어떻게 순수하게 특성화될 수 있는가?
• RQ3 중심자 $R = C_A(B)$는 약한 호프-갈로아 확장을 지배하는 이중대칭체를 구성하는 데 어떤 역할을 하는가?
• RQ4 모듈의 구조만을 사용하여 일반 호프 대수를 초월한 약한 설정으로 약한 호프-갈로아 확장의 특성화를 어떻게 확장할 수 있는가?
• RQ5 이중대칭체 $T = (A \bigotimes_B A)^B$를 통한 $A$의 이중성 및 코작용 구조는 갈로아 성질과 어떻게 관련이 있는가?

주요 결과

• 프로베누스 확장 $A|B$는 정확히 깊이 2이자 모듈 $A_B$가 균형 잡힌 조건일 때에만 약한 호프-갈로아이다.
• 기본체 $R$가 분리 가능하고 $A|B$가 프로베누스일 경우 오른쪽 $R$-이중대칭체 $T = (A \bigotimes_B A)^B$는 약한 호프 대수가 되며, 이는 약한 호프-갈로아 구조를 가능하게 한다.
• 갈로아 사상 $\beta: A \bigotimes_B A \to A \bigotimes_R T$는 정확히 $A|B$가 D2이자 $A_B$가 균형 잡힌 조건일 때에만 동형사상이다.
• $T$-코작용의 코인variants는 $A^{\mathrm{co}T} = B$임과 동시에 $A_B$가 균형 잡힌 조건임이 동치이며, 이는 갈로아 조건과 동치이다.
• 기하학적 확장의 경우(즉, $R = k1$일 때), $A|B$는 정확히 깊이 2이자 오른쪽으로 균형 잡힌 조건일 때만 유한 호프-갈로아이며, 이는 이전 결과를 복원하고 확장한다.
• 기본체의 특성가치가 0일 경우, Larson-Radford 정리에 의해 '오른쪽으로 균형 잡힌' 조건는 '분리 가능 확장' 조건로 대체될 수 있다.