BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Source author record

Sorin Popa

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record
math.OAmath.DSmath.GRmath.CTmath.FAmath.QA

Catalog footprint

Research overview

20works
6topics
4close collaborators

Actions

Is this your work?

Log in to claim
Open graphBrowse papers

Published work

20 publications

preprint2022arXiv

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

A {\it W∗^*-representation} of a II1_1 subfactor N⊂MN\subset M with finite Jones index, [M:N]<∞[M:N]<\infty, is a non-degenerate commuting square embedding of N⊂MN\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⊂MN\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 MM commuting with $\Cal E$, a property of N⊂MN\subset M that we call {\it weak injectivity/amenability}, then [M:N][M:N] equals the square norm of the inclusion graph $Λ_{\Cal N \subset \Cal M}$.

Open access
preprint2020arXiv

Coarse decomposition of II1_1 factors

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

Open access
preprint2020arXiv

Tight decomposition of factors and the single generation problem

A II1_1 factor MM has the {\it stable single generation} ({\it SSG}) property if any amplification MtM^t, t>0t>0, can be generated as a von Neumann algebra by a single element. We discuss a conjecture stating that if MM is SSG, then MM has a {\it tight} decomposition, i.e., there exists a pair of hyperfinite II1_1 subfactors R0,R1⊂MR_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.

Open access
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).

Open access
preprint2015arXiv

On the optimal paving over MASAs in von Neumann algebras

We prove that if AA is a singular MASA in a II1_1 factor MM and ωω is a free ultrafilter, then for any x∈M⊖Ax\in M\ominus A, with ∥x∥≤1\|x\|\leq 1, and any n≥2n\geq 2, there exists a partition of 11 with projections p1,p2,...,pn∈Aωp_1, p_2, ..., p_n\in A^ω (i.e. a {\it paving}) such that ∥Σi=1npixpi∥≤2n−1/n\|Σ_{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.

Open access
preprint2015arXiv

Paving over arbitrary MASAs in von Neumann algebras

We consider a paving property for a maximal abelian *-subalgebra (MASA) AA in a von Neumann algebra MM, that we call so-paving, involving approximation in the so-topology, rather than in norm (as in classical Kadison-Singer paving). If AA is the range of a normal conditional expectation, then so-paving is equivalent to norm paving in the ultrapower inclusion Aω⊂Mω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 B(ℓ2N)\mathcal B(\ell^2 \mathbb N), all Cartan subalgebras in amenable von Neumann algebras and in group measure space II1_1 factors arising from profinite actions. By [P13], the conjecture also holds true for singular MASAs in II1_1 factors, and we obtain here an improved paving size Cε−2C\varepsilon^{-2}, which we show to be sharp.

Open access
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.

Open access
preprint2014arXiv

Independence properties in subalgebras of ultraproduct II1_1 factors

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

Open access
preprint2014arXiv

Smooth bimodules and cohomology of II1_1 factors

We prove that, under rather general conditions, the 1-cohomology of a von Neumann algebra MM with values in a Banach MM-bimodule satisfying a combination of smoothness and operatorial conditions, vanishes. For instance, we show that if MM acts normally on a Hilbert space $\Cal H$ and $\Cal B_0\subset \Cal B(\Cal H)$ is a norm closed MM-bimodule such that any $T\in \Cal B_0$ is {\it smooth} (i.e. the left and right multiplication of TT by x∈Mx\in M are continuous from the unit ball of MM with the s∗s^*-topology to $\Cal B_0$ with its norm), then any derivation of MM 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.

Open access
preprint2013arXiv

A II1_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 II1_1 factor framework, concerning the ultrapower inclusion Dω⊂RωD^ω\subset R^ω, where DD is the Cartan subalgebra of the hyperfinite II1_1 factor RR, and ωω is a free ultraflter. While we do not settle the problem in this latter form, we prove that if AA is any singular maximal abelian subalgebra of RR, then the inclusion Aω⊂RωA^ω\subset R^ω does satisfy the Kadison-Singer property.

Open access
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.

Open access
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.

Open access
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.

Open access
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_+.

Open access
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∞(Xi)⊂MiL^\infty(X_i) \subset M_i.

Open access
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_+.

Open access

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.