Showing 1–45 of 45 results for author: Szymański, W

The action of the Thompson group F on infinite trees

Authors: Jeong Hee Hong, Wojciech Szymanski

Abstract: We construct an action of the Thompson group F on a compact space built from pairs of infinite, binary rooted trees. The action arises as an F-equivariant compactification of the action of F by translations on one of its homogeneous spaces, F/H_2, corresponding to a certain subgroup H_2 of F. The representation of F on the Hilbert space l^2(F/H_2) is faithful on the complex group algebra C[F]. We construct an action of the Thompson group F on a compact space built from pairs of infinite, binary rooted trees. The action arises as an F-equivariant compactification of the action of F by translations on one of its homogeneous spaces, F/H_2, corresponding to a certain subgroup H_2 of F. The representation of F on the Hilbert space l^2(F/H_2) is faithful on the complex group algebra C[F]. △ Less

Submitted 18 March, 2023; originally announced March 2023.

Comments: Accepted to the Bulletin of the Belgian Mathematical Society

MSC Class: 20F65; 22D25

On Conjugacy of Subalgebras in Graph $C^*$-Algebras. II

Authors: Tomohiro Hayashi, Jeong Hee Hong, Wojciech Szymański

Abstract: We apply a method inspired by Popa's intertwining-by-bimodules technique to investigate inner conjugacy of MASAs in graph $C^*$-algebras. First we give a new proof of non-inner conjugacy of the diagonal MASA ${\mathcal D}_n$ to its non-trivial image under a quasi-free automorphism, where $E$ is a finite transitive graph. Changing graphs representing the algebras, this result applies to some non qu… ▽ More We apply a method inspired by Popa's intertwining-by-bimodules technique to investigate inner conjugacy of MASAs in graph $C^*$-algebras. First we give a new proof of non-inner conjugacy of the diagonal MASA ${\mathcal D}_n$ to its non-trivial image under a quasi-free automorphism, where $E$ is a finite transitive graph. Changing graphs representing the algebras, this result applies to some non quasi-free automorphisms as well. Then we exhibit a large class of MASAs in the Cuntz algebra ${\mathcal O}_n$ that are not inner conjugate to the diagonal ${\mathcal D}_n$. △ Less

Submitted 15 November, 2022; v1 submitted 20 January, 2022; originally announced January 2022.

Comments: 19 pages. To appear on the Proceedings of the Edinburgh Mathematical Society. arXiv admin note: text overlap with arXiv:1604.07105

MSC Class: 46L05; 46L40

The Quantum Twistor Bundle

Authors: Sophie Emma Zegers, Wojciech Szymański

Abstract: We investigate the quantum twistor bundle constructed as a $U(1)$-quotient of the quantum instanton bundle of Bonechi, Ciccoli and Tarlini. It is an example of a locally trivial noncommutative bundle fulfilling conditions of the framework recently proposed by Brzeziński and Szymański. In particular, we give a detailed description of the corresponding $C^*$-algebra of 'continuous functions' on it… ▽ More We investigate the quantum twistor bundle constructed as a $U(1)$-quotient of the quantum instanton bundle of Bonechi, Ciccoli and Tarlini. It is an example of a locally trivial noncommutative bundle fulfilling conditions of the framework recently proposed by Brzeziński and Szymański. In particular, we give a detailed description of the corresponding $C^*$-algebra of 'continuous functions' on its noncommutative total space. Furthermore, we analyse a different construction of a quantum instanton bundle due to Landi, Pagani and Reina, find a basis of its polynomial algebra and discover an intriguing and unexpected feature of its enveloping $C^*$-algebra. △ Less

Submitted 4 April, 2022; v1 submitted 7 May, 2020; originally announced May 2020.

Comments: The statement in Theorem 4.2. is wrong, the error in the proof lies in the analysis of the joint spectrum. An analysis of irreducible representations of the quantum symplectic sphere where made in the paper "Quantum quaternion spheres" by Bipul Saurabh, where we indeed see that x1 is nonzero

MSC Class: 46L65; 58B34

On Conjugacy of Subalgebras of Graph C*-Algebras

Authors: Tomohiro Hayashi, Jeong Hee Hong, Sophie Emma Zegers, Wojciech Szymański

Abstract: The problem of inner vs outer conjugacy of subalgebras of certain graph C*-algebras is investigated. For a large class of finite graphs E, we show that whenever $α$ is a vertex-fixing quasi-free automorphism of the corresponding graph C*-algebra C*(E) such that α(\D_E)\neq\D_E, where \D_E is the canonical MASA in C*(E), then α(\D_E)\neq w\D_E w^* for all unitaries w\in C*(E). That is, the two MA… ▽ More The problem of inner vs outer conjugacy of subalgebras of certain graph C*-algebras is investigated. For a large class of finite graphs E, we show that whenever $α$ is a vertex-fixing quasi-free automorphism of the corresponding graph C*-algebra C*(E) such that α(\D_E)\neq\D_E, where \D_E is the canonical MASA in C*(E), then α(\D_E)\neq w\D_E w^* for all unitaries w\in C*(E). That is, the two MASAs \D_E and α(\D_E) of C*(E) are outer but not inner conjugate. Passing to an isomorphic C*-algebra by changing the underlying graph makes this result applicable to certain non quasi-free automorphisms as well. For the Cuntz algebras O_n, we find a criterion which guarantees that a polynomial automorphism moves the canonical UHF subalgebra to a non-inner conjugate UHF subalgebra. The criterion is phrased in terms of rescaling of trace on diagonal projections. △ Less

Submitted 2 March, 2020; originally announced March 2020.

Comments: arXiv admin note: substantial text overlap with arXiv:1604.07105

Journal ref: Geometric Methods in Physics XXXVII, 2019

An algebraic framework for noncommutative bundles with homogeneous fibres

Authors: Tomasz Brzeziński, Wojciech Szymański

