arxiv: v4 [math.oa] 5 Sep 2016

Transcription

1 Free Hilbert Transforms arxiv: v4 [math.oa] 5 Sep 016 Tao Mei and Éric Ricard September 6, 016 Abstract We study analogues of classical Hilbert transforms as fourier multipliers on free groups. We prove their complete boundedness on non commutative L p spaces associated with the free group von Neumann algebras for all 1 < p <. This implies that the decomposition of the free group F into reduced words starting with distinct free generators is completely unconditional in L p. We study the case of Voiculescu s amalgamated free products of von Neumann algebras as well. As by-products, we obtain a positive answer to a compactness-problem posed by Ozawa, a length independent estimate for Junge-Parcet-Xu s free Rosenthal inequality, a Littlewood-Paley-Stein type inequality for geodesic paths of free groups, and a length reduction formula for L p -norms of free group von Neumann algebras. 1 Introduction Hilbert transform is a fundamental and influential object in the mathematical analysis and signal processing. It was originally defined for periodic functions. Given a trigonometric polynomial f(z) = N = N c z, let P + f = N =1 c z be its analytic part and P f = 1 = N c z be its anti-analytic part. The Hilbert transform is formally defined as H = ip + +ip and clearly extends to an unitary on L (T). The case of L p, 1 < p < is more subtle. M. Riesz first proved that H extends to a bounded operator on L p (T) for all 1 < p <. It is also well nown that H is unbounded on L p (T) at the end point p = 1, but is of wea type (1,1). In modern harmonic analysis, the Hilbert transform is considered as a basic example of Calderón-Zygmund singular integral. Its analogues have been studied in much moregeneralsituationswith connectionsto L p -approximation,the Hardy/BMO spaces, and more applied subjects. Research partially supported by the NSF grant DMS

2 The Hilbert transforms appears also as the ey tool to define conjugate functions in abstract settings such as for Dirichlet algebras. In operator algebras, they show up through Arveson s concept of maximal subdiagonal algebra of a von Neumann algebra M. Results about L p -boundedness and wea-type (1,1)- estimates in this situation were obtained by N. Randrianantoanina in [Ran98]. The object of this article is a natural analogue of the Hilbert transform in the context of amalgamated free products of von Neumann algebras. The study is from a different view point to Arveson s and is motivated from questions in the theory of L p -Herz-Schur multipliers on free groups. Our model case is the von Neumann algebra (L(F ),τ) of free group with a countable set of generators g 1,g,... The associated L p -spaces L p (ˆF ) is a non commutative analogue of L p (Ẑ) = Lp (T). Let L g + i of F of reduced words starting respectively with g i,g 1,L g i be the subsets i. One can naturally associate to them projections; given a finitely supported function ˆx on F, ˆx = g F c g δ g,c g C, define L g + ˆx = c g δ g i g L + g i and L g ˆx similarly. All of them obviously extend to norm 1 projections on i l (F ) = L (ˆF ). Anaturalquestioniswhethertheseprojectionsarebounded on L p (ˆF ) and whether the decomposition F = {e} i N,ε ± L g ε is unconditional in L p (ˆF ). To that purpose, we define a free analogue of the classical Hilbert transform as the following map H ε = ε 1 L g + 1 +ε 1 L g 1 +ε L g + +ε L g +... (1) for ε i = ±1. We are interested in the (complete) boundedness of H ε on L p (ˆF ) as well as possible connections to semigroup-hardy/bmo spaces and the L p - approximation property in the non commutative setting. The question of the L p (ˆF )-boundednessofh ε hasbeenaroundforsometime. Theauthorslearned from G. Pisier that P. Biane ased this question and discussed with him around 000. N. Ozawa pointed out that the L 4 (ˆF )-boundedness of H ε answers positively the problem he posed at the end of [O10]. Junge-Parcet-Xu obtained some length dependent results for related questions in their wor of Rosenthal s inequality for amalgamated free products ([JPX07]). The first result (Theorem 3.5) of this article is a positive answer to the L p - boundedness question of H ε in the general case of Voiculescu s amalgamated free products, which includes the free group of countable many generators as a particular case (Theorem 4.1). One can also consider two similar Hilbert transforms. One is Hε Ld = ε e P d 1 + ε h L h h, h =d

3 with P d the projection onto reduced words with length d and L h s the projections onto reduced words starting with h. Another is = ε e P d 1 + H (d) ε g, g =1 ε g L (d) g with L (d) g s the projections onto reduced words having g as its d-th letter. Their (complete) boundedness on L p (ˆF n ) can be easily deduced from that of H ε with constants depending on n. The main result of this article (Theorem 4.8) says that H ε (d) s are completely bounded on L p (ˆF ) for any d 1. While Hε Ld s are bounded for all 1 < p < but not completely bounded on L p (ˆF ), for any p,d. The authors also prove a length reduction formula to compute L p -norms and a Rosenthal inequality with length independent constants. A classical argument, in proving the L p -boundedness of the Hilbert transform H is to use the following Cotlar s identity H(f) = f +H( fhf +Hff), () that allows to get the result for L p from that of L p and implies optimal estimates. This identity holds in a general setting, if one can identify a suitable analytic algebra and defines the corresponding Hilbert transform as the subtraction of two projections on this algebra and its adjoint. This is the case of non commutative Hilbert transforms associated with Arveson s maximal subdiagonal algebras (see Lemma 8.5 of [PX03]). 1 After obtaining an initial proof of Theorem 4.1, we observed that a free version of Cotlar s identity (see (5)) holds in the context of amalgamated free products for H ε with ε 1. We were slightly surprised when this observation came out, given that H ε, defined in (1), is associated to subsets instead of subalgebras. On the other hand, once it draws our attention, the proof of the identity and Theorem 4.1 are not hard. It is a surprise that this identity was not noticed earlier. We will introduce the notations and necessary preliminaries in Section. The Cotlar s formula for amalgamated free products and Theorem 3.5 are proved in Section 3.1. Section 3. includes a few immediate consequences. Section 3.3 obtains a length independent Rosenthal inequality, which was initially proved by Junge/Parcet/Xu(Theorem A,[JPX07]) restricted to a fixed length. Section 4.1 proves our main result Theorem 4.8. Corollary 4.7 of that section gives a length reduction formula and generalizes the main result of [PP05]. Corollary 4.11 (iii) answers positively the problem that Ozawa posed at the end of [O10]. Section 4.3 studies Littlewood-Paley-Stein type inequalities. Corollary 4.16 shows that the projection onto a geodesic path of the free group is completely bounded on L p for 1 < p <. Theorem 4.19 is a dyadic Littlewood-Paley-Stein inequality for geodesic paths of free groups. 1 Arveson s analytic subalgebras do not seem available for amalgamated free products of von Neumann algebras in general. They are available for free group von Neumann algebras but the corresponding Hilbert transforms are different from ours and their formulations as Herz-Schur multipliers are difficult to determine. The classical Cotlar s formula fails for H = ip + +εip if ε ±1. 3

