Let $C$ be a unital AH-algebra and let $A$ be a unital separable simple C*-algebra with tracial rank no more than one. Suppose that $ϕ, ψ: C\to A$ are two unital monomorphisms. With some restriction on $C,$ we show that $ϕ$ and $ψ$ are approximately unitarily equivalent if and only if
[ϕ]=[ψ] in KL(C,A)
τ\circ ϕ=τ\circ ψfor all tracial states of A and
ϕ^‡=ψ^‡, here ϕ^‡ and ψ^‡ are homomorphisms from $U(C)/CU(C)\to U(A)/CU(A) induced by ϕand ψ, respectively, and where CU(C) and CU(A) are closures of the subgroup generated by commutators of the unitary groups of C and B.
In this paper, we study closed convex hulls of unitary orbits in various C$^*$-algebras. For unital C$^*$-algebras with real rank zero and a faithful tracial state determining equivalence of projections, a notion of majorization describes the closed convex hulls of unitary orbits for self-adjoint operators. Other notions of majorization are examined in these C$^*$-algebras. Combining these ideas with the Dixmier property, we demonstrate unital, infinite dimensional C$^*$-algebras of real rank zero and strict comparison of projections with respect to a faithful tracial state must be simple and …
Let $A$ be a unital separable simple $C^*$-algebra with tracial rank zero and let $x, \, y\in A$ be two normal elements. We show that $x$ is in the closure of the convex full of the unitary obit of $y$ if and only if there exists a sequence of unital completely positive linear maps $ϕ_n$ from $A$ to $A$ such that the sequence $ϕ_n(y)$ convergent to $x$ in norm and also approximately preserves the trace values. A purely measure theoretical description for normal elements in the closure of convex hull of unitary orbit of $y$ is also given. In the case that $A$ has a unique tracial state some cla…
In this paper, we characterize the closures of convex hulls of unitary orbits of self-adjoint operators in unital, separable, simple C$^*$-algebras with non-trivial 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 self-adjoint are obtained.
In this paper we introduce the "tracial $K$-moment problem" and the "sequential matrix-valued $K$-moment problem" and show the equivalence of the solvability of these problems. Using a Haviland's theorem for matrix polynomials, we solve these $K$-moment problems for the case where $K$ is the hypercube $[-1,1]^n$.
We show that a tracial state on a unital C*-algebra admits a Haar unitary if and only if it is diffuse, if and only if it does not dominate a tracial functional that factors through a finite-dimensional quotient. It follows that a unital C*-algebra has no finite-dimensional representations if and only if each of its tracial states admits a Haar unitary. More generally, we study when nontracial states admit Haar unitaries. In particular, we show that every state on a unital, simple, infinite-dimensional C*-algebra admits a Haar unitary. We obtain applications to the structure of reduced free pr…
We define the notion of self-tracial stability for tracial von Neumann algebras and show that a tracial von Neumann algebra satisfying the Connes Embedding Problem is self-tracially stable if and only if it is amenable. We then generalize a result of Jung by showing that a separable tracial von Neumann algebra that satisfies the Connes Embedding Problem is amenable if and only if any two embeddings into $R^\mathcal{U}$ are ucp-conjugate. Moreover we show that for a II$_1$ factor $N$ satisfying CEP, the space $\mathbb{H}$om$(N, \prod_{k\to \mathcal{U}}M_k)$ of unitary equivalence classes of emb…
We consider the tracial crossed product algebra $M=A\rtimesΛ$ arising from a trace preserving action $σ:Λ\curvearrowright A$ of a discrete group $Λ$ on a tracial von Neumann algebra $A$. For a unitary subgroup $\mathcal{G}\subset \mathcal{U}(M)$, we study when this $\mathcal{G}$ can be conjugated into $\mathcal{U}(A)\cdotΛ$ in $M$. We provide a general sufficient condition for this to happen. Our result generalizes a result of Ioana, Popa and Vaes, which treats the case when $M$ is the group von Neumann algebra $L(Λ)$.
Let $C$ be a unital AH-algebra and let $A$ be a unital separable simple \CA with tracial rank zero. Suppose that $ϕ_1, ϕ_2: C\to A$ are two unital monomorphisms. We show that there is a continuous path of unitaries $\{u_t: t\in [0, \infty)\}$ of $A$ such that $$ \lim_{t\to\infty}u_t^*ϕ_1(a)u_t=ϕ_2(a)\tforal a\in C $$ if and only if $[ϕ_1]=[ϕ_2]$ in $KK(C,A),$ $τ\circ ϕ_1=τ\circ ϕ_2$ for all $τ\in T(A)$ and the rotation map ${\tildeη}_{ϕ_1,ϕ_2}$ associated with $ϕ_1$ and $ϕ_2$ is zero. In particular, an automorphism $\af$ on a unital separable simple \CA $A$ in ${\cal N}$ with tracial rank zero…
Let $C$ and $A$ be two unital separable amenable simple C*-algebras with tracial rank no more than one. Suppose that $C$ satisfies the Universal Coefficient Theorem and suppose that $ϕ_1, ϕ_2: C\to A$ are two unital monomorphisms. We show that there is a continuous path of unitaries $\{u_t: t\in [0, \infty)\}$ of $A$ such that $$ \lim_{t\to\infty}u_t^*ϕ_1(c)u_t=ϕ_2(c)\tforal c\in C $$ if and only if $[ϕ_1]=[ϕ_2]$ in $KK(C,A),$ $ϕ_1^‡=ϕ_2^‡,$ $(ϕ_1)_T=(ϕ_2)_T$ and a rotation related map $\bar{R}_{ϕ_1,ϕ_2}$ associated with $ϕ_1$ and $ϕ_2$ is zero. Applying this result together with a result of W…
Let $A$ be a unital separable simple infinite dimensional \CA with tracial rank no more than one and with the tracial state space $T(A)$ and let $U(A)$ be the unitary group of $A.$ Suppose that $u\in U_0(A),$ the connected component of $U(A)$ containing the identity. We show that, for any $\ep>0,$ there exists a selfadjoint element $h\in A_{s.a}$ such that $$ \|u-\exp(ih)\|<\ep. $$ We also study the problem when $u$ can be approximated by unitaries in $A$ with finite spectrum. Denote by $CU(A)$ the closure of the subgroup of unitary group of $U(A)$ generated by its commutators. It is known tha…
Let $ε>0$ be a positive number. Is there a number $δ>0$ satisfying the following? Given any pair of unitaries $u$ and $v$ in a unital simple $C^*$-algebra $A$ with $[v]=0$ in $K_1(A)$ for which $$ \|uv-vu\|<\dt, $$ there is a continuous path of unitaries $\{v(t): t\in [0,1]\}\subset A$ such that $$ v(0)=v, v(1)=1 \and \|uv(t)-v(t)u\|<ε\forall t\in [0,1]. $$ An answer is given to this question when $A$ is assumed to be a unital simple $C^*$-algebra with tracial rank no more than one. Let $C$ be a unital separable amenable simple $C^*$-algebra with tracial rank no more than one which also satisf…
Let $A$ and $C$ be two unital simple C*-algebas with tracial rank zero. Suppose that $C$ is amenable and satisfies the Universal Coefficient Theorem. Denote by ${KK}_e(C,A)^{++}$ the set of those $κ$ for which $κ(K_0(C)_+\setminus\{0\})\subset K_0(A)_+\setminus\{0\}$ and $κ([1_C])=[1_A]$. Suppose that $κ\in {KK}_e(C,A)^{++}.$ We show that there is a unital monomorphism $ϕ: C\to A$ such that $[ϕ]=κ.$ Suppose that $C$ is a unital AH-algebra and $λ: \mathrm{T}(A)\to \mathrm{T}_{\mathtt{f}}(C)$ is a continuous affine map for which $τ(κ([p]))=λ(τ)(p)$ for all projections $p$ in all matrix algebras …
We obtain results on the unitary equivalence of weak contractions of class $C_0$ to their Jordan models under an assumption on their commutants. In particular, our work addresses the case of arbitrary finite multiplicity. The main tool is the theory of boundary representations due to Arveson. We also generalize and improve previously known results concerning unitary equivalence and similarity to Jordan models when the minimal function is a Blaschke product.
In this paper we investigate operators unitarily equivalent to truncated Toeplitz operators. We show that this class contains certain sums of tensor products of truncated Toeplitz operators. In particular, it contains arbitrary inflations of truncated Toeplitz operators; this answers a question posed by Cima, Garcia, Ross, and Wogen.
We develop a procedure for determining whether a square complex matrix is unitarily equivalent to a complex symmetric (i.e., self-transpose) matrix. Our approach has several advantages over existing methods. We discuss these differences and present a number of examples.
Let $A$ be a unital separable \CA and $B=C\otimes {\cal K},$ where $C$ is a unital \CA. Let $τ: A\to M(B)/B$ be a weakly unital full essential extensions of $A$ by $B.$ We show that there is a bijection between a quotient group of $K_0(B)$ onto the set of strong unitary equivalence classes of weakly unital full essential extensions $σ$ such that $[σ]=[τ]$ in $KK^1(A, B).$ Consequently, when this group is zero, unitarily equivalent full essential extensions are strongly unitarily equivalent. When $B$ is a non-unital but $σ$-unital simple \CA with continuous scale, we also study the problem when…
We develop several methods, based on the geometric relationship between the eigenspaces of a matrix and its adjoint, for determining whether a square matrix having distinct eigenvalues is unitarily equivalent to a complex symmetric matrix. Equivalently, we characterize those matrices having distinct eigenvalues which lie in the unitary orbit of the complex symmetric matrices.
Let $C=C(X)$ be the unital $C^*$-algebra of all continuous functions on a finite CW complex $X$ and let $A$ be a unital simple $C^*$-algebra with tracial rank at most one. We show that two unital monomorphisms $ϕ, ψ: C\to A$ are asymptotically unitarily equivalent, i.e., there exists a continuous path of unitaries $\{u_t: t\in [0,1)\}\subset A$ such that $$ \lim_{t\to 1} u_t^*ϕ(f)u_t=ψ(f) {\rm for all} \in C(X), $$ if and only if \beq [ϕ]&=&[ψ] {\rm in} KK(C, A), τ\circ ϕ&=&τ\circ ψ{\rm for all} τ\in T(A), and ϕ^†&=&ψ^†, \eneq where $T(A)$ is the simplex of tracial states of $A$ and $ϕ^†, ψ^†:…
Let $C$ be a unital AH-algebra and $A$ be a unital simple C*-algebra with tracial rank zero. It has been shown that two unital monomorphisms $ϕ, ψ: C\to A$ are approximately unitarily equivalent if and only if $$ [ϕ]=[ψ] {\rm in} KL(C,A) and τ\circ ϕ=τ\circ ψ\tforal τ\in T(A), $$ where $T(A)$ is the tracial state space of $A.$ In this paper we prove the following: Given $κ\in KL(C,A)$ with $κ(K_0(C)_+\setminus \{0\})\subset K_0(A)_+\setminus \{0\}$ and with $κ([1_C])=[1_A]$ and a continuous affine map $λ: T(A)\to T_{\mathtt{f}}(C)$ which is compatible with $κ,$ where $T_{\mathtt{f}}(C)$ is the…
Motivated by a problem of Halmos, we obtain a canonical decomposition for complex matrices which are unitarily equivalent to their transpose (UET). Surprisingly, the naive assertion that a matrix is UET if and only if it is unitarily equivalent to a complex symmetric matrix (i.e., $T = T^t$) holds for matrices 7x7 and smaller, but fails for matrices 8x8 and larger.
We introduce a notion of rank completion for bi-modules over a finite tracial von Neumann algebra. We show that the functor of rank completion is exact and that the category of complete modules is abelian with enough projective objects. This leads to interesting computations in the L^2-homology for tracial algebras. As an application, we also give a new proof of a Theorem of Gaboriau on invariance of L^2-Betti numbers under orbit equivalence.
We classify unital monomorphisms into certain simple Z-stable C^*-algebras up to approximate unitary equivalence. The domain algebra C is allowed to be any unital separable commutative C^*-algebra, or any unital simple separable nuclear Z-stable C^*-algebra satisfying the UCT such that C\otimes B is of tracial rank zero for a UHF algebra B. The target algebra A is allowed to be any unital simple separable Z-stable C^*-algebra such that A\otimes B has tracial rank zero for a UHF algebra B, or any unital simple separable exact Z-stable C^*-algebra whose projections separate traces and whose extr…
We study the $C^*$-algebras of the étale groupoids defined by the asymptotic equivalence relations for hyperbolic automorphisms on the two-dimensional torus. The algebras are proved to be four-dimensional non-commutative tori by an explicit numerical computation. The ranges of the unique tracial states of its $K_0$-groups of the $C^*$-algebras are described in terms of the hyperbolic matrices of the automorphisms on the torus.
A matrix $T \in \M_n(\C)$ is \emph{UECSM} if it is unitarily equivalent to a complex symmetric (i.e., self-transpose) matrix. We develop several techniques for studying this property in dimensions three and four. Among other things, we completely characterize $4 \times 4$ nilpotent matrices which are UECSM and we settle an open problem which has lingered in the $3 \times 3$ case. We conclude with a discussion concerning a crucial difference which makes dimension three so different from dimensions four and above
We prove that the automorphisms of any separable C*-algebra that does not have continuous trace are not classifiable by countable structures up to unitary equivalence. This implies a dichotomy for the Borel complexity of the relation of unitary equivalence of automorphisms of a separable unital C*-algebra: Such relation is either smooth or not even classifiable by countable structures.
We found that if $u$ and $v$ are any two unitaries in a unital $C^*$-algebra with $\|uv-vu\|<2$ such that $uvu^*v^*$ commutes with $u$ and $v,$ then the \SCA\, $A_{u,v}$ generated by $u$ and $v$ is isomorphic to a quotient of the rotation algebra $A_θ$ 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 $θ\in (-1/2, 1/2)$ be a rational number. We prove the following: For any $\ep>0,$ there exists $\dt>0$ satisfying the following: if $u$ and $v$ are two unitary matrices such that $$ \|uv-e^{2πiθ}vu\|<\dt\andeqn {1\…
In this paper we generalize the notion of essential codimension of Brown, Douglas, and Fillmore using $\KK$-theory and prove a result which asserts that there is a unitary of the form `identity + compact' which gives the unitary equivalence of two projections if the `essential codimension' of two projections vanishes for certain $C\sp*$-algebras employing the proper asymptotic unitary equivalence of $\KK$-theory found by M. Dadarlat and S. Eilers. We also apply our result to study the projections in the corona algebra of $C(X)\otimes B$ where $X$ is $[0,1]$, $(-\infty, \infty)$, $[0,\infty)$, …
Two areas of mathematics which have received substantial attention in recent years are the theory of optimal transport and the Elliott classification programme for C*-algebras. We combine these two seemingly unrelated disciplines to make progress on a classical problem of Weyl. In particular, we show how results from the Elliott classification programme can be used to translate continuous transport of spectral measures into optimal unitary conjugation in C*-algebras. As a consequence, whenever two normal elements of a sufficiently well-behaved C*-algebra share a spectrum amenable to such conti…
Let $A$ be a separable simple exact ${\cal Z}$-stable $C^*$-algebra. We show that the unitay group of ${\tilde A}$ has the cancellation property. If $A$ has continuous scale, the Cuntz semigroup of $\tilde A$ has the strict comparison property and a weak cancellation property. Let $C$ be a 1-dimensional non-commutative CW complex with $K_1(C)=\{0\}.$ Suppose that $λ: {\rm Cu}^\sim(C)\to {\rm Cu}^\sim(A)$ is a morphism in Cuntz semigroups which is strictly positive. Then there exists a sequence of homomorphisms $ϕ_n: C\to A$ such that $\lim_{n\to\infty}{\rm Cu}^\sim(ϕ_n)=λ.$ This result leads t…
Unlike Toeplitz operators on $H^2$, truncated Toeplitz operators do not have a natural matricial characterization. Consequently, these operators are difficult to study numerically. In this note we provide criteria for a matrix with distinct eigenvalues to be unitarily equivalent to a truncated Toeplitz operator having an analytic symbol. This test is constructive and we illustrate it with several examples. As a byproduct, we also prove that every complex symmetric operator on a Hilbert space of dimension $\leq 3$ is unitarily equivalent to a direct sum of truncated Toeplitz operators.
In this paper we show that, for a class of countable graphs, every representation of the associated graph algebra in a separable Hilbert space is unitarily equivalent to a representation obtained via branching systems.
Let $\A$ be a unital separable nuclear $C^*$--algebra which belongs to the bootstrap category $\N$ and $\B$ be a separable stable $C^*$--algebra. In this paper, we consider the group $\Ext_u(\A,\B)$ consisting of the unitary equivalence classes of unital extensions $τ\colon\A\rightarrow Q(\B)$. The relation between $\Ext_u(\A,\B)$ and $\Ext(\A,\B)$ is established. Using this relation, we show the half--exactness of $\Ext_u(\cdot,\B)$ and the (UCT) for $\Ext_u(\A,\B)$. Furthermore, under certain conditions, we obtain the half--exactness and Bott periodicity of $\Ext_u(\A,\cdot)$.
This paper continues the authors' work on the question of unitary equivalence of matrices with entries in the complex-valued functions of a topological space (matrices over spaces). Specifically, we here consider the question of unitary equivalence for pairs of normal matrices over a space that share a common characteristic polynomial that can be globally factored into distinct linear factors. We show that such a matrix is diagonalizable if and only if the first Chern classes of its eigenbundles all vanish and derive as an application that all such matrices over $\mathbb{C}P^m$ are diagonaliza…
In this article we show that there are branching systems (which induce representations of the graph algebra $C^*(E)$) associated to each row-countable graph $E$. For row-countable graphs, we characterize the condition $(L)$ via branching systems. Moreover, we show that each permutative representation in Hilbert spaces operators is unitarily equivalent to one induced by a branching system, even the spaces being not separable. Furthermore, under some hypothesis on the graph, we show that each representation of the graph C*-algebra is permutative.
Quantum Science Center of Guangdong-Hong Kong-Macao Greater Bay Area（粤港澳大湾区量子科学中心）；QMATH, Department of Mathematical Sciences, University of Copenhagen（哥本哈根大学数学科学学院 QMATH）
Weyl-von Neumann Theorem asserts that two bounded self-adjoint operators $A,B$ on a Hilbert space $H$ are unitarily equivalent modulo compacts, i.e., $uAu^*+K=B$ for some unitary $u\in \mathcal{U}(H)$ and compact self-adjoint operator $K$, if and only if $A$ and $B$ have the same essential spectra: $σ_{\rm{ess}}(A)=σ_{\rm{ess}}(B)$. In this paper we consider to what extent the above Weyl-von Neumann's result can(not) be extended to unbounded operators using descriptive set theory. We show that if $H$ is separable infinite-dimensional, this equivalence relation for bounded self-adjoin operators…
It is known that exactness for a discrete group is equivalent to C*-exactness, i.e., the exactness of its reduced C*-algebra. The problem of whether this equivalence holds for general locally compact groups has recently been reduced by Cave and Zacharias to the case of totally disconnected unimodular groups. We prove that the equivalence does hold for a class of groups that includes all locally compact groups with reduced C*-algebra admitting a tracial state. As a consequence, we present original proofs that totally disconnected locally compact (tdlc) invariant-neighbourhood (IN) groups and a …
Let A and B be normal matrices with coefficients that are continuous complex-valued functions on a topological space X that has the homotopy type of a CW complex, and suppose these matrices have the same distinct eigenvalues at each point of X. We use obstruction theory to establish a necessary and sufficient condition for A and B to be unitarily equivalent. We also determine bounds on the number of possible unitary equivalence classes in terms of cohomological invariants of X.
Given a simple, acyclic dimension group $G_{0}$ and countable, torsion-free, abelian group $G_{1}$, we construct a minimal, amenable, étale equivalence relation $R$ on a Cantor set whose associated groupoid $C^{*}$-algebra, $C^{*}(R)$, is tracially AF, and hence classifiable in the Elliott classification scheme for simple, amenable, separable $C^{*}$-algebras, and with $K_{*}(C^{*}(R)) \cong(G_{0}, G_{1})$.
An \textit{ideal} of $N$-tuples of operators is a class invariant with respect to unitary equivalence which contains direct sums of arbitrary collections of its members as well as their (reduced) parts. New decomposition theorems (with respect to ideals) for $N$-tuples of closed densely defined linear operators acting in a common (arbitrary) Hilbert space are presented. Algebraic and order (with respect to containment) properties of the class $CDD_N$ of all unitary equivalence classes of such $N$-tuples are established and certain ideals in $CDD_N$ are distinguished. It is proved that infinite…
Let $A$ be a unital separable amenable \CA and $C$ be a unital \CA with certain infinite property. We show that two full monomorphisms $h_1, h_2: A\to C$ are approximately unitarily equivalent if and only if $[h_1]=[h_2]$ in $KL(A,C).$ Let $B$ be a non-unital but $σ$-unital \CA for which $M(B)/B$ has the certain infinite property. We prove that two full essential extensions are approximately unitarily equivalent if and only if they induce the same element in $KL(A, M(B)/B).$ The set of approximately unitarily equivalence classes of full essential extensions forms a group. If $A$ satisfies the …
We characterize the condition for two finite index endomorphisms on an AFD factor to be approximately unitarily equivalent. The characterization is given by using the canonical extension of endomorphisms, which is introduced by Izumi. Our result is a generalization of the characterization of approximate innerness of endomorphisms of the AFD factors, obtained by Kawahiashi--Sutherland--Takesaki and Masuda--Tomatsu. Our proof, which does not depend on the types of factors, is based on recent development on the Rohlin property of flows on von Neumann algebras.
We define an analog of Voiculescu's free entropy for n-tuples of unitaries (u_{1},...,u_{n}) in a tracial von Neumann algebra M, normalizing a unital diffuse abelian subalgebra B in M. Using this quantity, we define the free dimension δ_{0}(u_{1},..,u_{n}\btw B). This number depends on (u_{1},... ,u_{n}) only up ``orbit equivalence'' over B. In particular, if R is an measirable equivalence relation on [0,1] generated by n automorphisms α_{1},...,α_{n}, let u_{1},..., u_{n} be the unitaries implementing α_{1},..,α_{n} in the Feldman-Moore crossed product algebra M=W^{*}([0,1],R), and let B be t…
For $n\geq 3,$ let $Γ=SL_n(\mathbb Z).$ We prove the following superridigity result for $Γ$ in the context of operator algebras. Let $L(Γ)$ be the von Neumann algebra generated by the left regular representation of $Γ.$ Let $M$ be a finite factor and let $U(M)$ be its unitary group. Let $π: Γ\to U(M)$ be a group homomorphism such that $π(Γ)''=M.$ Then \begin{itemize} \item[(i)] either $M$ is finite dimensional, or \item [(ii)] there exists a subgroup of finite index $Λ$ of $Γ$ such that $π|_Λ$ extends to a homomorphism $U(L(Λ))\to U(M).$ \end{itemize} The result is deduced from a complete desc…
Spectral gap, internality of relative commutants, and non-hyperlinear groups
Institut für Geometrie, TU Dresden（德累斯顿工业大学几何研究所）；Department of Mathematics and Beijing International Center for Mathematical Research, Peking University（北京大学数学科学学院与北京国际数学研究中心）