Abstract: An algebraic framework for noncommutative bundles with (quantum) homogeneous fibres is proposed. The framework relies on the use of principal coalgebra extensions which play the role of principal bundles in noncommutative geometry which might be additionally equipped with a Hopf algebra symmetry. The proposed framework is supported by two examples of noncommutative $\mathbb{C} P_q^1$-bundles: the… ▽ More An algebraic framework for noncommutative bundles with (quantum) homogeneous fibres is proposed. The framework relies on the use of principal coalgebra extensions which play the role of principal bundles in noncommutative geometry which might be additionally equipped with a Hopf algebra symmetry. The proposed framework is supported by two examples of noncommutative $\mathbb{C} P_q^1$-bundles: the quantum flag manifold viewed as a bundle with a generic Podleś sphere as a fibre, and the quantum twistor bundle viewed as a bundle over the quantum 4-sphere of Bonechi, Ciccoli and Tarlini. △ Less

Submitted 27 November, 2019; originally announced November 2019.

Comments: 21 pages

Journal ref: Alg. Number Th. 15 (2021) 217-240

The Quantum Flag Manifold $\mathbf{SU_q(3)/\mathbb{T}^2}$ as an Example of a Noncommutative Sphere Bundle

Authors: Tomasz Brzeziński, Wojciech Szymański

Abstract: The quantum flag manifold ${SU_q(3)/\mathbb{T}^2}$ is interpreted as a noncommutative bundle over the quantum complex projective plane with the quantum or Podleś sphere as a fibre. A connection arising from the (associated) quantum principal $U_q(2)$-bundle is described. The quantum flag manifold ${SU_q(3)/\mathbb{T}^2}$ is interpreted as a noncommutative bundle over the quantum complex projective plane with the quantum or Podleś sphere as a fibre. A connection arising from the (associated) quantum principal $U_q(2)$-bundle is described. △ Less

Submitted 11 June, 2019; v1 submitted 10 June, 2019; originally announced June 2019.

Comments: 18 pages

On the quantum flag manifold $SU_q(3)/\mathbb{T}^2$

Authors: Tomasz Brzeziński, Wojciech Szymański

Abstract: The structure of the $C^*$-algebra of functions on the quantum flag manifold $SU_q(3)/\mathbb{T}^2$ is investigated. Building on the representation theory of $C(SU_q(3))$, we analyze irreducible representations and the primitive ideal space of $C(SU_q(3)/\mathbb{T}^2)$, with a view towards unearthing the `quantum sphere bundle' $\mathbb{C} P_q^1 \to SU_q(3)/\mathbb{T}^2 \to \mathbb{C} P_q^2$ The structure of the $C^*$-algebra of functions on the quantum flag manifold $SU_q(3)/\mathbb{T}^2$ is investigated. Building on the representation theory of $C(SU_q(3))$, we analyze irreducible representations and the primitive ideal space of $C(SU_q(3)/\mathbb{T}^2)$, with a view towards unearthing the `quantum sphere bundle' $\mathbb{C} P_q^1 \to SU_q(3)/\mathbb{T}^2 \to \mathbb{C} P_q^2$ △ Less

Submitted 29 March, 2019; v1 submitted 26 March, 2019; originally announced March 2019.

Comments: 11 pages; to appear in the proceedings of XXXVI Workshop on Geometric Methods in Physics, Białowieża 2018; v2 two references added

MSC Class: 46L65; 81R60

The Polynomial Endomorphisms of Graph Algebras

Authors: Rune Johansen, Adam P. W. Sørensen, Wojciech Szymański

Abstract: We investigate polynomial endomorphisms of graph $C^*$-algebras and Leavitt path algebras. To this end, we define and analyze the coding graph corresponding to each such an endomorphism. We find an if and only if condition for the endomorphism to restrict to an automorphism of the diagonal MASA, which is stated in terms of synchronization of a certain labelling on the coding graph. We show that th… ▽ More We investigate polynomial endomorphisms of graph $C^*$-algebras and Leavitt path algebras. To this end, we define and analyze the coding graph corresponding to each such an endomorphism. We find an if and only if condition for the endomorphism to restrict to an automorphism of the diagonal MASA, which is stated in terms of synchronization of a certain labelling on the coding graph. We show that the dynamics induced this way on the space of infinite paths (the spectrum of the MASA) is generated by an asynchronous transducer. △ Less

Submitted 11 October, 2018; originally announced October 2018.

Comments: 29 pages

Endomorphisms of the Cuntz Algebras and the Thompson Groups

Authors: Selçuk Barlak, Jeong Hee Hong, Wojciech Szymanski

Abstract: We investigate the relationship between endomorphisms of the Cuntz algebra ${\mathcal O}_2$ and endomorphisms of the Thompson groups $F$, $T$ and $V$ represented inside the unitary group of ${\mathcal O}_2$. For an endomorphism $λ_u$ of ${\mathcal O}_2$, we show that $λ_u(V)\subseteq V$ if and only if $u\in V$. If $λ_u$ is an automorphism of ${\mathcal O}_2$ then $u\in V$ is equivalent to… ▽ More We investigate the relationship between endomorphisms of the Cuntz algebra ${\mathcal O}_2$ and endomorphisms of the Thompson groups $F$, $T$ and $V$ represented inside the unitary group of ${\mathcal O}_2$. For an endomorphism $λ_u$ of ${\mathcal O}_2$, we show that $λ_u(V)\subseteq V$ if and only if $u\in V$. If $λ_u$ is an automorphism of ${\mathcal O}_2$ then $u\in V$ is equivalent to $λ_u(F)\subseteq V$. Our investigations are facilitated by introduction of the concept of modestly scaling endomorphism of ${\mathcal O}_n$, whose properties and examples are investigated. △ Less

Submitted 23 October, 2017; v1 submitted 20 March, 2017; originally announced March 2017.

Comments: v1: 10 pages. v2: minor changes, updated reference list, 11 pages; to appear in Studia Mathematica

On Conjugacy of MASAs in Graph $C^*$-Algebras

Authors: Tomohiro Hayashi, Jeong Hee Hong, Wojciech Szymanski

