Source author record

Sorin Popa

Sorin Popa appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

20works
6topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

20 published item(s)

preprint2022arXiv

W*-representations of subfactors and restrictions on the Jones index

A {\it W$^*$-representation} of a II$_1$ subfactor $N\subset M$ with finite Jones index, $[M:N]<\infty$, is a non-degenerate commuting square embedding of $N\subset M$ into an inclusion of atomic von Neumann algebras $\oplus_{i\in I} \Cal B(\Cal K_i)=\Cal N \subset^{\Cal E} \Cal M=\oplus_{j\in J} \Cal B(\Cal H_j)$. We undertake here a systematic study of this notion, first introduced in [P92], giving examples and considering invariants such as the (bipartite) {\it inclusion graph} $Λ_{\Cal N \subset \Cal M}$, the {\it coupling vector} $(\text{\rm dim}(_M\Cal H_j))_j$ and the {\it RC-algebra} (relative commutant) $M'\cap \Cal N$, for which we establish some basic properties. We then prove that if $N\subset M$ admits a W$^*$-representation $\Cal N\subset^{\Cal E}\Cal M$, with the expectation $\Cal E$ preserving a semifinite trace on $\Cal M$, such that there exists a norm one projection of $\Cal M$ onto $M$ commuting with $\Cal E$, a property of $N\subset M$ that we call {\it weak injectivity/amenability}, then $[M:N]$ equals the square norm of the inclusion graph $Λ_{\Cal N \subset \Cal M}$.

preprint2020arXiv

Coarse decomposition of II$_1$ factors

We prove that any separable II$_1$ factor $M$ admits a {\it coarse decomposition} over the hyperfinite II$_1$ factor $R$, i.e., there exists an embedding $R\hookrightarrow M$ such that $L^2M\ominus L^2R$ is a multiple of the coarse Hilbert $R$-bimodule $L^2R \overline{\otimes} L^2R^{op}$ (equivalently, the von Neumann algebra generated by left and right multiplication by $R$ on $L^2M\ominus L^2R$ is isomorphic to $R\overline{\otimes}R^{op}$). Moreover, if $Q\subset M$ is an infinite index irreducible subfactor, then $R\hookrightarrow M$ can be constructed so that to also be coarse with respect to $Q$. This result implies existence of MASAs that are mixing, strongly malnormal, and with infinite multiplicity, in any separable II$_1$ factor.

preprint2020arXiv

Tight decomposition of factors and the single generation problem

A II$_1$ factor $M$ has the {\it stable single generation} ({\it SSG}) property if any amplification $M^t$, $t>0$, can be generated as a von Neumann algebra by a single element. We discuss a conjecture stating that if $M$ is SSG, then $M$ has a {\it tight} decomposition, i.e., there exists a pair of hyperfinite II$_1$ subfactors $R_0, R_1 \subset M$ such that $R_0 \vee R_1^{op}=\Cal B(L^2M)$. We explain why this conjecture is interesting and discuss possible approaches to prove it. We also prove some related results.

preprint2016arXiv

Approximate equivalence of actions

We consider several weaker versions of the notion of conjugacy and orbit equivalence of measure preserving actions of countable groups on probability spaces, involving equivalence of the ultrapower actions and asymptotic intertwining conditions. We compare them with the other existing equivalence relations between group actions, and study the usual type of rigidity questions around these new concepts (superrigidity, calculation of invariants, etc).

preprint2015arXiv

On the optimal paving over MASAs in von Neumann algebras

We prove that if $A$ is a singular MASA in a II$_1$ factor $M$ and $ω$ is a free ultrafilter, then for any $x\in M\ominus A$, with $\|x\|\leq 1$, and any $n\geq 2$, there exists a partition of $1$ with projections $p_1, p_2, ..., p_n\in A^ω$ (i.e. a {\it paving}) such that $\|Σ_{i=1}^n p_i x p_i\|\leq 2\sqrt{n-1}/n$, and give examples where this is sharp. Some open problems on optimal pavings are discussed.

preprint2015arXiv

Paving over arbitrary MASAs in von Neumann algebras

