Expand all Collapse all | Results 1 - 25 of 33 |
1. CJM Online first
The C*-algebras of Compact Transformation Groups We investigate the representation theory of the
crossed-product $C^*$-algebra associated to a compact group $G$
acting on a locally compact space $X$ when the stability subgroups
vary discontinuously.
Our main result applies when $G$ has a principal stability subgroup or
$X$ is locally of finite $G$-orbit type. Then the upper multiplicity
of the representation of the crossed product induced from an
irreducible representation $V$ of a stability subgroup is obtained by
restricting $V$ to a certain closed subgroup of the stability subgroup
and taking the maximum of the multiplicities of the irreducible
summands occurring in the restriction of $V$. As a corollary we obtain
that when the trivial subgroup is a principal stability subgroup, the
crossed product is a Fell algebra if and only if every stability
subgroup is abelian. A second corollary is that the $C^*$-algebra of
the motion group $\mathbb{R}^n\rtimes \operatorname{SO}(n)$ is a Fell algebra. This uses
the classical branching theorem for the special orthogonal group
$\operatorname{SO}(n)$ with respect to $\operatorname{SO}(n-1)$. Since proper transformation
groups are locally induced from the actions of compact groups, we
describe how some of our results can be extended to transformation
groups that are locally proper.
Keywords:compact transformation group, proper action, spectrum of a C*-algebra, multiplicity of a representation, crossed-product C*-algebra, continuous-trace C*-algebra, Fell algebra Categories:46L05, 46L55 |
2. CJM Online first
Minimal Dynamical Systems on Connected Odd Dimensional Spaces Let $\beta\colon S^{2n+1}\to S^{2n+1}$ be a minimal homeomorphism ($n\ge 1$). We show that
the crossed product $C(S^{2n+1})\rtimes_\beta \mathbb{Z}$ has rational tracial rank at most one.
Let $\Omega$ be a connected compact metric space with finite covering dimension and
with $H^1(\Omega, \mathbb{Z})=\{0\}.$ Suppose that $K_i(C(\Omega))=\mathbb{Z}\oplus G_i,$ where $G_i$ is a finite abelian group, $i=0,1.$
Let $\beta\colon \Omega\to\Omega$ be a minimal homeomorphism. We also show that
$A=C(\Omega)\rtimes_\beta\mathbb{Z}$ has rational tracial rank at most one and is
classifiable.
In particular, this applies to the minimal dynamical systems on
odd dimensional real projective spaces.
This is done by studying minimal homeomorphisms on $X\times \Omega,$ where
$X$ is the Cantor set.
Keywords:minimal dynamical systems Categories:46L35, 46L05 |
3. CJM Online first
The Category of Bratteli Diagrams A category structure for Bratteli diagrams is proposed and a
functor from
the category of AF algebras to the category of Bratteli diagrams
is
constructed. Since isomorphism of Bratteli diagrams in this
category coincides
with Bratteli's notion of equivalence, we obtain in particular
a functorial formulation of Bratteli's
classification of AF algebras (and at the same time, of Glimm's
classification of UHF~algebras).
It is shown that the three approaches
to classification of AF~algebras, namely, through Bratteli diagrams,
K-theory, and
abstract classifying categories, are essentially the same
from a categorical point of view.
Keywords:C$^{*}$-algebra, category, functor, AF algebra, dimension group, Bratteli diagram Categories:46L05, 46L35, 46M15 |
4. CJM 2014 (vol 67 pp. 404)
Rotation Algebras and the Exel Trace Formula We found that if $u$ and $v$ are any two unitaries in
a unital $C^*$-algebra with $\|uv-vu\|\lt 2$ and $uvu^*v^*$ commutes with
$u$ and $v,$ then the $C^*$-subalgebra $A_{u,v}$ generated by $u$ and
$v$ is isomorphic to a quotient of some rotation algebra $A_\theta$
provided that $A_{u,v}$ has a unique tracial state.
We also found that the Exel trace formula holds in any unital
$C^*$-algebra.
Let $\theta\in (-1/2, 1/2)$ be a real number. We prove the
following:
For any $\epsilon\gt 0,$ there exists $\delta\gt 0$ satisfying the following:
if $u$ and $v$ are two unitaries in any unital simple $C^*$-algebra
$A$ with tracial rank zero such that
\[
\|uv-e^{2\pi i\theta}vu\|\lt \delta
\text{ and }
{1\over{2\pi i}}\tau(\log(uvu^*v^*))=\theta,
\]
for all tracial state $\tau$ of $A,$ then there exists a pair
of unitaries $\tilde{u}$ and $\tilde{v}$ in $A$
such that
\[
\tilde{u}\tilde{v}=e^{2\pi i\theta} \tilde{v}\tilde{u},\,\,
\|u-\tilde{u}\|\lt \epsilon
\text{ and }
\|v-\tilde{v}\|\lt \epsilon.
\]
Keywords:rotation algebras, Exel trace formula Category:46L05 |
5. CJM 2013 (vol 66 pp. 596)
The Ordered $K$-theory of a Full Extension Let $\mathfrak{A}$ be a $C^{*}$-algebra with real rank zero which has
the stable weak cancellation property. Let $\mathfrak{I}$ be an ideal
of $\mathfrak{A}$ such that $\mathfrak{I}$ is stable and satisfies the
corona factorization property. We prove that
$
0 \to \mathfrak{I} \to \mathfrak{A} \to \mathfrak{A} / \mathfrak{I} \to 0
$
is a full extension if and only if the extension is stenotic and
$K$-lexicographic. {As an immediate application, we extend the
classification result for graph $C^*$-algebras obtained by Tomforde
and the first named author to the general non-unital case. In
combination with recent results by Katsura, Tomforde, West and the
first author, our result may also be used to give a purely
$K$-theoretical description of when an essential extension of two
simple and stable graph $C^*$-algebras is again a graph
$C^*$-algebra.}
Keywords:classification, extensions, graph algebras Categories:46L80, 46L35, 46L05 |
6. CJM 2013 (vol 65 pp. 783)
Generalised Triple Homomorphisms and Derivations We introduce generalised triple homomorphism between Jordan Banach
triple systems as a concept which extends the notion of generalised homomorphism between
Banach algebras given by K. Jarosz and B.E. Johnson in 1985 and 1987, respectively.
We prove that every generalised triple homomorphism between JB$^*$-triples
is automatically continuous. When particularised to C$^*$-algebras, we rediscover
one of the main theorems established by B.E. Johnson. We shall also consider generalised
triple derivations from a Jordan Banach triple $E$ into a Jordan Banach triple $E$-module,
proving that every generalised triple derivation from a JB$^*$-triple $E$ into itself or into $E^*$
is automatically continuous.
Keywords:generalised homomorphism, generalised triple homomorphism, generalised triple derivation, Banach algebra, Jordan Banach triple, C$^*$-algebra, JB$^*$-triple Categories:46L05, 46L70, 47B48, 17C65, 46K70, 46L40, 47B47, 47B49 |
7. CJM 2012 (vol 65 pp. 481)
Correction of Proofs in "Purely Infinite Simple $C^*$-algebras Arising from Free Product Constructions'' and a Subsequent Paper |
Correction of Proofs in "Purely Infinite Simple $C^*$-algebras Arising from Free Product Constructions'' and a Subsequent Paper The proofs of Theorem 2.2 of K. J. Dykema and M. RÃ¸rdam, Purely infinite simple
$C^*$-algebras arising from free product constructions}, Canad. J.
Math. 50 (1998), 323--341 and
of Theorem 3.1 of K. J. Dykema, Purely infinite simple
$C^*$-algebras arising from free product constructions, II, Math.
Scand. 90 (2002), 73--86 are corrected.
Keywords:C*-algebras, purely infinite Category:46L05 |
8. CJM 2012 (vol 65 pp. 52)
C$^*$-algebras Nearly Contained in Type $\mathrm{I}$ Algebras In this paper we consider near inclusions $A\subseteq_\gamma B$ of C$^*$-algebras. We show that if $B$ is a separable type $\mathrm{I}$ C$^*$-algebra and $A$ satisfies Kadison's similarity problem, then $A$ is also type $\mathrm{I}$ and use this to obtain an embedding of $A$ into $B$.
Keywords:C$^*$-algebras, near inclusions, perturbations, type I C$^*$-algebras, similarity problem Category:46L05 |
9. CJM 2011 (vol 64 pp. 755)
Homotopy Classification of Projections in the Corona Algebra of a Non-simple $C^*$-algebra We study projections in the corona algebra of $C(X)\otimes K$, where K
is the $C^*$-algebra of compact operators on a separable infinite
dimensional Hilbert space and $X=[0,1],[0,\infty),(-\infty,\infty)$,
or $[0,1]/\{ 0,1 \}$. Using BDF's essential codimension, we determine
conditions for a projection in the corona algebra to be liftable to a
projection in the multiplier algebra. We also determine the
conditions for two projections to be equal in $K_0$, Murray-von
Neumann equivalent, unitarily equivalent, or homotopic. In light of
these characterizations, we construct examples showing that the
equivalence notions above are all distinct.
Keywords:essential codimension, continuous field of Hilbert spaces, Corona algebra Categories:46L05, 46L80 |
10. CJM 2011 (vol 64 pp. 544)
On the Simple Inductive Limits of Splitting Interval Algebras with Dimension Drops A K-theoretic classification is given of the simple inductive limits
of finite direct sums of the
type I $C^*$-algebras known as splitting interval algebras with
dimension drops. (These are the subhomogeneous $C^*$-algebras, each
having spectrum a finite union
of points and an open interval, and torsion $\textrm{K}_1$-group.)
Categories:46L05, 46L35 |
11. CJM 2011 (vol 64 pp. 573)
Fundamental Group of Simple $C^*$-algebras with Unique Trace III We introduce the fundamental group ${\mathcal F}(A)$ of
a simple $\sigma$-unital $C^*$-algebra $A$ with unique (up to scalar multiple)
densely defined lower semicontinuous trace.
This is a generalization of ``Fundamental Group of Simple
$C^*$-algebras with Unique Trace I and II'' by Nawata and Watatani.
Our definition in this paper makes sense for stably projectionless $C^*$-algebras.
We show that there exist separable stably projectionless $C^*$-algebras such that
their fundamental groups are equal to $\mathbb{R}_+^\times$
by using the classification theorem of Razak and Tsang.
This is a contrast to the unital case in Nawata and Watatani.
This study is motivated by the work of Kishimoto and Kumjian.
Keywords:fundamental group, Picard group, Hilbert module, countable basis, stably projectionless algebra, dimension function Categories:46L05, 46L08, 46L35 |
12. CJM 2011 (vol 63 pp. 381)
A Complete Classification of AI Algebras with the Ideal Property Let $A$ be an AI algebra; that is, $A$ is the $\mbox{C}^{*}$-algebra inductive limit
of a sequence
$$
A_{1}\stackrel{\phi_{1,2}}{\longrightarrow}A_{2}\stackrel{\phi_{2,3}}{\longrightarrow}A_{3}
\longrightarrow\cdots\longrightarrow A_{n}\longrightarrow\cdots,
$$
where
$A_{n}=\bigoplus_{i=1}^{k_n}M_{[n,i]}(C(X^{i}_n))$,
$X^{i}_n$ are $[0,1]$, $k_n$, and
$[n,i]$ are positive integers.
Suppose that $A$ has the
ideal property: each closed two-sided ideal of $A$ is generated by
the projections inside the ideal, as a closed two-sided ideal.
In this article, we give a complete classification of AI algebras with the ideal property.
Keywords:AI algebras, K-group, tracial state, ideal property, classification Categories:46L35, 19K14, 46L05, 46L08 |
13. CJM 2010 (vol 62 pp. 889)
Singular Integral Operators and Essential Commutativity on the Sphere Let ${\mathcal T}$ be the $C^\ast $-algebra generated by the Toeplitz operators $\{T_\varphi : \varphi \in L^\infty (S,d\sigma )\}$ on the Hardy space $H^2(S)$ of the unit sphere in $\mathbf{C}^n$. It is well known that ${\mathcal T}$ is contained in the essential commutant of $\{T_\varphi : \varphi \in \operatorname{VMO}\cap L^\infty (S,d\sigma )\}$. We show that the essential commutant of $\{T_\varphi : \varphi \in \operatorname{VMO}\cap L^\infty (S,d\sigma )\}$ is strictly larger than ${\mathcal T}$.
Categories:32A55, 46L05, 47L80 |
14. CJM 2009 (vol 61 pp. 1239)
Periodicity in Rank 2 Graph Algebras Kumjian and Pask introduced an aperiodicity condition
for higher rank graphs.
We present a detailed analysis of when this occurs
in certain rank 2 graphs.
When the algebra is aperiodic, we give another proof
of the simplicity of $\mathrm{C}^*(\mathbb{F}^+_{\theta})$.
The periodic $\mathrm{C}^*$-algebras are characterized, and it is shown
that $\mathrm{C}^*(\mathbb{F}^+_{\theta}) \simeq
\mathrm{C}(\mathbb{T})\otimes\mathfrak{A}$
where $\mathfrak{A}$ is a simple $\mathrm{C}^*$-algebra.
Keywords:higher rank graph, aperiodicity condition, simple $\mathrm{C}^*$-algebra, expectation Categories:47L55, 47L30, 47L75, 46L05 |
15. CJM 2008 (vol 60 pp. 975)
An AF Algebra Associated with the Farey Tessellation We associate with the Farey tessellation of the upper
half-plane an
AF algebra $\AA$ encoding the ``cutting sequences'' that define
vertical geodesics.
The Effros--Shen AF algebras arise as quotients
of $\AA$. Using the path algebra model for AF algebras we construct, for
each $\tau \in \big(0,\frac{1}{4}\big]$, projections $(E_n)$ in
$\AA$ such that $E_n E_{n\pm 1}E_n \leq \tau E_n$.
Categories:46L05, 11A55, 11B57, 46L55, 37E05, 82B20 |
16. CJM 2007 (vol 59 pp. 343)
Weak Semiprojectivity in Purely Infinite Simple $C^*$-Algebras Let $A$ be a separable amenable purely infinite simple \CA which
satisfies the Universal Coefficient Theorem. We prove that $A$ is
weakly semiprojective if and only if $K_i(A)$ is a countable
direct sum of finitely generated groups ($i=0,1$). Therefore, if
$A$ is such a \CA, for any $\ep>0$ and any finite subset ${\mathcal
F}\subset A$ there exist $\dt>0$ and a finite subset ${\mathcal
G}\subset A$ satisfying the following: for any contractive
positive linear map $L: A\to B$ (for any \CA $B$) with $
\|L(ab)-L(a)L(b)\|<\dt$ for $a, b\in {\mathcal G}$
there exists a homomorphism $h\from A\to B$ such that
$ \|h(a)-L(a)\|<\ep$ for $a\in {\mathcal F}$.
Keywords:weakly semiprojective, purely infinite simple $C^*$-algebras Categories:46L05, 46L80 |
17. CJM 2006 (vol 58 pp. 1268)
Gauge-Invariant Ideals in the $C^*$-Algebras of Finitely Aligned Higher-Rank Graphs We produce a complete description of the lattice of gauge-invariant
ideals in $C^*(\Lambda)$ for a finitely aligned $k$-graph
$\Lambda$. We provide a condition on $\Lambda$ under which every ideal
is gauge-invariant. We give conditions on $\Lambda$ under which
$C^*(\Lambda)$ satisfies the hypotheses of the Kirchberg--Phillips
classification theorem.
Keywords:Graphs as categories, graph algebra, $C^*$-algebra Category:46L05 |
18. CJM 2006 (vol 58 pp. 1144)
Partial $*$-Automorphisms, Normalizers, and Submodules in Monotone Complete $C^*$-Algebras For monotone complete $C^*$-algebras
$A\subset B$ with $A$ contained in $B$ as a monotone closed
$C^*$-subalgebra, the relation $X = AsA$
gives a bijection between the set of all
monotone closed linear subspaces $X$ of $B$ such that
$AX + XA \subset X$
and
$XX^* + X^*X \subset A$
and a set of certain partial
isometries $s$ in the ``normalizer" of $A$ in $B$,
and similarly for the map $s \mapsto \Ad s$
between the latter set and a set of certain ``partial $*$-automorphisms"
of $A$.
We introduce natural inverse semigroup
structures in the set of such $X$'s and the set of
partial $*$-automorphisms of $A$, modulo a certain relation, so that
the composition of these maps induces an inverse semigroup
homomorphism between them.
For a large enough $B$ the homomorphism becomes surjective and
all the partial $*$-automorphisms of
$A$ are realized via partial isometries in $B$.
In particular, the inverse semigroup associated with
a type ${\rm II}_1$ von Neumann factor,
modulo the outer automorphism group,
can be viewed as the fundamental group of the factor.
We also consider the $C^*$-algebra version of these results.
Categories:46L05, 46L08, 46L40, 20M18 |
19. CJM 2005 (vol 57 pp. 983)
A Symmetric Imprimitivity Theorem for Commuting Proper Actions We prove a symmetric imprimitivity theorem for commuting proper
actions of locally compact groups $H$ and $K$ on a $C^*$-algebra.
Categories:46L05, 46L08, 46L55 |
20. CJM 2005 (vol 57 pp. 351)
Extensions by Simple $C^*$-Algebras: Quasidiagonal Extensions Let $A$ be an amenable separable $C^*$-algebra and $B$ be a non-unital
but $\sigma$-unital simple $C^*$-algebra with continuous scale.
We show that two essential extensions
$\tau_1$ and $\tau_2$ of $A$ by $B$ are approximately
unitarily equivalent if and only if
$$
[\tau_1]=[\tau_2] \text{ in } KL(A, M(B)/B).
$$
If $A$ is assumed to satisfy the Universal Coefficient Theorem,
there is a bijection from approximate unitary equivalence
classes of the above mentioned extensions to
$KL(A, M(B)/B)$.
Using $KL(A, M(B)/B)$, we compute exactly when an essential extension
is quasidiagonal. We show that quasidiagonal extensions
may not be approximately trivial.
We also study the approximately trivial extensions.
Keywords:Extensions, Simple $C^*$-algebras Categories:46L05, 46L35 |
21. CJM 2005 (vol 57 pp. 17)
On Amenability and Co-Amenability of Algebraic Quantum Groups and Their Corepresentations We introduce and study several notions of amenability for unitary
corepresentations and $*$-representations of algebraic quantum groups,
which may be used to characterize amenability and co-amenability for
such quantum groups. As a background for this study, we investigate
the associated tensor C$^{*}$-categories.
Keywords:quantum group, amenability Categories:46L05, 46L65, 22D10, 22D25, 43A07, 43A65, 58B32 |
22. CJM 2004 (vol 56 pp. 3)
Locally Compact Pro-$C^*$-Algebras Let $X$ be a locally compact non-compact Hausdorff topological space. Consider
the algebras $C(X)$, $C_b(X)$, $C_0(X)$, and $C_{00}(X)$ of respectively arbitrary,
bounded, vanishing at infinity, and compactly supported continuous functions on $X$.
Of these, the second and third are $C^*$-algebras, the fourth is a normed algebra,
whereas the first is only a topological algebra (it is indeed a pro-$C^\ast$-algebra).
The interesting fact about these algebras is that if one of them is given, the
others can be obtained using functional analysis tools. For instance, given the
$C^\ast$-algebra $C_0(X)$, one can get the other three algebras by
$C_{00}(X)=K\bigl(C_0(X)\bigr)$, $C_b(X)=M\bigl(C_0(X)\bigr)$, $C(X)=\Gamma\bigl(
K(C_0(X))\bigr)$, where the right hand sides are the Pedersen ideal, the
multiplier algebra, and the unbounded multiplier algebra of the Pedersen ideal of
$C_0(X)$, respectively. In this article we consider the possibility of these
transitions for general $C^\ast$-algebras. The difficult part is to start with a
pro-$C^\ast$-algebra $A$ and to construct a $C^\ast$-algebra $A_0$ such that
$A=\Gamma\bigl(K(A_0)\bigr)$. The pro-$C^\ast$-algebras for which this is
possible are called {\it locally compact\/} and we have characterized them using
a concept similar to that of an approximate identity.
Keywords:pro-$C^\ast$-algebras, projective limit, multipliers of Pedersen's ideal Categories:46L05, 46M40 |
23. CJM 2003 (vol 55 pp. 1302)
The Ideal Structures of Crossed Products of Cuntz Algebras by Quasi-Free Actions of Abelian Groups We completely determine the ideal structures of the crossed
products of Cuntz algebras by quasi-free actions of abelian groups
and give another proof of A.~Kishimoto's result on the simplicity
of such crossed products. We also give a necessary and sufficient
condition that our algebras become primitive, and compute the
Connes spectra and $K$-groups of our algebras.
Categories:46L05, 46L55, 46L45 |
24. CJM 2002 (vol 54 pp. 694)
Cuntz Algebra States Defined by Implementers of Endomorphisms of the $\CAR$ Algebra We investigate representations of the Cuntz algebra $\mathcal{O}_2$
on antisymmetric Fock space $F_a (\mathcal{K}_1)$ defined by
isometric implementers of certain quasi-free endomorphisms of the
CAR algebra in pure quasi-free states $\varphi_{P_1}$. We pay
corresponding to these representations and the Fock special
attention to the vector states on $\mathcal{O}_2$ vacuum, for which
we obtain explicit formulae. Restricting these states to the
gauge-invariant subalgebra $\mathcal{F}_2$, we find that for
natural choices of implementers, they are again pure quasi-free and
are, in fact, essentially the states $\varphi_{P_1}$. We proceed to
consider the case for an arbitrary pair of implementers, and deduce
that these Cuntz algebra representations are irreducible, as are their
restrictions to $\mathcal{F}_2$.
The endomorphisms of $B \bigl( F_a (\mathcal{K}_1) \bigr)$ associated
with these representations of $\mathcal{O}_2$ are also considered.
Categories:46L05, 46L30 |
25. CJM 2002 (vol 54 pp. 138)
On the Classification of Simple Stably Projectionless $\C^*$-Algebras It is shown that simple stably projectionless $\C^S*$-algebras which
are inductive limits of certain specified building blocks with trivial
$\K$-theory are classified by their cone of positive traces with
distinguished subset. This is the first example of an isomorphism
theorem verifying the conjecture of Elliott for a subclass of the
stably projectionless algebras.
Categories:46L35, 46L05 |