The Hausdorff-Young inequality on Lie groups

We prove several results about the best constants in the Hausdorff-Young inequality for noncommutative groups. In particular, we establish a sharp local central version for compact Lie groups, and extend known results for the Heisenberg group. In addition, we prove a universal lower bound to the best constant for general Lie groups.


Introduction
For f ∈ L 1 (R n ), define the Fourier transformf of f bŷ Then the Riemann-Lebesgue lemma states thatf ∈ C 0 (R n ) and f ∞ ≤ f 1 .
Further, the Plancherel theorem entails that if f ∈ L 2 (R n ), then f 2 = f 2 .
Suppose that 1 ≤ p ≤ 2 and p ′ is the conjugate exponent to p, that is, 1/p ′ = 1−1/p. Then interpolation implies the Hausdorff-Young inequality, namely, for all f ∈ L p (R n ), where C ≤ 1. We denote the best constant for this inequality, that is, the smallest possible value of C, by H p (R n ). This was found many years after the original result. We define the Babenko-Beckner constant B p by Then B p < 1 when 1 < p < 2. Theorem 1.1 (Babenko [3], Beckner [6]). For all p ∈ [1,2], Babenko treated the case where p ′ ∈ 2Z, and Beckner proved the general case. The extremal functions are gaussians; see [46] for an alternative proof.
One can extend the Babenko-Beckner theorem to more general contexts than R n , such as locally compact abelian groups G. For instance, the best constant H p (G) for the inequality (1.1) when G = R a × T b × Z c is (B p ) a . The extremal functions are of the form γ ⊗ χ ⊗ δ, where γ is a gaussian on R a , χ is a character of T b , and δ is the characteristic function of a point in Z c .
For nonabelian groups, matters are more complicated, in part because the interpretation of the L q norm of the Fourier transform for q ∈ (2, ∞) is trickier. We refer the reader to Section 2 below for details. General versions of the Hausdorff-Young inequality (1.1) were obtained by Kunze [43] and Terp [63] for arbitrary locally compact groups G, and a number of works in the literature are devoted to the study of the corresponding best constants H p (G). It is known, at least in the unimodular case, that H p (G) < 1 for p ∈ (1, 2) if and only if G has no compact open subgroups [56,25]. On the other hand, when H p (G) is not 1, its value is known only in few cases, and typically only for exponents p whose conjugate exponent is an even integer; in addition, as shown by Klein and Russo, extremal functions need not exist [38].
Recently, various authors considered local versions of the Hausdorff-Young inequality. Namely, for each neighbourhood U of the identity e ∈ G, define H p (G; U ) as the best constant in the inequality (1.1) with the additional support constraint supp f ⊆ U , and let H loc p (G) be the infimum of the constants H p (G; U ). Clearly H loc p (G) ≤ H p (G), and equality holds whenever G has a contractive automorphism. For other groups, however, the inequality may be strict, which makes the study of H loc p (G) interesting also for groups where H p (G) = 1, such as compact groups. Indeed, in the case of the torus G = T n , the value of H loc p (G) is known and is strictly less than 1 for p ∈ (1, 2). Theorem 1.2 (Andersson [1,2], Sjölin [61], Kamaly [35]). For all p ∈ [1,2], H loc p (T n ) = (B p ) n . Here we are interested in analogues of the above result for noncommutative Lie groups G. We also study what happens when additional symmetries are imposed by restricting to functions f on G which are invariant under a compact group K of automorphisms of G. Let us denote by H p,K (G) and H loc p,K (G) the corresponding global and local best Hausdorff-Young constants. Note that the original constants H p (G) and H loc p (G) correspond to the case where K is trivial. When K is nontrivial, a priori the new constants H p,K (G) and H loc p,K (G) might be smaller. However we can prove a universal lower bound, which is independent of the symmetry group K and depends only on p and the dimension of G. Theorem 1.3. Let G be a Lie group and K be a compact group of automorphisms of G. For all p ∈ [1,2], H loc p,K (G) ≥ (B p ) dim(G) . Recall that a function f on a group G is central if f (xy) = f (yx), that is, if f is invariant under the group Inn(G) of inner automorphisms of G. García-Cuerva, Marco and Parcet [28] and García-Cuerva and Parcet [29] studied the Hausdorff-Young inequality for compact semisimple Lie groups G restricted to central functions; in particular, they obtained the inequality H loc p,Inn(G) (G) > 0, which they applied to answer questions about Fourier type and cotype of functions with values in operator spaces (see also [52]). Theorem 1.3 gives a substantially more precise lower bound to H loc p,Inn(G) (G). As a matter of fact, in this case we can prove that equality holds. Theorem 1.4. Suppose that G is a compact connected Lie group. Then, for all p ∈ [1,2], H loc p,Inn(G) (G) = (B p ) dim(G) . Note on the one hand that, in the abelian case G = T n , all functions are central, so Theorem 1.4 extends Theorem 1.2. On the other hand, it would be interesting to know whether the result holds also without the restriction to central functions.
More generally, one may ask whether the inequality in Theorem 1.3 is actually an equality for an arbitrary Lie group G. Note that, due to the relation between the best constants for the Young and the Hausdorff-Young inequalities (see Proposition 2.2 below), a recent result of Bennett, Bez, Buschenhenke and Flock [7] implies that equality holds in Theorem 1.3 for all exponents p ∈ [1, 2] whose conjugate exponent is an even integer. In particular, the equality hold when p ′ ∈ 2Z for all Lie groups G with a contractive automorphism, and also for all solvable Lie groups G admitting a chain of closed subgroups where G j is normal in G j+1 and G j+1 /G j is isomorphic to R (here n = dim(G)). For many of those groups G, the upper bound H p (G) ≤ (B p ) dim(G) for p ′ ∈ 2Z was proved in [38], but the question of the lower bound was left open there, except for the Heisenberg groups. Hence Theorem 1.3 proves the sharpness of a number of results in [38]. The Heisenberg groups H n are among the simplest examples of groups in the above class. Nevertheless, determining the value of H p (H n ) = H loc p (H n ) appears to be a nontrivial problem when p ′ / ∈ 2Z, and is related to a similar problem for the so-called Weyl transform. Recall that the Weyl transform ρ on C n maps functions on C n to integral operators on L 2 (R n ) [22], and an inequality of Hausdorff-Young type can be proved for ρ [38,57]: for all p ∈ [1,2], where S q (H) denotes the qth Schatten class of operators on the Hilbert space H, and C ≤ 1. As above, we can define W p (C n ) as the best constant in (1.3), as well as corresponding local and symmetric versions W loc p (C n ), W p,K (C n ), W loc p,K (C n ). A scaling argument (see Proposition 5.1 below) then shows that, for all compact subgroups K of the unitary group U(n), (here U(n) acts naturally on C n and the first layer of H n ). So the problem of determining the best Hausdorff-Young constants for the Heisenberg group H n is equivalent to the analogous problem for the Weyl transform. In particular, (1.4) and Theorem 1.3 yield that for all p ∈ [1,2]. As an indication that equality may well hold, here we prove the following local result.
. Functions on C n or H n that are invariant under U(1) × · · · × U(1) are called polyradial. Equality in Theorem 1.5 is obtained as a consequence of the following weighted Hausdorff-Young inequality for polyradial functions f : Unfortunately we have not found a way to remove the weight and obtain the equality W p,K (C n ) = W loc p,K (C n ) for arbitrary p ∈ [1,2]; note however that W p,K (C n ) = W loc p,K (C n ) = (B p ) 2n when p ′ ∈ 2Z, as proved in [38].
Both cases where we can prove equalities in Theorems 1.4 and 1.5 for general p ∈ [1,2] correspond to Gelfand pairs (see, for example, [12]): indeed, central functions on a compact group G and polyradial functions on the Heisenberg group H n form commutative subalgebras of the respective convolution algebras L 1 (G) and L 1 (H n ). It seems a reasonable intermediate question to ask for best constants in Hausdorff-Young inequalities in the context of Gelfand pairs, since here the group Fourier transform reduces to the Gelfand transform for the corresponding commutative algebra of invariant functions, which makes the L q norm of the Fourier transform in these settings more accessible. Indeed, in both the proofs of Theorems 1.4 and 1.5, this additional commutativity allows one to relate the group Fourier transform and the Weyl transform with the Euclidean Fourier transform, for which the Babenko-Beckner result is available. Regrettably, even in the case of polyradial functions on the Heisenberg group we are not able yet to fully answer the question. Indeed, as we discuss in Section 5, in this case it seems unlikely that the best Hausdorff-Young constant on the Heisenberg group can be obtained by a direct reduction to the corresponding sharp Euclidean estimate, and new ideas appear to be needed.
As for the universal lower bound of Theorem 1.3, the intuitive idea behind its proof is that, at smaller and smaller scales, the group structure of a Lie group G looks more and more like the abelian group structure of its Lie algebra g, whence H loc p (G) is likely to be related to H p (g) = (B n ) dim(G) . Indeed, a scaling argument based on this idea readily yields the analogue of Theorem 1.3 for Young's convolution inequality (see the discussion in Section 2 below). This appears to have been overlooked in [38], where a number of upper bounds for Young constants on Lie groups are proved, which are actually equalities in view of this observation.
The additional complication with the Hausdorff-Young inequality is that it involves the L q norm of the Fourier transform. While it is reasonably clear that, at small scales, the noncommutative convolution on G approximates the commutative convolution on g, the same is not so evident for the Fourier transform: indeed, if the group Fourier transform is defined, as it is common, in terms of irreducible unitary representations, then it is not immediately clear how to relate the representation theories of G and g for an arbitrary Lie group G, let alone the corresponding Fourier transforms and L q norms thereof. Here we completely bypass the problem, by characterising the L q norm of the Fourier transform in terms of an operator norm of a fractional power of an integral operator, acting on functions on G: Here L f is the operator of convolution on the left by f and ∆ is the operator of multiplication by the modular function of G. A transplantation argument, not dissimilar from those in [51,36,49], allows us to relate the operator L f ∆ 1/q on G to its counterpart on g and obtain the desired lower bound. Although it might be evident to some experts in noncommutative integration, we are not aware of the characterisation (1.6) being explicitly observed before. What is interesting about (1.6) is that it allows one to access the L q norm of the Fourier transform through properties of a more "geometric" convolution-multiplication operator on G, which appears to be more treatable. As a matter of fact, when dealing with convolution, one can use induction-on-scales methods to completely determine the best local constants for the Young convolution inequality on any Lie group G; this remarkable result has been recently proved in [7], as a corollary of a more general result for nonlinear Brascamp-Lieb inequalities. It would be interesting to know whether similar methods could be applied to the Hausdorff-Young inequality on noncommutative Lie groups as well.
Plan of the paper. In Section 2 we discuss the definition of the L q norm of the Fourier transform for an arbitrary Lie group, by comparing a number of definitions available in the literature, and prove the characterisation (1.6); we also present a proof of the universal lower bound of Theorem 1.3, as well as its analogue for the Young convolution inequality, and discuss relations between best constants for Young and Hausdorff-Young inequalities. The sharp local central Hausdorff-Young inequality for arbitrary compact Lie groups (Theorem 1.4) is proved in Section 4; to better explain the underlying idea without delving into technicalities, the proof of the abelian case (Theorem 1.2) is briefly revisited in Section 3. Finally, in Section 5 we discuss the relations between Hausdorff-Young constants for the Heisenberg group and the Weyl transform and prove Theorem 1.5, together with the weighted inequality (1.5) for polyradial functions.

