[논문 리뷰] Homomorphisms of quantum groups

Ralf Meyer, Sutanu Roy외 1명|arXiv (Cornell University)|2010. 11. 18.

Advanced Operator Algebra Research참고 문헌 10인용 수 42

한 줄 요약

이 논문은 국소적으로 컴팩트한 양자군 간의 호모모르피즘들이 이중과 보편 양자군의 텐서곱의 승수 대칭에서 이중성과 보편성의 원리를 통합하는 데 기여한다. 핵심 기여는 모든 모듈라 승수 유니타리가 '기본적'임을 증명함으로써, 하어 무게를 가정하지 않고도 감소형 이중성의 구조를 보편 양자군 수준으로 올릴 수 있음을 보여준다. 이는 낭의 및 쿠스터만스의 프레임워크를 일반화한다.

ABSTRACT

We introduce some equivalent notions of homomorphisms between quantum groups that behave well with respect to duality of quantum groups. Our equivalent definitions are based on bicharacters, coactions, and universal quantum groups, respectively.

연구 동기 및 목표

• 비유한 국소적으로 컴팩트한 양자군에 대해 이중성과 호환되는 방식으로 양자군 호모모르피즘을 정의하고 특성화하기.
• 특히 비유한 군에서 히프 ∗-호모모르피즘이 감소형 C*-대수에서 이중 사상으로 이어지지 않는 문제를 해결하기.
• 감소형 C*-대수에서의 이중성의 특성화를 제공하기 위해 $\mathcal{U}\mathcal{M}(\hat{C} \otimes A)$ 내의 이중성에 의해 양자군 호모모르피즘을 분류하는 구체적이고 실용적인 특성화를 제공하기.
• 모든 모듈라 승수 유니타리가 '기본적'임을 증명함으로써, 하어 무게를 가정하지 않고도 감소형 이중성을 보편 양자군 수준으로 올리는 것이 가능함을 보장하기.
• 낭의 및 쿠스터만스의 기존 프레임워크를 통합하고 일반화하기 위해, 공액 작동자, 이중성, 히프 ∗-호모모르피즘 간의 등가성을 확립하기.

제안 방법

• 잊기 함수자와 가환하는 작용의 범주 간의 함자로서 양자군 호모모르피즘을 정의함으로써 범주론적 기초를 마련하기.
• 히프 ∗-호모모르피즘 $f: C \to A$로부터 단위 승수 다중연산자 $V_f = (\text{id}_{\hat{C}} \otimes f)(W^C) \in \mathcal{U}\mathcal{M}(\hat{C} \otimes A)$를 구성하고, 이가 이중성 조건을 만족함을 보이기.
• 이중성 조건: $(\Delta_{\hat{C}} \otimes \text{id}_A)V = V_{23}V_{13}$ 및 $(\text{id}_{\hat{C}} \otimes \Delta_A)V = V_{12}V_{13}$을 사용하여 $\mathcal{U}\mathcal{M}(\hat{C} \otimes A)$ 내의 이중성이 양자군 호모모르피즘과 이중적으로 대응됨을 증명하기.
• 하어 무게를 가정하지 않고도 감소형 이중성을 $\mathcal{U}\mathcal{M}(\hat{C}^u \otimes C^u)$ 수준으로 올리는 데 모듈라 승수 유니타리의 구조를 활용하기.
• 승수 유니타리 이론과 보편 양자군 이론을 사용하여, 모든 모듈라 승수 유니타리가 낭의 의미에서 '기본적'임을 증명함으로써, 항상 올리기가 가능함을 보장하기.
• 히프 ∗-호모모르피즘 $f: A \to B$일 때, 이중성의 복합곱 $V^{C \to A} * V^{A \to B} = (\text{id}_C \otimes f)(V^{C \to A})$를 통해 이중성의 복합 법칙을 수립하기.

실험 결과

연구 질문

• RQ1 히프 ∗-호모모르피즘이 감소형 C*-대수에서 실패할 경우, 이중성과 호환되는 방식으로 양자군 호모모르피즘을 어떻게 특성화할 수 있는가?
• RQ2 작용 범주에 대한 함자, 이중성, 히프 ∗-호모모르피즘 간의 정확한 관계는 무엇인가?
• RQ3 감소형 이중성이 보편 수준으로 올릴 수 있는 조건은 무엇인가?
• RQ4 하어 무게의 존재를 가정하지 않고도 모든 모듈라 승수 유니타리에 대해 이중성이 올릴 수 있는가?
• RQ5 이중성은 어떻게 복합화되며, 양자군 호모모르피즘의 복합화에 대응하는 구조는 무엇인가?

주요 결과

• 양자군 호모모르피즘 $C$에서 $A$로는 $\mathcal{U}\mathcal{M}(\hat{C} \otimes A)$ 내의 단위 승수 다중연산자 $V$와 이중성 조건을 만족하는 것과 이중적으로 대응된다.
• $V_f = (\text{id}_{\hat{C}} \otimes f)(W^C)$의 구성은 히프 ∗-호모모르피즘과 이중성 간의 자연스러운 연결 고리를 제공한다.
• 모든 모듈라 승수 유니타리는 낭의 의미에서 '기본적'이며, 하어 무게를 가정하지 않고도 감소형 이중성을 보편 양자군 수준으로 올릴 수 있음을 의미한다.
• 이중성의 올림은 이중성에 기반한 양자군 호모모르피즘 이론이 모든 국소적으로 컴팩트한 양자군에 대해 적용 가능함을 보장한다.
• 호모모르피즘의 복합은 이중성의 복합곱으로 표현되며, $V^{C \to B} = V^{A \to B} * V^{C \to A}$로 나타내며, $f: A \to B$가 히프 ∗-호모모르피즘일 때 명시적 공식 $V^{C \to B} = (\text{id}_C \otimes f)(V^{C \to A})$가 성립한다.
• 오른쪽 양자군 호모모르피즘은 $C$의 힐베르트 공간 코레프레젠테이션에서 $A$의 동일한 힐베르트 공간 위의 코레프레젠테이션으로 자연스럽게 유도되는 사상이 된다. 이는 작용의 함자성에 기반한다.