SearcharxivSearch

arXiv · funct-an/9712007

Partial dynamical systems and C*-algebras generated by partial isometries

Abstract

A collection of partial isometries whose range and initial projections satisfy a specified set of conditions often gives rise to a partial representation of a group. The C*-algebra generated by the partial isometries is thus a quotient of the universal C*-algebra for partial representations of the group, from which it inherits a crossed product structure, of an abelian C*-algebra by a partial action of the group. Questions of faithfulness of representations, simplicity, and ideal structure of these C*-algebras can then be addressed in a unified manner from within the theory of partial actions. We do this here, focusing on two key properties of partial dynamical systems, namely amenability and topological freeness; they are the essential ingredients of our main results in which we characterize faithful representations, simplicity and the ideal structure of crossed products. As applications we consider three situations involving C*-algebras generated by partial isometries: partial representations of groups, Toeplitz algebras of quasi-lattice ordered groups, and Cuntz-Krieger algebras. These C*-algebras share a crossed product structure which we give here explicitly and which we use to study them in terms of the underlying partial actions.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ruy Exel, Marcelo Laca, John Quigg. 1997-12-18. Partial dynamical systems and C*-algebras generated by partial isometries. https://arxiv.org/abs/funct-an/9712007

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Isomorphism classes for quantum Heisenberg manifolds

We embed the quantum Heisenberg manifold in a crossed product algebra. This enables us to show that, in the irrational case, all tracial states on $\dc$ induce the same homomorphism on the K_0-group. We conclude that two irrational quantum Heisenberg manifolds $\dc$ and $D^c_{μ' ν'}$ are isomorphic if and only if the parameters $(μ,ν)$ and $(μ',ν')$ belong to the same orbit under the usual action of $GL_2(\ZZ)$ on the torus.

funct-an

Quantum Mechanics and Operator algebras on the Hilbert ball

Cirelli, Manià and Pizzocchero generalized quantum mechanics by Kähler geometry. Furthermore they proved that any unital C$^{*}$-algebra is represented as a function algebra on the set of pure states with a noncommutative $*$-product as an application. The ordinary quantum mechanics is regarded as a dynamical system of the projective Hilbert space ${\cal P}({\cal H})$ of a Hilbert space ${\cal H}$. The space ${\cal P}({\cal H})$ is an infinite dimensional Kähler manifold of positive constant holomorphic sectional curvature. In general, such dynamical system is constructed for a general Kähler manifold of nonzero constant holomorphic sectional curvature $c$. The Hilbert ball $B_{\cal H}$ is defined by the open unit ball in ${\cal H}$ and it is a Kähler manifold with $c<0$. We introduce the quantum mechanics on $B_{\cal H}$. As an application, we show the structure of the noncommutative function algebra on $B_{\cal H}$.

funct-an

No More Than Mechanics. I

One can introduce so-called {\em Plain Mechanics} having an {\bf operator realization}. Then the set of one-dimension representations of this operator realization may be identified with the Classical Mechanics. Different irreducible infinite-dimension representations may be recognized as Quantum Mechanics for different $\hbar$ (the Planck constant). It can be done in the such manner that the following diagram will be commutative. Plain Mechanics / \ / \ / \ Quantum Mechanics --> Classical Mechanics h->0 Here the horizontal arrow is well known correspondence between Quantum and Classical Mechanics if Planck constant tensing to zero. A {\em realization} of this scheme for a particle in $n$-dimensional space by two-sided convolutions on the Heisenberg group is constructed. We also introduce the {\em motion equations} for observables in this realization. The left arrow of the given diagram carries this equation to the Heisenberg one and the right arrow maps it to the Hamilton equation.

funct-an