Banach algebras associated with Laplacians on solvable Lie groups and injectivity of the Harish-Chandra transform
For any connected Lie group G and any Laplacian Λ = X²₁ + ⋯ + X²ₙ ∈ 𝔘𝔤 (X₁,...,Xₙ being a basis of 𝔤) one can define the commutant 𝔅 = 𝔅(Λ) of Λ in the convolution algebra ℒ¹(G) as well as the commutant ℭ(Λ) in the group C*-algebra C*(G). Both are involutive Banach algebras. We study these algebras in the case of a "distinguished Laplacian" on the "Iwasawa part AN" of a semisimple Lie group. One obtains a fairly good description of these algebras by objects derived from the semisimple group. As a consequence one sees that both algebras are commutative (which is not immediate from the definition), 𝔅 is C*-dense in ℭ, and 𝔅 is a completely regular symmetric Wiener algebra. As a byproduct of our approach we give another proof of the injectivity of Harish-Chandra's spherical Fourier transform, which is based on a theorem on C*-algebras of solvable Lie groups (due to N. V. Pedersen). The article closes with some open questions for more general solvable Lie groups. To some extent the article is written with a view to these questions, that is, we try to apply, as much as possible (at the moment), methods which work also outside the semisimple context.
- 43A15: L p -spaces and other function spaces on groups, semigroups, etc.
- 22E25: Nilpotent and solvable Lie groups
- 43A40: Character groups and dual objects
- 22E30: Analysis on real and complex Lie groups
- 43A20: L 1 -algebras on groups, semigroups, etc.
- 22D25: C * -algebras and W * -algebras in relation to group representations