Source author record

Cyril Houdayer

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

ResearcherUnclaimed source record

Catalog footprint

Research overview

12works
7topics
4close collaborators

Published work

12 publications

preprint2022arXiv

Existentially closed W*-probability spaces

We study several model-theoretic aspects of W∗^*-probability spaces, that is, σσ-finite von Neumann algebras equipped with a faithful normal state. We first study the existentially closed W∗^*-spaces and prove several structural results about such spaces, including that they are type III1_1 factors that tensorially absorb the Araki-Woods factor R∞R_\infty. We also study the existentially closed objects in the restricted class of W∗^*-probability spaces with Kirchberg's QWEP property, proving that R∞R_\infty itself is such an existentially closed space in this class. Our results about existentially closed probability spaces imply that the class of type III1_1 factors forms a ∀2\forall_2-axiomatizable class. We show that for λ∈(0,1)λ\in (0,1), the class of IIIλ_λ factors is not ∀2\forall_2-axiomatizable but is ∀3\forall_3-axiomatizable; this latter result uses a version of Keisler's Sandwich theorem adapted to continuous logic. Finally, we discuss some results around elementary equivalence of IIIλ_λ factors. Using a result of Boutonnet, Chifan, and Ioana, we show that, for any λ∈(0,1)λ\in (0,1), there is a family of pairwise non-elementarily equivalent IIIλ_λ factors of size continuum. While we cannot prove the same result for III1_1 factors, we show that there are at least three pairwise non-elementarily equivalent III1_1 factors by showing that the class of full factors is preserved under elementary equivalence.

preprint2020arXiv

Connes' bicentralizer problem for q-deformed Araki-Woods algebras

Let (HR,Ut)(H_{\mathbf{R}}, U_t) be any strongly continuous orthogonal representation of R\mathbf{R} on a real (separable) Hilbert space HRH_{\mathbf{R}}. For any q∈(−1,1)q\in (-1,1), we denote by Γq(HR,Ut)′′Γ_q(H_{\mathbf{R}},U_t)^{\prime\prime} the qq-deformed Araki-Woods algebra introduced by Shlyakhtenko and Hiai. In this paper, we prove that Γq(HR,Ut)′′Γ_q(H_{\mathbf{R}},U_t)^{\prime\prime} has trivial bicentralizer if it is a type III1\rm III_1 factor. In particular, we obtain that Γq(HR,Ut)′′Γ_q(H_{\mathbf{R}},U_t)^{\prime\prime} always admits a maximal abelian subalgebra that is the range of a faithful normal conditional expectation. Moreover, using Sniady's work, we derive that Γq(HR,Ut)′′Γ_q(H_{\mathbf{R}},U_t)^{\prime\prime} is a full factor provided that the weakly mixing part of (HR,Ut)(H_{\mathbf{R}}, U_t) is nonzero.

preprint2020arXiv

Examples of property (T) II1_1 factors with trivial fundamental group

In this article we provide the first examples of property (T) II1\rm II_1 factors N\mathcal N with trivial fundamental group, F(N)=1\mathcal F (\mathcal N)=1. Our examples arise as group factors N=L(G)\mathcal N=\mathcal L(G) where GG belong to two distinct families of property (T) groups previously studied in the literature: the groups introduced by Valette in \cite{Va04} and the ones introduced recently in \cite{CDK19} using the Belegradek-Osin Rips construction from \cite{BO06}. In particular, our results provide a continuum of explicit pairwise non-isomorphic property (T) factors.

preprint2016arXiv

Asymptotic structure of free product von Neumann algebras

Let (M,φ)=(M1,φ1)∗(M2,φ2)(M, φ) = (M_1, φ_1) \ast (M_2, φ_2) be the free product of any σσ-finite von Neumann algebras endowed with any faithful normal states. We show that whenever Q⊂MQ \subset M is a von Neumann subalgebra with separable predual such that both QQ and Q∩M1Q \cap M_1 are the ranges of faithful normal conditional expectations and such that both the intersection Q∩M1Q \cap M_1 and the central sequence algebra Q′∩MωQ' \cap M^ω are diffuse (e.g. QQ is amenable), then QQ must sit inside M1M_1. This result generalizes the previous results of the first named author in [Ho14] and moreover completely settles the questions of maximal amenability and maximal property Gamma of the inclusion M1⊂MM_1 \subset M in arbitrary free product von Neumann algebras.

preprint2016arXiv

Bi-exact groups, strongly ergodic actions and group measure space type III factors with no central sequence

