[논문 리뷰] On quantum maps into quantum semigroups

Piotr M. Sołtan|arXiv (Cornell University)|2010. 10. 16.

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

한 줄 요약

이 논문은 M.M. Sadr가 제기한, 컴팩트 양자 준군에 대한 양자 사상의 가닥들에 관한 미해결 문제를 해결한다. 이 가닥들이 자유곱의 특수한 경우임을 보여주며, 이러한 양자 가닥들이 양자 준군의 구조를 갖는다는 것은 아니지만, 유한한 양자 공간에서 고전적인 유한군으로의 사상일지라도 항상 양자 군의 구조를 갖는 것은 아님을 보여준다.

ABSTRACT

We analyze the recent examples of quantum semigroups defined by M.M. Sadr who also brought up several open problems concerning these objects. These are defined as quantum families of maps from finite sets to a fixed compact quantum semigroup. We show that these are special cases of free products of quantum semigroups. This way we can answer all the questions stated by M.M. Sadr. Along the way we discuss the question whether restricting the comultiplication of a compact quantum group to a unital $\mathrm{C}^*$-subalgebra defines such a structure on the subalgebra. In the last section we show that the quantum family of all maps from a non-classical finite quantum space to a quantum group (even a finite classical group) might not admit any quantum group structure.

연구 동기 및 목표

• 컴팩트 양자 준군으로의 양자 사상의 가닥들에 관해 M.M. Sadr가 제기한 미해결 문제를 해결하는 것.
• 유한한 양자 공간에서 양자 군으로의 양자 사상의 가닥이 양자 군의 구조를 유전할 수 있는지 조사하는 것.
• 컴팩트 양자 준군의 구조가 C*-대수에서 부분대수로 제한되는 조건을 결정하는 것.
• 유한차원 C*-대수에서 컴팩트 양자 준군으로의 사상의 양자 공간의 위상적 및 대수적 구조를 분석하는 것.

제안 방법

• 유한차원인 $ B $와 유일한 항등원을 갖는 유한생성인 $ A $에 대해, 양자 사상의 가닥의 보편성질을 사용하여 $ C $를 정의함으로써, $ \mathsf{Q}\text{-Map}(\mathscr{QS}(B), \mathscr{QS}(A)) $를 나타내는 C*-대수 $ C $를 구성한다.
• 컴팩트 양자 준군으로의 양자 사상의 가닥이 자유곱의 형태임을 보여, Sadr의 질문에 답한다.
• C에 정의된 코승법 $ \Delta_C $를 분석하여 코결합법을 증명하고, 특정한 $ C^* $-대수 관계를 만족하는 생성자 $ p, q, z $를 통해 그 구조를 유도한다.
• C에 대한 특성 분석을 통해, 약한-* 위상에서 $ C $의 스펙트럼 $ X $가 2차원 구면과 두 개의 고립점의 disjoint 합집합임을 기술한다.
• 위상적 장벽(비균일성, 군 작용의 부재)을 적용하여, $ X $가 위상군의 구조를 가질 수 없음을 증명한다.
• \mathsf{Q}\text{-Map}의 보편성질을 사용하여 자연스러운 준동형사상 $ \pi: C \to A $를 정의하고, $ \mathscr{QS}(A) $가 $ \mathscr{QS}(C) $의 양자 준군 부분집합임을 보여준다.

실험 결과

연구 질문

• RQ1 유한차원 C*-대수 $ B $에서 컴팩트 양자 준군 $ A $로의 양자 사상의 가닥은 자유곱의 형태로 기술될 수 있는가?
• RQ2 컴팩트 양자 준군의 구조가 컴팩트 양자 준군으로의 양자 사상의 가닥으로부터 유도되는 조건은 무엇인가?
• RQ3 비고전적인 유한한 양자 공간에서 유한한 고전적 군으로의 양자 사상의 가닥은 반드시 양자 군의 구조를 갖는가?
• RQ4 컴팩트 양자 군의 코승법이 유일한 항등원을 갖는 C*-부분대수로 제한될 때, 그 부분대수에 양자 군의 구조를 정의할 수 있는가?
• RQ5 유한차원 대수에서 컴팩트 양자 준군으로의 사상의 양자 공간을 나타내는 C*-대수 $ C $의 스펙트럼의 위상적 구조는 무엇인가?

주요 결과

• 유한차원 C*-대수 $ B $에서 컴팩트 양자 준군 $ A $로의 양자 사상의 가닥은 자유곱의 양자 준군과 동형이며, Sadr의 미해결 문제를 해결한다.
• 사상의 양자 공간을 나타내는 C*-대수 $ C $의 스펙트럼 $ X $는 2차원 구면과 두 개의 고립점의 disjoint 합집합과 위상동형이다.
• 위상공간 $ X $는 균일한 위상을 갖지 않으며, 고립점에서 구면의 점으로 가는 호메오모르피즘이 존재하지 않기 때문에 위상군의 구조를 가질 수 없다.
• 비고전적인 유한한 양자 공간에서 유한한 고전적 군으로의 사상의 양자 가닥은 그 특성 공간의 비군적 위상으로 인해 양자 군의 구조를 가질 수 없다.
• A가 컴팩트 양자 군이더라도, 양자 사상의 가닥 $ \mathsf{Q}\text{-Map}(\mathscr{QS}(B), \mathscr{QS}(A)) $는 반드시 양자 군의 구조를 유전하지는 않는다.
• C에 정의된 코승법은 코결합법을 만족하며, 양자 사상의 가닥의 보편성질로부터 유도되며, $ p^*=p $, $ p=p^2+z^*z $, $ zp=(\mathbb{1}-q)z $, $ q^*=q $, $ q=q^2+zz^* $를 만족하는 명시적 생성자 $ p, q, z $를 갖는다.