[논문 리뷰] Integral Theory for Quasi-Hopf Algebras

Frank Haußer, Florian Nill|ArXiv.org|1999. 04. 29.

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

한 줄 요약

이 논문은 호프 모듈에 대한 라슨-수이들러 구조 정리의 일반화를 초순환 대수로 확장하여, 유한차원 초순환 대수에서 적분의 존재성과 유일성(스칼라 배수를 제외하고)을 확립한다. 이는 쌍대 공간에 대한 코적분을 도입하고, 비퇴화성을 증명함으로써 대수가 프로베누스 성질을 가짐을 보이며, 이 이론을 활용하여 대각선 크로스곱의 마슈케 유사 정리, 특히 양자 듀얼을 증명한다.

ABSTRACT

We generalize the fundamental structure Theorem on Hopf (bi)-modules by Larson and Sweedler to quasi-Hopf algebras H. If H is finite dimensional this proves the existence and uniqueness (up to scalar multiples) of integrals in H. Among other applications we prove a Maschke type Theorem for diagonal crossed products as constructed by the authors.

연구 동기 및 목표

• 호프 모듈에 대한 기본 구조 정리를 초순환 대수로 확장한다.
• 유한차원 초순환 대수에서 적분의 존재성과 유일성을 확립한다.
• 초순환 대수의 쌍대 공간에 대한 코적분 이론을 개발한다.
• 대각선 크로스곱 $A\bowtie\hat{H}$에 대한 마슈케 유사 정리를 증명한다. 이는 양자 듀얼 $D(H)$를 포함한다.
• 라드포드의 공식을 일반화하고, 초순환 설정에서 단순성과 무모듈라리티를 특성화한다.

제안 방법

• 호프 이중모듈러에 대한 라슨-수이들 구조 정리를 초순환 이중모듈러로 일반화한다.
• 유한차원 $H$에 대해 쌍대 공간 $\hat{H}$에 초순환 $H$-이중모듈러 구조를 구성함으로써, 등장사상 $\hat{H} \cong \mathcal{L} \otimes H$를 이끌어낸다.
• 코적분을 일차원 부분공간 $\mathcal{L} \subset \hat{H}$의 원소로 정의하고, 비퇴화성을 증명함으로써 프로베누스 성질을 이끌어낸다.
• 코적분을 통해 푸리에 변환을 도입하여 호프 대수의 경우를 일반화한다.
• 코적분과 모듈라르 자동형사를 이용해 단순성과 무모듈라리티를 특성화한다.
• 코중앙 이중선형 형식을 사용하여 코적분을 특성화하고, $H$가 단순성과 무모듈라리티를 가지며 정규화된 코적분을 가질 경우 $D(H)$가 단순임을 증명한다.

실험 결과

연구 질문

• RQ1 호프 모듈에 대한 라슨-수이들 구조 정리는 초순환 대수로까지 확장 가능한가?
• RQ2 유한차원 초순환 대수는 적분을 갖는가? 그리고 스칼라 배수를 제외하고는 유일한가?
• RQ3 쌍대 공간 $\hat{H}$에 대한 코적분 이론은 프로베누스 성질과 단순성 성질을 증명하는 데 사용될 수 있는가?
• RQ4 대각선 크로스곱 $A\bowtie\hat{H}$가 어떤 조건에서 단순한가?
• RQ5 $H$가 단순성과 무모듈라리티를 가지면, 양자 듀얼 $D(H)$는 단순한가?

주요 결과

• 유한차원 초순환 대수에서는 적분이 존재하며, 스칼라 배수를 제외하고는 유일하다. 이는 호프 대수의 경우를 일반화한다.
• 쌍대 공간 $\hat{H}$는 초순환 $H$-이중모듈러 구조를 지니며, 이는 $\mathcal{L}$이 코적분의 일차원 공간일 때 $\hat{H} \cong \mathcal{L} \otimes H$의 동형사상으로 이어진다.
• 모든 영이 아닌 코적분은 비퇴화적이며, 이는 모든 유한차원 초순환 대수가 프로베누스 성질을 가짐을 의미한다.
• 대각선 크로스곱 $A\bowtie\hat{H}$에 대해 마슈케 유사 정리가 성립하며, $H$가 단순성과 무모듈라리티를 가지며 정규화된 코적분을 가질 경우 $D(H)$는 단순하다.
• 코로리어 8.3의 조건 하에서 양자 듀얼 $D(H)$는 단순하며, 하어 적분은 $\beta \rightharpoonup \lambda_0 \bowtie e$로 주어진다.