[논문 리뷰] Quantum Group of Orientation preserving Riemannian Isometries

Jyotishman Bhowmick, Debashish Goswami|ArXiv.org|2008. 06. 23.

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

한 줄 요약

이 논문은 비가환 기하학에서 '좋은' 라플라스 연산자를 요구하지 않고, 디랙 연산자에 직접적으로 기반하여 컴팩트 스펙트럴 트리플에 대한 방향을 유지하는 리만 이sov메트리의 양자군을 새롭게 제안한다. 이는 힐버트 공간의 스피너 위에 유니터리로 작용하고, 디랙 연산자와 가환하며, 왜곡된 추적을 보존하는 보편적인 컴팩트 양자군의 존재를 확립한다. 명시적인 계산을 통해 $U_\mu(2)$와 $SO_\mu(3)$는 각각 $SU_\mu(2)$와 $S^2_{\mu c}$의 양자 등장 이sov메트리군임을 보여준다.

ABSTRACT

We formulate a quantum group analogue of the group of orinetation-preserving Riemannian isometries of a compact Riemannian spin manifold, more generally, of a (possibly $R$-twisted in the sense of a paper of one of the authors, and of compact type) spectral triple. The main advantage of this formulation, which is directly in terms of the Dirac operator, is that it does not need the existence of any `good ' Laplacian as in our previous works on quantum isometry groups. Several interesting examples, including those coming from Rieffel-type deformation as well as the equivariant spectral triples on $SU_μ(2)$ and $S^2_{μ0}$ are dicussed.

연구 동기 및 목표

• 이전 연구에서 비가환 기하학에서 양자 등장 이sov메트리군을 정의하기 위해 '좋은' 라플라스 연산자가 필요로 하는 한계를 극복하기 위해.
• 디랙 연산자와 왜곡된 추적에 기반하여 방향을 유지하는 리만 이sov메트리의 양자군을 직접적으로 공식화하기 위해.
• 힐버트 공간의 스피너 위에 유니터리로 작용하고, 디랙 연산자와 가환하며, 주어진 충실한 함수를 보존하는 보편적인 컴팩트 양자군의 존재를 확립하기 위해.
• 라플라스 연산자 기반 방법이 실패하는 린펠-형 변형 다각형, 즉 $SU_\mu(2)$와 $S^2_{\mu c}$를 포함한 프레임워크를 확장하기 위해.
• 비가환 토러스 $\mathcal{A}_\theta$의 표준 스펙트럴 트리플에 대한 양자 등장 이sov메트리군이 $C(\mathbb{T}^2)\ast C(\mathbb{T})$임을 보여주며, 그 축소된 형태로는 고전적 군 $C(\mathbb{T}^2)$가 된다.

제안 방법

• 스피너의 힐버트 공간 위에 디랙 연산자와 가환하는 유니터리 코표현을 사용하여, 부드럽고 방향을 유지하는 리만 이sov메트리의 양자 가족의 범주를 정의한다.
• 양의 가역 연산자 $R$을 사용하여 비추적 기능 $\tau_R$를 정의하는 왜곡된 스펙트럴 트리플 프레임워크를 도입하며, 이는 양자군 작용에 의해 보존된다.
• 고정된 충실한 함수 $\tau_R$를 보존하는 양자군의 부분범주에서 보편 객체를 구성하며, 범주론적 보편 성질을 통해 존재를 보장한다.
• 워로노비츠-솔탄 프레임워크를 사용하여 보편 객체 위에 $C^*$-대수적 양자군의 구조를 정의하고, 자연스러운 코곱을 갖춘다.
• 린펠-형 변형에 이론을 적용하기 위해 $C^*$-대수와 스펙트럴 트리플을 행렬 $J$를 통해 변형하고, 변형 함수를 사용하여 양자 등장 이sov메트리군을 계산한다.
• 양자군 작용 하에서 디랙 연산자의 불변성과 왜곡된 추적의 호환성을 이용하여 $\widetilde{QISO}^+_R(\mathcal{A}_\theta^\infty, \mathcal{H}, D) \cong C(\mathbb{T}^2)\ast C(\mathbb{T})$임을 증명한다.

실험 결과

연구 질문

• RQ1 비가환 기하학에서 '좋은' 라플라스 연산자가 존재하지 않더라도, 방향을 유지하는 리만 이sov메트리의 양자군을 정의할 수 있는가?
• RQ2 힐버트 공간의 스피너 위에 유니터리로 작용하고, 디랙 연산자와 가환하며, 주어진 왜곡된 추적을 보존하는 보편적인 컴팩트 양자군이 존재하는가?
• RQ3 비가환 토러스 $\mathcal{A}_\theta$의 린펠-형 변형 스펙트럴 트리플에 대한 양자 등장 이sov메트리군은 무엇인가?
• RQ4 라플라스 연산자 기반 방법이 적용되지 않는 $SU_\mu(2)$와 $S^2_{\mu c}$의 등장 스펙트럴 트리플에 대한 양자 등장 이sov메트리군은 무엇인가?
• RQ5 린펠-형 변형 하에서 양자 등장 이sov메트리군은 어떻게 행동하며, 고전적 및 변형된 양자 등장 이sov메트리군 사이에 함자적 관계가 존재하는가?

주요 결과

• 비가환 토러스 $\mathcal{A}_\theta$의 표준 스펙트럴 트리플에 대한 양자 등장 이sov메트리군은 $\widetilde{QISO}^+_R(\mathcal{A}_\theta^\infty, \mathcal{H}, D) \cong C(\mathbb{T}^2)\ast C(\mathbb{T})$이며, 축소된 형태로는 $QISO^+(\mathcal{A}_\theta^\infty) = C(\mathbb{T}^2)$이다.
• $SU_\mu(2)$의 등장 스펙트럴 트리플에 대해 양자 등장 이sov메트리군은 $U_\mu(2)$이며, 왜곡된 추적을 보존하는 보편 객체로서 실현된다.
• $S^2_{\mu c}$ 위의 스펙트럴 트리플에 대해 양자 등장 이sov메트리군은 $SO_\mu(3)$이며, 이는 이전 연구의 결과를 확인한다.
• 양자 등장 이sov메트리군 구성은 린펠 변형과 호환된다: $\widetilde{QISO}^+_R(\mathcal{A}_J^\infty, \mathcal{H}, D) \cong (\widetilde{QISO}^+_R(\mathcal{A}^\infty, \mathcal{H}, D))_{\widetilde{J}}$ (변형 매개변수 $J$에 대해), 이는 함자적 성질을 보여준다.
• 보편 객체의 존재는 전체 범주가 보편 객체를 갖지 못하더라도, 고정된 충실한 함수 $\tau_R$를 보존하는 양자군의 부분범주에서는 보장된다.
• 디랙 연산자 기반 공식화는 이전에 라플라스 연산자 기반 접근법으로는 해결되지 않았던 $SU_\mu(2)$와 $S^2_{\mu c}$ 위의 스펙트럴 트리플을 성공적으로 수용한다.