
In this paper, we introduce a notion of a selfsimilar action of a group $G$
on a $k$graph $\Lambda$, and associate it a universal C*algebra
$\O_{G,\Lambda}$. We prove that $\O_{G,\Lambda}$ can be realized as the
CuntzPimsner algebra of a product system. If $G$ is amenable and the action is
pseudo free, then $\O_{G,\Lambda}$ is shown to be isomorphic to a "pathlike"
groupoid C*algebra. This facilitates studying the properties of
$\O_{G,\Lambda}$. We show that $\O_{G,\Lambda}$ is always nuclear and satisfies
the Universal Coefficient Theorem; we characterize the simplicity of
$\O_{G,\Lambda}$ in terms of the underlying action; and we prove that, whenever
$\O_{G,\Lambda}$ is simple, there is a dichotomy: it is either stably finite or
purely infinite, depending on whether $\Lambda$ has nonzero graph traces or
not. Our main results generalize the recent work of Exel and Pardo on
selfsimilar graphs.

In this paper, we study the boundary quotient C*algebras associated to
products of odometers. One of our main results shows that the boundary quotient
C*algebra of the standard product of $k$ odometers over $n_i$letter alphabets
($1\le i\le k$) is always nuclear, and that it is a UCT Kirchberg algebra if
and only if $\{\ln n_i: 1\le i\le k\}$ is rationally independent, if and only
if the associated singlevertex $k$graph C*algebra is simple. To achieve
this, one of our main steps is to construct a topological $k$graph such that
its associated CuntzPimsner C*algebra is isomorphic to the boundary quotient
C*algebra. Some relations between the boundary quotient C*algebra and the
C*algebra $\Q_\bN$ introduced by Cuntz are also investigated. As an easy
consequence of our main results, it settles a boundary quotient C*algebra
constructed by BrownloweRamaggeRobertsonWhittaker.

In this paper, two sufficient and necessary conditions are given. The first
one characterizes when the boundary path groupoid of a topological graph
without singular vertices has closed interior of its isotropy group bundle, and
the second one characterizes when the path groupoid of a rowfinite kgraph
without sources has closed interior of its isotropy group bundle. It follows
that the associated topological graph algebra and the associated kgraph
C*algebra have Cartan subalgebras due to a result of
BrownNagyReznikoffSimsWilliams.

In this paper, the relations between the YangBaxter equation and affine
actions are explored in detail. In particular, we classify solutions of the
YangBaxter equations in two ways: (i) by their associated affine actions of
their structure groups on their derived structure groups, and (ii) by the
C*dynamical systems obtained from their associated affine actions. On the way
to our main results, several other useful results are also obtained.

Let $\Fth$ be a single vertex \textsf{k}graph, and $\pi_\omega(\O_\theta)"$
be the von Neumann algebra induced from the GNS representation of a
distinguished state $\omega$ of its $\textsf{k}$graph C*algebra $\O_\theta$.
In this paper, we prove the factoriality of $\pi_\omega(\O_\theta)"$ and
further determine its type, when either $\Fth$ has the little pullback
property, or the intrinsic group of $\Fth$ has rank $0$. The key step to
achieve this is to show that the fixed point algebra of the modular action
corresponding to $\omega$ has a unique tracial state.

In this paper, we prove that the cycline subalgbra of a $k$graph C*algebra
is maximal abelian, and show when it is a Cartan subalgebra (in the sense of
Renault).

In this paper, we initiate the study of the interplay between $k$graphs and
the YangBaxter equation. For this, we provide two very different perspectives.
One one hand, we show that the set of all settheoretic solutions of the
YangBaxter equation is a special class of singlevertex $k$graphs. As a
consequence, we construct an infinite family of large solutions of the
YangBaxter equation from an arbitrarily given one. On the other hand, we prove
that all singlevertex $k$graphs are YBsemigroups of squarefree, involutive
solutions of the YangBaxter equation. Other various connections are also
investigated.

