-
Relation morphisms of directed graphs
Authors:
Gilles G. de Castro,
Francesco D'Andrea,
Piotr M. Hajac
Abstract:
Associating graph algebras to directed graphs leads to both covariant and contravariant functors from suitable categories of graphs to the category k-Alg of algebras and algebra homomorphims. As both functors are often used at the same time, one needs a new category of graphs that allows a "common denominator" functor unifying the covariant and contravariant constructions. Herein, we solve this pr…
▽ More
Associating graph algebras to directed graphs leads to both covariant and contravariant functors from suitable categories of graphs to the category k-Alg of algebras and algebra homomorphims. As both functors are often used at the same time, one needs a new category of graphs that allows a "common denominator" functor unifying the covariant and contravariant constructions. Herein, we solve this problem by first introducing the relation category of graphs RG, and then determining the concept of admissible graph relations that yields a subcategory of RG admitting a contravariant functor to k-Alg simultaneously generalizing the aforementioned covariant and contravariant functors. Although we focus on Leavitt path algebras and graph C*-algebras, on the way we unravel functors given by path algebras, Cohn path algebras and Toeplitz graph C*-algebras from suitable subcategories of RG to k-Alg. Better still, we illustrate relation morphisms of graphs by naturally occuring examples, including Cuntz algebras, quantum spheres and quantum balls.
△ Less
Submitted 30 March, 2025;
originally announced March 2025.
-
Unital embeddings of Cuntz algebras from path homomorphisms of graphs
Authors:
Piotr M. Hajac,
Yang Liu
Abstract:
Cuntz algebras $\mathcal{O}_n$, $n>1$, are celebrated examples of a separable infinite simple C*-algebra with a number of fascinating properties. Their K-theory allows an embedding of $\mathcal O_m$ in $\mathcal O_n$ whenever $n-1$ divides $m-1$. In 2009, Kawamura provided a simple and explicit formula for all such embeddings. His formulas can be easily deduced by viewing Cuntz algebras as graph C…
▽ More
Cuntz algebras $\mathcal{O}_n$, $n>1$, are celebrated examples of a separable infinite simple C*-algebra with a number of fascinating properties. Their K-theory allows an embedding of $\mathcal O_m$ in $\mathcal O_n$ whenever $n-1$ divides $m-1$. In 2009, Kawamura provided a simple and explicit formula for all such embeddings. His formulas can be easily deduced by viewing Cuntz algebras as graph C*-algebras. Our main result is that, using both the covariant and contravariant functoriality of assigning graph C*-algebras to directed graphs, we can provide explicit polynomial formulas for all unital embeddings of Cuntz algebras into matrices over Cuntz algebras allowed by K-theory.
△ Less
Submitted 20 February, 2025; v1 submitted 22 December, 2024;
originally announced December 2024.
-
The covariant functoriality of graph algebras
Authors:
Piotr M. Hajac,
Mariusz Tobolski
Abstract:
In the standard category of directed graphs, graph morphisms map edges to edges. By allowing graph morphisms to map edges to finite paths (path homomorphisms of graphs), we obtain an ambient category in which we determine subcategories enjoying covariant functors to categories of algebras given by constructions of path algebras, Cohn path algebras, and Leavitt path algebras, respectively. Thus we…
▽ More
In the standard category of directed graphs, graph morphisms map edges to edges. By allowing graph morphisms to map edges to finite paths (path homomorphisms of graphs), we obtain an ambient category in which we determine subcategories enjoying covariant functors to categories of algebras given by constructions of path algebras, Cohn path algebras, and Leavitt path algebras, respectively. Thus we obtain new tools to unravel homomorphisms between Leavitt path algebras and graph C*-algebras. In particular, a graph-algebraic presentation of the inclusion of the C*-algebra of a quantum real projective plane into the Toeplitz algebra allows us to determine a quantum CW-complex structure of the former. It comes as a mixed-pullback theorem where two $*$-homomorphisms are covariantly induced from path homomorphisms of graphs and the remaining two are contravariantly induced by admissible inclusions of graphs. As a main result and an application of new covariant-induction tools, we prove such a mixed-pullback theorem for arbitrary graphs whose all vertex-simple loops have exits, which substantially enlarges the scope of examples coming from noncommutative topology.
△ Less
Submitted 19 December, 2024; v1 submitted 13 December, 2023;
originally announced December 2023.
-
From length-preserving pushouts of graphs to one-surjective pullbacks of graph algebras
Authors:
Piotr M. Hajac,
Mariusz Tobolski
Abstract:
The unions of directed graphs are the simplest examples of pushouts of directed graphs. The conditions under which they contravariantly induce surjective gauge-equivariant pullbacks of graph C*-algebras have been well studied and vastly instantiated in noncommutative topology (e.g., quantum balls and spheres). Herein, we go beyond the unions of graphs to systematically determine optimal conditions…
▽ More
The unions of directed graphs are the simplest examples of pushouts of directed graphs. The conditions under which they contravariantly induce surjective gauge-equivariant pullbacks of graph C*-algebras have been well studied and vastly instantiated in noncommutative topology (e.g., quantum balls and spheres). Herein, we go beyond the unions of graphs to systematically determine optimal conditions for more general length-preserving pushouts of graphs under which they contravariantly induce graded pullbacks of path algebras, Leavitt path algebras, and graph C*-algebras. Our pullbacks are surjective only on one side, as dictated by natural examples and K-theory. The proposed new approach enlarges the scope of applications from admissible subgraphs (also called quotient graphs) to generalizations of unlabeled foldings of Stallings and collapsing the line graphs of graphs to initial graphs. Moreover, we introduce the concept of locally derived graphs, which substantially extends the paradigm of derived graphs (or skew products of graphs), and use the projection foldings from locally derived graphs to their base (or voltage) graphs to obtain one-surjective pullbacks of graph C*-algebras.
△ Less
Submitted 18 December, 2024; v1 submitted 28 September, 2022;
originally announced September 2022.
-
Counting paths in directed graphs
Authors:
Piotr M. Hajac,
Oskar M. Stachowiak
Abstract:
We consider the class of directed graphs with $N\geq 1$ edges and without loops shorter than $k$. Using the concept of a labelled graph, we determine graphs from this class that maximize the number of all paths of length $k$. Then we show an $R$-labelled version of this result for semirings $R$ contained in the semiring of non-negative real numbers and containing the semiring of non-negative ratio…
▽ More
We consider the class of directed graphs with $N\geq 1$ edges and without loops shorter than $k$. Using the concept of a labelled graph, we determine graphs from this class that maximize the number of all paths of length $k$. Then we show an $R$-labelled version of this result for semirings $R$ contained in the semiring of non-negative real numbers and containing the semiring of non-negative rational numbers. We end by posing a related open problem concerning the maximal dimension of the path algebra of an acyclic graph with $N\geq1$ edges.
△ Less
Submitted 7 September, 2024; v1 submitted 19 September, 2022;
originally announced September 2022.
-
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.
-
Graph algebras
Authors:
Piotr M. Hajac,
Mariusz Tobolski
Abstract:
This introduction to graphs and graph algebras provides the optimal bound for the number of all paths of length $k$ in a graph with $N\geq k$ edges and no loops. Our proof relies on a construction of a number of terminating algorithms that reshape such graphs without ever decreasing the number of paths of length $k$. The key two algorithms work in turns each of them ending with a graph to which th…
▽ More
This introduction to graphs and graph algebras provides the optimal bound for the number of all paths of length $k$ in a graph with $N\geq k$ edges and no loops. Our proof relies on a construction of a number of terminating algorithms that reshape such graphs without ever decreasing the number of paths of length $k$. The key two algorithms work in turns each of them ending with a graph to which the other algorithm can be applied. Finally, one arrives at a specific graph realizing the optimal bound. Herein graph algebras mean path algebras and Leavitt path algebras. For the ground field $\mathbb{C}$ of complex numbers, the latter are viewed as dense subalgebras in their universal C*-completions called graph C*-algebras.
△ Less
Submitted 11 December, 2019;
originally announced December 2019.
-
Non-surjective pullbacks of graph C*-algebras from non-injective pushouts of graphs
Authors:
Alexandru Chirvasitu,
Piotr M. Hajac,
Mariusz Tobolski
Abstract:
We find a substantial class of pairs of $*$-homomorphisms between graph C*-algebras of the form $C^*(E)\hookrightarrow C^*(G)\twoheadleftarrow C^*(F)$ whose pullback C*-algebra is an AF graph C*-algebra. Our result can be interpreted as a recipe for determining the quantum space obtained by shrinking a quantum subspace. There is a variety of examples from noncommutative topology, such as quantum c…
▽ More
We find a substantial class of pairs of $*$-homomorphisms between graph C*-algebras of the form $C^*(E)\hookrightarrow C^*(G)\twoheadleftarrow C^*(F)$ whose pullback C*-algebra is an AF graph C*-algebra. Our result can be interpreted as a recipe for determining the quantum space obtained by shrinking a quantum subspace. There is a variety of examples from noncommutative topology, such as quantum complex projective spaces (including the standard Podleś quantum sphere) or quantum teardrops, that instantiate the result. Furthermore, to go beyond AF graph C*-algebras, we consider extensions of graphs over sinks and prove an analogous theorem for the thus obtained graph C*-algebras.
△ Less
Submitted 31 December, 2019; v1 submitted 24 July, 2019;
originally announced July 2019.
-
Pullbacks of graph C*-algebras from admissible pushouts of graphs
Authors:
Piotr M. Hajac,
Sarah Reznikoff,
Mariusz Tobolski
Abstract:
We define an admissible decomposition of a graph $E$ into subgraphs $F_1$ and $F_2$, and consider the intersection graph $F_1\cap F_2$ as a subgraph of both $F_1$ and $F_2$. We prove that, if the graph $E$ is row finite and its decomposition into the subgraphs $F_1$ and $F_2$ is admissible, then the graph C*-algebra $C^*(E)$ of $E$ is the pullback C*-algebra of the canonical surjections from…
▽ More
We define an admissible decomposition of a graph $E$ into subgraphs $F_1$ and $F_2$, and consider the intersection graph $F_1\cap F_2$ as a subgraph of both $F_1$ and $F_2$. We prove that, if the graph $E$ is row finite and its decomposition into the subgraphs $F_1$ and $F_2$ is admissible, then the graph C*-algebra $C^*(E)$ of $E$ is the pullback C*-algebra of the canonical surjections from $C^*(F_1)$ and $C^*(F_2)$ onto $C^*(F_1\cap F_2)$.
△ Less
Submitted 2 June, 2019; v1 submitted 31 October, 2018;
originally announced November 2018.
-
Associated noncommutative vector bundles over the Vaksman-Soibelman quantum complex projective spaces
Authors:
Francesca Arici,
Piotr M. Hajac,
Mariusz Tobolski
Abstract:
By a diagonal embedding of $U(1)$ in $SU_q(m)$, we prolongate the diagonal circle action on the Vaksman-Soibelman quantum sphere $S^{2n+1}_q$ to the $SU_q(m)$-action on the prolongated bundle. Then we prove that the noncommutative vector bundles associated via the fundamental representation of $SU_q(m)$, for $m\in\{2,\ldots,n\}$, yield generators of the even K-theory group of the C*-algebra of the…
▽ More
By a diagonal embedding of $U(1)$ in $SU_q(m)$, we prolongate the diagonal circle action on the Vaksman-Soibelman quantum sphere $S^{2n+1}_q$ to the $SU_q(m)$-action on the prolongated bundle. Then we prove that the noncommutative vector bundles associated via the fundamental representation of $SU_q(m)$, for $m\in\{2,\ldots,n\}$, yield generators of the even K-theory group of the C*-algebra of the Vaksman-Soibelman quantum complex projective space $\mathbb{C}{\rm P}^n_q$.
△ Less
Submitted 26 October, 2018;
originally announced October 2018.
-
A graded pullback structure of Leavitt path algebras of trimmable graphs
Authors:
Piotr M. Hajac,
Atabey Kaygun,
Mariusz Tobolski
Abstract:
Motivated by recent results in graph C*-algebras concerning an equivariant pushout structure of the Vaksman-Soibelman quantum odd spheres, we introduce a class of graphs called trimmable. Then we show that the Leavitt path algebra of a trimmable graph is graded-isomorphic to a pullback algebra of simpler Leavitt path algebras and their tensor products.
Motivated by recent results in graph C*-algebras concerning an equivariant pushout structure of the Vaksman-Soibelman quantum odd spheres, we introduce a class of graphs called trimmable. Then we show that the Leavitt path algebra of a trimmable graph is graded-isomorphic to a pullback algebra of simpler Leavitt path algebras and their tensor products.
△ Less
Submitted 27 March, 2018;
originally announced March 2018.
-
The local-triviality dimension of actions of compact quantum groups
Authors:
Eusebio Gardella,
Piotr M. Hajac,
Mariusz Tobolski,
Jianchao Wu
Abstract:
We define the local-triviality dimension for actions of compact quantum groups on unital C*-algebras. The resulting compact quantum principal bundle is said to be locally trivial when this dimension is finite. For commutative C*-algebras, this notion recovers the standard definition of local triviality of compact principal bundles. We prove that actions with finite local-triviality dimension are a…
▽ More
We define the local-triviality dimension for actions of compact quantum groups on unital C*-algebras. The resulting compact quantum principal bundle is said to be locally trivial when this dimension is finite. For commutative C*-algebras, this notion recovers the standard definition of local triviality of compact principal bundles. We prove that actions with finite local-triviality dimension are automatically free. Then we apply this new notion to prove the noncommutative Borsuk-Ulam-type conjecture under the assumption that a compact quantum group admits a non-trivial classical subgroup whose induced action has finite local-triviality dimension. This is a noncommutative extension of the Borsuk-Ulam-type theorem for locally trivial principal bundles.
△ Less
Submitted 18 July, 2019; v1 submitted 2 January, 2018;
originally announced January 2018.
-
The cyclic-homology Chern-Weil homomorphism for principal coactions
Authors:
Piotr M. Hajac,
Tomasz Maszczyk
Abstract:
We view the space of cotraces in the structural coalgebra of a principal coaction as a noncommutative counterpart of the classical Cartan model. Then we define the cyclic-homology Chern-Weil homomorphism by extending the Chern-Galois character from the characters of finite-dimensional comodules to arbitrary cotraces. To reduce the cyclic-homology Chern-Weil homomorphism to a tautological natural t…
▽ More
We view the space of cotraces in the structural coalgebra of a principal coaction as a noncommutative counterpart of the classical Cartan model. Then we define the cyclic-homology Chern-Weil homomorphism by extending the Chern-Galois character from the characters of finite-dimensional comodules to arbitrary cotraces. To reduce the cyclic-homology Chern-Weil homomorphism to a tautological natural transformation, we replace the unital coaction-invariant subalgebra by its certain natural H-unital nilpotent extension (row extension), and prove that their cyclic-homology groups are isomorphic. In the proof, we use a chain homotopy invariance of complexes computing Hochschild, and hence cyclic homology, for arbitrary row extensions. In the context of the cyclic-homology Chern-Weil homomorphism, a row extension is provided by the Ehresmann-Schauenburg quantum groupoid with a nonstandard multiplication.
△ Less
Submitted 28 December, 2017;
originally announced December 2017.
-
An equivariant pullback structure of trimmable graph C*-algebras
Authors:
Francesca Arici,
Francesco D'Andrea,
Piotr M. Hajac,
Mariusz Tobolski
Abstract:
We prove that the graph C*-algebra $C^*(E)$ of a trimmable graph $E$ is $U(1)$-equivariantly isomorphic to a pullback C*-algebra of a subgraph C*-algebra $C^*(E'')$ and the C*-algebra of functions on a circle tensored with another subgraph C*-algebra $C^*(E')$. This allows us to unravel the structure and K-theory of the fixed-point subalgebra $C^*(E)^{U(1)}$ through the (typically simpler) C*-alge…
▽ More
We prove that the graph C*-algebra $C^*(E)$ of a trimmable graph $E$ is $U(1)$-equivariantly isomorphic to a pullback C*-algebra of a subgraph C*-algebra $C^*(E'')$ and the C*-algebra of functions on a circle tensored with another subgraph C*-algebra $C^*(E')$. This allows us to unravel the structure and K-theory of the fixed-point subalgebra $C^*(E)^{U(1)}$ through the (typically simpler) C*-algebras $C^*(E')$, $C^*(E'')$ and $C^*(E'')^{U(1)}$. As examples of trimmable graphs, we consider one-loop extensions of the standard graphs encoding respectively the Cuntz algebra $\mathcal{O}_2$ and the Toeplitz algebra $\mathcal{T}$. Then we analyze equivariant pullback structures of trimmable graphs yielding the C*-algebras of the Vaksman-Soibelman quantum sphere $S^{2n+1}_q$ and the quantum lens space $L_q^3(l; 1,l)$, respectively.
△ Less
Submitted 7 September, 2018; v1 submitted 21 December, 2017;
originally announced December 2017.
-
Rank-two Milnor idempotents for the multipullback quantum complex projective plane
Authors:
Carla Farsi,
Piotr M. Hajac,
Tomasz Maszczyk,
Bartosz Zielinski
Abstract:
The $K_0$-group of the C*-algebra of multipullback quantum complex projective plane is known to be $\mathbb{Z}^3$, with one generator given by the C*-algebra itself, one given by the section module of the noncommutative (dual) tautological line bundle, and one given by the Milnor module associated to a generator of the $K_1$-group of the C*-algebra of Calow-Matthes quantum 3-sphere. Herein we prov…
▽ More
The $K_0$-group of the C*-algebra of multipullback quantum complex projective plane is known to be $\mathbb{Z}^3$, with one generator given by the C*-algebra itself, one given by the section module of the noncommutative (dual) tautological line bundle, and one given by the Milnor module associated to a generator of the $K_1$-group of the C*-algebra of Calow-Matthes quantum 3-sphere. Herein we prove that these Milnor modules are isomorphic either to the section module of a noncommutative vector bundle associated to the $SU_q(2)$-prolongation of the Heegaard quantum 5-sphere $S^5_H$ viewed as a $U(1)$-quantum principal bundle, or to a complement of this module in the rank-four free module. Finally, we demonstrate that one of the above Milnor modules always splits into the direct sum of the rank-one free module and a rank-one non-free projective module that is \emph{not} associated with $S^5_H$.
△ Less
Submitted 4 February, 2021; v1 submitted 15 August, 2017;
originally announced August 2017.
-
Noncommutative Borsuk-Ulam-type conjectures revisited
Authors:
Ludwik Dąbrowski,
Piotr M. Hajac,
Sergey Neshveyev
Abstract:
Let $H$ be the C*-algebra of a non-trivial compact quantum group acting freely on a unital C*-algebra $A$. It was recently conjectured that there does not exist an equivariant $*$-homomorphism from $A$ (type-I case) or $H$ (type-II case) to the equivariant noncommutative join C*-algebra $A\circledast^δH$. When $A$ is the C*-algebra of functions on a sphere, and $H$ is the C*-algebra of functions o…
▽ More
Let $H$ be the C*-algebra of a non-trivial compact quantum group acting freely on a unital C*-algebra $A$. It was recently conjectured that there does not exist an equivariant $*$-homomorphism from $A$ (type-I case) or $H$ (type-II case) to the equivariant noncommutative join C*-algebra $A\circledast^δH$. When $A$ is the C*-algebra of functions on a sphere, and $H$ is the C*-algebra of functions on ${\mathbb Z}/2{\mathbb Z}$ acting antipodally on the sphere, then the conjecture of type I becomes the celebrated Borsuk-Ulam theorem. Following recent work of Passer, we prove the conjecture of type I for compact quantum groups admitting a non-trivial torsion character. Next, we prove that, if a compact quantum group admits a representation whose \mbox{$K_1$-class} is non-trivial and $A$ admits a character, then a stronger version of the type-II conjecture holds: the finitely generated projective module associated with $A\circledast^δH$ via this representation is not stably free. In particular, we apply this result to the $q$-deformations of compact connected semisimple Lie groups and to the reduced group C*-algebras of free groups on $n>1$ generators.
△ Less
Submitted 31 December, 2017; v1 submitted 13 November, 2016;
originally announced November 2016.
-
Pullbacks and nontriviality of associated noncommutative vector bundles
Authors:
Piotr M. Hajac,
Tomasz Maszczyk
Abstract:
Our main theorem is that the pullback of an associated noncommutative vector bundle induced by an equivariant map of quantum principal bundles is a noncommutative vector bundle associated via the same finite-dimensional representation of the structural quantum group. On the level of $K_{0}$-groups, we realize the induced map by the pullback of explicit matrix idempotents. We also show how to exten…
▽ More
Our main theorem is that the pullback of an associated noncommutative vector bundle induced by an equivariant map of quantum principal bundles is a noncommutative vector bundle associated via the same finite-dimensional representation of the structural quantum group. On the level of $K_{0}$-groups, we realize the induced map by the pullback of explicit matrix idempotents. We also show how to extend our result to the case when the quantum-group representation is infinite dimensional, and then apply it to the Ehresmann-Schauenburg quantum groupoid. Finally, using noncommutative Milnor's join construction, we define quantum quaternionic projective spaces together with noncommutative tautological quaternionic line bundles and their duals. As a key application of the main theorem, we show that these bundles are stably non-trivial as noncommutative complex vector bundles.
△ Less
Submitted 2 January, 2018; v1 submitted 31 December, 2015;
originally announced January 2016.
-
The K-theory of twisted multipullback quantum odd spheres and complex projective spaces
Authors:
Piotr M. Hajac,
Ryszard Nest,
David Pask,
Aidan Sims,
Bartosz Zieliński
Abstract:
We find multipullback quantum odd-dimensional spheres equipped with natural $U(1)$-actions that yield the multipullback quantum complex projective spaces constructed from Toeplitz cubes as noncommutative quotients. We prove that the noncommutative line bundles associated to multipullback quantum odd spheres are pairwise stably non-isomorphic, and that the $K$-groups of multipullback quantum comple…
▽ More
We find multipullback quantum odd-dimensional spheres equipped with natural $U(1)$-actions that yield the multipullback quantum complex projective spaces constructed from Toeplitz cubes as noncommutative quotients. We prove that the noncommutative line bundles associated to multipullback quantum odd spheres are pairwise stably non-isomorphic, and that the $K$-groups of multipullback quantum complex projective spaces and odd spheres coincide with their classical counterparts. We show that these $K$-groups remain the same for more general twisted versions of our quantum odd spheres and complex projective spaces.
△ Less
Submitted 31 December, 2017; v1 submitted 29 December, 2015;
originally announced December 2015.
-
Noncommutative bundles over the multi-pullback quantum complex projective plane
Authors:
Piotr M. Hajac,
Jan Rudnik
Abstract:
We equip the multi-pullback $C^*$-algebra $C(S^5_H)$ of a noncommutative-deformation of the 5-sphere with a free $U(1)$-action, and show that its fixed-point subalgebra is isomorphic with the $C^*$-algebra of the multi-pullback quantum complex projective plane. Our main result is the stable non-triviality of the dual tautological line bundle associated to the action. We prove it by combining Chern…
▽ More
We equip the multi-pullback $C^*$-algebra $C(S^5_H)$ of a noncommutative-deformation of the 5-sphere with a free $U(1)$-action, and show that its fixed-point subalgebra is isomorphic with the $C^*$-algebra of the multi-pullback quantum complex projective plane. Our main result is the stable non-triviality of the dual tautological line bundle associated to the action. We prove it by combining Chern-Galois theory with the Milnor connecting homomorphism in $K$-theory. Using the Mayer-Vietoris six-term exact sequences and the functoriality of the Künneth formula, we also compute the $K$-groups of $C(S^5_H)$.
△ Less
Submitted 29 December, 2015;
originally announced December 2015.
-
Noncommutative Borsuk-Ulam-type conjectures
Authors:
Paul F. Baum,
Ludwik Dabrowski,
Piotr M. Hajac
Abstract:
Within the framework of free actions of compact quantum groups on unital C*-algebras, we propose two conjectures. The first one states that, if $H$ is the C*-algebra of a compact quantum group coacting freely on a unital C*-algebra $A$, then there is no equivariant $*$-homomorphism from $A$ to the join C*-algebra $A*H$. For $A$ being the C*-algebra of continuous functions on a sphere with the anti…
▽ More
Within the framework of free actions of compact quantum groups on unital C*-algebras, we propose two conjectures. The first one states that, if $H$ is the C*-algebra of a compact quantum group coacting freely on a unital C*-algebra $A$, then there is no equivariant $*$-homomorphism from $A$ to the join C*-algebra $A*H$. For $A$ being the C*-algebra of continuous functions on a sphere with the antipodal coaction of the C*-algebra of funtions on $\mathbb{Z}/2\mathbb{Z}$, we recover the celebrated Borsuk-Ulam theorem. The second conjecture states that there is no equivariant $*$-homomorphism from $H$ to the join C*-algebra $A*H$. We show how to prove the conjecture in the special case $A=C(SU_q(2))=H$, which is tantamount to showing the non-trivializability of Pflaum's quantum instanton fibration built from $SU_q(2)$.
△ Less
Submitted 25 February, 2015; v1 submitted 19 February, 2015;
originally announced February 2015.
-
Braided join comodule algebras of Galois objects
Authors:
Ludwik Dabrowski,
Tom Hadfield,
Piotr M. Hajac,
Elmar Wagner
Abstract:
We construct the join of noncommutative Galois objects (quantum torsors) over a Hopf algebra H. To ensure that the join algebra enjoys the natural (diagonal) coaction of H, we braid the tensor product of the Galois objects. Then we show that this coaction is principal. Our examples are built from the noncommutative torus with the natural free action of the classical torus, and arbitrary anti-Drinf…
▽ More
We construct the join of noncommutative Galois objects (quantum torsors) over a Hopf algebra H. To ensure that the join algebra enjoys the natural (diagonal) coaction of H, we braid the tensor product of the Galois objects. Then we show that this coaction is principal. Our examples are built from the noncommutative torus with the natural free action of the classical torus, and arbitrary anti-Drinfeld doubles of finite-dimensional Hopf algebras. The former yields a noncommutative deformation of a non-trivial torus bundle, and the latter a finite quantum covering.
△ Less
Submitted 31 July, 2014; v1 submitted 25 July, 2014;
originally announced July 2014.
-
Equivariant Join and Fusion of Noncommutative Algebras
Authors:
Ludwik Dabrowski,
Tom Hadfield,
Piotr M. Hajac
Abstract:
We translate the concept of the join of topological spaces to the language of $C^*$-algebras, replace the $C^*$-algebra of functions on the interval $[0,1]$ with evaluation maps at $0$ and $1$ by a unital $C^*$-algebra $C$ with appropriate two surjections, and introduce the notion of the fusion of unital $C^*$-algebras. An appropriate modification of this construction yields the fusion comodule al…
▽ More
We translate the concept of the join of topological spaces to the language of $C^*$-algebras, replace the $C^*$-algebra of functions on the interval $[0,1]$ with evaluation maps at $0$ and $1$ by a unital $C^*$-algebra $C$ with appropriate two surjections, and introduce the notion of the fusion of unital $C^*$-algebras. An appropriate modification of this construction yields the fusion comodule algebra of a comodule algebra $P$ with the coacting Hopf algebra $H$. We prove that, if the comodule algebra $P$ is principal, then so is the fusion comodule algebra. When $C=C([0,1])$ and the two surjections are evaluation maps at $0$ and $1$, this result is a noncommutative-algebraic incarnation of the fact that, for a compact Hausdorff principal $G$-bundle $X$, the diagonal action of $G$ on the join $X*G$ is free.
△ Less
Submitted 13 October, 2015; v1 submitted 22 July, 2014;
originally announced July 2014.
-
Local Proof of Algebraic Characterization of Free Actions
Authors:
Paul F. Baum,
Piotr M. Hajac
Abstract:
Let $G$ be a compact Hausdorff topological group acting on a compact Hausdorff topological space $X$. Within the $C^{*}$-algebra $C(X)$ of all continuous complex-valued functions on $X$, there is the Peter-Weyl algebra $\mathcal{P}_G(X)$ which is the (purely algebraic) direct sum of the isotypical components for the action of $G$ on $C(X)$. We prove that the action of $G$ on $X$ is free if and onl…
▽ More
Let $G$ be a compact Hausdorff topological group acting on a compact Hausdorff topological space $X$. Within the $C^{*}$-algebra $C(X)$ of all continuous complex-valued functions on $X$, there is the Peter-Weyl algebra $\mathcal{P}_G(X)$ which is the (purely algebraic) direct sum of the isotypical components for the action of $G$ on $C(X)$. We prove that the action of $G$ on $X$ is free if and only if the canonical map $\mathcal{P}_G(X)\otimes_{C(X/G)}\mathcal{P}_G(X)\to \mathcal{P}_G(X)\otimes\mathcal{O}(G)$ is bijective. Here both tensor products are purely algebraic, and $\mathcal{O}(G)$ denotes the Hopf algebra of "polynomial" functions on $G$.
△ Less
Submitted 6 June, 2014; v1 submitted 12 February, 2014;
originally announced February 2014.
-
Nontrivial Deformation of a Trivial Bundle
Authors:
Piotr M. Hajac,
Bartosz Zieliński
Abstract:
The ${\rm SU}(2)$-prolongation of the Hopf fibration $S^3\to S^2$ is a trivializable principal ${\rm SU}(2)$-bundle. We present a noncommutative deformation of this bundle to a quantum principal ${\rm SU}_q(2)$-bundle that is not trivializable. On the other hand, we show that the ${\rm SU}_q(2)$-bundle is piecewise trivializable with respect to the closed covering of $S^2$ by two hemispheres inter…
▽ More
The ${\rm SU}(2)$-prolongation of the Hopf fibration $S^3\to S^2$ is a trivializable principal ${\rm SU}(2)$-bundle. We present a noncommutative deformation of this bundle to a quantum principal ${\rm SU}_q(2)$-bundle that is not trivializable. On the other hand, we show that the ${\rm SU}_q(2)$-bundle is piecewise trivializable with respect to the closed covering of $S^2$ by two hemispheres intersecting at the equator.
△ Less
Submitted 28 March, 2014; v1 submitted 28 October, 2013;
originally announced October 2013.
-
Free actions of compact quantum group on unital C*-algebras
Authors:
Paul F. Baum,
Kenny De Commer,
Piotr M. Hajac
Abstract:
Let F be a field, G a finite group, and Map(G,F) the Hopf algebra of all set-theoretic maps G->F. If E is a finite field extension of F and G is its Galois group, the extension is Galois if and only if the canonical map resulting from viewing E as a Map(G,F)-comodule is an isomorphism. Similarly, a finite covering space is regular if and only if the analogous canonical map is an isomorphism. In th…
▽ More
Let F be a field, G a finite group, and Map(G,F) the Hopf algebra of all set-theoretic maps G->F. If E is a finite field extension of F and G is its Galois group, the extension is Galois if and only if the canonical map resulting from viewing E as a Map(G,F)-comodule is an isomorphism. Similarly, a finite covering space is regular if and only if the analogous canonical map is an isomorphism. In this paper we extend this point of view to actions of compact quantum groups on unital C*-algebras. We prove that such an action is free if and only if the canonical map (obtained using the underlying Hopf algebra of the compact quantum group) is an isomorphism. In particular, we are able to express the freeness of a compact Hausdorff topological group action on a compact Hausdorff topological space in algebraic terms.
△ Less
Submitted 30 June, 2015; v1 submitted 9 April, 2013;
originally announced April 2013.
-
The cocycle condition for multi-pullbacks of algebras
Authors:
Piotr M. Hajac,
Bartosz Zielinski
Abstract:
Take finitely many topological spaces and for each pair of these spaces choose a pair of corresponding closed subspaces that are identified by a homeomorpism. We note that this gluing procedure does not guarantee that the building pieces, or the gluings of some pieces, are embedded in the space obtained by putting together all given ingredients. Dually, we show that a certain sufficient condition,…
▽ More
Take finitely many topological spaces and for each pair of these spaces choose a pair of corresponding closed subspaces that are identified by a homeomorpism. We note that this gluing procedure does not guarantee that the building pieces, or the gluings of some pieces, are embedded in the space obtained by putting together all given ingredients. Dually, we show that a certain sufficient condition, called the cocycle condition, is also necessary to guarantee sheaf-like properties of surjective multi-pullbacks of algebras with distributive lattices of ideals.
△ Less
Submitted 30 June, 2012;
originally announced July 2012.
-
The K-theory of Heegaard quantum lens spaces
Authors:
Piotr M. Hajac,
Adam Rennie,
Bartosz Zielinski
Abstract:
Representing Z/N as roots of unity, we restrict a natural U(1)-action on the Heegaard quantum sphere to Z/N, and call the quotient spaces Heegaard quantum lens spaces. Then we use this representation of Z/N to construct an associated complex line bundle. This paper proves the stable non-triviality of these line bundles over any of the quantum lens spaces we consider. We use the pullback structure…
▽ More
Representing Z/N as roots of unity, we restrict a natural U(1)-action on the Heegaard quantum sphere to Z/N, and call the quotient spaces Heegaard quantum lens spaces. Then we use this representation of Z/N to construct an associated complex line bundle. This paper proves the stable non-triviality of these line bundles over any of the quantum lens spaces we consider. We use the pullback structure of the C*-algebra of the lens space to compute its K-theory via the Mayer-Vietoris sequence, and an explicit form of the Bass connecting homomorphism to prove the stable non-triviality of the bundles. On the algebraic side we prove the universality of the coordinate algebra of such a lens space for a particular set of generators and relations. We also prove the non-existence of non-trivial invertibles in the coordinate algebra of a lens space. Finally, we prolongate the Z/N-fibres of the Heegaard quantum sphere to U(1), and determine the algebraic structure of such a U(1)-prolongation.
△ Less
Submitted 26 October, 2011;
originally announced October 2011.
-
Reductions of piecewise-trivial principal comodule algebras
Authors:
Piotr M. Hajac,
Jan Rudnik,
Bartosz Zielinski
Abstract:
Let $G'$ be a closed subgroup of a topological group $G$. A principal $G$-bundle $X$ is reducible to a locally trivial principal $G'$-bundle $X'$ if and only if there exists a local trivialisation of $X$ such that all transition functions take values in $G'$. We prove a noncommutative-geometric counterpart of this theorem. To this end, we employ the concept of a piecewise-trivial principal comodul…
▽ More
Let $G'$ be a closed subgroup of a topological group $G$. A principal $G$-bundle $X$ is reducible to a locally trivial principal $G'$-bundle $X'$ if and only if there exists a local trivialisation of $X$ such that all transition functions take values in $G'$. We prove a noncommutative-geometric counterpart of this theorem. To this end, we employ the concept of a piecewise-trivial principal comodule algebra as a replacement of a locally trivial compact principal bundle. To illustrate our theorem, first we define a new noncommutative deformation of the $\mathbb{Z}/2\mathbb{Z}$-principal bundle $S^2\rightarrow \mathbb{R}P^2$ that yields a piecewise-trivial principal comodule algebra. It is the C*-algebra of a quantum cube whose each face is given by the Toeplitz algebra. The $\mathbb{Z}/2\mathbb{Z}$-invariant subalgebra defines the C*-algebra of a quantum $\mathbb{R}P^2$. It is given as a triple-pullback of Toeplitz algebras. Next, we prolongate this noncommutative $\mathbb{Z}/2\mathbb{Z}$-principal bundle to a noncommutative $U(1)$-principal bundle, so that the former becomes a reduction of the latter thus instantiating our theorem. Moreover, using K-theory results, we prove that the prolongated noncommutative bundle is not trivial.
△ Less
Submitted 3 February, 2021; v1 submitted 30 December, 2010;
originally announced January 2011.
-
Quantum projective space from Toeplitz cubes
Authors:
Piotr M. Hajac,
Atabey Kaygun,
Bartosz Zielinski
Abstract:
From N-tensor powers of the Toeplitz algebra, we construct a multipullback C*-algebra that is a noncommutative deformation of the complex projective space CP(N). Using Birkhoff's Representation Theorem, we prove that the lattice of kernels of the canonical projections on components of the multipullback C*-algebra is free. This shows that our deformation preserves the freeness of the lattice of sub…
▽ More
From N-tensor powers of the Toeplitz algebra, we construct a multipullback C*-algebra that is a noncommutative deformation of the complex projective space CP(N). Using Birkhoff's Representation Theorem, we prove that the lattice of kernels of the canonical projections on components of the multipullback C*-algebra is free. This shows that our deformation preserves the freeness of the lattice of subsets generated by the affine covering of the complex projective space.
△ Less
Submitted 3 August, 2010;
originally announced August 2010.
-
The Pullbacks of Principal Coactions
Authors:
Piotr M. Hajac,
Elmar Wagner
Abstract:
We prove that the class of principal coactions is closed under one-surjective pullbacks in an appropriate category of algebras equipped with left and right coactions. This allows us to handle cases of C*-algebras lacking two different non-trivial ideals. It also allows us to go beyond the category of comodule algebras. As an example of the former, we carry out an index computation for noncommutati…
▽ More
We prove that the class of principal coactions is closed under one-surjective pullbacks in an appropriate category of algebras equipped with left and right coactions. This allows us to handle cases of C*-algebras lacking two different non-trivial ideals. It also allows us to go beyond the category of comodule algebras. As an example of the former, we carry out an index computation for noncommutative line bundles over the standard Podles sphere using the Mayer-Vietoris type arguments afforded by a one-surjective pullback presentation of the C*-algebra of this quantum sphere. To instantiate the latter, we define a family of coalgebraic noncommutative deformations of the U(1)-principal bundle S^7 --> CP^3.
△ Less
Submitted 24 February, 2013; v1 submitted 30 December, 2009;
originally announced January 2010.
-
Galois-Type Extensions and Equivariant Projectivity
Authors:
Tomasz Brzezinski,
Piotr M. Hajac
Abstract:
The theory of general Galois-type extensions is presented, including the interrelations between coalgebra extensions and algebra (co)extensions, properties of corresponding (co)translation maps, and rudiments of entwinings and factorisations. To achieve broad perspective, this theory is placed in the context of far reaching generalisations of the Galois condition to the setting of corings. At th…
▽ More
The theory of general Galois-type extensions is presented, including the interrelations between coalgebra extensions and algebra (co)extensions, properties of corresponding (co)translation maps, and rudiments of entwinings and factorisations. To achieve broad perspective, this theory is placed in the context of far reaching generalisations of the Galois condition to the setting of corings. At the same time, to bring together K-theory and general Galois theory, the equivariant projectivity of extensions is assumed resulting in the centrepiece concept of a principal extension. Motivated by noncommutative geometry, we employ such extensions as replacements of principal bundles. This brings about the notion of a strong connection and yields finitely generated projective associated modules, which play the role of noncommutative vector bundles. Subsequently, the theory of strong connections is developed. It is purported as a basic ingredient in the construction of the Chern character for Galois-type extensions (called the Chern-Galois character).
△ Less
Submitted 31 December, 2008;
originally announced January 2009.
-
Finite closed coverings of compact quantum spaces
Authors:
Piotr M. Hajac,
Atabey Kaygun,
Bartosz Zielinski
Abstract:
We show that a projective space P^\infty(Z/2) endowed with the Alexandrov topology is a classifying space for finite closed coverings of compact quantum spaces in the sense that any such a covering is functorially equivalent to a sheaf over this projective space. In technical terms, we prove that the category of finitely supported flabby sheaves of algebras is equivalent to the category of algebra…
▽ More
We show that a projective space P^\infty(Z/2) endowed with the Alexandrov topology is a classifying space for finite closed coverings of compact quantum spaces in the sense that any such a covering is functorially equivalent to a sheaf over this projective space. In technical terms, we prove that the category of finitely supported flabby sheaves of algebras is equivalent to the category of algebras with a finite set of ideals that intersect to zero and generate a distributive lattice. In particular, the Gelfand transform allows us to view finite closed coverings of compact Hausdorff spaces as flabby sheaves of commutative C*-algebras over P^\infty(Z/2).
△ Less
Submitted 19 June, 2012; v1 submitted 31 December, 2008;
originally announced January 2009.
-
Piecewise principal comodule algebras
Authors:
Piotr M. Hajac,
Ulrich Kraehmer,
Rainer Matthes,
Bartosz Zielinski
Abstract:
A comodule algebra P over a Hopf algebra H with bijective antipode is called principal if the coaction of H is Galois and P is H-equivariantly projective (faithfully flat) over the coaction-invariant subalgebra B. We prove that principality is a piecewise property: given N comodule-algebra surjections P->Pi whose kernels intersect to zero, P is principal if and only if all Pi's are principal. Fu…
▽ More
A comodule algebra P over a Hopf algebra H with bijective antipode is called principal if the coaction of H is Galois and P is H-equivariantly projective (faithfully flat) over the coaction-invariant subalgebra B. We prove that principality is a piecewise property: given N comodule-algebra surjections P->Pi whose kernels intersect to zero, P is principal if and only if all Pi's are principal. Furthermore, assuming the principality of P, we show that the lattice these kernels generate is distributive if and only if so is the lattice obtained by intersection with B. Finally, assuming the above distributivity property, we obtain a flabby sheaf of principal comodule algebras over a certain space that is universal for all such N-families of surjections P->Pi and such that the comodule algebra of global sections is P.
△ Less
Submitted 31 December, 2007; v1 submitted 9 July, 2007;
originally announced July 2007.
-
Index pairings for pullbacks of C*-algebras
Authors:
L. Dabrowski,
T. Hadfield,
P. M. Hajac,
R. Matthes,
E. Wagner
Abstract:
In this overview, we study how to reduce the index pairing for a fibre-product C*-algebra to the index pairing for the C*-algebra over which the fibre product is taken. As an example we analyze the case of suspensions and apply it to noncommutative instanton bundles of arbitrary charges over the suspension of quantum deformations of the 3-sphere.
In this overview, we study how to reduce the index pairing for a fibre-product C*-algebra to the index pairing for the C*-algebra over which the fibre product is taken. As an example we analyze the case of suspensions and apply it to noncommutative instanton bundles of arbitrary charges over the suspension of quantum deformations of the 3-sphere.
△ Less
Submitted 12 January, 2013; v1 submitted 31 January, 2007;
originally announced February 2007.
-
Noncommutative Geometry Approach to Principal and Associated Bundles
Authors:
Paul F. Baum,
Piotr M. Hajac,
Rainer Matthes,
Wojciech Szymanski
Abstract:
We recast basic topological concepts underlying differential geometry using the language and tools of noncommutative geometry. This way we characterize principal (free and proper) actions by a density condition in (multiplier) C*-algebras. We introduce the concept of piecewise triviality to adapt the standard notion of local triviality to fibre products of C*-algebras. In the context of principa…
▽ More
We recast basic topological concepts underlying differential geometry using the language and tools of noncommutative geometry. This way we characterize principal (free and proper) actions by a density condition in (multiplier) C*-algebras. We introduce the concept of piecewise triviality to adapt the standard notion of local triviality to fibre products of C*-algebras. In the context of principal actions, we study in detail an example of a non-proper free action with continuous translation map, and examples of compact principal bundles which are piecewise trivial but not locally trivial, and neither piecewise trivial nor locally trivial, respectively. We show that the module of continuous sections of a vector bundle associated to a compact principal bundle is a cotensor product of the algebra of functions defined on the total space (that are continuous along the base and polynomial along the fibres) with the vector space of the representation. On the algebraic side, we review the formalism of connections for the universal differential algebras. In the differential geometry framework, we consider smooth connections on principal bundles as equivariant splittings of the cotangent bundle, as 1-form-valued derivations of the algebra of smooth functions on the structure group, and as axiomatically given covariant differentiations of functions defined on the total space. Finally, we use the Dirac monopole connection to compute the pairing of the line bundles associated to the Hopf fibration with the cyclic cocycle of integration over S^2.
△ Less
Submitted 8 January, 2007; v1 submitted 31 December, 2006;
originally announced January 2007.
-
Noncommutative index theory for mirror quantum spheres
Authors:
Piotr M. Hajac,
Rainer Matthes,
Wojciech Szymanski
Abstract:
We introduce and analyse a new type of quantum 2-spheres. Then we apply index theory for noncommutative line bundles over these spheres to conclude that quantum lens spaces are non-crossed-product examples of principal extensions of C*-algebras.
We introduce and analyse a new type of quantum 2-spheres. Then we apply index theory for noncommutative line bundles over these spheres to conclude that quantum lens spaces are non-crossed-product examples of principal extensions of C*-algebras.
△ Less
Submitted 11 November, 2005;
originally announced November 2005.
-
The K-Theory of Heegaard-Type Quantum 3-Spheres
Authors:
Paul Baum,
Piotr M. Hajac,
Rainer Matthes,
Wojciech Szymanski
Abstract:
We use a Heegaard splitting of the topological 3-sphere as a guiding principle to construct a family of its noncommutative deformations. The main technical point is an identification of the universal C*-algebras defining our quantum 3-spheres with an appropriate fiber product of crossed-product C*-algebras. Then we employ this result to show that the K-groups of our family of noncommutative 3-sp…
▽ More
We use a Heegaard splitting of the topological 3-sphere as a guiding principle to construct a family of its noncommutative deformations. The main technical point is an identification of the universal C*-algebras defining our quantum 3-spheres with an appropriate fiber product of crossed-product C*-algebras. Then we employ this result to show that the K-groups of our family of noncommutative 3-spheres coincide with their classical counterparts.
△ Less
Submitted 28 December, 2004; v1 submitted 29 September, 2004;
originally announced September 2004.
-
Stable anti-Yetter-Drinfeld modules
Authors:
Piotr M. Hajac,
Masoud Khalkhali,
Bahram Rangipour,
Yorck Sommerhaeuser
Abstract:
We define and study a class of entwined modules (stable anti-Yetter-Drinfeld modules) that serve as coefficients for the Hopf-cyclic homology and cohomology. In particular, we explain their relationship with Yetter-Drinfeld modules and Drinfeld doubles. Among sources of examples of stable anti-Yetter-Drinfeld modules, we find Hopf-Galois extensions with a flipped version of the Miyashita-Ulbrich…
▽ More
We define and study a class of entwined modules (stable anti-Yetter-Drinfeld modules) that serve as coefficients for the Hopf-cyclic homology and cohomology. In particular, we explain their relationship with Yetter-Drinfeld modules and Drinfeld doubles. Among sources of examples of stable anti-Yetter-Drinfeld modules, we find Hopf-Galois extensions with a flipped version of the Miyashita-Ulbrich action.
△ Less
Submitted 3 May, 2004;
originally announced May 2004.
-
The Chern-Galois character
Authors:
Tomasz Brzezinski,
Piotr M. Hajac
Abstract:
Following the idea of Galois-type extensions and entwining structures, we define the notion of a principal extension of noncommutative algebras. We show that modules associated to such extensions via finite-dimensional corepresentations are finitely generated projective, and determine an explicit formula for the Chern character applied to the thus obtained modules.
Following the idea of Galois-type extensions and entwining structures, we define the notion of a principal extension of noncommutative algebras. We show that modules associated to such extensions via finite-dimensional corepresentations are finitely generated projective, and determine an explicit formula for the Chern character applied to the thus obtained modules.
△ Less
Submitted 30 June, 2003;
originally announced June 2003.
-
Hopf-cyclic homology and cohomology with coefficients
Authors:
P. M. Hajac,
M. Khalkhali,
B. Rangipour,
Y. Sommerhaeuser
Abstract:
Following the idea of an invariant differential complex, we construct general-type cyclic modules that provide the common denominator of known cyclic theories. The cyclicity of these modules is governed by Hopf-algebraic structures. We prove that the existence of a cyclic operator forces a modification of the Yetter-Drinfeld compatibility condition leading to the concept of a stable anti-Yetter-…
▽ More
Following the idea of an invariant differential complex, we construct general-type cyclic modules that provide the common denominator of known cyclic theories. The cyclicity of these modules is governed by Hopf-algebraic structures. We prove that the existence of a cyclic operator forces a modification of the Yetter-Drinfeld compatibility condition leading to the concept of a stable anti-Yetter-Drinfeld module. This module plays the role of the space of coefficients in the thus obtained cyclic cohomology of module algebras and coalgebras, and the cyclic homology and cohomology of comodule algebras. Along the lines of Connes and Moscovici, we show that there is a pairing between the cyclic cohomology of a module coalgebra acting on a module algebra and closed 0-cocycles on the latter. The pairing takes values in the usual cyclic cohomology of the algebra. Similarly, we argue that there is an analogous pairing between closed 0-cocycles of a module coalgebra and the cyclic cohomology of a module algebra.
△ Less
Submitted 1 July, 2003; v1 submitted 19 June, 2003;
originally announced June 2003.
-
Chern numbers for two families of noncommutative Hopf fibrations
Authors:
Piotr M. Hajac,
Rainer Matthes,
Wojciech Szymanski
Abstract:
We consider noncommutative line bundles associated with the Hopf fibrations of SUq(2) over all Podles spheres and with a locally trivial Hopf fibration of S^3_{pq}. These bundles are given as finitely generated projective modules associated via 1-dimensional representations of U(1) with Galois-type extensions encoding the principal fibrations of SUq(2) and S^3_{pq}. We show that the Chern number…
▽ More
We consider noncommutative line bundles associated with the Hopf fibrations of SUq(2) over all Podles spheres and with a locally trivial Hopf fibration of S^3_{pq}. These bundles are given as finitely generated projective modules associated via 1-dimensional representations of U(1) with Galois-type extensions encoding the principal fibrations of SUq(2) and S^3_{pq}. We show that the Chern numbers of these modules coincide with the winding numbers of representations defining them.
△ Less
Submitted 20 February, 2003;
originally announced February 2003.
-
Graph C*-algebras and Z/2Z-quotients of quantum spheres
Authors:
P. M. Hajac,
R. Matthes,
W. Szymanski
Abstract:
We consider two Z/2Z-actions on the Podles generic quantum spheres. They yield, as noncommutative quotient spaces, the Klimek-Lesniewski q-disc and the quantum real projective space, respectively. The C*-algebras of all these quantum spaces are described as graph C*-algebras. The K-groups of the thus presented C*-algebras are then easily determined from the general theory of graph C*-algebras. F…
▽ More
We consider two Z/2Z-actions on the Podles generic quantum spheres. They yield, as noncommutative quotient spaces, the Klimek-Lesniewski q-disc and the quantum real projective space, respectively. The C*-algebras of all these quantum spaces are described as graph C*-algebras. The K-groups of the thus presented C*-algebras are then easily determined from the general theory of graph C*-algebras. For the quantum real projective space, we also recall the classification of the classes of irreducible *-representations of its algebra and give a linear basis for this algebra.
△ Less
Submitted 14 March, 2003; v1 submitted 20 September, 2002;
originally announced September 2002.
-
A Locally Trivial Quantum Hopf Fibration
Authors:
P. M. Hajac,
R. Matthes,
W. Szymanski
Abstract:
The irreducible *-representations of the polynomial algebra O(S^3_{pq}) of the quantum 3-sphere introduced by Calow and Matthes are classified. The K-groups of its universal C*-algebra are shown to coincide with their classical counterparts. The U(1)-action on O(S^3_{pq}) corresponding for p=1=q to the classical Hopf fibration is proven to be Galois (free). The thus obtained locally trivial Hopf…
▽ More
The irreducible *-representations of the polynomial algebra O(S^3_{pq}) of the quantum 3-sphere introduced by Calow and Matthes are classified. The K-groups of its universal C*-algebra are shown to coincide with their classical counterparts. The U(1)-action on O(S^3_{pq}) corresponding for p=1=q to the classical Hopf fibration is proven to be Galois (free). The thus obtained locally trivial Hopf-Galois extension is shown to be relatively projective (admitting a strong connection) and non-cleft. The latter is proven by determining an appropriate Chern-Connes pairing.
△ Less
Submitted 26 September, 2002; v1 submitted 31 December, 2001;
originally announced December 2001.
-
Quantum Real Projective Space, Disc and Sphere
Authors:
Piotr M. Hajac,
Rainer Matthes,
Wojciech Szymanski
Abstract:
We define the $C^*$-algebra of quantum real projective space $\R P_q^2$, classify its irreducible representations and compute its $K$-theory. We also show that the $q$-disc of Klimek-Lesniewski can be obtained as a non-Galois $\Z_2$-quotient of the equator Podleś quantum sphere. On the way, we provide the Cartesian coordinates for all Podleś quantum spheres and determine an explicit form of isom…
▽ More
We define the $C^*$-algebra of quantum real projective space $\R P_q^2$, classify its irreducible representations and compute its $K$-theory. We also show that the $q$-disc of Klimek-Lesniewski can be obtained as a non-Galois $\Z_2$-quotient of the equator Podleś quantum sphere. On the way, we provide the Cartesian coordinates for all Podleś quantum spheres and determine an explicit form of isomorphisms between the $C^*$-algebras of the equilateral spheres and the $C^*$-algebra of the equator one.
△ Less
Submitted 20 September, 2000;
originally announced September 2000.
-
Strong Connections and Chern-Connes Pairing in the Hopf-Galois Theory
Authors:
L. Dabrowski,
H. Grosse,
P. M. Hajac
Abstract:
We reformulate the concept of connection on a Hopf-Galois extension $B\subseteq P$ in order to apply it in computing the Chern-Connes pairing between the cyclic cohomology $HC^{2n} (B)$ and $K_0 (B)$. This reformulation allows us to show that a Hopf-Galois extension admitting a strong connection is projective and left faithfully flat. It also enables us to conclude that a strong connection is a…
▽ More
We reformulate the concept of connection on a Hopf-Galois extension $B\subseteq P$ in order to apply it in computing the Chern-Connes pairing between the cyclic cohomology $HC^{2n} (B)$ and $K_0 (B)$. This reformulation allows us to show that a Hopf-Galois extension admitting a strong connection is projective and left faithfully flat. It also enables us to conclude that a strong connection is a Cuntz-Quillen-type bimodule connection. To exemplify the theory, we construct a strong connection (super Dirac monopole) to find out the Chern-Connes pairing for the super line bundles associated to super Hopf fibration.
△ Less
Submitted 30 December, 1999;
originally announced December 1999.
-
Algebraic $K_0$ of the Quantum Sphere and Noncommutative Index Theorem
Authors:
Piotr M. Hajac
Abstract:
The Noncommutative Index Theorem is used to prove that the Chern character of quantum Hopf line bundles over the standard Podles quantum sphere equals the winding number of the representations defining these bundles. This result gives an estimate of the positive cone of the algebraic $K_0$ of the standard quantum sphere.
The Noncommutative Index Theorem is used to prove that the Chern character of quantum Hopf line bundles over the standard Podles quantum sphere equals the winding number of the representations defining these bundles. This result gives an estimate of the positive cone of the algebraic $K_0$ of the standard quantum sphere.
△ Less
Submitted 16 September, 1998;
originally announced September 1998.
-
Axiomatic Holonomy Maps and Generalized Yang-Mills Moduli Space
Authors:
Piotr M. Hajac
Abstract:
This article is a follow-up of ``Holonomy and Path Structures in General Relativity and Yang-Mills Theory" by Barrett, J. W. (Int.J.Theor.Phys., vol.30, No.9, 1991). Its main goal is to provide an alternative proof of this part of the reconstruction theorem which concerns the existence of a connection. A construction of connection 1-form is presented. The formula expressing the local coefficient…
▽ More
This article is a follow-up of ``Holonomy and Path Structures in General Relativity and Yang-Mills Theory" by Barrett, J. W. (Int.J.Theor.Phys., vol.30, No.9, 1991). Its main goal is to provide an alternative proof of this part of the reconstruction theorem which concerns the existence of a connection. A construction of connection 1-form is presented. The formula expressing the local coefficients of connection in terms of the holonomy map is obtained as an immediate consequence of that construction. Thus the derived formula coincides with that used in "On Loop Space Formulation of Gauge Theories" by Chan, H.-M., Scharbach, P. and Tsou S.T. (Ann.Phys., vol.167, 454-472, 1986). The reconstruction and representation theorems form a generalization of the fact that the pointed configuration space of the classical Yang-Mills theory is equivalent to the set of all holonomy maps. The point of this generalization is that there is a one-to-one correspondence not only between the holonomy maps and the orbits in the space of connections, but also between all maps from the loop space on $M$ to group $G$ fulfilling some axioms and all possible equivalence classes of $P(M,G)$ bundles with connection, where the equivalence relation is defined by bundle isomorphism in a natural way.
△ Less
Submitted 21 September, 1998;
originally announced September 1998.
-
Frame, cotangent and tangent bundles of the quantum plane
Authors:
P. M. Hajac,
R. Matthes
Abstract:
We construct a quantum frame bundle of the quantum plane $C^2_p$ by requiring that a $GL_{q,p}(2)$-covariant differential calculus on $C^2_p$ be isomorphic as a bimodule to the space of sections of the associated quantum cotangent bundle. We also construct the section space of the associated quantum tangent bundle, and show that it is naturally dual to the differential calculus.
We construct a quantum frame bundle of the quantum plane $C^2_p$ by requiring that a $GL_{q,p}(2)$-covariant differential calculus on $C^2_p$ be isomorphic as a bimodule to the space of sections of the associated quantum cotangent bundle. We also construct the section space of the associated quantum tangent bundle, and show that it is naturally dual to the differential calculus.
△ Less
Submitted 25 March, 1998;
originally announced March 1998.
-
Quantum Double-Torus
Authors:
P. M. Hajac,
T. Masuda
Abstract:
A symmetry extending the $T^2$-symmetry of the noncommutative torus $T^2_q$ is studied in the category of quantum groups. This extended symmetry is given by the quantum double-torus defined as a compact matrix quantum group consisting of the disjoint union of $T^2$ and $T^2_{q^2}$. The bicross-product structure of the polynomial Hopf algebra of the quantum double-torus is computed. The Haar meas…
▽ More
A symmetry extending the $T^2$-symmetry of the noncommutative torus $T^2_q$ is studied in the category of quantum groups. This extended symmetry is given by the quantum double-torus defined as a compact matrix quantum group consisting of the disjoint union of $T^2$ and $T^2_{q^2}$. The bicross-product structure of the polynomial Hopf algebra of the quantum double-torus is computed. The Haar measure and the complete list of unitary irreducible representations of the quantum double-torus are determined explicitly.
△ Less
Submitted 24 September, 1998; v1 submitted 20 March, 1998;
originally announced March 1998.
-
Projective module description of the q-monopole
Authors:
P. M. Hajac,
S. Majid
Abstract:
The Dirac q-monopole connection is used to compute projector matrices of quantum Hopf line bundles for arbitrary winding number. The Chern-Connes pairing of cyclic cohomology and K-theory is computed for the winding number -1. The non-triviality of this pairing is used to conclude that the quantum principal Hopf fibration is non-cleft. Among general results, we provide a left-right symmetric cha…
▽ More
The Dirac q-monopole connection is used to compute projector matrices of quantum Hopf line bundles for arbitrary winding number. The Chern-Connes pairing of cyclic cohomology and K-theory is computed for the winding number -1. The non-triviality of this pairing is used to conclude that the quantum principal Hopf fibration is non-cleft. Among general results, we provide a left-right symmetric characterization of the canonical strong connections on quantum principal homogeneous spaces with an injective antipode. We also provide for arbitrary strong connections on algebraic quantum principal bundles (Hopf-Galois extensions) their associated covariant derivatives on projective modules.
△ Less
Submitted 30 August, 1998; v1 submitted 28 February, 1998;
originally announced March 1998.