4 Notations and preliminaries We refer the reader to [VDN9] and [JPX07] for the definition of amalgamated free products, and to [PX03] and the references therein for a formal definition and basic properties on non commutative L p spaces. For simplicity, we will restrict to the case of finite von Neumann algebras but all the arguments should be easily adapted to type III algebras with n.f. states. About noncommutative L p -spaces associated to a finite von Neumann algebra (A, τ), we will mainly need duality, interpolation and the non commutative Khintchine inequality ([L86], [LP91]) in L p (A) as well as p-row and p-column spaces. As usual we denote by c = e,1 and r = e 1,, d = e, the canonical basis of the column, row and diagonal subspaces of the Schatten p-class S p (l (N)). We will use the duality x,y Lp,L q = τ(xy) to identify Lq (A) with L p (A) isometrically for 1 p <. At operator space level this gives a complete isometry L p (A) = L q (A) op, see [P98]. As A = L (A) is finite, the obvious embedding L (A) L 1 (A) maes (L (A),L 1 (A)) a compatible couple of Banach spaces. For 1 < p <, the complex interpolation spaces between A and L 1 (A) with index 1 p is isometric to L p (A) : (L (A),L 1 (A)) 1 p = L p (A). (3) For a sequence (x ) in L p (A), we use the classical notation (x ) L p (A,l c ) = ( x ) 1 p, (x ) L p (A,l r ) = ( x ) 1 p, and (x ) Lp (A,l cr ) = { max{ (x ) L p (A,l c ), (x ) L p (A,l c ) } if p inf y +z =x (y ) Lp (A,l c ) + (z ) L p (A,l c ) if 0 < p <. We refer to [P98] for non commutative vector-valued L p -spaces. The above definition is justified by the non commutative Khintchine inequalities: Lemma.1. ([L86], [LP91],[HM07]) Let ε be independent Rademacher random variables, then for 1 p <, α p E ε ε x p (x ) Lp (A,l cr ) β p E ε ε x p. (4) Hereε canalsobereplacedbyotherorthonormalsequencesofsomel (Ω,µ), e.g. z on the unit circle or standard Gaussian. For z on the unit circle or standard Gaussian, the best constant β p is for p = 1 and is 1 for p (see [HM07]). α p is 1 for 1 p and is of order p as p. (4) was pushed further to the case of 0 < p < 1 by Pisier and the second author recently (see [PR14]). 4

5 If (A,τ ), 1 are finite von Neumann algebras with a common sub-von Neumann algebra (B,τ) with conditional expectation E so that τ E = τ, we denote by (A,τ) = ( B A,τ ) the amalgamated free product of (A,τ ) s over B. We will briefly recall the construction to fix notation. For any x A, we denote by x = x Ex and Å = { x;x A }; there is a natural decomposition A = B Å. The space W = B n 1 Å i1 B B Å in = n 0 W i (i 1,...,i n) N n i 1 i... i n (i 1,...,i n) N n i 1 i... i n is a -algebra using concatenation and centering with respect to B. The natural projection E onto B is a conditional expectation and τe is a trace on W still denoted by τ. Then (A,τ) is the finite von Neumann algebra obtained by the GNS construction from (W,τ). Thus W is wea- dense in A and dense in L p (A) for p <. For multi-indices, we write (i 1,...,i n ) = i L j = (j 1,...,j m ) if m n and i = j for n and i R j = (j 1,...,j m ) if m n and i m +1 = j m +1 for 1 n. We also put i L j if i L j and n < m. We extend those relations for non zero elementary tensors g W i and h W j, we write g L h if i L j and g R h if i R j. For N, put L = L iw i, and R = R iw i. We denote the associated orthogonal projections on W by L and R. We use the convention L 0 = E. Given a sequence of ε B, N, and x W, we let H ε (x) = ε 0 E(x)+ N ε L (x); H op ε = E(x)ε 0 + NR (x)ε. The main theorem is that, for 1 < p <, H ε extends to L p and for any x L p (A), H ε x p cp x p, for any choice of unitaries ε Z(B) in the center of B and 1 < p <. 3 Amalgamated Free products 3.1 The Cotlar formula for free products We start with very basic observations, recall that x = x Ex for x A. Proposition 3.1. For g W, and ε,ε sequences in B (i) H ε (g ) = (H op ε (g)). 5

6 (ii) H ε ( g) = H ε (g). (iii) H ε H op ε (g) = Hop ε H ε(g). Proof. This is clear on elementary tensors. We now give the free version of Cotlar s identity. Proposition 3.. For elementary tensors g, h W, (iv) (v) (vi) H ε (g h) = H ε (g )h if g L h Hε op (g h) = g Hε op (h) if h R g. And for any g,h W, H ε (g )H op ε (h) = H ε (g H op ε (h))+ H op ε (H ε(g )h) H op ε H ε(g h). Proof. Let g = g 1... g n W i and h = h 1... h m W j with i = (i 1,...,i n ) and j = (i 1,...,j m ), n,m 0. We start by proving (iv) by induction on n+m. If n+m = 0, this is clear as H ε (g h) = H ε (g )h = 0. Assume n+m 1 and g L h. Note that necessarily n 1. First case: i 1 j 1 or m = 0, then and H ε (g h) = H ε (g )h = ε in g h. Second case: i 1 = j 1, g h = g n... g g 1 h 1 h... h m, g h = g n... g ( g 1 h 1) h... h m +(g n... g ).((Eg 1 h 1)h... h m ) Put g = h 1 g 1... g n, h = h... h m and ĝ = g... g n, ĥ = (Eg 1 h 1)h... h m (if n = 1, ĝ = 1). Note that g L h L (or g = 0) and ĝ ĥ and the sum of their length is strictly smaller than n+m. We can apply the formula to them to get H ε ( g h) = H ε ( g ) h = ε in g h and H ε (ĝ ĥ) = H ε (ĝ )ĥ = ε i n ĝ ĥ (this holds if n = 1 because then m = 1 and ĝ ĥ = 0). Finally H ε (g h) = ε in ( g h+ ĝ ĥ) = ε in (v) follows from (iv) by taing adjoints. g h = H ε (g )h. 6

7 To get (vi) it suffices to do it for elementary tensors by linearity. Assume first that g L h, then obviously g L H op ε (h), so by (iv) H ε (g H op ε (h)) = H ε (g )H op ε (h), H ε (g )h = H ε (g h). Since the centering operation commutes with H op ε by Proposition 3.1, we get (vi). If g L h then h R g and we can use (v) and Proposition 3.1 (ii) as above and (iii) to get (vi) as H op ε (H ε(g )h) = H ε (g )H op ε (h), H op ε H ε(g h) = H ε H op ε (g h) = H ε (g H op ε (h)). Remar 3.3. Removing the centering, we have obtained a Cotlar s formula for x = i g i,y = j h j,g i,h j W as follows, H ε x(h ε y) E[(H ε0 x ε 0 x)(h ε y ε 0y) ] = H ε (xh op ε (y ))+H op ε (H ε(x)y ) H op ε H ε(xy ). (5) Note the justified Cotlar s identity (5) holds for all ε 1 while in the commutative setting the Cotlar s formula holds for ε = ± only. Proposition 3.4. For any x W, and any p 1, and ε Z(B), ε 1 max{ E(H ε x(h ε x) ) p, E(H ε (xhε op (x ))) p, E(Hε op (H ε(x)x )) p, E(Hε op H ε(xx )) p } E(xx ) p. Proof. Write g = i g i with g i W i. Then, by orthogonality of the W i over B, all the 4 elements on the left hand side are of the form i y ie(g i g i )z i with y i,z i {1,ε in }. But i y ie(g i g i )z i = i a iy i z i a i with a i = E(g i g i )1/ so that the inequality follows by the Hölder inequality as i a i = E(xx ). We can prove the main result Theorem 3.5. For 1 < p <, there is aconstant c p so that for ε Z(B), ε 1 and x W H ε x p c p x p, H op ε x p c p x p. (6) Moreover the equivalence holds with constant c p in both directions if ε s are further assumed to be unitaries. Proof. Assume H ε L p (A) L p (A) c p. We will show that H ε x p (c p + c p +4) x p for all x W, and similarly for Hε op using the -operation. Once this is proved, we get the upper desired estimate for all p = n,n N, by 7

8 induction and the fact that H ε x = Hε opx = x. Applying interpolation and duality, we then get the result for all 1 < p < (note that the adjoint of H ε is H op ε ). The equivalence holds for unitary ε since H εh ε = id A in this case. In fact, Cotlar s formula (5) implies that for x, y W H ε x(h ε y) = H ε (xh op ε (y ))+ H op ε (H ε(x)y ) H op ε H ε(xy ). (7) Apply Hölder s inequality and Proposition 3.4 to this identity for x = y,ε = ε, we get H ε x p c p x p H ε x p +(4+c p) x p. That is H ε x p (c p + c p +4) x p. Remar 3.6. As 1+ +4/c n n=0 1+ <, one gets that for p, c p Cp γ with γ = ln(1+ ) ln. Remar 3.7. By the usual tric to replace B, A by B M n and A M n, one get that the maps H ε are completely bounded on L p for 1 < p <. Remar 3.8. WecanuseaslightergeneraldefinitionforH ε bytaingε B M where M is a finite von Neumann algebra, then E(x) and L (x) have to be understood as E(x) 1 and L (x) 1. Theorem 3.5 remains valid with the assumption that ε Z(B) M. 3. Corollaries In this section, we derive a few direct consequences of Theorem 3.5. For any 0 N, let ε 0 = 1 and ε = 1 for 0. Then L 0 = ida Hε. Corollary 3.9. For any 1 < p <, L x p 1+c p x p. Corollary For 1 < p <, we have (L x) =0 L p (l cr ) c p x p, (8) (R x) =0 L p (l cr ) c p x p. (9) Proof. By duality we may only consider 1 < p <. For any x L p 1 c p E ε H ε (x) p x p c p E ε H ε (x) p = c p E ε ε L x p. WeconcludebythenoncommutativeKhintchineinequality(4)forε = z. 8

9 Remar We will prove a variant of Corollary 3.10 in the next subsection as Theorem Corollary 3.1. For any 1 < p <, any sequences (i ) N N and (x ) L p (l c ), we have ( L i x ) 1 p c p ( x ) 1 p (10) =1 =1 ( R i x ) 1 p c p ( x ) 1 p. (11) =1 Proof. Fix a sequence ε = ±1 and apply Theorem 3.5 to x = l ε i l x l c l L p (A B(l )). We have =1,l ε ε il L (x l ) c l p c p l ε il x l c l p = c p ( x l ) 1 p. l=1 Let ε to be Rademacher variables, we have ( L il x l ) 1 p = E,l l=1 ε ε il L (x l ) c l p c p ( x l ) 1 p. l=1 The proof of the second inequality is similar. Remar Lemma 3.1 was proved in [JPX07] (Lemma.5, Corollary.9) for x s supported on reduced words with length = d with constants depending on d, independent on p. 3.3 Length independent estimates for Rosenthal s inequality We will apply Theorem 3.5 to obtain a length free estimate for the Rosenthal s inequality proved in [JPX07] (Theorem A). In this subsection, we restrict ε {±1} N andε 0 = 0intheformofH ε = N ε L andhε op. Whennoconfusion can occur, we use the notation T instead of T Id for its ampliation. Thans to the previous results, we can define the following paraproduct for x L p (A) L p (M) (1 < p < ) and y L q (A) L q (M) with 1 p + 1 q > 1 x y = E ε H ε (H ε (x)y) = NL ((L x)y), with E ε the expectation with respect to the Haar measure on {±1} N. We also set x y = xy x y E(xy) = L ((L x)y). =0 9

10 Here L = j,j N L j for any 0. If x and y are elementary tensors (x / B), x y collects in the reduced form of xy all elements whose first letter is in the same algebra as x while x y collects the rest in the reduced form of xy. Proposition We have the following, for 1 < p <, 1 < q with 1 p + 1 q = 1 r > 1 i) H ε (x y) r c r c p x p y q, x y r (+c r c p ) x p y q. ii) H ε (x y) = H ε (x) y, x Hε op (y) = Hop ε (x y). In particular x y L if x L and x y R if y R. Proof. (i) simply follows from Theorem 3.5 and the definitions. We now prove (ii). For, this follows from its definition. For, we chec the following formula from which the identity because of the translation invariance of the Haar measure on { 1,1} N : ( x y = E ε H op ε (x Hop ε ). (y)) (1) Wefirst noticethatthe identity holdsifx Basx y = 0and x y = x(y E(y)). Similarly if y B, x y = (x E(x))y and x y = 0. Thus we can assume E(x) = E(y) = 0. Apply the Cotlar identity (5) to H ε (x) and H op ε (y ) and note Hε(x) = x and H op ε (y ) = y, we get xy Exy = H ε (H ε (x)y)+h op ε (xhop ε (y)) Hop ε H ε(h ε (x)h op ε (y)). Taing expectations with respect to ε and ε gives (1). One can also verify directly the identity for in (ii) by its bilinearity and looing at elementary tensors x,y W and using Proposition 3. (iv)-(v). Remar There are situations for which one can slightly improve those inequalities. Forinstanceifr =,then x y r (1+c p ) x p y q. Oringeneral x y r c r sup ε H ε (x) p y q and x y r (+c r )sup ε H ε (x) p y q. Lemma For p < and x L p (A) L (x)l (x) p N α p (L x) 1 p ( L x p p ) 1 p (13) R (x) R (x) p N α p N R (x) 1 p ( R x p p ) 1 p (14) with α p 3c 4 for < p 4 and α p (c p +c p ) for p 4. 10

