Continuity of the dual Haar measure

Given a continuous field of locally compact groups, we show that the field of the Plancherel weights of their C*-algebras is lower semi-continuous. As a corollary, we obtain that the dual Haar system of a continuous Haar system of a locally compact abelian group bundle is also continuous. Résumé. Étant donné un champ continu de groupes localement compacts, on montre que le champ des poids de Plancherel de leurs C*-algèbres est semi-continu inférieurement. On en déduit que, lorsque les groupes sont abéliens, le système de Haar dual d’un système de Haar continu est aussi continu. Manuscript received 25th January 2021, accepted 31st January 2021. Version française abrégée Soient G un groupe localement compact abélien et Ĝ son groupe dual. La mesure de Haar duale d’une mesure de Haar de G est la mesure de Haar de Ĝ qui rend la transformation de Fourier isométrique. Supposons maintenant que G → X soit un fibré localement compact de groupes abéliens muni d’un système de mesures de Haar continu pour la topologie vague des mesures. Alors le fibré des groupes duaux a une topologie localement compact et est muni du système des mesures de Haar duales. Nous montrons que ce système dual est lui aussi continu. La démonstration est basée sur l’observation que, dans le cas d’un groupe localement compact abélien G , la mesure de Haar duale peut être vue comme le poids de Plancherel du groupe G , c’est-à-dire le poids canonique de l’algèbre hilbertienne de la représentation régulière gauche de G . La théorie de Tomita–Takesaki fournit la formule (1), valide pour tout groupe localement compact G . Si G → X est un fibré localement compact de groupes non nécessairement abéliens, muni d’un système de Haar continu, on déduit de cette formule et de l’existence d’unité approchée que, pour tout élément positif a de la C*-algèbre C∗(G), la fonction x 7→φx (ax ), oùφx est le poids de Plancherel du groupe Gx au dessus de x et ax est l’image de a dans C∗(Gx ), est semi-continue inférieurement sur X . On définit ainsi un C0(X )-poids sur la C0(X )-algèbre C∗(G). Comme dans la théorie usuelle, donnée dans [1], des poids scalaires sur les C*-algèbres, son domaine de ISSN (electronic) : 1778-3569 https://comptes-rendus.academie-sciences.fr/mathematique/


Version française abrégée
Soient G un groupe localement compact abélien et G son groupe dual.La mesure de Haar duale d'une mesure de Haar de G est la mesure de Haar de G qui rend la transformation de Fourier isométrique.Supposons maintenant que G → X soit un fibré localement compact de groupes abéliens muni d'un système de mesures de Haar continu pour la topologie vague des mesures.Alors le fibré des groupes duaux a une topologie localement compact et est muni du système des mesures de Haar duales.Nous montrons que ce système dual est lui aussi continu.

Introduction
Let G be a locally compact abelian group and let G be its dual group.A Haar measure λ of G determines a dual Haar measure λ of G: namely, this the Haar measure of G which makes the Fourier transform F an isometry from L 2 (G, λ) to L 2 ( G, λ).Suppose now that p : G → X is a locally compact abelian group bundle in the sense of [7].A Haar system for G is a family of measures (λ x ) x∈X , where for all x ∈ X , λ x is a Haar measure of G x = p −1 (x); it is said to be continuous if for all f ∈ C c (G), the function x → f d λ x is continuous.The dual group bundle p : G → X is then endowed with the dual Haar system.We show that if the initial Haar system is continuous, then so is the dual Haar system.This was stated as [7,Proposition 3.6].However it was recently pointed to the authors by Henrik Kreidler that their proof is defective.This note corrects this and gives a more general result, based on the fact that, given a locally compact abelian group G, the Haar weight of G corresponds via the Gelfand transform to the Plancherel weight of G. Our main result says that given a a locally compact group bundle p : G → X with continuous Haar system, the Plancherel weight of G x varies continuously in a suitable sense.This lead us to the definition of a lower semi-continuous C 0 (X )-weight on a C 0 (X )-C*-algebra which we illustrate by three examples.

