arxiv: v2 [math.oa] 17 Mar 2015

Transcription

1 arxiv:45.578v [math.oa] 7 Mar 5 Complete boundedness of Heat Semigroups on von Neumann Algebra of hyperbolic groups Tao Mei and Mikael de la Salle August 3, 8 Abstract We prove that (λ g e t g r λ g) t> 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. Introduction Let = θ be the Laplacian operator on the unit circle T. The maps T r t = e t( ) r : e iπkθ e 4π t k r e iπkθ define a semigroup of uniformly bounded operators on L (T) for any < r <. Moreover, for < r, Tt r are positivity preserving contractions, which can be easily seen by their integral representations. For r =,, the semigroups Tt r are called Poisson semigroup and heat semigroup. They both play important roles, and very often complementary roles, in harmonic analysis. It is easier to work with heat semigroups, for some problems, because of the general gaussian upper estimate of the heat kernels. Let F n, n be the free group on n generators. Let λ g be the left regular representations of g F n. One may consider the analogue of the classical Poisson or heat semigroups on free group von Neumann algebra L(F n ), S r t : λ g e t g r λ g, with g the reduced word length of g. U. Haagerup proved (see [9]) that for r =, (S t ) t is a semigroup of completely positive operators on L(F n ). For Research partially supported by the NSF grant DMS-664. Research partially supported by the ANR projects NEUMANN and OSQPI.

2 < r, the maps St r are therefore still unital completely positive (u. c. p.) by the theory of subordinated semigroups (see e.g. [6]). For r >, St r cannot be completely positive for all t, as the functions φ t (g) = e t g r is in l (F ) for each t, and the positive definiteness of φ t would imply the amenability of the free group F (see the proof of [3, Theorem.6.8]). This discussion settles the question of the complete positivity of the semigroup St r. How about the complete boundedness (c. b.) of St r? For r, St r have of course completely bounded norm, since u. c. p. implies c. b. with norm one on C algebras. For r >, it is not hard to see that St r are bounded with an upper bound + ct r for each t > by the fact that the projection on words of length at most k has c. b. norm k. The question is then wether St r are (completely) bounded uniformly in t for any (all) r >. By duality, the principle of uniform boundness and the pointwise convergence of St r, asking whether sup t St r < is equivalent to asking whether Sr t, as an operator on the predual L (ˆF n ) of L(F n ), converges to the identity in the strong (or weak) operator topology when t. Similarly, sup t St r cb < if and only if St r converges to the identity in the stable point-norm (or stable point-weak) topology. A characterization of the completely bounded radial multipliers on free groups was given by Haagerup and Szwarc in terms of some Hankel matrix being of trace class (this was published in [], see also [4]). On the other hand a famous result of V. V. Peller ([]) states that a Hankel matrix belongs to the trace class iff the symbol function belongs to the Besov space B (see Section 3). These results together provide a precise method for estimating the complete bounds of radial maps on free groups. However, the answer to the uniform complete boundedness of St r (for r > ) remained open, to the best knowledges of the authors, before the writing of this article. Besides the possible technicality of the corresponding estimation, another reason may be the general belief of a negative answer to the question. For example Knudby proved in [6, Theorem.6] that the symbol of a completely contractive semigroup of radial multipliers on F n (n ) grows linearly. By considering the function n r C which does not grow linearly if r >, this implies that for each r > there does not exist a constant C such St r cb e tc for all t >. In the present work we record a proof that St r is a weak * continuous analytic semigroup of completely bounded maps on the free group von Neumann algebras for any r >, by a careful estimation of the corresponding Besov norm. We remark that by [4,, 8, 6], this also proves that the analogous semigroups on free products of groups, on free products of operator algebras, and on amalgamated free products of finite von Neumann algebras, are completely bounded with bound independent on t. We do not elaborate on this and refer to [4,, 8, 6] for the definitions of radial multipliers on free product of groups and (amalgamated) free products of operator algebras, and for details. The authors hope that the study of St r would benefit the recent research in harmonic analysis on noncommutative L p spaces (see [3, 4, 5]), as the classical case suggests. The main ingredient that we introduce is a result on the trace class norm

3 of Hankel matrices with smooth symbol. A particular case of our result is the following (see Theorem 3. for a more precise statement). Theorem.. Let f : [, ) R be a bounded continuous function of class C on (, ), and α >. Then the trace class norm of the matrix (f(j + k) f(j + k + )) j,k is less than C α x 3 α f L (R +) x 3 +α f L (R +) for some universal constant C. After we communicated to him the aforementioned result, Narutaka Ozawa asked us whether the same holds for other length functions on F n, or more generally for an arbitrary finitely generated hyperbolic group. To our surprise, the answer is yes. Indeed we can extend to hyperbolic graphs the sufficient condition from [4, ] for a radial multiplier to be bounded. This is a consequence of [9]. Theorem.. Let Γ be a hyperbolic graph with bounded degree. Then there is a constant C such that for every φ: N C such that the matrix H = ( φ(j + k) φ(j + k + )) j,k belongs to the trace class S, then lim n φ(n) exists and the map A = (a x,y ) B(l (Γ)) ( φ(d(x, y))a x,y ) B(l (Γ)) is bounded with norm less than C H S + lim n φ(n). In view of this theorem it is natural to wonder whether there are non hyperbolic groups also satisfying the same criterion. It turns out that there are, namely the groups Z d (d ) for their standard generating set. This follows from some delicate estimates of L (R d /Z d )-norms that we prove in Section 4. The main result of this paper can be summarized as Theorem.3. Let Γ be a finitely generated hyperbolic group, and the word length associated to a fixed finite generating set. Then there is a constant C such that for every r >, and every z C with positive real part, the multiplier S r z : λ g e z g r λ g is completely bounded on L(Γ) with norm less than C( + tan(arg z) ) 3/ ( + r). The dependence on the constant on the argument of z is probably not optimal, but the order r is sharp as r (see Example 3.5). Our method applies to other radial multipliers. In Example 3.4 we show that the Bochner-Riesz multipliers λ g ( g N ) z χ { g N} λ g are completely bounded on the noncommutative L p spaces associated with L(Γ) uniformly in N if p < Re(z), for any p and any finitely generated hyperbolic group Γ. The same result holds for the Féjer-type multipliers λ g ( g N )z χ { g N} λ g. 3

