[논문 리뷰] Infinite Noncommutative Covering Projections

Petr Ivankov|arXiv (Cornell University)|2014. 05. 08.

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

한 줄 요약

이 논문은 $C^*$-대수, $K$-이론, 바나흐 대수를 이용하여 무한 덮개 쌍대사상의 비가환 일반화를 제안하며, 안정적 승수 대수와 유니터리 상향을 통한 무한 갈루아 유형 확장의 프레임워크를 수립한다. 주요 기여는 $K$-호모로지와 딕스미어 추적과 관련된 무한 비가환 덮개 쌍대사상의 구성이며, 연속 추적 대수, 비가환 토러스, 그리고 분할에 응용된다.

ABSTRACT

Gelfand - Naĭmark theorem supplies a one to one correspondence between commutative $C^*$-algebras and locally compact Hausdorff spaces. So any noncommutative $C^*$-algebra can be regarded as a generalization of a topological space. Generalizations of several topological invariants may be defined by algebraic methods. For example Serre Swan theorem states that complex topological $K$-theory coincides with $K$-theory of $C^*$-algebras. This article devoted to the noncommutative generalization of infinite covering projections. Infinite covering projections of spectral triples are also discussed. It is shown that covering projection of foliation algebras can be constructed by topological coverings of foliations and isospectral deformations. Described an interrelationship between noncommutative covering projections and $K$-homology. The Dixmier trace of noncommutative covering projections is discussed.

연구 동기 및 목표

• 비가환 기하학으로의 무한 덮개 쌍대사상의 일반화를 $C^*$-대수와 $K$-이론을 이용하여 수행한다.
• 비가환 덮개 쌍대사상의 정의와 구성은 비콤팩트 군 작용을 갖는 갈루아 확장으로서 수행된다.
• 비가환 덮개 쌍대사상과 $K$-호모로지 간의 관계를 보편 계수 정리와 토르션 현상에 의해 규명한다.
• 비가환 덮개 쌍대사상을 통해 상향된 연산자의 딕스미어 추적을 분석한다.
• 정상적 쌍대사상과 등스펙트럴 변형을 이용하여 스펙트럴 트리플과 분할 대수에 대한 프레임워크를 확장한다.

제안 방법

• 비가환 $C^*$-대수를 일반화된 위상공간으로 해석하기 위해 겔판트-나이마르크 이중성을 활용한다.
• 특히 $K_1(Q^s(A)) \approx K_0(A)$와 같은 $K$-이론 동형을 적용하여 안정적 승수 대수 내에서 유니터리 상향을 구성한다.
• 유니터리 원소 $w \in U(M(A \otimes \mathcal{K}))$를 통해 무한 덮개 쌍대사상을 구성하며, 여기서 $p(w) = u^n$이고 $u$는 몫 대수 내의 유니터리이다.
• 상향 조건 $[u] = 0$ 이 $K^1(Q^s(A))$ 내에서 성립함을 통해 $w$가 존재하고 $p(w) = u^n$임을 보장함으로써 갈루아 트리플의 구성이 가능해진다.
• 힐베르트 모듈러스 위의 그라스만 연결을 이용하여 비가환 미분기하학에서의 표준 연결을 정의한다.
• 등스펙트럴 변형과 분할의 위상적 덮개를 적용하여 기하적 맥락에서 비가환 덮개 쌍대사상을 구성한다.

실험 결과

연구 질문

• RQ1 무한 덮개 쌍대사상은 위상수학에서 비가환 $C^*$-대수로 어떻게 일반화될 수 있는가?
• RQ2 $K$-호모로지가 비가환 덮개 쌍대사상의 분류에 어떤 역할을 하는가?
• RQ3 딕스미어 추적은 비가환 덮개 쌍대사상 하에서 어떻게 행동하는가?
• RQ4 안정적 승수 대수와 유니터리 상향을 통해 무한 갈루아 확장을 구성할 수 있는가?
• RQ5 등스펙트럴 변형과 분할 덮개는 비가환 덮개 쌍대사상과 어떻게 관련이 있는가?

주요 결과

• 만약 $K^1(Q^s(A)) \approx G' \oplus \mathbb{Z}_n[u]$ 이고 $[u^n] = 0$ 이면, 무한 비가환 덮개 쌍대사상은 갈루아 트리플 $(A \otimes \mathcal{K}, (A \otimes \mathcal{K})\{\phi(w)\}, \mathbb{Z}_n)$ 로 구성된다.
• 만약 $[u] \neq 0$ 이면 $K^1(Q^s(A))$ 내에서 $w$의 연산자 상향의 딕스미어 추적은 잘 정의되고 0이 아니며, 이는 확장의 비자명성을 시사한다.
• 쿠른츠 대수 $O_n$의 경우, $w$가 상향 조건을 만족하고 $\phi$가 1의 $(n-1)$-승근이면, $\mathbb{Z}_{n-1}$-작용을 갖는 갈루아 트리플이 존재한다.
• 이 구성은 $C(C_f)$와 $C(\widetilde{C_f})$ 사이의 $C^*$-대응관계를 유도하며, 이는 $n$-겹 덮개 쌍대사상에 해당한다.
• 스펙트럴 트리플의 비가환 덮개 쌍대사상은 디랙 연산자의 당김과 호환되는 연결을 통해 실현된다.
• 모듈러스 $E \subset \mathcal{H}_A$ 위의 그라스만 연결은 $\nabla = p(1 \otimes d)i$ 로 주어지며, 이는 프로젝티브 모듈러스 위의 표준 연결을 제공한다.