Showing 1–35 of 35 results for author: de la Salle, M

$\mathrm{SL}_{4}(\mathbf{Z})$ is not purely matricial field

Authors: Michael Magee, Mikael de la Salle

Abstract: We prove that every finite dimensional unitary representation of $\mathrm{SL}_{4}(\mathbf{Z})$ contains a non-zero $\mathrm{SL}_{2}(\mathbf{Z})$-invariant vector. As a consequence, there is no sequence of finite-dimensional representations of $\mathrm{SL}_{4}(\mathbf{Z})$ that gives rise to an embedding of its reduced $C^*$-algebra into an ultraproduct of matrix algebras. We prove that every finite dimensional unitary representation of $\mathrm{SL}_{4}(\mathbf{Z})$ contains a non-zero $\mathrm{SL}_{2}(\mathbf{Z})$-invariant vector. As a consequence, there is no sequence of finite-dimensional representations of $\mathrm{SL}_{4}(\mathbf{Z})$ that gives rise to an embedding of its reduced $C^*$-algebra into an ultraproduct of matrix algebras. △ Less

Submitted 30 January, 2024; v1 submitted 5 December, 2023; originally announced December 2023.

Comments: v2: 9 pages; details added in proof, and example for SL3 made explicit. To appear in Comptes Rendus Mathématique

The local geometry of idempotent Schur multipliers

Authors: Javier Parcet, Mikael de la Salle, Eduardo Tablate

Abstract: A Schur multiplier is a linear map on matrices which acts on its entries by multiplication with some function, called the symbol. We consider idempotent Schur multipliers, whose symbols are indicator functions of smooth Euclidean domains. Given $1<p\neq 2<\infty$, we provide a local characterization (under some mild transversality condition) for the boundedness on Schatten $p$-classes of Schur ide… ▽ More A Schur multiplier is a linear map on matrices which acts on its entries by multiplication with some function, called the symbol. We consider idempotent Schur multipliers, whose symbols are indicator functions of smooth Euclidean domains. Given $1<p\neq 2<\infty$, we provide a local characterization (under some mild transversality condition) for the boundedness on Schatten $p$-classes of Schur idempotents in terms of a lax notion of boundary flatness. We prove in particular that all Schur idempotents are modeled on a single fundamental example: the triangular projection. As an application, we fully characterize the local $L_p$-boundedness of smooth Fourier idempotents on connected Lie groups. They are all modeled on one of three fundamental examples: the classical Hilbert transform, and two new examples of Hilbert transforms that we call affine and projective. Our results in this paper are vast noncommutative generalizations of Fefferman's celebrated ball multiplier theorem. They confirm the intuition that Schur multipliers share profound similarities with Euclidean Fourier multipliers |even in the lack of a Fourier transform connection| and complete, for Lie groups, a longstanding search of Fourier $L_p$-idempotents. △ Less

Submitted 10 April, 2024; v1 submitted 5 December, 2023; originally announced December 2023.

Comments: 21 pages; v2: many small changes in the presentation

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

Actions of higher rank groups on uniformly convex Banach spaces

Authors: Tim de Laat, Mikael de la Salle

Abstract: We prove that all isometric actions of higher rank simple Lie groups and their lattices on arbitrary uniformly convex Banach spaces have a fixed point. This vastly generalises a recent breakthrough of Oppenheim. Combined with earlier work of Lafforgue and of Liao on strong Banach property (T) for non-Archimedean higher rank simple groups, this confirms a long-standing conjecture of Bader, Furman,… ▽ More We prove that all isometric actions of higher rank simple Lie groups and their lattices on arbitrary uniformly convex Banach spaces have a fixed point. This vastly generalises a recent breakthrough of Oppenheim. Combined with earlier work of Lafforgue and of Liao on strong Banach property (T) for non-Archimedean higher rank simple groups, this confirms a long-standing conjecture of Bader, Furman, Gelander and Monod. As a consequence, we deduce that sequences of Cayley graphs of finite quotients of a higher rank lattice are super-expanders. △ Less

Submitted 8 March, 2023; v1 submitted 2 March, 2023; originally announced March 2023.

Comments: 30 pages ; minor changes in v2

Analysis on simple Lie groups and lattices

Authors: Mikael de la Salle

Abstract: We present a simple tool to perform analysis with groups such as SL(n,R) and SL(n,Z), that has been introduced by Vincent Lafforgue in his study of non-unitary representations, in connection with the Baum-Connes conjecture and strong property (T). It has been later applied in various contexts: operator algebras, Fourier analysis, geometry of Banach spaces or dynamics. The idea is to first restrict… ▽ More We present a simple tool to perform analysis with groups such as SL(n,R) and SL(n,Z), that has been introduced by Vincent Lafforgue in his study of non-unitary representations, in connection with the Baum-Connes conjecture and strong property (T). It has been later applied in various contexts: operator algebras, Fourier analysis, geometry of Banach spaces or dynamics. The idea is to first restrict to compact subgroups and then exploit how they sit inside the whole group. △ Less

Submitted 26 April, 2022; originally announced April 2022.

Comments: Prepared for the proceedings of the ICM2022 (20 pages)

Spectral gap and stability for groups and non-local games

Authors: Mikael de la Salle

Abstract: The word stable is used to describe a situation when mathematical objects that almost satisfy an equation are close to objects satisfying it exactly. We study operator-algebraic forms of stability for unitary representations of groups and quantum synchronous strategies for non-local games. We observe in particular that simple spectral gap estimates can lead to strong quantitative forms of stabilit… ▽ More The word stable is used to describe a situation when mathematical objects that almost satisfy an equation are close to objects satisfying it exactly. We study operator-algebraic forms of stability for unitary representations of groups and quantum synchronous strategies for non-local games. We observe in particular that simple spectral gap estimates can lead to strong quantitative forms of stability. For example, we prove that the direct product of two (flexibly) Hilbert-Schmidt stable groups is again (flexibly) Hilbert-Schmidt stable, provided that one of them has Kazhdan's property (T). We also provide a simple form and simple analysis of a non-local game with few questions, with the property that synchronous strategies with large value are close to perfect strategies involving large Pauli matrices. This simplifies one of the steps (the question reduction) in the recent announced resolution of Connes' embedding problem by Ji, Natarajan, Vidick, Wright and Yuen. △ Less