We investigate the asymptotic structure of (possibly type III) crossed product von Neumann algebras M=B⋊ΓM = B \rtimes Γ arising from arbitrary actions Γ↷BΓ\curvearrowright B of bi-exact discrete groups (e.g. free groups) on amenable von Neumann algebras. We prove a spectral gap rigidity result for the central sequence algebra N′∩MωN' \cap M^ω of any nonamenable von Neumann subalgebra with normal expectation N⊂MN \subset M. We use this result to show that for any strongly ergodic essentially free nonsingular action Γ↷(X,μ)Γ\curvearrowright (X, μ) of any bi-exact countable discrete group on a standard probability space, the corresponding group measure space factor L∞(X)⋊Γ{\rm L}^\infty(X) \rtimes Γ has no nontrivial central sequence. Using recent results of Boutonnet-Ioana-Salehi Golsefidy [BISG15], we construct, for every 0<λ≤10 < λ\leq 1, a type IIIλ_λ strongly ergodic essentially free nonsingular action F∞↷(Xλ,μλ)\mathbf F_\infty \curvearrowright (X_λ, μ_λ) of the free group F∞\mathbf F_\infty on a standard probability space so that the corresponding group measure space type IIIλ_λ factor L∞(Xλ,μλ)⋊F∞{\rm L}^\infty(X_λ, μ_λ) \rtimes \mathbf F_\infty has no nontrivial central sequence by our main result. In particular, we obtain the first examples of group measure space type III factors with no nontrivial central sequence.

preprint2016arXiv

Locally compact groups acting on trees, the type I conjecture and non-amenable von Neumann algebras

We address the problem to characterise closed type I subgroups of the automorphism group of a tree. Even in the well-studied case of Burger-Mozes' universal groups, non-type I criteria were unknown. We prove that a huge class of groups acting properly on trees are not of type I. In the case of Burger-Mozes groups, this yields a complete classification of type I groups among them. Our key novelty is the use of von Neumann algebraic techniques to prove the stronger statement that the group von Neumann algebra of the groups under consideration is non-amenable.

preprint2015arXiv

Free independence in ultraproduct von Neumann algebras and applications

The main result of this paper is a generalization of Popa's free independence result for subalgebras of ultraproduct II1{\rm II_1} factors [Po95] to the framework of ultraproduct von Neumann algebras (Mω,φω)(M^ω, φ^ω) where (M,φ)(M, φ) is a σσ-finite von Neumann algebra endowed with a faithful normal state satisfying (Mφ)′∩M=C1(M^φ)' \cap M = \mathbf{C} 1. More precisely, we show that whenever P1,P2⊂MωP_1, P_2 \subset M^ω are von Neumann subalgebras with separable predual that are globally invariant under the modular automorphism group (σtφω)(σ_t^{φ^ω}), there exists a unitary v∈U((Mω)φω)v \in \mathcal U((M^ω)^{φ^ω}) such that P1P_1 and vP2v∗v P_2 v^* are ∗\ast-free inside MωM^ω with respect to the ultraproduct state φωφ^ω. Combining our main result with the recent work of Ando-Haagerup-Winsløw [AHW13], we obtain a new and direct proof, without relying on Connes-Tomita-Takesaki modular theory, that Kirchberg's quotient weak expectation property (QWEP) for von Neumann algebras is stable under free product. Finally, we obtain a new class of inclusions of von Neumann algebras with the relative Dixmier property.

preprint2015arXiv

Gamma stability in free product von Neumann algebras

Let (M,φ)=(M1,φ1)∗(M2,φ2)(M, φ) = (M_1, φ_1) \ast (M_2, φ_2) be a free product of arbitrary von Neumann algebras endowed with faithful normal states. Assume that the centralizer M1φ1M_1^{φ_1} is diffuse. We first show that any intermediate subalgebra M1⊂Q⊂MM_1 \subset Q \subset M which has nontrivial central sequences in MM is necessarily equal to M1M_1. Then we obtain a general structural result for all the intermediate subalgebras M1⊂Q⊂MM_1 \subset Q \subset M with expectation. We deduce that any diffuse amenable von Neumann algebra can be concretely realized as a maximal amenable subalgebra with expectation inside a full nonamenable type III1_1 factor. This provides the first class of concrete maximal amenable subalgebras in the framework of type III factors. We finally strengthen all these results in the case of tracial free product von Neumann algebras.

preprint2012arXiv

Type III factors with unique Cartan decomposition

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∞(X)⋊Γ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 M1∗BM2M_1 *_B M_2 over a subalgebra B of type I.

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.

preprint2011arXiv

Invariant percolation and measured theory of nonamenable groups

Using percolation techniques, Gaboriau and Lyons recently proved that every countable, discrete, nonamenable group ΓΓ contains measurably the free group F2\mathbf F_2 on two generators: there exists a probability measure-preserving, essentially free, ergodic action of F2\mathbf F_2 on ([0,1]Γ,λΓ)([0, 1]^Γ, λ^Γ) such that almost every ΓΓ-orbit of the Bernoulli shift splits into F2\mathbf F_2-orbits. A combination of this result and works of Ioana and Epstein shows that every countable, discrete, nonamenable group admits uncountably many non-orbit equivalent actions.

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.