• ### Self-Similar $k$-Graph C*-Algebras(1712.08194)

Jan. 15, 2018 math.OA
In this paper, we introduce a notion of a self-similar 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 Cuntz-Pimsner 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 "path-like" 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 self-similar graphs.
• ### Boundary Quotient C*-algebras of Products of Odometers(1702.05814)

May 5, 2017 math.OA
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 single-vertex $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 Cuntz-Pimsner 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 Brownlowe-Ramagge-Robertson-Whittaker.
• ### Cartan Subalgebras of Topological Graph Algebras and k-Graph C*-algebras(1610.05268)

Oct. 17, 2016 math.OA
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 row-finite k-graph without sources has closed interior of its isotropy group bundle. It follows that the associated topological graph algebra and the associated k-graph C*-algebra have Cartan subalgebras due to a result of Brown-Nagy-Reznikoff-Sims-Williams.
• ### Affine Actions and the Yang-Baxter Equation(1607.03393)

July 12, 2016 math.QA
In this paper, the relations between the Yang-Baxter equation and affine actions are explored in detail. In particular, we classify solutions of the Yang-Baxter 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.
• ### Factoriality and type classification of \textsf{k}-graph von Neumann algebras(1311.4638)

Sept. 6, 2015 math.OA, math.FA
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 pull-back 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.
• ### Cycline subalgebras of $k$-graph C*-algebras(1508.07086)

Aug. 28, 2015 math.OA, math.FA
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).
• ### The interplay between $k$-graphs and the Yang-Baxter equation(1506.03117)

June 9, 2015 math.OA, math.QA
In this paper, we initiate the study of the interplay between $k$-graphs and the Yang-Baxter equation. For this, we provide two very different perspectives. One one hand, we show that the set of all set-theoretic solutions of the Yang-Baxter equation is a special class of single-vertex $k$-graphs. As a consequence, we construct an infinite family of large solutions of the Yang-Baxter equation from an arbitrarily given one. On the other hand, we prove that all single-vertex $k$-graphs are YB-semigroups of square-free, involutive solutions of the Yang-Baxter equation. Other various connections are also investigated.
• ### Periodic higher rank graphs revisited(1403.6848)

Aug. 27, 2014 math.OA, math.FA
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 in-depth study on periodicity of $P$-graphs.
• ### The Hopf structure of some dual operator algebras(1308.2752)

Aug. 13, 2013 math.OA, math.FA
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 Drury-Arveson 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 (non-self-adjoint) 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.
• ### Orthogonally Additive Mappings on Hilbert Modules(1304.7207)

April 26, 2013 math.OA, math.FA
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.
• ### A non-self-adjoint Lebesgue decomposition(1302.5191)

Feb. 21, 2013 math.OA, math.FA
We study the structure of bounded linear functionals on a class of non-self-adjoint operator algebras that includes the multiplier algebra of every complete Nevanlinna-Pick space, and in particular the multiplier algebra of the Drury-Arveson 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 non-self-adjoint 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.

Jan. 6, 2013 math.OA
We study the structure of weakly-closed nonself-adjoint algebras arising from representations of single vertex 2-graphs. These are the algebras generated by 2 isometric tuples which satisfy a certain commutation relation. We show that these algebras have a lower-triangular $3\times 3$ form. The left-hand side of this matrix decomposition is a slice of the enveloping von Neumann algebra generated by the 2-graph 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.
• ### Analytic Free Semigroup Algebras and Hopf Algebras(1202.2103)

Feb. 9, 2012 math.OA
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.
• ### Type III von Neumann Algebras associated with $\O_\theta$(1104.5697)

April 29, 2011 math.OA
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.
• ### Functional Equations and Fourier Analysis(1006.5091)

June 26, 2010 math.FA
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.
• ### Endomorphisms and Modular Theory of 2-Graph C*-Algebras(0907.1129)

Oct. 9, 2009 math.OA, math.FA
In this paper, we initiate the study of endomorphisms and modular theory of the graph C*-algebras $\O_{\theta}$of a 2-graph $\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 Davidson-Power-Yang and \cite{DY} by Davidson-Yang.
• ### Atomic Representations of Rank 2 Graph Algebras(0705.4498)

Nov. 22, 2008 math.OA
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.
• ### Nonabelian harmonic analysis and functional equations on compact groups(0809.0911)

Sept. 4, 2008 math.FA
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.
• ### Representations of Higher Rank Graph Algebras(0804.3802)

April 23, 2008 math.OA, math.FA
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$.
• ### Dilation Theory for Rank 2 Graph Algebras(0705.4496)

May 31, 2007 math.OA
An analysis is given of $*$-representations of rank 2 single vertex graphs. We develop dilation theory for the non-selfadjoint 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$.
• ### Periodicity in Rank 2 Graph Algebras(0705.4499)

May 31, 2007 math.OA
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.