11 Proof. Let us assume p 4 first. We use the decomposition L (x)l (x) E(L (x)l (x) ) = L x (L x) +L x (L x). By Corollary 3.10 and Proposition 3.14, as L (x) L (x) L we have L (x) L (x) p N [ c p max L (x) L (x) c p, ] L (x) L (x) r p. N N Using the bilinearity of, we have NL (x) L (x) r = N (L (x) r ) (L (x) d ) = E ε ( ε L (x) r ) ( ε L (x) d ) [ = E ε H ε ( ] L (x) r ) Hε op ( L (x) d ) So we can conclude from Theorem 3.5 and Remar 3.15 that L (x) L (x) r p c p sup H ε L x r p Hε op L (x) d p ε,ε N c p L (x) r p ( L x p p ) 1 p. (15) Similarly we have L (x) L (x) c p N = E ε [ H ε ( c p ( Combining these two estimates we get L (x) d ) H op ε ( ] L (x) c ) L x p p ) 1 p L (x) r p. (16) NL (x) L (x) p c p L (x) r p ( L x p p ) 1 p, for p 4. We can treat the term similarly since L x (L x) R and get L (x) L (x) p c p (+cp) N L (x) r p ( L x p p ) 1 p. We then get (13) for p 4 with constant (c p +c p). To deal with the remaining cases, we will use interpolation by proving a better bilinear inequality for p 4. L (x)r (y) p 3c 4 N L x r p ( R y p p ) 1 p. 11

