[Paper Review] Noncommutative line bundles associated to twisted multipullback quantum odd spheres

Piotr M. Hajac, David Pask+2 more|arXiv (Cornell University)|Dec 30, 2015

Advanced Operator Algebra Research9 references3 citations

TL;DR

This paper constructs noncommutative deformations of odd-dimensional spheres as twisted multi-pullback C*-algebras that preserve the decomposition into (N+1) solid tori, generalizing the Heegaard quantum sphere. It proves these quantum spheres are isomorphic to universal C*-algebras generated by isometries, computes their K-groups, and establishes that the associated noncommutative line bundles over quantum complex projective spaces are pairwise stably non-isomorphic under U(1) actions.

ABSTRACT

We construct a noncommutative deformation of odd-dimensional spheres that preserves the natural partition of the $(2N+1)$-dimensional sphere into $(N+1)$-many solid tori. This generalizes the case $N=1$ referred to as the Heegaard quantum sphere. Our twisted odd-dimensional quantum sphere $C^*$-algebras are given as multi-pullback $C^*$-algebras. We prove that they are isomorphic to the universal $C^*$-algebras generated by certain isometries, and use this result to compute the $K$-groups of our odd-dimensional quantum spheres. Furthermore, we show that the natural (diagonal) $U(1)$-actions on our twisted-quantum-sphere $C^*$-algebras are $C^*$-free, and define twisted multipullback quantum complex projective spaces through fixed-point subalgebras for these actions. In the untwisted case, we prove that the fixed-point subalgebras yield the independently defined $C^*$-algebras of the quantum complex projective spaces constructed from Toeplitz cubes. This leads to the main result stating that the noncommutative line bundles associated to multipullback quantum odd spheres, which are noncommutative line bundles over these quantum complex projective spaces, are pairwise stably non-isomorphic.

Motivation & Objective

• To generalize the Heegaard quantum sphere construction to higher odd dimensions using a multi-pullback framework.
• To preserve the topological decomposition of the (2N+1)-sphere into (N+1) solid tori in the noncommutative setting.
• To define and study noncommutative line bundles over twisted multipullback quantum odd spheres via fixed-point subalgebras under diagonal U(1) actions.
• To prove that these noncommutative line bundles are pairwise stably non-isomorphic, establishing a non-trivial classification in noncommutative geometry.

Proposed method

• Construct twisted-quantum-sphere C*-algebras as multi-pullback C*-algebras over a diagram of C*-algebras associated with solid tori.
• Prove isomorphism between the multi-pullback construction and the universal C*-algebra generated by specific isometries satisfying certain relations.
• Use the isomorphism to compute the K-theory groups of the twisted quantum spheres via algebraic K-theory techniques.
• Show that the diagonal U(1)-actions on the quantum spheres are C*-free, enabling the construction of fixed-point subalgebras as quantum complex projective spaces.
• Establish that in the untwisted case, the fixed-point subalgebras coincide with the Toeplitz cube construction of quantum complex projective spaces.
• Apply the classification of noncommutative line bundles via K-theory to prove stable non-isomorphism of the associated line bundles over the quantum projective spaces.

Experimental results

Research questions

• RQ1 How can the Heegaard quantum sphere construction be generalized to higher odd dimensions while preserving the decomposition into solid tori?
• RQ2 What is the K-theory of the twisted multipullback quantum odd spheres, and how does it relate to the universal C*-algebra generated by isometries?
• RQ3 Are the noncommutative line bundles associated with multipullback quantum odd spheres stably isomorphic, and if not, what invariant distinguishes them?
• RQ4 Do the fixed-point subalgebras of the twisted quantum spheres under diagonal U(1) actions yield the known C*-algebras of quantum complex projective spaces?
• RQ5 What is the role of C*-freeness of the U(1) actions in the construction of quantum projective spaces and their associated line bundles?

Key findings

• The twisted multipullback quantum odd spheres are isomorphic to the universal C*-algebra generated by (N+1) isometries satisfying specific relations.
• The K-groups of the twisted quantum spheres are computed via this isomorphism, providing a complete K-theoretic invariant for the construction.
• The diagonal U(1)-actions on the quantum spheres are C*-free, ensuring the fixed-point subalgebras are well-behaved and non-degenerate.
• In the untwisted case, the fixed-point subalgebras of the quantum spheres coincide with the C*-algebras of quantum complex projective spaces defined via Toeplitz cubes.
• The noncommutative line bundles over the quantum complex projective spaces associated with multipullback quantum odd spheres are pairwise stably non-isomorphic.
• The stable non-isomorphism of the line bundles is established through K-theoretic invariants derived from the K-groups of the quantum spheres.