Submitted 14 April, 2022; originally announced April 2022.

Most rigid representation and Cayley index of finitely generated groups

Authors: Paul-Henry Leemann, Mikael de la Salle

Abstract: If $G$ is a group and $S$ a generating set, $G$ canonically embeds into the automorphism group of its Cayley graph and it is natural to try to minimize, over all generating sets, the index of this inclusion. This infimum is called the Cayley index of the group. In a recent series of works, we have characterized the infinite finitely generated groups with Cayley index $1$. We complement this charac… ▽ More If $G$ is a group and $S$ a generating set, $G$ canonically embeds into the automorphism group of its Cayley graph and it is natural to try to minimize, over all generating sets, the index of this inclusion. This infimum is called the Cayley index of the group. In a recent series of works, we have characterized the infinite finitely generated groups with Cayley index $1$. We complement this characterization by showing that the Cayley index is $2$ in the remaining cases and is attained for a finite generating set. △ Less

Submitted 5 May, 2021; originally announced May 2021.

Comments: 9 pages

Journal ref: The Electronic Journal of Combinatorics, Vol. 29, Issue 4 (2022)

Orthogonalization of Positive Operator Valued Measures

Authors: Mikael de la Salle

Abstract: We show that a partition of the unity (or POVM) on a Hilbert space that is almost orthogonal is close to an orthogonal POVM in the same von Neumann algebra. This generalizes to infinite dimension previous results in matrix algebras by Kempe-Vidick and Ji-Natarajan-Vidick-Wright-Yuen. Quantitatively, our result are also finer, as we obtain a linear dependance, which is optimal. We also generalize… ▽ More We show that a partition of the unity (or POVM) on a Hilbert space that is almost orthogonal is close to an orthogonal POVM in the same von Neumann algebra. This generalizes to infinite dimension previous results in matrix algebras by Kempe-Vidick and Ji-Natarajan-Vidick-Wright-Yuen. Quantitatively, our result are also finer, as we obtain a linear dependance, which is optimal. We also generalize to infinite dimension a duality result between POVMs and minimal majorants of finite subsets in the predual of a von Neumann algebra. △ Less

Submitted 11 January, 2022; v1 submitted 25 March, 2021; originally announced March 2021.

Comments: 14 pages; v2: improvements in the presentation and small mistakes corrected. To appear in the open access journal Comptes Rendus - Mathématique

A duality operators/Banach spaces

Authors: Mikael de la Salle

Abstract: Given a set $B$ of operators between subspaces of $L_p$ spaces, we characterize the operators between subspaces of $L_p$ spaces that remain bounded on the $X$-valued $L_p$ space for every Banach space on which elements of the original class $B$ are bounded. This is a form of the bipolar theorem for a duality between the class of Banach spaces and the class of operators between subspaces of… ▽ More Given a set $B$ of operators between subspaces of $L_p$ spaces, we characterize the operators between subspaces of $L_p$ spaces that remain bounded on the $X$-valued $L_p$ space for every Banach space on which elements of the original class $B$ are bounded. This is a form of the bipolar theorem for a duality between the class of Banach spaces and the class of operators between subspaces of $L_p$ spaces, essentially introduced by Pisier. The methods we introduce allow us to recover also the other direction --characterizing the bipolar of a set of Banach spaces--, which had been obtained by Hernandez in 1983. △ Less

Submitted 9 March, 2021; v1 submitted 19 January, 2021; originally announced January 2021.

Comments: 34 pages. Old project, already announced at several occasions in 2016, and that took a long time to be completed. Comments welcome v2: 37 pages. Section 5 added on the duality between Banach spaces and operators on full Lp spaces. A few references added

Strong Property (T), weak amenability and $\ell^p$-cohomology in $\tilde{A}_2$-buildings

Authors: Jean Lécureux, Mikael de la Salle, Stefan Witzel

Abstract: We prove that cocompact (and more generally: undistorted) lattices on $\tilde{A}_2$-buildings satisfy Lafforgue's strong property (T), thus exhibiting the first examples that are not related to algebraic groups over local fields. Our methods also give two further results. First, we show that the first $\ell^p$-cohomology of an $\tilde{A}_2$-building vanishes for any finite $p$. Second, we show tha… ▽ More We prove that cocompact (and more generally: undistorted) lattices on $\tilde{A}_2$-buildings satisfy Lafforgue's strong property (T), thus exhibiting the first examples that are not related to algebraic groups over local fields. Our methods also give two further results. First, we show that the first $\ell^p$-cohomology of an $\tilde{A}_2$-building vanishes for any finite $p$. Second, we show that the non-commutative $L^p$-space for $p$ not in $[\frac 4 3,4]$ and the reduced $C^*$-algebra associated to an $\tilde{A}_2$-lattice do not have the operator space approximation property and, consequently, that the lattice is not weakly amenable. △ Less

Submitted 15 March, 2023; v1 submitted 14 October, 2020; originally announced October 2020.

Comments: v1: 68 pages, 6 figures; v2: 79 pages, many improvements in the presentation. To appear in Ann. Sci. École Norm. Sup

MSC Class: 20F65; 51E24

Cayley graphs with few automorphisms: the case of infinite groups

Authors: Paul-Henry Leemann, Mikael de la Salle

Abstract: We characterize the finitely generated groups that admit a Cayley graph whose only automorphisms are the translations, confirming a conjecture by Watkins from 1976. The proof relies on random walk techniques. As a consequence, every finitely generated group admits a Cayley graph with countable automorphism group. We also treat the case of directed graphs. We characterize the finitely generated groups that admit a Cayley graph whose only automorphisms are the translations, confirming a conjecture by Watkins from 1976. The proof relies on random walk techniques. As a consequence, every finitely generated group admits a Cayley graph with countable automorphism group. We also treat the case of directed graphs. △ Less