The Plancherel weight of a locally compact group
We recall first some elements of the Tomita-Takesaki theory, using the standard notation of [11].We consider now the left Hilbert algebra associated with the left regular representation of a locally compact group G endowed with a left Haar measure λ as defined in [9]: the left Hilbert algebra is A = C c (G), where the product is the usual convolution product, the involution, denoted by f * instead of f , is f * (γ) = f (γ −1 ) and the scalar product is (

Given a left
Let us express Lemma 1 in the case of the left regular representation of a locally compact group G with a left Haar measure λ.

The Plancherel weight of a group bundle
We consider now the case of a locally compact group bundle p : G → X .We assume that the groups G x have a left Haar measure λ x such that x → λ x is continuous.As a locally compact groupoid with Haar system, we can construct its C*-algebra C * (G) as in [9].According to [5,Section 5], this is a C 0 (X )-C*-algebra.Its elements are continuous fields x → a x where a x ∈ C * (G x ).For x ∈ X , we let L x be the left regular representation of G x and τ x be the Plancherel weight of G x .
Proposition 3. Let G → X be a locally compact group bundle with a continuous Haar system One first show that the function x is lower semi-continuous for f ∈ C c (G) by using the equation ( 1).One deduces that x is lower semi-continuous where (e i ) is an approximate unit as in [6, Proposition 2.10], which we can assume bounded by 1.Then, our function can be written as a lower upper bound of a family of lower semi-continuous functions.

4.
Examples of C 0 (X )-weights on C 0 (X )-C*-algebras Definition 4. Let X be a locally compact Hausdorff space.A C 0 (X )-weight on a C 0 (X )-C*-algebra A is a map Φ : A + → LSC (X ) + , where LSC (X ) + denotes the convex cone of lower semi-continuous functions f : X → [0, ∞], which is additive and such that Φ(ha) = hΦ(a) for all h ∈ C 0 (X ) + and a ∈ A + .It is called lower semi-continuous if a n → a implies Φ(a) ≤ lim inf Φ(a n ) and densely defined if its domain P = {a ∈ A + : Φ(a) is finite and continuous} is dense in A + .
We note as in [4, Lemme 4.4.2.i] that the domain is hereditary.Here are examples.
(1) The map T : C * (G) + → LSC (X ) + of the previous section is a lower semi-continuous and densely defined C 0 (X )-weight.It can be called the Plancherel C 0 (X )-weight of the group bundle G → X .In particular, given a a locally compact group bundle G → X , a continuous Haar system (λ x ) x ∈ X defines a densely defined and lower semi-continuous C 0 (X )-weight of C 0 (G) called the Haar C 0 (X )-weight of the group bundle G → X .
We now have all the elements to prove the continuity of the dual Haar system.
Corollary 5. Let p : G → X a locally compact bundle of abelian groups, equipped with a continuous Haar system (λ x ) x ∈ X .Then the family of dual Haar measures ( λ x ) x ∈ X is a continuous Haar system for p : G → X .
Indeed, the Gelfand transform identifies the Plancherel C 0 (X )-weight of C * (G) and the Haar C 0 (X )-weight of C * ( G).
(3) In order to give our last example, we replace C 0 (X ) by its multiplier algebra C b (X ) whose elements are the complex-valued bounded continuous functions on X .We say that a C*-algebra A is a C b (X )-algebra if it is endowed with a nondegenerate morphism of

Lemma 1 .
Hilbert algebra A where the product, the involution and the scalar product are respectively denoted by ab, a and (a | b), we denote by H the Hilbert space completion of A and by π : A → L(H) the left representation.We denote by M = π(A) the left von Neumann algebra of A. We denote by S the closure of the involution a → a and by F its adjoint.The domain of S [resp.F ] is denoted by D [resp.D ] and one writes ξ = Sξ [resp.η = F η] for ξ ∈ D [resp.for η ∈ D ].An element η ∈ H is called right bounded if there exists a bounded operator π (η) on H such that π (η)a = π(a)η for all a ∈ A. One then writes ξη = π (η)ξ for all ξ ∈ H.The set of right bounded elements is denoted by B .One shows that A = B ∩ D with involution ξ is a right Hilbert algebra in the same Hilbert space H.An element ξ ∈ H is called left bounded if there exists a bounded operator π(ξ) on H such that π(ξ)η = π (η)ξ for all η ∈ A .One then writes ξη = π(ξ)η for all η ∈ H.If ξ is left bounded and η is right bounded, the notation is consistent: π(ξ)η = ξη = π (η)ξ.The set of left bounded elements is denoted by B. According to [2, Section 2], it is a linear subspace of H containing A, it is stable under M and π(B) is contained in M. We recall that the canonical weight τ of the left Hilbert algebra A is the map τ : M + → [0, ∞] defined by τ(T ) = ξ 2 if T is of the form π(ξ) * π(ξ) for some ξ ∈ B and τ(T ) = ∞ otherwise.It is a faithful, semi-finite, σ-weakly lower semi-continuous weight.Using the polar decomposition of an operator in a von Neumann algebra and the techniques of [11, Lemma 3.4], one obtains: For all ξ ∈ B, one has τ(π(ξ)π(ξ) * ) = ξ 2 if ξ ∈ D and is equal to ∞ otherwise.C. R. Mathématique -2021, 359, n 4, 415-419 . The left representation is denoted by L instead of π.It acts on the Hilbert space H = L 2 (G, λ −1 ) by L( f )g = f * g for f , g ∈ C c (G).The left von Neumann algebra M is the group von Neumann algebra V N (G).The canonical weight τ of this left Hilbert algebra is called the Plancherel weight of the group G ( [10, 12]).One has for f ∈ C c (G):

( 2 )
Let π : Y → X be a continuous, open and surjective map, where Y and X are locally compact Hausdorff spaces.For x ∈ X , let Y x = π −1 (x) be the fibre over x.Endowed with the fundamental family of continuous sections C c (Y ), x → C 0 (Y x ) is a continuous field of C*-algebras.Its C*-algebra of continuous sections is identified with C 0 (Y ).Thus C 0 (Y ) is a C 0 (X )-C*-algebra.Let (α x ) x ∈ X be a family of Radon measures on Y , with α x supported on π −1 (x), and such that for all f ∈ C c (Y ), the functionx → f d α x is continuous.Then Φ : C 0 (Y ) → LSC (X ) + such that Φ( f )(x) = f d α x for f ∈ C 0 (Y )is a densely defined and lower semi-continuous C 0 (X )-weights of C 0 (Y ).The converse is also true and uses the fact that C c (Y ) is the Pedersen ideal, i.e. the minimal dense ideal, of C 0 (Y )( [8, 5.6.3.]).
C b (X ) into the centre of the multiplier algebra of A. Then we define a C b (X )-weight by replacing C 0 (X ) by C b (X ) in the above definition.By the Dauns-Hofmann theorem, a C*-algebra A is a C b (X )-algebra, where X is the primitive ideal space Prim(A) endowed with the Jacobson topology.Given a ∈ A + , according to [8, Proposition 4.4.9],one can define Φ(a)(P ) = Trace(π(a)) where P is a primitive ideal and π is any irreducible representation admitting P as kernel, and Φ(a) is lower semi-continuous on X .Then Φ : A + → LSC (X ) + is a lower semi-continuous C b (X )-weight.It is densely defined if and only if A is a continuous-trace C*-algebra.This is the C*-algebraic version of the Z-trace introduced by Dixmier in [3] for von Neumann algebras.