Showing 1–21 of 21 results for author: Marrakchi, A

Almost almost periodic type $\mathrm{III}_1$ factors and their 3-cohomology obstructions

Authors: Amine Marrakchi

Abstract: We construct an exemple of a full factor $M$ such that its canonical outer modular flow $σ^M : \mathbb{R} \rightarrow \mathrm{Out}(M)$ is almost periodic but $M$ has no almost periodic state. This can only happen if the discrete spectrum of $σ^M$ contains a nontrivial integral quadratic relation. We show how such a nontrivial relation can produce a 3-cohomological obstruction to the existence of a… ▽ More We construct an exemple of a full factor $M$ such that its canonical outer modular flow $σ^M : \mathbb{R} \rightarrow \mathrm{Out}(M)$ is almost periodic but $M$ has no almost periodic state. This can only happen if the discrete spectrum of $σ^M$ contains a nontrivial integral quadratic relation. We show how such a nontrivial relation can produce a 3-cohomological obstruction to the existence of an almost periodic state. To obtain our main theorem, we first strengthen a recent result of Bischoff and Karmakar by showing that for any compact connected abelian group $K$, every cohomology class in $ H^3(K,\mathbb{T})$ can be realized as an obstruction of a $K$-kernel on the hyperfinite $\mathrm{II}_1$ factor. We also prove a positive result : if for a full factor $M$ the outer modular flow $σ^M : \mathbb{R} \rightarrow \mathrm{Out}(M)$ is almost periodic, then $M \otimes R$ has an almost periodic state, where $R$ is the hyperfinite $\mathrm{II}_1$ factor. Finally, we prove a positive result for crossed product factors associated to strongly ergodic actions of hyperbolic groups. △ Less

Submitted 3 February, 2025; originally announced February 2025.

Comments: 29 pages

MSC Class: 46L10; 46L36; 20J06; 22B05

Kadison's problem for type III subfactors and the bicentralizer conjecture

Authors: Amine Marrakchi

Abstract: In 1967, Kadison asked "if $N$ is a subfactor of the factor $M$ for which $N' \cap M$ consists of scalars, will some maximal abelian *-subalgebra of $N$ be a maximal abelian subalgebra of $M$?". Generalizing a theorem of Popa in the type $\mathrm{II}$ case (1981), we solve Kadison's problem for all subfactors with expectation $N \subset M$ where $N$ is either a type $\mathrm{III}_λ$ factor with… ▽ More In 1967, Kadison asked "if $N$ is a subfactor of the factor $M$ for which $N' \cap M$ consists of scalars, will some maximal abelian *-subalgebra of $N$ be a maximal abelian subalgebra of $M$?". Generalizing a theorem of Popa in the type $\mathrm{II}$ case (1981), we solve Kadison's problem for all subfactors with expectation $N \subset M$ where $N$ is either a type $\mathrm{III}_λ$ factor with $0 \leq λ< 1$ or a type $\mathrm{III}_1$ factor that satisfies Connes's bicentralizer conjecture. Our solution is based on a new explicit formula for the bicentralizer algebras of arbitrary inclusions. This formula implies a type $\mathrm{III}$ analog of Popa's local quantization principle. We generalize Haaegrup's theorem from 1984 by connecting the relative bicentralizer conjecture to the Dixmier property. Finally, we prove this conjecture for a large class of inclusions and we prove an ergodicity theorem for the bicentralizer flow. We also give applications of our methods to $\mathrm{II}_1$ factors, including a new characterization of Ozawa's W*-Akemann-Ostrand property. △ Less

Submitted 10 November, 2024; v1 submitted 29 August, 2023; originally announced August 2023.

Comments: 78 pages

MSC Class: 46L10 (Primary) 46L36; 46L37; 46M07 (Secondary)

Almost synchronous correlations and Tomita-Takesaki theory

Authors: Amine Marrakchi, Mikael de la Salle

Abstract: The aim of this note is to present a ``type III'' generalization of a distribution lemma of Connes. We then derive, following Vidick, consequences on infinite-dimensional quantum strategies for non-local games. The aim of this note is to present a ``type III'' generalization of a distribution lemma of Connes. We then derive, following Vidick, consequences on infinite-dimensional quantum strategies for non-local games. △ Less

