Search

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., Comment: 14 pages

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}{24}-\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., Comment: 53 pages

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., Comment: v2: 9 pages; details added in proof, and example for SL3 made explicit. To appear in Comptes Rendus Math\'ematique

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

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., Comment: 9 pages

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., Comment: 30 pages ; minor changes in v2

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., Comment: Prepared for the proceedings of the ICM2022 (20 pages)

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.

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., Comment: 9 pages

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., Comment: 14 pages; v2: improvements in the presentation and small mistakes corrected. To appear in the open access journal Comptes Rendus - Math\'ematique

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., Comment: 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

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., Comment: v1: 68 pages, 6 figures; v2: 79 pages, many improvements in the presentation. To appear in Ann. Sci. \'Ecole Norm. Sup

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., Comment: v1: 17 pages v2: 19 pages, improvements in the presentation, Section 6 added. To appear in Annales Henri Lebesgue

Answering a question by Chatterji--Dru\c{t}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 ($02$. 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 $\Gamma < G$, we have $p_\Gamma=p_G$., Comment: 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

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., Comment: v2: 30 pages. Introduction and first section completely rewritten to improve the exposition. The bounds in Theorem 1 and Theorem 6 have been improved

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, $\beta$-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., Comment: 64 pages; v2 and v3 small corrections and precisions added; final version, to appear in the Annales Henri Lebesgue

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\"ormander-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\"ormander-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)$., Comment: To appear in Duke Math. J

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., Comment: v4: 32 pages. small changes, mainly typos, a couple of clarifications (statement of Corollary 5.9). To appear in Acta Mathematica

\.{Z}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\c{t}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\H{o}s-R\'enyi graphs., Comment: v2: Major revision; substantial improvements of the main results; 28 pages v3: Minor revision; 29 pages

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., Comment: Bilingual french-english note; 3 pages, 1 figure

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 $\sigma$-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., Comment: 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

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., Comment: 11 pages

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., Comment: 26 pages. v2: correction in Proposition 2.1 and other small changes

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., Comment: v1: 38 pages. With an Appendix by Jean-Claude Sikorav v2: 48 pages. Several improvements in the presentation. To appear in Journal of Topology

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

We prove that $(\lambda_g\mapsto e^{-t|g|^r}\lambda_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\'nski. Another ingredient is an upper estimate of trace class norms for Hankel matrices, which is based on Peller's characterization of such norms., Comment: v2: 28 pages, with new examples, new results, motivations and hopefully a better presentation

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 $\beta < \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^\beta$. 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., Comment: v3: 20 pages, minor changes with respect to v2

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$., Comment: 33 pages, 1 figure

We prove that SL(3,R) has Strong Banach property (T) in Lafforgue's sense with respect to the Banach spaces that are $\theta>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., Comment: 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

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., Comment: The last condition of the main thm was removed, the proofs are streamlined

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., Comment: Trans. Amer. Math. Soc., to appear

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)., Comment: 8 pages. v3: final version, with new presentation; to appear in the Bulletin of the BMS

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., Comment: v3; Minor corrections according to the referees

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 $\phi$ in the vector valued Besov Space $B_p^{1/p}(E)$ such that $a_n = \hat \phi(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 $\phi \mapsto (\hat \phi(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., Comment: 17 pages

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

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 \lambda(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., Comment: 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

We prove some noncommutative analogues of a theorem by Plotkin and Rudin about isometries between subspaces of Lp-spaces. Let 0