Submitted 16 June, 2021; v1 submitted 12 October, 2020; originally announced October 2020.

Comments: v1: 17 pages v2: 19 pages, improvements in the presentation, Section 6 added. To appear in Annales Henri Lebesgue

MSC Class: 05E18; 05E30; 20B27; 05C25; 05C63

Journal ref: Annales Henri Lebesgue, Volume 5 (2022), pp. 73-92

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

Cayley graphs with few automorphisms

Authors: Paul-Henry Leemann, Mikael de la Salle

Abstract: We show that every finitely generated group G with an element of order at least $(5rank(G))^{12}$ admits a locally finite directed Cayley graph with automorphism group equal to G. If moreover G is not generalized dihedral, then the above Cayley directed graph does not have bigons. On the other hand, if G is neither generalized dicyclic nor abelian and has an element of order at least… ▽ More We show that every finitely generated group G with an element of order at least $(5rank(G))^{12}$ admits a locally finite directed Cayley graph with automorphism group equal to G. If moreover G is not generalized dihedral, then the above Cayley directed graph does not have bigons. On the other hand, if G is neither generalized dicyclic nor abelian and has an element of order at least $(2rank(G))^{36}$, then it admits an undirected Cayley graph with automorphism group equal to G. This extends classical results for finite groups and free products of groups. The above results are obtained as corollaries of a stronger form of rigidity which says that the rigidity of the graph can be observed in a ball of radius 1 around a vertex. This strong rigidity result also implies that the Cayley (di)graph covers very few (di)graphs. In particular, we obtain Cayley graphs of Tarski monsters which essentially do not cover other quasi-transitive graphs. We also show that a finitely generated group admits a locally finite labelled unoriented Cayley graph with automorphism group equal to itself if and only if it is neither generalized dicyclic nor abelian with an element of order greater than 2. △ Less

Submitted 8 October, 2019; v1 submitted 5 December, 2018; originally announced December 2018.

Comments: v2: 30 pages. Introduction and first section completely rewritten to improve the exposition. The bounds in Theorem 1 and Theorem 6 have been improved

MSC Class: 05C25; 05C20; 05C63; 20B25; 20B27

Non-standard limits of graphs and some orbit equivalence invariants

Authors: Alessandro Carderi, Damien Gaboriau, Mikael de la Salle

Abstract: We consider probability measure preserving discrete groupoids, group actions and equivalence relations in the context of general probability spaces. We study for these objects the notions of cost, $βべーた$-invariant and some higher-dimensional variants. We also propose various convergence results about $\ell^2$-Betti numbers and rank gradient for sequences of actions, groupoids or equivalence relations… ▽ More We consider probability measure preserving discrete groupoids, group actions and equivalence relations in the context of general probability spaces. We study for these objects the notions of cost, $βべーた$-invariant and some higher-dimensional variants. We also propose various convergence results about $\ell^2$-Betti numbers and rank gradient for sequences of actions, groupoids or equivalence relations under weak finiteness assumptions. In particular we connect the combinatorial cost with the cost of the ultralimit equivalence relations. Finally a relative version of Stuck-Zimmer property is also considered. △ Less

Submitted 20 January, 2021; v1 submitted 3 December, 2018; originally announced December 2018.

Comments: 64 pages; v2 and v3 small corrections and precisions added; final version, to appear in the Annales Henri Lebesgue

MSC Class: 37A20 (Primary); 05C75; 20E18; 20F69; 28E05; 46M07

Journal ref: Annales Henri Lebesgue, Volume 4 (2021), pp. 1235-1293

Fourier multipliers in $\mathrm{SL}_n(\mathbf{R})$

Authors: Javier Parcet, Éric Ricard, Mikael de la Salle

Abstract: We establish precise regularity conditions for $L_p$-boundedness of Fourier multipliers in the group algebra of $SL_n(\mathbf{R})$. Our main result is inspired by Hörmander-Mikhlin criterion from classical harmonic analysis, although it is substantially and necessarily different. Locally, we get sharp growth rates of Lie derivatives around the singularity and nearly optimal regularity order. The a… ▽ More We establish precise regularity conditions for $L_p$-boundedness of Fourier multipliers in the group algebra of $SL_n(\mathbf{R})$. Our main result is inspired by Hörmander-Mikhlin criterion from classical harmonic analysis, although it is substantially and necessarily different. Locally, we get sharp growth rates of Lie derivatives around the singularity and nearly optimal regularity order. The asymptotics also match Mikhlin formula for a exponentially growing weight with respect to the word length. Additional decay comes imposed by this growth and Mikhlin condition for high order terms. Lafforgue/de la Salle's rigidity theorem fits here. The proof includes a new relation between Fourier and Schur $L_p$-multipliers for nonamenable groups. By transference, matters are reduced to a rather nontrivial $RC_p$-inequality for $SL_n(\mathbf{R})$-twisted forms of Riesz transforms associated to fractional laplacians. Our second result gives a new and much stronger rigidity theorem for radial multipliers in $SL_n(\mathbf{R})$. More precisely, additional regularity and Mikhlin type conditions are proved to be necessary up to an order $\sim |\frac12 - \frac1p| (n-1)$ for large enough $n$ in terms of $p$. Locally, necessary and sufficient growth rates match up to that order. Asymptotically, extra decay for the symbol and its derivatives imposes more accurate and additional rigidity in a wider range of $L_p$-spaces. This rigidity increases with the rank, so we can construct radial generating functions satisfying our Hörmander-Mikhlin sufficient conditions in rank $n$ and failing the rigidity conditions for ranks $m >> n$. We also prove automatic regularity and rigidity estimates for first and higher order derivatives of $\mathrm{K}$-biinvariant multipliers in the rank 1 groups $SO(n,1)$. △ Less

