Related papers: The classification problem for von Neumann factors

The factorizable vectors of a complete Boolean algebra of type I factors, acting on a separable Hilbert space, are shown to be total, resolving a conjecture of Araki and Woods. En route, the spectral theory of noise-type Boolean algebras of…

For a normal measurable operator $a$ affiliated with a von Neumann factor $\mathcal{M}$ we show: If $\mathcal{M}$ is infinite, then there is $\lambda_0\in \mathbb{C}$ so that for $\varepsilon>0$ there are…

A topological group G is profinite if it is compact and totally disconnected. Equivalently, G is the inverse limit of a surjective system of finite groups carrying the discrete topology. We discuss how to represent a countably based…

Building on recent results regarding symmetric probabilistic constructions of countable structures, we provide a method for constructing probability measures, concentrated on certain classes of countably infinite structures, that are…

We prove continuous-valued analogues of the basic fact that Murray-von Neumann subequivalence of projections in II$_1$ factors is completely determined by tracial evaluations. We moreover use this result to solve the so-called trace problem…

We introduce the notion of a generalized Jung factor: a II$_1$ factor $M$ for which any two embeddings of $M$ into its ultrapower $M^{\mathcal U}$ are equivalent by an automorphism of $M^{\mathcal U}$. We show that $\mathcal R$ is not the…

We consider the problem of determining the complexity of the uniform homeomorphism relation between separable Banach spaces in the Borel reducibility hierarchy of analytic equivalence relations. We prove that the complete $K_{\sigma}$…

We show that if A is a linear order then Th(A) is either $\aleph_0$-categorical or Borel complete (in the sense of Friedman and Stanley). We generalize this; if A has countably many unary predicates attached, then Th(A) is…

We prove that for a countable, commutative ring $R$, the class of countable $R$-modules either has only countably many isomorphism types, or else it is Borel complete. The machinery gives a succinct proof of the Borel completeness of TFAB,…

We consider cross-product II$_1$ factors $M = N\rtimes_{\sigma} G$, with $G$ discrete ICC groups that contain infinite normal subgroups with the relative property (T) and $\sigma: G \to {\text{\rm Aut}}N$ trace preserving actions of $G$ on…

This paper establishes a necessary and sufficient condition for the coincidence of non-commutative $\log$-algebras constructed from different exact normal semifinite traces. Consequently, we provide a criterion for the isomorphism of…

We investigate criteria for von-Neumann finiteness and reversibility in some classes of non-associative algebras. We show that all finite-dimensional alternative algebras, as well as all algebras obtained from the real numbers via the…

We study the complexity of the classification problem for countable models of set theory (ZFC). We prove that the classification of arbitrary countable models of ZFC is Borel complete, meaning that it is as complex as it can conceivably be.…

We undertake a systematic study of W*-rigidity paradigms for the embeddability relation $\hookrightarrow$ between separable II$_1$ factors and its stable version $\hookrightarrow_s$, obtaining large families of non stably isomorphic II$_1$…

In this paper, we develop the theory of bimodules over von Neumann algebras, with an emphasis on categorical aspects. We clarify the relationship between dualizability and finite index. We also show that, for von Neumann algebras with…

We investigate the isomorphism problem in the setting of definable sets (equivalent to sets with atoms): given two definable relational structures, are they related by a definable isomorphism? Under mild assumptions on the underlying…

We classify the discriminantly separable polynomials of degree two in each of three variables, defined by a property that all the discriminants as polynomials of two variables are factorized as products of two polynomials of one variable…

We separate the $AF$-algebras (correspondingly action of the countable groups on Cantor sets) onto two classes ---- "completely smooth" for which the set of all indecomposable traces (correspondingly list of all invariant ergodic measures)…

We show that neither the class of C*-algebras with Kirchberg's QWEP property nor the class of W*-probability spaces with the QWEP property are effectively axiomatizable (in the appropriate languages). The latter result follows from a more…

Let $(G_n)_{n \in \mathbb{N}}$ be a sequence of groups equipped with a $d$-ary cloning system and denote by $\mathscr{T}_d(G_*)$ the resulting Thompson-like group. In previous work joint with Zaremsky, we obtained structural results…