L q norm of the Fourier transform
Let G be a Lie group (or, more generally, a separable locally compact group) with a fixed left Haar measure. In order to discuss best Hausdorff-Young constants in this generality, we first need to clarify what is meant by the "Fourier transform" in this setting and how Hausdorff-Young inequalities -even the endpoint ones, such as the Plancherel formula -can be stated in this context.
A common way to generalise the Fourier transformation to this setting exploits irreducible unitary representations of G (see, for example, [47] or [23, Chapter 7] for a survey). Namely, let G u be the "unitary dual" of G, that is, the set of (equivalence classes of) irreducible unitary representations of G, endowed with the Fell topology and the Mackey Borel structure. The (unitary) Fourier transform F u f of a function f ∈ L 1 (G) is then defined as the operator-valued function on G u given by here L(H π ) denotes the space of bounded linear operators on the Hilbert space H π on which the representation π acts, and integration is with respect to the Haar measure. In case G is unimodular and type I (this includes the cases where G is abelian or compact), the Plancherel formula can be stated in the form for all f ∈ L 1 ∩L 2 (G). Here HS(H π ) denotes the space of Hilbert-Schmidt operators on H π , and integration on G u is with respect to a suitable measure, called the Plancherel measure, which is uniquely determined by the above formula; in addition, the Fourier transformation f → F u f extends to an isometric isomorphism between L 2 (G) and the direct integral L 2 u ( G) := ⊕ Gu HS(H π ) dπ. Interpolation then leads to the Hausdorff-Young inequality when 1 < p < 2, where C = 1; here, for all q ∈ [1, ∞], S q (H π ) denotes the qth Schatten class of operators on H π , and the operator-valued L q -spaces L q u ( G) are defined in terms of measurable fields of operators as in [47]. The fact that the spaces L q u ( G) constitute a complex interpolation family, that is, with equal norms for q 0 , q 1 , q ∈ [1, ∞], θ ∈ (0, 1), 1/q = (1 − θ)/q 0 + θ/q 1 , readily follows from standard interpolation results for vector-valued Lebesgue spaces and Schatten classes (see, for example, [66,31,54]) and the structure of the measurable field of separable Hilbert spaces π → H π [23,Proposition 7.19].
In the case where G is not unimodular, under suitable type I assumptions it is possible to prove a Plancherel formula similar to (2.1), where the right-hand side is adjusted by means of "formal dimension operators" [62,39,40,19,26]. Analogous modifications of (2.2) lead to a version of the Hausdorff-Young inequality that has been studied in a number of works [21,57,32,27,4].
When G is not type I, the above approach to the Plancherel formula based on irreducible unitary representation theory does not work as neatly. This however does not prevent one from studying the Hausdorff-Young inequality. Indeed, what is possibly the first appearance in the literature of the Hausdorff-Young inequality in a noncommutative setting, that is, the work of Kunze [43] for arbitrary unimodular locally compact groups (not necessarily of type I), does not express the Fourier transform in terms of irreducible unitary representations, but uses instead the theory of noncommutative integration (the same theory was used in earlier works of Mautner [50] and Segal [58] to express the Plancherel formula). This point of view was subsequently developed by Terp [63] to cover the case of nonunimodular groups and more recently has been further extended to the context of locally compact quantum groups [13,15].
One way of thinking of noncommutative L q spaces is as complex interpolation spaces between a von Neumann algebra M and its predual M * (which play the role of L ∞ and L 1 respectively) [64,42,33,54]. In general this requires establishing a "compatibility" between M and M * , which may involve a number of choices, but in our case there appears to be a natural way to proceed (see also [24,17]). Namely, the von Neumann algebra VN(G) of G (that is, the weak * -closed * -subalgebra of L(L 2 (G)) of the operators which commute with right translations) can be identified with the space Cv 2 (G) of left convolutors of L 2 (G), that is, those distributions on G which are left convolution kernels of L 2 (G)-bounded operators. Moreover, the predual V N (G) * can be identified with the Fourier algebra A(G), an algebra of continuous functions on G defined by Eymard [20] for arbitrary locally compact groups G. Now A(G) and Cv 2 (G) are naturally compatible as spaces of distributions on G (see [20,Propositions (3.26) and (3.27)]), so we can use complex interpolation to define Fourier-Lebesgue spaces of distributions on G: for q ∈ [1, ∞], we set One can check that this definition corresponds to Izumi's left L p spaces [33,34] for the von Neumann algebra VN(G) with respect to the Plancherel weight, and therefore it matches the construction given in [13,15] for quantum groups. In particular F L 2 (G) = L 2 (G) with equality of norms (see [34,Section 5] and [13, Proposition 2.21(iii)]; this corresponds to the Plancherel theorem), while clearly L 1 (G) ⊆ Cv 2 (G) with norm-decreasing embedding. Interpolation then leads to the following formulation of the Hausdorff-Young inequality: where C = 1 and p ∈ [1,2]. We then define the L p Hausdorff-Young constant H p (G) on the group G as the minimal constant C for which (2.4) holds for all f ∈ L p (G). Similarly, if U is a neighbourhood of the identity in G, we let H p (G; U ) be the minimal constant C in (2.4) when f is constrained to have support in U , and define the local L p Hausdorff-Young constant H loc p (G) as the infimum of the constants H p (G; U ) where U ranges over the neighbourhoods of the identity of G.
The approach to Hausdorff-Young constants via F L q spaces is consistent with the unitary Fourier transformation approach described above, when the latter is applicable. Indeed, as discussed in [47, Theorems 2.1 and 3.1], in the case where G is unimodular and type I, the unitary Fourier transformation F u induces iso- analogous results in the nonunimodular case can be found in [26, Theorems 3.48 and 4.12]); so by interpolation F u induces an isometric isomorphism between F L q (G) and L q u ( G) for all q ∈ [1, ∞]. Hence defining Hausdorff-Young constants in terms of the inequality (2.2) would lead to the same constants H p (G) and H loc p (G) as those we have defined in terms of F L q spaces. On the other hand, the approach via F L q spaces does not require type I assumptions, or even separability, and can be applied to every locally compact group G.
There is an alternative characterisation of the noncommutative L q spaces associated to V N (G), namely as certain spaces L q VN ( G) of (closed, possibly unbounded) operators on L 2 (G). This characterisation, which is that originally used in the works of Kunze and Terp on the Hausdorff-Young inequality, corresponds to Hilsum's approach to noncommutative L q spaces [30] based on Connes's "spatial derivative" construction [14] (the work of Kunze is actually based on an earlier version of the theory [18,59] that only applies to semifinite von Neumann algebras). We will not enter into the details of this construction and only recall two important properties. First, if the operator T belongs to L q ) where L f is the left-convolution operator by f , and we identify the modular function ∆ of G with the corresponding multiplication operator (see [13, Proposition 2.21(ii)]). Recall that convolution on G is given by at least when f and φ are in C c (G).
Note that, when q = p ′ , (2.6) matches the definitions by Kunze and by Terp of the L p Fourier transformation F p : [43,63]. In other words, the L p Fourier transformation F p : , whence the compatibility with the Kunze-Terp approach of the above definition of the best Hausdorff-Young constants based on (2.4).
Another consequence of the above discussion is the following characterisation of the F L q (G) norm in terms of a more "concrete" operator norm.
Proof. By (2.5) and (2.6), On the other hand, the operator L g ∆ is given by since L g ∆ = |L f ∆ 1/q | q is a positive operator, the kernel g must be a function of positive type (see, for example, [23, Section 3.3]), whence and we are done.
A classical way of accessing Hausdorff-Young constants is through their relations with best constants in the Young convolution inequalities. Recall that, for a possibly nonunimodular group G, the k-linear version of Young's inequality takes the following form: for all where the inequality is written for the right Haar measure). As in the case of the Hausdorff-Young inequality, we can define the Young constant Y p1,...,p k (G) for G as the smallest constant C for which (2.8) holds for all f 1 ∈ L p1 (G), . . . , f k ∈ L p k (G), as well as the localised versions Y p1,...,p k (G; U ) for neighbourhoods U of the identity of G (corresponding to the constraint supp f 1 , . . . , supp f k ⊆ U ) and Y loc p1,...,p k (G). Note that the above Young inequality (2.8) is "dual" to the following Hölder-type inequality for F L p -spaces: for all this is a rephrasing of Hölder's inequality for Hilsum's noncommutative L p spaces, and valid for all α ∈ C. Let us also recall that where f → f * is the isometric conjugate-linear involution of L 1 (G) given by The proposition below summarises a number of relations between Young and Hausdorff-Young constants that can be found in the literature, at least in particular cases (see, for example, [6] and [38]), as well as corresponding local versions.
Proposition 2.2. Let G be a locally compact group.
(i) For all p 1 , . . . , p k , q ∈ [1, 2] such that is supported in U k and, to estimate its L q ′ norm, it is enough to test it against functions g that are also supported in U k ; the same argument as above then also gives . Part (i) gives us the inequality H p (G) ≥ Y p1,...,p k (G) 1/k and its local version. On the other hand, for all f ∈ C c (G), if we definef = ∆ 1/p ′ f * , then f p = f p and, by (2.10) and (2.11), For all j = 1, . . . , k, let f j be eitherf or f , according to whether k − j is odd or even, and define g =˚k j=1 (f j ∆ (j−1)/p ′ ). Then, since p ′ = 2k, and, by (2.10), . The inequalities are proved by a simple extension of Klein and Russo's argument for the case of semidirect products [38, proof of Lemma 2.4], using the "measure disintegration" in [23,Theorem (2.49)]. In the case of direct products, equalities follow by testing on tensor product functions (see [6,Lemma 5]).
The next lemma contains the fundamental approximation results that allow us to relate Hausdorff-Young constants on a Lie group G and on its Lie algebra g by means of a "transplantation" or "blow-up" technique. The Lie algebra g will be considered as an abelian group with addition, and the Lebesgue measure on g is normalised so that the Jacobian determinant of the exponential map exp : g → G is equal to 1 at the origin. The context will make clear whether the notation for convolution and involution (f * g, f * , L f ) refers to the group structure of G or the abelian group structure of g.
Set also f λ,p = f λ,p,0 . Then the following hold.
(iii). Note first that ∆ α L (f λ,1 ) * * f λ,1 ∆ α is a nonnegative self-adjoint operator on L 2 (G) (which may be unbounded when G is nonunimodular) and that, for all N ∈ N, the L 2 -domain of (∆ α L (f λ,1 ) * * f λ,1 ∆ α ) N contains all compactly supported functions in L 2 (G), so the left-hand side of (2.16) is well-defined. Note moreover that whence, by (2.10), So, in the case where Φ(u) = u N for some N ∈ N, (2.16) follows from (2.15). Note that, by shrinking Ω if necessary, we may assume that Ω and exp(Ω) have compact closures in g and G, and moreover the topological boundary of exp(Ω) has null Haar measure (indeed shrinking Ω does not change the left-hand side of (2.16) for λ sufficiently small). As in [49, proof of Theorem 5.2], we can now extend the diffeomorphism φ := exp | −1 Ω : exp(Ω) → Ω to a diffeomorphism φ * : U → V , where U and V are open sets in G and g containing exp(Ω) and Ω, and moreover G\U has null Haar measure. Finally, let J * : V → (0, ∞) be the density of the push-forward via φ * of the Haar measure with respect to the Lebesgue measure (so J * = J on Ω), and define an isometric isomorphism Ψ : and another self-adjoint operatorÂ λ on L 2 (g) byÂ λ = T −1 λÃ λ T λ , where T λ is the isometry on L 2 (g) defined by It is now not difficult to check that, for all Φ ∈ C pg ([0, ∞)) and g, h ∈ C c (g), For all N ∈ N, from the cases Φ(u) = u N and Φ(u) = u 2N of (2.16) and (2.18) it follows that, for all g, h ∈ C c (g), as λ → 0, where A := L f * * f . In particular, from this and the density of C c (g) in L 2 (g) it is not difficult to conclude that, for all g ∈ C c (g), in L 2 -norm as λ → 0 [10, Proposition 3.32]. Since A is a bounded self-adjoint operator on L 2 (g), C c (g) is a core for A and [67, Theorem 9.16] implies that in the sense of strong resolvent convergence as λ → 0. In turn this implies that, for all bounded continuous functions Φ : [0, ∞) → C, in the sense of strong operator convergence as λ → 0 [67, Theorem 9.17]. Suppose now that Φ ∈ C pg ([0, ∞)). Then we can write Φ(u) =Φ(u) (1 + u N ) for some bounded continuous functionΦ : [0, ∞) → C and N ∈ N. For all g, h ∈ C c (g), by (2.18), for all λ sufficiently small, and the last quantity tends to as λ → 0, by (2.20) and (2.21).
(iv). This is just a restatement of part (iii) in the case where Φ(u) = u q/2 .
We can finally prove the enunciated relation between Hausdorff-Young constants of a Lie group and its Lie algebra. We find it convenient to state the result together with its analogue for Young constants, since both follow by the approximation results of Lemma 2.3. Part (ii) of Proposition 2.4, together with the following Remark 2.5 and the Babenko-Beckner theorem for R n , prove Theorem 1.3.
As in [60], we define a contractive automorphism of a locally compact group G as an automorphism τ such that lim k→∞ τ k (x) = e for all x ∈ G.
Proposition 2.4. Let G be a locally compact group.