Abstract: For a large class of finite graphs $E$, we show that whenever $α$ is a vertex-fixing quasi-free automorphism of the corresponding graph $C^*$-algebra $C^*(E)$ such that $α({\mathcal D}_E) \neq{\mathcal D}_E$, where ${\mathcal D}_E$ is the canonical MASA in $C^*(E)$, then $α({\mathcal D}_E)\neq w{\mathcal D}_E w^*$ for all unitaries $w\in C^*(E)$. That is, the two MASAs ${\mathcal D}_E$ and… ▽ More For a large class of finite graphs $E$, we show that whenever $α$ is a vertex-fixing quasi-free automorphism of the corresponding graph $C^*$-algebra $C^*(E)$ such that $α({\mathcal D}_E) \neq{\mathcal D}_E$, where ${\mathcal D}_E$ is the canonical MASA in $C^*(E)$, then $α({\mathcal D}_E)\neq w{\mathcal D}_E w^*$ for all unitaries $w\in C^*(E)$. That is, the two MASAs ${\mathcal D}_E$ and $α({\mathcal D}_E)$ of $C^*(E)$ are outer but not inner conjugate. Passing to an isomorphic $C^*$-algebra by changing the underlying graph makes this result applicable to certain non quasi-free automorphisms as well. △ Less

Submitted 24 April, 2016; originally announced April 2016.

Comments: 9 pages

MSC Class: 46L05

On Endomorphisms of the Cuntz Algebra which Preserve the Canonical UHF-Subalgebra, II

Authors: Tomohiro Hayashi, Jeong Hee Hong, Wojciech Szymanski

Abstract: It was shown recently by Conti, Rørdam and Szymański that there exist endomorphisms $λ_u$ of the Cuntz algebra $\mathcal{O}_n$ such that $λ_u (\mathcal{F}_n)\subseteq\mathcal{F}_n$ but $u\not\in\mathcal{F}_n$, and a question was raised if for such a $u$ there must always exist a unitary $v\in\mathcal{F}_n$ with $λ_u|_{\mathcal{F}_n} = λ_v|_{\mathcal{F}_n}$. In the present paper, we answer this que… ▽ More It was shown recently by Conti, Rørdam and Szymański that there exist endomorphisms $λ_u$ of the Cuntz algebra $\mathcal{O}_n$ such that $λ_u (\mathcal{F}_n)\subseteq\mathcal{F}_n$ but $u\not\in\mathcal{F}_n$, and a question was raised if for such a $u$ there must always exist a unitary $v\in\mathcal{F}_n$ with $λ_u|_{\mathcal{F}_n} = λ_v|_{\mathcal{F}_n}$. In the present paper, we answer this question to the negative. To this end, we analyze the structure of such endomorphisms $λ_u$ for which the relative commutant $λ_u(\mathcal{F}_n)'\cap\mathcal{F}_n$ is finite dimensional. △ Less

Submitted 30 March, 2016; originally announced March 2016.

Comments: 16 pages

MSC Class: 46L05

The $C^*$-algebras of quantum lens and weighted projective spaces

Authors: Tomasz Brzeziński, Wojciech Szymański

Abstract: It is shown that the algebra of continuous functions on the quantum $2n+1$-dimensional lens space $C(L^{2n+1}_q(N; m_0,\ldots, m_n))$ is a graph $C^*$-algebra, for arbitrary positive weights $ m_0,\ldots, m_n$. The form of the corresponding graph is determined from the skew product of the graph which defines the algebra of continuous functions on the quantum sphere $S_q^{2n+1}$ and the cyclic grou… ▽ More It is shown that the algebra of continuous functions on the quantum $2n+1$-dimensional lens space $C(L^{2n+1}_q(N; m_0,\ldots, m_n))$ is a graph $C^*$-algebra, for arbitrary positive weights $ m_0,\ldots, m_n$. The form of the corresponding graph is determined from the skew product of the graph which defines the algebra of continuous functions on the quantum sphere $S_q^{2n+1}$ and the cyclic group $\mathbb{Z}_N$, with the labelling induced by the weights. Based on this description, the K-groups of specific examples are computed. Furthermore, the K-groups of the algebras of continuous functions on quantum weighted projective spaces $C(\mathbb{WP}_q^n(m_0,\ldots, m_n))$, interpreted as fixed points under the circle action on $C(S_q^{2n+1})$, are computed under a mild assumption on the weights. △ Less

Submitted 14 March, 2016; originally announced March 2016.

Comments: 17 pages

MSC Class: 46L87; 58B32; 58B34

Pure infiniteness and ideal structure of $C^*$-algebras associated to Fell bundles

Authors: B. K. Kwaśniewski, W. Szymański

Abstract: We investigate structural properties of the reduced cross-sectional algebra $C^*_r(\mathcal{B})$ of a Fell bundle $\mathcal{B}$ over a discrete group $G$. Conditions allowing one to determine the ideal structure of $C^*_r(\mathcal{B})$ are studied. Notions of aperiodicity, paradoxicality and $\mathcal{B}$-infiniteness for the Fell bundle $\mathcal{B}$ are introduced and investigated by themselves… ▽ More We investigate structural properties of the reduced cross-sectional algebra $C^*_r(\mathcal{B})$ of a Fell bundle $\mathcal{B}$ over a discrete group $G$. Conditions allowing one to determine the ideal structure of $C^*_r(\mathcal{B})$ are studied. Notions of aperiodicity, paradoxicality and $\mathcal{B}$-infiniteness for the Fell bundle $\mathcal{B}$ are introduced and investigated by themselves and in relation to the partial dynamical system dual to $\mathcal{B}$. Several criteria of pure infiniteness of $C^*_r(\mathcal{B})$ are given. It is shown that they generalize and unify corresponding results obtained in the context of crossed products, by the following duos: Laca, Spielberg; Jolissaint, Robertson; Sierakowski, Rørdam; Giordano, Sierakowski and Ortega, Pardo. For exact, separable Fell bundles satisfying the residual intersection property primitive ideal space of $C^*_r(\mathcal{B})$ is determined. The results of the paper are shown to be optimal when applied to graph $C^*$-algebras. Applications to a class of Exel-Larsen crossed products are presented. △ Less

Submitted 15 August, 2016; v1 submitted 19 May, 2015; originally announced May 2015.

