[논문 리뷰] Existence and examples of quantum isometry group for a class of compact metric spaces

Debashish Goswami|arXiv (Cornell University)|2012. 05. 28.

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

한 줄 요약

이 논문은 유클리드 공간에 등거리 위상동형사상으로 통합 가능한 일반적인 컴팩트 거리 공간의 클래스에 대해 보편 양자 등거리군의 존재를 확립한다—특히 유한 거리 공간에 대한 반يكا 이론을 일반화한다. 핵심 결과는 이러한 양자 등거리군이 보편적으로 존재하며, 특정 거리 공간(위상합을 통한 구성)에 대해 와앙의 양자 순열군 $\mathcal{S}_n^+$ 및 자유 와링크드 프로덕트 $\mathbb{Z}_2 \ast_w \mathcal{S}_n^+$ 와 같은 알려진 양자군들과 동형임을 보여준다.

ABSTRACT

We formulate a definition of isometric action of a compact quantum group (CQG) on a compact metric space, generalizing Banica's definition for finite metric spaces. For metric spaces $(X,d)$ which can be isometrically embedded in some Euclidean space, we prove the existence of a universal object in the category of the compact quantum groups acting isometrically on $(X,d)$. In fact, our existence theorem applies to a larger class, namely for any compact metric space $(X,d)$ which admits a one-to-one continuous map $f : X aro \IR^n$ for some $n$ such that $d_0(f(x),f(y))=ϕ(d(x,y))$ (where $d_0$ is the Euclidean metric) for some homeomorphism $ϕ$ of $\IR^+$. As concrete examples, we obtain Wang's quantum permutation group $\cls_n^+$ and also the free wreath product of $\IZ_2$ by $\cls_n^+$ as the quantum isometry groups for certain compact connected metric spaces constructed by taking topological joins of intervals in \cite{huang1}.

연구 동기 및 목표

• 유한 거리 공간에 대한 반يكا의 작업을 확장하여, 컴팩트 양자군(CQG)의 등거리 작용을 컴팩트 거리 공간에 대해 정의하는 것.
• 넓은 범위의 컴팩트 거리 공간 내에서 주어진 컴팩트 거리 공간에 등거리적으로 작용하는 보편 컴팩트 양자군의 존재를 확립하는 것.
• 위상합을 통해 구성된 특정 연결 거리 공간에 대한 양자 등거리군의 명시적 예를 계산하는 것.
• 특정 연결 거리 공간에 대해, 양자 등거리군이 순수한(비가환) 컴팩트 양자군임을 보여주는 것—단지 고전군이 아니라는 점.

제안 방법

• 유클리드 공간으로의 연속적, 등거리성 유지 사상에 의한 거리의 역상에 의존하여 컴팩트 거리 공간에 대한 CQG의 등거리 작용을 정의하는 것.
• 모든 $x, y \in X$에 대해 $d_0(f(x), f(y)) = \phi(d(x,y))$ 를 만족하는 일대일 연속 사상 $f: X \to \mathbb{R}^n$ 이 존재하는 거리 공간의 클래스를 도입하며, 이는 등거리 임bedding을 일반화한다.
• 등거리 조건과 코행동 공리에 만족하는 행렬 계수를 생성하는 보편 $C^*$-대수를 사용하여, 이러한 공간에 등거리적으로 작용하는 CQG의 범주 내에서 보편 대상을 구성하는 것.
• 보편 성질을 이용하여 양자 등거리군 $QISO(X,d)$ 가 보편 대상임을 보이며, 사상들이 모두 이를 통해 인자화됨을 보여주는 것.
• 위상합 $T_n$(n개의 점의)의 양자 등거리군은 와앙의 양자 순열군 $\mathcal{S}_n^+$ 와 동형이며, $T_n'$ (n개의 구간 $[-1,1]$ 의 위상합)의 양자 등거리군은 자유 와링크드 프로덕트 $\mathbb{Z}_2 \ast_w \mathcal{S}_n^+$ 와 동형임을 증명하는 것.
• 쌍대성과 표현 이론적 기법(특히 채택자와 생성자의 직교성 관계)을 사용하여 동형관계를 검증하는 것.

실험 결과

연구 질문

• RQ1 등거리성 유지 사상에 의해 유클리드 공간에 임베딩 가능한 주어진 컴팩트 거리 공간에 대해, 등거리적으로 작용하는 보편 컴팩트 양자군이 존재하는가?
• RQ2 연결되고 미분 가능하지 않은 거리 공간(예: 위상합으로 구성된 공간)의 양자 등거리군이 진정으로 비가환 컴팩트 양자군인가?
• RQ3 거리 공간의 양자 등거리군이 $\mathcal{S}_n^+$ 및 $\mathbb{Z}_2 \ast_w \mathcal{S}_n^+$ 와 같은 알려진 양자군들과 어떻게 관련이 있는가?
• RQ4 유한 거리 공간의 양자 등거리군이 유한 경우 반يكا의 양자 등거리군과 동형인가?
• RQ5 구간의 위상합을 통해 구성된 거리 공간의 양자 등거리군은 자유 와링크드 프로덕트로 기술될 수 있는가?

주요 결과

• n개의 점의 위상합에 대한 양자 등거리군 $QISO(T_n, d)$ 는 와앙의 양자 순열군 $\mathcal{S}_n^+$ 와 동형이며, $n \geq 4$ 에서는 진정한 비가환 컴팩트 양자군이다.
• n개의 $[-1,1]$ 복사본의 위상합에 대한 양자 등거리군 $QISO(T_n', d)$ 는 자유 와링크드 프로덕트 $\mathbb{Z}_2 \ast_w \mathcal{S}_n^+$ 와 동형이며, $n \geq 2$ 에서는 진정한 컴팩트 양자군이다.
• 모든 컴팩트 거리 공간에 대해 일대일 연속 사상 $f: X \to \mathbb{R}^n$ 이 존재하고, $d_0(f(x), f(y)) = \phi(d(x,y))$ 를 만족하는 홈오미오포즘 $\phi$ 가 $\mathbb{R}^+$ 상에서 존재하는 경우, 보편 양자 등거리군의 존재가 증명된다.
• 이 구성은 반يكا의 유한 거리 공간에 대한 양자 등거리군 정의를 일반화하며, 매우 넓은 범위의 무한, 연결, 비미분 가능한 거리 공간에까지 확장된다.
• 증명은 작용의 행렬 계수에 의해 생성되는 $C^*$-대수의 보편 성질에 기반하며, 등거리 조건과 코행동 공리로부터 유도된 관계를 사용한다.
• 동형관계는 양자군과 양자 등거리군 사이의 $C^*$-준동형사상에 의해 확립되며, 생성자의 직교성과 자기수반성, 채택자 성질을 이용하여 관계를 검증한다.