[논문 리뷰] An approach to Hopf algebras via Frobenius coordinates II

Lars Kadison, Alexander Stolin|ArXiv.org|2001. 03. 05.

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

한 줄 요약

이 논문은 가환환 위의 유한 프로젝티브 호프 대수에서 항등소의 네 제곱에 대한 라드포르의 공식에 대해 프로베니우스 대수 기반의 개념적 증명을 제시한다. 프로베니우스 좌표계, 나카야마 자기동형사상, 모듈라 함수를 사용하여, 이러한 호프 대수의 양자 이중체가 항상 프로베니우스 대수임을 증명하고, 분리 가능/비분리 가능한 호프 대수 및 호프 부분대수의 프로베니우스 확장에 관한 결과를 확장한다.

ABSTRACT

We study a Hopf algebra $H$, which is finitely generated and projective over a commutative ring $k$, as a $P$-Frobenius algebra. We define modular functions in this setting, and provide a complete proof of Radford's formula for the fourth power of the antipode, using Frobenius algebraic techniques. As further applications, we extend Etingof and Gelaki's result that a separable and coseparable Hopf algebra has antipode of order two, the result of Schneider that Hopf subalgebras are twisted Frobenius extensions, and show that the quantum double is always a Frobenius algebra.

연구 동기 및 목표

• 유한 프로젝티브 호프 대수에서 $ S^4 $에 대한 라드포르의 공식에 대해 프로베니우스 대수 기반의 개념적 증명을 제공한다.
• 자유 적분 생성자가 없는 상황에서 나카야마 자기동형사상과 프로베니우스 좌표계를 통해 모듈라 함수를 정의하고 활용한다.
• 기존의 분리 가능 및 비분리 가능한 호프 대수, 호프 부분대수의 프로베니우스 확장, 양자 이중체의 프로베니우스 성질에 관한 결과를 확장한다.
• 임의의 유한 프로젝티브 호프 대수 $ H $가 FH-대수로의 호프 부분대수로 포함될 수 있음을 보이며, 특히 $ D(H) $와 $ H \otimes_k K $를 통해 포함되며, 여기서 $ K $는 피카르 군이 자명한 환이다.

제안 방법

• 프로베니우스 좌표계, 쌍대 기저, 노름 원소 $ N $ 를 사용하여 $ H $ 에 $ P $-프로베니우스 대수의 구조를 구성함으로써 프로베니우스 대수 이론을 일반화한다.
• 표준 정의에서 자유 적분 생성자에 의존하는 대신, 나카야마 자기동형사상과 여도수의 합성으로 모듈라 함수를 정의한다.
• 항등소 $ S $ 를 프로베니우스 체계에 작용시켜 새로운 체계를 생성하고, 라돈-니코디움 미분을 사용하여 두 체계를 연결함으로써 특별한 군-유사 원소 $ b \in H $ 를 식별한다.
• $ P $-프로베니우스 대수의 비교 및 변환 정리를 적용하여 나카야마 자기동형사상을 유도하고, 라드포르의 $ S^4 $ 공식을 도출한다.
• 양자 이중체 $ D(H) $ 가 FH-대수임을 증명하기 위해 $ \int^\ell_{D(H)^*} \cong k $ 를 보이며, $ D(H)^* \cong H^{\rm op} \otimes H^* $ 와 $ P \otimes P^* \cong k $ 를 이용한다.
• 피카르 군이 자명한 환 $ K $ 를 구성하기 위해 극대 아이디얼에서의 반지름화의 반복극한을 사용하여, $ H \otimes_k K $ 가 FH-대수임을 보장하는 환의 확장을 구성한다.

실험 결과

연구 질문

• RQ1 적분의 공간이 자유 생성자를 갖지 않을 경우, 프로베니우스 대수 기법을 사용하여 라드포르의 $ S^4 $ 공식을 어떻게 재증명할 수 있는가?
• RQ2 왼쪽 노름이 적분 공간을 자유 생성하지 못하는 경우, 가환환 위의 호프 대수에서 모듈라 함수의 적절한 일반화는 무엇인가?
• RQ3 유한 프로젝티브 호프 대수 $ H $ 의 양자 이중체 $ D(H) $ 는 항상 프로베니우스 대수인가?
• RQ4 호프 부분대수 쌍 $ K \subset H $ 가 제3종 프로베니우스 확장이 되는 조건은 무엇이며, 이는 $ H^* $ 와 $ K^* $ 의 피카르 군 원소와 어떻게 관련되는가?
• RQ5 임의의 유한 프로젝티브 호프 대수 $ H $ 는 어떤 구성에 의해 FH-대수로 포함될 수 있는가?

주요 결과

• 모든 유한 프로젝티브 호프 대수 $ H $ 에 대해 프로베니우스 좌표계와 나카야마 자기동형사상을 사용하여, $ S^4 $ 에 대한 라드포르의 공식에 대한 완전하고 개념적인 증명이 확립되었다.
• 모듈라 함수는 나카야마 자기동형사상과 여도수의 합성으로 정의되며, 적분 공간이 자유 생성하지 못하는 상황에서도 표준 정의를 성공적으로 대체한다.
• 양자 이중체 $ D(H) $ 가 FH-대수이므로 프로베니우스 대수임을 증명하기 위해 $ \int^\ell_{D(H)^*} \cong k $ 를 보였으며, 이는 $ D(H)^* \cong H^{\rm op} \otimes H^* $ 와 $ P \otimes P^* \cong k $ 를 기반으로 한다.
• 호프 부분대수 쌍 $ K \subset H $ 는 상대적 나카야마 자기동형사상과 $ K^* $, $ H^* $ 의 피카르 군 원소에 따라 제3종 프로베니우스 확장이 되며, 이는 이전의 프로베니우스 확장 이론을 일반화한다.
• 임의의 유한 프로젝티브 호프 대수 $ H $ 는 두 가지 구성에 의해 FH-대수로 포함될 수 있다: $ D(H) $ 와 $ H \otimes_k K $, 여기서 $ K $ 는 피카르 군이 자명한 환으로, 극대 아이디얼에서의 반지름화의 반복극한을 통해 구성된다.
• 논문은 $ H $ 가 분리 가능하고 비분리 가능할 경우 $ S^2 = \text{id} $ 임을 확인하였으며, 이는 $ k $ 에서 $ 2 $ 가 영약수일 것이 아닐 조건 하에 에팅호프와 게라키의 결과를 일반화한다.