Comments: This is the version accepted to Journal of Mathematical Analysis and Applications. Pure infiniteness criteria have been generalized. In particular, now they unify the corresponding results of Jolissaint, Robertson and Sierakowski, Rørdam

MSC Class: 46L05

Journal ref: J. Math. Anal. Appl. 445 (2017), no. 1, 898-943

On Normalizers of $C^*$-Subalgebras in the Cuntz Algebra ${\mathcal O}_n$. II

Authors: Tomohiro Hayashi, Wojciech Szymanski

Abstract: We investigate subalgebras $A$ of the Cuntz algebra ${\mathcal O}_n$ that arise as finite direct sums of corners of the UHF-subalgebra ${\mathcal F}_n$. For such an $A$, we completely determine its normalizer group inside ${\mathcal O}_n$. We investigate subalgebras $A$ of the Cuntz algebra ${\mathcal O}_n$ that arise as finite direct sums of corners of the UHF-subalgebra ${\mathcal F}_n$. For such an $A$, we completely determine its normalizer group inside ${\mathcal O}_n$. △ Less

Submitted 18 January, 2015; originally announced January 2015.

Comments: 6 pages

MSC Class: 46L05

On Cohomology for Product Systems

Authors: Jeong Hee Hong, Mi Jung Son, Wojciech Szymanski

Abstract: A cohomology for product systems of Hilbert bimodules is defined via the Ext functor. For the class of product systems corresponding to irreversible algebraic dynamics, relevant resolutions are found explicitly and it is shown how the underlying product system can be twisted by the 2-cocycles. In particular, this process gives rise to cohomological deformations of the C*-algebras associated with t… ▽ More A cohomology for product systems of Hilbert bimodules is defined via the Ext functor. For the class of product systems corresponding to irreversible algebraic dynamics, relevant resolutions are found explicitly and it is shown how the underlying product system can be twisted by the 2-cocycles. In particular, this process gives rise to cohomological deformations of the C*-algebras associated with the product system. Concrete examples of deformations of the Cuntz's algebra Q_N arising this way are investigated and we show they are simple and purely infinite. △ Less

Submitted 27 July, 2014; originally announced July 2014.

Comments: 15 pages

MSC Class: 46L08; 46L65; 18G10

Journal ref: Banach J. Math. Anal. 11, no. 2 (2017), 282-294

Visualizing automorphisms of graph algebras

Authors: James Emil Avery, Rune Johansen, Wojciech Szymanski

Abstract: Graph C*-algebras have been celebrated as C*-algebras that can be seen, because many important properties may be determined by looking at the underlying graph. This paper introduces the permutation graph for a permutative endomorphism of a graph C*-algebra as a labeled directed multigraph that gives a visual representation of the endomorphism and facilitates computations. Combinatorial criteria ha… ▽ More Graph C*-algebras have been celebrated as C*-algebras that can be seen, because many important properties may be determined by looking at the underlying graph. This paper introduces the permutation graph for a permutative endomorphism of a graph C*-algebra as a labeled directed multigraph that gives a visual representation of the endomorphism and facilitates computations. Combinatorial criteria have previously been developed for deciding when such an endomorphism is an automorphism, but here the question is reformulated in terms of the permutation graph and new proofs are given. Furthermore, it is shown how to use per- mutation graphs to efficiently generate exhaustive collections of permutative automorphisms. Permutation graphs provide a natural link to the textile systems representing induced endo- morphisms on the edge shift of the given graph, and this allows the powerful tools of the theory of textile systems developed by Nasu to be applied to the study of permutative endomorphisms. △ Less

Submitted 13 January, 2015; v1 submitted 17 January, 2014; originally announced January 2014.

Comments: 30 pages, 8 figures

Report number: CPH-SYM-DNRF92 MSC Class: 46L40 (primary); 37B10 (secondary)

Topological aperiodicity for product systems over semigroups of Ore type

Authors: B. K. Kwasniewski, W. Szymanski

Abstract: We prove a version of uniqueness theorem for Cuntz-Pimsner algebras of discrete product systems over semigroups of Ore type. To this end, we introduce Doplicher-Roberts picture of Cuntz-Pimsner algebras, and the semigroup dual to a product system of 'regular' C*-correspondences. Under a certain aperiodicity condition on the latter, we obtain the uniqueness theorem and a simplicity criterion for th… ▽ More We prove a version of uniqueness theorem for Cuntz-Pimsner algebras of discrete product systems over semigroups of Ore type. To this end, we introduce Doplicher-Roberts picture of Cuntz-Pimsner algebras, and the semigroup dual to a product system of 'regular' C*-correspondences. Under a certain aperiodicity condition on the latter, we obtain the uniqueness theorem and a simplicity criterion for the algebras in question. These results generalize the corresponding ones for crossed products by discrete groups, due to Archbold and Spielberg, and for Exel's crossed products, due to Exel and Vershik. They also give interesting conditions for topological higher rank graphs and $P$-graphs, and apply to the new Cuntz C*-algebra $\mathcal{Q}_\mathbb{N}$ arising from the "$ax+b$"-semigroup over $\mathbb{N}$. △ Less

Submitted 28 December, 2013; originally announced December 2013.

Comments: 37 pages

MSC Class: 46L05

Journal ref: J. Funct. Anal. 270 (2016), no. 9, 3453-3504

On Conjugacy of MASAs and the Outer Automorphism Group of the Cuntz Algebra

Authors: Roberto Conti, Jeong Hee Hong, Wojciech Szymanski

Abstract: We investigate the structure of the outer automorphism group of the Cuntz algebra and the closely related problem of conjugacy of MASAa in O_n. In particular, we exhibit an uncountable family of MASAs, conjugate to the standard MASA D_n via Bogolubov automorphisms, that are not inner conjugate to D_n. We investigate the structure of the outer automorphism group of the Cuntz algebra and the closely related problem of conjugacy of MASAa in O_n. In particular, we exhibit an uncountable family of MASAs, conjugate to the standard MASA D_n via Bogolubov automorphisms, that are not inner conjugate to D_n. △ Less

