1. CJM Online first
 BenaychGeorges, Florent; Cébron, Guillaume; Rochet, Jean

Fluctuation of matrix entries and application to outliers of elliptic matrices
For any family of $N\times N$ random matrices $(\mathbf{A}_k)_{k\in
K}$ which is invariant, in law, under unitary conjugation, we
give general sufficient conditions for central limit theorems
for random variables of the type $\operatorname{Tr}(\mathbf{A}_k
\mathbf{M})$, where the matrix $\mathbf{M}$ is deterministic
(such random variables include for example the normalized matrix
entries of the $\mathbf{A}_k$'s). A consequence is the asymptotic
independence of the projection of the matrices $\mathbf{A}_k$
onto the subspace of null trace matrices from their projections
onto the orthogonal of this subspace. These results are used
to study the asymptotic behavior of the outliers of a spiked
elliptic random matrix. More precisely, we show that the fluctuations
of these outliers around their limits can have various rates
of convergence, depending on the Jordan Canonical Form of the
additive perturbation. Also, some correlations can arise between
outliers at a macroscopic distance from each other. These phenomena
have already been observed
with random matrices
from the Single Ring Theorem.
Keywords:random matrix, Gaussian fluctuation, spiked model, elliptic random matrix, Weingarten calculus, Haar measure Categories:60B20, 15B52, 60F05, 46L54 

2. CJM Online first
 Pasnicu, Cornel; Phillips, N. Christopher

The weak ideal property and topological dimension zero
Following up on previous work,
we prove a number of results for C*algebras
with the weak ideal property
or topological dimension zero,
and some results for C*algebras with related properties.
Some of the more important results include:
$\bullet$
The weak ideal property
implies topological dimension zero.
$\bullet$
For a separable C*algebra~$A$,
topological dimension zero is equivalent to
${\operatorname{RR}} ({\mathcal{O}}_2 \otimes A) = 0$,
to $D \otimes A$ having the ideal property
for some (or any) Kirchberg algebra~$D$,
and to $A$ being residually hereditarily in
the class of all C*algebras $B$ such that
${\mathcal{O}}_{\infty} \otimes B$
contains a nonzero projection.
$\bullet$
Extending the known result for ${\mathbb{Z}}_2$,
the classes of C*algebras
with residual (SP),
which are residually hereditarily (properly) infinite,
or which are purely infinite and have the ideal property,
are closed under crossed products by arbitrary actions
of abelian $2$groups.
$\bullet$
If $A$ and $B$ are separable,
one of them is exact,
$A$ has the ideal property,
and $B$ has the weak ideal property,
then $A \otimes_{\mathrm{min}} B$ has the weak ideal property.
$\bullet$
If $X$ is a totally disconnected locally compact Hausdorff space
and $A$ is a $C_0 (X)$algebra
all of whose fibers have one of the weak ideal property,
topological dimension zero,
residual (SP),
or the combination of pure infiniteness and the ideal property,
then $A$ also has the corresponding property
(for topological dimension zero, provided $A$ is separable).
$\bullet$
Topological dimension zero,
the weak ideal property,
and the ideal property
are all equivalent
for a substantial class of separable C*algebras including
all separable locally AH~algebras.
$\bullet$
The weak ideal property does not imply the ideal property
for separable $Z$stable C*algebras.
We give other related results,
as well as counterexamples to several other statements
one might hope for.
Keywords:ideal property, weak ideal property, topological dimension zero, $C_0 (X)$algebra, purely infinite C*algebra Category:46L05 

3. CJM Online first
 Bosa, Joan; Petzka, Henning

Comparison Properties of the Cuntz semigroup and applications to C*algebras
We study comparison properties in the category $\mathrm{Cu}$ aiming to
lift results to the C*algebraic setting. We introduce a new
comparison property and relate it to both the CFP and $\omega$comparison.
We show differences of all properties by providing examples,
which suggest that the corona factorization for C*algebras might
allow for both finite and infinite projections. In addition,
we show that R{\o}rdam's simple, nuclear C*algebra with a finite
and an infinite projection does not have the CFP.
Keywords:classification of C*algebras, cuntz semigroup Categories:46L35, 06F05, 46L05, 19K14 

4. CJM Online first
 Dantas, Sheldon; García, Domingo; Maestre, Manuel; Martín, Miguel

The BishopPhelpsBollobÃ¡s property for compact operators
We study the BishopPhelpsBollobÃ¡s property (BPBp for short)
for compact operators. We present some abstract techniques which
allows to carry the BPBp for compact operators from sequence
spaces to function spaces. As main applications, we prove the
following results. Let $X$, $Y$ be Banach spaces. If $(c_0,Y)$
has the BPBp for compact operators, then so do $(C_0(L),Y)$ for
every locally compact Hausdorff topological space $L$ and $(X,Y)$
whenever $X^*$ is isometrically isomorphic to $\ell_1$.
If $X^*$ has the RadonNikodÃ½m property and $(\ell_1(X),Y)$
has the BPBp for compact operators, then so does $(L_1(\mu,X),Y)$
for every positive measure $\mu$; as a consequence, $(L_1(\mu,X),Y)$
has the the BPBp for compact operators when $X$ and $Y$ are finitedimensional
or $Y$ is a Hilbert space and $X=c_0$ or $X=L_p(\nu)$ for any
positive measure $\nu$ and $1\lt p\lt \infty$.
For $1\leq p \lt \infty$, if $(X,\ell_p(Y))$ has the BPBp for compact
operators, then so does $(X,L_p(\mu,Y))$ for every positive measure
$\mu$ such that $L_1(\mu)$ is infinitedimensional. If $(X,Y)$
has the BPBp for compact operators, then so do $(X,L_\infty(\mu,Y))$
for every $\sigma$finite positive measure $\mu$ and $(X,C(K,Y))$
for every compact Hausdorff topological space $K$.
Keywords:BishopPhelps theorem, BishopPhelpsBollobÃ¡s property, norm attaining operator, compact operator Categories:46B04, 46B20, 46B28, 46B25, 46E40 

5. CJM Online first
 Bao, Guanlong; Göğüş, Nihat Gökhan; Pouliasis, Stamatis

On Dirichlet spaces with a class of superharmonic weights
In this paper, we investigate Dirichlet spaces $\mathcal{D}_\mu$ with
superharmonic weights induced by positive Borel measures $\mu$
on
the open unit disk. We establish the AlexanderTaylorUllman
inequality for $\mathcal{D}_\mu$ spaces and we characterize the cases where
equality occurs.
We define a class of weighted Hardy spaces $H_{\mu}^{2}$ via
the balayage of the measure $\mu$.
We show that $\mathcal{D}_\mu$
is equal to $H_{\mu}^{2}$ if and only if $\mu$ is a
Carleson measure for $\mathcal{D}_\mu$. As an application, we obtain the
reproducing kernel of $\mathcal{D}_\mu$ when $\mu$ is an infinite
sum of point mass measures. We consider the boundary
behavior and innerouter factorization of functions in $\mathcal{D}_\mu$.
We also characterize the boundedness and
compactness of composition operators on $\mathcal{D}_\mu$.
Keywords:Dirichlet space, Hardy space, superharmonic weight Categories:30H10, 31C25, 46E15 

6. CJM Online first
 Eilers, Søren; Restorff, Gunnar; Ruiz, Efren; Sørensen, Adam P. W.

Geometric classification of graph C*algebras over finite graphs
We address the classification problem for graph $C^*$algebras of
finite graphs (finitely many edges and vertices), containing
the class of CuntzKrieger algebras as a
prominent special case. Contrasting earlier work, we do not assume
that the graphs satisfy the standard condition (K), so that the
graph
$C^*$algebras may come with uncountably many ideals.
We find that in this generality, stable isomorphism of graph
$C^*$algebras does not coincide with the geometric notion of Cuntz
move equivalence. However, adding a modest condition on the
graphs, the two notions are proved to be mutually equivalent and
equivalent to the $C^*$algebras having isomorphic $K$theories. This
proves in turn that under this condition, the graph
$C^*$algebras are in fact classifiable by $K$theory, providing in
particular complete classification when the $C^*$algebras in question
are either of real rank zero or type I/postliminal. The key ingredient
in obtaining these results is a characterization of Cuntz move
equivalence using the adjacency matrices of the graphs.
Our results are applied to discuss the classification problem
for the quantum lens spaces defined by Hong and SzymaÅski,
and to complete the classification of graph $C^*$algebras associated to
all simple graphs with four vertices or less.
Keywords:graph $C^*$algebra, geometric classification, $K$theory, flow equivalence Categories:46L35, 46L80, 46L55, 37B10 

7. CJM Online first
 Fricain, Emmanuel; Rupam, Rishika

On asymptotically orthonormal sequences
An asymptotically orthonormal sequence is a sequence which is
"nearly" orthonormal in the sense that it satisfies the Parseval
equality up to two constants close to one. In this paper, we
explore such sequences formed by normalized reproducing kernels
for model spaces and de BrangesRovnyak spaces.
Keywords:function space, de BrangesRovnyak and model space, reproducing kernel, asymptotically orthonormal sequence Categories:30J05, 30H10, 46E22 

8. CJM Online first
 Giannopoulos, Apostolos; Koldobsky, Alexander; Valettas, Petros

Inequalities for the surface area of projections of convex bodies
We provide general inequalities that compare the surface area
$S(K)$ of a convex body $K$ in ${\mathbb R}^n$
to the minimal, average or maximal surface area of its hyperplane
or lower dimensional projections. We discuss the
same questions for all the quermassintegrals of $K$. We examine
separately the dependence of the constants
on the dimension in the case where $K$ is in some of the classical
positions or $K$ is a projection body.
Our results are in the spirit of the hyperplane problem, with
sections replaced by projections and volume by
surface area.
Keywords:surface area, convex body, projection Categories:52A20, 46B05 

9. CJM Online first
 Ng, P. W.; Skoufranis, P.

Closed convex hulls of unitary orbits in certain simple real rank zero C$^*$algebras
In this paper, we characterize the closures of convex hulls of
unitary orbits of selfadjoint operators in unital, separable,
simple C$^*$algebras with nontrivial tracial simplex, real
rank zero, stable rank one, and strict comparison of projections
with respect to tracial states. In addition, an upper bound
for the number of unitary conjugates in a convex combination
needed to approximate a selfadjoint are obtained.
Keywords:convex hull of unitary orbits, real rank zero C*algebras simple, eigenvalue function, majorization Category:46L05 

10. CJM Online first
 Crann, Jason

Amenability and covariant injectivity of locally compact quantum groups II
Building on our previous work, we study the nonrelative homology
of quantum group convolution algebras. Our main result establishes
the equivalence of amenability of a locally compact quantum group
$\mathbb{G}$ and 1injectivity of
$L^{\infty}(\widehat{\mathbb{G}})$
as an operator
$L^1(\widehat{\mathbb{G}})$module.
In particular, a locally compact group $G$ is amenable if and
only if its group von Neumann algebra
$VN(G)$
is 1injective as
an operator module over the Fourier algebra $A(G)$. As an application,
we provide a decomposability result for completely bounded
$L^1(\widehat{\mathbb{G}})$module
maps on
$L^{\infty}(\widehat{\mathbb{G}})$,
and give a simplified proof that amenable discrete
quantum groups have coamenable compact duals which avoids the
use of modular theory and the PowersStÃ¸rmer inequality, suggesting
that our homological techniques may yield a new approach to the
open problem of duality between amenability and coamenability.
Keywords:locally compact quantum group, amenability, injective module Categories:22D35, 46M10, 46L89 

11. CJM 2016 (vol 69 pp. 650)
 Oikhberg, Timur; Tradacete, Pedro

Almost Disjointness Preservers
We study the stability of disjointness preservers on Banach lattices.
In many cases, we prove that an "almost disjointness preserving"
operator is well approximable by a disjointness preserving one.
However, this approximation is not always possible, as our
examples show.
Keywords:Banach lattice, disjointness preserving Categories:47B38, 46B42 

12. CJM 2016 (vol 69 pp. 548)
 Hartglass, Michael

Free Product C*algebras Associated with Graphs, Free Differentials, and Laws of Loops
We study a canonical C$^*$algebra, $\mathcal{S}(\Gamma, \mu)$, that
arises from a weighted graph $(\Gamma, \mu)$, specific cases
of which were previously studied in the context of planar algebras.
We discuss necessary and sufficient conditions of the weighting
which ensure simplicity and uniqueness of trace of $\mathcal{S}(\Gamma,
\mu)$, and study the structure of its positive cone. We then
study the $*$algebra, $\mathcal{A}$, generated by the generators of
$\mathcal{S}(\Gamma, \mu)$, and use a free differential calculus and
techniques of Charlesworth and Shlyakhtenko, as well as Mai,
Speicher, and Weber to show that certain ``loop" elements have
no atoms in their spectral measure. After modifying techniques
of Shlyakhtenko and Skoufranis to show that self adjoint elements
$x \in M_{n}(\mathcal{A})$ have algebraic Cauchy transform, we explore
some applications to eigenvalues of polynomials in Wishart matrices
and to diagrammatic elements in von Neumann algebras initially
considered by Guionnet, Jones, and Shlyakhtenko.
Keywords:free probability, C*algebra Category:46L09 

13. CJM 2016 (vol 68 pp. 999)
 Izumi, Masaki; Morrison, Scott; Penneys, David

Quotients of $A_2 * T_2$
We study unitary quotients of the free product unitary pivotal
category $A_2*T_2$.
We show that such quotients are parametrized by an integer $n\geq
1$ and an $2n$th root of unity $\omega$.
We show that for $n=1,2,3$, there is exactly one quotient and
$\omega=1$.
For $4\leq n\leq 10$, we show that there are no such quotients.
Our methods also apply to quotients of $T_2*T_2$, where we have
a similar result.
The essence of our method is a consistency check on jellyfish
relations.
While we only treat the specific cases of $A_2 * T_2$ and $T_2
* T_2$, we anticipate that our technique can be extended to a
general method for proving nonexistence of planar algebras with
a specified principal graph.
During the preparation of this manuscript, we learnt of Liu's
independent result on composites of $A_3$ and $A_4$ subfactor
planar algebras
(arxiv:1308.5691).
In 1994, BischHaagerup showed that the principal graph of a
composite of $A_3$ and $A_4$ must fit into a certain family,
and Liu has classified all such subfactor planar algebras.
We explain the connection between the quotient categories and
the corresponding composite subfactor planar algebras.
As a corollary of Liu's result, there are no such quotient categories
for $n\geq 4$.
This is an abridged version of
arxiv:1308.5723.
Keywords:pivotal category, free product, quotient, subfactor, intermediate subfactor Category:46L37 

14. CJM 2016 (vol 69 pp. 373)
 Kaftal, Victor; Ng, Ping Wong; Zhang, Shuang

Strict Comparison of Positive Elements in Multiplier Algebras
Main result: If a C*algebra $\mathcal{A}$ is simple, $\sigma$unital,
has finitely many extremal traces, and has strict comparison
of positive elements by traces, then its multiplier algebra
$\operatorname{\mathcal{M}}(\mathcal{A})$
also has strict comparison of positive elements by traces. The
same results holds if ``finitely many extremal traces" is replaced
by ``quasicontinuous scale".
A key ingredient in the proof is that every positive element
in the multiplier algebra of an arbitrary $\sigma$unital C*algebra
can be approximated by a bidiagonal series.
An application of strict comparison: If $\mathcal{A}$ is a simple separable
stable C*algebra with real rank zero, stable rank one, and
strict comparison of positive elements by traces, then whether
a positive element is a positive linear combination of projections
is determined by the trace values of its range projection.
Keywords:strict comparison, bidiagonal form, positive combinations Categories:46L05, 46L35, 46L45, 47C15 

15. CJM 2016 (vol 68 pp. 1023)
 Phillips, John; Raeburn, Iain

Centrevalued Index for Toeplitz Operators with Noncommuting Symbols
We formulate and prove a ``winding number'' index
theorem for certain ``Toeplitz'' operators in the same spirit
as GohbergKrein, Lesch and others. The ``number'' is replaced
by a selfadjoint operator in a subalgebra $Z\subseteq Z(A)$
of a unital $C^*$algebra, $A$. We assume a faithful $Z$valued
trace $\tau$ on $A$ left invariant under an action $\alpha:{\mathbf
R}\to Aut(A)$ leaving $Z$ pointwise fixed.If $\delta$ is the
infinitesimal generator of $\alpha$ and $u$ is invertible in
$\operatorname{dom}(\delta)$ then the
``winding operator'' of $u$ is $\frac{1}{2\pi i}\tau(\delta(u)u^{1})\in
Z_{sa}.$ By a careful choice of representations we extend $(A,Z,\tau,\alpha)$
to a von Neumann setting
$(\mathfrak{A},\mathfrak{Z},\bar\tau,\bar\alpha)$ where $\mathfrak{A}=A^{\prime\prime}$
and $\mathfrak{Z}=Z^{\prime\prime}.$
Then $A\subset\mathfrak{A}\subset \mathfrak{A}\rtimes{\bf R}$, the von
Neumann crossed product, and there is a faithful, dual $\mathfrak{Z}$trace
on $\mathfrak{A}\rtimes{\bf R}$. If $P$ is the projection in $\mathfrak{A}\rtimes{\bf
R}$
corresponding to the nonnegative spectrum of the generator of
$\mathbf R$ inside $\mathfrak{A}\rtimes{\mathbf R}$ and
$\tilde\pi:A\to\mathfrak{A}\rtimes{\mathbf R}$
is the embedding then we define for $u\in A^{1}$, $T_u=P\tilde\pi(u)
P$
and show it is Fredholm in an appropriate sense and the $\mathfrak{Z}$valued
index of $T_u$ is the negative of the winding operator.
In outline the proof follows the proof of the scalar case done
previously by the authors. The main difficulty is making sense
of the constructions with the scalars replaced by $\mathfrak{Z}$ in
the von Neumann setting. The construction of the dual $\mathfrak{Z}$trace
on $\mathfrak{A}\rtimes{\mathbf R}$ required the nontrivial development
of a $\mathfrak{Z}$Hilbert Algebra theory. We show that certain of
these Fredholm operators fiber as a ``section'' of Fredholm operators
with scalarvalued index and the centrevalued index fibers as
a section of the scalarvalued indices.
Keywords:index ,Toeplitz operator Categories:46L55, 19K56, 46L80 

16. CJM 2016 (vol 69 pp. 54)
 Hartz, Michael

On the Isomorphism Problem for Multiplier Algebras of NevanlinnaPick Spaces
We continue the investigation of the isomorphism problem for
multiplier algebras of reproducing kernel
Hilbert spaces with the complete NevanlinnaPick property.
In contrast to previous work in this area,
we do not study these spaces by identifying them with restrictions
of a universal space, namely the DruryArveson space.
Instead, we work directly with the Hilbert spaces and their
reproducing kernels. In particular,
we show that two multiplier algebras of NevanlinnaPick spaces
on the same set are equal if and only if the Hilbert
spaces are equal. Most of the article is devoted to the study
of a special class of
complete NevanlinnaPick spaces on homogeneous varieties. We
provide a complete
answer to the question of when two multiplier algebras of spaces
of this type
are algebraically or isometrically isomorphic. This generalizes
results of Davidson, Ramsey, Shalit,
and the author.
Keywords:nonselfadjoint operator algebras, reproducing kernel Hilbert spaces, multiplier algebra, NevanlinnaPick kernels, isomorphism problem Categories:47L30, 46E22, 47A13 

17. CJM 2016 (vol 68 pp. 1067)
 Runde, Volker; Viselter, Ami

On Positive Definiteness over Locally Compact Quantum Groups
The notion of positivedefinite functions over locally compact
quantum
groups was recently introduced and studied by Daws and Salmi.
Based
on this work, we generalize various wellknown results about
positivedefinite
functions over groups to the quantum framework. Among these are
theorems
on "square roots" of positivedefinite functions, comparison
of
various topologies, positivedefinite measures and characterizations
of amenability, and the separation property with respect to compact
quantum subgroups.
Keywords:bicrossed product, locally compact quantum group, noncommutative $L^p$space, positivedefinite function, positivedefinite measure, separation property Categories:20G42, 22D25, 43A35, 46L51, 46L52, 46L89 

18. CJM 2016 (vol 68 pp. 698)
 Skalski, Adam; Sołtan, Piotr

Quantum Families of Invertible Maps and Related Problems
The notion of families of quantum invertible maps (C$^*$algebra
homomorphisms satisfying PodleÅ' condition) is employed to strengthen
and reinterpret several results concerning universal quantum
groups acting on finite quantum spaces. In particular Wang's
quantum automorphism groups are shown to be universal with respect
to quantum families of invertible maps. Further the construction
of the Hopf image of Banica and Bichon is phrased in the purely
analytic language and employed to define the quantum subgroup
generated by a family of quantum subgroups or more generally
a family of quantum invertible maps.
Keywords:quantum families of invertible maps, Hopf image, universal quantum group Categories:46L89, 46L65 

19. CJM 2016 (vol 69 pp. 321)
 De Bernardi, Carlo Alberto; Veselý, Libor

Tilings of Normed Spaces
By a tiling of a topological linear space $X$ we mean a
covering of $X$ by at least two closed convex sets,
called tiles, whose nonempty interiors are
pairwise disjoint.
Study of tilings of infinitedimensional spaces initiated in
the
1980's with pioneer papers by V. Klee.
We prove some general properties of tilings of locally convex
spaces,
and then apply these results to study existence of tilings of
normed and Banach spaces by tiles possessing
certain smoothness or rotundity properties. For a Banach space
$X$,
our main results are the following.
1. $X$ admits no tiling by FrÃ©chet smooth bounded tiles.
2. If $X$ is locally uniformly rotund (LUR), it does not admit
any tiling by balls.
3. On the other hand, some $\ell_1(\Gamma)$ spaces, $\Gamma$
uncountable, do admit
a tiling by pairwise disjoint LUR bounded tiles.
Keywords:tiling of normed space, FrÃ©chet smooth body, locally uniformly rotund body, $\ell_1(\Gamma)$space Categories:46B20, 52A99, 46A45 

20. CJM 2016 (vol 68 pp. 876)
 Ostrovskii, Mikhail; Randrianantoanina, Beata

Metric Spaces Admitting Lowdistortion Embeddings into All $n$dimensional Banach Spaces
For a fixed $K\gg 1$ and
$n\in\mathbb{N}$, $n\gg 1$, we study metric
spaces which admit embeddings with distortion $\le K$ into each
$n$dimensional Banach space. Classical examples include spaces
embeddable
into $\log n$dimensional Euclidean spaces, and equilateral spaces.
We prove that good embeddability properties are preserved under
the operation of metric composition of metric spaces. In
particular, we prove that $n$point ultrametrics can be
embedded with uniformly bounded distortions into arbitrary Banach
spaces of dimension $\log n$.
The main result of the paper is a new example of a family of
finite metric spaces which are not metric compositions of
classical examples and which do embed with uniformly bounded
distortion into any Banach space of dimension $n$. This partially
answers a question of G. Schechtman.
Keywords:basis constant, bilipschitz embedding, diamond graph, distortion, equilateral set, ultrametric Categories:46B85, 05C12, 30L05, 46B15, 52A21 

21. CJM 2016 (vol 68 pp. 309)
 Daws, Matthew

Categorical Aspects of Quantum Groups: Multipliers and Intrinsic Groups
We show that the assignment of the (left) completely bounded
multiplier algebra
$M_{cb}^l(L^1(\mathbb G))$ to a locally compact quantum group
$\mathbb G$, and
the assignment of the intrinsic group, form functors between
appropriate
categories. Morphisms of locally compact quantum
groups can be described by Hopf $*$homomorphisms between universal
$C^*$algebras, by bicharacters, or by special sorts of coactions.
We show that the whole
theory of completely bounded multipliers can be lifted to the
universal
$C^*$algebra level, and that then the different pictures of
both multipliers
(reduced, universal, and as centralisers)
and morphisms interact in extremely natural ways. The intrinsic
group of a
quantum group can be realised as a class of multipliers, and
so our techniques
immediately apply. We also show how to think of the intrinsic
group using
the universal $C^*$algebra picture, and then, again, show how
the differing
views on the intrinsic group interact naturally with morphisms.
We show that
the intrinsic group is the ``maximal classical'' quantum subgroup
of a locally
compact quantum group, show that it is even closed in the strong
Vaes sense,
and that the intrinsic group functor is an adjoint to the inclusion
functor
from locally compact groups to quantum groups.
Keywords:locally compact quantum group, morphism, intrinsic group, multiplier, centraliser Categories:20G42, 22D25, 43A22, 43A35, 43A95, 46L52, 46L89, 47L25 

22. CJM 2015 (vol 69 pp. 408)
 Klep, Igor; Špenko, Špela

Free Function Theory Through Matrix Invariants
This paper concerns free function theory. Free maps are free
analogs of analytic functions in several complex variables,
and are defined in terms of freely noncommuting variables.
A function of $g$ noncommuting variables is a function on $g$tuples
of square matrices of all sizes that respects direct sums and
simultaneous conjugation.
Examples of such maps include noncommutative polynomials, noncommutative
rational functions and convergent noncommutative power series.
In sharp contrast to the existing literature in free analysis, this article
investigates free maps \emph{with involution} 
free analogs of real analytic functions.
To
get a grip on these,
techniques and tools from invariant theory are developed and
applied to free analysis. Here is a sample of the results obtained.
A characterization of polynomial free maps via properties of
their finitedimensional slices is presented and then used to
establish power series expansions for analytic free maps about
scalar and nonscalar points; the latter are series of generalized
polynomials for which an invarianttheoretic characterization
is given.
Furthermore,
an inverse and implicit function theorem for free maps with
involution is obtained.
Finally, with a selection of carefully chosen examples
it is shown that
free maps with involution
do not exhibit strong rigidity properties
enjoyed by their involutionfree
counterparts.
Keywords:free algebra, free analysis, invariant theory, polynomial identities, trace identities, concomitants, analytic maps, inverse function theorem, generalized polynomials Categories:16R30, 32A05, 46L52, 15A24, 47A56, 15A24, 46G20 

23. CJM 2015 (vol 67 pp. 1290)
 Charlesworth, Ian; Nelson, Brent; Skoufranis, Paul

On Twofaced Families of Noncommutative Random Variables
We demonstrate that the notions of bifree independence and combinatorialbifree
independence of twofaced families are equivalent using a diagrammatic
view of binoncrossing partitions.
These diagrams produce an operator model on a Fock space suitable
for representing any twofaced family of noncommutative random
variables.
Furthermore, using a Kreweras complement on binoncrossing partitions
we establish the expected formulas for the multiplicative convolution
of a bifree pair of twofaced families.
Keywords:free probability, operator algebras, bifree Category:46L54 

24. CJM 2015 (vol 67 pp. 990)
 Amini, Massoud; Elliott, George A.; Golestani, Nasser

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,
Ktheory, 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 

25. CJM 2015 (vol 67 pp. 481)
 an Huef, Astrid; Archbold, Robert John

The C*algebras of Compact Transformation Groups
We investigate the representation theory of the
crossedproduct $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}(n1)$. 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, crossedproduct C*algebra, continuoustrace C*algebra, Fell algebra Categories:46L05, 46L55 
