arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · funct-an/9702016

Projections in free product C*-algebras

Kenneth J. Dykema·Mikael Rordam
View original source ↗Read source document ↗Export metadata ↓

Abstract

Consider the reduced free product of C*-algebras, (A,ϕ)=(A_1,ϕ_1)*(A_2,ϕ_2), with respect to states ϕ_1 and ϕ_2 that are faithful. If ϕ_1 and ϕ_2 are traces, if the so-called Avitzour conditions are satisfied, (i.e. A_1 and A_2 are not ``too small'' in a specific sense) and if A_1 and A_2 are nuclear, then it is shown that the positive cone of the K_0-group of A consists of those elements g in K_0(A) for which g=0 or K_0(ϕ)(g)>0. Thus, the ordered group K_0(A) is weakly unperforated. If, on the other hand, ϕ_1 or ϕ_2 is not a trace and if a certain condition weaker than the Avitzour conditions hold, then A is properly infinite.

Explore related subjects

funct-anmath.OA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Kenneth J. Dykema, Mikael Rordam. 1997-02-17. Projections in free product C*-algebras. https://arxiv.org/abs/funct-an/9702016

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

KEEP EXPLORING

Related papers

arXiv2024

Tensor Products of Fell Bundles over Groups

We extend the theory of tensor products of C*-algebras to the larger category of Fell bundles over locally compact groups. We prove that, like in the case of C*-algebras, there exist maximal and minimal tensor products. Given two Fell bundles, we compare the tensor products of their cross-sectional algebras with the cross-sectional algebras of their tensor products. As applications we prove that, under certain conditions, the cross-sectional C*-algebra of a Fell bundle is nuclear or exact whenever so is its fiber over the unit element of the group.

funct-an↗
arXiv2020

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↗
arXiv2007

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↗