Submitted 18 August, 2013; originally announced August 2013.

Journal ref: Proc. Roy. Soc. Edinburgh Sect. A 145 (2015), 269-279

KMS states on Nica-Toeplitz algebras of product systems

Authors: Jeong Hee Hong, Nadia S. Larsen, Wojciech Szymański

Abstract: We investigate KMS states of Fowler's Nica-Toeplitz algebra $\mathcal{NT}(X)$ associated to a compactly aligned product system $X$ over a semigroup $P$ of Hilbert bimodules. This analysis relies on restrictions of these states to the core algebra which satisfy appropriate scaling conditions. The concept of product system of finite type is introduced. If $(G, P)$ is a lattice ordered group and $X$… ▽ More We investigate KMS states of Fowler's Nica-Toeplitz algebra $\mathcal{NT}(X)$ associated to a compactly aligned product system $X$ over a semigroup $P$ of Hilbert bimodules. This analysis relies on restrictions of these states to the core algebra which satisfy appropriate scaling conditions. The concept of product system of finite type is introduced. If $(G, P)$ is a lattice ordered group and $X$ is a product system of finite type over $P$ satisfying certain coherence properties, we construct KMS$_β$ states of $\NT(X)$ associated to a scalar dynamics from traces on the coefficient algebra of the product system. Our results were motivated by, and generalize some of the results of Laca and Raeburn obtained for the Toeplitz algebra of the affine semigroup over the natural numbers. △ Less

Submitted 17 July, 2012; v1 submitted 21 February, 2012; originally announced February 2012.

Comments: Changes to Proposition 3.1 and Theorem 4.10. Major changes to section 5 starting from (and including) new Lemma 5.4 to new Example 5.10

The Weyl group of the Cuntz algebra

Authors: Roberto Conti, Jeong Hee Hong, Wojciech Szymanski

Abstract: The Weyl group of the Cuntz algebra O_n, with n finite, is investigated. This is (isomorphic to) the group of polynomial automorphisms of O_n, namely those induced by unitaries that can be written as finite sums of words in the canonical generating isometries and their adjoints. A necessary and sufficient algorithmic combinatorial condition is found for deciding when a polynomial endomorphism rest… ▽ More The Weyl group of the Cuntz algebra O_n, with n finite, is investigated. This is (isomorphic to) the group of polynomial automorphisms of O_n, namely those induced by unitaries that can be written as finite sums of words in the canonical generating isometries and their adjoints. A necessary and sufficient algorithmic combinatorial condition is found for deciding when a polynomial endomorphism restricts to an automorphism of the canonical diagonal MASA. Some steps towards a general criterion for invertibility of such endomorphisms on the whole of O_n are also taken. A condition for verifying invertibility of a certain subclass of polynomial endomorphisms is given. First examples of polynomial automorphisms of O_n not inner related to permutative ones are exhibited, for every n. In particular, the image of the Weyl group in the outer automorphism group of O_n is strictly larger than the image of the reduced Weyl group analyzed in previous papers. Results about the action of the Weyl group on the spectrum of the diagonal are also included. △ Less

Submitted 10 January, 2013; v1 submitted 20 October, 2011; originally announced October 2011.

Comments: Final version, only few changes

MSC Class: 46L40; 46L55 (Primary) 37B10 (Secondary)

Journal ref: Adv. Math. 231, 3147-3161 (2012)

Automorphisms of the Cuntz algebras

Authors: Roberto Conti, Wojciech Szymanski

Abstract: We survey recent results on endomorphisms and especially on automorphisms of the Cuntz algebras O_n, with a special emphasis on the structure of the Weyl group. We discuss endomorphisms globally preserving the diagonal MASA and their corresponding actions. In particular, we investigate those endomorphisms of O_n which restrict to automorphisms of the diagonal. We review a combinatorial approach to… ▽ More We survey recent results on endomorphisms and especially on automorphisms of the Cuntz algebras O_n, with a special emphasis on the structure of the Weyl group. We discuss endomorphisms globally preserving the diagonal MASA and their corresponding actions. In particular, we investigate those endomorphisms of O_n which restrict to automorphisms of the diagonal. We review a combinatorial approach to the study of permutative endomorphisms. All the presented material is put in context with current research topics. △ Less

Submitted 3 August, 2011; originally announced August 2011.

Comments: Submitted to the Proceedings of the EU-NCG 4th Annual Meeting, Bucharest 2011

The Cuntz Algebra Q_N and C*-Algebras of Product Systems

Authors: Jeong Hee Hong, Nadia S. Larsen, Wojciech Szymanski

Abstract: We consider a product system over the multiplicative semigroup N^x of Hilbert bimodules which is implicit in work of S. Yamashita and of the second named author. We prove directly, using universal properties, that the associated Nica-Toeplitz algebra is an extension of the C^*-algebra Q_N introduced recently by Cuntz. We consider a product system over the multiplicative semigroup N^x of Hilbert bimodules which is implicit in work of S. Yamashita and of the second named author. We prove directly, using universal properties, that the associated Nica-Toeplitz algebra is an extension of the C^*-algebra Q_N introduced recently by Cuntz. △ Less

Submitted 3 August, 2011; originally announced August 2011.

Comments: 13 pages

Endomorphisms of the Cuntz Algebras

Authors: Roberto Conti, Jeong Hee Hong, Wojciech Szymanski

Abstract: This mainly expository article is devoted to recent advances in the study of dynamical aspects of the Cuntz algebras O_n, with n finite, via their automorphisms and, more generally, endomorphisms. A combinatorial description of permutative automorphisms of O_n in terms of labeled, rooted trees is presented. This in turn gives rise to an algebraic characterization of the restricted Weyl group of O_… ▽ More This mainly expository article is devoted to recent advances in the study of dynamical aspects of the Cuntz algebras O_n, with n finite, via their automorphisms and, more generally, endomorphisms. A combinatorial description of permutative automorphisms of O_n in terms of labeled, rooted trees is presented. This in turn gives rise to an algebraic characterization of the restricted Weyl group of O_n. It is shown how this group is related to certain classical dynamical systems on the Cantor set. An identification of the image in Out(O_n) of the restricted Weyl group with the group of automorphisms of the full two-sided n-shift is given, for prime n, providing an answer to a question raised by Cuntz in 1980. Furthermore, we discuss proper endomorphisms of O_n which preserve either the canonical UHF-subalgebra or the diagonal MASA, and present methods for constructing exotic examples of such endomorphisms. △ Less

