Related papers: Commuting-Square Subfactors and Central Sequences

We give a characterizations of Ramsey ultrafilters on $\mathscr P(\omega)$ in terms of functions $f:\omega^n\to\omega$ and their ultrafilter extensions. To do this, we prove that for any partition $\mathcal P$ of $[\omega]^n$ there is a…

We show that the universal theory of the hyperfinite II$_1$ factor is not computable. The proof uses the recent result that MIP*=RE. Combined with an earlier observation of the authors, this yields a proof that the Connes Embedding Problem…

We characterize finite index depth 2 inclusions of type II_1 factors in terms of actions of weak Kac algebras and weak C*-Hopf algebras. If N\subset M \subset M_1 \subset M_2 \subset ... is the Jones tower constructed from such an inclusion…

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…

We find necessary and sufficient conditions for the finite separability of finitely generated commutative rings. Namely, we prove that every such ring is a finite extension of its torsion ideal $I_k$ where $k$ is square-free, and $I_k$ is a…

We review and introduce several approaches to the study of centralizer algebras of the infinite symmetric group $S_\infty$. Our study is led by the double commutant relationships between finite symmetric groups and partition algebras; each…

Let $N \subset M$ be an irreducible inclusion of type type II$_1$ factors with finite Jones index. We shall introduce the notion of normality for intermediate subfactors of the inclusion $N \subset M$. If the depth of $N \subset M$ is 2,…

We give another proof that for every lambda >= beth_omega for every large enough regular kappa < beth_omega we have lambda^{[kappa]}= lambda, dealing with sufficient conditions for replacing beth_omega by aleph_omega. In section 2 we show…

We define a variety of loops called semiautomorphic, inverse property loops that generalize Moufang and Steiner loops. We first show an equivalence between a previously studied variety of loops. Next we extend several known results for…

Let $(S, \n)$ be a commutative noetherian local ring and $\omega\in\n$ be non-zerodivisor. This paper deals with the behavior of the category $\mon(\omega, \cp)$ consisting of all monomorphisms between finitely generated projective…

We prove conditions ensuring that a Lie ideal or an invariant additive subgroup in a ring contains all additive commutators. A crucial assumption is that the subgroup is fully noncentral, that is, its image in every quotient is noncentral.…

Given a factor code between sofic shifts X and Y, there is a family of decompositions of the original code into factor codes such that the entropies of the intermediate subshifts arising from the decompositions are dense in the interval…

The relative position of one subfactor of a factor has been proved quite rich since the work of Jones. We shall show that the theory of relative position of several subspaces of a separable infinite-dimensional Hilbert space is also rich.…

Recently, sub-indices and sub-factors of groups with connections to number theory, additive combinatorics, and factorization of groups have been introduced and studied. Since all group subsets are considered in the theory and there are many…

Let $\M$ be a hyperfinite finite von Nemann algebra and $(\M_k)_{k\geq 1}$ be an increasing filtration of finite dimensional von Neumann subalgebras of $\M$. We investigate abstract fractional integrals associated to the filtration…

We show that the Jones-Wassermann subfactors for disconnected intervals, which are constructed from the representations of loop groups of type $A$, are finite-depth subfactors. The index value and the dual principal graphs of these…

A sumset semigroup is a non-cancellative commutative monoid obtained from the sumset of finite non-negative integer sets. In this work, an algorithm for computing the ideals associated with some sumset semigroups is provided. Using these…

Starting from a N=1 scalar supermultiplet in 2+1 dimensions, we demonstrate explicitly the appearance of induced N=1 vector and scalar supermultiplets of composite operators made out of the fundamental supersymmetric constituents. We…

We provide an operator algebraic proof of a classical theorem of Thoma which characterizes the extremal characters of the infinite symmetric group $\mathbb{S}_\infty$. Our methods are based on noncommutative conditional independence…

Given a domain $\Omega$ of $\mathbb{R}^{m+1}$ and a $k$-dimensional non-degenerate minimal submanifold $K$ of $\pa \Omega$ with $1\le k\le m-1$, we prove the existence of a family of embedded constant mean curvature hypersurfaces which as…