[논문 리뷰] Rank-two Milnor idempotents for the multipullback quantum complex projective plane

Carla Farsi, Piotr M. Hajac외 2명|arXiv (Cornell University)|2017. 08. 15.

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

한 줄 요약

이 논문은 다중풀백 양자 복소 프로젝티브 평면의 K₀군에서 랭크 두 개의 밀너 아이디포텐셜을, 헤가드 양자 5-구의 SU_q(2)-연장과 관련된 비가환 벡터(bundle)의 절편 모듈과 동형으로 식별한다. 또는 랭크 네 개의 자유 모듈의 여부로 간주한다. 또한 이러한 밀너 모듈 중 하나가 랭크 하나의 자유 모듈과, 헤가드 구와 관련이 없는 비자유 랭크 하나의 프로젝티브 모듈의 직합으로 분해됨을 보여준다.

ABSTRACT

The $K_0$-group of the C*-algebra of multipullback quantum complex projective plane is known to be $\mathbb{Z}^3$, with one generator given by the C*-algebra itself, one given by the section module of the noncommutative (dual) tautological line bundle, and one given by the Milnor module associated to a generator of the $K_1$-group of the C*-algebra of Calow-Matthes quantum 3-sphere. Herein we prove that these Milnor modules are isomorphic either to the section module of a noncommutative vector bundle associated to the $SU_q(2)$-prolongation of the Heegaard quantum 5-sphere $S^5_H$ viewed as a $U(1)$-quantum principal bundle, or to a complement of this module in the rank-four free module. Finally, we demonstrate that one of the above Milnor modules always splits into the direct sum of the rank-one free module and a rank-one non-free projective module that is \emph{not} associated with $S^5_H$.

연구 동기 및 목표

• 다중풀백 양자 복소 프로젝티브 평면 C(P²_T)의 K₀군에서 선형 번들의 생성자가 아닌 것을 식별하는 것.
• 칼로-매쓰스 양자 3-구의 K¹류로부터 유도된 밀너 모듈의 기하학적 및 대수적 구조를 규명하는 것.
• 이러한 밀너 모듈과 양자 주요 번들의 비가환 벡터 번들의 절편 모듈 간의 동형을 확립하는 것.
• K-이론류의 부호에 대한 모호성을 제거하기 위해 인덱스 페어링을 계산하고 등변 호모모르피즘을 사용하는 것.
• 밀너 모듈이 자유 랭크 하나의 합성과, 헤가드 구와 관련이 없는 비자유 랭크 하나의 프로젝티브 모듈의 합성으로 분해됨을 보여주는 것.

제안 방법

• K-이론의 밀너 연결 호모모르피즘을 사용하여 양자 3-구의 K¹류를 다중풀백 양자 프로젝티브 평면의 K₀류로 올리는 것.
• 관련 모듈 구성법을 적용하여 밀너 모듈을 U(1)-등변 C*-대수, 특히 C(S⁵_H)와 C(SU_q(2))와 연결하는 것.
• C*-대수 내 연속적인 프로젝션 경로를 사용하여 밀너 아이디포텐셜을 기본 형태로 변형하기 위해 호모토피 기법을 적용하는 것.
• 조각별 클레프 코행동과 고정점 부분대수를 이용한 게이지 이론 프레임워크를 활용하여 모듈 구조를 분석하는 것.
• C(S⁵_H)에서 토플리츠 대수와 양자 구의 텐서곱으로의 등변 *-호모모르피즘 f와 g를 적용하여 모듈을 전진시키는 것.
• C(SU_q(2))와 C(S³_H)⊗T의 K-이론군 간의 동형 Ω*를 사용하여 스펙트럼 부분공간을 비교하고 인덱스 페어링을 계산하는 것.

실험 결과

연구 질문

• RQ1 K₀(C(P²_T))의 선형 번들 생성자가 아닌 기하학적 실현은 무엇인가?
• RQ2 칼로-매쓰스 양자 3-구의 K¹류와 관련된 밀너 모듈은 비가환 벡터 번들의 절편 모듈로 어떻게 실현되는가?
• RQ3 밀너 모듈이 자유 모듈의 부분모듈과 동형이 될 수 있으며, 만약 그렇다면 그 여부는 무엇인가?
• RQ4 밀너 모듈이 자유 모듈과 비자유 프로젝티브 모듈의 합성으로 분해될 수 있으며, 비자유 부분의 성질은 무엇인가?
• RQ5 밀너 모듈과 쌍대 타우토로지컬 선번들 L₁ ⊕ L₋₁의 직합 간 K-이론 동형에서 올바른 부호는 무엇인가?

주요 결과

• 양자 3-구의 K¹류와 관련된 밀너 모듈은 헤가드 양자 5-구의 SU_q(2)-연장에서 유도된 비가환 벡터 번들의 절편 모듈과 동형이다.
• 또 다른 한편으로는, 밀너 모듈은 랭크 네 개의 자유 모듈의 여부로 간주되며, 이는 비자유 프로젝티브 모듈로서의 역할을 나타낸다.
• 한 밀너 모듈은 랭크 하나의 자유 모듈과, 헤가드 양자 5-구와 관련이 없는 비자유 랭크 하나의 프로젝티브 모듈의 직합으로 분해된다.
• K-이론류는 [p] - [1] = ±([L₁ ⊕ L₋₁] - 2[1])를 만족하며, 인덱스 페어링을 통해 양의 부호로 부호가 확정된다.
• 인덱스 페어링 계산은 밀너 모듈에 대응하는 스펙트럼 부분공간이 영중량 성분과 관련이 있음을 확인하여 다른 가능성들을 배제한다.
• 최종 결과로 밀너 모듈은 랭크 두 개의 번들 E = L₁ ⊕ L₋₁의 절편 모듈과 동형임을 확인하여, 비가환 K-이론에서의 기하학적 중요성을 입증한다.