Showing 1–46 of 46 results for author: Houdayer, C

Operator algebraic characterization of the noncommutative Poisson boundary

Authors: Cyril Houdayer

Abstract: We obtain an operator algebraic characterization of the noncommutative Furstenberg-Poisson boundary $\operatorname{L}(Γ) \subset \operatorname{L}(Γ\curvearrowright B)$ associated with an admissible probability measure $μ\in \operatorname{Prob}(Γ)$ for which the $(Γ, μ)$-Furstenberg-Poisson boundary $(B, ν_B)$ is uniquely $μ$-stationary. This is a noncommutative generalization of Nevo-Sageev's stru… ▽ More We obtain an operator algebraic characterization of the noncommutative Furstenberg-Poisson boundary $\operatorname{L}(Γ) \subset \operatorname{L}(Γ\curvearrowright B)$ associated with an admissible probability measure $μ\in \operatorname{Prob}(Γ)$ for which the $(Γ, μ)$-Furstenberg-Poisson boundary $(B, ν_B)$ is uniquely $μ$-stationary. This is a noncommutative generalization of Nevo-Sageev's structure theorem [NS11]. We apply this result in combination with previous works to provide further evidence towards Connes' rigidity conjecture for higher rank lattices. △ Less

Submitted 15 October, 2024; originally announced October 2024.

Comments: 6 pages

MSC Class: 20G25; 22D25; 46L10; 46L55

Strong primeness for equivalence relations arising from Zariski dense subgroups

Authors: Daniel Drimbe, Cyril Houdayer

Abstract: We show that orbit equivalence relations arising from essentially free ergodic probability measure preserving actions of Zariski dense discrete subgroups of simple algebraic groups are strongly prime. As a consequence, we prove the existence and the uniqueness of a prime factorization for orbit equivalence relations arising from direct products of higher rank lattices. This extends and strengthens… ▽ More We show that orbit equivalence relations arising from essentially free ergodic probability measure preserving actions of Zariski dense discrete subgroups of simple algebraic groups are strongly prime. As a consequence, we prove the existence and the uniqueness of a prime factorization for orbit equivalence relations arising from direct products of higher rank lattices. This extends and strengthens Zimmer's primeness result for equivalence relations arising from actions of lattices in simple Lie groups. The proof of our main result relies on a combination of ergodic theory of algebraic group actions and Popa's intertwining theory for equivalence relations. △ Less

Submitted 1 July, 2024; originally announced July 2024.

Comments: 30 pages

MSC Class: 37A20; 20G25; 46L10

Asymptotic freeness in tracial ultraproducts

Authors: Cyril Houdayer, Adrian Ioana

Abstract: We prove novel asymptotic freeness results in tracial ultraproduct von Neumann algebras. In particular, we show that whenever $M = M_1 \ast M_2$ is a tracial free product von Neumann algebra and $u_1 \in \mathscr U(M_1)$, $u_2 \in \mathscr U(M_2)$ are Haar unitaries, the relative commutants $\{u_1\}' \cap M^{\mathcal U}$ and $\{u_2\}' \cap M^{\mathcal U}$ are freely independent in the ultraproduct… ▽ More We prove novel asymptotic freeness results in tracial ultraproduct von Neumann algebras. In particular, we show that whenever $M = M_1 \ast M_2$ is a tracial free product von Neumann algebra and $u_1 \in \mathscr U(M_1)$, $u_2 \in \mathscr U(M_2)$ are Haar unitaries, the relative commutants $\{u_1\}' \cap M^{\mathcal U}$ and $\{u_2\}' \cap M^{\mathcal U}$ are freely independent in the ultraproduct $M^{\mathcal U}$. Our proof relies on Mei-Ricard's results [MR16] regarding $\operatorname{L}^p$-boundedness (for all $1 < p < +\infty$) of certain Fourier multipliers in tracial amalgamated free products von Neumann algebras. We derive two applications. Firstly, we obtain a general absorption result in tracial amalgamated free products that recovers several previous maximal amenability/Gamma absorption results. Secondly, we prove a new lifting theorem which we combine with our asymptotic freeness results and Chifan-Ioana-Kunnawalkam Elayavalli's recent construction [CIKE22] to provide the first example of a ${\rm II_1}$ factor that does not have property Gamma and is not elementary equivalent to any free product of diffuse tracial von Neumann algebras. △ Less

Submitted 26 September, 2023; originally announced September 2023.

Comments: 27 pages

Journal ref: Forum of Mathematics, Sigma 12 (2024) e88

The noncommutative factor theorem for lattices in product groups

Authors: Rémi Boutonnet, Cyril Houdayer

Abstract: We prove a noncommutative Bader-Shalom factor theorem for lattices with dense projections in product groups. As an application of this result and our previous works, we obtain a noncommutative Margulis factor theorem for all irreducible lattices $Γ< G$ in higher rank semisimple algebraic groups. Namely, we give a complete description of all intermediate von Neumann subalgebras… ▽ More We prove a noncommutative Bader-Shalom factor theorem for lattices with dense projections in product groups. As an application of this result and our previous works, we obtain a noncommutative Margulis factor theorem for all irreducible lattices $Γ< G$ in higher rank semisimple algebraic groups. Namely, we give a complete description of all intermediate von Neumann subalgebras $\operatorname{L}(Γ) \subset M \subset \operatorname{L}(Γ\curvearrowright G/P)$ sitting between the group von Neumann algebra and the group measure space von Neumann algebra associated with the action on the Furstenberg-Poisson boundary. △ Less

Submitted 22 February, 2023; v1 submitted 27 July, 2022; originally announced July 2022.

Comments: 12 pages. To appear in J. Éc. polytech. Math

Journal ref: J. Éc. polytech. Math. 10 (2023), 513-524

Pointwise inner automorphisms of almost periodic factors

Authors: Cyril Houdayer, Yusuke Isono

Abstract: We prove that a large class of nonamenable almost periodic type ${\rm III_1}$ factors $M$, including all McDuff factors that tensorially absorb $R_\infty$ and all free Araki-Woods factors, satisfy Haagerup-Stormer's conjecture (1988): any pointwise inner automorphism of $M$ is the composition of an inner and a modular automorphism. We prove that a large class of nonamenable almost periodic type ${\rm III_1}$ factors $M$, including all McDuff factors that tensorially absorb $R_\infty$ and all free Araki-Woods factors, satisfy Haagerup-Stormer's conjecture (1988): any pointwise inner automorphism of $M$ is the composition of an inner and a modular automorphism. △ Less

Submitted 18 April, 2022; originally announced April 2022.

Comments: 16 pages

MSC Class: 46L10; 46L36; 46L54; 46L55

Journal ref: Selecta Math. (N.S.) 30 (2024), 58

Charmenability of higher rank arithmetic groups

Authors: Uri Bader, Rémi Boutonnet, Cyril Houdayer

Abstract: We complete the study of characters on higher rank semisimple lattices initiated in [BH19,BBHP20], the missing case being the case of lattices in higher rank simple algebraic groups in arbitrary characteristics. More precisely, we investigate dynamical properties of the conjugation action of such lattices on their space of positive definite functions. Our main results deal with the existence and t… ▽ More We complete the study of characters on higher rank semisimple lattices initiated in [BH19,BBHP20], the missing case being the case of lattices in higher rank simple algebraic groups in arbitrary characteristics. More precisely, we investigate dynamical properties of the conjugation action of such lattices on their space of positive definite functions. Our main results deal with the existence and the classification of characters from which we derive applications to topological dynamics, ergodic theory, unitary representations and operator algebras. Our key theorem is an extension of the noncommutative Nevo-Zimmer structure theorem obtained in [BH19] to the case of simple algebraic groups defined over arbitrary local fields. We also deduce a noncommutative analogue of Margulis' factor theorem for von Neumann subalgebras of the noncommutative Poisson boundary of higher rank arithmetic groups. △ Less