Let $P$ be a finitely generated cancellative abelian monoid. A $P$graph
$\Lambda$ is a natural generalization of a higher rank graph. A pullback of
$\Lambda$ is constructed by pulling it back over a given monoid morphism to
$P$, while a pushout of $\Lambda$ is obtained by modding out its periodicity
$\Per\Lambda$, which is deduced from a natural equivalence relation on
$\Lambda$. One of our main results in this paper shows that, for a class of
higher rank graphs $\Lambda$, $\Lambda$ is isomorphic to the pullback of its
pushout via a natural quotient map, and that its graph C*algebra can be
embedded into the tensor product of the graph C*algebra of its pushout and
$\ca(\Per\Lambda)$. As a consequence, its cycline C*algebra generated by the
standard generators with equivalent pairs is an abelian core (particularly a
MASA). Along the way, we give an indepth study on periodicity of $P$graphs.

We study the Hopf structure of a class of dual operator algebras
corresponding to certain semigroups. This class of algebras arises in dilation
theory, and includes the noncommutative analytic Toeplitz algebra and the
multiplier algebra of the DruryArveson space, which correspond to the free
semigroup and the free commutative semigroup respectively. The preduals of the
algebras in this class naturally form Hopf (convolution) algebras. The original
algebras and their preduals form (nonselfadjoint) dual Hopf algebras in the
sense of Effros and Ruan. We study these algebras from this perspective, and
obtain a number of results about their structure.

In this paper, we study the representation of orthogonally additive mappings
acting on Hilbert $C^*$modules and Hilbert $H^*$modules. One of our main
results shows that every continuous orthogonally additive mapping $f$ from a
Hilbert module $W$ over $\K(\H)$ or $\H\S(\H)$ to a complex normed space is of
the form $f(x)=T(x)+\Phi(< x, x >)$ for all $x\in W$, where $T$ is a continuous
additive mapping, and $\Phi$ is a continuous linear mapping.

We study the structure of bounded linear functionals on a class of
nonselfadjoint operator algebras that includes the multiplier algebra of
every complete NevanlinnaPick space, and in particular the multiplier algebra
of the DruryArveson space. Our main result is a Lebesgue decomposition
expressing every linear functional as the sum of an absolutely continuous (i.e.
weak* continuous) linear functional, and a singular linear functional that is
far from being absolutely continuous. This is a nonselfadjoint analogue of
Takesaki's decomposition theorem for linear functionals on von Neumann
algebras. We apply our decomposition theorem to prove that the predual of every
algebra in this class is (strongly) unique.

We study the structure of weaklyclosed nonselfadjoint algebras arising from
representations of single vertex 2graphs. These are the algebras generated by
2 isometric tuples which satisfy a certain commutation relation. We show that
these algebras have a lowertriangular $3\times 3$ form. The lefthand side of
this matrix decomposition is a slice of the enveloping von Neumann algebra
generated by the 2graph algebra. We further give necessary and sufficient
conditions for these algebras themselves to be von Neumann algebras. The paper
concludes with further study of atomic representations.

Let $\fS$ be an analytic free semigroup algebra. In this paper, we explore
richer structures of $\fS$ and its predual $\fS_*$. We prove that $\fS$ and
$\fS_*$ both are Hopf algebras. Moreover, the structures of $\fS$ and $\fS_*$
are closely connected with each other: There is a bijection between the set of
completely bounded representations of $\fS_*$ and the set of corepresentations
of $\fS$ on one hand, and $\fS$ can be recovered from the coefficient operators
of completely bounded representations of $\fS_*$ on the other hand. As an
amusing application of our results, the (Gelfand) spectrum of $\fS_*$ is
identified. Surprisingly, the main results of this paper seem new even in the
classical case.

Let $\Fth$ be a 2 graph generated by $m$ blue edges and $n$ red edges, and
$\omega$ be the distinguished faithful state associated with its graph
C*algebra $\O_\theta$.
In this paper, we characterize the factorness of the von Neumann algebra
$\pi_\omega(\O_\theta)"$ induced from the GNS representation of $\omega$ under
a certain condition. Moreover, when $\pi_\omega(\O_\theta)"$ is a factor, then
it is of type III$_{m^{\frac{1}{b}}}$ (or III$_{n^{\frac{1}{a}}}$) if
$\frac{\ln m}{\ln n}\in\bQ$, where $a,b\in\bN$ with $\gcd(a,b)=1$ satisfy
$m^a=n^b$, and of type III$_1$ if $\frac{\ln m}{\ln n}\not\in\bQ$. In the case
of $\theta$ being the identity permutation, our condition turns out to be
redundant.
On the way to our main results, we also obtain the structure of the fixed
point algebra $\O_\theta^\sigma$ of the modular action $\sigma$ from $\omega$.
This could be useful in proving the redundancy of our extra condition.