4 This article is organized as follows. In Section we recall facts on Schur multipliers and prove Theorem.. Section 3 contains estimates for the Schatten -norm of Hankel matrices and the proof of Theorem.3. Section 4 contains of proof that Z d satisfies the conclusion of Theorem.. In Section 5, we explain a motivation in studying S r t and prove an end-point result on H Σ -calculus. Notation: We denote by N the set of nonnegative integers including : N = {,,,... }. We denote by S the Banach space of trace class operators on l (N). For a discrete group Γ we denote by L p (ˆΓ) the non commutative L p space on the von Neumann algebra of Γ. Radial multipliers on hyperbolic graphs. Reminders on Schur and Fourier multipliers We start with some reminders. If X is a set, a function ϕ: X X C is a Schur multiplier if the map (a s,t ) s,t X B(l (X)) (ϕ(s, t)a s,t ) s,t X, denoted M ϕ, is bounded on B(l (X)). The following proposition, which is essentially due to Grothendieck ([, Theorem 5.]), characterizes the Schur multipliers. Proposition.. Let X be a nonempty set and assume that ϕ : X X C and C are given, then the following are equivalent: (i) ϕ(x, y) extends to a Schur multiplier on B(l (X)) with norm C. (ii) There exists a Hilbert space H and two bounded, continuous maps P, Q : Γ H such that ϕ(x, y) = P (x), Q(y) and P Q C, where P = sup P (x), Q = sup Q(x). x X x X Let Γ be a discrete group and φ: Γ C. The Fourier multiplier λ g φ(g)λ g is completely bounded on the group von Neumann algebra L(Γ) if and only if the associated function ϕ(g, h) = φ(h g) is a Schur multiplier. In this case the c.b. norm of the Fourier multiplier is equal to the norm (and also the c.b. norm) of the Schur multiplier (see []). Let us state an immediate consequence of Proposition. that will be used later (see [, Theorem 6.] for a complete characterization of Hankelian Schur mutlipliers). Lemma.. Let (a n ) n Z be a finitely supported sequence of complex numbers. Then for each matrix B = (b j,k ) j,k N S, ( ) (a j+k b j,k ) j,k N S n Z a n e iπnθ dθ B S. 4

5 Proof. Write f(θ) = n Z a ne iπnθ and decompose f = gh a product of two L functions with g L h L = f L. We can write a j+k = f(θ)e iπ(j+k)θ = g(θ)e iπjθ h(θ)e iπkθ = ge iπjθ, he iπkθ. Proposition. implies that (j, k) a j+k is a Schur multiplier with norm less than g L h L = f L on B(l ). By duality M aj+k is bounded on S with norm f L, which is the content of the Lemma.. Radial multipliers on trees Let Γ be a group with a fixed finite generating set, and denote by d the associated left-invariant distance on Γ, or equivalently the distance on the Cayley graph of Γ. Recall that d(x, y) = x y where is the word-length with respect to the fixed generating set of Γ. Following [], we say a Schur multiplier ϕ on Γ Γ is radial if ϕ(x, y) = φ(d(x, y)) for some function φ : N C. We say a Fourier multiplier λ x φ(x)λ x is a radial Fourier multiplier if φ(x) = φ( x ) for some φ: N C. By [], the completely bounded norm of a radial Fourier multiplier associated with φ equals to the norm of the Schur multiplier φ(d(x, y)). An exact formula for the norm of radial Schur multipliers on free groups was given by Haagerup and Szwarc in 987. The result was published in [] with Steenstrup, where they extended the study to homogenous trees. A similar characterization for radial Fourier multipliers with respect to the block length on free products of groups is proved by Wysoczański in 995 ([4]). These results were recently extended to (amalgamated) free products of operator algebras in [, 8, 6]. We rewrite a special version of the results from [] below. Theorem.3. (Haagerup, Steenstrup, Szwarc) Let X be a homogenous tree with degree 3 and φ : N C. Then the function ϕ(x, y) = φ(d(x, y)) is a Schur multiplier if and only if the matrix H = ( φ(j + k) φ(j + k + )) j,k belongs to the trace class. In that case lim n φ(n) and limn φ(n + ) exist, and M φ lim n ( φ(n) + φ(n + ) ) + H S. In this section, we remark that a similar result to the if part of Theorem.3 holds on hyperbolic graphs. We first recall a proof of the if part of Theorem.3, valid for all trees, and that we will later adapt for general hyperbolic graphs. Fix an infinite geodesic path p. For every x X, there is a unique infinite geodesic path p x which starts at x and flows into p. Remark that for every x, y X the geodesics p x and p y first meet on a point of the geodesic segment between x and y, and then coincide forever. In formulas, the set {(i, j) N N, p x (i) = p x (j)} is of the form {(i +k, j +k), k N}, for i, j satisfying i + j = d(x, y). Since H = ( φ(i + j) φ(i + j + )) i,j< belongs to the trace class, we can write H = A B where A, B are Hilbert-Schmidt operators satisfying H S = 5

6 A S B S. For x, y X, set P (x) = i B(e i ) δ px(i) l (N) l (X) and Q(y) = j A(e j ) δ py(j) l (N) l (X) where (e i ) i and δ x are the coordinate orthonormal basis of l (N) and l (X). We see that P (x) = i B(e i) = B S and Q(y) = A S. Using that Be i, Ae j = φ(i + j) φ(i + j + ) we can write P (x), Q(y) = i,j,p x(i)=p y(j) φ(i + j) φ(i + j + ) = φ(d(x, y) + k) φ(d(x, y) + k + ) k= which equals to φ(d(x, y)) lim n φ(n) for d(x, y) even and equals to φ(d(x, y)) lim n φ(n + ) for d(x, y) odd. Therefore, φ(d(x, y)) = P (x), Q(y) + + ( )d(x,y) lim n ( ) φ(n)+ d(x,y) lim n φ(n+). Fix a distinguished point e X. Note ( ) d(x,y) = ( ) d(x,e) ( ) d(y,e) since d(x, e) + d(y, e) d(x, y) is even. So ± ( ) d(x,y) is a Schur multiplier with norm. We then obtain by Proposition. that M φ lim n ( φ(n) + φ(n + ) ) + H S..3 Generalization to hyperbolic graphs Identify a connected graph Γ with its vertex set and equip it with the graph distance d. A geodesic path p is a finite or infinite sequence of points p(),..., p(k)... Γ such that d(p(m), p(n)) = m n for every m, n. A connected graph Γ is hyperbolic if there exists a constant δ such that for every geodesic triangle each edge is contained in the δ-neighborhood of the union of the other two. A finitely generated group Γ is hyperbolic if its Cayley graph is hyperbolic. The hyperbolicity property of a group is independent of the choice of generating set. A tree is a hyperbolic graph for δ =. See e.g. [3], section 5.3 for more information on hyperbolic groups. To obtain an extension on general hyperbolic graphs, we need the following result of Ozawa [9, Proposition ]. Proposition.4 (Ozawa). Let Γ be a hyperbolic graph with bounded degree. There is C R, a Hilbert space H and maps η ± i : Γ H (for i N) such that 6

