-
The K-theory type of quantum CW-complexes
Authors:
Francesco D'Andrea,
Piotr M. Hajac,
Tomasz Maszczyk,
Albert Sheu,
Bartosz Zielinski
Abstract:
The multipullback quantization of complex projective spaces lacks the naive quantum CW-complex structure because the quantization of an embedding of the $n$-skeleton into the $(n+1)$-skeleton does not exist. To overcome this difficulty, we introduce the framework of cw-Waldhausen categories, which includes the concept of weak equivalences leading to the notion of a finite weak quantum CW-complex i…
▽ More
The multipullback quantization of complex projective spaces lacks the naive quantum CW-complex structure because the quantization of an embedding of the $n$-skeleton into the $(n+1)$-skeleton does not exist. To overcome this difficulty, we introduce the framework of cw-Waldhausen categories, which includes the concept of weak equivalences leading to the notion of a finite weak quantum CW-complex in the realm of unital C*-algebras. Here weak equivalences are unital $*$-homomorphisms that induce an isomorphism on K-theory. Better still, we construct a noncommutative counterpart of the cup product in K-theory, which is equivalent to its standard version in the classical case. To this end, we define k-topology, a noncommutative version of Grothendieck topology with covering families given by compact principal bundles and bases related by continuous maps, which leads to the much desired idea of multiplicative K-theory for noncommutative C*-algebras. Combining this with cw-Waldhausen structure on the category of compact quantum spaces, we arrive at the multiplicative K-theory type of finite weak quantum CW-complexes. We show that non-isomorphic quantizations of the standard CW-complex structure of a complex projective space enjoy the same multiplicative K-theory type admitting a noncommutative generalization of the Atiyah--Todd calculation of the K-theory ring in terms of truncated polynomials.
△ Less
Submitted 30 December, 2021; v1 submitted 20 February, 2020;
originally announced February 2020.
-
Nonstandard Quantum Complex Projective Line
Authors:
Nicola Ciccoli,
Albert Jeu-Liang Sheu
Abstract:
In our attempt to explore how the quantum nonstandard complex projective spaces $\mathbb{C}P_{q,c}^{n}$ studied by Korogodsky, Vaksman, Dijkhuizen, and Noumi are related to those arising from the geometrically constructed Bohr-Sommerfeld groupoids by Bonechi, Ciccoli, Qiu, Staffolani, and Tarlini, we were led to establish the known identification of $C\big(\mathbb{C}P_{q,c}^{1}\big) $ with the pul…
▽ More
In our attempt to explore how the quantum nonstandard complex projective spaces $\mathbb{C}P_{q,c}^{n}$ studied by Korogodsky, Vaksman, Dijkhuizen, and Noumi are related to those arising from the geometrically constructed Bohr-Sommerfeld groupoids by Bonechi, Ciccoli, Qiu, Staffolani, and Tarlini, we were led to establish the known identification of $C\big(\mathbb{C}P_{q,c}^{1}\big) $ with the pull-back of two copies of the Toeplitz $C^*$-algebra along the symbol map in a more direct way via an operator theoretic analysis, which also provides some interesting non-obvious details, such as a prominent generator of $C\big(\mathbb{C}P_{q,c}^{1}\big) $ being a concrete weighted double shift.
△ Less
Submitted 3 August, 2020; v1 submitted 9 February, 2020;
originally announced February 2020.
-
Projections over Quantum Homogeneous Odd-dimensional Spheres
Authors:
Albert Jeu-Liang Sheu
Abstract:
We give a complete classification of isomorphism classes of finitely generated projective modules, or equivalently, unitary equivalence classes of projections, over the C*-algebra $C\left( \mathbb{S}_{q}^{2n+1}\right) $ of the quantum homogeneous sphere $\mathbb{S}_{q}^{2n+1}$. Then we explicitly identify as concrete elementary projections the quantum line bundles $L_{k}$ over the quantum complex…
▽ More
We give a complete classification of isomorphism classes of finitely generated projective modules, or equivalently, unitary equivalence classes of projections, over the C*-algebra $C\left( \mathbb{S}_{q}^{2n+1}\right) $ of the quantum homogeneous sphere $\mathbb{S}_{q}^{2n+1}$. Then we explicitly identify as concrete elementary projections the quantum line bundles $L_{k}$ over the quantum complex projective space $\mathbb{C}P_{q}^{n}$ associated with the quantum Hopf principal $U\left( 1\right) $-bundle $\mathbb{S} _{q}^{2n+1}\rightarrow\mathbb{C}P_{q}^{n}$.
△ Less
Submitted 24 May, 2019; v1 submitted 7 March, 2019;
originally announced March 2019.
-
A Note on the Quantum Family of Maps
Authors:
Albert Jeu-Liang Sheu,
Thomas Timmermann
Abstract:
The notion and theory of the quantum space of all maps from a quantum space pioneered by Sołtan have been mainly focused on finite-dimensional C*-algebras which are matrix algebra bundles over a finite set $S$. We propose a modification of this notion to cover the case of $C\left( X\right) $ for general compact Hausdorff spaces $X$ instead of finite sets $S$ while taking into account of the topolo…
▽ More
The notion and theory of the quantum space of all maps from a quantum space pioneered by Sołtan have been mainly focused on finite-dimensional C*-algebras which are matrix algebra bundles over a finite set $S$. We propose a modification of this notion to cover the case of $C\left( X\right) $ for general compact Hausdorff spaces $X$ instead of finite sets $S$ while taking into account of the topology of $X$. A notion of free product of copies of a unital C*-algebra topologically indexed by a compact Hausdorff space arises naturally, and satisfies some desired functoriality.
△ Less
Submitted 21 October, 2018; v1 submitted 28 September, 2018;
originally announced September 2018.
-
Vector Bundles over Multipullback Quantum Complex Projective Spaces
Authors:
Albert Jeu-Liang Sheu
Abstract:
We work on the classification of isomorphism classes of finitely generated projective modules over the C*-algebras $C\left( \mathbb{P}^{n}\left( \mathcal{T}\right) \right) $ and $C\left( \mathbb{S}_{H}^{2n+1}\right) $ of the quantum complex projective spaces $\mathbb{P}^{n}\left( \mathcal{T} \right) $ and the quantum spheres $\mathbb{S}_{H}^{2n+1}$, and the quantum line bundles $L_{k}$ over…
▽ More
We work on the classification of isomorphism classes of finitely generated projective modules over the C*-algebras $C\left( \mathbb{P}^{n}\left( \mathcal{T}\right) \right) $ and $C\left( \mathbb{S}_{H}^{2n+1}\right) $ of the quantum complex projective spaces $\mathbb{P}^{n}\left( \mathcal{T} \right) $ and the quantum spheres $\mathbb{S}_{H}^{2n+1}$, and the quantum line bundles $L_{k}$ over $\mathbb{P}^{n}\left( \mathcal{T}\right) $, studied by Hajac and collaborators. Motivated by the groupoid approach of Curto, Muhly, and Renault to the study of C*-algebraic structure, we analyze $C\left( \mathbb{P}^{n}\left( \mathcal{T}\right) \right) $, $C\left( \mathbb{S}_{H}^{2n+1}\right) $, and $L_{k}$ in the context of groupoid C*-algebras, and then apply Rieffel's stable rank results to show that all finitely generated projective modules over $C\left( \mathbb{S}_{H} ^{2n+1}\right) $ of rank higher than $\left\lfloor \frac{n}{2}\right\rfloor +3$ are free modules. Furthermore, besides identifying a large portion of the positive cone of the $K_{0}$-group of $C\left( \mathbb{P}^{n}\left( \mathcal{T}\right) \right) $, we also explicitly identify $L_{k}$ with concrete representative elementary projections over $C\left( \mathbb{P} ^{n}\left( \mathcal{T}\right) \right) $.
△ Less
Submitted 13 December, 2018; v1 submitted 12 May, 2017;
originally announced May 2017.
-
Projective Modules over Quantum Projective Line
Authors:
Albert Jeu-Liang Sheu
Abstract:
Taking a groupoid C*-algebra approach to the study of the quantum complex projective spaces $\mathbb{P}^{n}\left( \mathcal{T}\right) $ constructed from the multipullback quantum spheres introduced by Hajac and collaborators, we analyze the structure of the C*-algebra $C\left( \mathbb{P}^{1}\left( \mathcal{T}\right) \right) $ realized as a concrete groupoid C*-algebra, and find its $K$-groups. Furt…
▽ More
Taking a groupoid C*-algebra approach to the study of the quantum complex projective spaces $\mathbb{P}^{n}\left( \mathcal{T}\right) $ constructed from the multipullback quantum spheres introduced by Hajac and collaborators, we analyze the structure of the C*-algebra $C\left( \mathbb{P}^{1}\left( \mathcal{T}\right) \right) $ realized as a concrete groupoid C*-algebra, and find its $K$-groups. Furthermore after a complete classification of the unitary equivalence classes of projections or equivalently the isomorphism classes of finitely generated projective modules over the C*-algebra $C\left( \mathbb{P}^{1}\left( \mathcal{T}\right) \right) $, we identify those quantum principal $U\left( 1\right) $-bundles introduced by Hajac and collaborators among the projections classified.
△ Less
Submitted 12 February, 2018; v1 submitted 6 May, 2016;
originally announced May 2016.
-
On Noncommutative Levi-Civita Connections
Authors:
Mira A. Peterka,
Albert J. L. Sheu
Abstract:
We make some observations about Rosenberg's Levi-Civita connections on noncommutative tori, noting the non-uniqueness of torsion-free metric-compatible connections without prescribed connection operator for the inner *-derivations, the nontrivial curvature form of the inner *-derivations, and the validity of the Gauss-Bonnet theorem for two classes of non-conformal deformations of the flat metric…
▽ More
We make some observations about Rosenberg's Levi-Civita connections on noncommutative tori, noting the non-uniqueness of torsion-free metric-compatible connections without prescribed connection operator for the inner *-derivations, the nontrivial curvature form of the inner *-derivations, and the validity of the Gauss-Bonnet theorem for two classes of non-conformal deformations of the flat metric on the noncommutative two-tori, including the case of non-commuting scalings along the principal directions of a two-torus.
△ Less
Submitted 27 October, 2016; v1 submitted 9 November, 2015;
originally announced November 2015.
-
The Structure of Line Bundles over Quantum Teardrops
Authors:
Albert Jeu-Liang Sheu
Abstract:
Over the quantum weighted 1-dimensional complex projective spaces, called quantum teardrops, the quantum line bundles associated with the quantum principal U(1)-bundles introduced and studied by Brzezinski and Fairfax are explicitly identified among the finitely generated projective modules which are classified up to isomorphism. The quantum lens space in which these quantum line bundles are embed…
▽ More
Over the quantum weighted 1-dimensional complex projective spaces, called quantum teardrops, the quantum line bundles associated with the quantum principal U(1)-bundles introduced and studied by Brzezinski and Fairfax are explicitly identified among the finitely generated projective modules which are classified up to isomorphism. The quantum lens space in which these quantum line bundles are embedded is realized as a concrete groupoid C*-algebra.
△ Less
Submitted 22 March, 2014;
originally announced March 2014.
-
Covariant Poisson structures on complex Grassmannians
Authors:
N. Ciccoli,
A. J. -L. Sheu
Abstract:
The purpose of this paper is to study covariant Poisson structures on the complex Grassmannian obtained as quotients by coisotropic subgroups of the standard Poisson--Lie SU(n). Properties of Poisson quotients allow to describe Poisson embeddings generalizing those obtained in math.SG/9802082.
The purpose of this paper is to study covariant Poisson structures on the complex Grassmannian obtained as quotients by coisotropic subgroups of the standard Poisson--Lie SU(n). Properties of Poisson quotients allow to describe Poisson embeddings generalizing those obtained in math.SG/9802082.
△ Less
Submitted 11 March, 2005;
originally announced March 2005.
-
Quantum Spheres As Groupoid C*-algebras
Authors:
Albert Jeu-Liang Sheu
Abstract:
We show that the C*-algebra of a quantum sphere $C(S_{q}^{2n+1})$ can be realized as a groupoid C*-algebra of a groupoid which is explicitly identified and is independent of the parameter $q$.
We show that the C*-algebra of a quantum sphere $C(S_{q}^{2n+1})$ can be realized as a groupoid C*-algebra of a groupoid which is explicitly identified and is independent of the parameter $q$.
△ Less
Submitted 17 February, 1998;
originally announced February 1998.
-
Groupoid Approach to Quantum Projective Spaces
Authors:
Albert Jeu-Liang Sheu
Abstract:
We show how the C*-algebras of quantum complex projective spaces (standard or nonstandard) are related to groupoids.
We show how the C*-algebras of quantum complex projective spaces (standard or nonstandard) are related to groupoids.
△ Less
Submitted 17 February, 1998;
originally announced February 1998.
-
Covariant Poisson Structures on Complex Projective Spaces
Authors:
Albert Jeu-Liang Sheu
Abstract:
We show that the standard SU(n)-covariant Poisson sphere $S^{2n-1}$ is embedded in the nonstandard $SU(n+1)$-covariant Poisson complex projective spaces $CP^{n}$.
We show that the standard SU(n)-covariant Poisson sphere $S^{2n-1}$ is embedded in the nonstandard $SU(n+1)$-covariant Poisson complex projective spaces $CP^{n}$.
△ Less
Submitted 17 February, 1998;
originally announced February 1998.