[논문 리뷰] Noncommutative bundles over the multi-pullback quantum complex projective plane

Piotr M. Hajac, Jan Rudnik|arXiv (Cornell University)|2015. 12. 29.

Advanced Operator Algebra Research참고 문헌 24인용 수 4

한 줄 요약

이 논문은 비가환 5차원 구면 $S^5_H$의 $C^*$-대수 $C(S^5_H)$ 위에 자유 $U(1)$-작용을 구축하고, 다중-풀백 양자 복소 프로젝티브 평면 $\bbC P^2_{\bft}$ 위의 이중 타원선형선다이어그램이 안정적으로 비자명하다는 것을 증명한다. $K$-이론과 체른-갈로아 이론을 이용하여, 섹션 모듈러스의 안정적 자유성 부재를 규명하고, 메이어-비에토리스 수열 및 쿠른트 공식을 통해 $C(S^5_H)$의 $K$-군을 계산한다.

ABSTRACT

We equip the multi-pullback $C^*$-algebra $C(S^5_H)$ of a noncommutative-deformation of the 5-sphere with a free $U(1)$-action, and show that its fixed-point subalgebra is isomorphic with the $C^*$-algebra of the multi-pullback quantum complex projective plane. Our main result is the stable non-triviality of the dual tautological line bundle associated to the action. We prove it by combining Chern-Galois theory with the Milnor connecting homomorphism in $K$-theory. Using the Mayer-Vietoris six-term exact sequences and the functoriality of the Künneth formula, we also compute the $K$-groups of $C(S^5_H)$.

연구 동기 및 목표

• 비가환 5차원 구면의 $C^*$-대수 $C(S^5_H)$ 위에 자유 $U(1)$-작용의 존재를 확립한다.
• 이 작용의 고정점 부분대수는 다중-풀백 양자 복소 프로젝티브 평면 $\bbC P^2_{\bft}$의 $C^*$-대수와 동형임을 보인다.
• 다양한 $K$-이론적 도구를 이용하여 $\bbC P^2_{\bft}$ 위의 이중 타원선형선다이어그램의 안정적 비자유성을 증명한다.
• 메이어-비에토리스 수열과 쿠른트 공식을 활용하여, 삼중-풀백 구조를 고려한 $C(S^5_H)$의 $K$-군을 계산한다.

제안 방법

• 다중-풀백 $C^*$-대수의 코ycle 조건을 사용하여, 삼중-풀백 방식으로 $C^*$-대수 $C(S^5_H)$를 구성한다.
• 토플리츠 대수 성분들 위의 게이지 작용을 통해 $C(S^5_H)$에 자유 $U(1)$-작용을 도입한다.
• 체른-갈로아 이론을 적용하여 $U(1)$-작용에 대응하는 프로젝티브 모듈러스를 정의하고, $K_0(C(\bbC P^2_{\bft}))$ 내의 아이디empo트를 유도한다.
• $K$-이론의 밀너 연결 호모모르피즘을 사용하여 두 번째 아이디empo트를 생성함으로써, 비안정적 자유성 탐지에 필요한 비교를 가능하게 한다.
• 메이어-비에토리스 6항 정확수열을 활용하여 $C(S^5_H)$의 $K$-군을 계산하고, 쿠른트 동형사상의 함자성에 기반한다.
• 메이어-비에토리스 다이어그램에서의 다이어그램 추적을 통해 $K$-군 계산의 일관성을 검증하고, 복소 프로젝션의 풀백을 통해 생성자를 규명한다.

실험 결과

연구 질문

• RQ1 다중-풀백 양자 복소 프로젝티브 평면 $\bbC P^2_{\bft}$ 위의 이중 타원선형선다이어그램은 $C(\bbC P^2_{\bft})$-모듈러스로서 안정적으로 자유인가?
• RQ2 비가환 5차원 구면 $S^5_H$의 $K$-군은 어떻게 삼중-풀백 구조에서 유래되는가?
• RQ3 $K$-이론의 밀너 연결 호모모르피즘은 비가환 벡터 다발의 비자명성을 효과적으로 탐지하는 데 사용될 수 있는가?
• RQ4 코ycle 조건은 다중-풀백 $C^*$-대수의 $K$-군 계산에서 어떤 역할을 하는가?
• RQ5 체른-갈로아 이론과 $K$-이론의 상호작용은 비가환 기하학에서 비자명성을 어떻게 드러내는가?

주요 결과

• 이중 타원선형선다이어그램은 $C(\bbC P^2_{\bft})$-왼쪽 모듈러스로서 섹션 모듈러스 $C(S^5_H)_u$가 안정적으로 자유가 아니므로, 안정적으로 비자명하다.
• $C(S^5_H)$의 $K_0$-군은 $\bbZ$와 동형이며, 생성자 $[1]$은 항등원에 대응한다.
• $C(S^5_H)$의 $K_1$-군은 $\bbZ \times \bbZ$와 동형이며, $[(\bmu_1, \bmu_1)]$과 $\beta_{23}$에 의해 생성되며, 여기서 $\bmu_1 = u \tensor 1 \tensor 1$이다.
• $C(S^5_H)$의 $K$-군은 메이어-비에토리스 수열과 쿠른트 공식을 통해 계산되었으며, 연결 호모모르피즘은 밀너 공식을 이용해 명시적으로 결정되었다.
• 체른-갈로아 이론에서 유도된 아이디empo트와 밀너 연결 호모모르피즘에서 유도된 아이디empo트 간의 비교를 통해 다이어그램의 비안정적 자유성은 확인되었다.
• $K$-군 계산은 쿠른트 동형사상의 함자성과 복소 프로젝션의 일관된 풀백에 기반한다.