Submitted 7 August, 2023; v1 submitted 2 December, 2021; originally announced December 2021.

Comments: 25 pages. To appear in Ann. H. Lebesgue

Journal ref: Ann. H. Lebesgue 6 (2023), 297-330

Noncommutative ergodic theory of higher rank lattices

Authors: Cyril Houdayer

Abstract: We survey recent results regarding the study of dynamical properties of the space of positive definite functions and characters of higher rank lattices. These results have several applications to ergodic theory, topological dynamics, unitary representation theory and operator algebras. The key novelty in our work is a dynamical dichotomy theorem for equivariant faithful normal unital completely po… ▽ More We survey recent results regarding the study of dynamical properties of the space of positive definite functions and characters of higher rank lattices. These results have several applications to ergodic theory, topological dynamics, unitary representation theory and operator algebras. The key novelty in our work is a dynamical dichotomy theorem for equivariant faithful normal unital completely positive maps between noncommutative von Neumann algebras and the space of bounded measurable functions defined on the Poisson boundary of semisimple Lie groups. △ Less

Submitted 14 October, 2021; originally announced October 2021.

Comments: 22 pages; Prepared for the Proceedings of the ICM 2022

Journal ref: Proc. Int. Cong. Math. 2022, Vol. 4, pp. 3202-3223. EMS Press, Berlin, 2023

Existentially closed W*-probability spaces

Authors: Isaac Goldbring, Cyril Houdayer

Abstract: 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 III$_1$ factors that tensorially absorb the Araki-Woods factor $R_\infty$. We also study the existentially close… ▽ More 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 III$_1$ factors that tensorially absorb the Araki-Woods factor $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_\infty$ itself is such an existentially closed space in this class. Our results about existentially closed probability spaces imply that the class of type III$_1$ factors forms a $\forall_2$-axiomatizable class. We show that for $λ\in (0,1)$, the class of III$_λ$ factors is not $\forall_2$-axiomatizable but is $\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 $λ\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 III$_1$ factors, we show that there are at least three pairwise non-elementarily equivalent III$_1$ factors by showing that the class of full factors is preserved under elementary equivalence. △ Less

Submitted 24 April, 2022; v1 submitted 20 August, 2021; originally announced August 2021.

Comments: 38 pages. Final draft. To appear in Mathematische Zeitschrift

Charmenability of arithmetic groups of product type

Authors: Uri Bader, Rémi Boutonnet, Cyril Houdayer, Jesse Peterson

Abstract: We discuss special properties of the spaces of characters and positive definite functions, as well as their associated dynamics, for arithmetic groups of product type. Axiomatizing these properties, we define the notions of charmenability and charfiniteness and study their applications to the topological dynamics, ergodic theory and unitary representation theory of the given groups. To do that, we… ▽ More We discuss special properties of the spaces of characters and positive definite functions, as well as their associated dynamics, for arithmetic groups of product type. Axiomatizing these properties, we define the notions of charmenability and charfiniteness and study their applications to the topological dynamics, ergodic theory and unitary representation theory of the given groups. To do that, we study singularity properties of equivariant normal ucp maps between certain von Neumann algebras. We apply our discussion also to groups acting on product of trees. △ Less

Submitted 12 April, 2022; v1 submitted 21 September, 2020; originally announced September 2020.

Comments: 39 pages. v3: minor modifications. To appear in Invent. Math

MSC Class: 22D10; 22D25; 22E40; 37B05; 46L10; 46L30

Journal ref: Invent. Math. 229 (2022), 929-985

Examples of property (T) II$_1$ factors with trivial fundamental group

Authors: Ionut Chifan, Sayan Das, Cyril Houdayer, Krishnendu Khan

Abstract: In this article we provide the first examples of property (T) $\rm II_1$ factors $\mathcal N$ with trivial fundamental group, $\mathcal F (\mathcal N)=1$. Our examples arise as group factors $\mathcal N=\mathcal L(G)$ where $G$ 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 recentl… ▽ More In this article we provide the first examples of property (T) $\rm II_1$ factors $\mathcal N$ with trivial fundamental group, $\mathcal F (\mathcal N)=1$. Our examples arise as group factors $\mathcal N=\mathcal L(G)$ where $G$ 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. △ Less

Submitted 28 March, 2020; v1 submitted 19 March, 2020; originally announced March 2020.

Comments: New classes of property (T) factors with trivial fundamental groups added. New co-author added

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

Authors: Cyril Houdayer, Yusuke Isono

Abstract: Let $(H_{\mathbf{R}}, U_t)$ be any strongly continuous orthogonal representation of $\mathbf{R}$ on a real (separable) Hilbert space $H_{\mathbf{R}}$. For any $q\in (-1,1)$, we denote by $Γ_q(H_{\mathbf{R}},U_t)^{\prime\prime}$ the $q$-deformed Araki-Woods algebra introduced by Shlyakhtenko and Hiai. In this paper, we prove that $Γ_q(H_{\mathbf{R}},U_t)^{\prime\prime}$ has trivial bicentralizer if… ▽ More Let $(H_{\mathbf{R}}, U_t)$ be any strongly continuous orthogonal representation of $\mathbf{R}$ on a real (separable) Hilbert space $H_{\mathbf{R}}$. For any $q\in (-1,1)$, we denote by $Γ_q(H_{\mathbf{R}},U_t)^{\prime\prime}$ the $q$-deformed Araki-Woods algebra introduced by Shlyakhtenko and Hiai. In this paper, we prove that $Γ_q(H_{\mathbf{R}},U_t)^{\prime\prime}$ has trivial bicentralizer if it is a type $\rm III_1$ factor. In particular, we obtain that $Γ_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(H_{\mathbf{R}},U_t)^{\prime\prime}$ is a full factor provided that the weakly mixing part of $(H_{\mathbf{R}}, U_t)$ is nonzero. △ Less

Submitted 6 February, 2020; originally announced February 2020.

Comments: 14 pages

MSC Class: 46L10; 46L53; 46L54

Journal ref: Bull. Lond. Math. Soc. 52 (2020), 1010-1023

Stationary characters on lattices of semisimple Lie groups

Authors: Rémi Boutonnet, Cyril Houdayer

Abstract: We show that stationary characters on irreducible lattices $Γ< G$ of higher-rank connected semisimple Lie groups are conjugation invariant, that is, they are genuine characters. This result has several applications in representation theory, operator algebras, ergodic theory and topological dynamics. In particular, we show that for any such irreducible lattice $Γ< G$, the left regular representatio… ▽ More We show that stationary characters on irreducible lattices $Γ< G$ of higher-rank connected semisimple Lie groups are conjugation invariant, that is, they are genuine characters. This result has several applications in representation theory, operator algebras, ergodic theory and topological dynamics. In particular, we show that for any such irreducible lattice $Γ< G$, the left regular representation $λ_Γ$ is weakly contained in any weakly mixing representation $π$. We prove that for any such irreducible lattice $Γ< G$, any uniformly recurrent subgroup (URS) of $Γ$ is finite, answering a question of Glasner-Weiss. We also obtain a new proof of Peterson's character rigidity result for irreducible lattices $Γ< G$. The main novelty of our paper is a structure theorem for stationary actions of lattices on von Neumann algebras. △ Less

Submitted 16 February, 2021; v1 submitted 21 August, 2019; originally announced August 2019.

Comments: 33 pages. v2: minor modifications. To appear in Publ. Math. Inst. Hautes Études Sci

MSC Class: 22D10; 22D25; 22E40; 37A15; 46L10; 46L30; 46L45; 60J50

