[논문 리뷰] Rigidity of action of compact quantum groups III: the general case

Debashish Goswami|arXiv (Cornell University)|2012. 07. 27.

Advanced Operator Algebra Research참고 문헌 3인용 수 3

한 줄 요약

이 논문은 매끄럽고, 컴팩트하며, 옹호된, 연결된 리만다양체 위에 매끄럽고 충실하게 작용하는 임의의 컴팩트 양자군은, 그 작용이 코탄젠트 번들의 절단의 모듈러스 위에 자연스러운 이중모듈러스 사상(induced bimodule morphism)을 유도하는 경우, C*-대수로서 교환법칙을 만족해야 하며, 따라서 어떤 컴팩트군 $ G $에 대해 $ C(G) $와 동형이어야 한다고 증명한다. 결과적으로 이러한 다양체의 양자 등장대칭군(quantum isometry group)은 고전적 등장대칭군 $ C(ISO(M)) $와 일치하게 되며, 이는 이러한 다양체들에 대해 진정으로 양자 대칭이 존재하지 않음을 의미한다.

ABSTRACT

If a compact quantum group acts faithfully and smoothly (in the sense of Goswami 2009) on a smooth, compact, oriented, connected Riemannian manifold such that the action induces a natural bimodule morphism on the module of sections of the co-tangent bundle, then it is proved that the quantum group is necessarily commutative as a $C^{*}$ algebra i.e. isomorphic with $ C(G)$ for some compact group $G$. From this, we deduce that the quantum isometry group of such a manifold M coincides with $C(ISO(M))$ where $ISO(M) $ is the group of (classical) isometries, i.e. there is no genuine quantum isometry of such a manifold.

연구 동기 및 목표

• 매끄럽고, 컴팩트하며, 옹호된, 연결된 리만다양체 위에 비틀림 없는 양자군이 고전적이지 않은 채로 충실하고 매끄럽게 작용할 수 있는지 조사하기 위해.
• 그러한 작용이 비가환 양자 대칭을 유도할 수 있는지, 특히 양자 등장대칭군의 맥락에서 조사하기 위해.
• 양자군이 반드시 가환적이어야 하는 조건을 설정함으로써, 이러한 기하적 대상들에 대해 진정으로 양자 대칭이 존재하지 않도록 하는 것을 목적으로 함.

제안 방법

• 고스와미(2009)의 의미에서의 매끄러운 작용 개념을 활용하여, 작용이 다양체의 매끄러운 구조와 호환되어야 한다고 요구함.
• 코탄젠트 번들의 절단 모듈러스 위에 유도된 작용이 이중모듈러스 사상이 되어야 한다고 분석함.
• 표현론적 및 C*-대수 기법을 적용하여, 양자군이 반드시 가환적이어야 한다고 유도함.
• 양자군을 C*-대수로 간주하고, 작용이 리만계량과 옹호 구조와 호환되어야 한다는 점을 활용함.
• 작용이 매끄러운 구조를 유지하고 미분형식 위에 잘 정의된 사상 유도를 유도한다는 사실을 사용함.
• 결국 가능한 유일한 양자군은 $ C(G) $와 동형인 것, 즉 고전적 컴팩트군임을 결론함.

실험 결과

연구 질문

• RQ1 비가환 컴팩트 양자군이 매끄럽고 충실하게 매끄럽고, 컴팩트하며, 옹호된, 연결된 리만다양체 위에 작용할 수 있는가?
• RQ2 어떤 조건에서 이러한 다양체 위의 양자군 작용이 양자군이 반드시 가환적이어야 하도록 강제하는가?
• RQ3 주어진 기하적 제약 조건을 만족하는 컴팩트 리만다양체의 양자 등장대칭군은 반드시 고전적 등장대칭군과 일치하는가?
• RQ4 코탄젠트 번들의 작용의 구조에 기반해, 이러한 다양체들에 대해 진정으로 양자 등장대칭이 존재하지 않도록 막는 메커니즘이 존재하는가?
• RQ5 코탄젠트 번들의 절단의 모듈러스 위에 이중모듈러스 사상 조건이 양자군의 고전성에 충분한 기준이 될 수 있는가?

주요 결과

• 매끄럽고, 컴팩트하며, 옹호된, 연결된 리만다양체 위에 매끄럽고 충실하게 작용하는 임의의 컴팩트 양자군은 C*-대수로서 반드시 가환적이어야 한다.
• 양자군은 반드시 어떤 컴팩트군 $ G $에 대해 $ C(G) $와 동형이어야 하며, 이는 고전적임을 의미한다.
• 작용은 코탄젠트 번들의 절단의 모듈러스 위에 자연스러운 이중모듈러스 사상을 유도하며, 이는 핵심적인 제약 조건이다.
• 이러한 다양체의 양자 등장대칭군은 $ C(ISO(M)) $와 일치한다. 즉, 고전적 등장대칭군 위의 연속함수 대수이다.
• 이러한 다양체들에 대해 진정으로 양자 등장대칭은 존재하지 않는다. 고전적 등장대칭군을 초월한 비고전적 양자 대칭은 존재하지 않는다.
• 작용의 구조적 강성은 양자군이 고전적 군으로 붕괴하도록 강제하며, 비가환 양자 대칭을 제거한다.