24)
with equality if G has a contractive automorphism. Moreover, when G is an n-dimensional Lie group with Lie algebra g, Proof. (i). The first inequality is obvious. Moreover, in case G has a contractive automorphism, the reverse inequality follows from a scaling argument. Indeed, for all automorphisms γ of G, there exists κ γ ∈ (0, ∞) such that the push-forward via γ of the Haar measure on G is κ γ times the Haar measure.
whence it is immediate that both sides of Young's inequality (2.8) are scaled by the same factor when each f j is replaced with R γ f j . Now, by density, the value of the best constant Y p1,...,p k (G) may be determined by testing (2.8) on arbitrary f 1 , . . . , f k ∈ C c (G). Moreover, if τ is a contractive automorphism of G and U is any neighbourhood of the identity, then, for all compact subsets K ⊆ G, there exists N ∈ N such that τ N (K) ⊆ U [60, Lemma 1.4(iv)]; in particular, for all f 1 , . . . , f k ∈ C c (G), by taking γ = τ N for sufficiently large N ∈ N, we see that supp R γ f j ⊆ U . This shows that Y p1,...,p k (G) ≤ Y p1,...,p k (G; U ) for all neighbourhoods U of e ∈ G, and consequently Y p1,...,p k (G) ≤ Y loc p1,...,p k (G). As for the second inequality, let U be an arbitrary neighbourhood of e ∈ G. To conclude, it is sufficient to show that Y p1,...,p k (g) ≤ Y p1,...,p k (G; U ).
(ii). Much as in part (i), the first inequality is obvious, and equality follows from a rescaling argument when G has a contractive automorphism, since for all automorphisms γ of G.
As for the second inequality, we need to show that H p (g) ≤ H p (G; U ) for all neighbourhoods U of e ∈ G. Set q = p ′ and note that, by (2.7), For λ ∈ (0, ∞), r ∈ [1, ∞] and f, g, h ∈ C c (g), we define f λ,r , g λ,r , h λ,r : G → C as in Lemma 2.3. For all sufficiently small λ, supp f λ,r ⊆ U and therefore . As λ → 0, by Lemma 2.3 we then deduce that . By the arbitrariness of g, h ∈ C c (g), and finally, by the arbitrariness of f ∈ C c (g), H p (g) ≤ H p (G; U ).
Remark 2.5. The argument in Proposition 2.4 can be extended to the case of inequalities restricted to particular classes of functions on G. In particular, suppose that the class of functions is determined by invariance with respect to the action of a compact group K of automorphisms of G. Then it is possible to choose a positive inner product on g so that K acts on g by isometries (take any inner product on g and average it with respect to the action of K), and the correspondence (2.12) preserves K-invariance whenever Ω is a ball centred at the origin. Moreover the class of functions on g under consideration contains all radial functions. Since the extremisers for Young and Hausdorff-Young constants on g are centred gaussians [6,9], which may be assumed to be radial, the resulting lower bounds do not change. This observation completes the proof of Theorem Corollary 2.7. Let G be a n-dimensional solvable Lie group admitting a chain of closed subgroups where G j is normal in G j+1 and G j+1 /G j is isomorphic to R. Denote by B p the Babenko-Beckner constant. Then the following hold.
(ii). From part (i) and Proposition 2.2(ii), we deduce immediately that H p (G) = (B p ) n whenever q is an even integer. On the other hand, by Proposition 2.4(ii), [6], and we are done.