Journal ref: Publ. Math. Inst. Hautes Études Sci 133 (2021), 1-46

Structure of extensions of free Araki-Woods factors

Authors: Cyril Houdayer, Benjamin Trom

Abstract: We investigate the structure of crossed product von Neumann algebras arising from Bogoljubov actions of countable groups on Shlyakhtenko's free Araki-Woods factors. Among other results, we settle the questions of factoriality and Connes' type classification. We moreover provide general criteria regarding fullness and strong solidity. As an application of our main results, we obtain examples of typ… ▽ More We investigate the structure of crossed product von Neumann algebras arising from Bogoljubov actions of countable groups on Shlyakhtenko's free Araki-Woods factors. Among other results, we settle the questions of factoriality and Connes' type classification. We moreover provide general criteria regarding fullness and strong solidity. As an application of our main results, we obtain examples of type ${\rm III_0}$ factors that are prime, have no Cartan subalgebra and possess a maximal amenable abelian subalgebra. We also obtain a new class of strongly solid type ${\rm III}$ factors with prescribed Connes' invariants that are not isomorphic to any free Araki-Woods factors. △ Less

Submitted 20 December, 2018; originally announced December 2018.

Comments: 27 pages

MSC Class: 46L10; 46L40; 46L54; 46L55

Journal ref: Ann. Inst. Fourier (Grenoble) 71 (2021), 473-514

Structure of bicentralizer algebras and inclusions of type III factors

Authors: Hiroshi Ando, Uffe Haagerup, Cyril Houdayer, Amine Marrakchi

Abstract: We investigate the structure of the relative bicentralizer algebra ${\rm B}(N \subset M, \varphi)$ for inclusions of von Neumann algebras with normal expectation where $N$ is a type ${\rm III_1}$ subfactor and $\varphi \in N_*$ is a faithful state. We first construct a canonical flow $β^\varphi : \mathbf R^*_+ \curvearrowright {\rm B}(N \subset M, \varphi)$ on the relative bicentralizer algebra an… ▽ More We investigate the structure of the relative bicentralizer algebra ${\rm B}(N \subset M, \varphi)$ for inclusions of von Neumann algebras with normal expectation where $N$ is a type ${\rm III_1}$ subfactor and $\varphi \in N_*$ is a faithful state. We first construct a canonical flow $β^\varphi : \mathbf R^*_+ \curvearrowright {\rm B}(N \subset M, \varphi)$ on the relative bicentralizer algebra and we show that the W$^*$-dynamical system $({\rm B}(N \subset M, \varphi), β^\varphi)$ is independent of the choice of $\varphi$ up to a canonical isomorphism. In the case when $N=M$, we deduce new results on the structure of the automorphism group of ${\rm B}(M,\varphi)$ and we relate the period of the flow $β^\varphi$ to the tensorial absorption of Powers factors. For general irreducible inclusions $N \subset M$, we relate the ergodicity of the flow $β^\varphi$ to the existence of irreducible hyperfinite subfactors in $M$ that sit with normal expectation in $N$. When the inclusion $N \subset M$ is discrete, we prove a relative bicentralizer theorem and we use it to solve Kadison's problem when $N$ is amenable. △ Less

Submitted 11 June, 2018; v1 submitted 16 April, 2018; originally announced April 2018.

Comments: 37 pages. v2: minor modifications, a few results added

MSC Class: 46L10; 46L30; 46L36; 46L37; 46L55

Journal ref: Math. Ann. 376 (2020), 1145-1194

Factoriality, Connes' type III invariants and fullness of amalgamated free product von Neumann algebras

Authors: Cyril Houdayer, Yusuke Isono

Abstract: We investigate factoriality, Connes' type ${\rm III}$ invariants and fullness of arbitrary amalgamated free product von Neumann algebras using Popa's deformation/rigidity theory. Among other things, we generalize many previous structural results on amalgamated free product von Neumann algebras and we obtain new examples of full amalgamated free product factors for which we can explicitely compute… ▽ More We investigate factoriality, Connes' type ${\rm III}$ invariants and fullness of arbitrary amalgamated free product von Neumann algebras using Popa's deformation/rigidity theory. Among other things, we generalize many previous structural results on amalgamated free product von Neumann algebras and we obtain new examples of full amalgamated free product factors for which we can explicitely compute Connes' type ${\rm III}$ invariants. △ Less

Submitted 5 December, 2017; originally announced December 2017.

Comments: 31 pages

MSC Class: 46L10; 46L54; 46L55; 37A20; 37A40

Journal ref: Proc. Roy. Soc. Edinburgh Sect. A 150 (2020), 1495-1532

Strongly ergodic equivalence relations: spectral gap and type III invariants

Authors: Cyril Houdayer, Amine Marrakchi, Peter Verraedt

Abstract: We obtain a spectral gap characterization of strongly ergodic equivalence relations on standard measure spaces. We use our spectral gap criterion to prove that a large class of skew-product equivalence relations arising from measurable $1$-cocycles with values into locally compact abelian groups are strongly ergodic. By analogy with the work of Connes on full factors, we introduce the Sd and $τ$ i… ▽ More We obtain a spectral gap characterization of strongly ergodic equivalence relations on standard measure spaces. We use our spectral gap criterion to prove that a large class of skew-product equivalence relations arising from measurable $1$-cocycles with values into locally compact abelian groups are strongly ergodic. By analogy with the work of Connes on full factors, we introduce the Sd and $τ$ invariants for type ${\rm III}$ strongly ergodic equivalence relations. As a corollary to our main results, we show that for any type ${\rm III_1}$ ergodic equivalence relation $\mathcal R$, the Maharam extension $\mathord{\text {c}}(\mathcal R)$ is strongly ergodic if and only if $\mathcal R$ is strongly ergodic and the invariant $τ(\mathcal R)$ is the usual topology on $\mathbf R$. We also obtain a structure theorem for almost periodic strongly ergodic equivalence relations analogous to Connes' structure theorem for almost periodic full factors. Finally, we prove that for arbitrary strongly ergodic free actions of bi-exact groups (e.g. hyperbolic groups), the Sd and $τ$ invariants of the orbit equivalence relation and of the associated group measure space von Neumann factor coincide. △ Less

Submitted 4 September, 2017; v1 submitted 24 April, 2017; originally announced April 2017.

Comments: 28 pages. To appear in Ergodic Theory Dynam. Systems

MSC Class: 37A20; 37A40; 46L10; 46L36

Journal ref: Ergodic Theory Dynam. Systems 39 (2019), 1904-1935

Singular MASAs in type III factors and Connes' Bicentralizer Property

Authors: Cyril Houdayer, Sorin Popa

Abstract: We show that any type ${\rm III_1}$ factor with separable predual satisfying Connes' Bicentralizer Property (CBP) has a singular maximal abelian $\ast$-subalgebra that is the range of a normal conditional expectation. We also investigate stability properties of CBP under finite index extensions/restrictions of type ${\rm III_1}$ factors. We show that any type ${\rm III_1}$ factor with separable predual satisfying Connes' Bicentralizer Property (CBP) has a singular maximal abelian $\ast$-subalgebra that is the range of a normal conditional expectation. We also investigate stability properties of CBP under finite index extensions/restrictions of type ${\rm III_1}$ factors. △ Less

Submitted 30 June, 2017; v1 submitted 24 April, 2017; originally announced April 2017.

Comments: 10 pages. To appear in the Proceedings of the 9th MSJ-SI "Operator Algebras and Mathematical Physics" held in Sendai, Japan (2016)

MSC Class: 46L10; 46L36

Journal ref: Operator algebras and mathematical physics, 109-122, Adv. Stud. Pure Math., 80, Math. Soc. Japan, Tokyo, 2019

