[논문 리뷰] Examples of quantum commutants

Piotr M. Sołtan|arXiv (Cornell University)|2008. 06. 03.

Advanced Operator Algebra Research참고 문헌 8인용 수 4

한 줄 요약

이 논문은 주어진 가족의 양자 사상과 유니버설 성질을 통해 양자화된 구조를 가지며, 이를 만족하는 컴 pact 양자 반군인 양자 반대칭군을 정의하고 분석한다. 유한한 양자 공간과 $M_2$에 관련된 양자 공간에서 명시적인 예를 구성하여, 일부 양자 반대칭군이 고전적으로는 군이지만, 양자적으로는 컴 pact 양자 군이 되지 않는다는 것을 보여준다. 주요 결과로는, $M_2$의 단일 자명변환에 의해 유도된 양자 반대칭군이 하어 측도와 군 유사 원소의 구조적 장애로 인해 컴 pact 양자 군이 되지 못한다는 것이 입증된다.

ABSTRACT

We describe the notion of a quantum family of maps of a quantum space and that of a quantum commutant of such a family. Quantum commutants are quantum semigroups defined by a certain universal property. We give a few examples of these objects acting on a classical $n$-point space and on the quantum space underlying the algebra of two by two matrices. We show that some of the resulting quantum semigroups are not compact quantum groups. The proof of one result touches on an interesting problem of the theory of compact quantum groups.

연구 동기 및 목표

• 주어진 양자 사상의 가족과 유니버설 성질을 만족하는 컴 pact 양자 반군으로서의 양자 반대칭군을 정의하고 연구하는 것.
• 고전적 $n$-점 공간과 $M_2$에 대응하는 양자 공간에서 작용하는 양자 반대칭군을 분석하는 것.
• 고전적 대응체가 군임에도 불구하고 일부 양자 반대칭군이 컴 pact 양자 군이 되지 않는다는 것을 보여주는 것.
• 컴 pact 양자 군의 구조적 제약을, $C^*$-대수적 맥락에서 비-홉프 대수적 구조를 포함한 반례를 통해 탐색하는 것.

제안 방법

• 양자 사상의 가족에 대한 유니버설 성질을 이용하여, $C^*$-대수의 multiplier 대수로의 유니버설 사상에 의해 컴 pact 양자 반군으로서의 양자 반대칭군을 정의하는 것.
• 특히 $M = M_2(\mathbb{C})$인 유한차원 $C^*$-대수 $M$에 대해, 유니버설 $*$-준동형사상 $\Phi \in \mathrm{Mor}(M, M \otimes \mathbb{A})$를 사용하여 양자 반군 $\mathscr{Q}\text{-Map}(\mathscr{QS}(M))$를 구성하는 것.
• 컴 pact 양자 군 이론, 즉 하어 측도의 존재성과 코유니트의 역할을 활용하여, 양자 반대칭군이 컴 pact 양자 군의 구조를 가질 수 있는지 분석하는 것.
• 양자 반대칭군의 $C^*$-대수 $A$에 대해 코아소시에이티브 코곱 $\Delta$를 적용하고, 생성자 $X, Y, \alpha, \beta, \gamma$ 사이의 대수적 관계를 유도하여 군 유사 원소 및 프로젝션 성질을 시험하는 것.
• 그룹 유사 원소의 이미지를 분석하기 위해 $A \to A_r$의 감소 사상 $A \to A_r$를 사용하며, 충실한 하어 측도와 모순되지 않는 한, 적절한 프로젝션으로서의 그룹 유사 원소는 감소된 $C^*$-대수에 존재할 수 없다는 것을 보여주는 것.
• 결과 [10, Theorem 2.6(2)]를 적용하여, 감소된 대수에 그룹 유사 프로젝션 원소가 존재한다면, 그것은 밀도가 있는 훼프 $*$-대수에 속해야 하며, 원소가 동시에 적절한 프로젝션과 그룹 유사 원소일 경우 모순이 발생한다는 것을 보여주는 것.

실험 결과

연구 질문

• RQ1 단일 자명변환에 의한 $M_2$의 양자 반대칭군은 컴 pact 양자 군이 될 수 있는가?
• RQ2 고전적 반대칭군이 군임에도 불구하고, 양자 반대칭군이 컴 pact 양자 군이 되지 못하는 데에는 어떤 구조적 장애가 존재하는가?
• RQ3 하어 측도와 코유니트의 성질은 컴 pact 양자 반군에서 그룹 유사 원소의 존재를 어떻게 제약하는가?
• RQ4 고전적 반대칭군이 비아벨이면서 비자명한 경우, 예를 들어 $\mathbb{T} \rtimes \mathbb{Z}_2$인 경우, 양자 반대칭군은 어떻게 되는가?
• RQ5 컴 pact 양자 군의 감소된 $C^*$-대수에서, 동시에 적절한 프로젝션과 그룹 유사 원소인 원소가 존재할 수 있는가?

주요 결과

• 단일 자명변환에 의한 $M_2$의 양자 반대칭군은 고전적 반대칭군이 $\mathbb{T} \rtimes \mathbb{Z}_2$와 동형임에도 불구하고 컴 pact 양자 군이 아니다.
• 이 실패의 원인은 적절한 프로젝션 $Y^2$가 동시에 그룹 유사 원소이기 때문에 발생하며, 이는 감소된 $C^*$-대수의 구조와 하어 측도의 충실성과 모순된다.
• 이 경우 양자 반대칭군은 훼프 $*$-대수도 아니며, 원소 $Y$는 밀도가 있는 훼프 $*$-대수 $\mathcal{A}$에 속할 수 없으며, 이는 $A$가 컴 pact 양자 군일 경우 모순이 된다.
• $A$는 비가환임을 보여주지만, 그 감소된 $A_r$은 가환적이며, 이는 $A_r = A$임을 의미하며, 이는 비자명한 그룹 유사 프로젝션의 존재와 모순된다.
• $C^*$-대수의 원소 $X$는 $X + h(X)Y = \mathbb{1}_A$를 만족하며, $h(X) \neq 0$ 이므로 $X$는 $Y$와 가환해야 한다. 그러나 $X$와 $Y$는 반대칭을 이룬다. 이는 $XY = 0$을 유도하며, 결과적으로 $X^2 = 0$이고 $X = 0$이 되며, 이는 $h(X) = 1$이라는 조건과 모순된다.
• 분석 결과, 양자 반대칭군은 고전적 반대칭군보다 엄밀히 크며, 고전적 군 이론으로는 기술할 수 없는 비고전적 양자 구조를 지닌다는 것이 드러난다.