The n-torus T n revisited
The proof of the central local Hausdorff-Young theorem on a compact Lie group mimics that of the local Hausdorff-Young theorem on T n , and we present this case first to make the proof of the general case more evident.
Proof of Theorem 1.2. There is no loss of generality in supposing functions smooth; this ensures that all the sums and integrals that occur in the proof below converge.
Let us identify T n with the subset (−1/2, 1/2] n of R n . For f ∈ L 1 (T n ), the Fourier transformf : Z n → C of f is given bŷ for all µ ∈ Z n . We denote by V the open subset (−1/2, 1/2) n of R n . For any function f ∈ L 1 (T n ) such that supp f ⊆ V , we define F on R n by we say that F corresponds to f . Clearly F ∈ L 1 (R n ) andF | Z n =f ; further, if f is smooth, so is F . We are going to transfer the sharp Hausdorff-Young theorem for F to f . The Plancherel formulae for Fourier series and Fourier integrals imply that In particular, sinceF | Z n =f , If we could interpolate between these inequalities, then it would follow that for all q ∈ [2, ∞] andF in L q (R n ), whence and we would be done. But we can not interpolate, because (3.1) does not hold for allF in L 2 (R n ), or even for allF in a dense subspace of L 2 (R n ), but only for thoseF where supp F ⊆ V ; inter alia, this ensures thatF is smooth so thatF | Z n is well-defined. So we prove a variant of (3.2). Let U be a small neighbourhood U of 0 in T n such that U ⊆ V , and take φ ∈ A(R n ) such that supp φ ⊆ V and φ(x) = 1 for all x ∈ U . We now define We claim that when q ∈ [2, ∞], To prove the claim, observe that the inverse Fourier transform ofφ * G is supported in V , whence for all G ∈ L 2 (R n ), by (3.1) and a standard convolution inequality. Similarly, sincê φ * G is continuous, the same inequalities hold when 2 is replaced by ∞. Thus (3.3) holds when q is 2 or ∞. The Riesz-Thorin interpolation theorem establishes (3.3) for all q ∈ [2, ∞].
To conclude the proof, take f ∈ C ∞ (T n ) such that supp f ⊆ U , and let F correspond to f .
by (3.3). This now gives This proves that H p (T n ; U ) ≤ φ L 1 (R n ) (B p ) n . By choosing U small enough, we may make φ L 1 (R n ) as close to 1 as we like (see [45]): indeed, we can take φ = |K| −1 1 U+K * 1 K , where K = −K is a fixed small neighbourhood of the origin (here 1 Ω denotes the characteristic function of a measurable set Ω ⊆ R n and |Ω| its Lebesgue measure), so that supp φ ⊆ U + 2K and So H loc p (T n ) ≤ (B p ) n , and the converse inequality is given by Theorem 1.3.

