We study the gauge-invariant ideal structure of the Nica-Toeplitz algebra $\mathcal{NT}(X)$ of a product system $(A, X)$ over $\mathbb{N}^n$. We obtain a clear description of $X$-invariant ideals in $A$, that is, restrictions of gauge-invariant ideals in $\mathcal{NT}(X)$ to $A$. The main result is a classification of gauge-invariant ideals in $\mathcal{NT}(X)$ for a proper product system in terms of families of ideals in $A$. We also apply our results to higher-rank graphs.
We prove uniqueness of representations of Nica-Toeplitz algebras associated to product systems of $C^*$-correspondences over right LCM semigroups by applying our previous abstract uniqueness results developed for $C^*$-precategories. Our results provide an interpretation of conditions identified in work of Fowler and Fowler-Raeburn, and apply also to their crossed product twisted by a product system, in the new context of right LCM semigroups, as well as to a new, Doplicher-Roberts type $C^*$-algebra associated to the Nica-Toeplitz algebra. As a derived construction we develop Nica-Toeplitz cr…
In this article we study how decompositions of a quasi-lattice ordered group $(G,P)$ relate to decompositions of the Nica-Toeplitz algebra $\mathcal{NT}_\mathbf{X}$ and Cuntz-Nica-Pimsner algebra $\mathcal{NO}_\mathbf{X}$ of a compactly aligned product system $\mathbf{X}$ over $P$. In particular, we are interested in the situation where $(G,P)$ may be realised as the semidirect product of quasi-lattice ordered groups. Our results generalise Deaconu's work on iterated Toeplitz and Cuntz-Pimsner algebras - we show that the Nica-Toeplitz algebra and Cuntz-Nica-Pimsner algebra of a compactly align…
Fowler introduced the notion of a product system: a collection of Hilbert bimodules $\mathbf{X}=\left\{\mathbf{X}_p:p\in P\right\}$ indexed by a semigroup $P$, endowed with a multiplication implementing isomorphisms $\mathbf{X}_p\otimes_A \mathbf{X}_q\cong \mathbf{X}_{pq}$. When $P$ is quasi-lattice ordered, Fowler showed how to associate a $C^*$-algebra $\mathcal{NT}_\mathbf{X}$ to $\mathbf{X}$, generated by a universal representation satisfying some covariance condition. In this article we prove a uniqueness theorem for these so called Nica-Toeplitz algebras.
Consider the pair $(G,P)$ consisting of an abelian lattice-ordered discrete group $G$ and its positive cone $P$. Let $α$ be an action of $P$ by extendible endomorphisms of a $C^*$-algebra $A$. We show that the Nica-Toeplitz algebra $\mathcal{T}_{\textrm{cov}}(A\times_α P)$ is a full corner of a group crossed product $\mathcal{B}\rtimes_βG$, where $\mathcal{B}$ is a subalgebra of $\ell^{\infty}(G,A)$ generated by a collection of faithful copies of $A$, and the action $β$ on $\mathcal{B}$ is given by the shift on $\ell^{\infty}(G,A)$. By using this realization, we show that the ideal $\mathcal{I…
We introduce and analyze the full $\mathcal{NT}_{\mathcal{L}}(\mathcal{K})$ and the reduced $\mathcal{NT}_{\mathcal{L}}^r(\mathcal{K})$ Nica-Toeplitz algebra associated to an ideal $\mathcal{K}$ in a right tensor $C^*$-precategory $\mathcal{L}$ over a right LCM semigroup $P$. Our main results are uniqueness theorems in the spirit of classical Coburn's theorem, generalizing uniqueness results for Toeplitz-type $C^*$-algebras associated to single $C^*$-correspondences, quasi-lattice ordered semigroups, and crossed products twisted by product systems of $C^*$-correspondences obtained by Fowler, L…
Consider a product system over the positive cone of a quasi-lattice ordered group. We construct a Fell bundle over an associated groupoid so that the cross-sectional algebra of the bundle is isomorphic to the Nica-Toeplitz algebra of the product system. Under the additional hypothesis that the left actions in the product system are implemented by injective homomorphisms, we show that the cross-sectional algebra of the restriction of the bundle to a natural boundary subgroupoid coincides with the Cuntz-Nica-Pimsner algebra of the product system. We apply these results to improve on existing suf…
Given a quasi-lattice ordered group $(G,P)$ and a compactly aligned product system $X$ of essential C$^*$-correspondences over the monoid $P$, we show that there is a bijection between the gauge-invariant KMS$_β$-states on the Nica-Toeplitz algebra $\mathcal{NT}(X)$ of $X$ with respect to a gauge-type dynamics, on one side, and the tracial states on the coefficient algebra $A$ satisfying a system (in general infinite) of inequalities, on the other. This strengthens and generalizes a number of results in the literature in several directions: we do not make any extra assumptions on $P$ and $X$, …
We consider a family of $*$-commuting local homeomorphisms on a compact space, and build a compactly aligned product system of Hilbert bimodules (in the sense of Fowler). This product system has a Nica-Toeplitz algebra and a Cuntz-Pimsner algebra. Both algebras carry a gauge action of a higher-dimensional torus, and there are many possible dynamics obtained by composing with different embeddings of the real line in this torus. We study the KMS states of these dynamics. For large inverse temperatures, we describe the simplex of KMS states on the Nica-Toeplitz algebra. To study KMS states for sm…
Spielberg has recently shown that Baumslag-Solitar groups associated to pairs of positive integers are quasi-lattice ordered in the sense of Nica. Thus they have tractable Toeplitz algebras. Each of these algebras carries a natural dynamics. Here we construct the equilibrium states (the KMS states) for these dynamics. For inverse temperatures larger than a critical value, there is a large simplex of KMS states parametrised by probability measures on the unit circle. At the critical value, and under a mild hypothesis, there is a phase transition in which this simplex collapses to a singleton. T…
We give necessary and sufficient conditions for nuclearity of Cuntz-Nica-Pimsner algebras for a variety of quasi-lattice ordered groups. First we deal with the free abelian lattice case. We use this as a stepping stone to tackle product systems over quasi-lattices that are controlled by the free abelian lattice and satisfy a minimality property. Our setting accommodates examples like the Baumslag-Solitar lattice for $n=m>0$ and the right-angled Artin groups. More generally the class of quasi-lattices for which our results apply is closed under taking semi-direct and graph products. In the proc…
We look at Toeplitz operators $T_ν$ on the Fock Space (also known as the Segal-Bargmann space) which have a positive Borel measure $ν$ as a symbol. We characterize when $\left(T_ν\right)^s$ for $0<s\leq 1$ is in the symmetrically normed ideal associated with any given symmetric norming function.
We describe the C*-algebra generated by an irreducible Toeplitz operator $T_ψ$, with continuous symbol $ψ$ on the unit circle $\mathbb{T}$, and finitely many composition operators on the Hardy space $H^2$ induced by certain linear-fractional self-maps of the unit disc, modulo the ideal of compact operators $K(H^2)$. For composition operators with automorphism symbols, we show that this algebra is not isomorphic to the one generated by the shift and composition operators.
We consider the semigroup crossed product of the additive natural numbers by the multiplicative natural numbers. We study its Toeplitz C*-algebra generated by the right-regular representation, which we call the right Toeplitz algebra. We analyse its structure by studying three distinguished quotients. We show that the multiplicative boundary quotient is isomorphic to a crossed product of the Toeplitz algebra of the additive rationals by an action of the multiplicative rationals, and study its ideal structure. We identify the Crisp-Laca boundary quotient as the C*-algebra of the corresponding g…
We use product systems of $C^*$-correspondences to introduce twisted $C^*$-algebras of topological higher-rank graphs. We define the notion of a continuous $\mathbb{T}$-valued $2$-cocycle on a topological higher-rank graph, and present examples of such cocycles on large classes of topological higher-rank graphs. To every proper, source-free topological higher-rank graph $Λ$, and continuous $\mathbb{T}$-valued $2$-cocycle $c$ on $Λ$, we associate a product system $X$ of $C_0(Λ^0)$-correspondences built from finite paths in $Λ$. We define the twisted Cuntz--Krieger algebra $C^*(Λ,c)$ to be the C…
We study the equilibrium simplex of Nica-Pimsner algebras arising from product systems of finite rank on the free abelian semigroup. First we show that every equilibrium state has a convex decomposition into parts parametrized by ideals on the unit hypercube. Secondly we associate every gauge-invariant part to a sub-simplex of tracial states of the diagonal algebra. We show how this parametrization lifts to the full equilibrium simplices of non-infinite type. The finite rank entails an entropy theory for identifying the two critical inverse temperatures: (a) the least upper bound for existence…
We define partial product systems over N. They generalise product systems over N and Fell bundles over Z. We define Toeplitz C*-algebras and relative Cuntz-Pimsner algebras for them and show that the section C*-algebra of a Fell bundle over Z is a relative Cuntz-Pimsner algebra. We describe the gauge-invariant ideals in the Toeplitz C*-algebra.
We study strong compactly aligned product systems of $\mathbb{Z}_+^N$ over a C*-algebra $A$. We provide a description of their Cuntz-Nica-Pimsner algebra in terms of tractable relations coming from ideals of $A$. This approach encompasses product systems where the left action is given by compacts, as well as a wide class of higher rank graphs (beyond row-finite). Moreover we analyze higher rank factorial languages and their C*-algebras. Many of the rank one results in the literature find here their higher rank analogues. In particular, we show that the Cuntz-Nica-Pimsner algebra of a higher ra…
To each monoid $P$ that embeds in a group we associate a universal Toeplitz C*-algebra $T_u(P)$ defined via generators and relations; $T_u(P)$ is a quotient of Li's semigroup C*-algebra $C^*(P)$ and they are isomorphic if and only if $P$ satisfies independence. We give a partial crossed product realization of $T_u(P)$ and show that several key results known for $C^*(P)$ when $P$ satisfies independence are also valid for $T_u(P)$ when independence fails. At the level of the reduced semigroup C*-algebra $T_r(P)$, we show that nontrivial ideals have nontrivial intersection with the reduced crosse…
We generalise recent results of Afsar, Larsen and Neshveyev for product systems over quasi-lattice orders by showing that the equilibrium states of quasi-free dynamics on the Nica-Toeplitz $C^*$-algebras of product systems over right LCM monoids must satisfy a positivity condition encoded in a system of inequalities satisfied by their restrictions to the coefficient algebra. We prove that the reduction of this positivity condition to a finite subset of inequalities is valid for a wider class of monoids that properly includes finite-type Artin monoids, answering a question left open in their wo…
We construct spectral triples on C*-algebraic extensions of unital C*-algebras by stable ideals satisfying a certain Toeplitz type property using given spectral triples on the quotient and ideal. Our construction behaves well with respect to summability and produces new spectral quantum metric spaces out of given ones. Using our construction we find new spectral triples on the quantum 2- and 3-spheres giving a new perspective on these algebras in noncommutative geometry.
In recent work, Cuntz, Deninger and Laca have studied the Toeplitz type C*-algebra associated to the affine monoid of algebraic integers in a number field, under a time evolution determined by the absolute norm. The KMS equilibrium states of their system are parametrized by traces on the C*-algebras of the semidirect products $J \rtimes O^*$ resulting from the multiplicative action of the units $O^*$ on integral ideals $J$ representing each ideal class. At each fixed inverse temperature $β> 2$, the extremal equilibrium states correspond to extremal traces of $C^*(J\rtimes O^*)$. Here we undert…
We consider $C^*$-algebra $\mathcal{E}_{n,m}^q$, which is a $q$-twist of two Cuntz-Toeplitz algebras. For the case $|q|<1$ we give an explicit formula, which untwists the $q$-deformation, thus showing that the isomorphism class of $\mathcal{E}_{n,m}^q$ does not depend of $q$. For the case $|q|=1$ we give an explicit description of all ideals in $\mathcal{E}_{n,m}^q$. In particular $\mathcal{E}_{n,m}^q$ contains unique largest ideal $\mathcal{M}_q$. Then we identify $\mathcal{E}_{n,m}^q / \mathcal{M}_q$ with the Rieffel deformation of $\mathcal{O}_n \otimes \mathcal{O}_m$ and use a K-theoretica…
We consider the $C^*$-algebra $\mathcal{E}_{n,m}^q$, which is a $q$-twist of two Cuntz-Toeplitz algebras. For the case $|q|<1$, we give an explicit formula which untwists the $q$-deformation showing that the isomorphism class of $\mathcal{E}_{n,m}^q$ does not depend on $q$. For the case $|q|=1$, we give an explicit description of all ideals in $\mathcal{E}_{n,m}^q$. In particular, we show that $\mathcal{E}_{n,m}^q$ contains a unique largest ideal $\mathcal{M}_q$. We identify $\mathcal{E}_{n,m}^q / \mathcal{M}_q$ with the Rieffel deformation of $\mathcal{O}_n \otimes \mathcal{O}_m$ and use a K-…
A countable family of $*$-commuting surjective, non-injective local homeomorphisms of a compact Hausdorff space $X$ gives rise to an action $θ$ of a countably generated, free abelian monoid $P$. For such a triple $(X,P,θ)$, which we call an irreversible $*$-commutative dynamical system, we construct a universal $C^*$-algebra $\mathcal{O}[X,P,θ]$. Within this setting we show that the following four conditions are equivalent: $(X,P,θ)$ is topologically free, $C(X) \subset \mathcal{O}[X,P,θ]$ has the ideal intersection property, the natural representation of $\mathcal{O}[X,P,θ]$ on $\ell^2(X)$ is…
This is a book about Partial Actions and Fell Bundles with applications to C*-algebras generated by partial isometries. Here is the table of contents: 1-Introduction, 2-Partial actions, 3-Restriction and globalization, 4-Inverse semigroups, 5-Topological partial dynamical systems, 6-Algebraic partial dynamical systems, 7-Multipliers, 8-Crossed products, 9-Partial group representations, 10-Partial group algebras, 11-C*-algebraic partial dynamical systems, 12-Partial isometries, 13-Covariant representations of C*-algebraic dynamical systems, 14-Partial representations subject to relations, 15-Hi…
