Inspired by Kerr's work on topological dynamics, we define tracial $\mathcal{Z}$-stability for sub-$C^*$-algebras. We prove that for a countable discrete amenable group $G$ acting freely and minimally on a compact metrizable space $X$, tracial $\mathcal{Z}$-stability for the sub-$C^*$-algebra $(C(X)\subseteq C(X)\rtimes G)$ implies that the action has dynamical comparison. Consequently, tracial $\mathcal{Z}$-stability is equivalent to almost finiteness of the action, provided that the action has the small boundary property.
Let $A$ be a simple infinite dimensional stably finite unital C*-algebra, and let $B$ be a centrally large subalgebra of $A$. We prove that if $A$ is tracially ${\mathcal{Z}}$-absorbing if and only if $B$ is tracially ${\mathcal{Z}}$-absorbing. If $A$ and $B$ are also separable and nuclear, we prove that $A$ is ${\mathcal{Z}}$-absorbing if and only if $B$ is ${\mathcal{Z}}$-absorbing.
We show that there is a simple separable unital (non-nuclear) tracially AF algebra $A$ which does not absorb the Jiang-Su algebra $\mathcal Z$ tensorially, i.e., $A \ncong A\otimes\mathcal Z$.
In this paper, we introduce a class of non-unital tracial approximation ${\rm C^*}$-algebras. Consider the class of ${\rm C^*}$-algebras which are tracially $\mathcal{Z}$-absorbing (in the sense of Amint, Golestani, Jamali, Phillips's simple tracially $\mathcal{Z}$-absorbing or Castillejos, Li, Szabvo's tracial $\mathcal{Z}$-stability). Then $A$ is tracially $\mathcal{Z}$-absorbing for any simple ${\rm C^*}$-algebra $A$ in the corresponding class of non-unital tracial approximation ${\rm C^*}$-algebras.
We define a notion of tracial $\mathcal{Z}$-absorption for simple not necessarily unital C*-algebras, study it systematically, and prove its permanence properties. This extends the notion defined by Hirshberg and Orovitz for unital C*-algebras. The Razak-Jacelon algebra, simple C*-algebras with tracial rank zero, and simple purely infinite C*-algebras are tracially $\mathcal{Z}$-absorbing. We obtain the first purely infinite examples of tracially $\mathcal{Z}$-absorbing C*-algebras which are not $\mathcal{Z}$-absorbing. We use techniques from reduced free products of von~Neumann algebras to co…
In this paper, we introduce a class of generalized tracial approximation ${\rm C^*}$-algebras. Let $\mathcal{P}$ be a class of unital ${\rm C^*}$-algebras which have tracially $\mathcal{Z}$-absorbing (tracial nuclear dimension at most $n$, $\rm SP$ property, $m$-almost divisible, weakly $(m, n)$-divisible). Then $A$ has tracially $\mathcal{Z}$-absorbing (tracial nuclear dimension at most $n$, $\rm SP$ property, weakly $m$-almost divisible, secondly weakly $(m, n)$-divisible) for any simple unital ${\rm C^*}$-algebra $A$ in the class of this generalized tracial approximation ${\rm C^*}$-algebra…
We show that a simple separable unital nuclear nonelementary $C^*$-algebra whose tracial state space has a compact extreme boundary with finite covering dimension admits uniformly tracially large order zero maps from matrix algebras into its central sequence algebra. As a consequence, strict comparison implies $\Z$-stability for these algebras.
In this paper, we introduce some classes of generalized tracial approximation ${\rm C^*}$-algebras. Consider the class of unital ${\rm C^*}$-algebras which are tracially $\mathcal{Z}$-absorbing (or have tracial nuclear dimension at most $n$, or have the property $\rm SP$, or are $m$-almost divisible). Then $A$ is tracially $\mathcal{Z}$-absorbing (respectively, has tracial nuclear dimension at most $n$, has the property $\rm SP$, is weakly ($n, m$)-almost divisible) for any simple unital ${\rm C^*}$-algebra $A$ in the corresponding class of generalized tracial approximation ${\rm C^*}$-algebra…
We show that if $A$ is a simple (not necessarily unital) tracially $\mathcal{Z}$-absorbing C*-algebra and $α\colon G \to \mathrm{Aut} (A)$ is an action of a finite group $G$ on $A$ with the weak tracial Rokhlin property, then the crossed product $C^*(G, A,α)$ and the fixed point algebra $A^α$ are simple and tracially $\mathcal{Z}$-absorbing, and they are $\mathcal{Z}$-stable if, in addition, $A$ is separable and nuclear. The same conclusion holds for all intermediate C*-algebras of the inclusions $A^α\subseteq A$ and $A \subseteq C^*(G, A,α)$. We prove that if $A$ is a simple tracially $\mathc…
We show that the following properties of the C*-algebras in a class $\mathcal{P}$ are inherited by simple unital ${\rm C^*}$-algebras in the class of asymptotically tracially in $\mathcal{P}$: $(1)$ $β$-comparison (in the sense of Kirchberg and Rørdam), $(2)$ $n$-comparison (in the sense of Winter).
We introduce the notion of the weak tracial approximate representability of a discrete group action on a unital $C^*$-algebra which could have no projections like the Jiang-Su algebra $\mathcal{Z}$. Then we show a duality between the weak tracial Rokhlin property and the weak tracial approximate representability. More precisely, when $G$ is a finite abelian group and $α:G\curvearrowright A$ is a group action on a unital simple infinite dimensional $C^*$-algebra, we prove that 1. $α$ has the weak tracial Rokhlin property if and only if $\hatα$ has the weak tracial approximate representability. …
We give a concrete formula for the unique faithful trace on the finite simple non-AF labeled graph $C^*$-algebra $C^*(E_{\mathbb{Z}}, \mathcal{L}, \overline{\mathcal{E}}_{\mathbb{Z}})$ associated to the Thue--Morse sequence $(E_{\mathbb{Z}}, \mathcal{L})$. Our result provides an alternative proof of the existence of a labeled graph $C^*$-algebra that is not Morita equivalent to any graph $C^*$-algebras. Furthermore, we compute the $K$-groups of $C^*(E_{\mathbb{Z}}, \mathcal{L}, \overline{\mathcal{E}}_{\mathbb{Z}})$ using the path structure of the Thue--Morse sequence.
The notion of a $*$-law or $*$-distribution in free probability is also known as the quantifier-free type in Farah, Hart, and Sherman's model theoretic framework for tracial von Neumann algebras. However, the full type can also be considered an analog of a classical probability distribution (indeed, Ben Yaacov showed that in the classical setting, atomless probability spaces admit quantifier elimination and hence there is no difference between the full type and the quantifier-free type). We therefore develop a notion of Voiculescu's free microstates entropy for a full type, and we show that if…
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(Λ)$.
We present some generalizations of quantum information inequalities involving tracial positive linear maps between $C^*$-algebras. Among several results, we establish a noncommutative Heisenberg uncertainty relation. More precisely, we show that if $Φ: \mathcal{A} \to \mathcal{B}$ is a tracial positive linear map between $C^*$-algebras , $ρ\in \mathcal{A}$ is a $Φ$-density element and $A,B$ are self-adjoint operators of $\mathcal{A}$ such that $ {\rm sp}(\mbox{-i}ρ^\frac{1}{2}[A,B]ρ^\frac{1}{2}) \subseteq [m,M] $ for some scalers $0<m<M$, then under some conditions \begin{eqnarray}\label{inema…
Institute for Advanced Study in Mathematics, Harbin Institute of Technology（哈尔滨工业大学数学学院）；Shanghai Center for Mathematical Sciences, Fudan University（复旦大学上海数学中心）
Let $\mathcal{A}$ be the class of unital separable simple amenable $C$*-algebras $A$ which satisfy the Universal Coefficient Theorem for which $A\otimes M_{\texttt{P}}$ has tracial rank zero for some supernatural number $\texttt{p}$ of infinite type. Let $A\in \mathcal{A}$ and let $α$ be an automorphism of $A.$ Suppose that $α$ has the tracial Rokhlin property. Suppose also that there is an integer $J\geq 1$ such that $[α^J]=[\mbox{id}_A]$ in $KL(A,A)$, we show that $A\rtimes_α\mathbb{Z}\in \mathcal{A}.$
We prove several results of the following general form: automorphisms of (or actions of ${\mathbb{Z}}^d$ on) certain kinds of simple separable unital C*-algebras $A$ which have a suitable version of the Rokhlin property are generic among all automorphisms (or actions), or in a suitable class of automorphisms. That is, the ones with the version of the Rokhlin property contain a dense $G_δ$-subset of the set of all such automorphisms (or actions). Specifically, we prove the following. If $A$ is stable under tensoring with the Jiang-Su algebra $Z,$ and has tracial rank zero, then automorphisms wi…
We define a "tracial" analog of the Rokhlin property for actions of second countable compact groups on infinite dimensional simple separable unital C*-algebras. We prove that fixed point algebras under such actions (and, in the appropriate cases, crossed products by such actions) preserve simplicity, Property (SP), tracial rank zero, tracial rank at most one, the Popa property, tracial Jiang-Su stability, Jiang-Su stability when the algebra is nuclear, infiniteness, and pure infiniteness. We also show that the radius of comparison of the fixed point algebra is no larger than that of the origin…
We study the problem of extending a state on an abelian $C^*$- subalgebra to a tracial state on the ambient $C^*$-algebra. We propose an approach that is well-suited to the case of regular inclusions, in which there is a large supply of normalizers of the subalgebra. Conditional expectations onto the subalgebra give natural extensions of a state to the ambient $C^*$-algebra; we prove that these extensions are tracial states if and only if certain invariance properties of both the state and conditional expectations are satisfied. In the example of a groupoid $C^*$-algebra, these invariance prop…
Let $G$ be a finite group, $A$ a unital separable finite simple nuclear C*-algebra, and $α$ an action of $G$ on $A$. Assume that $A$ absorbs the Jiang-Su algebra $\mathcal{Z}$, the extremal boundary of the trace space of $A$ is compact and finite dimensional and that $α$ fixes any tracial state of $A$. Then tsr$(A \rtimes_αG) = 1$. In particular, when $A$ has a unique tracial state, we conclude it without above conditons on a tracial state space of $A$.
Given a finite, directed, connected graph $Γ$ equipped with a weighting $μ$ on its edges, we provide a construction of a von Neumann algebra equipped with a faithful, normal, positive linear functional $(\mathcal{M}(Γ,μ),φ)$. When the weighting $μ$ is instead on the vertices of $Γ$, the first author showed the isomorphism class of $(\mathcal{M}(Γ,μ),φ)$ depends only on the data $(Γ,μ)$ and is an interpolated free group factor equipped with a scaling of its unique trace (possibly direct sum copies of $\mathbb{C}$). Moreover, the free dimension of the interpolated free group factor is easily com…
Assume $\N$ is a von Neumann algebra of type II$_1$ with a tracial state $τ_{\N}$, and $\M$ is the von Neumann algebra of the $n\times n$ matrices over $\N$ with the canonical tracial state $τ_{\M}$. Let $\mathcal D_n$ be the subalgebra of $\M$ consisting of scalar diagonal matrices in $\M$. In this article, we study the properties of semicircular elements in $\M$ that are free from $\mathcal D_n$ with respect to $τ_{\M}$. Then we define a new concept "matricial distance" of two elements in $\M$ and compute the matricial distance between two free semicircular elements in $\M$.
For a von Neumann algebra $\cal M$ with a faithful normal tracial state $τ$ and a positive ergodic homomorphism $α:\mathcal L^1(\mathcal M,τ)\to \mathcal L^1(\mathcal M,τ)$ such that $α$ does not increase the norm in $\mathcal M$ and $τ\circ α=τ$, we establish a non-commutative counterpart of the classical Wiener-Wintner Theorem.
We introduce $L^{2}$-Wasserstein distances on densities of tracial $W^{*}$-algebras based on a Benamou-Brenier formulation, replacing multiplication by densities with multiplication operators arising as the logarithmic mean under a functional calculus. Furthermore, we concern ourselves with $L^{2}$-Wasserstein distances induced by decomposed derivations on $C^{*}$-algebras of continuous sections of a $\mathcal{K}(H)$-bundle vanishing at infinity. We prove a distintegration theorem for such distances, introduce mean entropic curvature bounds in case $H$ is finite-dimensional and show control of…
In 2008, Blecher and Labuschagne extended Beurling's classical theorem to $H^\infty$-invariant subspaces of $L^p(\mathcal{M},τ)$ for a finite von Neumann algebra $\mathcal{M}$ with a finite, faithful, normal tracial state $τ$ when $1\le p\le \infty$. In this paper, using Arveson's non-commutative Hardy space $H^\infty$ in relation to a von Neumann algebra $\mathcal{M}$ with a semifinite, faithful, normal tracial weight $τ$, we prove a Beurling-Blecher-Labuschagne theorem for $H^\infty$-invariant spaces of $L^p(\mathcal{M},τ)$ when $0<p\leq\infty$. The proof of the main result relies on proofs …
In this paper we will introduce the tracial Rokhlin property for an inclusion of separable simple unital C*-algebras $P \subset A$ with finite index in the sense of Watatani, and prove theorems of the following type. Suppose that $A$ belongs to a class of C*-algebras characterized by some structural property, such as tracial rank zero in the sense of Lin. Then $P$ belongs to the same class. The classes we consider include:(1) Simple C*-algebras with real rank zero or stable rank one, (2) Simple C*-algebras with tracial rank zero or tracial rank less than or equal to one, (3) Simple C*-algebras…
We study strongly outer actions of discrete groups on C*-algebras in relation to (non)amenability. In contrast to related results for amenable groups, where uniqueness of strongly outer actions on the Jiang-Su algebra is expected, we show that uniqueness fails for all nonamenable groups, and that the failure is drastic. Our main result implies that if $G$ contains a copy of the free group, then there exist uncountable many, non-cocycle conjugate strongly outer actions of $G$ on any Jiang-Su stable tracial C*-algebra. Similar conclusions apply for outer actions on McDuff tracial von Neumann alg…
Let $\mathfrak A$ be a type 1 subdiagonal algebra in a $σ$-finite von Neumann algebra $\mathcal M$ with respect to a faithful normal conditional expectation $Φ$. We give necessary and sufficient conditions for which $\mathfrak A$ is maximal among the $σ$-weakly closed subalgebras of $\mathcal M$. In addition, we show that a type 1 subdiagonal algebra in a finite von Neumann algebra is automatically finite which gives a positive answer of Arveson's finiteness problem in 1967 in type 1 case.
In 2015, Yanni Chen, Don Hadwin and Junhao Shen proved a noncommutative version of Beurling's theorems for a continuous unitarily invariant norm $% α$ on a tracial von Neumann algebra $\left( \mathcal{M},τ\right) $ where $α$ is $\left\Vert \cdot \right\Vert _{1}$-dominating with respect to $τ$. In the paper, we first define a class of norms $% N_{Δ}\left( \mathcal{M},τ\right) $ on $\mathcal{M}$, called determinant, normalized, unitarily invariant continuous norms on $\mathcal{M}$. If $α\in N_{Δ}\left( \mathcal{M},τ\right) $, then there exists a faithful normal tracial state $ρ$ on $\mathcal{M}…
It is shown that the coloured isomorphism class of a unital, simple, $\mathcal{Z}$-stable, separable amenable C$^*$-algebra satisfying the Universal Coefficient Theorem (UCT) is determined by its tracial simplex.
Let $\mathcal{M}\subseteq\mathcal{B}\left( \mathcal{H}\right) $ be a countable decomposable properly infinite von Neumann algebra with a faithful normal semifinite tracial weight $τ$ where $\mathcal{B}\left( \mathcal{H}\right) $ is the set of all bounded linear operators on Hilbert space $\mathcal{H}.$ The main purpose of this article is to introduce generalized weak wave operators $\widetilde{W}_{\pm}$, generalized weak abelian wave operators $\widetilde{\mathfrak{U}}_{\pm}$ and generalized stationary wave operators $\mathcal{U}_{\pm}$ in $\mathcal{M}$ and then to explore the relation among $…
We study the automorphism group of a unital, simple, $\mathcal{Z}$-stable $C^{*}$-algebra. In this paper, we generalize the results by the authors in \cite{pr_auto} to $\mathcal{Z}$-stable $C^{*}$-algebras $\mathfrak{A}$ such that $\mathfrak{A} \otimes \mathfrak{B}$ is a separable, nuclear, simple, tracially AI algebras satisfying the Universal Coefficient Theorem (UCT) of Rosenberg and Schochet \cite{uct}. By the results of Lin in \cite{hl_asyunit} and Winter in \cite{ww_localelliott}, $C^{\ast}$-algebras that satisfies the above condition are classified via $K$-theory and traces.
Let $\mathcal{G}$ be a locally compact $σ$-compact Hausdorff ample groupoid on a compact space. In this paper, we further examine the (ubiquitous) fiberwise amenability introduced by the author and Jianchao Wu for $\mathcal{G}$. We define the corresponding concepts of Følner sequences and Banach densities for $\mathcal{G}$, based on which, we establish a topological groupoid version of the Ornstein-Weiss quasi-tilling theorem. This leads to the notion of almost finiteness in measure for ample groupoids as a weaker version of Matui's almost finiteness. As applications, we first show that $C^*_r…
Three-Point Trace Positivity:Schatten Norm Compression and Interpolating Metrics
High School for the Gifted, VNUHCM（越南国立大学胡志明市分校天赋高中）；Vietnam National University Ho Chi Minh City（越南国立大学胡志明市分校）；Department of Mathematics, Ritsumeikan University（立命馆大学数学系）
We investigate the pure infiniteness and stable finiteness of the Exel-Pardo $C^*$-algebras $\mathcal{O}_{G,E}$ for countable self-similar graphs $(G,E,φ)$. In particular, we associate a specific ordinary graph $\widetilde{E}$ to $(G,E,φ)$ such that some properties such as simpleness, stable finiteness or pure infiniteness of the graph $C^*$-algebra $C^*(\widetilde{E})$ imply that of $\mathcal{O}_{G,E}$. Among others, this follows a dichotomy for simple $\mathcal{O}_{G,E}$: if $(G,E,φ)$ contains no $G$-circuits, then $\mathcal{O}_{G,E}$ is stably finite; otherwise, $\mathcal{O}_{G,E}$ is purel…
