Hilbert and Fréchet bundle versions of the Harish-Chandra and Whittaker Plancherel Theorems

Nolan R. Wallach
2024-10-31
Abstract:This paper, in particular, gives a complete proof of the direct integral version of the Whittaker Plancherel Theorem. The main emphasis is on certain Hilbert and Fréchet vector bundles over a space that has a submersion onto the tempered dual. This allows for an approach to the Plancherel Theorems (both for L^2 and the Whittaker case) that is representation theoretic, bypasses the need for Harish-Chandra's Eisenstein Integrals and yields a proof the direct integral decompositions without invoking the abstract theory.
Representation Theory
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to give a complete proof of the direct integral version of the Whittaker - Plancherel theorem. Specifically, the author Nolan R. Wallach provides a new method to deal with the Plancherel theorem (including the L2 case and the Whittaker case) by introducing the formalism of Hilbert and Fréchet vector bundles. This method focuses on representation theory and avoids using Harish - Chandra's Eisenstein integral. ### Main contributions 1. **New formalism**: The author introduces the formalism of Hilbert and Fréchet vector bundles, making certain constructions more natural and thus allowing a smoother transition to the Whittaker situation. 2. **Direct integral formula**: The paper proves that the direct integral formula proposed in [RRGII] is correct and shows how to easily derive the direct integral versions of the Harish - Chandra and Whittaker Plancherel theorems from the vector bundle version. 3. **Explain the relationship between χ and χ⁻¹**: Solve a mystery that emerged in previous work, namely why χ⁻¹ instead of χ appears in the distribution version of the Whittaker Plancherel formula. This is related to the fact that in the abstract Plancherel theorem, the multiplicity space of a tame representation is its conjugate representation. ### Explanation of mathematical symbols - \( \chi \) and \( \chi^{-1} \) : Denote a certain character and its inverse respectively. - \( \mathfrak{g} \) : Represents the Lie algebra of the Lie group \( G \). - \( K \) : Represents the maximal compact subgroup of the real reductive group \( G \). - \( A_0 \) and \( N_0 \) : Are the connected subgroup and the nilpotent subgroup in the Iwasawa decomposition respectively. - \( \pi_P, \sigma, \nu \) : Represent the representation induced by \( (P, \sigma, \nu) \). - \( J_{\chi}(P, \sigma, \nu)(\lambda)(u) \) : Represents the Jacquet integral. ### Conclusion By introducing the formalism of Hilbert and Fréchet vector bundles, the author provides a new and more natural method to deal with the Plancherel theorem, especially the direct integral version of the Whittaker Plancherel theorem. This method not only simplifies the proof process but also reveals some previously ununderstood details, such as the relationship between χ and χ⁻¹.