We consider a paving property for a maximal abelian *-subalgebra (MASA) $A$ in a von Neumann algebra $M$, that we call so-paving, involving approximation in the so-topology, rather than in norm (as in classical Kadison-Singer paving). If $A$ is the range of a normal conditional expectation, then so-paving is equivalent to norm paving in the ultrapower inclusion $A^ω\subset M^ω$. We conjecture that any MASA in any von Neumann algebra satisfies so-paving. We use [MSS13] to check this for all MASAs in $\mathcal B(\ell^2 \mathbb N)$, all Cartan subalgebras in amenable von Neumann algebras and in group measure space II$_1$ factors arising from profinite actions. By [P13], the conjecture also holds true for singular MASAs in II$_1$ factors, and we obtain here an improved paving size $C\varepsilon^{-2}$, which we show to be sharp.

preprint2015arXiv

Representation theory for subfactors, $λ$-lattices and C*-tensor categories

We develop a representation theory for $λ$-lattices, arising as standard invariants of subfactors, and for rigid C*-tensor categories, including a definition of their universal C*-algebra. We use this to give a systematic account of approximation and rigidity properties for subfactors and tensor categories, like (weak) amenability, the Haagerup property and property (T). We determine all unitary representations of the Temperley-Lieb-Jones $λ$-lattices and prove that they have the Haagerup property and the complete metric approximation property. We also present the first subfactors with property (T) standard invariant and that are not constructed from property (T) groups.

preprint2014arXiv

Independence properties in subalgebras of ultraproduct II$_1$ factors

