[논문 리뷰] Index pairings for pullbacks of C*-algebras

Ludwik Dąbrowski, Tom Hadfield외 3명|arXiv (Cornell University)|2007. 01. 31.

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

한 줄 요약

이 논문은 매끄럽지 않은 비가환 벡터 번들의 인덱스 쌍을 계산하기 위한 일반적인 방법을 개발한다. 이는 매끄럽지 않은 비가환 3차원 구와 그의 스uspension에서의 인스탄톤 전하를 임의의 회전 수로 명시적으로 결정할 수 있도록, 매끄럽지 않은 C*-대수의 인덱스 쌍을 구성 요소 C*-대수로 감소시키는 데에 기반한다. 이는 Mayer-Vietoris 완전열과 Kasparov 곱의 호환성에 의해 이루어지며, 특히 양자 3차원 구와 그의 스uspension에서 비가환 인스탄톤 번들의 인덱스 쌍을 단순화함으로써, 임의의 회전 수에 대해 인스탄톤 전하를 결정할 수 있도록 한다.

ABSTRACT

In this overview, we study how to reduce the index pairing for a fibre-product C*-algebra to the index pairing for the C*-algebra over which the fibre product is taken. As an example we analyze the case of suspensions and apply it to noncommutative instanton bundles of arbitrary charges over the suspension of quantum deformations of the 3-sphere.

연구 동기 및 목표

• 비가환 기하학에서 풀백 C*-대수를 사용하여 인덱스 쌍을 계산하는 일반적인 프레임워크를 개발하기.
• 비가환 C*-대수의 비감소 스uspension의 인덱스 쌍 계산을 K-이론 완전열을 통해 기저 대수로 감소시키기.
• 특히 $C(SU_q(2))$와 $C(S^3_\theta)$를 포함한 3차원 구의 양자 변형에 대해 인스탄톤 전하를 계산하기 위해 이 방법을 적용하기.
• 비가환 4차원 구에서 그의 적도 양자 3차원 구로의 기하학적 감소를 통해 인덱스 쌍을 단순화하기.
• 단위 행렬을 이용한 $K_1$-류에서의 비가환 인스탄톤 프로젝션의 일반화를 통해 임의의 전하를 가진 비가환 인스탄톤 번들을 구성하기.

제안 방법

• C*-대수의 풀백에서 하나의 사상이 전사일 경우, K-이론과 K-호모로지의 Mayer-Vietoris 6항 완전열을 활용한다.
• Mayer-Vietoris 수열의 연결 동형사상과 인덱스 쌍의 호환성에 기반하여, Kasparov 곱의 결합법칙을 활용한다.
• 비감소 스uspension에서의 인덱스 쌍 계산을 기존 C*-대수로 감소시키기 위해 홀수에서 짝수로의 연결 동형사상 $\partial_{01}$을 사용한다.
• 예를 들어 $C(S^3_\theta)$의 경우 $\mathrm{u}_\theta$와 같은 $K_1$-군에서의 단위 행렬 표현을 명시적으로 구성하여 인스탄톤 아이디오텐트를 생성한다.
• K-이론의 호모토피 불변성을 활용하여, 단위 행렬을 표준 형태로 변형함으로써 $K_1$-류를 단순화한다.
• 유한 생성 프로젝션 모듈을 비가환 대수 위에서 비가환 벡터 번들로 해석하기 위해 Serre-Swan 정리를 적용한다.

실험 결과

연구 질문

• RQ1 풀백 C*-대수 위의 비가환 벡터 번들에 대한 인덱스 쌍은 어떻게 구성 요소 대수로 감소시킬 수 있는가?
• RQ2 Mayer-Vietoris 연결 동형사상은 비가환 기하학에서 인덱스 쌍 계산을 단순화하는 데 어떤 역할을 하는가?
• RQ3 적도로의 감소를 통해 양자 4차원 구 위의 비가환 번들에 대한 인스탄톤 전하는 어떻게 계산할 수 있는가?
• RQ4 비가환 인스탄톤 번들에 대해 임의의 전하를 가진 아이디오텐트를 $S^3$의 양자 변형 위에서 구성할 수 있는가?
• RQ5 $C(S^3_\theta)$ 위에서 인스탄톤 번들을 생성하는 단위 행렬의 $K_1$-류의 명시적 형태는 무엇인가?

주요 결과

• 비감소 C*-대수의 스uspension에 대한 인덱스 쌍은 Mayer-Vietoris 연결 동형사상에 의해 원래 C*-대수의 인덱스 쌍으로 감소된다.
• 연결 동형사상 $\partial_{01}$은 단위 행렬의 $K_1$-류를 적도 양자 3차원 구의 대수로 매핑하여 전하 계산을 가능하게 한다.
• $C(S^3_\theta)$의 경우, 단위 행렬 $\mathrm{u}_\theta = \begin{bmatrix} \alpha & -\bar{\lambda}\beta^* \\ \beta & \alpha^* \end{bmatrix}$ 는 $K_1(C(S^3_\theta))$를 생성하며, $\mathrm{u}_\theta^n$을 통해 전하 $n$을 가진 인스탄톤 아이디오텐트를 얻는다.
• $K_1$-류로써 인스탄톤 프로젝션의 표현은 $K_1(C(S^3_q))$에서 $[SS^* \otimes 1 + (1 - SS^*) \otimes V^*]$로 표현되며, 호모토피 동치를 통해 전하가 확인된다.
• 지역 인덱스 정리에서 요구하는 수백 개의 항을 직접 계산하는 것을 피하고, 위상수학적 감소와 K-이론 기반의 기계적 장치를 사용한다.
• 이 구성은 임의의 회전 수로 일반화되어, 양자 3차원 구 위에서 임의의 전하를 가진 비가환 인스탄톤 번들을 생성한다.