[논문 리뷰] Gerbes on quantum groups

Jouko Mickelsson|ArXiv.org|2003. 08. 25.

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

한 줄 요약

이 논문은 루프 군 번들의 q-변형 전이 함수를 사용하여 양자군 위의 양자 게르베를 구성한다. 이는 프로젝티브 유니터리 표현을 통한 고전적 게르베 구조의 일반화이다. $SU_q(2)$에 대해, $q$-변형 대수의 원소를 갖는 행렬 $x$를 통해 양자 게르베를 정의하며, 이는 $K^1(SU_q(2))$에 값이 $ℤ$인 K-이론 클래스를 유도한다. 딕스미에르-두아드 불변량은 순환 3-코호몰로지 쌍대성에 의해 계산된다.

ABSTRACT

We discuss an approach to quantum gerbes over quantum groups in terms of q-deformation of transition functions for a loop group bundle. The case of the quantum group SUq(2) is treated in some detail.

연구 동기 및 목표

• 고전적 게르베 구조의 변형을 통해 양자군 위의 양자 게르베 개념을 정의하기 위해.
• q-변형 행렬 원소를 통한 고전적 루프 군 번들의 구조를 양자 설정으로 일반화하기 위해.
• $SU_q(n)$, 특히 $SU_q(2)$에 대해 양자 게르베와 K-이론 불변량 간의 연결을 수립하기 위해.
• 비가환 설정에서 de Rham 형식을 대체하여 순환 코hom올로지로 양자 딕스미에르-두아드 불변량을 계산하기 위해.

제안 방법

• 양자군 $SU_q(n)$의 원소를 갖는 행렬의 루프 군에서 국소 전이 함수를 사용하여 양자 게르베를 구성하며, 특이점을 다루기 위해 대수적 확장을 사용한다.
• 확장된 대수 $SU_q(n)_\lambda$에서 $\psi_t(g,\lambda) = -(1-t)\lambda + tg$의 호모토피를 정의하여 $-\lambda$에서 $g$로 연결하며, 가역성을 보장한다.
• $SU_q(2)$에 확장된 $f_q = \left[1 + \frac{1}{4q^2}(b - b^*)^2\right]^{1/2}$를 포함하는 $q$-변형 행렬 $x$를 정의하며, $x^2 = 1$을 만족한다.
• 투영 $P = \frac{1}{2}(1 + x)$를 사용하여 양자 구면 $S^2_q$ 위의 양자 선다발을 정의하며, $P^2 = P$를 만족한다.
• 함수 해석학과 스피너에 대한 딜라 타입 연산자 $D = -i\frac{d}{dt}$를 적용하여 스피너에서 $\psi(1) = g\psi(0)$를 만족하도록 하여 $K^1(SU_q(2))$의 K-이론 클래스를 정의한다.
• 순환 3-코호몰로지 쌍대성 $c_3$를 단위 행렬 $g$의 K-이론 클래스와 쌍대하여 양자 딕스미에르-두아드 불변량을 계산한다.

실험 결과

연구 질문

• RQ1 고전적 리군 위의 게르베 개념은 어떻게 q-변형을 통해 양자군 위의 양자 게르베로 변형될 수 있는가?
• RQ2 $SU_q(2)$ 위의 양자 게르베에 대한 전이 함수의 구조는 무엇이며, 고전적 루프 군 번들과 어떻게 일반화되는가?
• RQ3 양자 게르베의 K-이론 클래스는 $SU_q(2)$의 위상수학과 어떻게 관련되어 있으며, 그 불변량은 무엇인가?
• RQ4 딕스미에르-두아드 클래스는 양자 설정으로 일반화될 수 있으며, 만약 그렇다면 순환 코hom올로지로 어떻게 계산되는가?
• RQ5 $SU_q(n)$의 대수적 확장에서 $f_q$와 같은 원소들이 전이 함수 정의와 가역성 확보에 어떻게 기여하는가?

주요 결과

• 양자 게르베는 $q$-변형 대수의 원소를 갖는 자기수반이고 등급이 1인 행렬 $x$를 통해 구성되며, $x^2 = 1$을 만족하며, $P = \frac{1}{2}(1 + x)$로 정의되는 투영을 통해 정의된다.
• 양자 구면 $S^2_q$ 위의 양자 선다발은 투영 $P = \frac{1}{2}(1 + x)$로 주어지며, 이는 랭크 1 투영이지만, 왼쪽 곱셈이 비가환하므로 이중모듈러를 정의하지 못한다.
• $K^1(SU_q(2))$의 양자 게르베 K-이론 클래스는 $ℤ$와 동형이며 고전적 경우와 일치하며, 양자군 좌표의 유니터리 행렬 $g$로부터 기인하는 자명한 성격을 띤다.
• 딕스미에르-두아드 불변량은 순환 3-코호몰로지 쌍대성 $c_3$를 $g$의 K-이론 클래스와 쌍대하여 계산되며, 비가환 설정에서 de Rham 형식의 일반화이다.
• $SU_q(n)$에 대해 전이 함수는 확장된 대수 $SU_q(n)_\lambda$에서 $\psi_t(g,\lambda) = -(1-t)\lambda + tg$의 호모토피를 통해 정의되며, 가역성을 보장하고 루프 군 유사한 구조를 가능하게 한다.
• $SU_q(n)$으로의 일반화는 전이 함수 $\phi_{\lambda\lambda'}(g)(t) = \psi_t(g,\lambda)\psi_t(g,\lambda')^{-1}$를 정의함으로써 이루어지며, $g - \lambda$와 $g - \lambda'$가 가역인 대수적 확장 $SU_q(n)_{\lambda\lambda'}$의 원소를 갖는다.