Abstract
The Fourier algebra of the affine group of the real line has a natural identification, as a Banach space, with the space of trace-class operators on \(L^2({{\mathbb {R}}}^\times , dt/ |t|)\). In this paper we study the “dual convolution product” of trace-class operators that corresponds to pointwise product in the Fourier algebra. Answering a question raised in work of Eymard and Terp, we provide an intrinsic description of this operation which does not rely on the identification with the Fourier algebra, and obtain a similar result for the connected component of this affine group. In both cases we construct explicit derivations on the corresponding Banach algebras, verifying the derivation identity directly without requiring the inverse Fourier transform. We also initiate the study of the analogous Banach algebra structure for trace-class operators on \(L^p({{\mathbb {R}}}^\times , dt/ |t|)\) for \(p\in (1,2)\cup (2,\infty )\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
1.1 Background and Motivation
Given a bounded and SOT-continuous representation \(\pi \) of a topological group G on a Banach space E, one may associate to each \(\xi \in E\) and \(\phi \in E^*\) the coefficient function \(\phi ( \pi ({\underline{\quad }})\xi ) \in C_b(G)\). The vector space generated by all coefficient functions of \(\pi \) admits a natural norm, stronger than the uniform norm of \(C_b(G)\), and its completion in this norm is called the coefficient space of \(\pi \).
If G is locally compact, we denote by \(\mathrm{A}(G)\) the coefficient space of the left regular representation \(\lambda :G\rightarrow {\mathcal {U}}(L^2(G))\). Eymard [7] showed that \(\mathrm{A}(G)\) is actually a Banach algebra with respect to pointwise product, now called the Fourier algebra of G. When G is abelian, the Fourier transform gives an isometric isomorphism between \(\mathrm{A}(G)\) and the convolution algebra \(L^1({\widehat{G}})\). Even when G is non-abelian, a well-established theme in abstract harmonic analysis has been to view \(\mathrm{A}(G)\) as some kind of convolution algebra on a “quantum group” that is dual to G. However, in most cases this “dual convolution” is only defined in a formal or abstract sense.
This article studies a particular case where this notion of dual convolution can be made precise and described explicitly. Consider the group of affine transformations of \({\mathbb {R}}\), given the natural topology, which we denote by \({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}}\). This group has an unusual property that never occurs for non-trivial compact or abelian groups: writing \({\mathsf {H}}=L^2({{\mathbb {R}}^{\times }}, dt/|t|)\), there is an irreducible unitary representation \(\pi :{{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}}\rightarrow {\mathcal {U}}({\mathsf {H}})\) such that \(\mathrm{A}({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\) coincides with the coefficient space of \(\pi \), which we denote by \(\mathrm{A}_\pi ({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\). Associated to \(\pi \) is a surjective norm-decreasing map \(\Psi :{\mathsf {H}}\mathbin {{\widehat{\otimes }}}{\overline{{\mathsf {H}}}}\rightarrow \mathrm{A}_\pi ({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\), which is isometric since \(\pi \) is irreducible.
Since \(\mathrm{A}_\pi ({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})=\mathrm{A}({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\), and since \(\mathrm{A}({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\) is a Banach algebra with respect to pointwise product, we can use the surjective isometry \(\Psi :{\mathsf {H}}\mathbin {{\widehat{\otimes }}}{\overline{{\mathsf {H}}}}\rightarrow \mathrm{A}_\pi ({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\) to equip \({\mathcal {S}}_1({\mathsf {H}})={\mathsf {H}}\mathbin {{\widehat{\otimes }}}{\overline{{\mathsf {H}}}}\) with a commutative Banach algebra structure. In [6, Problème 2.7], after making this observation, Eymard and Terp pose the following challenge:
Interpréter cette multiplication en terme des opérateurs!
The present paper answers their challenge by providing an explicit formula for the new multiplication on \({\mathcal {S}}_1({\mathsf {H}})\) — this is what we refer to as “dual convolution” for \({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}}\). To our knowledge, such a formula has not been recorded before in the literature.
Having established this explicit formula, the rest of our article investigates some applications and variations, described in more detail in Sect. 1.2. These applications and variations are intended to demonstrate that the resulting Banach algebra \({\mathcal {A}}\) can be studied directly, without any prior knowledge of the isomorphism \(\Psi :{\mathcal {A}}\rightarrow \mathrm{A}({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\), and to argue that \({\mathcal {A}}\) is an object of intrinsic interest. A loose but instructive parallel is with certain naturally occuring Banach function algebras, such as \(\mathrm{AC}([0,1])\), that can be modelled as \(L^1\)-convolution algebras of certain semigroups.
Informally: by introducing dual convolution on \({\mathcal {S}}_1({\mathsf {H}})\), we are swapping an object where the algebra structure is easy to describe but the norm is complicated, for one where norm estimates are straightforward but the algebra structure is more complicated. This offers an alternative point of view on \(\mathrm{A}({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\), which could shed new light on its known properties as a Banach algebra. Moreover, analogous constructions for higher-dimensional semidirect product groups may yield new results for their Fourier algebras.
1.2 Outline of Our Paper
In Sect. 2 we set up basic notation and definitions that will be used throughout the paper. We give an explicit definition/description of the group \({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}}\) and the key representation \(\pi :{{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}}\rightarrow {\mathcal {U}}({\mathsf {H}})\), and collect some known facts from the literature for ease of reference.
In Sect. 3 we give an explicit formula for dual convolution as a bilinear map \(\boxtimes : {\mathcal {S}}_1({\mathsf {H}})\times {\mathcal {S}}_1({\mathsf {H}})\rightarrow {\mathcal {S}}_1({\mathsf {H}})\). The formula is motivated by showing how one expresses the product of two coefficient functions of \(\pi \) as a continuous average of other coefficient functions (a so-called “fusion formula”). We show by explicit calculations, without invoking the representation \(\pi \), that \(\boxtimes \) is commutative and associative. We also show that if trace-class operators on \({\mathsf {H}}\) are given as integral kernel functions, then \(\boxtimes \) can be described on that level also.
Writing \({\mathcal {A}}\) for the Banach algebra \(({\mathcal {S}}_1({\mathsf {H}}),\boxtimes )\): in Sect. 4 we construct a derivation \(D:{\mathcal {A}}\rightarrow {\mathcal {A}}^*\) which has interesting operator-theoretic properties as a linear map between Banach spaces (it is cyclic, weakly compact, and “co-completely bounded” in the terminology of [3]). Usually, in constructing derivations on function algebras, it is easy to see that the derivation identity holds on a dense subalgebra, but hard to show that one has a well-defined and bounded map on the whole algebra. By working with dual convolution on \({\mathcal {A}}\), the situation is reversed: it is easy to check that D is a bounded linear map with the extra properties mentioned above, and the hard part is to verify the derivation identity.
The group \({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}}\) is not connected, but has an index 2 subgroup isomorphic to the semidirect product \({{\mathbb {R}}\rtimes {{\mathbb {R}}^\times _1}}\), which is a fundamental example of a non-unimodular connected Lie group. (The notation will be explained in Sect. 2.) Since \(\mathrm{A}({{\mathbb {R}}\rtimes {{\mathbb {R}}^\times _1}})\) cannot be identified with the coefficient space of a single irreducible representation, a direct description of dual convolution for \({{\mathbb {R}}\rtimes {{\mathbb {R}}^\times _1}}\) is less straightforward. In Sect. 5 we identify an explicit subalgebra of \({\mathcal {A}}\) that corresponds to \(\mathrm{A}({{\mathbb {R}}\rtimes {{\mathbb {R}}^\times _1}})\), and hence obtain an analogue of dual convolution for \({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}}\). We then show how the construction in Sect. 4 yields a derivation on the Fourier algebra of \(\mathrm{A}({{\mathbb {R}}\rtimes {{\mathbb {R}}^\times _1}})\), which offers a new perspective on some resuts in [1].
In Sect. 6 we consider \(\mathrm{A}^p_\pi \), the coefficient space of the \(L^p\)-analogue of \(\pi \), from the viewpoint of dual convolution. We sketch how our explicit formula for \(\boxtimes \) may be extended from \({\mathcal {S}}_1({\mathsf {H}})\) to \({\mathcal {S}}_1(L^p({{\mathbb {R}}^{\times }}))\) for \(1<p<\infty \), making \({\mathcal {S}}_1(L^p({{\mathbb {R}}^{\times }}))= L^p({{\mathbb {R}}^{\times }})\mathbin {{\widehat{\otimes }}}L^q({{\mathbb {R}}^{\times }})\) into a commutative Banach algebra \({\mathcal {A}}_p\). We then show that \(\mathrm{A}^p_\pi \) is a Banach algebra in its natural norm and is isomorphic to \({\mathcal {A}}_p\) (Theorem 6.2). Perhaps surprisingly, for \(p\ne 2\) there is a crucial difference from the \(p=2\) case: \(\mathrm{A}_\pi ^p\) is not the same as the \(L^p\)-version of the Fourier algebra (Theorem 6.6), and it appears to be a new Banach function algebra about which we know little at this stage.
Finally, in Sect. 7, we make some remarks about possible directions for future work, and pose some explicit questions about the algebra \(\mathrm{A}_\pi ^p\). In the appendix we show how the tensor product of two induced representations may be expressed as a direct integral of a family of induced representations, and use it to give an alternative proof of the fusion formula for coefficient functions of \(\pi \).
2 Preliminaries
2.1 Notation and Some General Background
If \({\mathcal {H}}_1\) and \({\mathcal {H}}_2\) are Hilbert spaces then \({\mathcal {H}}_1\mathbin {\otimes }^2 {\mathcal {H}}_2\) denotes their Hilbert-space tensor product.
Given a complex vector space V, the conjugate vector space \({\overline{V}}\) is defined to have the same underlying additive group as V, equipped with the new \({\mathbb {C}}\)-action \(c\odot \xi = {\overline{c}}\xi \). Note that if \({\mathcal {H}}\) is a Hilbert space then the function \({\mathcal {H}}\times {\overline{{\mathcal {H}}}}\rightarrow {\mathbb {C}}\) defined by \((\xi ,\eta )\mapsto \langle \xi , \eta \rangle \) is bilinear rather than sesquilinear.
The symbol \(\mathbin {{\widehat{\otimes }}}\) denotes the projective tensor product of Banach spaces. If \({\mathcal {H}}\) is a Hilbert space then there is a standard identification of \({\mathcal {H}}\mathbin {{\widehat{\otimes }}}{\overline{{\mathcal {H}}}}\) with the space \({\mathcal {S}}_1({\mathcal {H}})\) of trace-class operators on \({\mathcal {H}}\), defined by viewing the elementary tensor \(\xi \mathbin {\otimes }\eta \) as the rank-one operator \(\alpha \mapsto \langle \alpha , \eta \rangle \xi \); this correspondence is an isometric, \({\mathbb {C}}\)-linear isomorphism of Banach spaces.
Coefficient functions associated to continuous bounded group representations were already defined in the introduction, but we did not give a precise definition of the corresponding coefficient spaces. Most of this article concerns unitary representations on Hilbert spaces, so we review some standard material here in order to fix our notation.
If \(\sigma :G \rightarrow {\mathcal {U}}({\mathcal {H}})\) is a continuous unitary representation and \(\xi ,\eta \in {\mathcal {H}}\), we denote the associated coefficient function \(x\mapsto \langle \sigma (x)\xi , \eta \rangle \) by \(\xi *_\sigma \eta \in C_b(G)\). There is a contractive, linear map \(\Psi _\sigma : {\mathcal {H}}\mathbin {{\widehat{\otimes }}}{\overline{{\mathcal {H}}}} \rightarrow C_b(G)\) defined by \(\Psi _\sigma (\xi \mathbin {\otimes }\eta ) = \xi *_\sigma \eta \). We denote the range of \(\Psi _\sigma \) by \(\mathrm{A}_\sigma (G)\), or simply \(\mathrm{A}_\sigma \) if the group G is clear from context; this is the coefficient space of \(\sigma \), and we equip it with the quotient norm pushed forward from \({\mathcal {H}}\mathbin {{\widehat{\otimes }}}{\overline{{\mathcal {H}}}} /\ker (\Psi _\sigma )\).
Two special cases should be singled out:
-
1.
If \(\lambda \) denotes the left regular representation \(G\rightarrow {\mathcal {U}}(L^2(G))\), then \(\mathrm{A}_\lambda (G)\) coincides with the Fourier algebra of G, and is usually denoted by \(\mathrm{A}(G)\). (This is not Eymard’s original definition of \(\mathrm{A}(G)\) but the equivalence is proved in [7, Ch. 3]; see also [9, Prop. 2.3.3].) With our definition, the fact that \(\mathrm{A}(G)\) is closed under pointwise product follows from Fell’s absorption principle.
-
2.
If \(\sigma :G \rightarrow {\mathcal {U}}({\mathcal {H}})\) is irreducible, then \(\Psi _\sigma :{\mathcal {H}}\mathbin {{\widehat{\otimes }}}{\overline{{\mathcal {H}}}}\rightarrow \mathrm{A}_\sigma (G)\) is injective, hence is an isometric isomorphism of Banach spaces. This result is due to Arsac; the proof combines a duality argument (see e.g. [9, Lemma 2.8.2]) with Schur’s lemma for irreducible unitary representations.
Moreover, if \(\sigma '\) is a direct sum of countably many copies of \(\sigma \), then \(\mathrm{A}_{\sigma '}(G)=\mathrm{A}_\sigma (G)\). (See e.g. [9, Prop. 2.8.8].)
Remark 2.1
The space \(\mathrm{A}_\sigma (G)\) was originally introduced by Arsac but defined in a different way, as the closed linear span of \(\{\xi *_\sigma \eta :\xi ,\eta \in {\mathcal {H}}\}\) inside the Fourier–Stieltjes algebra \(\mathrm{B}(G)\). We will not discuss \(\mathrm{B}(G)\) in this paper; the equivalence of this original definition with our one can be found in e.g. [9, Theorem 2.8.4].
2.2 The Affine Group of \({\mathbb {R}}\)
\({{\mathbb {R}}^{\times }}\) denotes the multiplicative group of \({\mathbb {R}}\), equipped with the subspace topology; it has a Haar measure dt/|t| where dt denotes usual Lebesgue measure on \({\mathbb {R}}\). We write \({{\mathbb {R}}^\times _1}\) for the subgroup of \({{\mathbb {R}}^{\times }}\) consisting of strictly positive real numbers; the notation is consistent with using \(G_e\) to denote the connected component of a locally compact group G.
When dealing with \(L^p\)-spaces on \({{\mathbb {R}}^{\times }}\), we will usually omit mention of the Haar measure and merely write \(L^p({{\mathbb {R}}^{\times }})\); this should not be confused with \(L^p({\mathbb {R}})\) which always means the \(L^p\)-space for the Lebesgue measure on \({\mathbb {R}}\).
We define \({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}}\) to be the set \(\{(b,a):b\in {\mathbb {R}}, a\in {{\mathbb {R}}^{\times }}\}\) equipped with the product topology of \({\mathbb {R}}\times {{\mathbb {R}}^{\times }}\) and the following multiplication:
With this choice, the map \((b,a) \mapsto \left[ \begin{matrix} a &{} b \\ 0 &{} 1 \end{matrix} \right] \) is a homomorphism \({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}}\rightarrow \mathrm{GL}_2({\mathbb {R}})\). Inversion in \({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}}\) is given by
Note that \({\mathbb {R}}\) embeds as a normal closed subgroup of \({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}}\) via \(b\mapsto (b,1)\), while \({{\mathbb {R}}^{\times }}\) embeds as a closed subgroup via \(a\mapsto (0,a)\).
In harmonic analysis it is more common to work with the subgroup \(\{(b,a):b\in {\mathbb {R}}, a\in {{\mathbb {R}}^\times _1}\}\). This is a connected Lie group, often referred to in the literature as “the real \(ax+b\) group”; we shall return to it in Sect. 5.
2.3 The Key Representation and its Coefficient Space
As in the introduction, we let \({\mathsf {H}}\) denote \(L^2({{\mathbb {R}}^{\times }})\). There is a continuous unitary representation \(\Pi : {{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}}\rightarrow {\mathcal {U}}({\mathsf {H}})\), defined by
This is a special case of a more general construction: if we consider the character \(\chi _1\) on \({\mathbb {R}}\) given by \(\chi _1(t) = \exp (2\pi it)\), the previous formula may be written as
where we use the explicit realization of an induced representation for a semidirect product group, as described in “Realization III” of [10, Sect. 2.4] (see Appendix A for details). Mackey theory tells us that \(\Pi \) is irreducible, and is the only infinite dimensional irreducible representation of \({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}}\).
In this article we work not with \(\Pi \) but with a unitarily equivalent form (which matches the representation defined in [6, Eq. (1.3)]). For a \({\mathbb {C}}\)-valued function on a group G, define \({\check{f}}:G\rightarrow {\mathbb {C}}\) by \({\check{f}}(x)=f(x^{-1})\). Since Haar measure on \({{\mathbb {R}}^{\times }}\) is invariant under the change of variables \(t\leftrightarrow t^{-1}\), the map \(\xi \mapsto {\check{\xi }}\) defines an isometric involution \(J:{\mathsf {H}}\rightarrow {\mathsf {H}}\). We now define \(\pi = J\Pi (\cdot )J :{{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}}\rightarrow {\mathcal {U}}({\mathsf {H}})\). Explicitly, given \(\xi \in {\mathsf {H}}\) and \(b\in {\mathbb {R}}\), \(a\in {{\mathbb {R}}^{\times }}\), we have
We claimed in the introduction that \(\mathrm{A}_\pi ({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})=\mathrm{A}({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\). This can be seen as follows. The left regular representation \(\lambda \) of \({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}}\) can be obtained by inducing the left regular representation of \({{\mathbb {R}}}\), which we denote by \(\lambda _{{\mathbb {R}}}\). Note that \(\lambda _{{\mathbb {R}}}\) is unitarily equivalent to a direct integral (over \({{\mathbb {R}}^{\times }}\)) of all nontrivial characters of \({\mathbb {R}}\). Moreover, each such character is induced to a representation of \({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}}\) equivalent to \(\pi \). Since induction and direct integration commute, it follows that \(\lambda \) is equivalent to \(\pi \mathbin {\otimes }I_{{\mathcal {H}}}\) for some separable Hilbert space \({\mathcal {H}}\). Hence \(\pi \) is weakly equivalent with \(\lambda \), and \(\mathrm{A}_\pi ({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})=\mathrm{A}_\lambda ({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})=\mathrm{A}({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\) by the results mentioned in Sect. 2.1.
Remark 2.2
The equality \(\mathrm{A}_\pi ({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})=\mathrm{A}({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\) implies that \(\mathrm{A}_\pi ({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\) is closed under pointwise product. In Sect. 3 we will give an alternative proof of this fact, using dual convolution on \({\mathsf {H}}\mathbin {{\widehat{\otimes }}}{\overline{{\mathsf {H}}}}\). In Sect. 6 we will see that this alternative proof carries over to the \(L^p\)-analogue of \(\mathrm{A}_\pi ({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\), but that this space is not equal to the \(L^p\)-analogue of \(\mathrm{A}({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\).
We shall write \(\Psi \) rather than \(\Psi _\pi \) for the canonical quotient map \({\mathsf {H}}\mathbin {{\widehat{\otimes }}}{\overline{{\mathsf {H}}}}\rightarrow \mathrm{A}_\pi ({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\), \(\xi \mathbin {\otimes }\eta \mapsto \xi *_\pi \eta \). Since \(\pi \) is irreducible, \(\Psi \) is injective by the remarks in Sect. 2.1, although we shall not use this fact when defining dual convolution in Sect. 3.
Remark 2.3
-
(i)
In [6], the map \(\Psi \) is denoted by \({\overline{{\mathcal {F}}}}\) and called “la co-transformation de Fourier” for the group \({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}}\). Note that because \({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}}\) is non-unimodular, composing \(\Psi \) with the operator-valued Fourier transform \({\mathcal {F}}:f \mapsto \pi (f) = \int _{{{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}}} f(x) \pi (x) \,dx\) does not yield the map \(f\mapsto {\check{f}}\), and so (as observed in [6]) \(\Psi \) should not be called an “inverse Fourier transform”. However, the philosophy of Fourier inversion guides much of what we do in this article.
-
(ii)
For most of our article, the fact that \(\mathrm{A}_\pi ({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})=\mathrm{A}({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\) does not play a big role in our calculations, since we are not relying on the modified Plancherel formula for this group. The exceptions are in Sect. 5, where we use general facts about Fourier algebras of open subgroups, and in the proof of Theorem 6.6, where we use results of Herz on Figà-Talamanca–Herz algebras.
2.4 Bochner Integrals and Related Measure Theory
Our explicit formula for dual convolution is expressed as a Bochner integral, which requires attention to questions of strong measurability (also referred to in the literature as Bochner measurability). A very thorough treatment of strong measurability and the Bochner integral can be found in [8, Sect. 1.2.b].
It is usually impractical to verify directly that a given Banach-space valued function is strongly measurable. For functions with values in an \(L^p\)-space an alternative approach is provided by the following result: given two sigma-finite measure spaces \((\Omega _1,\mu _1)\) and \((\Omega _2,\mu _2)\), and \(1\le p < \infty \), there is a natural embedding
where \(f\mathbin {\otimes }g\) is sent to the function \(\omega _1\mapsto f(\omega _1)g\). This embedding extends to an isometric isomorphism of Banach spaces \(L^p(\Omega _1\times \Omega _2,\mu _1\times \mu _2) \cong L^p(\Omega _1, \mu _1; L^p(\Omega _2,\mu _2))\) (see e.g. [8, Prop. 1.2.24] for the proof of a more general statement). In particular, elements of \(L^p(\Omega _1\times \Omega _2,\mu _1\times \mu _2)\) define strongly \(\mu _1\)-measurable functions \(\Omega _1\rightarrow L^p(\Omega _2,\mu _2)\).
3 Fusion and Dual Convolution
Notation For \(r\in {{\mathbb {R}}^{\times }}\), let \(\lambda (r):{\mathsf {H}}\rightarrow {\mathsf {H}}\) denote the usual “left translation” by r (multiplicative in this context), i.e. \(\lambda (r)\xi (t) = \xi (r^{-1}t)\). Similarly \(\rho (r):{\mathsf {H}}\rightarrow {\mathsf {H}}\) denotes “right translation” by \(r^{-1}\), i.e. \(\rho (r)\xi (t)=\xi (tr)\).
We use both \(\lambda \) and \(\rho \), even though \({{\mathbb {R}}^{\times }}\) is abelian, because we have in mind possible extensions of the following calculations to semidirect products of the form \({\mathbb {R}}^n\rtimes D\) where \(D\subset \mathrm{GL}_n({\mathbb {R}})\) need not be abelian.
3.1 An Explicit Formula for Fusion of Coefficients
To avoid any doubt we shall pay close attention to issues of convergence and integrability. Let \(\xi _1,\eta _1,\xi _2,\eta _2\in {\mathsf {H}}\). For each \((b,a)\in {{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}}\),
(where as usual we treat a measurable function defined on \({{\mathbb {R}}^{\times }}\) as a measurable function defined on \({\mathbb {R}}\), by prescribing some arbitrary value at 0).
Let d(t, s) denote the Haar measure on \({\mathbb {R}}^2\). Observe that the function
is integrable on \({\mathbb {R}}^2\), since by Tonelli’s theorem for \({\mathbb {R}}^2\) followed by Cauchy–Schwarz for \({\mathsf {H}}\),
Therefore, the following changes of variable and order of integration are valid:
One can now show that for fixed \(u\in {\mathbb {R}}\setminus \{0,1\}\), the inner integral in the last line of Eq. (3.1) can be written as \(\langle \pi (b,a)\alpha _u, \beta _u\rangle \) for suitable \(\alpha _u,\beta _u\in {\mathsf {H}}\), and that
so that \((\xi _1*_\pi \eta _1)\cdot (\xi _2*_\pi \eta _2)\) is a weighted average of explicit coefficient functions \(\alpha _u*_\pi \beta _u\) as u varies; this is what we mean by a “fusion formula” for coefficient functions.
For technical reasons, we first make a further change of variables \(u\mapsto 1- (1+h)^{-1}\). Then \(|1-u|^{-1}|u|^{-1}du = |h|^{-1}dh\), and so the last line of Eq. (3.1) is equal to
Lemma 3.1
Given \(X\in {\mathsf {H}}\mathbin {\otimes }^2{\mathsf {H}}= L^2({{\mathbb {R}}^{\times }}\times {{\mathbb {R}}^{\times }})\), define \(V(X): {{\mathbb {R}}^{\times }}\times {{\mathbb {R}}^{\times }}\rightarrow {\mathbb {C}}\) by
Then \(V(X)\in L^2({{\mathbb {R}}^{\times }}\times {{\mathbb {R}}^{\times }})\), and \(V:L^2({{\mathbb {R}}^{\times }}\times {{\mathbb {R}}^{\times }}) \rightarrow L^2({{\mathbb {R}}^{\times }}\times {{\mathbb {R}}^{\times }})\) is an isometry.
Proof
Clearly V(X) is measurable. Then
Thus \(V(X)\in L^2({{\mathbb {R}}^{\times }}\times {{\mathbb {R}}^{\times }})\) and V is an isometry, as required. \(\square \)
Note that if \(X\in C_c({{\mathbb {R}}^{\times }}\times {{\mathbb {R}}^{\times }})\) then so is V(X). However, if \(X\in C_c({{\mathbb {R}}^{\times }})\mathbin {\otimes }C_c({{\mathbb {R}}^{\times }})\), we see no reason to expect that \(V(X)\in C_c({{\mathbb {R}}^{\times }})\mathbin {\otimes }C_c({{\mathbb {R}}^{\times }})\).
If f and g are measurable functions \({{\mathbb {R}}^{\times }}\rightarrow {\mathbb {C}}\), let \(f\cdot g\) denote their pointwise product (with the usual identifications of functions that agree a.e.).
Corollary 3.2
Let \(\xi _1,\xi _2\in {\mathsf {H}}\). For \(h\in {\mathbb {R}}\setminus \{0,-1\}\) let \(F(h) =\lambda (1+h)\xi _1\cdot \lambda (1+h^{-1})\xi _2\). Then F is equal a.e. to a strongly measurable, (Bochner-)square integrable function \({{\mathbb {R}}^{\times }}\rightarrow {\mathsf {H}}\), and
Proof
We apply Lemma 3.1 with \(X=\xi _1\mathbin {\otimes }\xi _2\). As remarked in Sect. 2.4, we may identify V(X) with a function \({\widetilde{F}}\in L^2({{\mathbb {R}}^{\times }};{\mathsf {H}})\), satisfying \({\Vert {\widetilde{F}}\Vert }^2 = {\Vert X\Vert }^2={\Vert \xi _1\Vert }_{{\mathsf {H}}}^2{\Vert \xi _2\Vert }_{{\mathsf {H}}}^2\) and \({\widetilde{F}}(h)(t)=V(X)(h,t)\) for a.e. \((h,t)\in {{\mathbb {R}}^{\times }}\times {{\mathbb {R}}^{\times }}\). The rest follows from the definition of V. \(\square \)
Note that a priori, one only expects the pointwise product of two functions in \({\mathsf {H}}\) to lie in \(L^1({{\mathbb {R}}^{\times }})\). The corollary shows that in fact, \(F(h)\in {\mathsf {H}}\) for a.e. \(h\in {{\mathbb {R}}^{\times }}\). In general one cannot expect \(F(h)\in {\mathsf {H}}\) for all \(h\in {{\mathbb {R}}^{\times }}\), since
and so taking e.g. \(\xi _1(t)=\xi _2(t) = {\mathbf {1}}_{t >1} (t-1)^{-1/3}\) one sees that the RHS can be infinite.
Proposition 3.3
(Explicit fusion for coefficient functions of \(\pi )\) Let \(\xi _i,\eta _i\in {\mathsf {H}}\) for \(i=1,2\). Then
defined as the Bochner integral of an \(\mathrm{A}_\pi ({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\)-valued function.
Proof
Let \(F(h)= \lambda (1+h){\xi _1}\cdot \lambda (1+h^{-1}){\xi _2}\) and \(G(h) = \lambda (1+h){\eta _1}\cdot \lambda (1+h^{-1}){\eta _2} \). By Corollary 3.2, F and G are (after modification on a null subset of \({{\mathbb {R}}^{\times }}\)) strongly measurable as functions \({{\mathbb {R}}^{\times }}\rightarrow {\mathsf {H}}\), and square integrable (with respect to Haar measure on \({{\mathbb {R}}^{\times }}\)).
Therefore, the function \(h\mapsto F(h)*_\pi G(h)\) is strongly measurable and a.e. \(\mathrm{A}_\pi ({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\)-valued; it is Bochner integrable (with respect to Haar measure on \({{\mathbb {R}}^{\times }}\)), since
where the final equality follows by using Corollary 3.2 again. Unpacking the definitions of F and G, and comparing them with (3.2), we see that
as claimed. \(\square \)
Remark 3.4
Our direct route to the key formula (3.2) relied on ad hoc manipulations of integrals. There is a more conceptual approach, based on constructing an explicit intertwining map between \(\pi \mathbin {\otimes }\pi \) and \(I_{{\mathsf {H}}}\mathbin {\otimes }\pi \). This intertwining map emerges naturally from considering the representation \(\Pi \) defined in (2.3) and its description as an induced representation; details are given in Appendix A. In fact, this approach was originally how we came up with the formula (3.2), and it motivates the technique used in Lemma 3.1.
3.2 Defining Dual Convolution
The formula in Proposition 3.3 immediately suggests how to define the dual convolution of two rank-one tensors in \({\mathcal {S}}_1({\mathsf {H}})={\mathsf {H}}\mathbin {{\widehat{\otimes }}}{\overline{{\mathsf {H}}}}\): given \(\xi ,\xi '\in {\mathsf {H}}\) and \(\eta , \eta '\in {\overline{{\mathsf {H}}}}\),
where the right-hand side is defined as a Bochner integral of a function \({{\mathbb {R}}^{\times }}\rightarrow {\mathsf {H}}\mathbin {{\widehat{\otimes }}}{\overline{{\mathsf {H}}}}\). The proof that this function is Bochner integrable is essentially the same as the argument used in proving Proposition 3.3, so we shall not repeat it here; we record for reference that the same calculation yields the upper bound
Remark 3.5
(Technical caveats) Strictly speaking, the integrand in (3.4) is only a.e. \({\mathsf {H}}\mathbin {{\widehat{\otimes }}}{\overline{{\mathsf {H}}}}\)-valued (c.f. Eq. 3.3), and the null set of “bad values” of h might depend on all four of the vectors \(\xi ,\xi ',\eta ,\eta '\). However, one can ignore such technicalities if \(\xi ,\xi ',\eta ,\eta '\in C_c({{\mathbb {R}}^{\times }})\). For, under this assumption, \(\lambda (a)\xi \cdot \xi '\) vanishes identically whenever |a| is sufficiently small or sufficiently large. It follows (using continuity of translation in \({\mathsf {H}}\) and in \(C_0({{\mathbb {R}}^{\times }})\)) that the integrand in (3.4) is a continuous, compactly supported function \({{\mathbb {R}}^{\times }}\setminus \{-1\}\rightarrow {\mathsf {H}}\mathbin {{\widehat{\otimes }}}{\overline{{\mathsf {H}}}}\), with no need to worry about various formulas holding only a.e.
We can now extend the operation \(\boxtimes \) by linearity and continuity to a contractive bilinear map \({\mathcal {S}}_1({\mathsf {H}})\times {\mathcal {S}}_1({\mathsf {H}})\rightarrow {\mathcal {S}}_1({\mathsf {H}})\), by representing elements of \({\mathcal {S}}_1({\mathsf {H}})\) as absolutely convergent sums of rank-one tensors. To see that this extension is well-defined and independent of how we represent elements of \({\mathcal {S}}_1({\mathsf {H}})\), note that \((\xi ,\eta ,\xi ',\eta ')\mapsto (\xi \mathbin {\otimes }\eta )\boxtimes (\xi '\mathbin {\otimes }\eta ')\) defines a contractive multilinear map from \({\mathsf {H}}\times {\overline{{\mathsf {H}}}}\times {\mathsf {H}}\times {\overline{{\mathsf {H}}}}\) to \({\mathsf {H}}\mathbin {{\widehat{\otimes }}}{\overline{{\mathsf {H}}}}\), and so by the universal property of \(\mathbin {{\widehat{\otimes }}}\), it extends uniquely to a contractive linear map
An alternative integral formula One can rewrite the defining formula (3.4) as
after a change of variablesFootnote 1\(1-u = (1+h)^{-1}\). Similar comments as in Remark 3.5 also apply here: for instance, if \(\xi ,\xi ',\eta ,\eta '\in C_c({{\mathbb {R}}^{\times }})\), then the integrand in (3.6) is continuous from \({\mathbb {R}}\setminus \{0,1\}\) to \({\mathsf {H}}\mathbin {{\widehat{\otimes }}}{\overline{{\mathsf {H}}}}\) with compact support.
Equation (3.6) should be compared with the initial calculations in (3.1). In fact, many of the preceding results could have been formulated without the change of variables in (3.2). Both formulations of dual convolution seem to be natural and useful: the formula (3.4) is more closely related to the underlying general principles concerning tensor products of induced representations; but (3.2) is more enlightening for certain calculations, such as (3.8) below.
An abstract definition of \(\boxtimes \)An alternative way to think of our construction of \(\boxtimes \), viewed as a bounded linear map from \({\mathcal {S}}_1({\mathsf {H}})\mathbin {{\widehat{\otimes }}}{\mathcal {S}}_1({\mathsf {H}})\) to \({\mathcal {S}}_1({\mathsf {H}})\), is by constructing it as the composition of the maps shown in Fig. 1.
We now explain briefly what each of these maps is.
-
The “shuffle” map interchanges the second and third factors in the tensor product, i.e. it sends \(\xi \mathbin {\otimes }\eta \mathbin {\otimes }\xi '\mathbin {\otimes }\eta '\) to \(\xi \mathbin {\otimes }\xi '\mathbin {\otimes }\eta \mathbin {\otimes }\eta '\).
-
The “embed” map is self-explanatory, and V is from Lemma 3.1. The map “identify” is the same identification described in Sect. 2.4 and used in Corollary 3.2.
-
The “diagonal” map is given as follows: for Banach spaces \(E_1\) and \(E_2\) there is a canonical contraction
$$\begin{aligned} L^2({{\mathbb {R}}^{\times }};E_1)\mathbin {{\widehat{\otimes }}}\overline{L^2({{\mathbb {R}}^{\times }};E_2)} \rightarrow L^1({{\mathbb {R}}^{\times }}; E_1 \mathbin {{\widehat{\otimes }}}\overline{E_2}) \end{aligned}$$which sends \(F\mathbin {\otimes }G\) to \(h\mapsto F(h)\mathbin {\otimes }G(h)\).
-
The “trace” map is given as follows: for a Banach space E there is a canonical contraction \(L^1({{\mathbb {R}}^{\times }}; E)\rightarrow E\) which sends a function \(F\in L^1({{\mathbb {R}}^{\times }};E)\) to \(\int _{{{\mathbb {R}}^{\times }}} F\). (If we identify \(L^1({{\mathbb {R}}^{\times }};E)\) with \(L^1({{\mathbb {R}}^{\times }})\mathbin {{\widehat{\otimes }}}E\), then the trace map is the same as slicing in the first variable against the constant function \(\mathbf{1}\in L^\infty ({{\mathbb {R}}^{\times }})\).)
The advantage of this approach is that all issues concerning strong measurability, or showing that various maps are well-defined and do not depend on how an element of \({\mathsf {H}}\mathbin {{\widehat{\otimes }}}{\overline{{\mathsf {H}}}}\) is represented as an infinite sum of tensors, are automatically taken care of by the formal identifications between various Banach spaces. Moreover, this approach also generalizes easily to the \(L^p\)-setting, or to settings with additional operator space structure. The disadvantage is that this definition of \(\boxtimes \) is rather abstract, and is less suited to concrete calculations.
3.3 Basic Properties of Dual Convolution
Clearly \(\boxtimes \) is commutative: this follows directly from a change of variable \(h\mapsto h^{-1}\) in (3.4). Proving that \(\boxtimes \) is associative requires more work. (Recall that even when considering the usual convolution of two \(L^1\)-functions on a locally compact group G, checking associativity directly by attempting to interchange integrals requires careful use of Fubini’s theorem to justify treating identities that only hold a.e. as if they hold everywhere.)
To show that \(\boxtimes \) is associative, it suffices by linearity and continuity to show that \((T_1\boxtimes T_2)\boxtimes T_3 = T_1\boxtimes (T_2\boxtimes T_3)\) when \(T_i=\xi _i\mathbin {\otimes }\eta _i\) for \(\xi _i,\eta _i \in C_c({{\mathbb {R}}^{\times }})\) (\(i=1,2,3\)). In the following calculations, we shall adopt the following notational convention to make our formulas more manageable. Given a function in \(C_c({{\mathbb {R}}^{\times }})\) which is obtained from \(\xi _1\), \(\xi _2\) and \(\xi _3\) by some explicit formula \({\mathcal {T}}[\xi _1,\xi _2,\xi _3]\), we shall write \(\underline{{\mathcal {T}}[\xi _1,\xi _2,\xi _3]}\mathbin {\otimes }\underline{\textsf {repeat for } {\varvec{\eta }}}\) to mean
Since \((\xi _1\mathbin {\otimes }\eta _1)\boxtimes ({\underline{\quad }})\) is a bounded linear map \({\mathsf {H}}\mathbin {{\widehat{\otimes }}}{\overline{{\mathsf {H}}}}\rightarrow {\mathsf {H}}\mathbin {{\widehat{\otimes }}}{\overline{{\mathsf {H}}}}\), it commutes with the Bochner integral. In particular,
The expression in the inner integral is measurable and Bochner integrable as a function \({\mathbb {R}}^2\rightarrow {\mathsf {H}}\mathbin {{\widehat{\otimes }}}{\overline{{\mathsf {H}}}}\) (since it is continuous with compact support and vanishes in a neighbourhood of \(\{0,1\}\times \{0,1\}\)). So by Fubini’s theorem for Bochner integrals (see e.g. [11, Theorem B.41]), we may rewrite (3.7) as a double integral and perform succesive changes of variables \(u \mapsto u/v\), \(v\mapsto 1-v\) to obtain
One can use similar arguments to expand \(\Bigl ( (\xi _1\mathbin {\otimes }\eta _1) \boxtimes (\xi _2\mathbin {\otimes }\eta _2) \Bigr ) \boxtimes (\xi _3\mathbin {\otimes }\eta _3)\) as a double integral with values in \({\mathsf {H}}\mathbin {{\widehat{\otimes }}}{\overline{{\mathsf {H}}}}\), and show by appropriate changes of variable that this is equal to the right-hand side of (3.8). Alternatively, observe that since \(\boxtimes \) is commutative,
then observe that the value of the last integral in Eq. (3.8) is unchanged if one swaps \(\xi _1\mathbin {\otimes }\eta _1\) with \(\xi _3\mathbin {\otimes }\eta _3\) (since this corresponds to interchanging the variables u and v in the integral).
Note that Proposition 3.3 can be rephrased as
and so by linearity and continuity, it follows that \(\Psi (T\boxtimes T')=\Psi (T)\Psi (T')\) for all \(T,T'\in {\mathcal {S}}_1({\mathsf {H}})\). This gives an independent proof that \(\mathrm{A}_\pi ({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\) is closed under pointwise product. It could also have been used to prove associativity of \(\boxtimes \), by transferring it from associativity of pointwise product in \(\mathrm{A}_\pi ({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\). We believe that the direct proof given above has independent interest, especially in light of the symmetry displayed by the formula in Eq. (3.8).
We sum up the results of this section in the following theorem.
Theorem 3.6
(Dual convolution on \({\mathcal {S}}_1({\mathsf {H}}))\) The operation \(\boxtimes \), defined on pairs of elementary tensors by the formula (3.4), extends to a contractive bilinear map \({\mathcal {S}}_1({\mathsf {H}})\times {\mathcal {S}}_1({\mathsf {H}})\rightarrow {\mathcal {S}}_1({\mathsf {H}})\), which makes \({\mathcal {S}}_1({\mathsf {H}})\) into a commutative Banach algebra. If we denote this Banach algebra by \({\mathcal {A}}\), then \(\Psi :{\mathcal {A}}\rightarrow \mathrm{A}_\pi ({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\) is an isometric isomorphism of Banach algebras.
3.4 Dual Convolution at the Level of Functions
Trace-class operators on \({\mathsf {H}}=L^2({{\mathbb {R}}^{\times }})\) are often given not as explicit sums of rank-one tensors, but as integral operators defined by certain kernel functions \({{\mathbb {R}}^{\times }}\times {{\mathbb {R}}^{\times }}\rightarrow {\mathbb {C}}\). In this section we provide a description of dual convolution that may be easier to apply in such cases.
We may view elements of \({\mathcal {S}}_1({\mathsf {H}})\) as measurable functions on \({{\mathbb {R}}^{\times }}\times {{\mathbb {R}}^{\times }}\), as follows. First note that complex conjugation of functions defines a \({\mathbb {C}}\)-linear isometric isomorphism of vector spaces from \(\overline{L^2({{\mathbb {R}}^{\times }})}\) onto \(L^2({{\mathbb {R}}^{\times }})\), which extends to an isometric isomorphism
Furthermore, the natural map \(L^2({{\mathbb {R}}^{\times }})\mathbin {{\widehat{\otimes }}}L^2({{\mathbb {R}}^{\times }}) \rightarrow L^2({{\mathbb {R}}^{\times }})\mathbin {\otimes }^2 L^2({{\mathbb {R}}^{\times }})\) is linear and norm-decreasing, and it is injective since Hilbert spaces have the approximation property. Finally, note that we may identify \(L^2({{\mathbb {R}}^{\times }})\mathbin {\otimes }^2 L^2({{\mathbb {R}}^{\times }})\) with \(L^2({{\mathbb {R}}^{\times }}\times {{\mathbb {R}}^{\times }})\).
Thus, up to a.e. equivalenceFootnote 2 we can view any \(T\in {\mathcal {S}}_1({\mathsf {H}})\) as a measurable function on \({{\mathbb {R}}^{\times }}\times {{\mathbb {R}}^{\times }}\) which is square-integrable (with respect to the measure \(|s|^{-1}|t|^{-1}\,d(s,t)\)). For ease of notation, we shall denote this function also by T, suppressing mention of the embedding \({\tilde{\iota }}\). With this convention,
which is the usual form in which an integral operator is given. Warning: with this convention, if T is a rank-one tensor \(\xi \mathbin {\otimes }\eta \in {\mathsf {H}}\mathbin {{\widehat{\otimes }}}{\overline{{\mathsf {H}}}}\) then \(T(s,t)=\xi (s)\overline{\eta (t)}\) for \(s,t\in {{\mathbb {R}}^{\times }}\).
Proposition 3.7
(Pointwise formulas for dual convolution) Let \(T_1\), \(T_2\in {\mathcal {S}}_1({\mathsf {H}})={\mathsf {H}}\mathbin {{\widehat{\otimes }}}{\overline{{\mathsf {H}}}}\). Then for a.e. \((s,t)\in {{\mathbb {R}}^{\times }}\times {{\mathbb {R}}^{\times }}\)
where both of the integrals above are absolutely convergent for a.e. \((s,t)\in {{\mathbb {R}}^{\times }}\times {{\mathbb {R}}^{\times }}\).
Proof
When \(T_1\) and \(T_2\) are rank-one tensors, this follows from the definition of \(\boxtimes \). Hence it is true when \(T_1\) and \(T_2\) are finite rank operators. Every trace class operator is the limit in trace-norm of finite rank operators, and by going down to a subsequence we can assume that the convergence holds pointwise a.e.
Now observe that if \(T=\sum _{n=1}^\infty f_n\otimes g_n\) where \(\sum _{n=1}^\infty {\Vert f_n\Vert }_{{\mathsf {H}}} {\Vert g_n\Vert }_{{\mathsf {H}}}<\infty \), the trace-class operator \(R=\sum _{n=1}^\infty |f_n|\otimes |g_n|\) satisfies \(R(s,t)\ge |T(s,t)|\) a.e. The result now follows using the Lebesgue dominated convergence theorem, replacing \(T_1\) and \(T_2\) in (3.11a) or (3.11b) with “dominating operators” \(R_1\) and \(R_2\). \(\square \)
4 An Explicit Derivation from \({\mathcal {A}}\) to its Dual
In this section we construct an explicit derivation \(D:{\mathcal {A}}\rightarrow {\mathcal {A}}^*\) and study some of its operator-theoretic properties. We will relate D to constructions in [1] in the next section.
We briefly review some general definitions. For a Banach algebra A, each \(\Phi \in (A\mathbin {{\widehat{\otimes }}}A)^*\) corresponds to a bounded linear map \(A\rightarrow A^*\) defined by \(a\mapsto \Phi (a \mathbin {\otimes }{\overline{\quad }})\). This map \(A\rightarrow A^*\) is a derivation if the following identity holds:
The derivation is said to be cyclic if \(\Phi (a\mathbin {\otimes }b)=-\Phi (b\mathbin {\otimes }a)\) for all \(a,b\in A\).
Definition 4.1
Given \(\xi \in {\mathsf {H}}\), let \(S\xi (t)=\mathrm{sign}(t)\xi (t)\) and \(R\xi (t)=\xi (-t)\), where \(\mathrm{sign}\) is the sign function \({{\mathbb {R}}^{\times }}\rightarrow \{\pm 1\}\), \(t\mapsto \frac{t}{{\vert t\vert }}\). Clearly S and R are isometric, linear involutions on \({\mathsf {H}}\).
Although we do not consider coefficient functions in this section, note that for every \(\xi ,\eta \in {\mathsf {H}}\) we have \(\overline{\xi *_\pi \eta }=R{\overline{\xi }}*_\pi R{\overline{\eta }}\).
Constructing our derivation Define a multilinear map \(\Phi :{\mathsf {H}}\mathbin {{\widehat{\otimes }}}{\overline{{\mathsf {H}}}}\mathbin {{\widehat{\otimes }}}{\mathsf {H}}\mathbin {{\widehat{\otimes }}}{\overline{{\mathsf {H}}}}\rightarrow {\mathbb {C}}\) by
We view \(\Phi \) as a bilinear form on \({\mathcal {A}}\), and define D to be the corresponding operator \({\mathcal {A}}\rightarrow {\mathcal {A}}^*\).
For \(i=0,1\), if we write \(T_i=\xi _i\mathbin {\otimes }\eta _i\) and use the convention \(T_i(s,t)=\xi _i(s)\overline{\eta _i(t)}\) as in Sect. 3.4, then we can rewrite (4.2) as:
Proposition 4.2
\(D:{\mathcal {A}}\rightarrow {\mathcal {A}}^*\) is cyclic and weakly compact.
Proof
The identity (4.3) shows that \(\Phi (T_1\mathbin {\otimes }T_0)=-\Phi (T_0\mathbin {\otimes }T_1)\) when \(T_0\) and \(T_1\) are rank-one tensors; by linearity and continuity it holds for all \(T_0,T_1\in {\mathcal {A}}\).
It also follows from (4.3), using the Cauchy–Schwarz inequality, that \(\Phi \) extends to a bounded bilinear form on \(L^2({{\mathbb {R}}^{\times }}\times {{\mathbb {R}}^{\times }})\). Hence the operator \(D:{\mathcal {A}}\rightarrow {\mathcal {A}}^*\) factors through the embedding of \({\mathcal {A}}\) into \(L^2({{\mathbb {R}}^{\times }}\times {{\mathbb {R}}^{\times }})\); in particular D is weakly compact. \(\square \)
Next, we show that D is a derivation by showing that \(\Phi \) satisfies the identity (4.1).
Theorem 4.3
(Derivation identity) For every \(T_1, T_2, T_0\in {\mathcal {A}}\), we have
Proof
By linearity and continuity, it sufficesFootnote 3 to verify (4.4) in the special case where \(T_0\), \(T_1\) and \(T_2\) are rank-one tensors in \(C_c({{\mathbb {R}}^{\times }})\mathbin {\otimes }C_c({{\mathbb {R}}^{\times }})\).
We now consider the three terms in (4.4), using (4.3) and Fubini’s theorem. In each case the integral is taken over \(({{\mathbb {R}}^{\times }})^3\):
Also,
where the last equality used the change of variables \(s\mapsto (1+h)s\), \(t\mapsto (1+h)t\). A similar calculation yields
For every \(s,t\in {{\mathbb {R}}^{\times }}\), define
To prove that (4.4) holds, it suffices to show that \({\text {I}}(s,t)= {\text {II}}(s,t)+ {\text {III}}(s,t)\) for (almost) every \(s,t\in {\mathbb {R}}^\times \). For \({\text {II}}(s,t)\): the change of variables \(h\mapsto -\frac{1}{1+h}\) sends \(\frac{dh}{|h|}\) to \(\frac{dh}{{\vert 1+h\vert }}\) and sends \(1+h\) to \(1-\frac{1}{1+h}=\frac{h}{1+h}\), so that
![figure a](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs11785-021-01100-y/MediaObjects/11785_2021_1100_Figa_HTML.png)
For \({\text {III}}(s,t)\): the change of variables \(h \mapsto -(1+\tfrac{1}{h})\) sends \(\frac{dh}{|h|}\) to \(\frac{dh}{{\vert 1+h\vert }{\vert h\vert }}\) and sends \(1+\tfrac{1}{h}\) to \(1 - \frac{1}{1+h^{-1}}= \frac{1}{1+h}\), so that
![figure b](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs11785-021-01100-y/MediaObjects/11785_2021_1100_Figb_HTML.png)
Adding (**) and (***) and recalling that \(\frac{s}{|s|}=\mathrm{sign}(s)\), we obtain \({\text {I}}(s,t)\) as required.
\(\square \)
Finally, we show that \(D:{\mathcal {A}}\rightarrow {\mathcal {A}}^*\) is completely bounded after composing with the transpose map on \({\mathcal {A}}^*={\mathcal {B}}({\mathsf {H}})\).
Definition 4.4
(Transpose operator on \({\mathcal {B}}({\mathsf {H}})\)) Define a linear isometry \(\top _{*}:{\mathsf {H}}\mathbin {{\widehat{\otimes }}}{\overline{{\mathsf {H}}}}\rightarrow {\mathsf {H}}\mathbin {{\widehat{\otimes }}}{\overline{{\mathsf {H}}}}\) by \(\top _{*}(\xi \mathbin {\otimes }\eta )= {\overline{\eta }}\mathbin {\otimes }{\overline{\xi }}\), and let \(\top =(\top _{*})^{*} : ({\mathsf {H}}\mathbin {{\widehat{\otimes }}}{\overline{{\mathsf {H}}}})^*\rightarrow ({\mathsf {H}}\mathbin {{\widehat{\otimes }}}{\overline{{\mathsf {H}}}})^*\). We call \(\top \) the transpose operator, since if we identify \(({\mathsf {H}}\mathbin {{\widehat{\otimes }}}{\overline{{\mathsf {H}}}})^*\) with \({\mathcal {B}}({\mathsf {H}})\) we have
To verify complete boundedness of \(\top D:{\mathcal {A}}\rightarrow {\mathcal {A}}^*\) we use the following characterization. Recall that we have natural injective maps
where “shuffle” swaps the second and third factors in the tensor product. Now define
Then, for a given \(\Lambda \in ( {\mathcal {S}}_1({\mathsf {H}})\mathbin {{\widehat{\otimes }}}{\mathcal {S}}_1({\mathsf {H}}))^*\), the corresponding map \({\mathcal {S}}_1({\mathsf {H}})\rightarrow {\mathcal {S}}_1({\mathsf {H}})^*\) is completely bounded (with respect to the natural operator space structure on \({\mathcal {S}}_1({\mathsf {H}})\)) if and only if \(\Lambda \circ s^{-1}\) extends continuously to a bounded linear functional on \({\mathcal {S}}_1({\mathsf {H}}\mathbin {\otimes }^2{\mathsf {H}})\). (This may be taken as a working definition of complete boundedness in this special case; it can also be derived from facts about row and column Hilbert spaces and operator space tensor products, see e.g. [5, Corollary 7.1.5 and Proposition 7.2.1].)
Proof that \(\top D\) is completely bounded. By (4.2), \(\top D: {\mathcal {A}}\rightarrow {\mathcal {A}}^*\) corresponds to the linear functional \(\Psi :{\mathcal {A}}\mathbin {{\widehat{\otimes }}}{\mathcal {A}}\rightarrow {\mathbb {C}}\) defined by
We have
since \(S\mathbin {\otimes }R\) and \(R\mathbin {\otimes }\mathrm{id}\) are unitary operators on \({\mathsf {H}}\mathbin {\otimes }^2{\mathsf {H}}\), it follows that \(\Psi \circ s^{-1}\) extends continuously to an element of \(({\mathcal {S}}_1({\mathsf {H}}\mathbin {\otimes }^2{\mathsf {H}}))^*\). \(\square \)
Remark 4.5
In the language of [3], \(D:{\mathcal {A}}\rightarrow {\mathcal {A}}^*\) is co-completely bounded, since \(\top \) “reverses the operator space structure” on \({\mathcal {B}}({\mathsf {H}})\).
5 Dual Convolution for \({{\mathbb {R}}\rtimes {{\mathbb {R}}^\times _1}}\)
The semidirect product \({{\mathbb {R}}\rtimes {{\mathbb {R}}^\times _1}}\) may be viewed as an open subgroup of \({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}}\), by identifying it with \(\{(b,a):b\in {\mathbb {R}},a\in {{\mathbb {R}}^\times _1}\}\). General results on Fourier algebras of open subgroups then allow us to identify \(\mathrm{A}({{\mathbb {R}}\rtimes {{\mathbb {R}}^\times _1}})\) with a closed subalgebra of \(\mathrm{A}({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\). More precisely, let us introduce the non-standard notation:
Given \(f\in \mathrm{A}({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\), define \(P_e(f)(b,a)=f(b,a)\) for \(a>0\) and \(P_e(f)(b,a)=0\) for \(a<0\). Then \(P_e\) is a (completely) contractive projection from \(\mathrm{A}({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\) onto \(\mathrm{A}_e({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\), and the composition of the maps
is a completely isometric bijection. (See e.g. [9, Prop. 2.4.1] for a summary of the necessary facts about Fourier algebras of open subgroups.)
We now proceed to identify the subalgebra of \({\mathcal {A}}\) that corresponds to \(\mathrm{A}_e({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\) and hence models \(\mathrm{A}({{\mathbb {R}}\rtimes {{\mathbb {R}}^\times _1}})\). Recall the operator \(S:{\mathsf {H}}\rightarrow {\mathsf {H}}\) given by \((S\xi )(t)=\mathrm{sign}(t)\xi (t)\). S is an isometric involution, so it has eigenvalues \(\pm 1\), and \({\mathsf {H}}\) decomposes as an orthogonal direct sum of the corresponding eigenspaces, \({\mathsf {H}}= {\mathsf {H}}^+ \oplus _2 {\mathsf {H}}^-\). The spaces \({\mathsf {H}}^{\pm }\) have the following explicit description:
Let \(P^{\pm }\) be the orthogonal projection of \({\mathsf {H}}\) onto \({\mathsf {H}}^{\pm }\), and define \(P_{\mathrm{diag}} :{\mathsf {H}}\mathbin {{\widehat{\otimes }}}{\overline{{\mathsf {H}}}}\rightarrow {\mathsf {H}}\mathbin {{\widehat{\otimes }}}{\overline{{\mathsf {H}}}}\) by
Lemma 5.1
\(P_{\mathrm{diag}}\) is a norm-one projection.
Proof
Since \(P^{+}\) and \(P^{-}\) are complementary projections, a direct calculation yields \((P_{\mathrm{diag}})^2 = P_{\mathrm{diag}}\). Therefore, it suffices to show that \(P_{\mathrm{diag}}\) is contractive:
By the definition of the projective tensor norm, it follows that \({\Vert P_{\mathrm{diag}}(T)\Vert }\le {\Vert T\Vert }\) for all \(T\in {\mathsf {H}}\mathbin {{\widehat{\otimes }}}{\overline{{\mathsf {H}}}}\). \(\square \)
Remark 5.2
The decomposition \({\mathsf {H}}={\mathsf {H}}^+\oplus _2{\mathsf {H}}^-\) gives a decomposition of \(T\in {\mathcal {S}}_1({\mathsf {H}})\) as a \(2\times 2\) block matrix
If we identify \({\mathsf {H}}\mathbin {{\widehat{\otimes }}}{\overline{{\mathsf {H}}}}\) with \({\mathcal {S}}_1({\mathsf {H}})\), then \(P_\mathrm{diag}\) corresponds to “compression to the diagonal”.
Proposition 5.3
\(P_{\mathrm{diag}}\) is a homomorphism.
Proof
It suffices to prove that \(P_{\mathrm{diag}}(T_1)\boxtimes P_\mathrm{diag}(T_2)= P_{\mathrm{diag}}(T_1\boxtimes T_2)\) for \(T_1=\xi _1\mathbin {\otimes }\eta _1\) and \(T_2=\xi _2\mathbin {\otimes }\eta _2\). To simplify our formulas slightly, we write \(\xi _1^+=P^{+}\xi _1\), etc., and for functions f, g defined on the set \(\{+,-\}\) we write \(\sum _{\pm } f(\pm )g(\mp )\) for \(f(+)g(-)+f(-)g(+)\).
We have
To analyze each of these four terms, we consider the effect of \(\lambda (1+h)\) and \(\lambda (1+h^{-1})\) on vectors in \({\mathsf {H}}^+\) or \({\mathsf {H}}^{-}\), as h varies over \({{\mathbb {R}}^{\times }}\). Note that if \(\alpha \in {\mathsf {H}}^\pm \) and \(\beta \in {\mathsf {H}}^{\mp }\) (i.e. \(\alpha \) and \(\beta \) have “different parity”) then \(\alpha \cdot \beta =0\) as elements of \({\mathsf {H}}\). Also: if \(a>0\) then \(\lambda (a)({\mathsf {H}}^{\pm })={\mathsf {H}}^{\pm }\); and if \(a<0\) then \(\lambda (a)({\mathsf {H}}^{\pm })={\mathsf {H}}^{\mp }\). Using these facts,
-
if \(h<0\) and \(h\ne -1\), then precisely one of \(1+h\) or \(1+h^{-1}\) is negative, and so
$$\begin{aligned} \lambda (1+h)\xi _1^{\pm } \cdot \lambda (1+h^{-1})\xi _2^{\pm } = \lambda (1+h)\eta _1^{\pm } \cdot \lambda (1+h^{-1})\eta _2^{\pm } = 0 \;; \end{aligned}$$ -
if \(h>0\), then \(1+h\) and \(1+h^{-1}\) are both positive, and so
$$\begin{aligned} \lambda (1+h)\xi _1^{\pm } \cdot \lambda (1+h^{-1})\xi _2^{\mp } = \lambda (1+h)\eta _1^{\pm } \cdot \lambda (1+h^{-1})\eta _2^{\mp } = 0 \;. \end{aligned}$$
Therefore, considering the four terms in (5.4), we obtain
and
where we have used the same notational convention as in Sect. 3.3 to simplify the formulas.
Now we consider \(P_{\mathrm{diag}}(T_1\boxtimes T_2)\); since the Bochner integral commutes with bounded linear maps, this equals
For \(-\infty< h<-1\), we have \(1+h<0 < 1+h^{-1}\); hence
For \(-1< h < 0\), we have \(1+h> 0 > 1+h^{-1}\); hence
For \(0<h <\infty \), we have \(1+h > 0\) and \(1+h^{-1} > 0\); hence
Therefore, splitting the integral in (5.6) into three pieces, and recalling that \(P_{\mathrm{diag}}=\sum _{\pm } P^\pm \mathbin {\otimes }P^\pm \), we obtain
Comparing this with the combination of (5.4), (5.5a) and (5.5b), we have shown that \(P_\mathrm{diag}(T_1)\boxtimes P_{\mathrm{diag}}(T_2) = P_{\mathrm{diag}}(T_1\boxtimes T_2)\) as required. \(\square \)
Definition 5.4
(The diagonal subalgebra) We define \({\mathcal {A}}_{\mathrm{diag}}\mathbin {:=}P_{\mathrm{diag}}({\mathcal {A}})\). Note that by Proposition 5.3, \({\mathcal {A}}_{\mathrm{diag}}\) is a subalgebra.
We now examine the image of \({\mathcal {A}}_{\mathrm{diag}}\) under the map \(\Psi :{\mathcal {A}}\rightarrow \mathrm{A}({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\).
Lemma 5.5
-
(i)
\(\pi (0,-1)\xi (t)=\xi (-t)\). In particular, \(\pi (0,-1)\) interchanges \(\mathrm{H}^+\) and \(\mathrm{H}^{-}\).
-
(ii)
If \((b,a)\in {{\mathbb {R}}\rtimes {{\mathbb {R}}^\times _1}}\) then \(\pi (b,a)(\mathrm{H}^\pm )\subseteq \mathrm{H}^\pm \).
-
(iii)
If \(\xi ,\eta \in \mathrm{H}^{\pm }\) (i.e. both have the same “parity”) then \(\xi *_\pi \eta \) vanishes outside \({{\mathbb {R}}\rtimes {{\mathbb {R}}^\times _1}}\).
-
(iv)
If \(\xi \in \mathrm{H}^\pm \) and \(\eta \in \mathrm{H}^{\mp }\) (i.e. they have different “parity”) then \(\xi *_\pi \eta \) vanishes on \({{\mathbb {R}}\rtimes {{\mathbb {R}}^\times _1}}\).
The claims in the lemma follow easily from the definitions of \(\pi \) and \({\mathsf {H}}^{\pm }\), so we leave the details to the reader.
Proposition 5.6
(Intertwining projections) \(\Psi P_{\mathrm{diag}} = P_e \Psi \) as maps \({\mathsf {H}}\mathbin {{\widehat{\otimes }}}{\overline{{\mathsf {H}}}}\rightarrow \mathrm{A}({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\).
Proof
By linearity and continuity, it suffices to verify this identity on rank-one tensors in \({\mathsf {H}}\mathbin {\otimes }{\overline{{\mathsf {H}}}}\). Let \(\xi ,\eta \in {\mathsf {H}}\); then
Hence by Lemma 5.5(iv), for every \((b,a)\in {{\mathbb {R}}\rtimes {{\mathbb {R}}^\times _1}}\),
Thus, \(P_e\Psi (\xi \mathbin {\otimes }\eta )\) and \(\Psi P_{\mathrm{diag}}(\xi \mathbin {\otimes }\eta )\) agree on \({{\mathbb {R}}\rtimes {{\mathbb {R}}^\times _1}}\).
By definition, \(P_e\Psi (\xi \mathbin {\otimes }\eta )\) vanishes outside \({{\mathbb {R}}\rtimes {{\mathbb {R}}^\times _1}}\); and by Lemma 5.5(iv), so does \(\Psi P_\mathrm{diag}(\xi \mathbin {\otimes }\eta )\). We conclude that \(P_e\Psi (\xi \mathbin {\otimes }\eta )= \Psi P_{\mathrm{diag}}(\xi \mathbin {\otimes }\eta )\) as required. \(\square \)
Since \(P_e:\mathrm{A}({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\rightarrow \mathrm{A}({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\) is a homomorphism with range \(\mathrm{A}_e({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\) and \(\Psi :{\mathcal {A}}\rightarrow \mathrm{A}({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\) is an algebra isomorphism, this provides an alternative proof that \(P_{\mathrm{diag}}\) is a homomorphism and \({\mathcal {A}}_{\mathrm{diag}}\) is a subalgebra of \({\mathcal {A}}\). Moreover, by the remarks at the start of this section, we may identify \(\mathrm{A}_e({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\) with \(\mathrm{A}({{\mathbb {R}}\rtimes {{\mathbb {R}}^\times _1}})\). Thus \(({\mathcal {A}}_\mathrm{diag}, \boxtimes )\) may be viewed as a realization of dual convolution for \({{\mathbb {R}}\rtimes {{\mathbb {R}}^\times _1}}\).
Remark 5.7
Lemma 5.5(ii) shows that the restriction of \(\pi \) to \({{\mathbb {R}}\rtimes {{\mathbb {R}}^\times _1}}\) splits as \(\pi _{+}\oplus \pi _{-}\) where \(\pi _{\pm }: {{\mathbb {R}}\rtimes {{\mathbb {R}}^\times _1}}\rightarrow {\mathcal {U}}({\mathsf {H}}^{\pm })\). Up to unitary equivalence, \(\pi _+\) and \(\pi _{-}\) are the only two infinite-dimensional unitary representations of \({{\mathbb {R}}\rtimes {{\mathbb {R}}^\times _1}}\); they can also be constructed directly as induced representations. Attempting to construct dual convolution for \({{\mathbb {R}}\rtimes {{\mathbb {R}}^\times _1}}\) directly requires consideration of \(\pi _+\mathbin {\otimes }\pi _+\), \(\pi _+\mathbin {\otimes }\pi _-\), \(\pi _-\mathbin {\otimes }\pi _+\) and \(\pi _-\mathbin {\otimes }\pi _-\), and the fusion rules for the “mixed parity” cases are not so straightforward. Indeed, \(\pi _+\mathbin {\otimes }\pi _-\) is not quasi-equivalent to an irreducible representation of \({{\mathbb {R}}\rtimes {{\mathbb {R}}^\times _1}}\).
Finally, we consider derivations on \({\mathcal {A}}_{\mathrm{diag}}\) and hence on \(\mathrm{A}({{\mathbb {R}}\rtimes {{\mathbb {R}}^\times _1}})\). Let \(D: {\mathcal {A}}\rightarrow {\mathcal {A}}^*\) be the derivation constructed in Sect. 4. Composing with the inclusion \(\iota : {\mathcal {A}}_{\mathrm{diag}}\rightarrow {\mathcal {A}}\) and the restriction \(\iota ^*: {\mathcal {A}}^*\rightarrow ({\mathcal {A}}_{\mathrm{diag}})^*\), we obtain a derivation \(D_1=\iota ^*D\iota : {\mathcal {A}}_{\mathrm{diag}} \rightarrow ({\mathcal {A}}_{\mathrm{diag}})^*\). Cyclicity and weak compactness of D are inherited by \(D_1\), just from the definition. Now let \(\top \) be the transpose operator from Definition 4.4. Since \(\iota \) is a complete isometry and \(\top _{*} \iota = \iota \top _{*}\), complete boundedness of \(\top D: {\mathcal {A}}\rightarrow {\mathcal {A}}^*\) implies complete boundedness of \(\top D_1 =\iota ^* \top D \iota : {\mathcal {A}}_{\mathrm{diag}} \rightarrow ({\mathcal {A}}_{\mathrm{diag}})^*\).
It remains to check that \(D_1\) is not identically zero. Recall that by definition
where \((S\xi )(t)=\mathrm{sign}(t)\xi (t)\) and \(R\xi (t)=\xi (-t)\). Fix some non-zero vector \(\alpha \in {\mathsf {H}}^+\) and put \(\beta =\overline{R\alpha } \in {\mathsf {H}}^{-}\), so that \(\alpha \mathbin {\otimes }\alpha \) and \(\beta \mathbin {\otimes }\beta \) belong to \({\mathcal {A}}_{\mathrm{diag}}\). Since \(S\alpha =\alpha \) and \(R^2=\mathrm{id}\) we have
Intertwining \(D_1\) with \(\Psi \) yields a non-zero derivation \({\widetilde{D}}: \mathrm{A}_e({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\rightarrow \mathrm{A}_e({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})^*\). This derivation turns out to coincide, up to a scaling factor, with the derivation constructed in [1]; the proof requires the orthogonality relations for \(\pi _{\pm }\) or the Plancherel theorem for \({{\mathbb {R}}\rtimes {{\mathbb {R}}^\times _1}}\). Since \(\Psi \) is a completely isometric algebra isomorphism, \({\widetilde{D}}\) inherits the properties of \(D_1\). In particular \({\widetilde{D}}\) is weakly compact and “co-completely bounded” (using the terminology of [3]), properties which were less obvious from the original construction in [1].
6 A New Banach Algebra Structure on \(L^p({{\mathbb {R}}^{\times }})\mathbin {{\widehat{\otimes }}}L^q({{\mathbb {R}}^{\times }})\)
Throughout this section, we assume \(1<p <\infty \) and denote by q the conjugate index to p. We denote the usual pairing between \(L^p({{\mathbb {R}}^{\times }})\) and \(L^q({{\mathbb {R}}^{\times }})\) by \({\langle \quad , \quad \rangle }_{p,q}\); note that \({\langle \xi , {\overline{\eta }}\rangle }_{2,2} = \langle \xi , \eta \rangle \).
For sake of precision, recall that there is an isometric, \({\mathbb {C}}\)-linear isomorphism of Banach spaces
By intertwining with \({\tilde{\iota }}\), we may transfer the Banach algebra structure defined on \(L^2({{\mathbb {R}}^{\times }})\mathbin {{\widehat{\otimes }}}\overline{L^2({{\mathbb {R}}^{\times }})}\) over to \(L^2({{\mathbb {R}}^{\times }})\mathbin {{\widehat{\otimes }}}L^2({{\mathbb {R}}^{\times }})\). Moreover, one can use the natural analogue of the formula (3.4) to equip \(L^p({{\mathbb {R}}^{\times }})\mathbin {{\widehat{\otimes }}}L^q({{\mathbb {R}}^{\times }})\) with a Banach algebra structure, in a way that extends the \(p=q=2\) case.
That is: for \(\xi ,\xi '\in L^p({{\mathbb {R}}^{\times }})\) and \(\eta ,\eta '\in L^q({{\mathbb {R}}^{\times }})\), we claim that
is a well-defined Bochner integral taking values in \(L^p({{\mathbb {R}}^{\times }})\mathbin {{\widehat{\otimes }}}L^q({{\mathbb {R}}^{\times }})\), and that \(\boxtimes \) extends to a bounded bilinear map
which is commutative and associative. We denote the resulting commutative Banach algebra \((L^p({{\mathbb {R}}^{\times }})\mathbin {{\widehat{\otimes }}}L^q({{\mathbb {R}}^{\times }}), \boxtimes )\) by \({\mathcal {A}}_p\).
Most of the steps needed to justify this claim consist of routine modifications of the arguments in Sect. 3.2, so we shall not give full details here. We highlight some of the relevant technical points.
-
(S1)
There is an \(L^p\)-analogue of Lemma 3.1, with an isometry \(V_p:L^p({{\mathbb {R}}^{\times }}\times {{\mathbb {R}}^{\times }}) \rightarrow L^p({{\mathbb {R}}^{\times }}\times {{\mathbb {R}}^{\times }})\) defined by the formula
$$\begin{aligned} V_p(X)(h,t) = X\left( \frac{t}{1+h} , \frac{t}{1+h^{-1}}\right) . \end{aligned}$$As before, this shows that for \(\xi ,\xi '\in L^p({{\mathbb {R}}^{\times }})\) the function
$$\begin{aligned} F:h\mapsto \lambda (1+h)\xi \cdot \lambda (1+h^{-1})\xi '\end{aligned}$$is a.e. equal to a strongly measurable \(L^p({{\mathbb {R}}^{\times }})\)-valued function, with
$$\begin{aligned} \left( \int _{{{\mathbb {R}}^{\times }}} {\Vert F(h)\Vert }_p^p \,\frac{dh}{|h|} \right) ^{1/p} = {\Vert \xi \Vert }_p {\Vert \xi '\Vert }_p \;. \end{aligned}$$One then performs the same construction with p replaced by q.
-
(S2)
However, one has to be careful taking pointwise products of two functions in \(L^p({{\mathbb {R}}^{\times }})\) or \(L^q({{\mathbb {R}}^{\times }})\). The expression defining F(h) a priori only takes values in \(L^{p/2}({{\mathbb {R}}^{\times }})\), which for \(1<p<2\) is not a Banach space (it is complete and quasi-normed, but not locally convex).
-
(S3)
Once one has shown that \(\boxtimes \) is well-defined and contractive as a bilinear map \((L^p({{\mathbb {R}}^{\times }})\mathbin {{\widehat{\otimes }}}L^q({{\mathbb {R}}^{\times }})) \times (L^p({{\mathbb {R}}^{\times }})\mathbin {{\widehat{\otimes }}}L^q({{\mathbb {R}}^{\times }})) \rightarrow (L^p({{\mathbb {R}}^{\times }})\mathbin {{\widehat{\otimes }}}L^q({{\mathbb {R}}^{\times }}))\), one can prove it is commutative and associative by repeating the arguments of Sect. 3.3 almost verbatim; the key point is that \(C_c({{\mathbb {R}}^{\times }})\) is still norm-dense in both \(L^p({{\mathbb {R}}^{\times }})\) and \(L^q({{\mathbb {R}}^{\times }})\).
-
(S4)
The abstract description of \(\boxtimes \) for \({\mathsf {H}}\mathbin {{\widehat{\otimes }}}{\overline{{\mathsf {H}}}}\), shown in Fig. 1, has a natural and straightforward generalization to the \(L^p\)-setting, which is sketched in Fig. 2.
The \(L^p\)-analogue of Fig. 1
For \(p=2\), \({\tilde{\iota }}:{\mathcal {A}}\rightarrow {\mathcal {A}}_2\) is an isometric isomorphism of Banach algebras. Since \(\Psi :{\mathcal {A}}\rightarrow C_0({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\) is an injective homomorphism, it follows that \({\mathcal {A}}_2\cong {\mathcal {A}}\) is semisimple, and that we can identify \({\mathcal {A}}_2\) with a Banach function algebra on \({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}}\). We now show that the same is true for \({\mathcal {A}}_p\).
The formula \(\pi (b,a)\xi (t)\mathbin {:=}e^{2\pi i bt} \xi (ta)\) still defines an isometric, SOT-continuous representation of \({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}}\) on \(L^p({{\mathbb {R}}^{\times }})\). Hence, for each \(\xi \in L^p({{\mathbb {R}}^{\times }})\) and \(\eta \in L^q({{\mathbb {R}}^{\times }})\) there is an associated coefficient function:
This formula defines a contractive linear map \(\Psi _p: L^p({{\mathbb {R}}^{\times }})\mathbin {{\widehat{\otimes }}}L^q({{\mathbb {R}}^{\times }}) \rightarrow C_b({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\). (Note that \(\Psi _2\circ {\tilde{\iota }}=\Psi \).) We define \(\mathrm{A}^p_\pi \) to be the space \(\Psi _p({\mathcal {A}}_p)\subset C_b({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\) equipped with the quotient norm pushed forwards from \({\mathcal {A}}_p/\ker \Psi _p\). One can show that \(\Psi _p:{\mathcal {A}}_p\rightarrow C_b({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\) is an algebra homomorphism, by a direct calculation using the \(L^p\)-analogue of Proposition 3.3. Hence \(\mathrm{A}^p_\pi \) is a Banach function algebra, which in the case \(p=2\) is just \(\mathrm{A}_\pi ({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\).
Proposition 6.1
\(\mathrm{A}^p_\pi \subseteq C_0({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\).
Proof
By linearity and continuity it suffices to prove that for each \(\xi ,\eta \in C_c({{\mathbb {R}}^{\times }})\) the coefficient function \(f\mathbin {:=}\Psi _p(\xi \mathbin {\otimes }\eta )\) belongs to \(C_0({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\). This now follows because \(\xi ,\eta \in L^2({{\mathbb {R}}^{\times }})\) and \(\mathrm{A}^2_\pi = \mathrm{A}_\pi ({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})=\mathrm{A}({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\subset C_0({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\).
An alternative argument, which does not rely on the equality \(\mathrm{A}_\pi ({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})=\mathrm{A}({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\), goes as follows. Since \(\xi ,\eta \in C_c({{\mathbb {R}}^{\times }})\), there is a compact \(K\subset {{\mathbb {R}}^{\times }}\) such that f is supported inside \({\mathbb {R}}\times K\). Also, for each \(a\in K\) we have \(f({\underline{\quad }},a)\in C_0({\mathbb {R}})\), since \(t\mapsto |t|^{-1} \xi (ta)\eta (t)\) is integrable (use the Riemann–Lebesgue lemma for the Fourier transform on \({\mathbb {R}}\)). By a standard compactness argument, whose details we omit, we conclude that \(f\in C_0({\mathbb {R}}\times K) \subset C_0({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\). \(\square \)
So far everything has been a straightforward translation of what was done for the \(p=2\) case. In contrast, the next result seems to require extra work.
Theorem 6.2
\(\Psi _p:L^p({{\mathbb {R}}^{\times }})\mathbin {{\widehat{\otimes }}}L^q({{\mathbb {R}}^{\times }}) \rightarrow C_0({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\) is injective. Consequently, \(\Psi _p:{\mathcal {A}}_p\rightarrow \mathrm{A}^p_\pi \) is an isometric isomorphism of Banach algebras.
For \(p=2\) this is a special case of general results already mentioned in Sect. 2. For general p, we make use of results from [6] that are particular to \(\pi \) and \({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}}\). Consider the following space:
\({\mathsf {V}}_0\) is a linear subspace of \(\mathrm{A}({\mathbb {R}})\); standard properties of \(\mathrm{A}({\mathbb {R}})\) imply that \({\mathsf {V}}_0\) is norm-dense in \(L^p({{\mathbb {R}}^{\times }})\) for every \(p\in (1,\infty )\). The following lemma is a special caseFootnote 4 of a result from [6], restated in a more direct form to avoid possible clashes of notational conventions.
Lemma 6.3
(Eymard–Terp) Let \(\xi ,\eta \in {\mathsf {V}}_0\). Then there exists \(f\in L^1({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\) such that, for every \(\alpha ,\beta \in C_c({{\mathbb {R}}^{\times }})\),
where the integrals over \({{\mathbb {R}}^{\times }}\) are taken with respect to the Haar measure of this group.
Since we only need a subset of Eymard and Terp’s result, we include a proof of the lemma for the reader’s convenience.
Proof (following [6, Prop. 1.13])
Let \(\xi ,\eta \in {\mathsf {V}}_0\). The right-hand side of Eq. (6.3) is equal, after a change of variables \(a\mapsto ta\), to
![figure c](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs11785-021-01100-y/MediaObjects/11785_2021_1100_Figc_HTML.png)
If we can find \(f\in L^1({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\) such that \(|a|^{-1}\int _{{\mathbb {R}}} f(b,a) e^{2\pi ibt}\,db= \xi (t)\eta (ta)\) for a.e. \(t,a\in {{\mathbb {R}}^{\times }}\), then substituting this into (*) and using Fubini would give the left-hand side of Eq. (6.3).
Let \(g(t,a) = \xi (t)\eta (ta)\) viewed as a function \({\mathbb {R}}\times {{\mathbb {R}}^{\times }}\rightarrow {\mathbb {C}}\). The assumptions on \(\xi \) and \(\eta \) ensure that \(a\mapsto g({\underline{\quad }}, a)\) is a continuous function \({{\mathbb {R}}^{\times }}\rightarrow \mathrm{A}({\mathbb {R}})\) which has compact support. (C.f. [6, Exemple 1.17]). Applying the inverse Fourier transform for \({\mathbb {R}}\) to g in the first variable, we obtain \(f_1\in L^1({\mathbb {R}}\times {{\mathbb {R}}^{\times }}, |a|^{-1}d(t,a))\) which satisfies
Thus the function \(f(b,a) = |a| f_1(-b,a)\) has the required properties. \(\square \)
Proof of Theorem 6.2
It suffices to prove that \(\Psi _p:L^p({{\mathbb {R}}^{\times }})\mathbin {{\widehat{\otimes }}}L^q({{\mathbb {R}}^{\times }})\rightarrow C_0({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\) is injective; the rest of the theorem follows from earlier observations.
Let \(\xi ,\eta \in {\mathsf {V}}_0\) and let \(f\in L^1(G)\) be as provided by Lemma 6.3. Let \(j_p:L^p({{\mathbb {R}}^{\times }})\mathbin {{\widehat{\otimes }}}L^q({{\mathbb {R}}^{\times }})\rightarrow {\mathcal {B}}(L^p({{\mathbb {R}}^{\times }}))\) be the map which sends an elementary tensor \(\alpha \mathbin {\otimes }\beta \) to the rank-one operator \(\gamma \mapsto {\langle \gamma , \beta \rangle }_{p,q}\alpha \). Then we may rewrite Eq. 6.3 as:
Hence, by linearity and continuity of \(j_p\) and \(\Psi _p\),
In particular, suppose \(w\in \ker (\Psi _p)\). Then \({\langle j_p(w)\xi , \eta \rangle }=0\). Since this holds for all \(\xi ,\eta \in {\mathsf {V}}_0\), and since \({\mathsf {V}}_0\) is norm-dense in \(L^p({{\mathbb {R}}^{\times }})\) and in \(L^q({{\mathbb {R}}^{\times }})\), it follows that \(j_p(w)=0\). Since \(L^p({{\mathbb {R}}^{\times }})\) has the approximation property, \(j_p\) is injective, and we conclude that \(w=0\) as required. \(\square \)
Remark 6.4
Define \(\Phi _p: M({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}}) \rightarrow {\mathcal {B}}(L^p({{\mathbb {R}}^{\times }}))\) defined as follows: for \(\mu \in M({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\), \(\xi \in L^p({{\mathbb {R}}^{\times }})\), and \(\eta \in L^q({{\mathbb {R}}^{\times }})\), let
\(\Phi _p\) is a contractive, weak\(^*\)-weak\(^*\) continuous algebra homomorphism, and it can be identified with the adjoint of \(\Psi _p\). Hence injectivity of \(\Psi _p\) is equivalent to weak\(^*\)-density of \(\Phi _p(M({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}}))\) in \({\mathcal {B}}(L^p({{\mathbb {R}}^{\times }}))\). In effect, our proof of Theorem 6.2 works by showing that \(\Phi _p(L^1({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}}))\) contains a norm-dense subspace of \({\mathcal K}(L^p({{\mathbb {R}}^{\times }}))\) and hence is weak\(^*\)-dense in \({\mathcal {B}}(L^p({{\mathbb {R}}^{\times }}))\). While this formulation of the proof is more intuitive, it does not seem to make the argument significantly simpler. Note that for \(p=2\) the weak\(^*\)-density result would follow from general facts about unitary representations of locally compact groups, but the proofs of those facts use \(\mathrm{C}^*\)-algebraic tools which are not available for general representations on \(L^p\)-spaces.
For any locally compact group G, the Figà-Talamanca–Herz algebra \(\mathrm{A}_p(G)\) is defined to be the coefficient space of the left regular representation of G on \(L^p(G)\). Note that \(\mathrm{A}_2(G)=\mathrm{A}(G)\). We have seen above that \(\mathrm{A}^2_\pi =\mathrm{A}_2({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\); we now show that this fails for all other p.
Proposition 6.5
Let \(p\in (1,2)\cup (2,\infty )\). There exists a sequence \((f_n)\) in \(\mathrm{A}^p_\pi \cap \mathrm{A}_p({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\) such that each \(f_n\) has norm 1 in \(\mathrm{A}^p_\pi \) but \(f_n\rightarrow 0\) in \(\mathrm{A}_p({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\).
Proof
For this proof, we denote the norm in \(\mathrm{A}_p({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\) by \({\Vert \cdot \Vert }_{\mathrm{A}_p}\).
Since \({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}}\) is amenable, a result of HerzFootnote 5 implies that \(\mathrm{A}_2({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\subseteq \mathrm{A}_p({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\), and that the inclusion is norm-decreasing. Therefore, if we take \(\xi \in (L^2\cap L^p)({{\mathbb {R}}^{\times }})\) and \(\eta \in (L^2\cap L^q)({{\mathbb {R}}^{\times }})\) and set \(f=\Psi _p(\xi \mathbin {\otimes }\eta )=\Psi _2(\xi \mathbin {\otimes }\eta )\), we have \({\Vert f\Vert }_{\mathrm{A}^p_\pi } = {\Vert \xi \mathbin {\otimes }\eta \Vert }_{{\mathcal {A}}_p} = {\Vert \xi \Vert }_p {\Vert \eta \Vert }_q\) and
It therefore suffices to find functions \(\xi _n\) and \(\eta _n\) that lie in every \(L^p({{\mathbb {R}}^{\times }})\) and satisfy
since we may then take \(f_n = {\Vert \xi _n\Vert }_p^{-1}{\Vert \eta _n\Vert }_q^{-1}\Psi _p(\xi _n\mathbin {\otimes }\eta _n)\). Consider \(\gamma _n:{{\mathbb {R}}^{\times }}\rightarrow \{0,1\}\) defined by \(\gamma _n = 1_{[e^{-n},e^n]}\). Then \(\gamma _n \in L^p({{\mathbb {R}}^{\times }})\) for all \(p\in (1,\infty )\) with \({\Vert \gamma _n\Vert }_p^p = 2n\). For \(1<p<2\), taking \(\xi _n=\gamma _n\) and \(\eta _n = \gamma _1\) yields
while for \(2<p<\infty \), taking \(\xi _n=\gamma _1\) and \(\eta _n = \gamma _n\) yields
So in both cases we have the desired sequences. \(\square \)
Theorem 6.6
If \(p\in (1,2)\cup (2,\infty )\), then \(\mathrm{A}_p({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\not \subseteq \mathrm{A}^\pi _p\).
Proof
Suppose that \(\mathrm{A}_p({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\subseteq \mathrm{A}^p_\pi \). Since both Banach spaces embed continuously in \(C_0({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\), the closed graph theorem would then imply that the inclusion map \(\mathrm{A}_p({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\rightarrow \mathrm{A}^p_\pi \) is continuous. But this contradicts Proposition 6.5. \(\square \)
Remark 6.7
Since \(\mathrm{A}^p_\pi \) is the coefficient space of an isometric group representation on an \(L^p\)-space, it is contained in the multiplier algebra of \(\mathrm{A}_p({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\). This follows from an \(L^p\)-version of Fell’s absorption principle (valid for any locally compact group), which appears to be folklore and goes back to the 1960s/70s. It would be interesting to study the relationship between \(\mathrm{A}^p_\pi \) and \(\mathrm{A}_p({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\) in greater detail.
7 Concluding Remarks
We finish by suggesting some avenues for further exploration.
Affine groups of other local fields Much of [6] works in the general setting of a field \(\mathsf{K}\) which is locally compact, second-countable and non-discrete, together with the corresponding affine group \(\mathsf{K}\rtimes \mathsf{K}^\times \). All the calculations of Sect. 3 and Sect. 6 should remain true for such a \(\mathsf{K}\), provided that one replaces the exponential function in the definition of \(\pi \) with a nontrivial character of \((\mathsf{K},+)\). However, Sects. 4 and 5 use certain special features of \({{\mathbb {R}}^{\times }}\) that are not shared by \(\mathsf{K}^\times \), and we do not expect them to generalize to \({{\mathbb {Q}}}_p\), for instance.
Constructing explicit derivations on Fourier algebras The question of which groups G allow non-zero derivations \(\mathrm{A}(G)\rightarrow \mathrm{A}(G)^*\) has been intensively studied in recent years. The calculations in Sect. 4 may give new ideas or techniques for constructing derivations on Fourier algebras of other (Lie) groups.
A concrete model for LCQG questions By enhancing the decomposition in Fig. 1 with operator-space structure, using row and column Hilbert spaces in the appropriate places, one can show that \(\boxtimes \) extends to a completely contractive map \({\mathcal {S}}_1({\mathsf {H}}) \mathbin {{\widehat{\otimes }}}_{\mathrm{op}} {\mathcal {S}}_1({\mathsf {H}})\rightarrow {\mathcal {S}}_1({\mathsf {H}})\), where \(\mathbin {{\widehat{\otimes }}}_{\mathrm{op}}\) denotes the projective tensor product of operator spaces. The adjoint of this map is a \(*\)-homomorphism \(\Delta _\boxtimes :{\mathcal {B}}({\mathsf {H}})\rightarrow {\mathcal {B}}({\mathsf {H}}\mathbin {\otimes }^2{\mathsf {H}})\), which is coassociative since \(\boxtimes \) is associative. Moreover, the adjoint of \(\Psi :{\mathcal {S}}_1({\mathsf {H}}) \rightarrow \mathrm{A}({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\) coincides with the canonical \(*\)-homomorphism \(\mathrm{VN}({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}}) \rightarrow {\mathcal {B}}({\mathsf {H}})\) obtained by sending \(\lambda (b,a)\) to \(\pi (b,a)\). Because \(\Psi \) is a homomorphism, \(\Psi ^*\) intertwines \(\Delta _\boxtimes \) with the canonical comultiplication \(\Delta \) on \(\mathrm{VN}({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\).
It might be interesting to study various general constructions for Hopf von Neumann algebras, using \(({\mathcal {B}}({\mathsf {H}}),\Delta _{\boxtimes })\) as our concrete model of \((\mathrm{VN}({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}}),\Delta )\). In particular, to our knowledge it remains an open question if the operator systems \({\text {WAP}}({\widehat{G}})\) and \({\text {LUC}}({\widehat{G}})\) are subalgebras of \(\mathrm{VN}(G)\) for non-abelian G; our concrete model may provide a new angle of attack when \(G={{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}}\).
One note of warning: the transpose operator \(\top : {\mathcal {B}}({\mathsf {H}})\rightarrow {\mathcal {B}}({\mathsf {H}})\) is not intertwined with the canonical involution on \(\mathrm{VN}({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\), because \(\top (\pi (b,a)) \ne \pi (b,a)^*\). If we wish to also introduce Kac algebra structure on \(({\mathcal {B}}({\mathsf {H}}),\Delta _{\boxtimes })\), the antipode is given not by \(\top \) but by a unitarily similar operator.
Questions regarding \({\mathcal {A}}_p\) and \(\mathrm{A}^p_\pi \). Let \(p\in (1,2)\cup (2,\infty )\).
-
Q1.
Does \({\mathcal {A}}_p\) have a bounded approximate identity?
-
Q2.
Is \({\mathcal {A}}_p\) weakly amenable? In Sect. 4 we wrote down an explicit \(\Phi \in ({\mathcal {A}}\mathbin {{\widehat{\otimes }}}{\mathcal {A}})^*\) which defines a non-zero derivation \({\mathcal {A}}\rightarrow {\mathcal {A}}^*\). However, \(\Phi \) does not extend to a bounded bilinear functional on \({\mathcal {A}}_p\mathbin {{\widehat{\otimes }}}{\mathcal {A}}_p\).
-
Q3.
Is \(\mathrm{A}^p_\pi \) natural as a Banach function algebra on \({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}}\)? Equivalently: are all characters on \({\mathcal {A}}_p\) of the form \(w \mapsto \Psi _p(w)(b,a)\) for some \((b,a)\in {{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}}\)?
-
Q4.
Assuming a positive answer to the previous question: which other function-algebra properties of \(\mathrm{A}({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\) are shared by \(\mathrm{A}^p_\pi \)? For example: is this algebra regular? Tauberian? It is not clear to the authors if \(\mathrm{A}^p_\pi \) contains any non-zero compactly supported functions.
Notes
Changes of variables for Bochner integrals can be easily justified by verifying first for simple functions, and then passing to the limit.
There is a subtler notion available when viewing elements of \({\mathcal {S}}_1(L^2(\Omega ))\) as functions on \(\Omega \times \Omega \); rather than quotienting out by the equivalence relation “agree except on a null subset of \(\Omega \times \Omega \)”, one uses the finer equivalence relation “agree except on a marginally null subset”. This notion, which orginates in pioneering work of Arveson on operator synthesis, is not needed for our paper.
Strictly speaking, this reduction step is not necessary, but it removes any need to consider technicalities about interchanging the order of various integrals that now follow.
The lemma implies that for \(\xi \) and \(\eta \) in \({\mathsf {V}}_0\), the corresponding rank-one operator belongs to \(\pi (L^1({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}}))\subset {\mathcal {B}}(L^2({{\mathbb {R}}^{\times }}))\), and this is the form in which Eymard and Terp state their result. In fact, they obtained a sharper result, which characterizes those \(f\in L^1({{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}})\) such that \(\pi (f)\) is a rank-one operator on \(L^2({{\mathbb {R}}^{\times }})\).
References
Choi, Yemon, Ghandehari, Mahya: Weak and cyclic amenability for Fourier algebras of connected Lie groups. J. Funct. Anal. 266(11), 6501–6530 (2014)
Choi, Yemon: Directly finite algebras of pseudofunctions on locally compact groups. Glasg. Math. J. 57(3), 693–707 (2015)
Choi, Y.: Constructing alternating 2-cocycles on Fourier algebras. Adv. Math. 385, 107747 (2021)
Derighetti, Antoine: Convolution Operators on Groups. Lecture Notes of the Unione Matematica Italiana, vol. 11. Springer, Heidelberg (2011)
Effros, E.G., Jin, R.Z.: Operator Spaces London Mathematical Society Monographs New Series. The Clarendon Press, New York (2000)
Eymard, P., Terp, M.: La transformation de Fourier et son inverse sur le groupe des \(ax+b\) d’un corps local. In Analyse harmonique sur les groupes de Lie (Sém., Nancy-Strasbourg 1976–1978), II, volume 739 of Lecture Notes in Math., pages 207–248. Springer, Berlin, (1979)
Eymard, P.: L’algèbre de Fourier d’un groupe localement compact. Bull. Soc. Math. France 92, 181–236 (1964)
Hytönen, T., van Neerven, J., Veraar, M., Weis, L.: Analysis in Banach spaces. Vol. I. Martingales and Littlewood-Paley theory, volume 63 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics. Springer, Cham, (2016)
Kaniuth, E., To-Ming Lau, A.: Fourier and Fourier-Stieltjes Algebras on Locally Compact Groups Mathematical Surveys and Monographs, vol. 231. American Mathematical Society, Providence (2018)
Kaniuth, E., Taylor, K.F.: Induced Representations of Locally Compact Groups Cambridge Tracts in Mathematics. Cambridge University Press, Cambridge (2013)
Williams, Dana P.: Crossed Products of \(C{^\ast }\)-algebras Mathematical Surveys and Monographs. American Mathematical Society, Providence (2007)
Acknowledgements
This work was initiated during a visit of Choi to the University of Delaware in September 2017, supported by LMS grant 41669 from the London Mathematical Society (Scheme 4), and continued during a second visit in September 2018, supported by the Visitor Fund of the Department of Mathematics and Statistics at Lancaster University. Ghandehari was supported by NSF grant DMS-1902301 while this work was being completed.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by H. Turgay Kaptanoglu.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This article is part of the topical collection “Harmonic Analysis and Operator Theory” edited by H. Turgay Kaptanoglu, Aurelian Gheondea and Serap Oztop.
Tensor Products of Induced Representations
Tensor Products of Induced Representations
Consider a semidirect product \(G=N \rtimes H\). The left action of H on N is denoted by \(h\cdot n\); if \(\sigma \in {\widehat{N}}\) then the corresponding left action of H on \({\widehat{N}}\) is defined by \(h\cdot \sigma :n \mapsto \sigma (h^{-1}\cdot n)\).
Given a (continuous, unitary) representation \(\sigma : N \rightarrow {\mathcal {U}}({\mathcal {H}}_\sigma )\) we define the induced representation \({\text {Ind}}_N^G\sigma : G \rightarrow {\mathcal {U}}(L^2(H,{\mathcal {H}}_\sigma ))\) by the formula
for \(\xi \in L^2(H,{\mathcal {H}}_\sigma )\), \(n\in N\), \(h,k \in H\). Combining Proposition 2.41 and Theorem 2.58 of [10], we get the following theorem:
Theorem A.1
Let \(G=N\rtimes H\) and let \(\pi _1\) and \(\pi _2\) be representations of N. For \(i=1,2\) let \(\Pi _i={\text {Ind}}_{\pi _i}\) be the induced representation of G on \(L^2(H,{\mathcal {H}}_{\pi _i})\). Then
via the unitary map \(W:L^2(H,{\mathcal {H}}_{\pi _1})\otimes ^2L^2(H,{\mathcal {H}}_{\pi _2})\rightarrow \int _H^\oplus L^2(H,{\mathcal {H}}_{\pi _1}\otimes ^2{\mathcal {H}}_{\pi _2})\) defined by
where \(\rho \) is the right regular representation (\(\rho (h)f(k)=f(kh)\)), and \(\phi _{f\otimes g}\in L^2(H,{\mathcal {H}}_{\pi _1}\otimes ^2{\mathcal {H}}_{\pi _2})\) is defined by \(\phi _{f\otimes g}(h)=f(h)\otimes g(h)\).
Proof
A direct calculation shows that W preserves the inner product:
Using (A.1), it is easy to verify that \(\rho (h){\text {Ind}}_N^G\pi _1(x) f={\text {Ind}}_N^G(h\cdot \pi _1)(x)(\rho (h)f)\). Thus,
\(\square \)
As an application, we now derive an alternative proof of Proposition 3.3. We use the same notation as defined in Sect. 2. For \(r\in {\mathbb {R}}\), define \(\chi _r : {\mathbb {R}}\rightarrow {\mathbb {C}}\) by \(\chi _r(t) = \exp (2\pi i rt)\), so that \(r\mapsto \chi _r\) is a group isomorphism \({\mathbb {R}}\rightarrow {\widehat{{\mathbb {R}}}}\).
Corollary A.2
(Explicit fusion relation for \(\pi )\) Let \(\xi \), \(\xi '\), \(\eta \), \(\eta '\in {\mathsf {H}}\). Then
where \(\lambda \) is the left regular representation of \({{\mathbb {R}}^{\times }}\) on \({\mathsf {H}}\).
Proof
As in Eq. (2.3), we denote \(\Pi ={\text {Ind}}_{\mathbb {R}}^{{\mathbb {R}}\rtimes {{\mathbb {R}}^{\times }}}\chi _1\). Recall that \(\pi = J \Pi (\cdot ) J\), where \(Jf={\check{f}}\). By Theorem A.1,
via the unitary map
where \(\rho \) is the right regular representation of \({{\mathbb {R}}^{\times }}\), i.e. \(\rho (r)f(s)=f(sr)\). Here, we have used the fact that \(r\cdot \chi _1\otimes \chi _1\simeq \chi _{\frac{1}{r}+1}\). Hence
which expands out to
as required. \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Choi, Y., Ghandehari, M. Dual Convolution for the Affine Group of the Real Line. Complex Anal. Oper. Theory 15, 76 (2021). https://doi.org/10.1007/s11785-021-01100-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11785-021-01100-y