Submitted 16 July, 2023; originally announced July 2023.

Comments: 9 pages

Ergodic states on type III$_1$ factors and ergodic actions

Authors: Amine Marrakchi, Stefaan Vaes

Abstract: Since the early days of Tomita-Takesaki theory, it is known that a von Neumann algebra $M$ that admits a state $\varphi$ with trivial centralizer $M_\varphi$ must be a type III$_1$ factor, but the converse remained open. We solve this problem and prove that such ergodic states form a dense $G_δ$ set among all faithful normal states on any III$_1$ factor with separable predual. Through Connes' Rado… ▽ More Since the early days of Tomita-Takesaki theory, it is known that a von Neumann algebra $M$ that admits a state $\varphi$ with trivial centralizer $M_\varphi$ must be a type III$_1$ factor, but the converse remained open. We solve this problem and prove that such ergodic states form a dense $G_δ$ set among all faithful normal states on any III$_1$ factor with separable predual. Through Connes' Radon-Nikodym cocycle theorem, this problem is related to the existence of ergodic cocycle perturbations for outer group actions, which we consider in the second part of the paper. △ Less

Submitted 3 February, 2024; v1 submitted 23 May, 2023; originally announced May 2023.

Comments: v3 is the final version, with minor changes compared to v2, and will appear in the Journal fur die Reine und Angewandte Mathematik

Journal ref: Journal für die Reine und Angewandte Mathematik 809 (2024), 247-260

Spectral gap and strict outerness for actions of locally compact groups on full factors

Authors: Amine Marrakchi, Stefaan Vaes

Abstract: We prove that an outer action of a locally compact group $G$ on a full factor $M$ is automatically strictly outer, meaning that the relative commutant of $M$ in the crossed product is trivial. If moreover the image of $G$ in the outer automorphism group $\operatorname{Out} M$ is closed, we prove that the crossed product remains full. We obtain this result by proving that the inclusion of $M$ in th… ▽ More We prove that an outer action of a locally compact group $G$ on a full factor $M$ is automatically strictly outer, meaning that the relative commutant of $M$ in the crossed product is trivial. If moreover the image of $G$ in the outer automorphism group $\operatorname{Out} M$ is closed, we prove that the crossed product remains full. We obtain this result by proving that the inclusion of $M$ in the crossed product automatically has a spectral gap property. Such results had only been proven for actions of discrete groups and for actions of compact groups, by using quite different methods in both cases. Even for the canonical Bogoljubov actions on free group factors or free Araki-Woods factors, these results are new. △ Less

Submitted 5 April, 2022; v1 submitted 4 January, 2022; originally announced January 2022.

Comments: v2: minor changes, final version, to appear in Enseignement Mathematique, special issue in honor of Vaughan Jones

Journal ref: Enseignement Mathématique 69 (2023), 353-379

Evanescent affine isometric actions and weak identity excluding groups

Authors: Amine Marrakchi

Abstract: We investiguate a property of affine isometric actions on Hilbert spaces called evanescence. Evanescent actions are the extreme opposite of irreducible actions. Every affine isometric action decomposes naturally into an evanescent part and an irreducible part. We study when this decomposition is unique. We also study when an action that has almost fixed points is automatically evanescent. We relat… ▽ More We investiguate a property of affine isometric actions on Hilbert spaces called evanescence. Evanescent actions are the extreme opposite of irreducible actions. Every affine isometric action decomposes naturally into an evanescent part and an irreducible part. We study when this decomposition is unique. We also study when an action that has almost fixed points is automatically evanescent. We relate these questions to the identity excluding property for groups. We also relate them to the finiteness of the von Neumann algebras generated by the linear part of the action. △ Less

Submitted 21 May, 2021; originally announced May 2021.

Comments: 13 pages

MSC Class: 22D10; 46L10; 20F65

Nonsingular Gaussian actions: beyond the mixing case

Authors: Amine Marrakchi, Stefaan Vaes

