[논문 리뷰] On the structure of weak Hopf algebras

Dmitri Nikshych|ArXiv.org|2001. 06. 01.

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

한 줄 요약

이 논문은 고전적 호프 대수 결과의 약한 호프 대수 버전을 수립하며, 유한차원 프로베누스 약한 호프 대수의 역원 연산자 S가 자명한 자기동형사상에 대해 유한 차수를 갖는다고 증명하고, 역원 연산자의 제곱에 대한 추적 공식을 유도하여 단순성과 코단순성에 대한 충분조건을 제시한다. 또한, 단순 호프 대수의 역동적 변형은 코단순 약한 호프 대수를 유도함을 보인다.

ABSTRACT

We study the group of group-like elements of a weak Hopf algebra and derive an analogue of Radford's formula for the fourth power of the antipode S, which implies that the antipode has a finite order modulo a trivial automorphism. We find a sufficient condition in terms of Tr(S^2) for a weak Hopf algebra to be semisimple, discuss relation between semisimplicity and cosemisimplicity, and apply our results to show that a dynamical twisting deformation of a semisimple Hopf algebra is cosemisimple.

연구 동기 및 목표

• . 약한 호프 대수에 대한 라드포드의 역원의 네 제곱에 대한 공식의 일반화를 수립한다.
• . 역원 연산자의 제곱에 대한 추적을 사용하여 단순성과 코단순성에 대한 조건을 유도한다.
• . 단순 호프 대수의 역동적 변형이 코단순 약한 호프 대수를 유도함을 증명한다.
• . 최소 약한 호프 대수를 분류하고, 군형 원소들의 군 및 자명한 군형 원소들에 의한 몫을 정의한다.
• . 약한 호프 대수에서 기저가 일치할 경우 단순성과 코단순성이 동치임을 보인다.

제안 방법

• . 최소 약한 호프 부분대수에서 군형 원소들의 군 G(H)와 자명한 군형 원소들의 정규부분군 G₀(H)를 도입하고 분석한다.
• . 쌍대 대수에서 왼쪽 및 오른쪽 적분 간의 차이를 측정하기 위해 군형 원소들의 특별한 쌍대류를 정의한다.
• . 라드포드의 공식을 약한 호프 대수로 확장하여 S⁴가 자명한 자기동형사상에 대해 항등사상과 쌍대일치함을 증명한다.
• . Tr(S²)에 대한 라슨-라드포드 추적 공식을 사용하여 단순성과 코단순성에 대한 충분조건을 도출한다.
• . 단순 호프 대수 U에서의 역동적 변형 J로부터 (Θ, Θ̄)를 구성하고, 변형된 약한 호프 대수 HΘ를 정의한다.
• . 변형 매개변수를 사용하여 SΘ와 Tr(S²Θ)를 계산하며, Tr(S²Θ) = dim(HΘ) ≠ 0 임을 보여 HΘ가 코단순임을 증명한다.

실험 결과

연구 질문

• RQ1 . 유한차원 약한 호프 대수의 역원 연산자 S는 고전적 호프 대수의 라드포드 결과와 유사하게 자명한 자기동형사상에 대해 유한 차수를 갖는가?
• RQ2 . 약한 호프 대수에서 역원 연산자의 제곱에 대한 추적 Tr(S²)를 사용하여 단순성과 코단순성을 판단할 수 있는가?
• RQ3 . 단순 호프 대수의 역동적 변형으로 얻어진 약한 호프 대수는 반드시 코단순인가?
• RQ4 . 약한 호프 대수에서 군형 원소들의 군의 구조는 어떠한가? 이 군이 자명한 군형 원소들에 의해 몫을 취했을 때 고전적 군형 원소들의 군과의 관계는 무엇인가?
• RQ5 . 약한 호프 대수에서 단순성과 코단순성이 동치가 되는 조건은 무엇인가?

주요 결과

• . 유한차원 프로베누스 약한 호프 대수에서 역원 연산자 S⁴는 자명한 자기동형사상에 대해 항등사상과 쌍대일치함을 보였다. 이는 라드포드 결과의 일반화이다.
• . 약한 호프 대수가 단순성과 코단순성을 갖기 위한 충분조건은 Tr(S²) ≠ 0 임을 보였다.
• . 약한 호프 대수에서 왼쪽 및 오른쪽 기저가 일치할 경우 단순성과 코단순성이 동치임을 보였다.
• . 단순 호프 대수의 역동적 변형으로 얻어진 약한 호프 대수의 쌍대는 단순하므로, 변형된 대수는 코단순임을 보였다.
• . 단순 호프 대수 U에서의 역동적 변형 J에 대해, 변형된 약한 호프 대수 HΘ는 Tr(S²Θ) = dim(HΘ) ≠ 0 임을 보였으며, 이는 HΘ가 코단순임을 의미한다.
• . 최소 약한 호프 부분대수의 모든 원시 프로젝션 p에 대해 Tr(S²|pHp)는 엄밀히 양수이며, 이는 적분의 비퇴화성과 단순성에 대한 지지를 제공한다.