Searcharxiv⌕ Search

arXiv subjects

Mikael de la Salle

Publications and source records attributed to Mikael de la Salle.

At least 19 recordsLinked to original sources
arXiv2026

Actions of higher rank groups on uniformly convex Banach spaces

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.

math.GR↗
arXiv2026

A construction of Kakeya Sets in Arbitrary Dimension

We construct Kakeya sets in arbitrary dimension $d\geq 2$, generalizing the classical Perron tree construction beyond dimension $2$. The Kakeya sets we construct have $δ$-neighbourhood of volume at most $C|\logδ|^{-(d-1)}$, which improves on previously known constructions, and which is conjecturally optimal. We further derive consequences for the $L^p$-boundedness of radial Fourier multipliers in terms of Besov spaces with logarithmic smoothness.

math.CA↗
arXiv2026

Kakeya conjecture and High-Rank Lattice von Neumann algebras

If the non-commutative L p space of SLn(Z) has the completely bounded approximation property for some non-trivial value of p, then some form of the Kakeya conjecture holds in dimension d, for all d $\le$ n+1 2 . The proof relies on a spherical analogue of the following question in Euclidean harmonic analysis, that we raise and investigate: does a radially symmetric Fourier multiplier that is bounded on Lp(R d ) for some p __ = 2 necessarily have a continuous symbol? We leave the question open, but we prove that the primitive of such function is smooth in the sense of Zygmund, give some necessary conditions for Lp-boundedness in terms of Besov spaces and Littlewood-Paley decomposition for the symbol, and observe that a negative answer implies some form of the Kakeya conjecture in dimension d. We then provide spherical forms of these results, which, when combined with a refinement of Lafforgue's rank 0 reduction, leads to the claimed result.

math.CA↗
arXiv2025

Spectral gap and stability for groups and non-local games

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.

math.OA↗
arXiv2025

Strong asymptotic freeness of Haar unitaries in quasi-exponential dimensional representations

We prove almost sure strong asymptotic freeness of i.i.d. random unitaries with the following law: sample a Haar unitary matrix of dimension $n$ and then send this unitary into an irreducible representation of $U(n)$. The strong convergence holds as long as the irreducible representation arises from a pair of partitions of total size at most $n^{\frac{1}{42}-\varepsilon}$ and is uniform in this regime. Previously this was known for partitions of total size up to $\asymp\log n/\log\log n$ by a result of Bordenave and Collins.

math.PR↗
arXiv2024

Subexponential growth and $C^1$ actions on one-manifolds

Let $G$ be a countable group with no finitely generated subgroup of exponential growth. We show that every action of $G$ on a countable set preserving a linear (respectively, circular) order can be realised as the restriction of some action by $C^1$ diffeomorphisms on an interval (respectively, the circle) to an invariant subset. As a consequence, every action of $G$ by homeomorphisms on a compact connected one-manifold can be made $C^1$ upon passing to a semi-conjugate action. The proof is based on a functional characterisation of groups of local subexponential growth.

math.GR↗
arXiv2024

The local geometry of idempotent Schur multipliers

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.

math.FA↗
arXiv2024

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

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.

math.GR↗
arXiv2023

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

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.

math.GR↗
arXiv2022

Analysis on simple Lie groups and lattices

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.

math.FA↗
arXiv2022

Orthogonalization of Positive Operator Valued Measures

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.

math.OA↗
arXiv2021

Cayley graphs with few automorphisms: the case of infinite groups

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.

math.GR↗
arXiv2021

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

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)$.

math.FA↗
arXiv2021

Most rigid representation and Cayley index of finitely generated groups

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.

math.GR↗
arXiv2021

A duality operators/Banach spaces

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.

math.FA↗
arXiv2021

Non-standard limits of graphs and some orbit equivalence invariants

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.

math.GR↗