Related papers: Commuting-Square Subfactors and Central Sequences

For a finite-index $\mathrm{II}_1$ subfactor $N \subset M$, we prove the existence of a universal Hopf $\ast$-algebra (or, a discrete quantum group in the analytic language) acting on $M$ in a trace-preserving fashion and fixing $N$…

We call a subfactor trivial if it is isomorphic with the obvious inclusion of N into matrices over N. We prove the existence of type II_1 factors M without non-trivial finite index subfactors. Equivalently, every M-M-bimodule with finite…

We prove that a regular subfator of type $II_1$ with finite Jones index always admits a two-sided Pimsner-Popa basis. This is preceeded by a pragmatic revisit of Popa's notion of orthogonal systems.

We prove that every finitely generated group with recursive aspherical presentation embeds into a group with finite aspherical presentation. This and several known facts about groups and manifolds imply that there exists a 4-dimensional…

Let \( A \subset M \) be an inclusion of von Neumann algebras equipped with a faithful normal semifinite operator valued weight \( E \colon M \to A \). We prove that every positive element \( x \in M \) with \( E(x) < \infty \) satisfies…

Let $\omega$ be a differential 1-form defining an algebraic foliation of codimension 1 in projective space. In this article we use commutative algebra to study the singular locus of $\omega$ through its ideal of definition. Then, we expose…

We introduce a geometric framework for constructing superintegrable systems from Poisson centralizers (commutants) in the Lie-Poisson algebra $S(\mathfrak{g})$ of a complex semisimple Lie algebra. Starting from a chain of reductive…

We show that every infinite word $\omega$ on a finite subset of $\mathbb{Z}$ must contain arbitrarily large factors $B_1B_2$ which are "close" to being \textit{additive squares}. We also show that for all $k>1, \ \omega$ must contain a…

We investigate structural properties of non-sofic groups, assuming that such groups exist. We introduce and study two classes: minimal non-sofic groups and $\omega$-non-sofic groups. For minimal non-sofic groups, we establish strong…

We examine the limits of covering spaces and the covering spectra of oriented Riemannian manifolds, $M_j$, which converge to a nonzero integral current space, $M_\infty$, in the intrinsic flat sense. We provide examples demonstrating that…

We formulate a relationship between finite-order rondle invariants with respect to triple-point modifications and the lower central series of subgroups of a pure twin group. Using our formulation, we construct infinitely many infinite…

It is known that there are many notions of largeness in a semigroup that own rich combinatorial properties. In this paper, we focus on partition and almost disjoint properties of these notions. One of the most remarkable results with…

Using the closure operator that defines a subtractive ideal of a semiring $S$, in this note we introduce a topology on the set of all ideals of $S$ induced by that operator. We show that the corresponding subtractive space is $T_0$ and…

We prove that there exists a nonprincipal ultrafilter $\mathcal U$ on $\mathbb N$ such that for every countable (or separable) structure $B$ in a countable language the quotient map from the reduced product associated with the Fr\'echet…

Let $G$ be a closed highly homogeneous subgroup of $S_{\infty}$ not involving circular orderings. We show that the closure of a conjugacy class from $G$ contains a conjugacy class which is comeagre in it. Furthermore, we show that the…

We identify two seemingly disparate structures: supercharacters, a useful way of doing Fourier analysis on the group of unipotent uppertriangular matrices with coefficients in a finite field, and the ring of symmetric functions in…

For all Frobenius groups and a large class of finite multiply transitive permutation groups, we show that the corresponding group-subgroup subfactors are completely characterized by their principal graphs. The class includes all the sharply…

We investigate iterating the construction of $C^{*}$, the $L$-like inner model constructed using first order logic augmented with the "cofinality $\omega$" quantifier. We first show that $\left(C^{*}\right)^{C^{*}}=C^{*}\ne L$ is…

For a convergence group equipped with an expanding coarse-cocycle, we construct finitely generated free subsemigroups, which we call $\textit{Bishop--Jones}$ $\textit{semigroups}$, of critical exponent arbitrarily close to but strictly less…

In this paper we analyze the structure of some sets of non-commutative moments of elements in a finite von Neumann algebra M. If the fundamental group of M is R_+\{0}, then the moment sets are convex, and if M is isomorphic to M tensor M,…