[논문 리뷰] Twisting of the Quantum double and the Weyl algebra

Byung-Jay Kahng|ArXiv.org|2008. 08. 31.

Advanced Operator Algebra Research참고 문헌 24인용 수 5

한 줄 요약

이 논문은 국소적으로 컴act한 군 $G$에 대해 양자 듀얼 $D(G)$의 와이어 쌍대를 $C^*$-대수적 구조로 구성하며, 양자 $R$-행렬을 사용해 코승법을 변형하고 새로운 대수적 구조를 유도한다. 주요 결과는 $D(G)$의 와이어 쌍대가 $C_0(G) \rtimes_\tau G$와 동형이며, 이는 자체적으로 컴 pact 연산자 대수 $\mathcal{K}(L^2(G))$와 동형임을 보여, 루의 유한차원 결과를 $C^*$-대수적 양자군 설정으로 확장한다.

ABSTRACT

Quantum double construction, originally due to Drinfeld and has been since generalized even to the operator algebra framework, is naturally associated with a certain (quasitriangular) $R$-matrix ${\mathcal R}$. It turns out that ${\mathcal R}$ determines a twisting of the comultiplication on the quantum double. It then suggests a twisting of the algebra structure on the dual of the quantum double. For $D(G)$, the $C^*$-algebraic quantum double of an ordinary group $G$, the "twisted $\hat{D(G)}$" turns out to be the Weyl algebra $C_0(G) imes_τG$, which is in turn isomorphic to ${\mathcal K}(L^2(G))$. This is the $C^*$-algebraic counterpart to an earlier (finite-dimensional) result by Lu. It is not so easy technically to extend this program to the general locally compact quantum group case, but we propose here some possible approaches, using the notion of the (generalized) Fourier transform.

연구 동기 및 목표

• 유한차원에서 루의 양자 듀얼과 와이어 대수에 대한 결과를 국소적으로 컴 pact한 양자군의 $C^*$-대수적 설정으로 확장한다.
• 양자 $R$-행렬 $\mathcal{R}$를 사용해 $C^*$-대수적 양자 듀얼 $A_D = D(G)$의 쌍대 대수 $\widehat{A_D}$를 변형하는 방법을 정의한다.
• 결과적으로 얻어진 변형된 쌍대 대수가 와이어 대수 $C_0(G) \rtimes_\tau G$와 동형이며, 이는 자체적으로 $\mathcal{K}(L^2(G))$와 동형임을 확립한다.
• 일반적인 국소적으로 컴 pact한 양자군으로 이 구성의 일반화를 위한 프레임워크를 제안한다. 이는 일반화된 푸리에 변환과 곱형 단위 연산자들을 사용한다.

제안 방법

• 양자 듀얼 $N_D$와 관련된 양자 $R$-행렬 $\mathcal{R} \in N_D \otimes N_D$를 사용해 코승법 $\Delta_D$에 대한 왼쪽 코사이클을 정의함으로써 코승법의 변형을 가능하게 한다.
• 이 변형을 쌍대 대수 $\widehat{A_D}$에 적용하여 $C_c(G \times G)$ 위에 변형된 곱 $\times_\mathcal{R}$를 도출하며, 이는 푸리에 변환과 하어 가중치 구조에서 유도된다.
• 일반화된 푸리에 변환과 하어 가중치를 통한 쌍대 쌍대를 사용해 변형된 쌍대 대수를 정의함으로써 유한차원 쌍대성에 의존하지 않도록 한다.
• 적분을 통한 명시적 표현을 도출함: $(a \times b) \times_\mathcal{R} (a' \otimes b')(s,t) = \int a(z)b(t)a'(z^{-1}s)b'(z^{-1}t) \, dz$, 이는 와이어 대수의 곱과 일치한다.
• 곱형 단위 연산자 $\hat{W}$와 관계 $\mathcal{R} = Z^*_{34} \hat{W}_{14} Z_{34}$를 사용해 $R$-행렬과 와이어 대수의 구조를 연결한다.
• $C_c(G \times G)$ 위의 $\times_\mathcal{R}$에 대한 $C^*$-완비화가 $C_0(G) \rtimes_\tau G$와 동형이며, 이는 $\mathcal{K}(L^2(G))$와도 동형임을 보인다.

실험 결과

연구 질문

• RQ1 어떻게 $C^*$-대수적 설정에서 양자 듀얼의 구성에 $R$-행렬을 사용해 쌍대의 새로운 대수적 구조를 유도할 수 있는가?
• RQ2 루의 유한차원 결과에서 $D(G)$의 변형된 쌍대가 와이어 대수임을 규명한 $C^*$-대수적 대응은 무엇인가?
• RQ3 변형된 쌍대 대수 $C^*$-대수적 양자 듀얼 $D(G)$가 명시적으로 $C_0(G) \rtimes_\tau G$로 표현될 수 있는가?
• RQ4 일반화된 푸리에 변환은 비유한차원 설정에서 쌍대 쌍대를 정의하고 변형 구성의 가능성을 어떻게 보장하는가?
• RQ5 결과적으로 얻어진 변형된 쌍대 대수는 $\mathcal{K}(L^2(G))$와 동형이며, 이는 연산자 이론적 구성으로 증명될 수 있는가?

주요 결과

• 변형된 쌍대 대수 $D(G)$의 $C^*$-대수적 양자 듀얼은 와이어 대수 $C_0(G) \rtimes_\tau G$와 동형이며, 여기서 $\tau$는 $G$가 자기 자신에 대해 작용하는 이동 작용을 나타낸다.
• 양자 $R$-행렬에 의해 유도된 $C_c(G \times G)$ 위의 변형된 곱은 명시적으로 $\int a(z)b(t)a'(z^{-1}s)b'(z^{-1}t) \, dz$로 주어지며, 이는 와이어 대수의 곱과 일치한다.
• $C^*$-대수 $C_0(G) \rtimes_\tau G$는 컴 pact 연산자 대수 $\mathcal{K}(L^2(G))$와 동형이며, 이는 와이어 대수의 $C^*$-대수적 실현을 확립한다.
• 해석적이지만 일관된 서술: $B = \overline{\text{span}}\{(1 \otimes \mu^{\text{op}}_b)(\Delta(L_a))\}^\|\|$, 이는 $\mathcal{B}(\mathcal{H} \otimes \mathcal{H})$에 속하며, 일반적인 변형된 쌍대를 위한 프레임워크를 시사한다.
• 이 방법은 곱형 단위 연산자 $\hat{W}$와 관계 $\mathcal{R} = Z^*_{34} \hat{W}_{14} Z_{34}$에 의존하며, $R$-행렬과 와이어 대수의 구조 사이의 다리를 놓는다.
• 비정규 양자군에 대한 일반적 증명은 아직 열려 있으나, 구성은 예시들 사이에서 일관되며, $C^*$-대수적 양자군에서 쌍대를 변형하는 데 일반화 가능한 접근법을 시사한다.