Submitted 23 February, 2011; originally announced February 2011.

Comments: 2 figures, uses pictex, to appear in the Proceedings of the Workshop on Noncommutative Harmonic Analysis, Bedlewo 2010

MSC Class: 46L05; 46L40

Journal ref: Banach Center Publ. 96, 81-97 (2012)

Endomorphisms of graph algebras

Authors: Roberto Conti, Jeong Hee Hong, Wojciech Szymanski

Abstract: We initiate a systematic investigation of endomorphisms of graph C*-algebras C*(E), extending several known results on endomorphisms of the Cuntz algebras O_n. Most but not all of this study is focused on endomorphisms which permute the vertex projections and globally preserve the diagonal MASA D_E of C*(E). Our results pertain both automorphisms and proper endomorphisms. Firstly, the Weyl group a… ▽ More We initiate a systematic investigation of endomorphisms of graph C*-algebras C*(E), extending several known results on endomorphisms of the Cuntz algebras O_n. Most but not all of this study is focused on endomorphisms which permute the vertex projections and globally preserve the diagonal MASA D_E of C*(E). Our results pertain both automorphisms and proper endomorphisms. Firstly, the Weyl group and the restricted Weyl group of a graph C*-algebra are introduced and investigated. In particular, criteria of outerness for automorphisms in the restricted Weyl group are found. We also show that the restriction to the diagonal MASA of an automorphism which globally preserves both the diagonal and the core AF-subalgebra eventually commutes with the corresponding one-sided shift. Secondly, we exhibit several properties of proper endomorphisms, investigate invertibility of localized endomorphisms both on C*(E) and in restriction to D_E, and develop a combinatorial approach to analysis of permutative endomorphisms. △ Less

Submitted 27 August, 2012; v1 submitted 21 January, 2011; originally announced January 2011.

Comments: Several improvements in the exposition, to appear in JFA

Journal ref: J. Funct. Anal. 263 (2012), 2529-2554

The Restricted Weyl Group of the Cuntz Algebra and Shift Endomorphisms

Authors: Roberto Conti, Jeong Hee Hong, Wojciech Szymanski

Abstract: It is shown that, modulo the automorphisms which fix the canonical diagonal MASA point-wise, the group of those automorphisms of the Cuntz algebra O_n which globally preserve both the diagonal and the core UHF-subalgebra is isomorphic, via restriction, with the group of those homeomorphisms of the full one-sided n-shift space which eventually commute along with their inverses with the shift transf… ▽ More It is shown that, modulo the automorphisms which fix the canonical diagonal MASA point-wise, the group of those automorphisms of the Cuntz algebra O_n which globally preserve both the diagonal and the core UHF-subalgebra is isomorphic, via restriction, with the group of those homeomorphisms of the full one-sided n-shift space which eventually commute along with their inverses with the shift transformation. The image of this group in the outer automorphism group of O_n can be embedded into the quotient of the automorphism group of the full two-sided n-shift by its center, generated by the shift. If n is prime then this embedding is an isomorphism. △ Less

Submitted 24 June, 2010; originally announced June 2010.

MSC Class: 46L40; 37B10

Journal ref: Journal für die reine und angewandte Mathematik 667, 177-191 (2012)

$C^*$-algebras associated to $C^*$-correspondences and applications to mirror quantum spheres

Authors: David Robertson, Wojciech Szymański

Abstract: The structure of the $C^*$-algebras corresponding to even-dimensional mirror quantum spheres is investigated. It is shown that they are isomorphic to both Cuntz-Pimsner algebras of certain $C^*$-correspondences and $C^*$-algebras of certain labelled graphs. In order to achieve this, categories of labelled graphs and $C^*$-correspondences are studied. A functor from labelled graphs to $C^*$-corresp… ▽ More The structure of the $C^*$-algebras corresponding to even-dimensional mirror quantum spheres is investigated. It is shown that they are isomorphic to both Cuntz-Pimsner algebras of certain $C^*$-correspondences and $C^*$-algebras of certain labelled graphs. In order to achieve this, categories of labelled graphs and $C^*$-correspondences are studied. A functor from labelled graphs to $C^*$-correspondences is constructed, such that the corresponding associated $C^*$-algebras are isomorphic. Furthermore, it is shown that $C^*$-correspondences for the mirror quantum spheres arise via a general construction of restricted direct sum. △ Less

Submitted 14 December, 2010; v1 submitted 18 January, 2010; originally announced January 2010.

Comments: 27 pages

MSC Class: 46L08; 46L65; 46L85

On Invariant MASAs for Endomorphisms of the Cuntz Algebras

Authors: Jeong Hee Hong, Adam Skalski, Wojciech Szymanski

Abstract: The problem of existence of standard (i.e. product-type) invariant MASAs for endomorphisms of the Cuntz algebra O_n is studied. In particular endomorphisms which preserve the canonical diagonal MASA D_n are investigated. Conditions on a unitary in O_n equivalent to the fact that the corresponding endomorphism preserves D_n are found, and it is shown that they may be satisfied by unitaries which… ▽ More The problem of existence of standard (i.e. product-type) invariant MASAs for endomorphisms of the Cuntz algebra O_n is studied. In particular endomorphisms which preserve the canonical diagonal MASA D_n are investigated. Conditions on a unitary in O_n equivalent to the fact that the corresponding endomorphism preserves D_n are found, and it is shown that they may be satisfied by unitaries which do not normalize D_n. Unitaries giving rise to endomorphisms which leave all standard MASAs invariant and have identical actions on them are characterized. Finally some properties of examples of finite-index endomorphisms of O_n given by Izumi and related to sector theory are discussed and it is shown that they lead to an endomorphism of O_2 associated to a matrix unitary which does not preserve any standard MASA. △ Less

