[논문 리뷰] Examples of inner linear Hopf algebras

Nicolás Andruskiewitsch, Julien Bichon|arXiv (Cornell University)|2009. 11. 30.

Algebraic structures and combinatorial models참고 문헌 16인용 수 3

한 줄 요약

이 논문은 내부 선형 히프 대수에 대한 두 가지 기초 결과를 확립한다: 히프 쌍대를 통한 특성화로, $q$가 단위근이 아닐 때 드린펠트-지모 양자 대수 $U_q(\mathfrak{g})$와 $\mathcal{O}_q(G)$가 내부 선형임을 증명하고, 확장에 대한 안정성 결과로 인해 $q$가 단위근일 때의 양자 대수와 반자유화된 올리고나르티크 히프 대수에서 내부 선형성을 확인한다. 또한 컴팩트 리 군 $K$에 대해 $\mathcal{O}_q(K)$는 $q \in \mathbb{R}^*$, $q \neq \pm 1$일 때 내부 선형이지만 내부 유니터리가 아니며, 이는 $*$-대수 표현에서의 핵심적 구분을 해결한다.

ABSTRACT

The notion of inner linear Hopf algebra is a generalization of the notion of discrete linear group. In this paper, we prove two general results that enable us to enlarge the class of Hopf algebras that are known to be inner linear: the first one is a characterization by using the Hopf dual, while the second one is a stability result under extensions. We also discuss the related notion of inner unitary Hopf *-algebra.

연구 동기 및 목표

• 내부 선형 히프 대수의 범주를 확장하기 위해 내부 선형성에 대한 일반 기준을 제공하는 것.
• 내부 선형성과 내부 유니터리성의 차이를 $*$-히프 대수의 맥락에서 명확히 하는 것.
• 내부 선형성의 확장에 대한 안정성 결과를 수립하여 양자군과 반자유화된 대수에 적용 가능하게 하는 것.
• 특히 $\mathcal{O}_q(K)$와 같은 컴팩트 양자군의 표현론적 성질을 내부 유니터리성과 관련하여 조사하는 것.

제안 방법

• 히프 쌍대 $H^0$를 이용한 내부 선형성의 특성화를 도입하여, $H$가 내부 선형일 조건으로서 $H^0$가 $H$의 점들을 분리하는 유한 생성 히프 부분대수를 포함함을 보인다.
• 이 기준을 드린펠트-지모 양자 대수 $U_q(\mathfrak{g})$와 $\mathcal{O}_q(G)$에 적용하여, $q$가 단위근이 아닐 때 내부 선형임을 증명한다.
• 히프 대수의 확장에 대한 내부 선형성의 안정성 결과를 개발하여, $A$가 내부 선형이고 $H$가 $A$에 대한 충실하게 평탄한 확장이면 $H$도 내부 선형임을 보인다.
• $*$-히프 대수에 대해 이 기법을 응용하여, $A \subset H$가 정규적이고 가환적이며 내부 유니터리인 히프 $*$-부분대수이고 $H$가 오른쪽 $A$-모듈로 유한 생성일 경우 $H$가 내부 유니터리임을 증명한다.
• 조건부 기대와 $C^*$-대수 기법을 통해 힐버트 공간 위의 유도 표현을 구성함으로써 내부 충실한 $*$-표현을 만든다.
• 이 이론을 컴팩트 양자군 $\mathcal{O}_q(K)$와 반자유화된 올리고나르티크 대수 $A_o^*(n)$에 적용하여, 후자의 경우 내부 유니터리임을 증명한다.

실험 결과

연구 질문

• RQ1 Drinfeld-Jimbo 양자 대수 $U_q(\mathfrak{g})$와 $\mathcal{O}_q(G)$가 내부 선형이 되는 $q$에 대한 조건은 무엇인가?
• RQ2 히프 대수의 대수적 확장에서 내부 선형성이 유지될 수 있는가, 그리고 만약 가능하면 어떤 구조적 가정이 필요한가?
• RQ3 컴팩트 양자군 $\mathcal{O}_q(K)$는 $q \in \mathbb{R}^*$, $q \neq \pm 1$일 때 내부 유니터리인가, 비록 내부 선형임을 확인했더라도?
• RQ4 $*$-히프 대수 $A_o^*(n)$는 유한 차원 힐버트 공간 위에 내부 충실한 $*$-표현을 갖는가?
• RQ5 $*$-히프 대수의 맥락에서 내부 선형성과 내부 유니터리성의 관계는 무엇인가?

주요 결과

• Drinfeld-Jimbo 양자 대수 $U_q(\mathfrak{g})$는 $q$가 단위근이 아닐 때 모든 단순 리 대수 $\mathfrak{g}$에 대해 내부 선형이다.
• 함수의 양자화 대수 $\mathcal{O}_q(G)$는 히프 쌍대 특성화를 통해 $q$가 단위근이 아닐 때 내부 선형임이 입증된다.
• 양자 대수 $U_q(\mathfrak{g})$와 $\mathcal{O}_q(G)$는 $q$가 단위근일 때에도 확장에 대한 안정성 덕분에 여전히 내부 선형이다.
• 반자유화된 올리고나르티크 히프 $*$-대수 $A_o^*(n)$는 $*$-확장 정리에 의해 내부 유니터리임을 보였다.
• 컴팩트 양자군 $\mathcal{O}_q(K)$는 $q \in \mathbb{R}^*$, $q \neq \pm 1$일 때 내부 선형이지만 내부 유니터리가 아니며, 이는 그 $*$-표현에 비자명한 교환자 아이디얼이 존재하기 때문이다.
• $*$-대수 $\mathcal{O}_{-1}(\mathrm{SU}_2)$는 내부 유니터리이며, 내부 유니터리이면 내부 선형임이 보장되는 함의의 역이 성립하지 않음을 보여주는 반례를 제공한다.