Submitted 1 June, 2021; v1 submitted 19 November, 2018; originally announced November 2018.

Comments: To appear in Duke Math. J

Strong property (T) for higher rank lattices

Authors: Mikael de la Salle

Abstract: We prove that every lattice in a product of higher rank simple Lie groups or higher rank simple algebraic groups over local fields has Vincent Lafforgue's strong property (T). Over non-archimedean local fields, we also prove that they have strong Banach proerty (T) with respect to all Banach spaces with nontrivial type, whereas in general we obtain such a result with additional hypotheses on the B… ▽ More We prove that every lattice in a product of higher rank simple Lie groups or higher rank simple algebraic groups over local fields has Vincent Lafforgue's strong property (T). Over non-archimedean local fields, we also prove that they have strong Banach proerty (T) with respect to all Banach spaces with nontrivial type, whereas in general we obtain such a result with additional hypotheses on the Banach spaces. The novelty is that we deal with non-cocompact lattices, such as $\mathrm{SL}_n(\mathbf{Z})$ for $n \geq 3$. To do so, we introduce a stronger form of strong property (T) which allows us to deal with more general objects than group representations on Banach spaces that we call two-step representations, namely families indexed by a group of operators between different Banach spaces that we can compose only once. We prove that higher rank groups have this property and that this property passes to undistorted lattices. △ Less

Submitted 6 September, 2019; v1 submitted 6 November, 2017; originally announced November 2017.

Comments: v4: 32 pages. small changes, mainly typos, a couple of clarifications (statement of Corollary 5.9). To appear in Acta Mathematica

Journal ref: Acta Mathematica Volume 223 (2019) 1 151 - 193

Banach space actions and $L^2$-spectral gap

Authors: Tim de Laat, Mikael de la Salle