Submitted 14 January, 2010; v1 submitted 12 January, 2010; originally announced January 2010.

Comments: 22 pages

MSC Class: 46L55; 46L40; 46L05

Endomorphisms of O_n which preserve the canonical UHF-subalgebra

Authors: Roberto Conti, Mikael Rordam, Wojciech Szymanski

Abstract: Unital endomorphisms of the Cuntz algebra O_n which preserve the canonical UHF-subalgebra F_n of O_n are investigated. We give examples of such endomorphisms for which the associated unitary element in O_n does not belong to F_n. One such example, in the case where n=2, arises from a construction of a unital endomorphism on O_2 which preserves the canonical UHF-subalgebra and where the relative… ▽ More Unital endomorphisms of the Cuntz algebra O_n which preserve the canonical UHF-subalgebra F_n of O_n are investigated. We give examples of such endomorphisms for which the associated unitary element in O_n does not belong to F_n. One such example, in the case where n=2, arises from a construction of a unital endomorphism on O_2 which preserves the canonical UHF-subalgebra and where the relative commutant of the image in O_2 contains a copy of O_2. △ Less

Submitted 7 October, 2009; originally announced October 2009.

Comments: 1 figure, requires prepictex.tex, pictex.tex, postpictex.tex

MSC Class: 46L05

Journal ref: J. Funct. Anal. 259, 602-617 (2010)

More localized automorphisms of the Cuntz algebras

Authors: Roberto Conti, Jason Kimberley, Wojciech Szymanski

Abstract: We completely determine the localized automorphisms of the Cuntz algebras $O_n$ corresponding to permutation matrices in $M_n \otimes M_n$ for $n=3$ and $n=4$. This result is obtained through a combination of general combinatorial techniques and large scale computer calculations. Our analysis proceeds according to the general scheme proposed in a previous paper, where we analyzed in detail the c… ▽ More We completely determine the localized automorphisms of the Cuntz algebras $O_n$ corresponding to permutation matrices in $M_n \otimes M_n$ for $n=3$ and $n=4$. This result is obtained through a combination of general combinatorial techniques and large scale computer calculations. Our analysis proceeds according to the general scheme proposed in a previous paper, where we analyzed in detail the case of $O_2$ using labeled rooted trees. We also discuss those proper endomorphisms of these Cuntz algebras which restrict to automorphisms of their respective diagonals. In the case of $O_3$ we compute the number of automorphisms of the diagonal induced by permutation matrices in $M_3 \otimes M_3 \otimes M_3$. △ Less

Submitted 20 August, 2008; originally announced August 2008.

Comments: 17 pages

MSC Class: 46L40; 46L05; 37B10

Journal ref: Proc. Edinburgh Math. Soc. 53, 619-631 (2010) (and appendix)

Computing the Jones index of quadratic permutation endomorphisms of O_2

Authors: Roberto Conti, Wojciech Szymanski

Abstract: We compute the index of the inclusions of type $III_{1/2}$ factors arising from endomorphisms of the Cuntz algebra ${\mathcal O}_2$ associated to the rank-two permutation matrices. We compute the index of the inclusions of type $III_{1/2}$ factors arising from endomorphisms of the Cuntz algebra ${\mathcal O}_2$ associated to the rank-two permutation matrices. △ Less

Submitted 20 December, 2008; v1 submitted 29 May, 2008; originally announced May 2008.

Comments: New title and some change in the presentation. J. Math. Phys., to appear

MSC Class: 46L37; 46L05

Labeled Trees and Localized Automorphisms of the Cuntz Algebras

Authors: Roberto Conti, Wojciech Szymanski

Abstract: We initiate a detailed and systematic study of automorphisms of the Cuntz algebras $Ø_n$ which preserve both the diagonal and the core $UHF$-subalgebra. A general criterion of invertibility of endomorphisms yielding such automorphisms is given. Combinatorial investigations of endomorphisms related to permutation matrices are presented. Key objects entering this analysis are labeled rooted trees eq… ▽ More We initiate a detailed and systematic study of automorphisms of the Cuntz algebras $Ø_n$ which preserve both the diagonal and the core $UHF$-subalgebra. A general criterion of invertibility of endomorphisms yielding such automorphisms is given. Combinatorial investigations of endomorphisms related to permutation matrices are presented. Key objects entering this analysis are labeled rooted trees equipped with additional data. Our analysis provides insight into the structure of ${\rm Aut}(Ø_n)$ and leads to numerous new examples. In particular, we completely classify all such automorphisms of ${\mathcal O}_2$ for the permutation unitaries in $\otimes^4 M_2$. We show that the subgroup of ${\rm Out}(Ø_2)$ generated by these automorphisms contains a copy of the infinite dihedral group ${\mathbb Z} \rtimes {\mathbb Z}_2$. △ Less

Submitted 24 June, 2010; v1 submitted 29 May, 2008; originally announced May 2008.

Comments: 35 pages, slight changes, to appear on Trans. Amer. Math. Soc

MSC Class: 46L40; 46L05; 37B10

Journal ref: Trans. Amer. Math. Soc. 363, 5847-5870 (2011)

Extremely Non-symmetric, Non-multiplicative, Non-commutative Operator Spaces

Authors: Waclaw Szymanski

Abstract: Motivated by importance of operator spaces contained in the set of all scalar multiples of isometries ($MI$-spaces) in a separable Hilbert space for $C^*$-algebras and E-semigroups we exhibit more properties of such spaces. For example, if an $MI$-space contains an isometry with shift part of finite multiplicity, then it is one-dimensional. We propose a simple model of a unilateral shift of arbi… ▽ More Motivated by importance of operator spaces contained in the set of all scalar multiples of isometries ($MI$-spaces) in a separable Hilbert space for $C^*$-algebras and E-semigroups we exhibit more properties of such spaces. For example, if an $MI$-space contains an isometry with shift part of finite multiplicity, then it is one-dimensional. We propose a simple model of a unilateral shift of arbitrary multiplicity and show that each separable subspace of a Hilbert space is the range of a shift. Also, we show that $MI$-spaces are non-symmetric, very unfriendly to multiplication, and prove a Commutator Identity which elucidates the extreme non-commutativity of these spaces. △ Less

