[논문 리뷰] Normal Hopf subalgebras, depth two and Galois extensions

Lars Kadison|ArXiv.org|2004. 11. 06.

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

한 줄 요약

이 논문은 깊이 두 번째 확장의 왼쪽 내적환의 링이 $ R $-이중체를 통한 기저 대칭 대칭의 반대 대수 위에서 왼쪽 갈로아 확장임을 증명하고, 힉프 부분대수가 정규이면 정확히 힉프-갈로아 확장임을 증명한다. 또한 약한 힉프-갈로아 확장을 깊이 두 번째로 특성화하고, 유한 차원의 약한 힉프 대수에서 갈로아 사상의 전사성은 전단사성을 암시함을 보인다.

ABSTRACT

Let $S$ be the left $R$-bialgebroid of a depth two extension with centralizer $R$ as defined in math.QA/0108067. We show that the left endomorphism ring of depth two extension, not necessarily balanced, is a left $S$-Galois extension of $A^{ m op}$. Looking to examples of depth two, we establish that a Hopf subalgebra is normal if and only if it is a Hopf-Galois extension. We find a class of examples of the alternative Hopf algebroids in math.QA/0302325. We also characterize finite weak Hopf-Galois extensions using an alternate Galois canonical mapping with several corollaries: that these are depth two and that surjectivity of the Galois mapping implies its bijectivity.

연구 동기 및 목표

• 깊이 두 번째 확장과 이중체 작용 사이의 갈로아 대응을 수립하고, 특히 왼쪽 내적환에 대해 다룬다.
• 깊이 두 번째 힉프 부분대수가 정확히 정규 힉프 부분대수인지 여부를 해결한다.
• 약한 힉프-갈로아 확장을 특성화하고, 전사성 조건 하에서 전단사 갈로아 사상이 성립함을 보인다.
• 약한 이중체의 쌍대항을 갈로아 사상으로부터 재구성하고, 바이알레르그의 결과를 일반화한다.
• 칸자키 분리 가능 대수와 대칭 분리 가능 원소를 사용하여 비쌍대 힉프 이중체의 새로운 예를 제시한다.

제안 방법

• 왼쪽 내적환 $\mathcal{E} = \mathrm{End}_B A$ 를 사용하고, 깊이 두 번째 확장의 $ R $-이중체 $ S $ 를 통해 $ A^{\mathrm{op}} $ 위에서 왼쪽 $ S $-갈로아 확장을 구성한다.
• 약한 힉프-갈로아 확장을 특성화하기 위해 $\beta' : A \otimes_B A \to A \otimes H$ 를 정의하는 대체 갈로아 사상 $\beta'(a \otimes a') = a_{(0)}a' \otimes a_{(1)}$ 를 적용한다.
• 등장사상이 핵심 구조를 통해 인식되도록 하는 가환 다이어그램을 사용하여, 전사성 조건 하에서 갈로아 사상의 전단사성을 증명한다.
• 갈로아 구조에서 유도된 표준 원소 $\ell_i, r_i$ 를 사용하여 $S(h) = \sum_i \varepsilon(\ell_i(h)_{(1)} r_i(h)) \ell_i(h)_{(2)}$ 를 정의함으로써 약한 힉프 대수 $H$ 의 쌍대항을 정의한다.
• 표준 원소 $\ell_i, r_i$ 와 아이디포텐트 $\Pi^L, \Pi^R$ 를 사용하여 약한 힉프 대수에서 쌍대항 공리를 검증한다.
• 이중체 이론과 갈로아 확장의 결과를 활용하며, 특히 중심화자 $R = C_A(B)$ 와 텐서 제곱 중심성의 정의를 통해 깊이 두 번째 확장을 정의한다.

실험 결과

연구 질문

• RQ1 히프 부분대수가 정규이면 정확히 힉프-갈로아 확장인가?
• RQ2 약한 힉프-갈로아 확장의 갈로아 사상이 전사일 경우 전단사임을 보일 수 있는가?
• RQ3 체 위의 대수에 약한 이중체가 갈로아 작용을 하면 반드시 쌍대항을 갖는가?
• RQ4 약한 이중체의 쌍대항은 갈로아 구조로부터 재구성할 수 있는가?
• RQ5 비쌍대 힉프 이중체의 새로운 예는 무엇이며, 칸자키 분리 가능 대수에서 어떻게 유도되는가?

주요 결과

• 왼쪽 내적환 $\mathcal{E} = \mathrm{End}_B A$ 는 균형성 또는 충실한 평탄성 조건 없이도 $A^{\mathrm{op}}$ 위에서 왼쪽 $S$-갈로아 확장이다.
• 히프 부분대수가 정규이면 정확히 힉프-갈로아 확장이며, 깊이 두 번째 확장의 맥락에서 이는 추측을 해결한다.
• 약한 힉프-갈로아 확장은 깊이 두 번째이며, 갈로아 사상 $\beta'$ 가 전사이면 유한 차원의 약한 힉프 대수에서는 전단사임을 보인다.
• 대수 $A$ 에 대해 갈로아 작용을 하는 약한 이중체 $H$ 의 쌍대항은 갈로아 구조를 통해 $S(h) = \sum_i \varepsilon(\ell_i(h)_{(1)} r_i(h)) \ell_i(h)_{(2)}$ 로 재구성할 수 있다.
• 칸자키 분리 가능 대수와 대칭 분리 가능 원소를 사용한 변환을 통해 비쌍대 힉프 이중체의 새로운 클래스가 유도된다.
• 약한 이중체에 대한 갈로아 동형사상은 그 목표 부분대수를 통해 인식되며, 새로운 구조적 분해를 제공한다.