Mathematics - Operator Algebras Publications (50)

Search

Mathematics - Operator Algebras Publications

Let $(A,\alpha)$ be a system consisting of a $C^*$-algebra $A$ and an automorphism $\alpha$ of $A$. We describe the primitive ideal space of the partial-isometric crossed product $A\times_{\alpha}^{\textrm{piso}}\mathbb{N}$ of the system by using its realization as a full corner of a classical crossed product and applying some results of Williams and Echterhoff. Read More


Trace formulas are investigated in non-commutative integration theory. The main result is to evaluate the standard trace of a Takesaki dual and, for this, we introduce the notion of interpolator and accompanied boundary objects. The formula is then applied to explore a variation of Haagerup's trace formula. Read More


The $2$-adic ring $C^*$-algebra $\mathcal{Q}_2$ naturally contains a copy of the Cuntz algebra $\mathcal{O}_2$ and, a fortiori, also of its diagonal subalgebra $\mathcal{D}_2$ with Cantor spectrum. This paper is aimed at studying the group ${\rm Aut}_{\mathcal{D}_2}(\mathcal{Q}_2)$ of the automorphisms of $\mathcal{Q}_2$ fixing $\mathcal{D}_2$ pointwise. It turns out that any such automorphism leaves $\mathcal{O}_2$ globally invariant. Read More


We answer the question of how large the dimension of a quantum lens space must be, compared to the primary parameter $r$, for the isomorphism class to depend on the secondary parameters. Since classification results in C*-algebra theory reduces this question to one concerning a certain kind of $SL$-equivalence of integer matrices of a special form, our approach is entirely combinatorial and based on the counting of certain paths in the graphs shown by Hong and Szyma\'nski to describe the quantum lens spaces. Read More


We study the topological structure of the automorphism groups of compact quantum groups showing that, in parallel to a classical result due to Iwasawa, the connected component of identity of the automorphism group and of the "inner" automorphism group coincide. For compact matrix quantum groups, which can be thought of as quantum analogues of compact Lie groups, we prove that the inner automorphism group is a compact Lie group and the outer automorphism group is discrete. Applications of this to the study of group actions on compact quantum groups are highlighted. Read More


We characterize some equivalent statements of aperiodicity of an element on locally compact group, and give an intuition for "How strong does the aperiodicity of an element affect the existence of hypercyclic weighted translation operators?". In fact, there exists a mixing, chaotic and frequently hypercyclic weighted translation $T_{a,w}$ when $a$ is an aperiodic element. In other words, this explains how hard it is to argue the existence of hypercyclic weighted translation operators when we take off the aperiodicity of the element $a$. Read More


We study the ideal structure of reduced crossed product of topological dynamical systems of a countable discrete group. More concretely, for a compact Hausdorff space $X$ with an action of a countable discrete group $\Gamma$, we consider the absence of a non-zero ideals in the reduced crossed product $C(X) \rtimes_r \Gamma$ which has a zero intersection with $C(X)$. We characterize this condition by a property for amenable subgroups of the stabilizer subgroups of $X$ in terms of the Chabauty space of $\Gamma$. Read More


A statistical experiment on a von Neumann algebra is a parametrized family of normal states on the algebra. This paper introduces the concept of minimal sufficiency for statistical experiments in such operator algebraic situations. We define equivalence relations of statistical experiments indexed by a common parameter set by completely positive or Schwarz coarse-graining and show that any statistical experiment is equivalent to a minimal sufficient statistical experiment unique up to normal isomorphism of outcome algebras. Read More


Given two complex Hilbert spaces $H$ and $K$, let $S(B(H))$ and $S(B(K))$ denote the unit spheres of the C$^*$-algebras $B(H)$ and $B(K)$ of all bounded linear operators on $H$ and $K$, respectively. We prove that every surjective isometry $f: S(B(K)) \to S(B(H))$ admits an extension to a surjective complex linear or conjugate linear isometry $T: B(K)\to B(H)$. This provides a positive answer to Tingley's problem in the setting of $B(H)$ spaces. Read More