7 . η i ± (x) η± j (x) for all x Γ and i j.. η ± i (x) C for all i N and x Γ, 3. i+j=n η+ i (x), η j (y) = { if d(x, y) n otherwise. The η ± i (x) provided by this Proposition will play the role of the vectors δ px(i) l (X) in the preceding proof. Assume H = ( φ(i + j) φ(i + j + )) i,j< S. Then the diagonal of H belongs to l, and hence lim n φ(n) exists. We proceed similarly. Write H = A B with H S = A S B S. Set P (x) = i B(e i ) η + i (x) l H and Q(y) = j A(e j ) η j (x) l H, for x, y Γ. From condition and in Proposition.4 we see that B(e i ) η i + (x), B(e j) η j + (x) is zero if i j, and always less than C B(ei) + B(e i). Hence P (x) = B(e i ) η + i (x), B(e j) η + j (x) 3C B S. i,j Similarly, sup y Q(y) 3 3C A S. We claim that P (x), Q(y) = φ(d(x, y)) for all x, y Γ. Indeed, P (x), Q(y) = i,j Be i η + i (x), Ae j η i (y). Using that Be i, Ae j = φ(i + j) φ(i + j ) we can write P (x), Q(y) = ( φ(n) φ(n + )) η i + (x), η j (y), n i+j=n which equals φ(d(x, y)) lim n φ(n) from assumption 3 in Proposition.4. By Propostion., we obtain Theorem.. Remark.5. In Theorem., we can take C = if Γ is a tree. Otherwise, C may depend on Γ. Remark.6. As the example of φ(k) = ( ) k shows, the condition that ( φ(j + k) φ(j +k +)) j,k is of trace class is stronger than the condition in Theorem.3 for ( φ(j + k) φ(j + k + )) j,k, but is necessary for general hyperbolic graphs. Indeed, if Γ is the Cayley graph of (Z/3Z) (Z/3Z) (Z/3Z) with generating set the union of the 3 copies of Z/3Z, then by [4, Theorem 6.] the 7

8 Schur multiplier with symbol φ(d(x, y)) is bounded on B(l (Γ )) if and only if ( φ(j + k) φ(j + k + )) j,k belongs to the trace class. Theorem. can therefore be read as a function φ: N C defines a bounded radial multiplier on every hyperbolic graph Γ with bounded degree if and only if it defines a bounded radial multiplier on Γ. Remark.7. The fact that it is the matrix ( φ(j + k) φ(j + k + )) j,k that appears in Theorem.3 is related to the fact that trees are bipartite (a graph is bipartite is it does not contain any odd length cycle). A modification (left to the reader) of the proofs in [9] actually shows that when the hyperbolic graph Γ is bipartite, then Theorem. holds also for H replaced by ( φ(j + k) φ(j + k + )) j,k. In that case the statement becomes a function φ: N C defines a bounded radial multiplier on every bipartite hyperbolic graph Γ if and only if it defines a bounded radial multiplier on F with standard generating set. In particular, if we apply the preceding Theorem. to a Cayley graph of a finitely generated hyperbolic group Γ and recall that the word length of y x equals to d(y x, e) = d(x, y) on its Cayley graph, we get Corollary.8. Let Γ be a finitely generated hyperbolic group, and the length function on Γ associated to a finite generating set of Γ. Then there is a constant C R such that if φ: N C is a function such that the infinite Hankel matrix H = ( φ(k + j) φ(k + j + )) k,j< belongs to the trace class S, then λ g φ( g )λ g extends to a completely bounded map on L(Γ) with norm C H S + lim n φ(n)..4 Weighted length functions on F n Corollary.8 in particular applies to F n equipped with the length function associated to other finite generating sets than the standard generating set. One may also consider weighted lengths on a free group F n, n N { }. Denote the free generators by g, g,...g k,... Fix a sequence of positive real numbers a = (a k ) k, for g = g k i g k i...g km i m F n, i j i j+, let g a = m a ij k j. j= Theorem.3 also extends to the weighted lengths g a on free products groups F n, n because of the following Proposition. For φ : R + C, we denote by φ t ( ) = φ(t ) and m φ a the Fourier multiplier sending λ g to φ( g a )λ g. We ignore the a when a k = for all k. Proposition.9. Given a continuous function φ, suppose m φt c.b < C on F for all < t <, then m φ a t c.b < C for the same constant C for any sequence a and any t >. 8

9 Proof. Assume first that a k N = {,,... }. Let T a be the trace preserving *-homomorphism sending λ gj to λ a g j. Then j T a m φ a t = m φt T a, which shows that m φ a t c.b < m φt c.b since T a is completely isometric. Next we assume a k Q + with a common denominator N. Then T Na m φ a t = m φ tn T Na. Therefore, m φ a t is completely bounded with upper bound sup <t< m φt c.b. The general case follows by approximation. 3 Complete boundedness of S r t Theorem.3 (respectively Corollary.8) states that the completely bounded norm of the map S r t on L(F n ) (respectively L(Γ) for a hyperbolic group Γ) is equivalent to (respectively dominated by) the trace class norm of the corresponding Hankel matrix. In this section we give an upper bound on the trace class norm of Hankel matrices with smooth symbol, that we apply to several explicit examples. In particular Theorem.3 is an immediate consequence of Corollary.8 and Examples 3.6 and 3.5. We start by stating a more precise version of Theorem.. Theorem 3.. Let f : [, ) R be a bounded continuous function of class C on (, ), and α >. Then, for any t >, the trace class norm of the matrix f(t(j + k)) f(t(j + k + )) satisfies the inequality S (f(t(j + k)) f(t(j + k + ))) j,k C C AB α B () α for some universal constant C, where A = x α f L (R +) x +α f L (R +), B = x 3 α f L (R +) x 3 +α f L (R +). We postpone the proof of Theorem 3. to the end of this section. 3. Examples of applications We give several applications of Theorem 3.. Example 3. (The semigroup λ g ( + g ) z λ g on free groups). For every z C with positive real part, the formula ( + n) z = Γ(z) 9 t z e t e tn dt,

10 (where Γ(z) = t z e t dt is the Gamma function) together with the fact that S t : λ g e t g λ g is unital completely positive for every t > implies that λ g (+ g ) z λ g is unital completely positive if z R +, and unital completely bounded with completely bounded norm less than Γ(Re(z))/ Γ(z) otherwise. This estimate is far from optimal: if Re(z) 3, the rapid decay property implies that this cb norm is less than n ( + n), whereas Γ(Re(z))/ Γ(z) is unbounded. Theorem 3. gives complementary estimates for this norm in the regime Re(z) 3. Namely let z = a+ib with < a 3. Taking f(x) = (+x) z and α = min(, a)/ then x ±α f L (, ) ( + x) ±α f L (, ) = z a ± α z a and similarly x 3 ±α f L (, ) z( + z) z( + z). a ± α a Hence Theorem.3 and Theorem 3. imply that the completely bounded norm of λ g ( + g ) z λ g is less than C z Re(z) + z. This implies that for ω [, π ), the cb norm of λ g ( + g ) z λ g is bounded by C( + tan ω) 3 on {z C, arg z ω}. The same estimates also hold for the multiplier λ g max(, g ) z λ g. This follows from Theorem.3 and from the following general inequality applied to a n = max(, n) z (n + ) z. If a n is any sequence of complex numbers, (a j+k+ ) j,k S (a j+k ) j,k S a + (a j+k+ ) j,k S the first inequality if obvious, whereas the second is the triangle inequality for the trace norm S applied to the decomposition a j+k = a j=k= + a k j=,k> + a j+k j>. Note also that by Corollary.8, the same results hold for the semigroups λ g ( + g ) z λ g and λ g max(, g ) z λ g on every hyperbolic group, up to some multiplicative constant depending on the group. Example 3.3 (Fejér Kernel). Given N N, let F N (k) = ( k N )χ [,N](k). Define Fejér multiplier as m FN : λ g F N ( g )λ g. Then m FN cb log N on free group von Neumann algebras. In fact, (F N (k + j) F N (k + j + )) k,j S = ( N ) k+j N S log N. () If one applies Theorem 3. for the function f(x) = ( x) δ χ [,] (x), we see that sup (F N (k + j) δ F N (k + j + ) δ ) k,j S < N if δ > 3, because f L if and only if δ > 3. We will see in Example 3.4 that the previous inequality actually holds for all δ >.

11 Example 3.4 (Bochner-Riesz Mean). Bochner-Riesz mean is a smoothed Fejér multiplier in modern harmonic analysis. Given N N, let BN δ (k) = ( k N ) δ χ [,N] (k) for δ C. Define Bochner-Riesz multiplier as m δ B N : λ g B δ N ( g )λ g. As for the Fejér kernel, a direct application or Theorem 3. would yield that the Bochner-Riesz kernels are completely bounded on von Neumann algebras of hyperbolic groups if Re(δ) > 3. However, using the known boundedness properties of Bochner-Riesz multipliers on L(Z), one can decrease this to Re(δ) >. Before that, we observe that, as in L(Z n ), the problem of complete boudnedness of the Bochner-Riesz and Fejér multipliers on hyperbolic groups are equivalent, in the sense that for all Re(δ) and all hyperbolic groups, there is a constant C such that for all N, C mδ B N cb(lγ) m δ F N cb(lγ) C. (3) Indeed, given Re(δ), let f δ and g δ be a compactly supported C functions on [, ) satisfying f δ (x) = /g δ (x) = ( + x) δ for all x [, ], so that BN δ (k) = f δ(k/n)fn δ (k) and F N δ (k) = g δ(k/n)fn δ (k). By Corollary 3. sup N (f δ ( i+j N ) f δ( i+j+ N )) j,k S < and same for g δ. By Corollary.8, the multipliers corresponding to f δ ( g /N) and g δ ( g /N) are therefore bounded uniformly in N on every hyperbolic group. This proves (3). We can now prove that Bochner-Riesz multipliers (and hence the Fejér multipliers by (3)) are completely bounded on every hyperbolic groups, and in particular on all free groups, if Reδ >. This follows from Corollary.8 and the estimate Re(δ) >, sup (BN δ (j + k) Bδ N (j + k + )) j,k S <. (4) N Let us prove (4). By derivating we can write B δ N(k) B δ N(k + ) = δ( (k + t) N ) δ χ [,N] (k + t) k + t N dt. Denote by B δ (k+t) N,t (k) = ( N ) δ χ [ N,N] (k + t); for t = and k this is B δ N. Let f be a compactly supported C function on [, ) such that f(x) = x / on [, ]. The previous equality becomes BN δ (k) Bδ N (k + ) = δb δ / N,t (k)(t N + f ( k N ) f ( k + N ))dt. The trace norm of the matrix (B δ t / N,t (j + k) N ) j,k is less than the sum of the absolute values of its entries, which is less than. Moreover by Corollary 3. the trace norm of the matrix (f ( j+k N ) f ( j+k+ N )) is bounded uniformly in

12 N, by some constant C. Therefore Lemma. and the previous equality imply that the trace norm of (B δ N (j + k) Bδ N (j + k + )) j,k is less than δ + C δ sup B δ N,t (n)eiπnθ L (R/Z) t [,] n Z δ + C δ m δ B N cb(l (R)) δ + C δ e C Imδ The first inequality follows by embedding L (R/Z) into L (R) via a n e iπnθ an e iπn(x t). The second inequality is quoted from [8, Prop...], and the constant C depends only on Re(δ). This proves (4) and m δ B N cb(l(γ)) e C+C Imδ (5) for Re(δ) > with C only depends on Re(δ) and Γ. We can observe that the assumption Re(δ) > is needed. Indeed, for δ =, (4) does not hold because of () and (3), so m B N is not c.b. on L(F ) uniformly in N by Theorem.3. Fix < ε <, let C be the constant in (5) such that the multiplier F(z) = m z B N e Cz 5C is c.b. on L(Γ) uniformly on the complex line {z; Re(z) = + ε}. Note that F(z) is c.b. on L (ˆΓ) uniformly in N on the imaginary line {z; Re(z) = }. By complex interpolation and duality, we get m δ B N is c.b. on L p (ˆΓ) uniformly in N for any p < Re(δ), p. The same holds for m δ F N because of (3). Example 3.5. Given r >, let α = min{r,} and f(x) = e xr. We then have, x ±α f L (, ) c r, x 3 ±α f L (, ) c( + r) r Applying Corollary 3., we get sup (e t(j+k)r e t(j+k+)r ) j,k S c( + r). t Moreover the order r as r goes to is optimal. Indeed, if n is the integer part of r and t = n r using the inequality A S n j= A j,n j we have ( (e t(j+k)r e t(j+k+)r ) j,k S (n + ) e e (+/n)r) r(e e e ) as r. Example 3.6. For every z = a + bi C with argz ω < π, let f(x) = e zxr. Denote K = ( + tan ω). Then z Ka and f = zrx r e zxr Ka r x r e axr f = z r x r e zxr + zr(r )x r e zxr K a r x r e axr + K ar(r )x r e axr.

13 Setting α = min{ r, } we then have using the change of variable s = axr, x ±α f L (R +) K a r x r±α e ax r dx R + = K ra α r s ± α r e s ds Ka α r r. R + x 3 ±α f L (R +) K a 4 r 4 x 4r±α e ax r dx R + +K a r (r ) x r±α e ax r dx R + = K a α r r 3 s 3± α r e s ds R + +K a α r r(r ) s ± α r e s ds R + Corollary 3. yields that K a α r r 3 + Ka α r r(r ). sup (e zt(j+k)r e zt(j+k+)r ) j,k S < c( + (tan ω) 3 )( + r). t 3. The proof In the sequel we consider the unit circle T = {e iπt, t R/Z} equipped with the Lebesgue probability measure, and the unit disk D = {z C, z < } equipped with the Lebesgue probablity measure dz π. We now turn to the proof of Theorem 3.. The proof relies on Peller s characterization of trace class Hankel matrices [] that we now recall. With the formulation given in [, Theorem 3.] (which gives very good constants), Peller s theorem states that a Hankel matrix (a j+k ) j,k belongs to the trace class if and only if the function g(z) = n (n + )(n + )a nz n belongs to L (D, dz π ), and π 8 g L (D, dz π ) (a j+k) j,k S g L (D, dz ). π The condition n (n + )(n + )a nz n L (D) is one of the equivalent conditions for the series n a nz n to belong to the Besov space of analytic functions B. In the sequence we will work with another classical condition, that is more suited for our proof. Consider the classical de la Vallée Poussin kernels (W n ) n. The W n s are functions on T given by their Fourier coefficients. W (z) = + z and for n > Ŵ n (k) = n+ (k n ) if n k n n ( n+ k) if n k n+ otherwise. 3

14 The Besov space B of analytic functions is the Banach space of series ϕ(z) = n a nz n with a n C such that ϕ B = n n W n ϕ L (T) <. (6) We refer to [] for the equivalence of these definitions of B, or for the following formulation of Peller s theorem : there is a constant C > such that for every Hankel matrix A = (a j+k ) j,k, C n a n z n B A S C n a n z n B. (7) For a function f : [, ) R and a subinterval I of [, ) we adopt the following notation ( f L (I) = I ) ( f(x) dx, f l (I) = k I N f(k) ). (8) We will prove the following upper estimate on the B -norm of a function with smooth symbol. Proposition 3.7. Let f : [, ) R a continuous function of class C on (, ), and α >. Then ( f(n)z n B C f() + ) (à à + B), α n for a universal constant C, where à = x α f l ([, )) x +α f l ([, )), B = x 3 α f L (, ) x 3 +α f L (, ). Before we prove the Proposition, we explain how it implies Theorem 3.. Proof of Theorem 3.. Let f be as in Theorem 3.. Note that both A and B are unchanged if the function f is replaced by x f(tx). We can therefore restrict ourselves to the case t =. We first prove the inequalities n β f(n + ) f(n) n x β f L (, ) (9) for β = + α and β = α, and x β (f (x + ) f (x)) L (, ) x β f L (, ) () 4

15 for β = 3 + α and β = 3 α. Together with (7) and Proposition 3.7, they will imply that ( S (f(j + k) f(j + k + )) C j,k f() f() + (A + ) AB). α () For (9), note that n β x β for every integer n and x [n, n + ]. By Cauchy-Schwarz inequality we have n β f(n + ) f(n) n β f L (n,n+) x β f L (n,n+). By taking the square and summing for n we get (9). For () write f (x + ) f (x) = f (x + s)ds and use the triangle inequality to get x β (f (x + ) f (x)) L (, ) x β f (x + s) L (, )ds, from which () follows because x β f (x + s) L (, ) x β f (x) L (, ) for all < s <. We now prove the theorem. If B = there is nothing to prove. So let us assume that t = and B <. Theorem 3. follows from () and the inequalities f() f() f L (R +) A α and A α B. To prove the first inequality, decompose the integral and use the Cauchy-Schwarz inequality f L = s x α f (x) f (x)x +α dx + dx x α s x 3 +α s α x α f L (R +) + s α x α f L (R +). α α Taking the infimum over s > we get f L (R +) α A as claimed. Let us move to the inequality A α B. By the assumption B <, we have that f L ([, ) and hence lim x f (x) exists. Since f is bounded, this limit is, and we can write f (x) = xg r (x)dr where g r (x) = f (rx). By the triangle inequality By a change of variable x ±α f L (R +) x 3 ±α g r L (R +)dr. x 3 ±α g r L (R +) = r ±α x 3 ±α f L (R +), 5

16 and hence using that dr r = ±α ±α, we get x ±α f L (R +) ± α x 3 ±α f L (R +). The inequality A α B follows. We give now the proof of Proposition 3.7. We start with a classical elementary lemma. Lemma 3.8. If ϕ L (T) then ϕ L (T) π ϕ L (T) ( z)ϕ L (T). Proof. Denote g(z) = ( z)ϕ(z). For any < s < /: ϕ L = = s s ϕ(e iπt ) dt s ϕ + s ϕ(e iπt ) dt + s s s e iπt ( eiπt )ϕ(e iπt ) dt e iπt dt g by the Cauchy-Schwarz inequality. The remaining integral can be computed: s / s e iπt dt = s 4 sin (πt) dt = [ ] / cos(πt) = π sin(πt) π tan(πs) π s where we used that tan x x for all x π. Taking s = g /π ϕ / we get the desired inequality. Let f be as in Proposition 3.7. Recall the notation introduced in (8). We prove the following. Lemma 3.9. Let I n = ( n, n+ ]. Denote ϕ(z) = n f(n)zn. Then for n n W n ϕ L (T) 4 ( x f l π (I n) + x 3 f L (I n) x f l (I n)). Proof. The inequality W n ϕ L (T) f l (I n) is clear. Writing ( z)(w n ϕ)(z) as n+ n + (Ŵn(k) Ŵn(k ))f(k)z k + Ŵn(k )(f(k) f(k ))z k, s 6

17 and noting that Ŵn(k) Ŵn(k ) n and Ŵn(k ) f(k) f(k ) f L (k,k) for k I n, we get ( z)(w n ϕ) L (T) n f l (I n) + f L (I n). By Lemma 3.8 and the inequality a + b a + b we get W n ϕ L (T) 3 n f l (I π n) + f l (I π n) f L (I n). Multiplying by n and using that x n on I n we get n W n ϕ L (T) 4 ) ( x f l π (I n) + x f l (I n) x 3 f L (I n), which concludes the proof. Proof of Proposition 3.7. By Lemma 3.9 and Peller s characterization, there is a universal constant C such that we have A C f() + f() + x f l (I n) + x f l (I n) x 3 f L (I n). n Denote here I = {}, so that f() = f l (I ). Then by Cauchy-Schwarz inequality the previous inequality becomes A C f() + x f l (I n) n + x f l (I n) x 3 f L (I n). () n Let N. If n N, x / is dominated by x α α(n+) on I n, and hence n N x f l (I n) n= ( N n= ) ( N α(n+) x α f l (I n) n= α(n+) x α f α l ([, N+ ]) C α αn x α f l ([, )). ) 7

18 The is because every point in [, ) belongs to at most intervals I n for n [, N]. For n > N use that x n on I n to dominate α(n ) x +α f l (I n) x f l (I n) n>n n>n ( n>n α(n ) ) x +α f l ([, )) C α αn x +α f l ([, )). Let a = x α f l ([, )) and b = x +α f l ([, )). Since a b we have inf N αn a + αn b +α ab. This implies that there is a constant C such that x f l (I n) C x α f l ([, )) x +α f l ([, )). α n The same argument implies a similar inequality with f replaced by xf and the norm l replaced by the norm L : x 3 f L (I n) C x 3 α f L (, )) x 3 +α f L (, ). α n If we remember () we get the inequality in the Proposition, which concludes the proof. 4 The case of Z d In this section we prove that Z d equipped with its standard generating set satisfies the conclusion of Corollary.8 for all d. Actually we prove a stronger result : the if-part of Theorem.3 holds for Z d (see Remark.6). For the standard generating set, the word-length of n = (n,..., n d ) Z d is the l -length n = n + + n d. Theorem 4.. Let d. There exists C d R + such that for every function φ: N C satisfying that the matrix H = ( ) φ(j + k) φ(j + k + ) is trace class, the map c n e in x in x c n φ( n )e n Z d n Z d is bounded on L (T d ) with norm less than lim n ( φ(n) + φ(n + ) ) + C d H S. Remark 4.. This is indeed an analogous of Corollary.8 because, as Z d is commutative, the von Neumann algebra of Z d is L (R d /Z d ), and the norm and cb norm of a Fourier multiplier on L (R d /Z d ) coincide. 8

19 Remark 4.3. Theorem 4. together with Theorem.3 tell us that the Banach space of c.b. radial multipliers on F d embeds naturally into the Banach space of c.b. radial multipliers on Z d. It is tempting to expect a direct proof of this. We were only able to find a proof that relies on Theorem.3 and on estimates for the norm in L (R d /Z d ) of functions with radial Fourier transform. For the proof of Theorem 4., we can restrict ourselves to the case when φ has finite support. For a function φ: Z d C with finite support, the Fourier multiplier m φ with symbol φ is the convolution by the function x R d /Z d n Z φ(n)e iπn x on L (R d /Z d ). The norm and cb norm of m d φ both coincide with the L -norm of the function n Z φ(n)eiπn x. Taking into account d Peller s Theorem [] (see 3.), we see that Theorem 4. is equivalent to the existence of C d such that a n e in x L ([ π,π] d ) C d (a m a m+ )e imθ B (3) n Z d m for all finitely supported sequence (a m ) m. But it is easy to see from (6) that for ϕ(e iθ ) = m b me imθ, C ϕ B n W n ψ L (T) C ϕ B for some universal constant C, where ψ(e iθ ) = m (m + )b me imθ. The inequality (3) therefore follows from Proposition 4.4. Let d be an integer. There is a constant C d such that for every finitely supported sequence (a n ) n, a n e in x L ([ π,π] d ) C d (m + )(a m a m+ )e imθ L ([ π,π]). (4) n Z d m Proof. We can assume that d is even, because (4) for d implies (4) for d by taking the average with respect to x d. We can rewrite a n e in x = (a m a m+ )D m (x) n Z d m where D m (x) = n m ein x. The exact value for D m (x) was computed in [5, Theorem 4..3] and is equal to where G m : [, ] R is given by D m (x,..., x d ) = [cos x,..., cos x d ]G m G m (cos θ) = ( ) d (sin θ) d (cos(mθ) + cos((m + )θ)) 9

20 and for a function f : [, ] C and d distinct numbers t,..., t d [, ] we use the following notation of divided difference [t,..., t d ]f = d j= f(t j ) k j (t j t k ). Here we use that d is even, otherwise in the formula for G m (cos θ) the terms cos have to be replaced by sin. For a function f : [, π] C we define H f : [, ] C by Then we have the identity H f (cos θ) = (sin θ) d f(θ) for θ [, π]. (a m a m+ )G m (cos θ) = ( ) d H f+f (cos θ), m for all θ [ π, π] with f (θ) = f ( θ) and f (θ) = (a m a m+ )(e imθ +e i(m+)θ ) = (a a )+ m a m+ )e m m (a i(m+)θ. By the preceding we can therefore write a n e in x = ( ) n Z d d [cos x,..., cos x d ]H f+f. Using that H (t) = ( t ) d is a polynomial of degree d (d is even) and that [t,..., t d ]f = whenever f is a polynomial of degree d we observe for further use that [cos x,..., cos x d ]H =. (5) We claim that sup [cos x,..., cos x d ]H χ[t,π] L ([ π,π] d ) < (6) t π This will imply the proposition. Indeed, if K is the sup in the previous inequality, and f : [, π] C is any C function, writing f(θ) = f()+ π f (t)χ [t,π] (θ)dt for all θ [, π] and using (5), we get [cos x,..., cos x d ]H f L ([ π,π] d ) π f (t) [cos x,..., cos x d ]H χ[t,π] L ([ π,π] d )dt K f L ([,π]). Applying this inequality to f = f + f and noticing that f = i m (m + )(a m a m+ )e i(m+)θ (7)

21 we get (4). We now move to (6). Note H χ[t,π] + H χ[,t] = H =, we have [cos x,..., cos x d ]H χ[t,π] L ([ π,π] d ) = [cos x,..., cos x d ]H χ[,t] L ([ π,π] d ). Also by symmetry we have [cos x,..., cos x d ]H χ[t,π] L ([ π,π] d ) = d [cos x,..., cos x d ]H χ[t,π] L ([,π] d ). Finally, by the change of variables x i π x i, [cos x,..., cos x d ]H χ[t,π] L ([,π] d ) = [cos x,..., cos x d ]H χ[,π t] L ([,π] d ), so we are left to prove sup [cos x,..., cos x d ]H χ[,t] L ([,π] d ) <. t π/ This will follow from the estimate in Lemma 4.5 below. If d = this is exactly the Lemma for s =. If d >, fix < t π, and for θ [, π] write H χ[,t] (cos θ) = t (d )(sin u) d 3 cos uχ [u,t] (θ)du. With the notation of Lemma 4.5 we have for all t (, π/) [cos x,..., cos x d ]H χ[,t] L ([,π] d ) which, by Lemma 4.5, is less than t (d )(sin u) d 3 cos u A d u,t L du, t ( ) d sin t C d t d (d )(sin u) d cos udu = C d C d. t This concludes the proof of (6) and of the proposition. The previous proof used the following lemma. Lemma 4.5. Let d be an integer. For every s < t π, define a function A d s,t : [, π]d R by A d s,t (x,..., x d ) = [cos x,..., cos x d ](cos θ χ [s,t] (θ)) = d χ [s,t] (x i ) j i (cos x i cos x j ). Then there is a constant C d such that for all s < t π. i= A d s,t L ([,π] d ) C d t d.

22 Proof. We prove by induction on d that a stronger inequality holds. Namely for all < s < t π, ( A d s,t L ([,π] d ) C d (t s) s log( s ) d t ). (8) It is easy to see that (t s) ( s log( s t ) ) d C d t d for some constant C d and all < s < t π, so that (8) is indeed stronger than the lemma. At least for s >, but the case s = follows by letting s. The case d = is obvious because A s,t L ([,π]) = π χ [s,t] (θ)dθ = t s. Assume that (8) holds for d, and let < s < t π. Throughout the proof we will write X Y when we mean X CY for some constant allowed to depend on d but not on s, t. If x,..., x d+ [s, t] then A d+ s,t (x,..., x d+ ) = [cos x,..., cos x d+ ] =. By symmetry we therefore have ( s A d+ s,t L ([,π] d+ ) (d + ) If β / [s, t] we can write A d+ s,t (x,..., x d, β) = d i= + π t ) A d+ s,t (, β) L ([,π] d )dβ. χ [s,t] (x i ) (cos x i cos β) j i (cos x i cos x j ) = [cos x,..., cos x d ] ( cos θ h β (θ)χ [s,t] (θ) ), where we denote h β (θ) = cos θ cos β. At this point we have to distinguish the cases β < s and β > t. Let us first consider the case β < s. Then for θ [s, t] we write h β (θ) = h β (t) t s h β (u)χ [s,u](θ)du, so that by the triangle inequality we get A d+ s,t (x,..., x d, β) h β (t)a d s,t(x,..., x d ) + Integrating with respect to x,..., x d we obtain A d+ t s h β(u)a d s,u(x,..., x d ) du. t s,t (, β) L ([,π] d ) h β (t) A d s,t L + h β (u) Ad s,u L du. If we use the elementary inequalities h β (θ) θ(θ β) and h θ β (θ) valid for all β < θ π, we have s h β(t) dβ t log( s t s θ (θ β) ) and

23 s h s β (u) dβ u (u s) and the previous inequality together with the induction hypothesis yields after integration s A d+ s,t (, β) L ([,π] d )dβ (t s) log( s t ) d s d t t + s With the change of variable v = s u the last integral becomes s d s t log v d dv. s d u log( s u ) d du. One can check that this integral is less than C(t s) ( s log( s t ) ) d. The inequality s ( A d+ s,t (, β) L ([,π] )dβ (t s) d s log( s ) d t ) follows. When β t, we write h β (θ) = h β (s) + t s h β (u)χ [u,t](θ)du and by the inequalities h β (θ) β(β θ) and h u β (u) t (β u) valid for u, θ t, we get similarly π A d+ t s,t (, β) L ([,π] )dβ log( s t ) t d A d s,t s L + s u t (t u) Ad u,t L. By the induction hypothesis the first term is (t s)( s log( s/t) )d, and the second one is less than t s Therefore, u d t log( u/t) d du t s d π t = t s d t s s t (t s) log( u/t) d du/t log v d dv ( s log( s ) d t ) ( A d+ s,t (, β) L ([,π] d )dβ (t s) s log( s ) d t ). This completes the proof of (8) for d +. The lemma is proved. Remark 4.6. If we consider f + f in (7) and notice that f + f = i m> = i m Z m(a m a m+ )e imθ i m> m (a m a m + )e imθ. m(a m a m+ )e imθ 3

24 We then get a n e in x L ([ π,π] d ) C d m (a m a m + )e imθ L ([ π,π]) (9) n Z d m Z for finitely supported a, which says that the Fourier multiplier e in x a n e in x, n Z d is bounded on L ([ π, π] d ) for all d N provided lim k a k + a k+ < and the Fourier multiplier e imθ b m e imθ with b m = m (a m a m + ), m Z, is bounded on L ([ π, π]). 5 BMO and H Calculus A motivation in studying St r comes from harmonic analysis on free groups. We will briefly explain it in this section. We will also show a related result on bounded H -calculus. Following [7] and [4], we may consider BMO spaces associated with the semigroups St r on the free group von Neumann algebras. For f L (ˆF n ), let Set f BMO r = sup St r f Sr t f. t BMO r (ˆF n ) = {f L, max{ f BMO r, f BMO r} < }. Theorem 5. of [4] says that the complex interpolation space between BMO r and L (ˆF n ) is L p (ˆF n ), for all < p < and < r. Thus, for any < r, BMO r serves as an endpoint for L p (ˆF n ) corresponds to p =. What will be an endpoint space which could substitute L (ˆF n )? A natural candidate would be the H space defined by the Littlewood-Paley G-function for f L and G(f) = ( t S t f tdt) f H = τg(f) <. In fact, for n =, we have Fefferman Stein s famous duality (H ) = BMO and the corresponding interpolation result. There has not been an satisfactory H -BMO duality theory associated with semigroups on free group von Neumann algebra for n >. A main obstacle is due to the missing of geometric/metric tools in the noncommutative setting. For example, when n =, all the H -BMO duality-arguments (to the best knowledge of the authors) rely on an equivalent characterization of H by the Lusin area-function, the definition of which is similar to the Littlewood-Paley G-function but uses an integration on cones instead of the radial integration. The concept of cones on ˆF n is an big mystery for n >. However, there is a semigroup-representation of Lusin-area integrations as follows Af = ( S t ts t f tdt), 4

25 which uses the semigroup St to compensate the integration on cones and f H A(f) L for n = (see [7] for an explanation). We should point out that the equivalence f H A(f) L fails if we replace the extra St in the definition of Af by St. The complete boundedness of St r, especially for r =, then draws our attention and is proved in Section 3. We still do not know wether a semigroup H -BMO duality holds on L(F n ) for n > and leave the question for later. Junge Le Merdy Xu ([3]) studied H -calculus in the noncommutative setting (see [4]). In particular, they obtain a bounded H -calculus property of L r : λ g g r λ g on L p (ˆF n ) and consequently a Littlewood-Paley theory for the corresponding semigroup St r for all < p <, < r. The end point cases (p =, ) are more subtle and L r has no bounded H -calculus on the group von Neuman algebra LF n. In the rest part of this section, we will show that St r, < r < has a bounded H -calculus on BMO (F n ). Proposition 5.. Suppose T is a sectorial operator on a Banach space X. Assume T e tt a(t)dt is bounded on X with norm smaller than C for any choice a(t) = ±. Then T has a bound H (Sη) calculus for any η > π/. Proof. This is a consequence of Example 4.8 of [4] by setting a(t) to be the sign of T e tt u, v for any pair (u, v) (X, X ). Proposition 5.. Suppose a(t) is a function on (, ) satisfying a(t s) s s t dt c a. () for any s >. Then L e tl a(t)dt is completely bounded on BMO (F n ) with upper bound c a. Proof. We apply Corollary 3.4 of [4] to St. Note that the subordinated Poisson semigroup of St is S t. So the space BMO(P) associated with St as defined in [4] is the space BMO defined in this section. Corollary 3.4 of [4] then implies Proposition 5.. Because the required Γ condition associated with St is actually the positive definiteness of the kernel K(g, h) = ( g + h g h ) on F n F n, which easily follows from the negative definiteness of the length function. Remark 5.3. There are a few misprints in [4]. The condition of a(t) on page 7 is miss-written. The correct one is () in this article. In Thereom 3.3 of [4], the integer n must be strictly positive. Theorem 5.4. For < r <, L r : λ g g r λ g has a bounded H (S η) calculus on BMO (ˆFn ) for any η > rπ. 5

26 Proof. It is easy to see that St is a bounded semigroup on BMO. So L r is a sectorial operator on BMO of type rπ for < r <. Applying Proposition 5. to Proposition 5., for a(t) = and T = L we conclude that L has a bounded H (Sη) calculus on BMO for any η > π/. Therefore, L r has a bounded H (Sη) calculus on BMO for any η > rπ. Acknowlegement. The authors thank Narutaka Ozawa for helpful comments. References [] M. Bożejko, Positive definite functions on the free group and the noncommutative Riesz product. (Italian summary) Boll. Un. Mat. Ital. A (6) 5 (986), no., 3-. [] M. Bożejko,G. Fendler, Herz-Schur multipliers and completely bounded multipliers of the Fourier algebra of a locally compact group, Boll. Un. Mat. Ital. A(6), 3() (984) [3] N. P. Brown, N. Ozawa, C -algebras and finite-dimensional approximations. Graduate Studies in Mathematics, 88. American Mathematical Society, Providence, RI, 8. xvi+59 pp. [4] M. Cowling, I. Doust, A. McIntosh, A. Yagi, Banach space operators with a bounded H -functional calculus. J. Austral. Math. Soc. Ser. A 6 (996), no., [5] L. De-Michele, A. Figá-Talamanca, Positive definite functions on free groups. Amer. J. Math. (98), no. 3, [6] S. Deprez, Radial multipliers on arbitrary amalgamated free products of finite von Neumann algebras. (3) preprint (arxiv:3.788). [7] L. Grafakos, Classical Fourier analysis, second ed. Graduate Texts in Mathematics, 49. Springer, New York (8). [8] L. Grafakos, Modern Fourier analysis. Third edition. Graduate Texts in Mathematics, 5. Springer, New York, 4. [9] U. Haagerup, An example of a non nuclear C -algebra, which has the metric approximation property, Invent. Math. 5(3) (979) [] U. Haagerup, S. Möller, Radial multipliers on reduced free products of operator algebras. J. Funct. Anal. 63 (), no. 8, [] U. Haagerup, T. Steenstrup, R. Szwarc, Schur multipliers and spherical functions on homogeneous trees. Internat. J. Math. (), no.,

27 [] S. Lu, D. Yan, Bochner-Riesz means on Euclidean spaces. World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 3. viii+376 pp. ISBN: [3] M. Junge, C. Le Merdy, Q. Xu, H functional calculus and square functions on noncommutative Lp-spaces. Astèrisque No. 35 (6), vi+38 pp. [4] M. Junge, T. Mei, BMO spaces associated with semigroups of operators. Math. Ann. 35 (), no. 3, [5] M. Junge, T. Mei and J. Parcet, Smooth Fourier Multipliers on Group von Neumann Algebras, Geometric Analysis and Functional Analysis, 4 (4), [6] S. Knudby, Semigroups of Herz-Schur multipliers, Journal of Functional Analysis, 66 (4) [7] T. Mei, Tent Spaces Associated with Semigroups of Operators, Journal of Functional Analysis, 55 (8) [8] S. Möller, Radial multipliers on amalgamated free products of II -factors, International Journal of Mathematics, 5, 456 (4). [9] N. Ozawa, Weak amenability of hyperbolic groups. Groups Geom. Dyn., (8), 7 8. [] V. V. Peller, Hankel operators of class S p and their applications (rational approximation, Gaussian processes, the problem of majorization of operators), Mat. Sb. (N.S.) 3(55)(4()) (98) [] V. V. Peller. Hankel operators and their applications. Springer Monographs in Mathematics. Springer-Verlag, New York, 3. [] G. Pisier, Similarity Problems and Completely Bounded Maps, expanded version Lecture Notes in Mathematics, Vol. 68 (Springer-Verlag, Berlin, ). [3] T. Pytlik, R. Szwarc, An analytic family of uniformly bounded representations of free groups. Acta Math. 57 (986), no. 3-4, [4] J. Wysoczański, A characterization of radial Herz-Schur multipliers on free products of discrete groups, J. Funct. Anal. 9() (995) [5] Y. Xu, Christoffel functions and Fourier series for multivariate orthogonal polynomials, J. Approx. Theory 8() (995) [6] K. Yosida, Functional analysis. Reprint of the sixth (98) edition. Classics in Mathematics. Springer-Verlag, Berlin, 995. xii+5 pp. 7

28 Tao Mei Department of Mathematics Wayne State University 656 W. Kirby Detroit, MI 48. USA Mikael de la Salle CNRS-ENS de Lyon, UMPA UMR 5669 F Lyon cedex 7, France 8