12 The spaces consisting of elements of the form L x r and R y d are c p -complemented in L p (A) S p by Theorem 3.5. Hence the norms on the right hand side interpolate for p 4 (both with constant c (1 /p) 4 ). We just need to justify the endpoint inequalities. For p =, we have by Hölder s inequality that L (x)r (y) 1 L (x) r N R (y) c = L (x) r ( L y ) 1. For p = 4, by orthogonality and as in (15) L (x) R (y) = (x) R (y) r N NL L x r 4 ( R y 4 4) 1 4. Similarly we get N L (x) R (y) L x r 4 ( R y 4 4 )1 4. Thus by interpolation we get (13) for < p < 4 with a constant 3c 4(1 /p) 4. Theorem For p < and x L p and { βp 1 x p max ( { βp 1 x p max ( } L (x) ) 1 p, E(xx ) 1 p c p x p =0 } R j (x) ) 1 p, E(x x) 1 p c p x p j=0 with β p c p (1+α p ) c 3 p. Proof. For the first equivalence, the upper inequality follows from Corollary For the lower bound, by Lemma 3.16 as E(xx ) = 0 E(L (x)l (x) ) and L 0 (x)l 0 (x) = 0, L (x) r p α p L (x) d p + E(xx ) 1/ p/. 0 N But as p the map c d is a contraction on L p, so we deduce L (x) r p α p L (x) c p + E(xx ) 1/ p/, 0 0 and we conclude the lower bound by Corollary 3.10 again. The other inequality follows by taing adjoints. 1

13 We get the following Rosenthal type inequality as a direct application. Corollary Let < p < (i) For x = =0 a with a L, we have βp x p E(xx ) 1 p + E(x x) 1 p + R j (a ) e,j p (c p +) x p,j (ii) For x = =0 a with a L R, we have βp x p E(xx ) 1 p + E(x x) 1 p +( a p p) 1 p (c p +) x p. Proof. Apply Theorem 3.17 twice and notice that (r c ) generate the canonical basis of l p in S p. We get (i) and (ii) follows immediately. Remar We point out that Corollary 3.18 (ii) was proved in [JPX07] (Theorem A) when a are supported on reduced words with a fixed length with constants independent of p but depends on the length. Noticing that by the Khintchine inequalities from [RX06], H ε and Hε op are bounded on words of length at most d with a constant that depends only on d and A, thus by interpolation, the argument above also implies Corollary 3.18(ii) with constants independent of p but dependent on the length. Remar 3.0. All the results of this section also hold in the completely bounded setting. 4 Free groups We can apply the previous results to the free group as it is naturally a free product. Let g i, i N be the set of generators of F. We let L gi and L g 1 i = be the set of reduced word starting by g i and g 1 i respectively and L g ± i the associated projections. We. We denote by L gi, L g 1 i and L g ± i L gi L g 1 i use the notation R gi and R gi,... for the right analogues. We will often use the = L g i for any i Z. Finally S will denote the set {g i ; i Z }. Let M be a finite von Neumann algebra. Theorem 3.5 immediately gives that, for any x L p (ˆF ) L p (M),1 < p < and sequences of unitaries ε i Z(M), ε 1, convention g i = g 1 i for i < 0 so that L g 1 i (Id τ)x+ i ε i (Id L g ± )(x) p cp x p. (17) i We slightly extend it 13

