[논문 리뷰] Circle actions on a quantum Seifert manifold

Tomasz Brzeziński|arXiv (Cornell University)|2012. 03. 30.

Algebraic structures and combinatorial models참고 문헌 11인용 수 8

한 줄 요약

이 논문은 원형 작용을 통한 비향상성 양자 세이프트 3차원 다양체의 몫으로서 양자 가중 실수 프로젝티브 공간을 구성하며, 양자 디스크와 양자 실수 프로젝티브 평면을 일반화한다. 연속 함수 대수의 $K$-군을 토플리츠 대수 확장과 기호 사상으로 계산하여, 음의 비틀림 경우에 $K_0 \cong \mathbb{Z}_2 \oplus \mathbb{Z}^l$ 및 $K_1 = 0$임을 보이며, 이는 반복된 토플리츠 대수의 당김 구조로의 명시적 동형사상과 연결된다.

ABSTRACT

The quotients of a (non-orientable) quantum Seifert manifold by circle actions are described. In this way quantum weighted real projective spaces that include the quantum disc and the quantum real projective space as special cases are obtained. Bounded irreducible representations of the coordinate algebras and the K-groups of the algebras of continuous functions on quantum weighted real projective spaces are presented.

연구 동기 및 목표

• 비향상성 양자 세이프트 3차원 다양체 위에서 원형 작용을 통해 양자 가중 실수 프로젝티브 공간을 몫으로서 구성함으로써 양자 오비폴드를 일반화한다.
• 하자크, 마테스, 씨마ński의 양자 디스크와 양자 실수 프로젝티브 평면에 대한 기존 방법을 이 새로운 양자 공간의 클래스로 확장한다.
• 양자 가중 실수 프로젝티브 공간 위의 연속 함수 대수의 $C^*$-대수의 $K$-군을 계산한다.
• 이 양자 공간들의 좌표 대수의 유계 비가역 표현을 분석한다.
• 함수 대수와 반복된 토플리츠 대수의 당김 사이의 동형사상을 확립하여, 이들을 양자 디스크와 고전적 원주 경계와 연결한다.

제안 방법

• 생성자 $\zeta_0, \zeta_1, \xi$와 $q$-변형된 교환 관계, 중심 단위원자 $\xi$를 갖는 양자 세이프트 3차원 다양체 $\mathcal{O}(\Sigma^3_q)$의 좌표 $*$-대수를 정의한다.
• 양자 2차원 구면에 대한 $\mathbb{Z}_2$-코작용을 도입하고, 이를 서로소 정수 $k,l$를 가진 $U(1)$-코작용으로 확장하여 $\mathcal{O}(\Sigma^3_q)$에 확장한다.
• 코작용에 대한 불변 부분대수인 고정점 대수로서 $\mathcal{O}(\mathbb{RP}_q(l;+))$를 식별하며, 서로소 정수 $k,l$로 매개변수화된다.
• 기호 사상과 토플리츠 대수의 구조를 이용하여 $C(\mathbb{RP}_q(l;+))$를 $C(S^1)$ 위에서의 $l$중 반복 당김 $C(D_q) \oplus_\sigma \cdots \oplus_\sigma C(D_q)$로 표현하며, 여기서 $C(D_q) \cong \mathcal{T}$이다.
• 컴act 연산자와 $C(\mathbb{RP}_q(l;+))$를 포함하는 짧은 정확열을 구성함으로써, 6항 정확열을 통해 $K$-군 계산이 가능하게 한다.
• 지수 사상과 준동형사상 $\delta_\pm$의 상사상의 여핵을 이용하여 $K$-군을 계산하여, 음의 비틀림 경우에 $K_0 \cong \mathbb{Z}_2 \oplus \mathbb{Z}^l$ 및 $K_1 = 0$을 도출한다.

실험 결과

연구 질문

• RQ1 비향상성 양자 세이프트 3차원 다양체 위에서의 원형 작용은 어떻게 분류되고, 이를 통해 양자 가중 실수 프로젝티브 공간을 구성할 수 있는가?
• RQ2 이 양자 가중 프로젝티브 공간 위의 연속 함수 대수의 $C^*$-대수의 구조는 어떠한가?
• RQ3 이 대수의 $K$-군은 양자 디스크와 양자 실수 프로젝티브 평면의 $K$-군과 어떻게 관련이 있는가?
• RQ4 하자크, 마테스, 씨마ński의 양자 디스크에 대한 방법은 이 새로운 양자 오비폴드의 클래스로 일반화될 수 있는가?
• RQ5 기호 사상과 토플리츠 대수 확장을 통해 함수 대수를 $C(D_q)$의 당김으로 표현하는 데서 그 역할은 무엇인가?

주요 결과

• 대수 $C(\mathbb{RP}_q(l;+))$는 $l$중 반복 당김 $C(D_q) \oplus_\sigma \cdots \oplus_\sigma C(D_q)$와 동형이며, 여기서 $\sigma$는 고전적 원주가 양자 디스크에 포함될 때의 기호 사상이다.
• 양의 비틀림 경우, $\pi(C(\mathbb{RP}_q(l;+))) \cong \mathcal{T}_1 \oplus_\sigma \cdots \oplus_\sigma \mathcal{T}_l$이며, 각 $\mathcal{T}_r \cong \mathcal{T}$, 즉 토플리츠 대수이다.
• $C(\mathbb{RP}_q(l;+))$의 $K$-군은 $K_0 \cong \mathbb{Z}^l$ 및 $K_1 \cong \mathbb{Z}^l$이며, 이는 지수 사상 $\delta_+$의 상사상 여핵에서 기인한다.
• 음의 비틀림 경우, $K_1(C(\mathbb{RP}_q(l;-))) = 0$이며 $K_0(C(\mathbb{RP}_q(l;-))) \cong \mathbb{Z}_2 \oplus \mathbb{Z}^l$이며, 이 동형사상은 $\delta_-$의 상사상 여핵에 의해 유도된다.
• 계산은 $l=1$일 때 기존에 알려진 $C(\mathbb{RP}_q^2)$의 $K$-군을 복원하여 이전 결과와의 일관성을 확인한다.
• $C(\mathbb{RP}_q(l;-))$의 함수 대수는 $l$번 반복된 $C(\mathbb{RP}_q^2) \oplus_{\bar{\sigma}} \cdots \oplus_{\bar{\sigma}} C(\mathbb{RP}_q^2)$와 동형이며, $\bar{\sigma}$는 $S^1$이 $S_q^2$에 등위 포함될 때 유도된다.