Related papers: A Kirchberg type tensor theorem for operator syste…

By means of Fra\"{i}ss\'{e} theory for metric structures developed by Ben Yaacov, we show that there exists a separable $1$-exact operator system $\mathbb{GS}$---which we call the Gurarij operator system---of almost universal disposition.…

The classical Arazy's decomposition theorem provides a powerful tool in the study of sequences in (and isomorphisms on) a separable operator ideal $\mathcal C_E$ of the algebra $\mathcal B(H)$ of all bounded linear operators on the…

C*-algebras are rings, sometimes nonunital, obeying certain axioms that ensure a very well-behaved representation theory upon Hilbert space. Moreover, there are some well-known features of the representation theory leading to subtle…

We use Arveson's notion of strongly peaking representation to generalize uniqueness theorems for free spectrahedra and matrix convex sets which admit minimal presentations. A fully compressed separable operator system necessarily generates…

A simple proof is provided to show that any bounded normal operator on a real Hilbert space is orthogonally equivalent to its transpose(adjoint). A structure theorem for invertible skew-symmetric operators, which is analogous to the finite…

Let $S$ be a concrete operator system represented on some Hilbert space $H$. A $C^*$-support of $S$ is the $C^*$-algebra generated (via the Choi--Effros product) by $S$ inside an injective operator system acting on $H$. By leveraging…

The purpose of this note is to provide a family of explicit examples of $4$-dimensional operator systems contained in the Calkin algebra $\mathcal{Q}(\mathcal{H})$ on a separable infinite-dimensional Hilbert space $\mathcal{H}$ for which…

Let $G$ be a discrete group. Given unital $G$-$C^*$-algebras $\mathcal{A}$ and $\mathcal{B}$, we give an abstract condition under which every $G$-subalgebra $\mathcal{C}$ of the form $\mathcal{A}\subset \mathcal{C}\subset…

Let $X$ be an operator space, let $\phi$ be a product on $X$, and let $(X,\phi)$ denote the algebra that one obtains. We give necessary and sufficient conditions on the bilinear mapping $\phi$ for the algebra $(X,\phi)$ to have a completely…

The equivariant bootstrap class in the Kasparov category of actions of a finite group G consists of those actions that are equivalent to one on a Type I C*-algebra. Using a result by Arano and Kubota, we show that this bootstrap class is…

Observable properties of a classical physical system can be modelled deterministically as functions from the space of pure states to outcomes; dually, states can be modelled as functions from the algebra of observables to outcomes. The…

We establish that the complete theory of a Hilbert space equipped with a normal operator has the Schr\"oder-Bernstein property. This answers a question of Argoty, Berenstein, and the first-named author. We also prove an analogous statement…

Hilbert C*-modules are the analogues of Hilbert spaces where a C*-algebra plays the role of the scalar field. With the advent of Kasparov's celebrated KK-theory they became a standard tool in the theory of operator algebras. While the…

The program of matrix product states on tensor powers $\mathcal A^{\otimes \mathbb Z}$ of $C^\ast$-algebras, initiated in Comm. Math. Phys. {\bf 144}, 443-490 (1992), is re-assessed in a context where $\mathcal A$ is a generic nuclear…

The global homeomorphism theorem for quasiconformal maps describes the following specifically higher-dimensional phenomenon: {\em Locally invertible quasiconformal mapping $f: {\R}^{n} \to {\R}^{n}$ is globally invertible provided $n > 2$.}…

Semi-infinite forms on the moduli spaces of genus-zero Riemann surfaces with punctures and local coordinates are introduced. A partial operad for semi-infinite forms is constructed. Using semi-infinite forms and motivated by a partial…

We consider a family of norms (called operator E-norms) on the algebra $B(H)$ of all bounded operators on a separable Hilbert space $H$ induced by a positive densely defined operator $G$ on $H$. Each norm of this family produces the same…

Let $\sS$ be a countable, abelian semigroup of continuous surjections on a compact metric space $X$. Corresponding to this dynamical system we associate two operator algebras, the tensor algebra, and the semicrossed product. There is a…

We construct a family of operator systems and $k$-AOU spaces generated by a finite number of projections satisfying a set of linear relations. This family is universal in the sense that the map sending the generating projections to any…

We first formulate a definition of tensor product for two modules for a vertex operator algebra in terms of a certain universal property and then we give a construction of tensor products. We prove the unital property of the adjoint module…