Abstract: Every affine isometric action $α$ of a group $G$ on a real Hilbert space gives rise to a nonsingular action $\hatα$ of $G$ on the associated Gaussian probability space. In the recent paper [AIM19], several results on the ergodicity and Krieger type of these actions were established when the underlying orthogonal representation $π$ of $G$ is mixing. We develop new methods to prove ergodicity when… ▽ More Every affine isometric action $α$ of a group $G$ on a real Hilbert space gives rise to a nonsingular action $\hatα$ of $G$ on the associated Gaussian probability space. In the recent paper [AIM19], several results on the ergodicity and Krieger type of these actions were established when the underlying orthogonal representation $π$ of $G$ is mixing. We develop new methods to prove ergodicity when $π$ is only weakly mixing. We determine the type of $\hatα$ in full generality. Using Cantor measures, we give examples of type III$_1$ ergodic Gaussian actions of $\mathbb{Z}$ whose underlying representation is non mixing, and even has a Dirichlet measure as spectral type. We also provide very general ergodicity results for Gaussian skew product actions. △ Less

Submitted 10 December, 2021; v1 submitted 11 June, 2020; originally announced June 2020.

Comments: v3: minor changes, final version, to appear in Advances in Mathematics

Journal ref: Advances in Mathematics 397 (2022), paper no. 108190

Isometric actions on Lp-spaces: dependence on the value of p

Authors: Amine Marrakchi, Mikael de la Salle

Abstract: Answering a question by Chatterji--Druţu--Haglund, we prove that, for every locally compact group $G$, there exists a critical constant $p_G \in [0,\infty]$ such that $G$ admits a continuous affine isometric action on an $L_p$ space ($0<p<\infty$) with unbounded orbits if and only if $p \geq p_G$. A similar result holds for the existence of proper continuous affine isometric actions on $L_p$ space… ▽ More Answering a question by Chatterji--Druţu--Haglund, we prove that, for every locally compact group $G$, there exists a critical constant $p_G \in [0,\infty]$ such that $G$ admits a continuous affine isometric action on an $L_p$ space ($0<p<\infty$) with unbounded orbits if and only if $p \geq p_G$. A similar result holds for the existence of proper continuous affine isometric actions on $L_p$ spaces. Using a representation of cohomology by harmonic cocycles, we also show that such unbounded orbits cannot occure when the linear part comes from a measure preserving action, or more generally a state-preserving action on a von Neumann algebra and $p>2$. We also prove the stability of this critical constant $p_G$ under $L_p$ measure equivalence, answering a question of Fisher. We use this to show that for every connected semisimple Lie group $G$ and for every lattice $Γ< G$, we have $p_Γ=p_G$. △ Less

Submitted 1 October, 2020; v1 submitted 8 January, 2020; originally announced January 2020.

Comments: v1: 10 pages v2: 20 pages. Added : study of critical parameters for semisimple Lie groups and their lattices, and of their behaviour under quantitative measure equivalence; integrability properties of lattices v3: 24 pages. Added : discussion of harmonic cocycles and and actions on non-commutative Lp spaces coming from state-preserving actions

Ergodic theory of affine isometric actions on Hilbert spaces

Authors: Yuki Arano, Yusuke Isono, Amine Marrakchi

Abstract: The classical Gaussian functor associates to every orthogonal representation of a locally compact group $G$ a probability measure preserving action of $G$ called a Gaussian action. In this paper, we generalize this construction by associating to every affine isometric action of $G$ on a Hilbert space, a one-parameter family of nonsingular Gaussian actions whose ergodic properties are related in a… ▽ More The classical Gaussian functor associates to every orthogonal representation of a locally compact group $G$ a probability measure preserving action of $G$ called a Gaussian action. In this paper, we generalize this construction by associating to every affine isometric action of $G$ on a Hilbert space, a one-parameter family of nonsingular Gaussian actions whose ergodic properties are related in a very subtle way to the geometry of the original action. We show that these nonsingular Gaussian actions exhibit a phase transition phenomenon and we relate it to new quantitative invariants for affine isometric actions. We use the Patterson-Sullivan theory as well as Lyons-Pemantle work on tree-indexed random walks in order to give a precise description of this phase transition for affine isometric actions of groups acting on trees. We also show that every locally compact group without property (T) admits a nonsingular Gaussian that is free, weakly mixing and of stable type $\mathrm{III}_1$. △ Less