Abstract: Żuk proved that if a finitely generated group admits a Cayley graph such that the Laplacian on the links of this Cayley graph has a spectral gap $> \frac{1}{2}$, then the group has property (T), or equivalently, every affine isometric action of the group on a Hilbert space has a fixed point. We prove that the same holds for affine isometric actions of the group on a uniformly curved Banach space (… ▽ More Żuk proved that if a finitely generated group admits a Cayley graph such that the Laplacian on the links of this Cayley graph has a spectral gap $> \frac{1}{2}$, then the group has property (T), or equivalently, every affine isometric action of the group on a Hilbert space has a fixed point. We prove that the same holds for affine isometric actions of the group on a uniformly curved Banach space (for example an $L^p$-space with $1 < p < \infty$ or an interpolation space between a Hilbert space and an arbitrary Banach space) as soon as the Laplacian on the links has a two-sided spectral gap $>1-\varepsilon$. This criterion applies to random groups in the triangular density model for densities $> \frac{1}{3}$. In this way, we are able to generalize recent results of Druţu and Mackay to affine isometric actions of random groups on uniformly curved Banach spaces. Also, in the setting of actions on $L^p$-spaces, our results are quantitatively stronger, even in the case $p=2$. This naturally leads to new estimates on the conformal dimension of the boundary of random groups in the triangular model. Additionally, we obtain results on the eigenvalues of the $p$-Laplacian on graphs, and on the spectrum and degree distribution of Erdős-Rényi graphs. △ Less

Submitted 11 August, 2019; v1 submitted 9 May, 2017; originally announced May 2017.

Comments: v2: Major revision; substantial improvements of the main results; 28 pages v3: Minor revision; 29 pages

Journal ref: Analysis & PDE 14 (2021) 45-76

A local characterization of Kazhdan projections and applications

Authors: Mikael de la Salle

Abstract: We give a local characterization of the existence of Kazhdan projections for arbitary families of Banach space representations of a compactly generated locally compact group $G$. We also define and study a natural generalization of the Fell topology to arbitrary Banach space representations of a locally compact group. We give several applications in terms of stability of rigidity under perturbatio… ▽ More We give a local characterization of the existence of Kazhdan projections for arbitary families of Banach space representations of a compactly generated locally compact group $G$. We also define and study a natural generalization of the Fell topology to arbitrary Banach space representations of a locally compact group. We give several applications in terms of stability of rigidity under perturbations. Among them, we show a Banach-space version of the Delorme--Guichardet theorem stating that property (T) and (FH) are equivalent for $σしぐま$-compact locally compact groups. Another kind of applications is that many forms of Banach strong property (T) are open in the space of marked groups, and more generally every group with such a property is a quotient of a compactly presented group with the same property. We also investigate the notions of central and non central Kazhdan projections, and present examples of non central Kazhdan projections coming from hyperbolic groups. △ Less

Submitted 22 February, 2018; v1 submitted 6 April, 2016; originally announced April 2016.

Comments: 31 pages. v2: small changes to the introduction. Added a discussion on the speed of convergence, and on a notion of positivity for Kazhdan constants (p 14). This version was submitted to a journal v3: small changes to the presentation, background details added on Banach space geometry. Accepted for publication to Commentarii Mathematici Helvetici

Journal ref: Comment. Math. Helv. 94 (2019), no. 3, 623-660

On norms taking integer values on the integer lattice

Authors: Mikael de la Salle

Abstract: We present a new proof of Thurston's theorem that the unit ball of a seminorm on $\mathbf{R}^d$ taking integer values on $\mathbf{Z}^d$ is a polyhedra defined by finitely many inequalities with integer coefficients. We present a new proof of Thurston's theorem that the unit ball of a seminorm on $\mathbf{R}^d$ taking integer values on $\mathbf{Z}^d$ is a polyhedra defined by finitely many inequalities with integer coefficients. △ Less

Submitted 6 April, 2016; originally announced April 2016.

Comments: Bilingual french-english note; 3 pages, 1 figure

Journal ref: C. R. Math. Acad. Sci. Paris 354 (2016), no. 6, 611-613

Local-to-global rigidity of Bruhat-Tits buildings

Authors: Mikael de la Salle, Romain Tessera

Abstract: A vertex-transitive graph X is called local-to-global rigid if there exists R such that every other graph whose balls of radius R are isometric to the balls of radius R in X is covered by X. Let $d\geq 4$. We show that the 1-skeleton of an affine Bruhat-Tits building of type $\widetilde A_{d-1}$ is local-to-global rigid if and only if the underlying field has characteristic 0. For example the Bruh… ▽ More A vertex-transitive graph X is called local-to-global rigid if there exists R such that every other graph whose balls of radius R are isometric to the balls of radius R in X is covered by X. Let $d\geq 4$. We show that the 1-skeleton of an affine Bruhat-Tits building of type $\widetilde A_{d-1}$ is local-to-global rigid if and only if the underlying field has characteristic 0. For example the Bruhat-Tits building of $SL(d,F_p((t)))$ is not local-to-global rigid, while the Bruhat-Tits building of $SL(d,Q_p)$ is local-to-global rigid. △ Less

Submitted 9 December, 2015; originally announced December 2015.

Comments: 11 pages

Journal ref: Illinois J. Math. 60 (2016), no. 3-4, 641-654

On strong property (T) and fixed point properties for Lie groups

Authors: Tim de Laat, Masato Mimura, Mikael de la Salle

Abstract: We consider certain strengthenings of property (T) relative to Banach spaces that are satisfied by high rank Lie groups. Let X be a Banach space for which, for all k, the Banach--Mazur distance to a Hilbert space of all k-dimensional subspaces is bounded above by a power of k strictly less than one half. We prove that every connected simple Lie group of sufficiently large real rank depending on X… ▽ More We consider certain strengthenings of property (T) relative to Banach spaces that are satisfied by high rank Lie groups. Let X be a Banach space for which, for all k, the Banach--Mazur distance to a Hilbert space of all k-dimensional subspaces is bounded above by a power of k strictly less than one half. We prove that every connected simple Lie group of sufficiently large real rank depending on X has strong property (T) of Lafforgue with respect to X. As a consequence, we obtain that every continuous affine isometric action of such a high rank group (or a lattice in such a group) on X has a fixed point. This result corroborates a conjecture of Bader, Furman, Gelander and Monod. For the special linear Lie groups, we also present a more direct approach to fixed point properties, or, more precisely, to the boundedness of quasi-cocycles. Without appealing to strong property (T), we prove that given a Banach space X as above, every special linear group of sufficiently large rank satisfies the following property: every quasi-1-cocycle with values in an isometric representation on X is bounded. △ Less

Submitted 4 February, 2016; v1 submitted 24 August, 2015; originally announced August 2015.

Comments: 26 pages. v2: correction in Proposition 2.1 and other small changes

Journal ref: Ann. Inst. Fourier (Grenoble) 66 (2016), no. 5, 1859-1893

Characterizing a vertex-transitive graph by a large ball

Authors: Mikael de la Salle, Romain Tessera

Abstract: It is well-known that a complete Riemannian manifold M which is locally isometric to a symmetric space is covered by a symmetric space. Here we prove that a discrete version of this property (called local to global rigidity) holds for a large class of vertex-transitive graphs, including Cayley graphs of torsion-free lattices in simple Lie groups, and Cayley graph of torsion-free virtually nilpoten… ▽ More It is well-known that a complete Riemannian manifold M which is locally isometric to a symmetric space is covered by a symmetric space. Here we prove that a discrete version of this property (called local to global rigidity) holds for a large class of vertex-transitive graphs, including Cayley graphs of torsion-free lattices in simple Lie groups, and Cayley graph of torsion-free virtually nilpotent groups. By contrast, we exhibit various examples of Cayley graphs of finitely presented groups (e.g. SL(4,Z)) which fail to have this property, answering a question of Benjamini, Ellis, and Georgakopoulos. Answering a question of Cornulier, we also construct a continuum of non pairwise isometric large-scale simply connected locally finite vertex-transitive graphs. This question was motivated by the fact that large-scale simply connected Cayley graphs are precisely Cayley graphs of finitely presented groups and therefore have countably many isometric classes. △ Less

Submitted 17 February, 2019; v1 submitted 10 August, 2015; originally announced August 2015.

Comments: v1: 38 pages. With an Appendix by Jean-Claude Sikorav v2: 48 pages. Several improvements in the presentation. To appear in Journal of Topology

Journal ref: J. Topol. 12 (2019), no. 3, 704-742

Extensive amenability and an application to interval exchanges

Authors: Kate Juschenko, Nicolás Matte Bon, Nicolas Monod, Mikael de la Salle

Abstract: Extensive amenability is a property of group actions which has recently been used as a tool to prove amenability of groups. We study this property and prove that it is preserved under a very general construction of semidirect products. As an application, we establish the amenability of all subgroups of the group IET of interval exchange transformations that have angular components of rational rank… ▽ More Extensive amenability is a property of group actions which has recently been used as a tool to prove amenability of groups. We study this property and prove that it is preserved under a very general construction of semidirect products. As an application, we establish the amenability of all subgroups of the group IET of interval exchange transformations that have angular components of rational rank~${\leq 2}$. In addition, we obtain a reformulation of extensive amenability in terms of inverted orbits and use it to present a purely probabilistic proof that recurrent actions are extensively amenable. Finally, we study the triviality of the Poisson boundary for random walks on IET and show that there are subgroups $G <IET$ admitting no finitely supported measure with trivial boundary. △ Less

Submitted 17 March, 2015; originally announced March 2015.

Comments: 28 pages

Journal ref: Ergodic Theory Dynam. Systems. 38 (2018), 195-219

Complete boundedness of the Heat Semigroups on the von Neumann Algebra of hyperbolic groups

Authors: Tao Mei, Mikael de la Salle

Abstract: We prove that $(λらむだ_g\mapsto e^{-t|g|^r}λらむだ_g)_{t>0}$ defines a completely bounded semigroup of multipliers on the von Neuman algebra of hyperbolic groups for all real number $r$. One ingredient in the proof is the observation that a construction of Ozawa allows to characterize the radial multipliers that are bounded on every hyperbolic graph, partially generalizing results of Haagerup--Steenstrup--Sz… ▽ More We prove that $(λらむだ_g\mapsto e^{-t|g|^r}λらむだ_g)_{t>0}$ defines a completely bounded semigroup of multipliers on the von Neuman algebra of hyperbolic groups for all real number $r$. One ingredient in the proof is the observation that a construction of Ozawa allows to characterize the radial multipliers that are bounded on every hyperbolic graph, partially generalizing results of Haagerup--Steenstrup--Szwarc and Wysoczański. Another ingredient is an upper estimate of trace class norms for Hankel matrices, which is based on Peller's characterization of such norms. △ Less

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

Comments: v2: 28 pages, with new examples, new results, motivations and hopefully a better presentation

Journal ref: Trans. Amer. Math. Soc. 369 (2017), no. 8, 5601-5622

Approximation properties for noncommutative $L^p$-spaces of high rank lattices and nonembeddability of expanders

Authors: Tim de Laat, Mikael de la Salle

Abstract: This article contains two rigidity type results for $\mathrm{SL}(n,\mathbb{Z})$ for large $n$ that share the same proof. Firstly, we prove that for every $p \in [1,\infty]$ different from $2$, the noncommutative $L^p$-space associated with $\mathrm{SL}(n,\mathbb{Z})$ does not have the completely bounded approximation property for sufficiently large $n$ depending on $p$. The second result concern… ▽ More This article contains two rigidity type results for $\mathrm{SL}(n,\mathbb{Z})$ for large $n$ that share the same proof. Firstly, we prove that for every $p \in [1,\infty]$ different from $2$, the noncommutative $L^p$-space associated with $\mathrm{SL}(n,\mathbb{Z})$ does not have the completely bounded approximation property for sufficiently large $n$ depending on $p$. The second result concerns the coarse embeddability of expander families constructed from $\mathrm{SL}(n,\mathbb{Z})$. Let $X$ be a Banach space and suppose that there exist $βべーた< \frac{1}{2}$ and $C>0$ such that the Banach-Mazur distance to a Hilbert space of all $k$-dimensional subspaces of $X$ is bounded above by $C k^βべーた$. Then the expander family constructed from $\mathrm{SL}(n,\mathbb{Z})$ does not coarsely embed into $X$ for sufficiently large $n$ depending on $X$. More generally, we prove that both results hold for lattices in connected simple real Lie groups with sufficiently high real rank. △ Less

Submitted 1 December, 2015; v1 submitted 25 March, 2014; originally announced March 2014.

Comments: v3: 20 pages, minor changes with respect to v2

Journal ref: J. Reine Angew. Math. 737 (2018), 46-69

Strong property (T) for higher rank simple Lie groups

Authors: Tim de Laat, Mikael de la Salle

Abstract: We prove that connected higher rank simple Lie groups have Lafforgue's strong property (T) with respect to a certain class of Banach spaces $\mathcal{E}_{10}$ containing many classical superreflexive spaces and some non-reflexive spaces as well. This generalizes the result of Lafforgue asserting that $\mathrm{SL}(3,\mathbb{R})$ has strong property (T) with respect to Hilbert spaces and the more re… ▽ More We prove that connected higher rank simple Lie groups have Lafforgue's strong property (T) with respect to a certain class of Banach spaces $\mathcal{E}_{10}$ containing many classical superreflexive spaces and some non-reflexive spaces as well. This generalizes the result of Lafforgue asserting that $\mathrm{SL}(3,\mathbb{R})$ has strong property (T) with respect to Hilbert spaces and the more recent result of the second named author asserting that $\mathrm{SL}(3,\mathbb{R})$ has strong property (T) with respect to a certain larger class of Banach spaces. For the generalization to higher rank groups, it is sufficient to prove strong property (T) for $\mathrm{Sp}(2,\mathbb{R})$ and its universal covering group. As consequences of our main result, it follows that for $X \in \mathcal{E}_{10}$, connected higher rank simple Lie groups and their lattices have property (F$_X$) of Bader, Furman, Gelander and Monod, and that the expanders contructed from a lattice in a connected higher rank simple Lie group do not admit a coarse embedding into $X$. △ Less

Submitted 7 July, 2015; v1 submitted 15 January, 2014; originally announced January 2014.

Comments: 33 pages, 1 figure

Report number: CPH-SYM-DNRF92

Journal ref: Proc. London Math. Soc. 111 (2015), 936-966

Towards Strong Banach property (T) for SL(3,R)

Authors: Mikael de la Salle

Abstract: We prove that SL(3,R) has Strong Banach property (T) in Lafforgue's sense with respect to the Banach spaces that are $θしーた>0$ interpolation spaces (for the complex interpolation method) between an arbitrary Banach space and a Banach space with sufficiently good type and cotype. As a consequence, every action of SL(3,R) or its lattices by affine isometries on such a Banach space X has a fixed point, a… ▽ More We prove that SL(3,R) has Strong Banach property (T) in Lafforgue's sense with respect to the Banach spaces that are $θしーた>0$ interpolation spaces (for the complex interpolation method) between an arbitrary Banach space and a Banach space with sufficiently good type and cotype. As a consequence, every action of SL(3,R) or its lattices by affine isometries on such a Banach space X has a fixed point, and the expanders contructed from SL(3,Z) do not admit a coarse embedding into X. We also prove a quantitative decay of matrix coefficients (Howe-Moore property) for representations with small exponential growth of SL(3,R) on X. This class of Banach spaces contains many superreflexive spaces and some nonreflexive spaces as well. We see no obstruction for this class to be equal to all spaces with nontrivial type. △ Less

Submitted 4 July, 2014; v1 submitted 9 July, 2013; originally announced July 2013.

Comments: 29 pages, 3 figures. Final version, to appear in Israel journal of math. v3: introduction shortened and small changes according to referee's suggestions. Also, I found a gap in the proof of Lemma 3.5 of v2. This Lemma was not used in the paper and was therefore removed from v3. But this Lemma is true, and the interested reader can find a correct proof due to Pisier in arXiv:1403.6415

Journal ref: Israel J. Math. 211 (2016), no. 1, 105-145

Extensions of amenable groups by recurrent groupoids

Authors: Kate Juschenko, Volodymyr Nekrashevych, Mikael de la Salle

Abstract: We show that amenability of a group acting by homeomorphisms can be deduced from a certain local property of the action and recurrency of the orbital Schreier graphs. This covers amenability of a wide class groups, the amenability of which was an open problem, as well as unifies many known examples to one general proof. In particular, this includes Grigorchuk's group, Basilica group, the full topo… ▽ More We show that amenability of a group acting by homeomorphisms can be deduced from a certain local property of the action and recurrency of the orbital Schreier graphs. This covers amenability of a wide class groups, the amenability of which was an open problem, as well as unifies many known examples to one general proof. In particular, this includes Grigorchuk's group, Basilica group, the full topological group of Cantor minimal system, groups acting on rooted trees by bounded automorphisms, groups generated by finite automata of linear activity growth, groups that naturally appear in holomorphic dynamics. △ Less

Submitted 24 May, 2013; v1 submitted 12 May, 2013; originally announced May 2013.

Comments: The last condition of the main thm was removed, the proofs are streamlined

Journal ref: Invent. Math. 206 (2016), no. 3, 837-867

Schur and Fourier multipliers of an amenable group acting on non-commutative Lp-spaces

Authors: Martijn Caspers, Mikael de la Salle

Abstract: Consider a completely bounded Fourier multiplier phi of a locally compact group G, and take 1 <= p <= infinity. One can associate to phi a Schur multiplier on the Schatten classes S_p(L^2 G), as well as a Fourier multiplier on Lp(LG), the non-commutative Lp-space of the group von Neumann algebra of G. We prove that the completely bounded norm of the Schur multiplier is not greater than the complet… ▽ More Consider a completely bounded Fourier multiplier phi of a locally compact group G, and take 1 <= p <= infinity. One can associate to phi a Schur multiplier on the Schatten classes S_p(L^2 G), as well as a Fourier multiplier on Lp(LG), the non-commutative Lp-space of the group von Neumann algebra of G. We prove that the completely bounded norm of the Schur multiplier is not greater than the completely bounded norm of the Lp-Fourier multiplier. When G is amenable we show that equality holds, extending a result by Neuwirth and Ricard to non-discrete groups. For a discrete group G and in the special case when p > 2 is an even integer, we show the following. If there exists a map between Lp(LG) and an ultraproduct of Lp(M) \otimes S_p(L^2 G) that intertwines the Fourier multiplier with the Schur multiplier, then G must be amenable. This is an obstruction to extend the Neuwirth-Ricard result to non-amenable groups. △ Less

Submitted 18 September, 2013; v1 submitted 1 March, 2013; originally announced March 2013.

Comments: Trans. Amer. Math. Soc., to appear

MSC Class: 43A15; 46B08; 46B28; 46B70 (2010)

Journal ref: Trans. Amer. Math. Soc. 367 (2015), no. 10, 6997-7013

Invariant means for the wobbling group

Authors: Kate Juschenko, Mikael de la Salle

Abstract: Given a metric space $(X,d)$, the wobbling group of $X$ is the group of bijections $g:X\rightarrow X$ satisfying $\sup\limits_{x\in X} d(g(x),x)<\infty$. We study algebraic and analytic properties of $W(X)$ in relation with the metric space structure of $X$, such as amenability of the action of the lamplighter group $ \bigoplus_{X} \mathbf Z/2\mathbf Z \rtimes W(X)$ on… ▽ More Given a metric space $(X,d)$, the wobbling group of $X$ is the group of bijections $g:X\rightarrow X$ satisfying $\sup\limits_{x\in X} d(g(x),x)<\infty$. We study algebraic and analytic properties of $W(X)$ in relation with the metric space structure of $X$, such as amenability of the action of the lamplighter group $ \bigoplus_{X} \mathbf Z/2\mathbf Z \rtimes W(X)$ on $\bigoplus_{X} \mathbf Z/2\mathbf Z$ and property (T). △ Less

Submitted 15 December, 2014; v1 submitted 20 January, 2013; originally announced January 2013.

Comments: 8 pages. v3: final version, with new presentation; to appear in the Bulletin of the BMS

Journal ref: Bull. Belg. Math. Soc. Simon Stevin 22 (2015), no. 2, 281-290

Non commutative Lp spaces without the completely bounded approximation property

Authors: Vincent Lafforgue, Mikael de la Salle

Abstract: For any 1\leq p \leq \infty different from 2, we give examples of non-commutative Lp spaces without the completely bounded approximation property. Let F be a non-archimedian local field. If p>4 or p<4/3 and r\geq 3 these examples are the non-commutative Lp-spaces of the von Neumann algebra of lattices in SL_r(F) or in SL_r(\R). For other values of p the examples are the non-commutative Lp-spaces o… ▽ More For any 1\leq p \leq \infty different from 2, we give examples of non-commutative Lp spaces without the completely bounded approximation property. Let F be a non-archimedian local field. If p>4 or p<4/3 and r\geq 3 these examples are the non-commutative Lp-spaces of the von Neumann algebra of lattices in SL_r(F) or in SL_r(\R). For other values of p the examples are the non-commutative Lp-spaces of the von Neumann algebra of lattices in SL_r(F) for r large enough depending on p. We also prove that if r \geq 3 lattices in SL_r(F) or SL_r(\R) do not have the Approximation Property of Haagerup and Kraus. This provides examples of exact C^*-algebras without the operator space approximation property. △ Less

Submitted 18 December, 2010; v1 submitted 14 April, 2010; originally announced April 2010.

Comments: v3; Minor corrections according to the referees

Journal ref: Duke Math. J. 160, no. 1 (2011), 71-116

Operator space valued Hankel matrices

Authors: Mikael de la Salle

Abstract: If $E$ is an operator space, the non-commutative vector valued $L^p$ spaces $S^p[E]$ have been defined by Pisier for any $1 \leq p \leq \infty$. In this paper a necessary and sufficient condition for a Hankel matrix of the form $(a_{i+j})_{0 \le i,j}$ with $a_k \in E$ to be bounded in $S^p[E]$ is established. This extends previous results of Peller where $E=\C$ or $E=S^p$. The main theorem state… ▽ More If $E$ is an operator space, the non-commutative vector valued $L^p$ spaces $S^p[E]$ have been defined by Pisier for any $1 \leq p \leq \infty$. In this paper a necessary and sufficient condition for a Hankel matrix of the form $(a_{i+j})_{0 \le i,j}$ with $a_k \in E$ to be bounded in $S^p[E]$ is established. This extends previous results of Peller where $E=\C$ or $E=S^p$. The main theorem states that if $1 \leq p < \infty$, $(a_{i+j})_{0 \le i,j}$ is bounded in $S^p[E]$ if and only if there is an analytic function $φふぁい$ in the vector valued Besov Space $B_p^{1/p}(E)$ such that $a_n = \hat φふぁい(n)$ for all $n \in \N$. In particular this condition only depends on the Banach space structure of $E$. We also show that the norm of the isomorphism $φふぁい\mapsto (\hat φふぁい(i+j))_{i,j}$ grows as $\sqrt p$ as $p \to \infty$, and compute the norm of the natural projection onto the space of Hankel matrices. △ Less

Submitted 28 September, 2009; originally announced September 2009.

Comments: 17 pages

MSC Class: 47B35; 46L07

A shorter proof of a result by Potapov and Sukochev on Lipschtiz functions on $S^p$

Authors: Mikael de la Salle

Abstract: In this short note we give a short proof of a recent result by Potapov and Sukochev (arXiv:0904.4095v1), stating that a Lipschitz function on the real line remains Lipschitz on the (self-adjoint part of) non-commutative $L_p$ spaces with $1<p<\infty$. In this short note we give a short proof of a recent result by Potapov and Sukochev (arXiv:0904.4095v1), stating that a Lipschitz function on the real line remains Lipschitz on the (self-adjoint part of) non-commutative $L_p$ spaces with $1<p<\infty$. △ Less

Submitted 7 May, 2009; originally announced May 2009.

Comments: 3 pages

MSC Class: 47A60; 47B10

Strong Haagerup inequality with operator coefficients

Authors: Mikael de la Salle

Abstract: We prove a Strong Haagerup inequality with operator coefficients. If for an integer d, H_d denotes the subspace of the von Neumann algebra of a free group F_I spanned by the words of length d in the generators (but not their inverses), then we provide in this paper an explicit upper bound on the norm on M_n(H_d), which improves and generalizes previous results by Kemp-Speicher (in the scalar… ▽ More We prove a Strong Haagerup inequality with operator coefficients. If for an integer d, H_d denotes the subspace of the von Neumann algebra of a free group F_I spanned by the words of length d in the generators (but not their inverses), then we provide in this paper an explicit upper bound on the norm on M_n(H_d), which improves and generalizes previous results by Kemp-Speicher (in the scalar case) and Buchholz and Parcet-Pisier (in the non-holomorphic setting). Namely the norm of an element of the form $\sum_{i=(i_1,..., i_d)} a_i \otimes λらむだ(g_{i_1} ... g_{i_d})$ is less than $4^5 \sqrt e (\|M_0\|^2+...+\|M_d\|^2)^{1/2}$, where M_0,...,M_d are d+1 different block-matrices naturally constructed from the family (a_i)_{i \in I^d} for each decomposition of I^d = I^l \times I^{d-l} with l=0,...,d. It is also proved that the same inequality holds for the norms in the associated non-commutative L_p spaces when p is an even integer, p>d and when the generators of the free group are more generally replaced by *-free R-diagonal operators. In particular it applies to the case of free circular operators. We also get inequalities for the non-holomorphic case, with a rate of growth of order d+1 as for the classical Haagerup inequality. The proof is of combinatorial nature and is based on the definition and study of a symmetrization process for partitions. △ Less

Submitted 10 June, 2009; v1 submitted 2 March, 2009; originally announced March 2009.

Comments: 34 pages, 6 figures; changes according to the advices of the reviewer: typos corrected, introduction and proof of Corollary 2.4 rewritten. To appear in Journal of Functional Analysis

MSC Class: 46L54; 46L07

Journal ref: Journal of Functional Analysis, 257 (2009), no. 12, 3968-4002

Complete isometries between subspaces of noncommutative Lp-spaces

Authors: Mikael de la Salle

Abstract: We prove some noncommutative analogues of a theorem by Plotkin and Rudin about isometries between subspaces of Lp-spaces. Let 0<p<\infty, p not an even integer. The main result of this paper states that in the category of unital subspaces of noncommutative probability Lp-spaces, under some boundedness condition, the unital completely isometric maps come from *-isomorphisms of the underlying von… ▽ More We prove some noncommutative analogues of a theorem by Plotkin and Rudin about isometries between subspaces of Lp-spaces. Let 0<p<\infty, p not an even integer. The main result of this paper states that in the category of unital subspaces of noncommutative probability Lp-spaces, under some boundedness condition, the unital completely isometric maps come from *-isomorphisms of the underlying von Neumann algebras. Some applications are given, including to non commutative H^p spaces. △ Less

Submitted 4 December, 2007; v1 submitted 3 July, 2007; originally announced July 2007.

Comments: 30 pages; revised version of the paper with previous title "Equimeasurabily and isometries in noncommutative Lp-spaces". Changes in the title, presentation and content. Added results on unbounded operators, and applications

MSC Class: 46L51; 46L52; 46L07

Journal ref: Journal of Operator Theory, 64 (2010), no. 2, 265-298