Compact Lie groups
Before entering into the proof of Theorem 1.4, we present a summary of the theory of representations and characters of compact connected Lie groups G. For more details, the reader may consult, for example, [11,41]. We assume throughout that G is not abelian, since the abelian case was treated in Theorem 1.2.
A compact connected Lie group G comes with a set Λ + of dominant weights, which parametrise the collection of irreducible unitary representations π λ of G modulo equivalence. Each such representation π λ is of finite dimension d λ and has a character χ λ given by trace π λ (·).
Assume that the Haar measure on G is normalised so as to have total mass 1. The Peter-Weyl theory gives us the Plancherel formula: if f ∈ L 2 (G), then In other words, the group Plancherel measure on the unitary dual of G can be identified with the discrete measure on Λ + that assigns mass d λ to the point λ.
From the discussion in Section 2, we deduce that for all q ∈ [1, ∞). If f is a central function, then π λ (f ) is a multiple of the identity andf For q = 2, this corresponds to the fact that the characters χ λ form an orthonormal basis for the space of square-integrable central functions.
A more precise description of the set Λ + of dominant weights and the characters χ λ can be given as follows. Recall that the conjugation action of the group G on itself determines the adjoint representation of G on g: Since G is compact, there exists an Ad(G)-invariant inner product on g, which in turn determines a Lebesgue measure on g; we scale the inner product so that the Jacobian determinant J : g → R of the exponential mapping is 1 at the origin. Clearly J is an Ad(G)-invariant function.
The group G contains a maximal torus T , that is, a maximal closed connected abelian subgroup, which is unique up to conjugacy; its Lie algebra t is a maximal abelian Lie subalgebra of g. The set Γ of X in t such that exp X = e is a lattice in t, and T may be identified with t/Γ. The weight lattice Λ is the dual lattice to Γ, that is, the set of elements λ of the dual space t * taking integer values on Γ: equivalently, Λ is the set of the λ ∈ t * such that X → e 2πiλ(X) descends to a character κ λ of T . We say that a weight λ ∈ Λ occurs in a unitary representation π of G if the character κ λ of T is contained in the restriction of π to T . Weights occurring in the (complexified) adjoint representation are called roots. A choice of an ordering splits roots into into positive and negative roots. We denote by ρ half the sum of the positive roots. The set Λ + of dominant weights is the set of the λ ∈ Λ having nonnegative inner product with all positive roots. The irreducible representation π λ of G corresponding to λ ∈ Λ + is determined, up to equivalence, by the fact that λ is the highest weight occurring in π λ (that is, λ occurs in π λ , while λ + α does not occur in π λ for any positive root α).
Via the orthogonal projection of g onto t, we can identify t * with a subspace of g * . Given λ in g * , we write O λ for the compact set Ad(G) * λ, usually called the orbit of λ. Kirillov's character formula [37, p. 459] states that, for all X ∈ g and all λ ∈ Λ + , where σ is a canonical Ad(G) * -invariant measure on O λ+ρ , and ξ · X denotes the duality pairing between ξ ∈ g * and X ∈ g. When X = 0, this formula becomes the normalisation Proof of Theorem 1.4. Take a small connected conjugation-invariant neighbourhood U of the identity in G that is also symmetric, that is, Let V be the small connected neighbourhood of 0 in g such that U = exp V and exp is a diffeomorphism from a neighbourhood of V onto a neighbourhood of U in G.
To a function f on G supported in U , we associate the function F on g supported in V by the formula Then J 1/p−1/2 F p = f p . We define the Fourier transformF of F as follows: The following conditions are equivalent: f is central on G; F is Ad(G)-invariant on g; andF is Ad(G) * -invariant on g * . Assume that f is central and supported in U , and let F be the associated function on g. From the character formula (4.1), a change of variables, and a change of order of integration, This, combined with the Plancherel theorems for central functions on G and for functions on g, implies that For such functions, moreover,F is continuous and so For a function H on g * , we define Much as in the case of T n , we choose an Ad(G)-invariant function φ ∈ A(g) which vanishes off V and takes the value 1 on the open Ad(G)-invariant subset W of V . For H in L 1 (g * ) + L ∞ (g * ), we define the function T H by For such functions H, the inverse Fourier transform F ofφ * H G is supported in V and is Ad(G)-invariant, so the corresponding function f on G is central and supported in U . From our previous discussion, By Riesz-Thorin interpolation, when 2 ≤ q < ∞, Much as in the proof of Theorem 1.2, if f is a central function on G supported in exp(W ) ⊆ U , and F is the Ad(G)-invariant function on g corresponding to f , then TF (λ) =φ * F (λ + ρ) =F (λ + ρ) for all λ ∈ Λ + . Hence, if n = dim G, from the Hausdorff-Young inequality on R n we deduce that which shows that H p,Inn(G) (G; exp(W )) ≤ φ 1 (B p ) n sup X∈W J(X) 1/2−1/p . By taking W small, we may make both sup X∈W J(X) 1/2−1/p and φ 1 close to 1. So H loc p,Inn(G) (G) ≤ (B p ) n , and the converse inequality is given by Theorem 1.3.

