[논문 리뷰] Non-existence of universal $R$-matrix for some C$^{*}$-bialgebras

Katsunori Kawamura|ArXiv.org|2009. 12. 18.

Advanced Operator Algebra Research참고 문헌 12인용 수 6

한 줄 요약

이 논문은 Cuntz 대수 $\mathcal{O}_*$의 직합에 비코commutative 코곱 $\Delta_\varphi$를 부여한 특정 C*-bialgebra에 대해 보편 R-행렬의 존재를 입증한다. $\Delta_\varphi$와 $\Delta_\varphi^{op}$에 대해 비퇴화 표현의 텐서곱이 유니터리 동치가 아니라는 것을 증명함으로써, 보편 R-행렬을 위한 필수 통합 조건이 실패함을 보이며, 따라서 이러한 C*-bialgebra에 대해 이러한 R-행렬이 존재하지 않음을 입증한다.

ABSTRACT

For a C$^{*}$-bialgebra $A$ with a comultiplication $Δ$, a universal $R$-matrix of $(A,Δ)$ is defined as a unitary element in the multiplier algebra $M(A\otimes A)$ of $A\otimes A$ which is an intertwiner between $Δ$ and its opposite comultiplication $Δ^{op}$. We show that there exists no universal $R$-matrix for some C$^{*}$-bialgebras.

연구 동기 및 목표

• 비단위, 비-바이알제브라적 설정으로 일반화된 순수 대수적 개념을 비단위 C*-bialgebra에 대해 보편 R-행렬을 정의한다.
• 직합 Cuntz 대수에 비코commutative 코곱을 갖는 C*-bialgebra $(\mathcal{O}_*, \Delta_\varphi)$가 보편 R-행렬을 갖는지 조사한다.
• C*-bialgebra의 표현 이론에 기반한 보편 R-행렬의 존재하지 않음에 대한 기준을 수립한다.
• 이 결과를 Cuntz-Krieger 대수 $\mathsf{CK}_*$의 더 넓은 클래스로 확장한다.

제안 방법

• C*-bialgebra $(A, \Delta)$에 대해 보편 R-행렬을 $R \in M(A \otimes A)$인 유니터리 원소로 정의한다. 이는 모든 $x \in A$에 대해 $R \Delta(x) R^* = \Delta^{\text{op}}(x)$를 만족하며, 순수 대수적 양자군 개념을 비단위 설정으로 일반화한다.
• 반대 코곱 $\Delta^{\text{op}}$를 정의하기 위해 $M(A \otimes A)$ 위의 확장된 플립 사상 $\tilde{\tau}_{A,A}$를 도입한다.
• 논문의 보조정리 2.1 증명: 만약 C*-bialgebra가 준비코commutative하다면 (즉, 보편 R-행렬을 갖는다면), 임의의 두 비퇴화 표현 $\pi_1, \pi_2$에 대해 $(\pi_1 \otimes \pi_2) \circ \Delta$와 $(\pi_2 \otimes \pi_1) \circ \Delta$는 유니터리 동치이다.
• 보조정리 2.1의 대우를 사용한다: 만약 이러한 텐서곱 표현이 유니터리 동치가 아니라면, 보편 R-행렬은 존재하지 않는다.
• 이 기준을 $\mathcal{O}_*$와 $\Delta_\varphi$에 적용한다. [8]에서 알려진 예제를 사용하여, $\mathcal{O}_2$의 특정 단위 표현 $\pi_1, \pi_2$에 대해 $ (\pi_1 \otimes \pi_2) \circ \Delta_\varphi|_{\mathcal{O}_4} $와 $ (\pi_2 \otimes \pi_1) \circ \Delta_\varphi|_{\mathcal{O}_4} $는 유니터리 동치가 아님을 보인다.
• 이 결과를 $\mathsf{CK}_*$로 확장한다. 이는 비퇴화 $\{0,1\}$-행렬에 관련된 모든 Cuntz-Krieger 대수의 직합이며, $\mathcal{O}_*$를 부분bialgebra로 포함하고 있으며, 준비코commutative가 아님을 상속한다.

실험 결과

연구 질문

• RQ1 비코commutative 코곱을 갖는 C*-bialgebra $(\mathcal{O}_*, \Delta_\varphi)$가 보편 R-행렬을 갖는가?
• RQ2 순수 대수적 의미에서 단위가 아니며 바이알제브라가 아닌 C*-bialgebra에 대해 보편 R-행렬 개념을 의미 있게 일반화할 수 있는가?
• RQ3 C*-bialgebra에서 보편 R-행렬의 존재에 대한 표현론적 장애 요소가 존재하는가?
• RQ4 $\mathcal{O}_*$에서 보편 R-행렬이 존재하지 않음이 그를 부분bialgebra로 포함하는 더 큰 C*-bialgebra로 확장되는가?

주요 결과

• C*-bialgebra $(\mathcal{O}_*, \Delta_\varphi)$는 특정 단위 표현 $\pi_1, \pi_2$에 대해 $ (\pi_1 \otimes \pi_2) \circ \Delta_\varphi $와 $ (\pi_2 \otimes \pi_1) \circ \Delta_\varphi $가 유니터리 동치가 아니므로 보편 R-행렬을 갖지 못한다.
• $\mathcal{O}_*$에서 보편 R-행렬이 존재하지 않음은, 비퇴화 $\{0,1\}$-행렬에 관련된 모든 Cuntz-Krieger 대수의 직합인 $\mathsf{CK}_*$도 준비코commutative가 아님을 의미한다.
• 보조정리 2.1에서 제시된 기준—$ (\pi_1 \otimes \pi_2) \circ \Delta $와 $ (\pi_2 \otimes \pi_1) \circ \Delta $의 유니터리 동치는 보편 R-행렬 존재에 필수적—은 C*-bialgebra 설정에서도 성립한다.
• 결과는 C*-bialgebra에서 단위가 없기 때문에 순수 대수적 양자군 공리의 직접 적용이 불가능함을 보이며, 이는 보편 R-행렬의 정의를 수정할 필요성을 암시한다.
• C*-bialgebra가 비코commutative가 아니라면 보편 R-행렬은 $M(A \otimes A)$ 내의 단위의 스칼라 배수가 될 수 없으며, 이는 준비코commutative가 비코commutative보다 더 강력한 조건임을 확인한다.
• 논문은 C*-bialgebra에서 보편 R-행렬의 존재에 대한 표현론적 장애 요소를 제공하며, 양자군 이론의 범위를 비단위 연산 대수로 확장한다.