We study w*-semicrossed products over actions of the free semigroup and the free abelian semigroup on (possibly non-selfadjoint) w*-closed algebras. We show that they are reflexive when the dynamics are implemented by uniformly bounded families of invertible row operators. Combining with results of Helmer we derive that w*-semicrossed products over factors (on a separable Hilbert space) are reflexive. Read More


For a simple $C^*$-algebra $A$ and any other $C^*$-algebra $B$, it is proved that every closed ideal of $A \otimes^\min B$ is a product ideal if either $A$ is exact or $B$ is nuclear. Closed commutator of a closed ideal admitting a quasi-central approximate identity in a Banach algebra is described in terms of the commutator of the Banach algebra. Using these, closed Lie ideals of $A \otimes^\min C(X)$ are determined, $A$ being any simple unital $C^*$-algebra with at most one tracial state and $X$ any compact Hausdorff space. Read More


A trace on a C*-algebra is amenable (resp. quasidiagonal) if it admits a net of completely positive, contractive maps into matrix algebras which approximately preserve the trace and are approximately multiplicative in the 2-norm (resp. operator norm). Read More


We prove that the category of solitons of a finite index conformal net is a bicommutant category, and that its Drinfel'd center is the category of representations of the conformal net. In the special case of a chiral WZW conformal net with finite index, the second result specializes to the statement that the Drinfel'd center of the category of positive energy representations of the based loop group is equivalent to the category of positive energy representations of the free loop group. These results were announced in [arXiv:1503. Read More


In further study of the application of crossed-product functors to the Baum-Connes Conjecture, Buss, Echterhoff, and Willett introduced various other properties that crossed-product functors may have. Here we introduce and study analogues of these properties for coaction functors, making sure that the properties are preserved when the coaction functors are composed with the full crossed product to make a crossed-product functor. The new properties for coaction functors studied here are functoriality for generalized homomorphisms and the correspondence property. Read More


We give an algorithm to compute the $K$-groups of the crossed product by the flip automorphism for a nuclear C$^*$-algebra satisfying the UCT. Read More


We study some topological spaces that can be considered as hyperspaces associated to noncommutative spaces. More precisely, for a NC compact space associated to a unital C*-algebra, we consider the set of closed projections of the second dual of the C*-algebra as the hyperspace of closed subsets of the NC space. We endow this hyperspace with an analog of Vietoris topology. Read More


In this paper we give three functors $\mathfrak{P}$, $[\cdot]_K$ and $\mathfrak{F}$ on the category of C$^\ast$-algebras. The functor $\mathfrak{P}$ assigns to each C$^\ast$-algebra $\mathcal{A}$ a pre-C$^\ast$-algebra $\mathfrak{P}(\mathcal{A})$ with completion $[\mathcal{A}]_K$. The functor $[\cdot]_K$ assigns to each C$^\ast$-algebra $\mathcal{A}$ the Cauchy extension $[\mathcal{A}]_K$ of $\mathcal{A}$ by a non-unital C$^\ast$-algebra $\mathfrak{F}(\mathcal{A})$. Read More


We consider the entanglement entropy for a spacetime region and its spacelike complement in the framework of algebraic quantum field theory. For a M\"obius covariant local net satisfying a certain nuclearity property, we consider the von Neumann entropy for type I factors between local algebras and introduce an entropic quantity. Then we implement a cutoff on this quantity with respect to the conformal Hamiltonian and show that it remains finite as the distance of two intervals tends to zero. Read More


This paper is an introduction to the hyperbolic geometry of noncommutative polyballs B_n of bounded linear operators on Hilbert spaces. We use the theory of free pluriharmonic functions on polyballs and noncommutative Poisson kernels on tensor products of full Fock spaces to define hyperbolic type metrics on B_n, study their properties, and obtain hyperbolic versions of Schwarz-Pick lemma for free holomorphic functions on polyballs. As a consequence, the polyballs can be viewed as noncommutative hyperbolic spaces. Read More


We obtain intertwining dilation theorems for noncommutative regular domains D_f and noncommutative varieties V_J of n-tuples of operators, which generalize Sarason and Sz.-Nagy--Foias commutant lifting theorem for commuting contractions. We present several applications including a new proof for the commutant lifting theorem for pure elements in the domain D_f (resp. Read More


In this paper, W*-algebras are presented as canonical colimits of diagrams of matrix algebras and completely positive maps. In other words, matrix algebras are dense in W*-algebras. Read More


The class of selfdecomposable distributions in free probability theory was introduced by Barndorff-Nielsen and the third named author. It constitutes a fairly large subclass of the freely infinitely divisible distributions, but so far specific examples have been limited to Wigner's semicircle distributions, the free stable distributions, two kinds of free gamma distributions and a few other examples. In this paper, we prove that the (classical) normal distributions are freely selfdecomposable. Read More


In this paper we revisit the theory of induced representations in the setting of locally compact quantum groups. In the case of induction from open quantum subgroups, we show that constructions of Kustermans and Vaes are equivalent to the classical, and much simpler, construction of Rieffel. We also prove in general setting the continuity of induction in the sense of Vaes with respect to weak containment. Read More


We extend the Leavitt path algebras versions for ultragraphs (quotient ultragraphs) and we prove the graded and Cuntz-Krieger uniqueness theorems to characterize their ideal structure. Next, we give an algebraic analogous of Exel-Laca algebras and we show that the class of Leavitt path algebras of ultragraphs includes this class of directed graphs as well as the class of algebraic Exel-Laca algebras. Read More


We initiate the study of the completely bounded multipliers of the Haagerup tensor product $A(G)\otimes_{\rm h} A(G)$ of two copies of the Fourier algebra $A(G)$ of a locally compact group $G$. If $E$ is a closed subset of $G$ we let $E^{\sharp} = \{(s,t) : st\in E\}$ and show that if $E^{\sharp}$ is a set of spectral synthesis for $A(G)\otimes_{\rm h} A(G)$ then $E$ is a set of local spectral synthesis for $A(G)$. Conversely, we prove that if $E$ is a set of spectral synthesis for $A(G)$ and $G$ is a Moore group then $E^{\sharp}$ is a set of spectral synthesis for $A(G)\otimes_{\rm h} A(G)$. Read More


We construct non-commutative analogs of transport maps among free Gibbs state satisfying a certain convexity condition. Unlike previous constructions, our approach is non-perturbative in nature and thus can be used to construct transport maps between free Gibbs states associated to potentials which are far from quadratic, i.e. Read More


We introduce a class of toposes called "absolutely locally compact" toposes and of "admissible" sheaf of rings over such toposes. To any such ringed topos $(\mathcal{T},A)$ we attach an involutive convolution algebra $\mathcal{C}_c(\mathcal{T},A)$ which is well defined up to Morita equivalence and characterized by the fact that the category of non-degenerate modules over $\mathcal{C}_c(\mathcal{T},A)$ is equivalent to the category of sheaf of $A$-module over $\mathcal{T}$. In the case where $A$ is the sheaf of real or complex Dedekind numbers, we construct several norms on this involutive algebra that allows to complete it in various Banach and $C^*$-algebras: $L^1(\mathcal{T},A)$, $C^*_{red}(\mathcal{T},A)$ and $C^*_{max}(\mathcal{T},A)$. Read More


We describe the tube algebra and its representations in the cases of diagonal and Bisch-Haagerup subfactors possibly with a scalar 3-cocycle obstruction. We show that these categories are additively equivalent to the direct product over conjugacy classes of representation category of a centralizer subgroup (corresponding to the conjugacy class) twisted by a scalar 2-cocycle obtained from the 3-cocycle obstruction. Read More


We use the theory of regular objects in tensor categories to clarify the passage between braided multiplicative unitaries and multiplicative unitaries with projection. The braided multiplicative unitary and its semidirect product multiplicative unitary have the same Hilbert space representations. We also show that the multiplicative unitaries associated to two regular objects for the same tensor category are equivalent and hence generate isomorphic C*-quantum groups. Read More


In this paper we describe a class of highly entangled subspaces of a tensor product of finite dimensional Hilbert spaces arising from the representation theory of free orthogonal quantum groups. We determine their largest singular values and obtain lower bounds for the minimum output entropy of the corresponding quantum channels. An application to the construction of $d$-positive maps on matrix algebras is also presented. Read More


This paper studies weakly mixing (singular) and mixing masas in type $\rm{II}_{1}$ factors from a bimodule point of view. Several necessary and sufficient conditions to characterize the normalizing algebra of a masa are presented. We also study the structure of mixing inclusions, with special attention paid to masas of product class. Read More


We prove that all finite joint distributions of creation and annihilation operators in Monotone and anti-Monotone Fock spaces can be realized as Quantum Central Limit of certain operators on a $C^*$-algebra, at least when the test functions are Riemann integrable. Namely, the approximation is given by weighted sequences of creators and annihilators in discrete monotone $C^*$-algebras, the weight being the above cited test functions. The construction is then generalized to processes by an invariance principle. Read More


Given a locally compact group $G$ and a unitary representation $\rho:G\to U({\mathcal H})$ on a Hilbert space ${\mathcal H}$, we construct a $C^*$-correspondence ${\mathcal E}(\rho)={\mathcal H}\otimes_{\mathbb C} C^*(G)$ over $C^*(G)$ and study the Cuntz-Pimsner algebra ${\mathcal O}_{{\mathcal E}(\rho)}$. We prove that for $G$ compact, ${\mathcal O}_{{\mathcal E}(\rho)}$ is strong Morita equivalent to a graph $C^*$-algebra. If $\lambda$ is the left regular representation of an infinite, discrete and amenable group $G$, we show that ${\mathcal O}_{{\mathcal E}(\lambda)}$ is simple and purely infinite, with the same $K$-theory as $C^*(G)$. Read More


Let $G$ be a compactly generated locally compact group and $(\pi, \mathcal H)$ a unitary representation of $G.$ The $1$-cocycles with coefficients in $\pi$ which are harmonic (with respect to a suitable probability measure on $G$) represent classes in the first reduced cohomology $\bar{H}^1(G,\pi).$ We show that harmonic $1$-cocycles are characterized inside their reduced cohomology class by the fact that they span a minimal closed subspace of $\mathcal H. Read More


The representation theory of a conformal net is a unitary modular tensor category. It is captured by the bimodule category of the Jones-Wassermann subfactor. In this paper, we construct multi-interval Jones-Wassermann subfactors for unitary modular tensor categories. Read More


Given a graph of C*-algebras, we prove a long exact sequence in KK-theory for both the maximal and the vertex-reduced fundamental C*-algebras in the presence of possibly non GNS-faithful conditional expectations. We deduce from it the KK-equivalence between the full fundamental C*-algebra and the vertex-reduced fundamental C*-algebra even for non GNS-faithful conditional expectations. Our results unify, simplify and generalize all the previous results obtained before by Cuntz, Pimsner, Germain and Thomsen. Read More


We study actions of countable discrete amenable groups on unital separable simple nuclear Z-absorbing C*-algebras. Under a certain assumption on tracial states, which is automatically satisfied in the case of a unique tracial state, the crossed product is shown to absorb the Jiang-Su algebra Z tensorially. Read More


We show that there is a functor from the category of positive admissible ternary rings to the category of $*$-algebras, which induces an isomorphism of partially ordered sets between the families of $C^*$-norms on the ternary ring and its corresponding $*$-algebra. We apply this functor to obtain Morita-Rieffel equivalence results between cross sectional $C^*$-algebras of Fell bundles, and to extend the theory of tensor products of $C^*$-algebras to the larger category of full Hilbert $C^*$-modules. We prove that, like in the case of $C^*$-algebras, there exist maximal and minimal tensor products. Read More


We introduce a notion of Morita equivalence for non-selfadjoint operator algebras equipped with a completely isometric involution (operator *-algebras). We then show that the unbounded Kasparov product by a Morita equivalence bimodule induces an isomorphism between equivalence classes of twisted spectral triples over Morita equivalent operator *-algebras. This leads to a tentative definition of unbounded bivariant K-theory and we prove that this bivariant theory is related to Kasparov's bivariant K-theory via the Baaj-Julg bounded transform. Read More


Let $\Lambda $ be a countably infinite property (T) group, and let $A$ be UHF-algebra of infinite type. We prove that there exists a continuum of pairwise non (weakly) cocycle conjugate, strongly outer actions of $\Lambda $on $A$. The proof consists in assigning, to any second countable abelian pro-$p$ group $G$, a strongly outer action of $\Lambda $ on $A$ whose (weak) cocycle conjugacy class completely remembers the group $G$. Read More


We calculate all $\ell^2$-Betti numbers of the universal discrete Kac quantum groups $\hat U_n^+$ as well as their full half-liberated counterparts $\hat U_n^*$. Read More


Given a short exact sequence of locally compact abelian groups $0 \to A \to B \to C \to 0$ and a continuous $C$-valued $1$-cocycle $\phi$ on a locally compact Hausdorff groupoid $\Gamma$ we construct a twist of $\Gamma$ by $A$ that is trivial if and only if $\phi$ lifts. The cocycle determines a strongly continuous action of $\widehat{C}$ into $\operatorname{Aut} C^*(\Gamma)$ and we prove that the $C^*$-algebra of the twist is isomorphic to the induced algebra of this action if $\Gamma$ is amenable. We apply our results to a groupoid determined by a locally finite cover of a space $X$ and a cocycle provided by a \v{C}ech 1-cocycle with coefficients in the sheaf of germs of continuous $\mathbb{T}$-valued functions. Read More


We classify fusion categories which are Morita equivalent to even parts of subfactors with index $3+\sqrt{5} $, and module categories over these fusion categories. For the fusion category $\mathcal{C} $ which is the even part of the self-dual $3^{\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z} } $ subfactor, we show that there are $30$ simple module categories over $ \mathcal{C}$; there are no other fusion categories in the Morita equivalence class; and the order of the Brauer-Picard group is $360$. The proof proceeds indirectly by first describing the Brauer-Picard groupoid of a $ \mathbb{Z}/3\mathbb{Z} $-equivariantization $\mathcal{C}^{\mathbb{Z}/3\mathbb{Z} } $ (which is the even part of the $4442$ subfactor). Read More


We study asymptotic distributions of large dimensional random matrices of the form $BB^{*}$, where $B$ is a product of $p$ rectangular random matrices, using free probability and combinatorics of colored labeled noncrossing partitions. These matrices are taken from the set of off-diagonal blocks of the family $\mathcal{Y}$ of independent Hermitian random matrices which are asymptotically free, asymptotically free against the family of deterministic diagonal matrices, and whose norms are uniformly bounded almost surely. This class includes unitarily invariant Hermitian random matrices with limit distributions given by compactly supported probability measures $\nu$ on the real line. Read More


Motivated by Gilkey's local formulae for asymptotic expansion of heat kernels in spectral geometry, we propose a definition of Ricci curvature in noncommutative settings. The Ricci operator of an oriented closed Riemannian manifold can be realized as a spectral functional, namely the functional defined by the zeta function of the full Laplacian of the de Rham complex, localized by smooth endomorphisms of the cotangent bundle and their trace. We use this formulation to introduce the Ricci functional in a noncommutative setting and in particular for curved noncommutative tori. Read More


We show that for certain unital C*-algebras A with free actions of a finite cyclic group G, equivariant self-maps of A are path connected to finite-dimensional representations, including one-dimensional representations, within the homomorphisms from A to certain crossed products of A with G. Therefore, our previously proposed extensions of Baum-Dabrowski-Hajac noncommutative Borsuk-Ulam theory, in which certain crossed products replace tensor products in their definitions, do not apply universally. We examine the consequences of this claim for extending contractibility (in the sense of Dabrowski-Hajac-Neshveyev) "modulo torsion" by embedding A into matrix algebras over A. Read More


We define the complete numerical radius norm for homomorphisms from any operator algebra into ${\mathcal B}({\mathcal H})$, and show that this norm can be computed explicitly in terms of the completely bounded norm. This is used to show that if $K$ is a complete $C$-spectral set for an operator $T$, then it is a complete $M$-numerical radius set, where $M=\frac12(C+C^{-1})$. In particular, in view of Crouzeix's theorem, there is a universal constant $M$ (less than 5. Read More


In the present paper, we propose a new construction of quantum Markov fields on arbitrary connected, infinite, locally finite graphs. The construction is based on a specific tessellation on the considered graph, that allows us to express the Markov property for the local structure of the graph. Our main result concerns the existence and uniqueness of quantum Markov field over such graphs. Read More