[논문 리뷰] Universal covering space of the noncommutative torus

Petr Ivankov|arXiv (Cornell University)|2014. 01. 27.

Advanced Algebra and Geometry참고 문헌 5인용 수 5

한 줄 요약

이 논문은 고전적 커버링 공간 이론에 영감을 받은 대수적 방법을 사용하여 비가환 토러스의 보편 커버링 공간을 구성한다. C*-대수 표현에서 반복적인 제곱근을 통한 유니터리 생성자의 업리프팅을 통해 ℝ² → T²의 비가환 대응을 정의함으로써, 보편 커버링 대수는 C₀(ℝ²) ⊗ 𝒦와 강한 모리타 동치임을 보여준다.

ABSTRACT

Gelfand - Naĭmark theorem supplies contravariant functor from a category of commutative $C^*-$ algebras to a category of locally compact Hausdorff spaces. Therefore any commutative $C^*-$ algebra is an alternative representation of a topological space. Similarly a category of (noncommutative) $C^*-$ algebras can be regarded as a category of generalized (noncommutative) locally compact Hausdorff spaces. Generalizations of 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. However the algebraic topology have a rich set of invariants. Some invariants do not have noncommutative generalizations yet. This article contains a sample of noncommutative universal covering. General theory of noncommutative universal coverings is being developed by the author of this article. However this sample has independent interest, it is very easy to understand and does not require knowledge of Hopf-Galois extensions.

연구 동기 및 목표

• 비가환 토러스에 대한 보편 커버링 공간의 비가환 대응을 개발하기 위해.
• ℝ → S¹ 및 ℝ² → T²와 같은 고전적 커버링 공간 구성법을 C*-대수 기법을 사용해 비가환 설정으로 확장하기 위해.
• 비가환 토러스의 보편 커버링이 C₀(ℝ²) ⊗ 𝒦와 강한 모리타 동치임을 보여주기 위해.
• 호프-갈로아 이론에 의존하지 않는, 구체적이고 접근 가능한 비가환 보편 커버링의 예를 제공하기 위해.

제안 방법

• C*-대수를 일반화된 위상공간으로 해석하기 위해 겔판트-나이마르크 이중성을 사용한다.
• uₙ₊₁² = uₙ를 만족하는 C*-대수 내의 유니터리 원소의 수열 {uₙ}을 구성하여 반복적인 제곱근의 역극한을 모방한다.
• π*ᵤ(f)π*ᵥ(g) (f,g ∈ C₀(ℝ))에 의해 생성되는 연산자의 노름 완비화로서 보편 대수를 정의한다. 여기서 π*ᵤ와 π*ᵥ는 C(S¹)에서 B(H)로의 업리프팅 표현이다.
• 강한 모리타 동치를 확보하기 위해 컴팩트 연산자 𝒦와의 텐서곱을 통한 안정화를 적용한다.
• 스펙트럼 이론을 활용하여 φ(z)ⁿ = z를 만족하는 보렐 가측 함수를 통해 유니터리 원소를 업리프팅한다.
• 안정화를 통한 동형관계를 통해 다양한 업리프팅 구성 간의 이soviance를 확립함으로써 루트 선택에 대한 불변성을 보여준다.

실험 결과

연구 질문

• RQ1 순수한 대수적 C*-대수 기법을 사용하여 비가환 토러스에 대한 보편 커버링 공간을 정의할 수 있는가?
• RQ2 θ가 무리수일 때, 고전적 커버링 ℝ² → T²는 비가환 설정으로 어떻게 일반화되는가?
• RQ3 비가환 토러스의 보편 커버링 대수의 강한 모리타 동치류는 무엇인가?
• RQ4 이 구성은 국소적으로 컴 pact한 스펙트럼 트리플 또는 물리적 의미가 있는 거의 가환 섹터를 제공하는가?

주요 결과

• 비가환 토러스의 보편 커버링은 두 유니터리 생성자에 관련된 C₀(ℝ)의 업리프팅 표현에 의해 생성되는 대수의 노름 완비화로서 구성된다.
• 결과로 얻어진 대수는 반복적인 제곱근 수열의 선택에 관계없이 항상 C₀(ℝ²) ⊗ 𝒦와 강한 모리타 동치이다.
• 다른 유니터리 업리프팅 수열 (xₙ)과 (yₙ)은 비이sovomorphic한 C*-대수를 유도하지만, 𝒦를 통한 안정화 이후에는 이sovomorphic해진다.
• 스펙트럼 이론과 보렐 가측 함수 해석학을 활용하여 고전적 ℝ → S¹ 및 ℝ² → T² 커버링을 일반화한다.
• 호프-갈로아 확장에 의존하지 않아 자가 일관되고 간단한 접근법을 제공한다.
• θ → 0일 때 대수는 거의 가환 섹터를 보이며, 칼루차-클라인 이론과 같은 모델에서 잠재적인 물리적 의미를 지닌다.