Table of Contents
Fetching ...

A Geometric Approach to Noncommutative Principal Torus Bundles

Stefan Wagner

TL;DR

The paper develops a geometrically grounded framework for noncommutative principal torus bundles through smooth dynamical systems and a novel smooth localization toolkit. A dynamical system $(A,\mathbb{T}^n,\alpha)$ yields a noncommutative principal bundle when its localizations around central invariant elements become trivial, thereby extending classical bundle theory to the noncommutative setting. It provides spectral and topological analyses of localized algebras, shows how sections of algebra bundles furnish natural NC bundles, and constructs concrete NC examples including those built from sections, pull-backs, and quantum tori. The work also sketches a path toward classification via noncommutative Čech cohomology and discusses connections to Hopf--Galois theory, signaling a broad program for understanding and organizing NC principal torus bundles.

Abstract

A (smooth) dynamical system with transformation group $\mathbb{T}^n$ is a triple $(A,\mathbb{T}^n,α)$, consisting of a unital locally convex algebra $A$, the $n$-torus $\mathbb{T}^n$ and a group homomorphism $α:\mathbb{T}^n\rightarrow\Aut(A)$, which induces a (smooth) continuous action of $\mathbb{T}^n$ on $A$. In this paper we present a new, geometrically oriented approach to the noncommutative geometry of principal torus bundles based on such dynamical systems. Our approach is inspired by the classical setting: In fact, after recalling the definition of a trivial noncommutative principal torus bundle, we introduce a convenient (smooth) localization method for noncommutative algebras and say that a dynamical system $(A,\mathbb{T}^n,α)$ is called a noncommutative principal $\mathbb{T}^n$-bundle, if localization leads to a trivial noncommutative principal $\mathbb{T}^n$-bundle. We prove that this approach extends the classical theory of principal torus bundles and present a bunch of (non-trivial) noncommutative examples.

A Geometric Approach to Noncommutative Principal Torus Bundles

TL;DR

The paper develops a geometrically grounded framework for noncommutative principal torus bundles through smooth dynamical systems and a novel smooth localization toolkit. A dynamical system yields a noncommutative principal bundle when its localizations around central invariant elements become trivial, thereby extending classical bundle theory to the noncommutative setting. It provides spectral and topological analyses of localized algebras, shows how sections of algebra bundles furnish natural NC bundles, and constructs concrete NC examples including those built from sections, pull-backs, and quantum tori. The work also sketches a path toward classification via noncommutative Čech cohomology and discusses connections to Hopf--Galois theory, signaling a broad program for understanding and organizing NC principal torus bundles.

Abstract

A (smooth) dynamical system with transformation group is a triple , consisting of a unital locally convex algebra , the -torus and a group homomorphism , which induces a (smooth) continuous action of on . In this paper we present a new, geometrically oriented approach to the noncommutative geometry of principal torus bundles based on such dynamical systems. Our approach is inspired by the classical setting: In fact, after recalling the definition of a trivial noncommutative principal torus bundle, we introduce a convenient (smooth) localization method for noncommutative algebras and say that a dynamical system is called a noncommutative principal -bundle, if localization leads to a trivial noncommutative principal -bundle. We prove that this approach extends the classical theory of principal torus bundles and present a bunch of (non-trivial) noncommutative examples.

Paper Structure

This paper contains 11 sections, 67 theorems, 185 equations.

Key Result

Proposition 1.1

(cf. Har87) Let $X$ be an affine variety and $f$ an element in the coordinate ring $\mathbb{K}[X]$. If $X_f:=\{x\in X:\,f(x)\neq0\}$, then the map is an isomorphism of rings.

Theorems & Definitions (168)

  • definition 1
  • remark 1
  • Proposition 1.1
  • Proposition 2.1
  • proof
  • remark 2
  • Proposition 2.2
  • proof
  • definition 2
  • remark 3
  • ...and 158 more