We generalize to the setting of Arveson's maximal subdiagonal subalgebras of finite von Neumann algebras, the Szegö $L^p$-distance estimate, and classical theorems of F. and M. Riesz, Gleason and Whitney, and Kolmogorov. In so doing, we are finally able to provide a complete noncommutative analog of the famous cycle of theorems characterizing the function theoretic generalizations of $H^\infty$. A sample of our other results: we prove a Kaplansky density result for a large class of these algebras, and give a necessary condition for when every completely contractive homomorphism on a unital subalgebra of a C*-algebra possesses a unique completely positive extension.
In this paper we establish uniqueness theorems for the noncommutative residue and the canonical trace on pseudodifferential operators on noncommutative tori of arbitrary dimension. The former is the unique trace up to constant multiple on integer order pseudodifferential operators.The latter is the unique trace up to constant multiple on non-integer order pseudodifferential operators. This improves previous uniqueness results by Fathizadeh-Khalkhali, Fathizadeh-Wong, and Lévy-Neira-Paycha.
This article contains a noncommutative generalization of the topological path lifting problem. Noncommutative geometry has no paths and even points. However there are paths of *-automorphisms. It is proven that paths of *-automorphisms comply with unique path lifting.
We consider the problem of extending the classical S-lemma from commutative case to noncommutative cases. We show that a symmetric quadratic homogeneous matrix-valued polynomial is positive semidefinite if and only if its coefficient matrix is positive semidefinite. Then we extend the S-lemma to three kinds of noncommutative polynomials: noncommutative polynomials whose coefficients are real numbers, matrix-valued noncommutative polynomials and hereditary polynomials.
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}…
The C*-algebra generated by the left-regular representation of $\mathbb{N}^n$ twisted by a $2$-cocycle is a Toeplitz extension of an $n$-dimensional noncommutative torus, on which each vector $r \in [0,\infty)^n$ determines a one-parameter subgroup of the gauge action. We show that the equilibrium states of the resulting C*-dynamical system are parametrised by tracial states of the noncommutative torus corresponding to the restriction of the cocycle to the vanishing coordinates of $r$. These in turn correspond to probability measures on a classical torus whose dimension depends on a certain de…
We review the theory of Toeplitz extensions and their role in operator K-theory, including Kasparov's bivariant K-theory. We then discuss the recent applications of Toeplitz algebras in the study of solid state systems, focusing in particular on the bulk-edge correspondence for topological insulators.
We obtain a noncommutative multivariable analogue of Louhichi and Olofsson characterization of Toeplitz operators with harmonic symbols on the weighted Bergman space $A_m({\bf D})$, as well as Eschmeier and Langendorfer extension to the unit ball of ${\bf C}^n$. All our results are proved in the more general setting of noncommutative poly-hyperballs ${\bf D_n^m}(H)$, ${\bf n,m}\in {\bf N}^k$, and are used to characterize the bounded free $k$-pluriharmonic functions with operator coefficients on poly-hyperballs and to solve the associated Dirichlet extension problem. In particular, the results …
We consider a family of higher-dimensional noncommutative tori, which are twisted analogues of the algebras of continuous functions on ordinary tori, and their Toeplitz extensions. Just as solenoids are inverse limits of tori, our Toeplitz noncommutative solenoids are direct limits of the Toeplitz extensions of noncommutative tori. We consider natural dynamics on these Toeplitz algebras, and compute the equilibrium states for these dynamics. We find a large simplex of equilibrium states at each positive inverse temperature, parametrised by the probability measures on an (ordinary) solenoid.
We discuss a (i) quantized version of the Jordan decomposition theorem for a complex Borel measure on a compact Hausdorff space, namely, the more general problem of decomposing a general noncommutative kernel (a quantization of the standard notion of kernel function) as a linear combination of completely positive noncommutative kernels (a quantization of the standard notion of positive definite kernel). Other special cases of (i) include: the problem of decomposing a general operator-valued kernel function as a linear combination of positive kernels (not always possible), of decomposing a gene…
We extend the theory of ergodic optimization and maximizing measures to the non-commutative field of C*-dynamical systems. We then employ this ergodic optimization machinery to provide an alternate characterization of unique erogdicity of C*-dynamical systems when the resident group action satisfies certain Choquet-theoretic assumptions.
We realize the noncommutative Gurarij space $\mathbb{NG}$ defined by Oikhberg as the Fra\"ıssé limit of the class of finite-dimensional $1$-exact operator spaces. As a consequence we deduce that the concommutative Gurarij space is unique up to completely isometric isomorphism, homogeneous, and universal among separable $1$-exact operator spaces. We also prove that $\mathbb{NG}$ is the unique separable nuclear operator space with the property that the canonical triple morphism from the universal TRO to the triple envelope is an isomorphism. We deduce from this fact that $\mathbb{NG}$ does not e…
We introduce and study noncommutative extensions of the Fourier transform and its logarithm to the algebra of functions on the free semigroup FS(2) on two generators with the convolution multiplication. These extensions are new types of moment and cumulant generating functions, respectively, the latter corresponding to the cumulants which are additive under the so-called filtered convolution on the free *-algebra on two generators. This algebra plays the role of a ``noncommutative plane'' built on the ``classical real line'' and the ``boolean real line''. The restrictions of the cumulant gener…
We characterise Exel's noncommutative Cartan subalgebras in several ways using uniqueness of conditional expectations, relative commutants, or purely outer inverse semigroup actions. We describe in which sense the crossed product decomposition for a noncommutative Cartan subalgebra is unique. We relate the property of being a noncommutative Cartan subalgebra to aperiodic inclusions and effectivity of dual groupoids. In particular, we extend Renault's characterisation of commutative Cartan subalgebras.
In this paper we study contravariant functors from the category of rings to the category of sets whose restriction to the full subcategory of commutative rings is isomorphic to the prime spectrum functor Spec. The main result reveals a common characteristic of these functors: every such functor assigns the empty set to M_n(C) for n >= 3. The proof relies, in part, on the Kochen-Specker Theorem of quantum mechanics. The analogous result for noncommutative extensions of the Gelfand spectrum functor for C*-algebras is also proved.
In this paper we study unique ergodicity of $C^*$-dynamical system $(\ga,T)$, consisting of a unital $C^*$-algebra $\ga$ and a Markov operator $T:\ga\mapsto\ga$, relative to its fixed point subspace, in terms of Riesz summation which is weaker than Cesaro one. Namely, it is proven that $(\ga,T)$ is uniquely ergodic relative to its fixed point subspace if and only if its Riesz means {equation*} \frac{1}{p_1+...+p_n}\sum_{k=1}^{n}p_kT^kx {equation*} converge to $E_T(x)$ in $\ga$ for any $x\in\ga$, as $n\to\infty$, here $E_T$ is an projection of $\ga$ to the fixed point subspace of $T$. It is als…
A noncommutative solenoid is the C*-algebra $C^\ast(\Q_N^2,σ)$ where $\Q_N$ is the group of the $N$-adic rationals twisted and $σ$ is a multiplier of $\Q_N^2$. In this paper, we use techniques from noncommutative topology to classify these C*-algebras up to *-isomorphism in terms of the multipliers of $\Q_N^2$. We also establish a necessary and sufficient condition for simplicity of noncommutative solenoids, compute their K-theory and show that the $K_0$ groups of noncommutative solenoids are given by the extensions of $\Z$ by $\Q_N$. We give a concrete description of non-simple noncommutative…
We associate to each unital $C^*$-algebra $A$ a geometric object---a diagram of topological spaces representing quotient spaces of the noncommutative space underlying $A$---meant to serve the role of a generalized Gel'fand spectrum. After showing that any functor $F$ from compact Hausdorff spaces to a suitable target category can be applied directly to these geometric objects to automatically yield an extension $\tilde{F}$ which acts on all unital $C^*$-algebras, we compare a novel formulation of the operator $K_0$ functor to the extension $\tilde K$ of the topological $K$-functor.
We present the analytic foundation of a unified B-D-F extension functor $\operatorname{Ext}_τ$ on the category of noncommutative smooth algebras, for any Fréchet operator ideal $\Cal K_τ$. Combining the techniques devised by Arveson and Voiculescu, we generalize Voiculescu's theorem to smooth algebras and Fréchet operator ideals. A key notion involved is $τ$-smoothness, which is verified for the algebras of smooth functions, via a noncommutative Sobolev lemma. The groups $\operatorname{Ext}_τ$ are computed for many examples.
This text is a detailed overview of the theories of W*-algebras and noncommutative integration, up to the Falcone-Takesaki theory of noncommutative Lp spaces over arbitrary W*-algebras, and its extension to noncommutative Orlicz spaces. The topics under consideration include the Tomita-Takesaki modular theory, the relative modular theory (featuring bimodules, spatial quotients, and canonical representation), the theory of W*-dynamical systems (featuring derivations, liouvilleans, and crossed products), noncommutative Radon-Nikodym type theorems, and operator valued weights. We pay special atte…
We consider a conservative Markov semigroup on a semi-finite $W^*$-algebra. It is known that under some reasonable assumptions it is enough to determine a kind of differential structure on such a 'noncommutative space'. We construct an analogue of a Riemannian metric in this setting, formulate a Poincaré-type inequality, provide existence and uniqueness results for quasi-linear elliptic and parabolic PDEs defined in terms of the constructed noncommutative calculus.
We show how to define Riemannian metrics and connections on a noncommutative torus in such a way that an analogue of Levi-Civita's theorem on the existence and uniqueness of a Riemannian connection holds. The major novelty is that we need to use two different notions of noncommutative vector field. Levi-Civita's theorem makes it possible to define Riemannian curvature using the usual formulas.
We introduce `braidability' as a new symmetry for (infinite) sequences of noncommutative random variables related to representations of the braid group $B_\infty$. It provides an extension of exchangeability which is tied to the symmetric group $S_\infty$. Our key result is that braidability implies spreadability and thus conditional independence, according to the noncommutative extended de Finetti theorem (of C. Köstler). This endows the braid groups $B_n$ with a new intrinsic (quantum) probabilistic interpretation. We underline this interpretation by a braided extension of the Hewitt-Savage …
We propose an extension of the sandwiched Rényi relative $α$-entropy to normal positive functionals on arbitrary von Neumann algebras, for the values $α>1$. For this, we use Kosaki's definition of noncommutative $L_p$-spaces with respect to a state. We show that these extensions coincide with the previously defined Araki-Masuda divergences [M. Berta et al., Annales Henri Poincaré, 19:1843--1867, 2018] and prove some of their properties, in particular the data processing inequality with respect to positive normal unital maps. As a consequence, we obtain monotonicity of the Araki relative entrop…
A new class of positive definite functions related to colour-length function on arbitrary Coxeter group is introduced. Extensions of positive definite functions, called the Riesz-Coxeter product, from the Riesz product on the Rademacher (Abelian Coxeter) group to arbitrary Coxeter group is obtained. Applications to harmonic analysis, operator spaces and noncommutative probability is presented. Characterization of radial and colour-radial functions on dihedral groups and infinite permutation group are shown.