Submitted 22 October, 2020; v1 submitted 11 November, 2019; originally announced November 2019.

Comments: 62 pages

On the weak relative Dixmier property

Authors: Amine Marrakchi

Abstract: We show that every inclusion of von Neumann algebras with a faithful normal conditional expectation has the weak relative Dixmier property. This answers a question of Popa \cite{Po99}. The proof uses an improvement of Ellis' lemma for compact convex semigroup. We show that every inclusion of von Neumann algebras with a faithful normal conditional expectation has the weak relative Dixmier property. This answers a question of Popa \cite{Po99}. The proof uses an improvement of Ellis' lemma for compact convex semigroup. △ Less

Submitted 1 July, 2019; originally announced July 2019.

Comments: 4 pages

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

Tensor product decompositions and rigidity of full factors

Authors: Yusuke Isono, Amine Marrakchi

Abstract: We obtain several rigidity results regarding tensor product decompositions of factors. First, we show that any full factor with separable predual has at most countably many tensor product decompositions up to stable unitary conjugacy. We use this to show that the class of separable full factors with countable fundamental group is stable under tensor products. Next, we obtain new primeness and uniq… ▽ More We obtain several rigidity results regarding tensor product decompositions of factors. First, we show that any full factor with separable predual has at most countably many tensor product decompositions up to stable unitary conjugacy. We use this to show that the class of separable full factors with countable fundamental group is stable under tensor products. Next, we obtain new primeness and unique prime factorization results for crossed products coming from compact actions of higher rank lattices (e.g.\ $\mathrm{SL}(n,\mathbb{Z}), \: n \geq 3$) and noncommutative Bernoulli shifts with arbitrary base (not necessarily amenable). Finally, we provide examples of full factors without any prime factorization. △ Less

Submitted 23 May, 2019; originally announced May 2019.

Comments: 30 pages

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

Full factors and co-amenable inclusions

Authors: Jon Bannon, Amine Marrakchi, Narutaka Ozawa

Abstract: We show that if $M$ is a full factor and $N \subset M$ is a co-amenable subfactor with expectation, then $N$ is also full. This answers a question of Popa from 1986. We also generalize a theorem of Tomatsu by showing that if $M$ is a full factor and $σ\colon G \curvearrowright M$ is an outer action of a compact group $G$, then $σ$ is automatically minimal and $M^G$ is a full factor which has w-spe… ▽ More We show that if $M$ is a full factor and $N \subset M$ is a co-amenable subfactor with expectation, then $N$ is also full. This answers a question of Popa from 1986. We also generalize a theorem of Tomatsu by showing that if $M$ is a full factor and $σ\colon G \curvearrowright M$ is an outer action of a compact group $G$, then $σ$ is automatically minimal and $M^G$ is a full factor which has w-spectral gap in $M$. Finally, in the appendix, we give a proof of the fact that several natural notions of co-amenability for an inclusion $N\subset M$ of von Neumann algebras are equivalent, thus closing the cycle of implications given in Anantharaman-Delaroche's paper in 1995. △ Less

Submitted 15 June, 2019; v1 submitted 13 March, 2019; originally announced March 2019.

Comments: 15 pages, Remark 3.6 is added

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

Full factors, bicentralizer flow and approximately inner automorphisms

Authors: Amine Marrakchi

