BZPEERReading, trust and collaboration for researchSource author record
Stefaan Vaes appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We define the standard Borel space of free Araki-Woods factors and prove that their isomorphism relation is not classifiable by countable structures. We also prove that equality of $τ$-topologies, arising as invariants of type III factors, as well as coycle and outer conjugacy of actions of abelian groups on free product factors are not classifiable by countable structures.
We associate a rigid C*-tensor category $C$ to a totally disconnected locally compact group $G$ and a compact open subgroup $K < G$. We characterize when $C$ has the Haagerup property or property (T), and when $C$ is weakly amenable. When $G$ is compactly generated, we prove that $C$ is essentially equivalent to the planar algebra associated by Jones and Burstein to a group acting on a locally finite bipartite graph. We then concretely realize $C$ as the category of bimodules generated by a hyperfinite subfactor.
Crossed products with noncommutative Bernoulli actions were introduced by Connes as the first examples of full factors of type III. This article provides a complete classification of the factors $(P,ϕ)^{\mathbb{F}_n} \rtimes \mathbb{F}_n$, where $\mathbb{F}_n$ is the free group and P is an amenable factor with an almost periodic state $ϕ$. We show that these factors are completely classified by the rank n of the free group $\mathbb{F}_n$ and Connes's Sd-invariant. We prove similar results for free product groups, as well as for classes of generalized Bernoulli actions.
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.
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.
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.
We prove that the rational number |n/m| is an invariant of the group von Neumann algebra of the Baumslag-Solitar group BS(n,m). More precisely, if L(BS(n,m)) is isomorphic with L(\BS(n',m')), then |n'/m'| = |n/m| or |m/n|. We obtain this result by associating to abelian, but not maximal abelian, subalgebras of a II_1 factor, an equivalence relation that can be of type III. In particular, we associate to L(BS(n,m)) a canonical equivalence relation of type III_|n/m|.
We prove that the continuous version of the Connes-Shlyakhtenko first L^2-cohomology for II_1 factors, as proposed by A. Thom in [Th06], always vanishes.
We construct irreducible hyperfinite subfactors of index 6 with a prescribed fundamental group from a large family containing all countable and many uncountable subgroups of R_+. We also prove that there are unclassifiably many irreducible hyperfinite group-type subfactors of index 6 that all have the same standard invariant. More precisely, we associate such a subfactor to every ergodic measure preserving automorphism of the interval [0,1] and prove that the resulting subfactors are isomorphic if and only if the automorphisms are conjugate.
We prove that the L^2-Betti numbers of a unimodular locally compact group G coincide, up to a natural scaling constant, with the L^2-Betti numbers of the countable equivalence relation induced on a cross section of any essentially free ergodic probability measure preserving action of G. As a consequence, we obtain that the reduced and un-reduced L^2-Betti numbers of G agree and that the L^2-Betti numbers of a lattice Gamma in G equal those of G up to scaling by the covolume of Gamma in G. We also deduce several vanishing results, including the vanishing of the reduced L^2-cohomology for amenable locally compact groups.
Recently, Adrian Ioana proved that all crossed products by free ergodic probability measure preserving actions of a nontrivial free product group Γ_1 * Γ_2 have a unique Cartan subalgebra up to unitary conjugacy. Ioana deduced this result from a more general dichotomy theorem on the normalizer N_M(A)'' of an amenable subalgebra A of an amalgamated free product von Neumann algebra M = M_1 *_B M_2. We improve this dichotomy theorem by removing the spectral gap assumptions and obtain in particular a simpler proof for the uniqueness of the Cartan subalgebra in crossed products by Γ_1 * Γ_2.
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.
We construct a class of II_1 factors M that admit unclassifiably many Cartan subalgebras in the sense that the equivalence relation of being conjugate by an automorphism of M is complete analytic, in particular non Borel. We also construct a II_1 factor that admits uncountably many non isomorphic group measure space decompositions, all involving the same group G. So G is a group that admits uncountably many non stably orbit equivalent actions whose crossed product II_1 factors are all isomorphic.
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.
We provide a unified and self-contained treatment of several of the recent uniqueness theorems for the group measure space decomposition of a II_1 factor. We single out a large class of groups Γ, characterized by a one-cohomology property, and prove that for every free ergodic probability measure preserving action of Γthe associated II_1 factor has a unique group measure space Cartan subalgebra up to unitary conjugacy. Our methods follow closely a recent article of Chifan-Peterson, but we replace the usage of Peterson's unbounded derivations by Thomas Sinclair's dilation into a one-parameter group of automorphisms.
We give an elementary proof for Lewis Bowen's theorem saying that two Bernoulli actions of two free groups, each having arbitrary base probability spaces, are stably orbit equivalent. Our methods also show that for all compact groups K and every free product Γof n infinite amenable groups, the factor K^Γ/K of the Bernoulli action of Γon K^Γ by the diagonal action of K, is isomorphic with a Bernoulli action of Γ.
We prove that for any free ergodic nonsingular nonamenable action Γ \actson (X,μ) of all Γ in a large class of groups including all hyperbolic groups, the associated group measure space factor $L^\infty(X) \rtimes Γ$ has L^\infty(X) as its unique Cartan subalgebra, up to unitary conjugacy. This generalizes the probability measure preserving case that was established in [PV12]. We also prove primeness and indecomposability results for such crossed products, for the corresponding orbit equivalence relations and for arbitrary amalgamated free products $M_1 *_B M_2$ over a subalgebra B of type I.
We prove that for any free ergodic probability measure preserving action $Γ\actson (X,μ)$ of a non-elementary hyperbolic group, or a lattice in a rank one simple Lie group, the associated group measure space II_1 factor $L^\infty(X) \rtimes Γ$ has L^\infty(X) as its unique Cartan subalgebra, up to unitary conjugacy.
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.
A probability measure preserving action of Γon (X,μ) is called rigid if the inclusion of L^\infty(X) into the crossed product L^\infty(X) \rtimes Γhas the relative property (T) in the sense of Popa. We give examples of rigid, free, probability measure preserving actions that are ergodic but not strongly ergodic. The same examples show that rigid actions may admit non-rigid quotients.
We provide a family of group measure space II_1 factors for which all finite index subfactors can be explicitly listed. In particular, the set of all indices of irreducible subfactors can be computed. Concrete examples show that this index set can be any set of natural numbers that is closed under taking divisors.
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.
We prove that for a fairly large family of HNN extensions Γ, the group measure space II_1 factor L^\infty(X) \rtimes Γgiven by an arbitrary free ergodic probability measure preserving action of Γ, has a unique group measure space Cartan subalgebra up to unitary conjugacy. We deduce from this new examples of W^*-superrigid group actions, i.e. where the II_1 factor L^\infty(X) \rtimes Γentirely remembers the group action that it was constructed from.
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_+.
We give a survey of recent classification results for crossed product von Neumann algebras arising from measure preserving group actions on probability spaces. This includes II_1 factors with uncountable fundamental groups and the construction of W*-superrigid actions where the crossed product entirely remembers the initial group action that it was constructed from.
We construct inner amenable groups G with infinite conjugacy classes and such that the associated II_1 factor does not have property Gamma of Murray and von Neumann. This solves a problem posed by Effros in 1975.
We prove that given any compact group G, there exists a minimal action of G on a II_1 factor M such that the bimodule category of the fixed-point II_1 factor M^G is naturally equivalent with the representation category of G. In particular, all subfactors of M^G with finite Jones index can be described explicitly.
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$.
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_+.