Fullness and Connes' $\boldsymbolτ$ invariant of type III tensor product factors

Authors: Cyril Houdayer, Amine Marrakchi, Peter Verraedt

Abstract: We show that the tensor product $M \mathbin{\overline{\otimes}} N$ of any two full factors $M$ and $N$ (possibly of type ${\rm III}$) is full and we compute Connes' invariant $τ(M \mathbin{\overline{\otimes}} N)$ in terms of $τ(M)$ and $τ(N)$. The key novelty is an enhanced spectral gap property for full factors of type ${\rm III}$. Moreover, for full factors of type ${\rm III}$ with almost period… ▽ More We show that the tensor product $M \mathbin{\overline{\otimes}} N$ of any two full factors $M$ and $N$ (possibly of type ${\rm III}$) is full and we compute Connes' invariant $τ(M \mathbin{\overline{\otimes}} N)$ in terms of $τ(M)$ and $τ(N)$. The key novelty is an enhanced spectral gap property for full factors of type ${\rm III}$. Moreover, for full factors of type ${\rm III}$ with almost periodic states, we prove an optimal spectral gap property. As an application of our main result, we also show that for any full factor $M$ and any non-type ${\rm I}$ amenable factor $P$, the tensor product factor $M \mathbin{\overline{\otimes}} P$ has a unique McDuff decomposition, up to stable unitary conjugacy. △ Less

Submitted 16 January, 2017; v1 submitted 23 November, 2016; originally announced November 2016.

Comments: 22 pages. v3: section on generalized Bernoulli crossed products and appendix removed

MSC Class: 46L10; 46L36; 46L40; 46L55

Journal ref: J. Math. Pures Appl. 121 (2019), 113-134

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

Authors: Cyril Houdayer, Sven Raum

Abstract: 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 i… ▽ More 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. △ Less

Submitted 29 November, 2016; v1 submitted 4 October, 2016; originally announced October 2016.

Comments: 30 pages; v2: title changed, introduction expanded, minor changes to the body, typos corrected

Amenable absorption in amalgamated free product von Neumann algebras

Authors: Rémi Boutonnet, Cyril Houdayer

Abstract: We investigate the position of amenable subalgebras in arbitrary amalgamated free product von Neumann algebras $M = M_1 \ast_B M_2$. Our main result states that under natural analytic assumptions, any amenable subalgebra of $M$ that has a large intersection with $M_1$ is actually contained in $M_1$. The proof does not rely on Popa's asymptotic orthogonality property but on the study of non normal… ▽ More We investigate the position of amenable subalgebras in arbitrary amalgamated free product von Neumann algebras $M = M_1 \ast_B M_2$. Our main result states that under natural analytic assumptions, any amenable subalgebra of $M$ that has a large intersection with $M_1$ is actually contained in $M_1$. The proof does not rely on Popa's asymptotic orthogonality property but on the study of non normal conditional expectations. △ Less

Submitted 14 August, 2018; v1 submitted 2 June, 2016; originally announced June 2016.

Comments: 8 pages. To appear in Kyoto J. Math

MSC Class: 46L10; 46L54

Journal ref: Kyoto J. Math. 58, no. 3 (2018), 583-593

Classification of a family of non almost periodic free Araki-Woods factors

Authors: Cyril Houdayer, Dimitri Shlyakhtenko, Stefaan Vaes

Abstract: We obtain a complete classification of a large class of non almost periodic free Araki-Woods factors $Γ(μ,m)"$ up to isomorphism. We do this by showing that free Araki-Woods factors $Γ(μ, m)"$ arising from finite symmetric Borel measures $μ$ on $\mathbf{R}$ whose atomic part $μ_a$ is nonzero and not concentrated on $\{0\}$ have the joint measure class $\mathcal C(\bigvee_{k \geq 1} μ^{\ast k})$ as… ▽ More We obtain a complete classification of a large class of non almost periodic free Araki-Woods factors $Γ(μ,m)"$ up to isomorphism. We do this by showing that free Araki-Woods factors $Γ(μ, m)"$ arising from finite symmetric Borel measures $μ$ on $\mathbf{R}$ whose atomic part $μ_a$ is nonzero and not concentrated on $\{0\}$ have the joint measure class $\mathcal C(\bigvee_{k \geq 1} μ^{\ast k})$ as an invariant. Our key technical result is a deformation/rigidity criterion for the unitary conjugacy of two faithful normal states. We use this to also deduce rigidity and classification theorems for free product von Neumann algebras. △ Less

Submitted 24 February, 2017; v1 submitted 19 May, 2016; originally announced May 2016.

Comments: v2: minor changes, final version, to appear in Journal of the European Mathematical Society

Journal ref: Journal of the European Mathematical Society 21 (2019), 3113-3142

Structure of modular invariant subalgebras in free Araki-Woods factors

Authors: Rémi Boutonnet, Cyril Houdayer

Abstract: We show that any amenable von Neumann subalgebra of any free Araki-Woods factor that is globally invariant under the modular automorphism group of the free quasi-free state is necessarily contained in the almost periodic free summand. We show that any amenable von Neumann subalgebra of any free Araki-Woods factor that is globally invariant under the modular automorphism group of the free quasi-free state is necessarily contained in the almost periodic free summand. △ Less

Submitted 16 December, 2016; v1 submitted 4 February, 2016; originally announced February 2016.

Comments: 9 pages

MSC Class: 46L10; 46L54; 46L36

Journal ref: Anal. PDE 9 (2016) 1989-1998

Strong solidity of free Araki-Woods factors

Authors: Rémi Boutonnet, Cyril Houdayer, Stefaan Vaes

Abstract: We show that Shlyakhtenko's free Araki-Woods factors are strongly solid, meaning that for any diffuse amenable von Neumann subalgebra that is the range of a normal conditional expectation, the normalizer remains amenable. This provides the first class of nonamenable strongly solid type III factors. We show that Shlyakhtenko's free Araki-Woods factors are strongly solid, meaning that for any diffuse amenable von Neumann subalgebra that is the range of a normal conditional expectation, the normalizer remains amenable. This provides the first class of nonamenable strongly solid type III factors. △ Less

Submitted 1 June, 2017; v1 submitted 15 December, 2015; originally announced December 2015.

Comments: v2: minor changes, final version, to appear in American Journal of Mathematics

Journal ref: American Journal of Mathematics 140 (2018), 1231-1252

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

Authors: Cyril Houdayer, Yusuke Isono

