Related papers: A note on faithful traces on a von Neumann algebra
The goal of this note is to provide a constructive version of the proof of local structure of etale algebras.
Let $(M, \varphi) = (M_1, \varphi_1) \ast (M_2, \varphi_2)$ be the free product of any $\sigma$-finite von Neumann algebras endowed with any faithful normal states. We show that whenever $Q \subset M$ is a von Neumann subalgebra with…
A trace $\tau$ on a separable C*-algebra $A$ is called matricial field (MF) if there is a trace-preserving morphism from $A$ to $Q_\omega$, where $Q_\omega$ denotes the norm ultrapower of the universal UHF-algebra $Q$. In general, the trace…
We prove that a finite von Neumann algebra ${\mathcal A}$ is semisimple if the algebra of affiliated operators ${\mathcal U}$ of ${\mathcal A}$ is semisimple. When ${\mathcal A}$ is not semisimple, we give the upper and lower bounds for the…
In this paper, we show how a construction of an implicit complexity model can be implemented using concepts coming from the core of von Neumann algebras. Namely, our aim is to gain an understanding of classical computation in terms of the…
CZF is a system of set theory which, over classical logic, is equivalent to ZF, while over intuitionistic logic, it has a well-known constructive type-theoretic interpretation. This article introduces a simpler, intuitive family of…
I introduced the notions of proper and piecewise proper families of reals to make progress on an open question in the field of models of PA about whether every Scott set is the standard system of a model of PA. A family of reals X is proper…
Considering a certain construction of algebraic varieties $X$ endowed with an algebraic action of the group ${\rm Aut}(F_n)$, $n<\infty$, we obtain a criterion for the faithfulness of this action. It gives an infinite family $\mathscr F$ of…
This paper has two purposes. The first is to explicate the diagrammatic approach to Hopf algebras due to Kuperberg, and to examine his proof of the existence and uniqueness of integrals in both the diagrammatic and purely algebraic…
Given a subshift over an arbitrary alphabet, we construct a representation of the associated unital algebra. We describe a criteria for the faithfulness of this representation in terms of the existence of cycles with no exits. Subsequently,…
We carry out a careful study of operator algebras associated with Delone dynamical systems. A von Neumann algebra is defined using noncommutative integration theory. Features of these algebras and the operators they contain are discussed.…
We show that the (co)endomorphism algebra of a sufficiently separable "fibre" functor into Vect_k, for k a field of characteristic 0, has the structure of what we call a "unital" von Neumann core in Vect_k. For Vect_k, this particular…
We show that, for many choices of finite tuples of generators $X = (x_1, \dots , x_d)$ of a tracial von Neumann algebra $(M, \tau)$ satisfying certain decomposition properties (non-primeness, possessing a Cartan subalgebra, or property…
In this paper, we introduce the foundation of a fractal topological space constructed via a family of nested topological spaces endowed with subspace topologies, where the number of topological spaces involved in this family is related to…
We construct a countable simple theory which, in Keisler's order, is strictly above the random graph (but "barely so") and also in some sense orthogonal to the building blocks of the recently discovered infinite descending chain. As a…
We refine and advance the study of the local structure of idempotent finite algebras started in [A.Bulatov, The Graph of a Relational Structure and Constraint Satisfaction Problems, LICS, 2004]. We introduce a graph-like structure on an…
We provide a novel tool which may be used to construct new examples of positive maps in matrix algebras (or, equivalently, entanglement witnesses). It turns out that this can be used to prove positivity of several well known maps (such as…
We show that any countable subgroup of the multiplicative group $\mathbb{R}_+^{\times}$ of positive real numbers can be realized as the fundamental group $\mathcal{F}(A)$ of a separable simple unital $C^*$-algebra $A$ with unique trace.…
We develop a novel formal theory of finite structures, based on a view of finite structures as a fundamental artifact of computing and programming, forming a common platform for computing both within particular finite structures, and in the…
In the present paper we suggest a construction of symmetric functionals on a large class of symmetric spaces over a semifinite von Neumann algebra. This approach establishes a bijection between the symmetric functionals on symmetric spaces…