14 Theorem 4.1. Let (ε ) Z be a sequence in Z(M), ε 1. Then for any x L p (ˆF ) L p (M) and 1 < p < ε 0 (Id τ)x+ Z ε (Id L g )(x) p c p x p. The equivalence holds if we assume further that ε are unitaries in Z(M). Proof. We may assume ε 0 = 1. We consider the following group embedding π : F F F defined by π(g i ) = g i h i where (h i ) are the free generators of the second copy of F. This extends to a complete isometry for L p -spaces and one checs directly that ( ε L h ± =0 +τ + =0 ε L g ± )π = π ( =0 ε L g 1 +τ + The statement follows from the amalgamated version of (17). ε L g ). The proof of Lemma 3.16 and Theorem 3.17 can easily be adapted to the free group where H ε = ε e L e + h S ε hl h with ε h = 1 and the convention L e x = τx. We simply give the result Theorem 4.. For < p <, x L p (ˆF ) L p (M) βp 1 x p max { ( h 1 and βp 1 x p max { ( h 1 Corollary 4.3. Let < p < (i) For x = = a with a L, we have =0 } L h (x) ) 1 p, (τ Id)(xx )) 1/ p/ c p x p } R h (x) ) 1 p, (τ Id)(x x) 1/ p/ c p x p. βp x p (τ Id)(xx ) 1 p + (τ Id)(x x) 1 p + R j (a ) e,j p (c p +) x p,j (ii) For x = = a with a L R φ() and φ : Z Z an one to one map, we have βp x p (τ Id)(xx ) 1 p + (τ Id)(x x) 1 p +( a p p ) 1 p (c p +) x p. Proof. Apply Theorem 4. twice we get (i). (ii) follows immediately because φ is one to one. 14

15 Remar 4.4. All results before this subsection hold for free groups with L,R replaced by L g (resp. L g 1 or L g ± ) and R g (resp. R g 1 or R g ± ). We can strengthen some of them. These will be recorded in the following. Given g,h reduced word of F, we write g h (or h g) if h = g with g,h, reduced words, i.e. g 1 h = h g. We write g h otherwise. Let L h := {g F,g h} and L h the associated L -projection, this is compatible with our previous notation. Corollary 4.5. For any 1 < p <, h F and x L p (ˆF ) L p (M), Moreover, lim h L h x p 0. L h x p c p +1 x L p. Proof. Without loss of generality, we may assume h R g1 and h = h g 1. Then L h x = λ h L g1 (λ h 1x). The L p bounds follows from Theorem 4.1. Note the L p space is defined as the closure of C c (F ), we get the convergence by the uniformly boundedness of L h on L p. Corollary 4.6. For any 1 < p <, any sequences (h ) F \ {e} and (x ) L p (l c ), we have ( L h x ) 1 p c p ( x ) 1 p. (18) =1 Proof. Let us assume such that h R gi,i Z. Assume h = h g i. Then So =1 =1 L h x = λ h L gi (λ h 1x ). L h x = L gi (λ h 1x ). =1 We get the result by the free group version of Corollary A length reduction formula Let W d be the set of word in F of length greater than d, also denote by W d the subspace in L p generated by λ w, w W d. For w F, we let w l denote its l-th letter (if it exists) and w = w1 1 w. Tae any x = w W 1 x w λ w W 1, we have ( L h (x) ) 1 p = x w λ w c w1 p = x w λ w c w1 p h S w W 1 w W 1 15