Abstract: We investigate the asymptotic structure of (possibly type III) crossed product von Neumann algebras $M = B \rtimes Γ$ arising from arbitrary actions $Γ\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' \cap M^ω$ of any nonamenable von Neumann subalgebra with normal expecta… ▽ More We investigate the asymptotic structure of (possibly type III) crossed product von Neumann algebras $M = B \rtimes Γ$ arising from arbitrary actions $Γ\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' \cap M^ω$ of any nonamenable von Neumann subalgebra with normal expectation $N \subset M$. We use this result to show that for any strongly ergodic essentially free nonsingular action $Γ\curvearrowright (X, μ)$ of any bi-exact countable discrete group on a standard probability space, the corresponding group measure space factor ${\rm L}^\infty(X) \rtimes Γ$ has no nontrivial central sequence. Using recent results of Boutonnet-Ioana-Salehi Golsefidy [BISG15], we construct, for every $0 < λ\leq 1$, a type III$_λ$ strongly ergodic essentially free nonsingular action $\mathbf F_\infty \curvearrowright (X_λ, μ_λ)$ of the free group $\mathbf F_\infty$ on a standard probability space so that the corresponding group measure space type III$_λ$ factor ${\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. △ Less

Submitted 7 October, 2016; v1 submitted 27 October, 2015; originally announced October 2015.

Comments: 22 pages. v2: Final version

MSC Class: 46L10; 46L36; 46L06; 37A20

Journal ref: Comm. Math. Phys. 348 (2016), 991-1015

Rigidity of free product von Neumann algebras

Authors: Cyril Houdayer, Yoshimichi Ueda

Abstract: Let $I$ be any nonempty set and $(M_i, \varphi_i)_{i \in I}$ any family of nonamenable factors, endowed with arbitrary faithful normal states, that belong to a large class $\mathcal C_{\rm anti-free}$ of (possibly type III) von Neumann algebras including all nonprime factors, all nonfull factors and all factors possessing a Cartan subalgebra. For the free product… ▽ More Let $I$ be any nonempty set and $(M_i, \varphi_i)_{i \in I}$ any family of nonamenable factors, endowed with arbitrary faithful normal states, that belong to a large class $\mathcal C_{\rm anti-free}$ of (possibly type III) von Neumann algebras including all nonprime factors, all nonfull factors and all factors possessing a Cartan subalgebra. For the free product $(M, \varphi) = \ast_{i \in I} (M_i, \varphi_i)$, we show that the free product von Neumann algebra $M$ retains the cardinality $|I|$ and each nonamenable factor $M_i$ up to stably inner conjugacy, after permutation of the indices. Our main theorem unifies all previous Kurosh-type rigidity results for free product type II$_1$ factors and is new for free product type III factors. It moreover provides new rigidity phenomena for type III factors. △ Less

Submitted 16 January, 2017; v1 submitted 8 July, 2015; originally announced July 2015.

Comments: 30 pages

MSC Class: 46L10; 46L54; 46L36

Journal ref: Compositio Math. 152 (2016) 2461-2492

Asymptotic structure of free product von Neumann algebras

Authors: Cyril Houdayer, Yoshimichi Ueda

Abstract: Let $(M, \varphi) = (M_1, \varphi_1) \ast (M_2, \varphi_2)$ be the free product of any $σ$-finite von Neumann algebras endowed with any faithful normal states. We show that whenever $Q \subset M$ is a von Neumann subalgebra with separable predual such that both $Q$ and $Q \cap M_1$ are the ranges of faithful normal conditional expectations and such that both the intersection $Q \cap M_1$ and the c… ▽ More Let $(M, \varphi) = (M_1, \varphi_1) \ast (M_2, \varphi_2)$ be the free product of any $σ$-finite von Neumann algebras endowed with any faithful normal states. We show that whenever $Q \subset M$ is a von Neumann subalgebra with separable predual such that both $Q$ and $Q \cap M_1$ are the ranges of faithful normal conditional expectations and such that both the intersection $Q \cap M_1$ and the central sequence algebra $Q' \cap M^ω$ are diffuse (e.g. $Q$ is amenable), then $Q$ must sit inside $M_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 $M_1 \subset M$ in arbitrary free product von Neumann algebras. △ Less

Submitted 3 October, 2016; v1 submitted 9 March, 2015; originally announced March 2015.

Comments: 26 pages. v3: final version

MSC Class: 46L10; 46L54; 46L36

Journal ref: Math. Proc. Cambridge Philos. Soc. 161 (2016), 489-516

Unique prime factorization and bicentralizer problem for a class of type III factors

Authors: Cyril Houdayer, Yusuke Isono

Abstract: We show that whenever $m \geq 1$ and $M_1, \dots, M_m$ are nonamenable factors in a large class of von Neumann algebras that we call $\mathcal C_{(\text{AO})}$ and which contains all free Araki-Woods factors, the tensor product factor $M_1 \mathbin{\overline{\otimes}} \cdots \mathbin{\overline{\otimes}} M_m$ retains the integer $m$ and each factor $M_i$ up to stable isomorphism, after permutation… ▽ More We show that whenever $m \geq 1$ and $M_1, \dots, M_m$ are nonamenable factors in a large class of von Neumann algebras that we call $\mathcal C_{(\text{AO})}$ and which contains all free Araki-Woods factors, the tensor product factor $M_1 \mathbin{\overline{\otimes}} \cdots \mathbin{\overline{\otimes}} M_m$ retains the integer $m$ and each factor $M_i$ up to stable isomorphism, after permutation of the indices. Our approach unifies the Unique Prime Factorization (UPF) results from [OP03, Is14] and moreover provides new UPF results in the case when $M_1, \dots, M_m$ are free Araki-Woods factors. In order to obtain the aforementioned UPF results, we show that Connes's bicentralizer problem has a positive solution for all type ${\rm III_1}$ factors in the class $\mathcal C_{(\text{AO})}$. △ Less

Submitted 3 October, 2016; v1 submitted 4 March, 2015; originally announced March 2015.

Comments: 41 pages. v3: final version

MSC Class: 46L10; 46L36

Journal ref: Adv. Math. 305 (2017), 402-455

Free independence in ultraproduct von Neumann algebras and applications

Authors: Cyril Houdayer, Yusuke Isono

Abstract: The main result of this paper is a generalization of Popa's free independence result for subalgebras of ultraproduct ${\rm II_1}$ factors [Po95] to the framework of ultraproduct von Neumann algebras $(M^ω, \varphi^ω)$ where $(M, \varphi)$ is a $σ$-finite von Neumann algebra endowed with a faithful normal state satisfying $(M^\varphi)' \cap M = \mathbf{C} 1$. More precisely, we show that whenever… ▽ More The main result of this paper is a generalization of Popa's free independence result for subalgebras of ultraproduct ${\rm II_1}$ factors [Po95] to the framework of ultraproduct von Neumann algebras $(M^ω, \varphi^ω)$ where $(M, \varphi)$ is a $σ$-finite von Neumann algebra endowed with a faithful normal state satisfying $(M^\varphi)' \cap M = \mathbf{C} 1$. More precisely, we show that whenever $P_1, P_2 \subset M^ω$ are von Neumann subalgebras with separable predual that are globally invariant under the modular automorphism group $(σ_t^{\varphi^ω})$, there exists a unitary $v \in \mathcal U((M^ω)^{\varphi^ω})$ such that $P_1$ and $v P_2 v^*$ are $\ast$-free inside $M^ω$ with respect to the ultraproduct state $\varphi^ω$. 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. △ Less

Submitted 29 April, 2015; v1 submitted 25 August, 2014; originally announced August 2014.

Comments: 14 pages. v2: final version, to appear in J. London Math. Soc

MSC Class: 46L10; 46L54

Journal ref: J. London Math. Soc. 92 (2015), 163-177

Asymptotic structure of free Araki-Woods factors

Authors: Cyril Houdayer, Sven Raum

Abstract: The purpose of this paper is to investigate the structure of Shlyakhtenko's free Araki-Woods factors using the framework of ultraproduct von Neumann algebras. We first prove that all the free Araki-Woods factors $Γ(H_{\mathbb R}, U_t)^{\prime \prime}$ are $ω$-solid in the following sense: for every von Neumann subalgebra $Q \subset Γ(H_{\mathbb R}, U_t)^{\prime \prime}$ that is the range of a fait… ▽ More The purpose of this paper is to investigate the structure of Shlyakhtenko's free Araki-Woods factors using the framework of ultraproduct von Neumann algebras. We first prove that all the free Araki-Woods factors $Γ(H_{\mathbb R}, U_t)^{\prime \prime}$ are $ω$-solid in the following sense: for every von Neumann subalgebra $Q \subset Γ(H_{\mathbb R}, U_t)^{\prime \prime}$ that is the range of a faithful normal conditional expectation and such that the relative commutant $Q' \cap M^ω$ is diffuse, we have that $Q$ is amenable. Next, we prove that the continuous cores of the free Araki-Woods factors $Γ(H_{\mathbb R}, U_t)^{\prime \prime}$ associated with mixing orthogonal representations $U : \mathbb R \to \mathcal O(H_{\mathbb R})$ are $ω$-solid type ${\rm II_\infty}$ factors. Finally, when the orthogonal representation $U : \mathbb R \to \mathcal O(H_{\mathbb R})$ is weakly mixing, we prove a dichotomy result for all the von Neumann subalgebras $Q \subset Γ(H_{\mathbb R}, U_t)^{\prime \prime}$ that are globally invariant under the modular automorphism group $(σ_t^{\varphi_U})$ of the free quasi-free state $\varphi_U$. △ Less

Submitted 26 April, 2015; v1 submitted 24 June, 2014; originally announced June 2014.

Comments: 29 pages. v2: final version, to appear in Math. Ann

MSC Class: 46L10; 46L54; 46L55

Journal ref: Math. Ann. 363 (2015), 237-267

Gamma stability in free product von Neumann algebras

Authors: Cyril Houdayer

Abstract: Let $(M, \varphi) = (M_1, \varphi_1) \ast (M_2, \varphi_2)$ be a free product of arbitrary von Neumann algebras endowed with faithful normal states. Assume that the centralizer $M_1^{\varphi_1}$ is diffuse. We first show that any intermediate subalgebra $M_1 \subset Q \subset M$ which has nontrivial central sequences in $M$ is necessarily equal to $M_1$. Then we obtain a general structural result… ▽ More Let $(M, \varphi) = (M_1, \varphi_1) \ast (M_2, \varphi_2)$ be a free product of arbitrary von Neumann algebras endowed with faithful normal states. Assume that the centralizer $M_1^{\varphi_1}$ is diffuse. We first show that any intermediate subalgebra $M_1 \subset Q \subset M$ which has nontrivial central sequences in $M$ is necessarily equal to $M_1$. Then we obtain a general structural result for all the intermediate subalgebras $M_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 III$_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. △ Less

Submitted 19 March, 2015; v1 submitted 17 March, 2014; originally announced March 2014.

Comments: 18 pages

MSC Class: 46L10; 46L54

Journal ref: Comm. Math. Phys. 336 (2015), 831-851

Baumslag-Solitar groups, relative profinite completions and measure equivalence rigidity

Authors: Cyril Houdayer, Sven Raum

Abstract: We introduce an algebraic invariant for aperiodic inclusions of probability measure preserving equivalence relations. We use this invariant to prove that every stable orbit equivalence between free pmp actions of direct products of non-amenable Baumslag-Solitar groups whose canonical subgroup acts aperiodically forces the number of factors of the products to be the same and the factors to be isomo… ▽ More We introduce an algebraic invariant for aperiodic inclusions of probability measure preserving equivalence relations. We use this invariant to prove that every stable orbit equivalence between free pmp actions of direct products of non-amenable Baumslag-Solitar groups whose canonical subgroup acts aperiodically forces the number of factors of the products to be the same and the factors to be isomorphic after permutation. This generalises some of the results obtained by Kida and moreover provides new measure equivalence rigidity phenomena for Baumslag-Solitar groups. We also obtain a complete classification of direct products of relative profinite completions of Baumslag-Solitar groups, continuing recent work of Elder and Willis. △ Less

Submitted 27 February, 2015; v1 submitted 27 August, 2013; originally announced August 2013.

Comments: 23 pages

MSC Class: 20E06; 20E08; 22D05; 37A20

Journal ref: J. Topol. 8 (2015), 295-313

Amalgamated free product type III factors with at most one Cartan subalgebra

Authors: Rémi Boutonnet, Cyril Houdayer, Sven Raum

Abstract: We investigate Cartan subalgebras in nontracial amalgamated free product von Neumann algebras $M_1 \ast_B M_2$ over an amenable von Neumann subalgebra $B$. First, we settle the problem of the absence of Cartan subalgebra in arbitrary free product von Neumann algebras. Namely, we show that any nonamenable free product von Neumann algebra $(M_1, \varphi_1) \ast (M_2, \varphi_2)$ with respect to fait… ▽ More We investigate Cartan subalgebras in nontracial amalgamated free product von Neumann algebras $M_1 \ast_B M_2$ over an amenable von Neumann subalgebra $B$. First, we settle the problem of the absence of Cartan subalgebra in arbitrary free product von Neumann algebras. Namely, we show that any nonamenable free product von Neumann algebra $(M_1, \varphi_1) \ast (M_2, \varphi_2)$ with respect to faithful normal states has no Cartan subalgebra. This generalizes the tracial case that was established in \cite{Io12a}. Next, we prove that any countable nonsingular ergodic equivalence relation $\mathcal R$ defined on a standard measure space and which splits as the free product $\mathcal R = \mathcal R_1 \ast \mathcal R_2$ of recurrent subequivalence relations gives rise to a nonamenable factor $\rL(\mathcal R)$ with a unique Cartan subalgebra, up to unitary conjugacy. Finally, we prove unique Cartan decomposition for a class of group measure space factors $\rL^\infty(X) \rtimes Γ$ arising from nonsingular free ergodic actions $Γ\curvearrowright (X, μ)$ on standard measure spaces of amalgamated groups $Γ= Γ_1 \ast_Σ Γ_2$ over a finite subgroup $Σ$. △ Less

Submitted 13 February, 2014; v1 submitted 20 December, 2012; originally announced December 2012.

Comments: 30 pages

MSC Class: 46L10; 46L54; 37A40

Journal ref: Compositio Math. 150 (2014) 143-174

Structure of ${\rm II_1}$ factors arising from free Bogoljubov actions of arbitrary groups

Authors: Cyril Houdayer

Abstract: In this paper, we investigate several structural properties for crossed product ${\rm II_1}$ factors $M$ arising from free Bogoljubov actions associated with orthogonal representations $π: G \to \mathcal O(H_\mathbf R)$ of arbitrary countable discrete groups. Under fairly general assumptions on the orthogonal representation $π: G \to \mathcal O(H_{\mathbf R})$, we show that $M$ does not have prope… ▽ More In this paper, we investigate several structural properties for crossed product ${\rm II_1}$ factors $M$ arising from free Bogoljubov actions associated with orthogonal representations $π: G \to \mathcal O(H_\mathbf R)$ of arbitrary countable discrete groups. Under fairly general assumptions on the orthogonal representation $π: G \to \mathcal O(H_{\mathbf R})$, we show that $M$ does not have property Gamma of Murray and von Neumann. Then we show that any regular amenable subalgebra $A \subset M$ can be embedded into $L(G)$ inside $M$. Finally, when $G$ is assumed to be amenable, we locate precisely any possible amenable or Gamma extension of $L(G)$ inside $M$. △ Less

Submitted 22 May, 2014; v1 submitted 24 September, 2012; originally announced September 2012.

Comments: 34 pages; v3: final version, simplified exposition and proof of Theorem B corrected

MSC Class: 46L10; 46L54; 46L55; 22D25

Journal ref: Adv. Math. 260 (2014), 414-457

A class of ${\rm II_1}$ factors with an exotic abelian maximal amenable subalgebra

Authors: Cyril Houdayer

Abstract: We show that for every mixing orthogonal representation $π: \Z \to \mathcal O(H_\R)$, the abelian subalgebra $\LL(\Z)$ is maximal amenable in the crossed product ${\rm II}_1$ factor $Γ(H_\R)\dpr \rtimes_π\Z$ associated with the free Bogoljubov action of the representation $π$. This provides uncountably many non-isomorphic $A$-$A$-bimodules which are disjoint from the coarse $A$-$A$-bimodule and of… ▽ More We show that for every mixing orthogonal representation $π: \Z \to \mathcal O(H_\R)$, the abelian subalgebra $\LL(\Z)$ is maximal amenable in the crossed product ${\rm II}_1$ factor $Γ(H_\R)\dpr \rtimes_π\Z$ associated with the free Bogoljubov action of the representation $π$. This provides uncountably many non-isomorphic $A$-$A$-bimodules which are disjoint from the coarse $A$-$A$-bimodule and of the form $\LL^2(M \ominus A)$ where $A \subset M$ is a maximal amenable masa in a ${\rm II_1}$ factor. △ Less

Submitted 16 April, 2014; v1 submitted 30 March, 2012; originally announced March 2012.

Comments: 16 pages

MSC Class: 46L10; 46L54; 46L55; 22D25

Journal ref: Trans. Amer. Math. Soc. 366 (2014), 3693-3707

Type III factors with unique Cartan decomposition

Authors: Cyril Houdayer, Stefaan Vaes

Abstract: 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 primen… ▽ More 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. △ Less

Submitted 8 March, 2012; v1 submitted 6 March, 2012; originally announced March 2012.

Comments: v2: we only fixed a LaTeX issue

Journal ref: Journal de Mathématiques Pures et Appliquées 100 (2013), 564-590

Invariant percolation and measured theory of nonamenable groups

Authors: Cyril Houdayer

Abstract: Using percolation techniques, Gaboriau and Lyons recently proved that every countable, discrete, nonamenable group $Γ$ contains measurably the free group $\mathbf F_2$ on two generators: there exists a probability measure-preserving, essentially free, ergodic action of $\mathbf F_2$ on $([0, 1]^Γ, λ^Γ)$ such that almost every $Γ$-orbit of the Bernoulli shift splits into $\mathbf F_2$-orbits. A com… ▽ More Using percolation techniques, Gaboriau and Lyons recently proved that every countable, discrete, nonamenable group $Γ$ contains measurably the free group $\mathbf F_2$ on two generators: there exists a probability measure-preserving, essentially free, ergodic action of $\mathbf F_2$ on $([0, 1]^Γ, λ^Γ)$ such that almost every $Γ$-orbit of the Bernoulli shift splits into $\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. △ Less

Submitted 27 June, 2011; originally announced June 2011.

Comments: Bourbaki seminar, 33 pages

Journal ref: Séminaire Bourbaki. Vol. 2010/2011. Astérisque No. 348 (2012), Exp. No. 1039, 339--374

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

Authors: Cyril Houdayer, Sorin Popa, Stefaan Vaes

Abstract: 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… ▽ More 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. △ Less

Submitted 20 October, 2011; v1 submitted 25 October, 2010; originally announced October 2010.

Comments: v3: Minor changes; final version; to appear in Groups, Geometry, and Dynamics v2: We changed the title to make it more informative

Journal ref: Groups, Geometry, and Dynamics 7 (2013), 577-590

Approximation properties and absence of Cartan subalgebra for free Araki-Woods factors

Authors: Cyril Houdayer, Eric Ricard

Abstract: We show that all the free Araki-Woods factors $Γ(H_\R, U_t)"$ have the complete metric approximation property. Using Ozawa-Popa's techniques, we then prove that every nonamenable subfactor $\mathcal{N} \subset Γ(H_\R, U_t)"$ which is the range of a normal conditional expectation has no Cartan subalgebra. We finally deduce that the type ${\rm III_1}$ factors constructed by Connes in the '70s can ne… ▽ More We show that all the free Araki-Woods factors $Γ(H_\R, U_t)"$ have the complete metric approximation property. Using Ozawa-Popa's techniques, we then prove that every nonamenable subfactor $\mathcal{N} \subset Γ(H_\R, U_t)"$ which is the range of a normal conditional expectation has no Cartan subalgebra. We finally deduce that the type ${\rm III_1}$ factors constructed by Connes in the '70s can never be isomorphic to any free Araki-Woods factor, which answers a question of Shlyakhtenko and Vaes. △ Less

Submitted 28 July, 2011; v1 submitted 18 June, 2010; originally announced June 2010.

Comments: 34 pages

MSC Class: 46L07; 46L10; 46L54

Journal ref: Adv. Math. 228 (2011), 764-802

Strongly solid ${\rm II_1}$ factors with an exotic MASA

Authors: Cyril Houdayer, Dimitri Shlyakhtenko

Abstract: Using an extension of techniques of Ozawa and Popa, we give an example of a non-amenable strongly solid $\rm{II}_1$ factor $M$ containing an "exotic" maximal abelian subalgebra $A$: as an $A$,$A$-bimodule, $L^2(M)$ is neither coarse nor discrete. Thus we show that there exist $\rm{II}_1$ factors with such property but without Cartan subalgebras. It also follows from Voiculescu's free entropy resul… ▽ More Using an extension of techniques of Ozawa and Popa, we give an example of a non-amenable strongly solid $\rm{II}_1$ factor $M$ containing an "exotic" maximal abelian subalgebra $A$: as an $A$,$A$-bimodule, $L^2(M)$ is neither coarse nor discrete. Thus we show that there exist $\rm{II}_1$ factors with such property but without Cartan subalgebras. It also follows from Voiculescu's free entropy results that $M$ is not an interpolated free group factor, yet it is strongly solid and has both the Haagerup property and the complete metric approximation property. △ Less

Submitted 22 March, 2011; v1 submitted 7 April, 2009; originally announced April 2009.

Comments: 23 pages

MSC Class: 46L10; 46L54

Journal ref: Int. Math. Res. Not. IMRN 2011, no. 6, 1352-1380

Strongly solid group factors which are not interpolated free group factors

Authors: Cyril Houdayer

Abstract: We give examples of non-amenable ICC groups $Γ$ with the Haagerup property, weakly amenable with constant $Λ_{\cb}(Γ) = 1$, for which we show that the associated ${\rm II_1}$ factors $L(Γ)$ are strongly solid, i.e. the normalizer of any diffuse amenable subalgebra $P \subset L(Γ)$ generates an amenable von Neumann algebra. Nevertheless, for these examples of groups $Γ$, $L(Γ)$ is not isomorphic… ▽ More We give examples of non-amenable ICC groups $Γ$ with the Haagerup property, weakly amenable with constant $Λ_{\cb}(Γ) = 1$, for which we show that the associated ${\rm II_1}$ factors $L(Γ)$ are strongly solid, i.e. the normalizer of any diffuse amenable subalgebra $P \subset L(Γ)$ generates an amenable von Neumann algebra. Nevertheless, for these examples of groups $Γ$, $L(Γ)$ is not isomorphic to any interpolated free group factor $L(\F_t)$, for $1 < t \leq \infty$. △ Less

Submitted 15 February, 2010; v1 submitted 24 January, 2009; originally announced January 2009.

Comments: 20 pages

MSC Class: 46L10; 46L54 (Primary) 22D25; 37A20 (Secondary)

Journal ref: Math. Ann. 346 (2010), 969-989

Structural results for free Araki-Woods factors and their continuous cores

Authors: Cyril Houdayer

Abstract: We show that for any type ${\rm III_1}$ free Araki-Woods factor $\mathcal{M} = Γ(H_\R, U_t)"$ associated with an orthogonal representation $(U_t)$ of $\R$ on a separable real Hilbert space $H_\R$, the continuous core $M = \mathcal{M} \rtimes_σ\R$ is a semisolid ${\rm II_\infty}$ factor, i.e. for any non-zero finite projection $q \in M$, the ${\rm II_1}$ factor $qMq$ is semisolid. If the representa… ▽ More We show that for any type ${\rm III_1}$ free Araki-Woods factor $\mathcal{M} = Γ(H_\R, U_t)"$ associated with an orthogonal representation $(U_t)$ of $\R$ on a separable real Hilbert space $H_\R$, the continuous core $M = \mathcal{M} \rtimes_σ\R$ is a semisolid ${\rm II_\infty}$ factor, i.e. for any non-zero finite projection $q \in M$, the ${\rm II_1}$ factor $qMq$ is semisolid. If the representation $(U_t)$ is moreover assumed to be mixing, then we prove that the core $M$ is solid. As an application, we construct an example of a non-amenable solid ${\rm II_1}$ factor $N$ with full fundamental group, i.e. $\mathcal{F}(N) = \R^*_+$, which is not isomorphic to any interpolated free group factor $L(\F_t)$, for $1 < t \leq +\infty$. △ Less

Submitted 1 September, 2010; v1 submitted 6 December, 2008; originally announced December 2008.

Comments: 22 pages

MSC Class: 46L10; 46L54

Journal ref: J. Inst. Math. Jussieu 9 (2010), 741-767

Free Araki-Woods factors and Connes' bicentralizer problem

Authors: Cyril Houdayer

Abstract: We show that for any free Araki-Woods factor $\mathcal{M} = Γ(H_\R, U_t)"$ of type ${\rm III_1}$, the bicentralizer of the free quasi-free state $\varphi_U$ is trivial. Using Haagerup's Theorem, it follows that there always exists a faithful normal state $ψ$ on $\mathcal{M}$ such that $(\mathcal{M}^ψ)' \cap \mathcal{M} = \C$. We show that for any free Araki-Woods factor $\mathcal{M} = Γ(H_\R, U_t)"$ of type ${\rm III_1}$, the bicentralizer of the free quasi-free state $\varphi_U$ is trivial. Using Haagerup's Theorem, it follows that there always exists a faithful normal state $ψ$ on $\mathcal{M}$ such that $(\mathcal{M}^ψ)' \cap \mathcal{M} = \C$. △ Less

Submitted 24 August, 2009; v1 submitted 22 September, 2008; originally announced September 2008.

Comments: 8 pages

MSC Class: 46L10; 46L54

Journal ref: Proc. Amer. Math. Soc. 137 (2009), 3749-3755

Bass-Serre rigidity results in von Neumann algebras

Authors: Ionut Chifan, Cyril Houdayer

Abstract: We obtain new Bass-Serre type rigidity results for ${\rm II_1}$ equivalence relations and their von Neumann algebras, coming from free ergodic actions of free products of groups on the standard probability space. As an application, we show that any non-amenable factor arising as an amalgamated free product of von Neumann algebras $\mathcal{M}_1 \ast_B \mathcal{M}_2$ over an abelian von Neumann a… ▽ More We obtain new Bass-Serre type rigidity results for ${\rm II_1}$ equivalence relations and their von Neumann algebras, coming from free ergodic actions of free products of groups on the standard probability space. As an application, we show that any non-amenable factor arising as an amalgamated free product of von Neumann algebras $\mathcal{M}_1 \ast_B \mathcal{M}_2$ over an abelian von Neumann algebra $B$, is prime, i.e. cannot be written as a tensor product of diffuse factors. This gives, both in the type ${\rm II_1}$ and in the type ${\rm III}$ case, new examples of prime factors. △ Less

Submitted 3 May, 2010; v1 submitted 11 May, 2008; originally announced May 2008.

Comments: 27 pages.

MSC Class: 46L10; 46L54; 46L55

Journal ref: Duke Math. J. 153, no. 1 (2010), 23-54

Construction of type ${\rm II_1}$ factors with prescribed countable fundamental group

Authors: Cyril Houdayer

Abstract: In the context of Free Probability Theory, we study two different constructions that provide new examples of factors of type ${\rm II_1}$ with prescribed fundamental group. First we investigate state-preserving group actions on the almost periodic free Araki-Woods factors satisfying both a condition of mixing and a condition of free malleability in the sense of Popa. Typical examples are given b… ▽ More In the context of Free Probability Theory, we study two different constructions that provide new examples of factors of type ${\rm II_1}$ with prescribed fundamental group. First we investigate state-preserving group actions on the almost periodic free Araki-Woods factors satisfying both a condition of mixing and a condition of free malleability in the sense of Popa. Typical examples are given by the free Bogoliubov shifts. Take an ICC $w$-rigid group $G$ such that $\mathcal{F}(L(G)) = \{1\}$ (e.g. $G = \Z^2 \rtimes \SL(2, \Z)$). For any countable subgroup $S \subset \R^*_+$, we show that there exists an action of $G$ on $L(\F_\infty)$ such that $L(\F_\infty) \rtimes G$ is a type ${\rm II_1}$ factor and its fundamental group is $S$. The second construction is based on a free product. Take $(B(H), ψ)$ any factor of type ${\rm I}$ endowed with a faithful normal state and denote by $Γ\subset \R^*_+$ the subgroup generated by the point spectrum of $ψ$. We show that the centralizer $(L(G) \ast B(H))^{τ\ast ψ}$ is a type ${\rm II_1}$ factor and its fundamental group is $Γ$. Our proofs rely on Popa's deformation/rigidity strategy using his intertwining-by-bimodules technique. △ Less

Submitted 31 August, 2009; v1 submitted 26 April, 2007; originally announced April 2007.

Comments: 33 pages

MSC Class: 46L10; 46L54; 46L55; 22D10; 22D25

Journal ref: J. reine angew Math. 634 (2009), 169-207

On some free products of von Neumann algebras which are free Araki-Woods factors

Authors: Cyril Houdayer

Abstract: We prove that certain free products of factors of type ${\rm I}$ and other von Neumann algebras with respect to nontracial, almost periodic states are almost periodic free Araki-Woods factors. In particular, they have the free absorption property and Connes' Sd invariant completely classifies these free products. For example, for $λ, μ\in ]0, 1[$, we show that… ▽ More We prove that certain free products of factors of type ${\rm I}$ and other von Neumann algebras with respect to nontracial, almost periodic states are almost periodic free Araki-Woods factors. In particular, they have the free absorption property and Connes' Sd invariant completely classifies these free products. For example, for $λ, μ\in ]0, 1[$, we show that $$(M_2(\C), ω_λ) \ast (M_2(\C), ω_μ)$$ is isomorphic to the free Araki-Woods factor whose Sd invariant is the subgroup of $\R^*_+$ generated by $λ$ and $μ$. Our proofs are based on algebraic techniques and amalgamated free products. These results give some answers to questions of Dykema and Shlyakhtenko. △ Less

Submitted 11 May, 2008; v1 submitted 12 June, 2006; originally announced June 2006.

Comments: 14 pages

MSC Class: 46L10; 46L54

Journal ref: Int. Math. Res. Notices. (2007) Vol. 2007, article ID rnm098, 21 pages

A new construction of factors of type ${\rm III_1}$

Authors: Cyril Houdayer

Abstract: We give in this paper a new construction of factors of type ${\rm III_1}$. Under certain assumptions, we can, thanks to a result by Popa, give a complete classification for this family of factors. Although these factors are never full, we can nevertheless, in many cases, compute Connes' $τ$ invariant. We obtain a new example of an uncountable family of pairwise non-isomorphic factors of type… ▽ More We give in this paper a new construction of factors of type ${\rm III_1}$. Under certain assumptions, we can, thanks to a result by Popa, give a complete classification for this family of factors. Although these factors are never full, we can nevertheless, in many cases, compute Connes' $τ$ invariant. We obtain a new example of an uncountable family of pairwise non-isomorphic factors of type ${\rm III_1}$ with the same $τ$ invariant. △ Less

Submitted 20 November, 2006; v1 submitted 9 January, 2006; originally announced January 2006.

Comments: 22 pages

MSC Class: 46L10

Journal ref: J. Funct. Anal. 242 (2007), 375-399