Abstract: We show that a factor $M$ is full if and only if the $C^*$-algebra generated by its left and right regular representations contains the compact operators. We prove that the bicentralizer flow of a type $\mathrm{III}_1$ factor is always ergodic. As a consequence, for any type $\mathrm{III}_1$ factor $M$ and any $λ\in ]0,1]$, there exists an irreducible AFD type $\mathrm{III}_λ$ subfactor with expec… ▽ More We show that a factor $M$ is full if and only if the $C^*$-algebra generated by its left and right regular representations contains the compact operators. We prove that the bicentralizer flow of a type $\mathrm{III}_1$ factor is always ergodic. As a consequence, for any type $\mathrm{III}_1$ factor $M$ and any $λ\in ]0,1]$, there exists an irreducible AFD type $\mathrm{III}_λ$ subfactor with expectation in $M$. Moreover, any type $\mathrm{III}_1$ factor $M$ which satisfies $M \cong M \otimes R_λ$ for some $λ\in ]0,1[$ has trivial bicentralizer. Finally, we give a counter-example to the characterization of approximately inner automorphisms conjectured by Connes and we prove a weaker version of this conjecture. In particular, we obtain a new proof of Kawahigashi-Sutherland-Takesaki's result that every automorphism of the AFD type $\mathrm{III}_1$ factor is approximately inner. △ Less

Submitted 30 November, 2018; v1 submitted 26 November, 2018; originally announced November 2018.

Comments: 16 pages

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

Fullness of crossed products of factors by discrete groups

Authors: Amine Marrakchi

Abstract: Let $M$ be an arbitrary factor and $σ: Γ\curvearrowright M$ an action of a discrete group. In this paper, we study the fullness of the crossed product $M \rtimes_σΓ$. When $Γ$ is amenable, we obtain a complete characterization: the crossed product factor $M \rtimes_σΓ$ is full if and only if $M$ is full and the quotient map $\overlineσ : Γ\rightarrow \mathrm{Out}(M)$ has finite kernel and discrete… ▽ More Let $M$ be an arbitrary factor and $σ: Γ\curvearrowright M$ an action of a discrete group. In this paper, we study the fullness of the crossed product $M \rtimes_σΓ$. When $Γ$ is amenable, we obtain a complete characterization: the crossed product factor $M \rtimes_σΓ$ is full if and only if $M$ is full and the quotient map $\overlineσ : Γ\rightarrow \mathrm{Out}(M)$ has finite kernel and discrete image. This answers a question of Jones from 1981. When $M$ is full and $Γ$ is arbitrary, we give a sufficient condition for $M \rtimes_σΓ$ to be full which generalizes both Jones' criterion and Choda's criterion. In particular, we show that if $M$ is any full factor (possibly of type $\mathrm{III}$) and $Γ$ is a non-inner amenable group, then the crossed product $M \rtimes_σΓ$ is full. △ Less

Submitted 16 November, 2018; originally announced November 2018.

Comments: 9 pages. arXiv admin note: text overlap with arXiv:1611.07914

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

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

Stability of products of equivalence relations

Authors: Amine Marrakchi

Abstract: An ergodic p.m.p. equivalence relation $ \mathcal{R}$ is said to be stable if $\mathcal{R} \cong \mathcal{R} \times \mathcal{R}_0$ where $\mathcal{R}_0$ is the unique hyperfinite ergodic type $\mathrm{II}_1$ equivalence relation. We prove that a direct product $\mathcal{R} \times \mathcal{S}$ of two ergodic p.m.p. equivalence relations is stable if and only if one of the two components… ▽ More An ergodic p.m.p. equivalence relation $ \mathcal{R}$ is said to be stable if $\mathcal{R} \cong \mathcal{R} \times \mathcal{R}_0$ where $\mathcal{R}_0$ is the unique hyperfinite ergodic type $\mathrm{II}_1$ equivalence relation. We prove that a direct product $\mathcal{R} \times \mathcal{S}$ of two ergodic p.m.p. equivalence relations is stable if and only if one of the two components $\mathcal{R}$ or $\mathcal{S}$ is stable. This result is deduced from a new local characterization of stable equivalence relations. The similar question on McDuff $\mathrm{II}_1$ factors is also discussed and some partial results are given. △ Less

Submitted 17 September, 2017; v1 submitted 1 September, 2017; originally announced September 2017.

Comments: 14 pages

MSC Class: 37A20; 46L10; 46L36

Journal ref: Compositio Math. 154 (2018) 2005-2019

Strongly ergodic actions have local spectral gap

Authors: Amine Marrakchi

Abstract: We show that an ergodic measure preserving action $Γ\curvearrowright (X,μ)$ of a discrete group $Γ$ on a $σ$-finite measure space $(X,μ)$ satisfies the local spectral gap property (introduced by Boutonnet, Ioana and Salehi Golsefidy) if and only if it is strongly ergodic. In fact, we prove a more general local spectral gap criterion in arbitrary von Neumann algebras. Using this criterion, we also… ▽ More We show that an ergodic measure preserving action $Γ\curvearrowright (X,μ)$ of a discrete group $Γ$ on a $σ$-finite measure space $(X,μ)$ satisfies the local spectral gap property (introduced by Boutonnet, Ioana and Salehi Golsefidy) if and only if it is strongly ergodic. In fact, we prove a more general local spectral gap criterion in arbitrary von Neumann algebras. Using this criterion, we also obtain a short and elementary proof of Connes' spectral gap theorem for full $\mathrm{II}_1$ factors as well as its recent generalization to full type $\mathrm{III}$ factors. △ Less

Submitted 15 September, 2017; v1 submitted 3 July, 2017; originally announced July 2017.

Comments: 6 pages

MSC Class: 37A05; 37A30; 46L10

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

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

Spectral gap characterization of full type III factors

Authors: Amine Marrakchi

Abstract: We give a spectral gap characterization of fullness for type $\mathrm{III}$ factors which is the analog of a theorem of Connes in the tracial case. Using this criterion, we generalize a theorem of Jones by proving that if $M$ is a full factor and $σ: G \rightarrow \mathrm{Aut}(M)$ is an outer action of a discrete group $G$ whose image in $\mathrm{Out}(M)$ is discrete then the crossed product von N… ▽ More We give a spectral gap characterization of fullness for type $\mathrm{III}$ factors which is the analog of a theorem of Connes in the tracial case. Using this criterion, we generalize a theorem of Jones by proving that if $M$ is a full factor and $σ: G \rightarrow \mathrm{Aut}(M)$ is an outer action of a discrete group $G$ whose image in $\mathrm{Out}(M)$ is discrete then the crossed product von Neumann algebra $M \rtimes_σG$ is also a full factor. We apply this result to prove the following conjecture of Tomatsu-Ueda: the continuous core of a type $\mathrm{III}_1$ factor $M$ is full if and only if $M$ is full and its $τ$ invariant is the usual topology on $\mathbb{R}$. △ Less

Submitted 15 November, 2016; v1 submitted 31 May, 2016; originally announced May 2016.

Comments: 13 pages

MSC Class: 46L10

Solidity of type III Bernoulli crossed products

Authors: Amine Marrakchi

Abstract: We generalize a theorem of Chifan and Ioana by proving that for any, possibly type III, amenable von Neumann algebra $A_0$, any faithful normal state $\varphi_0$ and any discrete group $Γ$, the associated Bernoulli crossed product von Neumann algebra $M=(A_0,\varphi_0)^{\mathbin{\bar{\otimes}}Γ}\rtimes Γ$ is solid relatively to $\mathcal{L}(Γ)$. In particular, if $\mathcal{L}(Γ)$ is solid then… ▽ More We generalize a theorem of Chifan and Ioana by proving that for any, possibly type III, amenable von Neumann algebra $A_0$, any faithful normal state $\varphi_0$ and any discrete group $Γ$, the associated Bernoulli crossed product von Neumann algebra $M=(A_0,\varphi_0)^{\mathbin{\bar{\otimes}}Γ}\rtimes Γ$ is solid relatively to $\mathcal{L}(Γ)$. In particular, if $\mathcal{L}(Γ)$ is solid then $M$ is solid and if $Γ$ is non-amenable and $A_0 \neq \mathbb{C}$ then $M$ is a full prime factor. This gives many new examples of solid or prime type $\mathrm{III}$ factors. Following Chifan and Ioana, we also obtain the first examples of solid non-amenable type $\mathrm{III}$ equivalence relations. △ Less

Submitted 31 May, 2016; v1 submitted 14 January, 2016; originally announced January 2016.

Comments: 18 pages

MSC Class: 46L10