16 At the operator space level, Theorem 4. means that the map ι : W d C p W d 1 R p given by ι(λ w ) = λ w c w1 r w is a complete isomorphism. Iterating, we obtain a complete isomorphism for < p < { W d C ι d : p d L p (ˆF ) Cp d 1 R p... C p R p R p c w1,...,w d λ d w c w1,...,w d 1 r d 1 w... c w1 r w r w λ w Let us state this as a Corollary, which generalizes the result of [PP05]. Corollary 4.7. (Length reduction formula) For any d 1, ι d extends to a completely isomorphism such that for x W d, p <, for all x L p (ˆF ). β d p x p ι d x ( c p ) d x p, Fix some d N and any reduced word w = w 1...w n in the generators, we define: L (d) h (λ w) = δ w =hλ w, and H ε (d) = ε e P d 1 + ε h L (d) h, h S for any choice of ε h, h 1 with ε h 1. Recall that by [RX06] or [JPX07], P d 1 is completely bounded on L p (this also follows from Theorem 4.). Note that ι d 1 H (1) ε(1) H() ε() H(d) ε(d) x = H ε(d)ιh ε(d 1) ι ιh ε(1) x. We get immediately Theorem 4.8. For any d 1 and x L p (ˆF ) L p (M),1 < p <, H (1) ε(1) H() ε() H(d) ε(d) x p c p,d x p with c p,d ( c p ) d 1 βp d 1 choice of ε = 1. c 5d 4 p and H ε (d) x p ( c p) d β d 1 p x p for any We give a faster argument for the boundedness of H ε (d). Consider, ε h = ±1 for h F, let H Ld ε = ε e P d 1 + h F, h =d ε h L h, H Rd ε = ε e P d 1 + h F, h =d ε h 1R h. Recall that L h (resp. R h ) is defined as the projection onto the set of all reduced words starting (resp. ending) with h. We get H ε (d) from Hε Ld if ε h depends only on the d-th letter of h. Corollary 4.9. For any 1 < p <, we have for any x L p (ˆF ), x p H Ld ε x p (L h x) h =d Lp (ˆF,l cr ) (19) 16

17 Proof. Note that a similar identity to (5) holds for free groups with Hε Ld and any g,h with g 1 h d 1. We then have that Pd [HLd ε x(hld ε x) ] = Pd [HLd ε (xhld ε (x ))+Hε Ld (HLd ε (x)x ) Hε Rd Hε Ld (xx )]. (0) Let c p,d,p be the best constant c so that H Ld ε x p c x p. Recall that by the Haagerup inequality, the L 1 and L p norms are equivalent on the range of P d : P d [H Ld ε x(hld ε x) ] p (d 1) p H Ld ε x(hld ε x) 1 (d 1) p x p, P d [H Ld ε (xh Ld ε (x ))] p (d 1) 1 p H Ld ε (xh Ld ε (x )) (d 1) 1 p cp x p for any p >. Therefore, We then have c p,d (d 1) p +cp,d (d 1) 1 p +cp,d c p,d +c p,d. c p,d (d 1) 1 p +cp,d + (c p,d +3(d 1) 1 1 p ). Asymptotically c p,d p ln(1+ ) ln for d given and c p,d d 1 p for p given. So H Ld ε x p c p,d x p. Since Hε LdHLd ε = id, we get the equivalence. The 1 < p < case follows by duality. Remar A straight forward c.b. version of Corollary 4.9 is false for F (true for F n with a constant depending on n though). This is because the operator valued Haagerup inequality is an equivalence between the L p norm and the more complicated norm given by Corollary 4.7. For instance it yields that the set {λ(g i g j )} is not completely unconditional, this would be a direct consequence of Corollary 4.9. For any x L(F n ),n < and any choice of signs H ε x can be viewed as an unbounded operator on L (ˆF n ) with domain C c (F n ). As usual K stands for the compact operators. Ozawa ased in [O10] whether the commutator [R h,x] sends the unit ball of L(F n ) into a compact set of L (ˆF n ) for any h F n and x L(F n ) and pointed out that the L p -boundedness of R h implies a positive answer. We record a general result in the following corollary. Corollary We have for d N and any choice of signs ε (i) [H Rd ε,x] B(L (ˆF n )) if x = x 1 +H Ld ε x for some ε 1,x 1,x L(F n ). (ii) [H Rd ε,x] K(L (ˆF n )) for all x = x 1 +H Ld ε x for some ε 1,x 1,x C λ (F n). 17

18 (iii) [H Rd ε,x] maps the closed unit ball of L(F n ) intoacompact subset of L (ˆF n ) if x L p (ˆF n ) for some p > (in particular, if x L(F n )). Proof. Similar to (0), we have Pd [(HLd ε x)(hrd ε y)] = Pd [HLd ε (x(hrd ε y))+hε Rd ((Hε Ld x)y) HLd ε HRd ε (xy)]. So, up to a finite ran perturbation, for y L (ˆF n ) [Hε Rd,Hε Ld x]y = HLd ε (x(hrd ε y))+h Ld ε HRd ε (xy) = Hε Ld ([HRd ε,x]y). Therefore, for x = x 1 +H Ld ε x, up to a finite ran perturbation [H Rd ε,x] = [H Rd ε,x 1 ]+H Ld ε ([HRd ε,x ]). This implies (i). Note that [R h,λ g ] is finite ran for each h,g. We have that [Hε Rd,x] K(l (F n )) for all x Cλ (F n). So (ii) is true. For (iii), following the argument of Ozawa, we have, by Hölder s inequality and Theorem 4.1 [H Rd ε,x]y L (ˆF n) x L p (ˆF n) y L q (ˆF n) for any y L q (ˆF n ), 1 q + 1 p = 1. By density of C λ (F n) in L p (ˆF n ),p < and since L(F n ) L p (ˆF n ) contractively, we get the desired result. Remar 4.1. When n = 1, the space of functions x in Corollary 4.11 (i) (resp. (ii)) is called BMO (resp. VMO). It characterises the class of x such that the commutator [H, x] is bounded (resp. compact). Remar The content of this remar is communicated to the authors by N. Ozawa. Let M be a finite von Neumann algebra with a finite normal faithful trace τ. Let L p (M),1 p < be the associated non commutative L p spaces (see [PX03]). Recall that we set L (M) = M. For the operators X B(L (M)),p, define a semi-norm X Lp L = sup{ Xy L (M);y L p (M) L (M), y Lp (M) 1}. Note X L L is just the operator norm X. Identify M as sub algebra of B(L (M)) by the left multiplication on L (M). Let M B(L (M)) be the sub algebra of the right multiplication of M on L (M). For b M M, we have by Hölder s inequality that b L p L = b L q for 1 q + 1 p = 1. The lemma of [O10] Section 3 says that, for X B(L (M)), X L L inf{ Y b L (M) + Z c L (M)} 4 X L L. (1) Here the infimum is taen over all possible decomposition X = Yb+Zc with Y,Z B(L (M)),b M,c M, b, c X. One can easily see that an analogue of the first inequality of (1) holds for all p >, that is X L p L inf{ Y b L q (M) + Z c Lq (M)}, () 18

19 for 1 q + 1 p = 1. Since b q L q b L b q, We get the following Hölder-type inequality for X B(L (M)), p p X Lp L 4 X L L X p. (3) Suppose Y B(L (M)) satisfies that, for some p >, Y L L p = sup{ Yx L p (M);x L (M) L (M), x M 1} <. Inequality (3) implies that XY L L X L p L Y p L L p 4 X p L L X p Y L Lp. (4) Let K L M B(L (M)) be the collection of all operators sending the unit ball of M into a compact subset of L (M). Let K M = (K L M ) K L M be the associated C -algebra. Let M(K M ) be the multiplier algebra of K M, i.e. the algebra of all operators X B(L (M)) such that both XK M and K M X still belong to K M. Proposition of [O10] Section says that X K M iff for every sequence of finite ran projections Q n strongly converging to the identity of B(L (M)), X Q n X L L 0. Combining this with (4), we see that Y above belongs to M(K M ). This applies to the particular case when Y is the free Hilbert transform H ε or Hε op and M is an amalgamated free product. Ozawa suggested to study the C -algebra B M = {X M(K M );[X,y] K M, y M B(L (M))}. Theorem 3.5 and Corollary 4.11 (iii) imply that Hε Rd B L(Fn) and similarly B L (F n). Here L (F n ) is the von Neumann algebra generated by the H Ld ε right regular representation ρ g s. Let F n = F n F n and C( F n ) be the C -algebra of continuous functions on F n. Note that C( F n ) is isomorphic to the sub C -algebra of B(l (F n )) generated by ρ g L h ρ g 1,g,h F n. We then obtain C( F n ) B L (F n). 4. Connections to Carré du Champ We use the same notation to denote elements of F and points on its Cayley graph. The Gromov product for g 1,g (on the Cayley graph) is defined as g,g = g + g gg. A closely related object is the so-called Carré du Champ of P. A. Meyer Γ(λ g,λ g ) = A(λ g )λ g +λ g A(λ g ) A(λ g λ g ) = g 1,g λ g 1 g associated to the conditionally negative operator A : λ g g λ g. 19

20 The following is a ey connection to the operator L h studied in previous sub sections, that Γ(λ g,λ g ) = h F (L h (λ g )) L h (λ g ). (5) Let us extend these notations to x = g c gλ g L (ˆF ) L (M), and set A r (x) = g c g g r λ g We then have Γ(x,x) = x,x = c g c g g 1,g λ g 1 g. H ε x,h ε x = h F L h x = A(x )x+x A(x) A( x ). (6) The following square function estimate was proved in[jmp16]. One direction oftheinequalityhadbeenprovedin[jm10]and[jm1]inamoregeneralsetting. Lemma ([JMP16] Theorem A1, Example (c)) For any p <, x L p (ˆF ) L p (M), A 1 x p p4 (p 1) ( L h x ) 1 p + ( L h (x ) ) 1 p. h F h F Remar The equivalence above may fail if one replace L h (x ) by (L h x) on the right hand side. Corollary 4.9 of [JM1] gives constants p for the direction. 4.3 Littlewood-Paley inequalities In the case of the free group we adapt the definition of the paraproducts studied in Section 3.3. Assume x = g c gλ g L p,y = h d hλ h L q. We then find that x y = c g d h λ gh, x y = c g d h λ gh. g 1 h g 1 <h Recall that we write g h (or h g) if h = g with g,h, reduced words and g < h if g h and g h. We consider a decomposition of F into disjoint geodesic paths. To get one, first pic a (randomly decided) geodesic path P 0 starting at the unit element e. Then for any length 1 elements not in P 0 pic a (randomly decided) geodesic path starting at each of them. We then go to length elements which are not contained in any of the previous piced paths, and pic a (randomly decided) geodesic path starting at each of them. We repeat this procedure and get countable many disjoint geodesic paths P n such that n P n = F. Let T n be the L -projection onto the span of P n. Let h 1 (n) be the root of P n, i.e. the first element in P n. Let S n be the projection to the collection of words smaller than h 1 (n) (note that S 0 = 0). 0

21 Corollary For any 1 < p <, the maps T n are completely bounded on L p with Moreover, for any p > T n p p c p. (7) n T n x+s n x S n x p c p x p. (8) Proof. We write x = c g λ g and T n x = g P n c g λ g. Then (T n x) T n x c g λ e = c gc h λ g 1 h + c gc h λ g 1 h g P n g<h P n h<g P n = (T n x) T n x+((t n x) T n x). Since (T n x+s n x) T n x = x T n x, we have that Therefore, (T n x) T n x (T n x) T n x = x T n x (S n x) T n x. g P n c g λ e = x T n x+(x T n x) (S n x) T n x (T n x) S n x.(9) In particular for n = 0, we have actually (T 0 x) T 0 x g P 0 c g λ e = x T 0 x+(x T 0 x). Assume p >, by Proposition 3.14, we have T 0 (x) p (4+c p c p ) x p T 0 x p + x p. So T 0 (x) p (5+c pc p) x p for p >. One concludes that T 0 is (completely) bounded on L p. One can improve the bound on T 0 p p when p is close to by using interpolation. The case p < follows by duality. Thus we have obtained (7) for an arbitrary P 0 starting at e, for general P n this follows by using translations. Summing (9) over n, we get T n x+s n x S n x = n 0[(T n x) T n x+(s n x) T n (x)+(t n x) S n x] n 0 = n 0 x T n x+(x T n x) + g c g λ e (8) then follows from Proposition = x x+(x x) +τ x λ e. 1

22 We now consider a concrete partition given by geodesic paths. For any h 0 / R g ± and g S, let P h0,g = {h 0 g ; N}, they form a countable partition off \{e}, we mayindex it with Z = Z\{0}. We still denote the root ofp n by h 1 (n) and put h 0 (n) = h 0, n = if P n = P h0,g. By definition h 0 (n) R g ± n if h 1 (n) R ± g n. Lemma Let T n be the L -projection onto P n described above, we have for any p, x L p. ( L p c p x p. (30) n Z T n x ) 1 Proof. We may assume τx = 0. Let E be the projection from the group von Neumann algebra L(F ) onto the von Neumann algebra generated by λ g. We can easily verify that for Z E R g x = E h 1(n) R g T n x = h 1(n) R g T n x, because, if h 1 (n),h 1 (n ) R g, then h 0 (n),h 0 (n ) R g and h 1 0 (n)h 0(n ) E (F ) iff n = n. Therefore, T n x = E ( R g x + R g x ) = τ x + E ( R g x + R g x ). n Z =1 =1 By the free Rosenthal inequality (Theorem A in [JPX07]) for length one polynomials, we get for p 4, with X = E ( R g x + R g x ). ( n T n x ) 1 p τ x +( X p p ) p +( X )1 N N ( R g x p p ) p +( R g x 4 4 )1 Z Z ( p c p x p. Z R g x ) 1 Where we used the obvious facts by interpolation that L p (l c ) lp (L p ) and L p (l c ) l 4(L 4 ) are contractions. The case of p = is obvious. We then get the estimate for all p < by interpolation. Let P j = {h 1 (j) < h (j) < h (j) < } be arbitrary geodesic paths of F. For x j = N c λ h (j) supported on P j, we consider its dyadic parts M n,j x = n < n+1 c λ h (j). (31)

23 Dealing with F 1 = Z with the N {0} and N as geodesic paths, the classical Littlewood-Paley theory says that ( M n,1 x + M n, x ) 1 L p cp x L p (3) n=1 for all 1 < p < and x C c (Z). In [JMP16], the authors proved a smooth one sided version of (3) for p > and for x supported on a geodesic path. The following theorem is a truncated version of it and says a little more. Theorem For x j supported on geodesic paths P j, we have ( M n,j x j ) 1 p Cp c p ( x j ) 1 p (33) j for all p <. n,j=1 Proof. As usual g 1,g... are the free generators of F. We embed F into the free product F F and denote by g 1,g,... the generators of the second copy of F. Let y j = λ g j h 1 (j)x j. The y j s are supported on disjoint paths 1 P j F F with roots of distinct generators g j. Note x j = y j and M n x j = M n y j. By considering y j instead, we may assume P j = {h 1 (j) < h (j) < h (j) } with h (j) = and L h (j)x m = 0 for j m. Let M ϕn,j = 1 n + 1)Lh (j)a 1 n 1 < n L h (j)a 1 n+1 n < n+1 ( L h (j)a 1. n+1 < n+ Then M ϕn,j(λ hl (m)) = 0 unless m = j and l ( n 1, n+ ], and one can chec that M ϕn,j(λ hl (j)) = ϕ n (l)λ hl (j), for some ϕ n : N R with χ [ n, n+1 ) ϕ n χ ( n 1, n+ ). Note M ϕ(n),j = n 1 < n+ a,j L h (j)a 1 with a,j c. By the convexity of the operator valued function, we have M ϕn,jx j c xj, n 1 < n+ L h (j)a 1 and M ϕn,jx m = 0 for m j. Note M ϕn,j,m ϕn,j s are disjoint for n n. Applying Lemma 4.14 to x = j x j c j, we obtain, ( M ϕn,jx j ) 1 p c ( L h (j)a 1 xj ) 1 p cp ( n=0,j j x j ) 1 p. 3

24 Assume h n(j) R gn,j,h n+1(j) R gn,j, we have that λ h n+1 (j) L g 1 λ h n+1(j) 1(λ h n n 1 (j)l,j gn,jλ h n 1 (j) 1M ϕ n x j ) = M n x j, (34) because h n+1 +1(j) R. By (10), g 1 n,j ( M n,j x j ) 1 p cc p ( M ϕn,jx j ) 1 p cp c p ( n=1 n=1 j x j ) 1 p for all p <. Let M n, x = M n, T x for the T in Lemma We obtain the following from Theorem 4.18 and duality: Corollary For all p <, and x L p { max ( M n, x ) 1 p, ( } M n, (x ) ) 1 p Cp c 3 p x p, (35) n, n, for all 1 p <, and x L p { x p Cp c 3 p inf ( M n, y ) 1 p + ( } M n, (z ) ) 1 p ;x = y +z. n, n, Acnowledgment. The first author would lie to than Marius Junge for helpful discussions. An initial argument for Theorem 4.1 was obtained during a visit to him at Urbana-Champaign. References [HM07] U. Haagerup, M. Musat, On the best constants in noncommutative Khintchine-type inequalities. (English summary) J. Funct. Anal. 50 (007), no., [L86] F. Lust-Piquard, Inégalités de Khintchine dans C p (1 < p < ), C. R. Acad. Sci. Paris 303 (1986) MR [LP91] F. Lust-Piquard, G. Pisier, Non commutative Khintchine and Paley inequalities, Ar. Mat. 9 () (1991) MR [JM10] M. Junge, T. Mei, Noncommutative Riesz transforms-a probabilistic approach. Amer. J. Math. 13 (010), no. 3, [JM1] M. Junge, T. Mei, BMO spaces associated with semigroups of operators. Math. Ann. 35 (01), no. 3,

25 [JMP16] M. Junge, T. Mei and J. Parcet, Noncommutative Riesz transformsa dimension free estimate, JEMS, to appear. [JPX07] M. Junge, J. Parcet, Q. Xu, Rosenthal type inequalities for free chaos. Ann. Probab. 35 (007), no. 4, [O10] N. Ozawa, A comment on free group factors.(english summary) Noncommutative harmonic analysis with applications to probability II, 41-45, Banach Center Publ., 89, Polish Acad. Sci. Inst. Math., Warsaw, 010. [PP05] J. Parcet, G. Pisier, Non-commutative Khintchine type inequalities associated with free groups. (English summary) Indiana Univ. Math. J. 54 (005), no., [P98] G. Pisier, Non-commutative vector valued L p -spaces and completely p- summing maps. Astérisque No. 47 (1998), vi+131 pp. [PR14] G. Pisier, É. Ricard, The non-commutative Khintchine inequalities for 0 < p < 1. arxiv14.0. [PX03] G. Pisier, Q. Xu, Non-commutative L p -spaces. Handboo of the geometry of Banach spaces, Vol., , NorthHolland, Amsterdam, 003. [Ran98] N. Randrianantoanina, Hilbert transform associated with finite maximal subdiagonal algebras. J. Austral. Math. Soc. Ser. A 65 (1998), no. 3, [RX06] É. Ricard, Q. Xu, Khintchine type inequalities for reduced free products and applications. J. Reine. Angew. Math. 599 (006), 7 59 [VDN9] D. Voiculescu, K. Dyema, A. Nica, Free random variables. A noncommutative probability approach to free products with applications to random matrices, operator algebras and harmonic analysis on free groups. CRM Monograph Series, 1. American Mathematical Society, Providence, RI, 199. vi+70 pp. ISBN: X Tao Mei Department of Mathematics Baylor University One bear place, Waco, TX USA tao mei@baylor.edu Éric Ricard Laboratoire de Mathematiques Nicolas Oresme Normandie Univ, UNICAEN, CNRS 1403 Caen FRANCE eric.ricard@unicaen.fr 5