Submitted 22 May, 2008; originally announced May 2008.

MSC Class: 46L07

Noncommutative Balls and Mirror Quantum Spheres

Authors: Jeong Hee Hong, Wojciech Szymanski

Abstract: Noncommutative analogues of n-dimensional balls are defined by repeated application of the quantum double suspension to the classical low-dimensional spaces. In the `even-dimensional' case they correspond to the Twisted Canonical Commutation Relations of Pusz and Woronowicz. Then quantum spheres are constructed as double manifolds of noncommutative balls. Both C*-algebras and polynomial algebras… ▽ More Noncommutative analogues of n-dimensional balls are defined by repeated application of the quantum double suspension to the classical low-dimensional spaces. In the `even-dimensional' case they correspond to the Twisted Canonical Commutation Relations of Pusz and Woronowicz. Then quantum spheres are constructed as double manifolds of noncommutative balls. Both C*-algebras and polynomial algebras of the objects in question are defined and analyzed, and their relations with previously known examples are presented. Our construction generalizes that of Hajac, Matthes and Szymanski for `dimension 2', and leads to a new class of quantum spheres (already on the C*-algebra level) in all `even-dimensions'. △ Less

Submitted 4 August, 2007; v1 submitted 27 January, 2007; originally announced January 2007.

Comments: 20 pages

MSC Class: 46L65; 46L87

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.

Comments: 45 pages, 6 figures

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.

Comments: 6 pages

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.

Comments: 24 pages in A4 format, 1 figure; minor corrections included; to appear in K-theory

Report number: IHES/M/04/44

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.

Comments: 6 pages

The primitive ideal space of the C*-algebras of infinite graphs

Authors: Jeong Hee Hong, Wojciech Szymanski

Abstract: For any countable directed graph E we describe the primitive ideal space of the corresponding generalized Cuntz-Krieger algebra C*(E). For any countable directed graph E we describe the primitive ideal space of the corresponding generalized Cuntz-Krieger algebra C*(E). △ Less

Submitted 11 November, 2002; originally announced November 2002.

Comments: 17 pages, LaTeX

MSC Class: 46L05

Stable rank of graph algebras. Type I graph algebras and their limits

Authors: Klaus Deicke, Jeong Hee Hong, Wojciech Szymanski

Abstract: For an arbitrary countable directed graph E we show that the only possible values of the stable rank of the associated Cuntz-Krieger algebra C*(E) are 1, 2 or \infty. Explicit criteria for each of these three cases are given. We characterize graph algebras of type I, and graph algebras which are inductive limits of C*-algebras of type I. We also show that a gauge-invariant ideal of a graph algeb… ▽ More For an arbitrary countable directed graph E we show that the only possible values of the stable rank of the associated Cuntz-Krieger algebra C*(E) are 1, 2 or \infty. Explicit criteria for each of these three cases are given. We characterize graph algebras of type I, and graph algebras which are inductive limits of C*-algebras of type I. We also show that a gauge-invariant ideal of a graph algebra is itself isomorphic to a graph algebra. △ Less

Submitted 8 November, 2002; originally announced November 2002.

Comments: 13 pages, LaTeX

MSC Class: 46L99

A cocycle for the comultiplication on the quantum SU(2) group

Authors: Wojciech Szymanski

Abstract: For the family Delta_q, q in [0,1), of the SU_q(2)-comultiplications on the C*-algebra A\cong C(SU_q(2)), we show that there exist unitary operators Omega_q such that Delta_q(x)=Omega_q Delta_0(x) (Omega_q)* for x in A. For the family Delta_q, q in [0,1), of the SU_q(2)-comultiplications on the C*-algebra A\cong C(SU_q(2)), we show that there exist unitary operators Omega_q such that Delta_q(x)=Omega_q Delta_0(x) (Omega_q)* for x in A. △ Less

Submitted 6 November, 2002; originally announced November 2002.

Comments: 7 pages, LaTeX

MSC Class: 46L89; 16W30; 81R50

Quantum lens spaces and principal actions on graph C*-algebras

Authors: Wojciech Szymanski

Abstract: We study certain principal actions on noncommutative C*-algebras. Our main examples are the Z_p- and T-actions on the odd-dimensional quantum spheres, yielding as fixed-point algebras quantum lens spaces and quantum complex projective spaces, respectively. The key tool in our analysis is the relation of the ambient C*-algebras with the Cuntz-Krieger algebras of directed graphs. A general result… ▽ More We study certain principal actions on noncommutative C*-algebras. Our main examples are the Z_p- and T-actions on the odd-dimensional quantum spheres, yielding as fixed-point algebras quantum lens spaces and quantum complex projective spaces, respectively. The key tool in our analysis is the relation of the ambient C*-algebras with the Cuntz-Krieger algebras of directed graphs. A general result about the principality of the gauge action on graph algebras is given. △ Less

Submitted 29 September, 2002; originally announced September 2002.

Comments: Latex, 6 pages

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.

Comments: 8 pages, latex2e

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.

Comments: latex 2e, 23 pages in A4

The ideal structure of the C*-algebras of infinite graphs

Authors: Teresa Bates, Jeong Hee Hong, Iain Raeburn, Wojciech Szymanski

Abstract: We classify the gauge-invariant ideals in the C*-algebras of infinite directed graphs, and describe the quotients as graph algebras. We then use these results to identify the gauge-invariant primitive ideals in terms of the structural properties of the graph, and describe the K-theory of the C*-algebras of arbitrary infinite graphs. We classify the gauge-invariant ideals in the C*-algebras of infinite directed graphs, and describe the quotients as graph algebras. We then use these results to identify the gauge-invariant primitive ideals in terms of the structural properties of the graph, and describe the K-theory of the C*-algebras of arbitrary infinite graphs. △ Less

Submitted 20 September, 2001; originally announced September 2001.

Comments: 14 pages

MSC Class: 46l05

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.

Comments: 22 pages in plain LATEX