[논문 리뷰] Commutator Representations of Covariant Differential Calculi on Quantum Groups

Konrad Schmuedgen|arXiv (Cornell University)|2001. 05. 30.

Advanced Topics in Algebra인용 수 4

한 줄 요약

이 논문은 힐버트 공간 위의 유계가 아닌 연산자들을 이용하여 양자군 위의 공변 미분 계산법에 대해 교환자 표현을 도입한다. 좌측 공변성과 특정 이중공변성 계산법이 $SL_q(n+1)$, $O_q(n)$, $Sp_q(2n)$와 같은 컴팩트 양자군에서 실수 초월수인 $q$를 가질 경우, 교차곱 대수 ${\mathcal{A}} \rtimes {\mathcal{A}}^\circ$를 통해 충실한 교환자 표현을 갖는다는 것을 입증하며, 비가환 기하학과 양자군 미분 구조 간의 연결고리를 제공한다.

ABSTRACT

Let (G,d) be a first order differential *-calculus on a *-algebra A. We say that a pair (π,F) of a *-representation πof A on a dense domain D of a Hilbert space and a symmetric operator F on D gives a commutator representation of G if there exists a linear mapping t:G -> L(D) such that t(adb)=π(a)i[F,π(b)], a,b in A. Among others, it is shown that each left-covariant *-calculus G of a compact quantum group Hopf *-algebra A has a faithful commutator representation. For a class of bicovariant *-calculi on A there is a commutator representation such that F is the image of a central element of the quantum tangent space. If A is the Hopf *-algebra of the compact form of one of the quantum groups SL_q(n+1), O_q(n), Sp_q(2n) with real transcendental q, then this commutator representation is faithful. Keywords: Quantum Groups; Noncommuative Geometry; Differential Calculus

연구 동기 및 목표

• 양자군 위의 공변 미분 계산법과 알랭 콰네의 비가환 기하학 프레임워크 사이의 격차를 메우기 위해.
• 일阶 미분 *-계산법에 대한 교환자 표현을 체계적으로 구성하기 위한 방법을 개발하기 위해.
• 특히 컴팩트 양자군 위의 이중공변성 계산법에 대해 이러한 표현의 충실도 조건을 확립하기 위해.
• 교차곱 대수 ${\mathcal{A}} \rtimes {\mathcal{A}}^\circ$의 하이젠베르크 표현이 충실한 교환자 표현을 유도한다는 것을 보여주기 위해.
• 실수 초월수인 $q$를 가진 특정 양자군, 예를 들어 $SL_q(n+1)$, $O_q(n)$, $Sp_q(2n)$에 대한 명시적 구성 제공을 위해.

제안 방법

• Hil베르트 공간의 밀도 있는 정의역 $\mathcal{D}$ 위에서 정의된 *-대수 ${\mathcal{A}}$의 *-표현 $\pi$와 대칭 연산자 $F$를 이용해 교환자 표현을 정의하며, 선형 사상 $\tau: \Gamma \to L(\mathcal{D})$에 대해 $\tau(adb) = \pi(a)i[F,\pi(b)]$를 만족시킨다.
• 호프 쌍대 ${\mathcal{A}}^\circ$를 활용하여 교차곱 대수 ${\mathcal{A}} \rtimes {\mathcal{A}}^\circ$를 이용해 대수적 교환자 표현을 구성한다.
• 교차곱 대수 ${\mathcal{A}} \rtimes {\mathcal{A}}^\circ$의 하이젠베르크 표현을 이용해 대수적 표현을 힐베르트 공간 표현으로 올리는 데 활용한다.
• ${\mathcal{A}}^\circ$ 내의 중심 원소와 양자 접선 공간을 활용하여 $F$가 중심 원소의 상이 되는 표현을 구성한다.
• 특정 양자군에서 실수 초월수인 $q$를 가질 경우 $\tau$의 단사성을 입증함으로써 충실도를 검증한다.
• 극좌표 분해와 가중 이동 연산자 구조를 이용한 포크 유형 힐베르트 공간 위의 연산자를 사용하여 명시적 예제를 구성한다.

실험 결과

연구 질문

• RQ1 양자군 위의 공변 미분 계산법은 힐베르트 공간 표현에서 유계가 아닌 교환자로 표현될 수 있는가?
• RQ2 컴팩트 양자군 대수에서 좌측 공변 *-계산법이 충실한 교환자 표현을 갖는 조건은 무엇인가?
• RQ3 $SL_q(n+1)$, $O_q(n)$, $Sp_q(2n)$에서 이중공변성 계산법은 양자 접선 공간에서의 중심 원소 하나로 충실하게 표현될 수 있는가?
• RQ4 교차곱 대수 ${\mathcal{A}} \rtimes {\mathcal{A}}^\circ$는 교환자 표현의 구성에 어떻게 기여하는가?
• RQ5 초월수인 매개수 $q$는 교환자 표현의 충실도를 보장하는 데 어떤 역할을 하는가?

주요 결과

• 컴팩트 양자군 호프 *-대수 ${\mathcal{A}}$ 위의 각 좌측 공변 *-계산법은 충실한 대수적 교환자 표현을 갖는다.
• 공분해형 호프 *-대수에서의 일정한 이중공변성 *-계산법의 클래스에 대해, ${\mathcal{A}}^\circ$ 내 중심 원소의 상이 되는 $F$를 갖는 대수적 교환자 표현이 존재한다.
• ${\mathcal{A}} = {\mathcal{O}}(G_q)$이고 $G_q = SL_q(n+1), O_q(n), Sp_q(2n)$이며 실수 초월수인 $q$일 경우, 교환자 표현은 충실하다.
• 교차곱 *-대수 ${\mathcal{A}} \rtimes {\mathcal{A}}^\circ$의 하이젠베르크 표현은 좌측 공변 *-계산법에 대해 충실한 힐베르트 공간 교환자 표현을 유도한다.
• 극좌표 분해와 가중 이동 연산자를 이용한 포크 유형 힐베르트 공간 위에서의 교환자 표현에 대한 명시적 구성이 제공된다.
• 표현은 $\tau$가 단사일 경우에 충실하며, 이는 주어진 양자군과 초월수인 $q$를 가질 경우 성립한다.