The Weyl transform
In this section, we shall mostly adopt the notation from Folland's book [22]. The Weyl transform ρ(f ) of a function f ∈ L 1 (C n ) can be written as the operator on L 2 (R n ), where uD = n j=1 u j D j and vX = n j=1 v j X j , and where D j and X j denote the operators Explicitly, ρ(f ) is the integral operator given by with integral kernel given by As Folland points out on page 24 of his monograph, this notion of "Weyl transform" is historically incorrect-the Weyl transform of f should rather be ρ(f ), the pseudodifferential operator associated to the symbol f in the Weyl calculus [22,Chapter 2]. Nevertheless, we shall use the definition of Weyl transform above.
In [38], the authors consider the operator ν(f ) given by and call this the Weyl operator associated to f -this appears to be even more inappropriate, as ν(f ) is actually more closely related to the Kohn-Nirenberg calculus (see, for example, [22, (2.32)]). In any case, it is easily seen that the operators ν(f ) and ρ(f ) are related by the identity (compare also [22,Proposition 2.33]).
We are interested in best constants in Hausdorff-Young inequalities of the form for suitable functions f , for instance Schwartz functions. In light of (5.1), we may work with ν(f ) in place of ρ(f ) equally well. As discussed in the introduction, we denote by W p (C n ) the best constant C in (5.2), and use the symbols W loc p (C n ), W p,K (C n ) and W loc p,K (C n ) for the corresponding local and K-invariant variants. If p = 2, then ρ is indeed isometric from L 2 (C n ) onto the space of Hilbert-Schmidt operators [22,Theorem (1.30)], and thus the following "Plancherel identity" for the Weyl transform holds true: This tells us that W 2 (C n ) = 1 and, by interpolation, W p (C n ) ≤ 1 for all p ∈ [1,2]. However, as Klein and Russo have shown, W p (C n ) < 1 when 1 < p < 2. Indeed, [38, Theorem 1] may be restated by saying that when p ′ ∈ 2Z. Moreover, in contrast with the Euclidean case, there are no extremal functions for the optimal estimate-the best constant can only be found as a limit, for instance along a suitable family of Gaussian functions f . This raises the question whether (5.4) holds for more general p ∈ [1,2]. Besides being of interest in its own right, the determination of the best constants in the Hausdorff-Young inequality (5.2) for the Weyl transform on C n is relevant to the analysis of the analogous inequality on the Heisenberg group H n . Indeed, the proof of Klein and Russo [38,Theorem 3] that when p ′ ∈ 2Z is based on a reduction, via a scaling argument, to the corresponding result (5.4) for the Weyl transform. A somewhat refined version of the scaling argument, presented below, shows that the problem of determining the best Hausdorff-Young constants for the Heisenberg group is completely equivalent to the analogous problem for the Weyl transform, irrespective of the exponent p ∈ [1,2], and also in case of restriction to functions with symmetries.
Proof. Let us identify H n with C n × R with group law The Lebesgue measure on C n ×R is a Haar measure on H n , which we fix throughout. The Schrödinger representation π of H n on L 2 (R n ) is given by [22, (1.25)]. For all λ ∈ R \ {0}, the map A λ : H n → H n , given by is an automorphism of H n . The representations π λ = π • A λ form a family of pairwise inequivalent irreducible unitary representations of H n , in terms of which we can express the Plancherel formula for H n : π λ (F ) 2 HS |λ| n dλ. [22, p. 39]. Hence, by the discussion in Section 2, for all q ∈ [1, ∞), For all F ∈ L 1 (H n ) and λ ∈ R, let us set Then π λ (F ) = ρ(Z λ F λ ), (5.7) where, for all functions f on C n , From the definition of ρ, it is not difficult to show that where Sf (z) = f * (z) = f (−z). From this it readily follows that Then Z λ F λ is also K-invariant for all λ > 0. Hence, by (5.6), (5.7) and (5.8), where we applied, in order, the sharp Hausdorff-Young inequality for the Weyl transform and K-invariant functions, a scaling, the Minkowski integral inequality (note that p ′ /p ≥ 1) and the sharp Hausdorff-Young inequality on R. This shows that Conversely, let f ∈ C ∞ c (C n ) be K-invariant and φ : R → C be in the Schwartz class, and let F = f ⊗ φ. Then F is also K-invariant, and moreover F λ =φ(λ)f . So, by applying the sharp Hausdorff-Young inequality on H n to F we obtain that For µ ∈ (0, ∞) and λ 0 ∈ R \ {0}, take so thatφ (λ) = µ −1/2 e −(π/µ)(λ−λ0) 2 and φ p ′ = B p φ p , since gaussians are extremal functions for the Hausdorff-Young inequality on R.
With this choice of φ, the inequality (5.9) can be rewritten as where * denotes convolution on R and is continuous too, so R f is a continuous function on R \ {0}. Moreover Φ µ is an approximate identity as µ → 0. Hence, by taking the limit as µ → 0, we obtain Let us come back to the question whether the identity (5.4) holds for arbitrary p ∈ [1,2]. The following result, which allows for arbitrary p but restricts the class of functions f and, regrettably, also requires a weight in the p-norm, gives another indication that this might be true. Recall that a function f on C n is polyradial if or, equivalently, if f is invariant under the n-fold product group U(1) × · · · × U(1).
As observed in the introduction, this inequality implies that W loc p,K (C n ) ≤ (B p ) 2n for K = U(1) × · · · × U(1), and a fortiori also for any larger group K.
Proof. We present a proof of Proposition 5.2 which follows the philosophy of the proof of Theorem 1.4. The key is the following identity relating Laguerre polynomials to Bessel functions: where α ∈ (−1, ∞) [44, (4.19.3)]. In order to avoid technicalities, let us concentrate on the case where n = 1; we shall later indicate the straightforward changes in the argument which are needed to deal with general n ≥ 1.
Recall also that the Euclidean Fourier transform of any radial L 1 -function g on C ∼ = R 2 can be written in polar coordinates aŝ g(ζ) = 2π ∞ 0 g 0 (r) J 0 (2π|ζ|r)r dr, (5.13) where g(z) = g 0 (|z|). We assume that f has compact support, and put F (z) = e (π/2)|z| 2 f (z). Since alsoF is radial, we may writeF (ζ) =F 0 (|ζ|). Combining (5.11) and (5.13), we obtaiñ which can be re-written as where the measures dµ k , k ∈ N, are probability measures on C. Combining the aforementioned Plancherel identity for the Weyl transform, which leads to with the trivial estimate we see that from here on we can easily modify the argument in the proof of Theorem 1.4 in order to arrive at (5.10). Indeed, an even simpler interpolation argument is possible here, which avoids any smallness assumption on the support of f . For suitable functions φ on the positive real line, let us writeφ for all k ∈ Z. We claim that φ ℓ q ≤ φ L q (R + ,dt) (5. 16) for all q ∈ [1, ∞]. Indeed, this estimate is trivial for q = ∞, since the t k k! e −t dt are probability measures, and for q = 1 we may estimate as follows: Thus, (5.16) follows by Riesz-Thorin interpolation. From (5.16) and (5.14), and thus, by the sharp Hausdorff-Young inequality on R 2 , we obtain whence (5.10) follows. Let us finally indicate the changes needed to deal with the case of arbitrary n. The Laguerre functions must be replaced by the n-fold tensor products where k = (k 1 , . . . , k n ) ∈ N n , and thus, in place of (5.12), where k ∈ N n . Accordingly, the measures dµ k must be replaced by the n-fold tensor products dµ k = dµ k1 ⊗ · · · ⊗ dµ kn , which are again probability measures, and so on. It then becomes evident that the proof carries over without any difficulty to this general case. Remark 5.3. There are indications that it may not be possible to establish (5.10) without the presence of the weight e (π/2)|·| 2 by means of a reduction to the Euclidean Fourier transform and the Babenko-Beckner estimate, and that new techniques are required. Let us again restrict our discussion for simplicity to the case n = 1.
There is another interesting identity relating Laguerre functions and Bessel functions, namely where α ∈ (−1, ∞) [44, (4.20.3)]. For α = 0, this in combination with (5.13) implies the well-known identity (see [22, Remark after Theorem (1.105)], which is based on a more conceptual approach based on the Wigner transform). This easily leads to the identitỹ In contrast with (5.15), the signed measure dν k oscillates when k ≥ 1 and is no longer a probability measure. Indeed, by [48, Lemma 1], we have Thus we cannot use (5.18) in place of (5.15) as before in order to get a sharp Hausdorff-Young estimate for ρ(f ) without a weight. Even the case where p ′ = 2m for some m ∈ Z does not seem to allow one to reduce to the Euclidean estimate. Indeed, note that, for all f ∈ L 1 (C n ), ρ(f * ) = ρ(f ) * and ρ(f ) ρ(g) = ρ(f × g), (5.19) where f * (z) = f (−z) and f × g denotes the twisted convolution of f and g, that is, f × g(z) = C n f (z − w) g(w) e πiℑ(z·w) dw (5.20) [22, (1.32)]. In particular, if f is radial and real-valued, then f = f * and therefore ρ(f ) 2m S 2m = ρ(f ) m 2 HS = ρ(f × · · · × f ) 2 HS = f × · · · × f 2 2 , with m factors f . A reduction to the sharp estimate for the Euclidean Fourier transformf of f would therefore require the validity of an estimate of the form where * denotes the Euclidean convolution. However this estimate is false, even when m = 2. Indeed, it is sufficient to test the estimate (5.21) when f = χ k . Note that, from (5.12) and the orthogonality of Laguerre polynomials, χ k (l) = ρ(χ k )h l , h l = χ k , χ l = δ kl .
In particular ρ(χ k × χ k ) = ρ(χ k ), that is, Therefore χ k × χ k 2 = χ k 2 = 1, while χ k 4 = 2 −1/2 χ k 4 ∼ k −1/4 (log k) 1/4 as k → ∞, by (5.17) and [48,Lemma 1]. This shows that (5.21) cannot hold when m = 2 and for all radial real-valued functions f (not even with some constant larger than one multiplying the right-hand side). ♦ In order to conclude the proof of Theorem 1.5, we need to prove the lower bound for any compact subgroup K of U(n). As we will see, this can be done much as in Section 2. For a function f ∈ L 1 (C n ) + L 2 (C n ), let T f denote the operator of twisted convolution on the left by f , that is, In analogy with Proposition 2.1, we can characterise the Schatten norms of Weyl transforms ρ(f ) as follows.
Proposition 5.4. For all q ∈ [2, ∞] and f ∈ C c (C n ), . Proof. From the Plancherel formula (5.3) for the Weyl transform, together with (5.19), it is easily seen that, for all f ∈ L 1 (G), This corresponds to the well-known fact that the norm of a linear operator on L 2 (R n ) is the same as the norm of the corresponding left-multiplication operator on HS(L 2 (R n )). Note, moreover, that the analogue of (5.19) holds: Hence the correspondence ρ(f ) → T f induces an isometric * -isomorphism between L(L 2 (R n )) and the von Neumann algebra of operators on L 2 (C n ) generated by {T f : f ∈ L 1 (C n )}. Take now f ∈ C c (C n ). Then ρ(f ) ∈ S q (C n ) and ρ(f ) q S q (C n ) = |ρ(f )| q/2 2 HS .
Since isomorphisms between von Neumann algebras preserve the polar decomposition and the functional calculus, In order to conclude, then it is enough to show that ρ(g) 2 HS = T 2 g L 1 (C n )→L ∞ (C n ) . On the other hand, T g = |T f | q/2 is a nonnegative self-adjoint operator, so and, according to (5.20), T g is an integral operator with kernelK g given bỹ K g (z, w) = g(z − w) e πiℑ(z·w) , whence T g L 1 (C n )→L 2 (C n ) = ess sup w∈C n K g (·, w) 2 = g 2 = ρ(g) HS , and we are done.
Given the above characterisation, the proof of the inequality (5.22) proceeds, much as in Section 2, via a "blow-up" argument. The main observation here is that, if S λ denotes the L 1 -isometric scaling on C n , where f × λ g(z) = C n f (z − w) g(w) e πiλ 2 ℑ(z·w) dw; moreover, from the above formula it is clear that, as λ → 0, the scaled twisted convolution × λ tends to the standard convolution on C n ∼ = R 2n (see also [16]). Following this idea, it is not difficult to prove the analogues of Lemma 2.3 and Proposition 2.4, where the twisted convolution × and the standard convolution on C n take the place of the convolutions on the Lie group and the Lie algebra respectively. In addition, the action of U(n) on functions on C n commutes with the scaling operators S λ and the twisted convolution, so the analogue of Remark 2.5 applies here. We leave the details to the interested reader.
Remark 5.5. Given the noncommutative subject of this paper, it is natural to ask whether the best constants H p (G), H loc p (G), . . . are the same in the category of operator spaces (that is, quantized or noncommutative Banach spaces). To be more precise, let us equip the (commutative and noncommutative) L q -spaces involved in the corresponding Hausdorff-Young inequality with their natural operator space structures [53]. Does the complete L p → L p ′ norm of the Fourier transform coincide with the corresponding norm H p (G) in the category of Banach spaces? In the Euclidean case of H p (R n ), this problem was asked by Pisier in 2002 to the fourth-named author, but it is still open.Éric Ricard recently noticed that such a result for the Euclidean Fourier transform (that is, its completely bounded norm is still given by the Babenko-Beckner constant raised to the dimension of the underlying space) would give the expected constants for the Weyl transform in CCR algebras and, therefore, also for the Fourier transform in the Heisenberg group. Unfortunately, Beckner's original strategy crucially uses hypercontractivity, which has been recently proved to fail in the completely bounded setting [5]. In conclusion, the above discussion indicates one more time (see Remark 5.3) that some new ideas seem to be necessary to solve these questions. ♦