[논문 리뷰] Larson-Sweedler Theorem, Grouplike Elements and Invertible Modules in Weak Hopf Algebras

Péter Vecsernyés|arXiv (Cornell University)|2001. 11. 05.

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

한 줄 요약

이 논문은 유한차원 약한 바이알제브라가 비퇴화한 왼쪽 적분을 갖는다 하면 약한 호프 대수임을 증명하여 라르슨–수이들러 정리를 약한 호프 대수로 확장한다. 약한 호프 대수 위의 모듈러 범주가 자동으로 단순한 모나이드임을 증명하고, 단위 모듈러와 역가능한 모듈러의 반단순성을 분석하며, 이들 간의 관계를 이중 약한 호프 대수의 군형 원소들과 연결한다.

ABSTRACT

We extend the Larson–Sweedler theorem for weak Hopf algebras by proving that a finite dimensional weak bialgebra is a weak Hopf algebra iff it possesses a non-degenerate left integral. We establish the autonomous monoidal category of the modules of a weak Hopf algebra A and show the semisimplicity of the unit and the invertible modules of A. We also reveal the connection of these modules to left/right grouplike elements in the dual weak Hopf algebra Â.

연구 동기 및 목표

• 클래식한 라르슨–수이들러 정리를 약한 호프 대수의 맥락으로 일반화하는 것.
• 약한 호프 대수 위의 모듈러 범주, 특히 그 모나이드성과 자동성의 구조를 조사하는 것.
• 약한 호프 대수의 모듈러 범주에서 단위 대상과 역가능한 모듈러의 반단순성을 분석하는 것.
• 역가능한 모듈러와 이중 약한 호프 대수에서의 군형 원소 간의 관계를 탐색하는 것.

제안 방법

• 유한차원 약한 바이알제브라에서 약한 호프 대수의 구조를 특징짓는 도구로 비퇴화한 왼쪽 적분을 사용하는 것.
• 약한 호프 대수 위의 모듈러 범주가 자동으로 단순한 모나이드임을 보이기 위해 범주론적 방법을 적용하는 것.
• 약한 호프 대수의 구조적 분석을 통해 단위 대상과 역가능한 모듈러의 반단순성을 증명하는 것.
• 이중 약한 호프 대수 Â에서 군형 원소를 식별하고, 모듈러 범주 이중성에 의해 이들과 역가능한 모듈러 간의 대응관계를 설정하는 것.
• A와 Â 간의 이중성을 이용하여 모듈러 이론적 성질을 이중의 대수적 구조와 연결하는 것.

실험 결과

연구 질문

• RQ1 유한차원 약한 바이알제브라가 어떤 조건에서 약한 호프 대수가 되는가?
• RQ2 비퇴화한 왼쪽 적분의 존재가 어떻게 약한 호프 대수의 구조를 특징짓는가?
• RQ3 약한 호프 대수 위의 모듈러 범주의 모나이드 구조는 무엇이며, 이는 자동으로 단순한가?
• RQ4 약한 호프 대수 위의 어떤 모듈러가 역가능한가, 그리고 이들은 이중 대수에서의 군형 원소와 어떻게 관련되어 있는가?
• RQ5 이중 약한 호프 대수 Â에서의 군형 원소는 역가능한 모듈러를 분류하는 데 어떤 역할을 하는가?

주요 결과

• 유한차원 약한 바이알제브라가 비퇴화한 왼쪽 적분을 갖는다 하면 약한 호프 대수이다.
• 약한 호프 대수 위의 모듈러 범주는 자동으로 단순한 모나이드 범주이며, 이는 모든 대상이 쌍대를 갖는다는 뜻이다.
• 약한 호프 대수의 모듈러 범주에서의 단위 대상은 반단순하다.
• A-모듈러 범주 내의 역가능한 모듈러는 반단순하며, 이는 이중 약한 호프 대수 Â의 군형 원소와 대응된다.
• 역가능한 모듈러와 Â의 군형 원소 사이에는 일대일 대응이 존재하며, 이는 범주론적 구조와 대수적 구조를 연결한다.