Let $M_n$ be a sequence of finite factors with $\dim(M_n)\rightarrow \infty$ and denote $\text{\bf M}=Π_ωM_n$ their ultraproduct over a free ultrafilter $ω$. We prove that if $\text{\bf Q}\subset \text{\bf M}$ is either an ultraproduct $\text{\bf Q}=Π_ωQ_n$ of subalgebras $Q_n\subset M_n$, with $Q_n \not\prec_{M_n} Q_n'\cap M_n$, $\forall n$, or the centralizer $\text{\bf Q}=B'\cap \text{\bf M}$ of a separable amenable *-subalgebra $B\subset \text{\bf M}$, then for any separable subspace $X\subset \text{\bf M}\ominus (\text{\bf Q}'\cap \text{\bf M})$, there exists a diffuse abelian von Neumann subalgebra in $\text{\bf Q}$ which is {\it free independent} to $X$, relative to $\text{\bf Q}'\cap \text{\bf M}$. Some related independence properties for subalgebras in ultraproduct II$_1$ factors are also discussed.

preprint2014arXiv

Smooth bimodules and cohomology of II$_1$ factors

We prove that, under rather general conditions, the 1-cohomology of a von Neumann algebra $M$ with values in a Banach $M$-bimodule satisfying a combination of smoothness and operatorial conditions, vanishes. For instance, we show that if $M$ acts normally on a Hilbert space $\Cal H$ and $\Cal B_0\subset \Cal B(\Cal H)$ is a norm closed $M$-bimodule such that any $T\in \Cal B_0$ is {\it smooth} (i.e. the left and right multiplication of $T$ by $x\in M$ are continuous from the unit ball of $M$ with the $s^*$-topology to $\Cal B_0$ with its norm), then any derivation of $M$ into $\Cal B_0$ is inner. The compact operators are smooth over any $M\subset \Cal B(\Cal H)$, but there is a large variety of non-compact smooth elements as well.

preprint2013arXiv

A II$_1$ factor approach to the Kadison-Singer problem

We show that the Kadison-Singer problem, asking whether the pure states of the diagonal subalgebra $\ell^\infty\Bbb N\subset \Cal B(\ell^2\Bbb N)$ have unique state extensions to $\Cal B(\ell^2\Bbb N)$, is equivalent to a similar statement in II$_1$ factor framework, concerning the ultrapower inclusion $D^ω\subset R^ω$, where $D$ is the Cartan subalgebra of the hyperfinite II$_1$ factor $R$, and $ω$ is a free ultraflter. While we do not settle the problem in this latter form, we prove that if $A$ is any singular maximal abelian subalgebra of $R$, then the inclusion $A^ω\subset R^ω$ does satisfy the Kadison-Singer property.

preprint2013arXiv

Unique Cartan decomposition for II_1 factors arising from arbitrary actions of free groups

We prove that for any free ergodic probability measure preserving action \F_n \actson (X,μ) of a free group on n generators \F_n, 2 \leq n \leq \infty, the associated group measure space II_1 factor $L^\infty(X) \rtimes \F_n$ has L^\infty(X) as its unique Cartan subalgebra, up to unitary conjugacy. We deduce that group measure space II_1 factors arising from actions of free groups with different number of generators are never isomorphic. We actually prove unique Cartan decomposition results for II_1 factors arising from arbitrary actions of a rather large family of groups, including all free products of amenable groups and their direct products.

preprint2012arXiv

A class of superrigid group von Neumann algebras

We prove that for any group G in a fairly large class of generalized wreath product groups, the associated von Neumann algebra L(G) completely "remembers" the group G. More precisely, if L(G) is isomorphic to the von Neumann algebra L(Λ) of an arbitrary countable group Λ, then Λ must be isomorphic to G. This represents the first superrigidity result pertaining to group von Neumann algebras.

preprint2011arXiv

A class of groups for which every action is W*-superrigid

We prove the uniqueness of the group measure space Cartan subalgebra in crossed products A \rtimes Γcovering certain cases where Γis an amalgamated free product over a non-amenable subgroup. In combination with Kida's work we deduce that if Σ< SL(3,\Z) denotes the subgroup of matrices g with g_31 = g_32 = 0, then any free ergodic probability measure preserving action of Γ= SL(3,\Z) *_ΣSL(3,\Z) is stably W*-superrigid. In the second part we settle a technical issue about the unitary conjugacy of group measure space Cartan subalgebras.

preprint2010arXiv

Group measure space decomposition of II_1 factors and W*-superrigidity

We prove a "unique crossed product decomposition" result for group measure space II_1 factors arising from arbitrary free ergodic probability measure preserving (p.m.p.) actions of groups Γin a fairly large family G, which contains all free products of a Kazhdan group and a non-trivial group, as well as certain amalgamated free products over an amenable subgroup. We deduce that if T_n denotes the group of upper triangular matrices in PSL(n,Z), then any free, mixing p.m.p. action of the amalgamated free product of PSL(n,Z) with itself over T_n, is W*-superrigid, i.e. any isomorphism between L^\infty(X) \rtimes Γand an arbitrary group measure space factor L^\infty(Y) \rtimes Λ, comes from a conjugacy of the actions. We also prove that for many groups Γin the family G, the Bernoulli actions of Γare W*-superrigid.

preprint2010arXiv

On the fundamental group of II_1 factors and equivalence relations arising from group actions

Given a countable group G, we consider the sets S_factor(G), S_eqrel(G), of subgroups F of the positive real line for which there exists a free ergodic probability measure preserving action G on X such that the fundamental group of the associated II_1 factor, respectively orbit equivalence relation, equals F. We prove that if G is the free product of Z and infinitely many copies of a non-trivial group Γ, then S_factor(G) and S_eqrel(G) contain R_+ itself, all of its countable subgroups, as well as uncountable subgroups whose log can have any Hausdorff dimension in the interval (0,1). We then prove that if G=Γ*Λ, with Γ, Λfinitely generated ICC groups, one of which has property (T), then S_factor(G)=S_eqrel(G)={1}. We also show that there exist II_1 factors M such that the fundamental group of M is R_+, but the associated II_\infty factor M tensor B(l^2) admits no continuous trace scaling action of R_+.

preprint2008arXiv

Actions of F_\infty whose II_1 factors and orbit equivalence relations have prescribed fundamental group

We show that given any subgroup F of R_+ which is either countable or belongs to a certain "large" class of uncountable subgroups, there exist continuously many free ergodic probability measure preserving actions σ_i of the free group with infinitely many generators such that their associated group measure space II_1 factors M_i and orbit equivalence relations R_i have fundamental group equal to F and with M_i (respectively R_i) stably non-isomorphic. Moreover, these actions can be taken so that R_i has no outer automorphisms and any automorphism of M_i is unitary conjugate to an automorphism that acts trivially on $L^\infty(X_i) \subset M_i$.

preprint2008arXiv

Cocycle and orbit superrigidity for lattices in SL(n,R) acting on homogeneous spaces

We prove cocycle and orbit equivalence superrigidity for lattices in SL(n,R) acting linearly on R^n, as well as acting projectively on certain flag manifolds, including the real projective space. The proof combines operator algebraic techniques with the property (T) in the sense of Zimmer for the action of SL(n,Z) on R^n, n \geq 4. We also show that the restriction of the associated orbit equivalence relation to a subset of finite Lebesgue measure, provides a II_1 equivalence relation with property (T) and yet fundamental group equal to R_+.