By exploring the relations among functional equations, harmonic analysis and
representation theory, we give a unified and very accessible approach to solve
three important functional equations  the d'Alembert equation, the Wilson
equation, and the d'Alembert long equation, on compact groups.

In this paper, we initiate the study of endomorphisms and modular theory of
the graph C*algebras $\O_{\theta}$of a 2graph $\Fth$ on a single vertex. We
prove that there is a semigroup isomorphism between unital endomorphisms of
$\O_{\theta}$ and its unitary pairs with a \textit{twisted property}. We
characterize when endomorphisms preserve the fixed point algebra $\fF$ of the
gauge automorphisms and its canonical masa $\fD$. Some other properties of
endomorphisms are also investigated.
As far as the modular theory of $\O_{\theta}$ is concerned, we show that the
algebraic *algebra generated by the generators of $\O_{\theta}$ with the inner
product induced from a distinguished state $\omega$ is a modular Hilbert
algebra. Consequently, we obtain that the von Neumann algebra
$\pi(\O_{\theta})"$ generated by the GNS representation of $\omega$ is an AFD
factor of type III$_1$, provided $\frac{\ln m}{\ln n}\not\in\bQ$. Here $m,n$
are the numbers of generators of $\Fth$ of degree $(1,0)$ and $(0,1)$,
respectively.
This work is a continuation of \cite{DPY1, DPY2} by DavidsonPowerYang and
\cite{DY} by DavidsonYang.

We provide a detailed analysis of atomic *representations of rank 2 graphs
on a single vertex. They are completely classified up to unitary equivalence,
and decomposed into a direct sum or direct integral of irreducible atomic
representations. The building blocks are described as the minimal *dilations
of defect free representations modelled on finite groups of rank 2.

Making use of nonabelian harmonic analysis and representation theory, we
solve the functional equation
$$f_1(xy)+f_2(yx)+f_3(xy^{1})+f_4(y^{1}x)=f_5(x)f_6(y)$$ on arbitrary compact
groups. The structure of its general solution is completely described.
Consequently, several special cases of the above equation, in particular, the
Wilson equation and the d'Alembert long equation, are solved on compact groups.

Let $\Fth$ be a $\Bk$graph on a single vertex. We show that every
irreducible atomic $*$representation is the minimal $*$dilation of a group
construction representation. It follows that every atomic representation
decomposes as a direct sum or integral of such representations. We characterize
periodicity of $\Fth$ and identify a symmetry subgroup $H_\theta$ of $\bZ^\Bk$.
If this has rank $s$, then $\ca(\Fth) \cong \rC(\bT^s) \otimes \fA$ for some
simple C*algebra $\fA$.

An analysis is given of $*$representations of rank 2 single vertex graphs.
We develop dilation theory for the nonselfadjoint algebras $\A_\theta$ and
$\A_u$ which are associated with the commutation relation permutation $\theta$
of a 2 graph and, more generally, with commutation relations determined by a
unitary matrix $u$ in $M_m(\bC) \otimes M_n(\bC)$. We show that a defect free
row contractive representation has a unique minimal dilation to a
$*$representation and we provide a new simpler proof of Solel's row isometric
dilation of two $u$commuting row contractions. Furthermore it is shown that
the C*envelope of $\A_u$ is the generalised Cuntz algebra $\O_{X_u}$ for the
product system $X_u$ of $u$; that for $m\geq 2 $ and $n \geq 2 $ contractive
representations of $\Ath$ need not be completely contractive; and that the
universal tensor algebra $\T_+(X_u)$ need not be isometrically isomorphic to
$\A_u$.

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
$\ca(\Fth)$. The periodic C*algebras are characterized, and it is shown that
$\ca(\Fth) \simeq \rC(\bT) \otimes \fA$ where $\fA$ is a simple C*algebra.