Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Poisson transforms, the BGG complex, and discrete series representations of SU(n+1,1)

Andreas Cap, Christoph Harrach, Pierre Julg

Abstract

The aim of this article is to construct a specific Poisson transform mapping differential forms on the sphere $S^{2n+1}$ endowed with its natural CR structure to forms on complex hyperbolic space. The transforms we construct have values that are harmonic and co-closed and they descend to the BGG (Rumin) complex and intertwine the differential operators in that complex with the exterior derivative. Passing to the Poincaré ball model, we analyze the boundary asymptotics of the values of our transforms proving that they admit a continuous extension to the boundary in degrees $\leq n$. Finally, we show that composing the exterior derivative with the transform in degree $n$, one obtains an isomorphism between the kernel of the Rumin operator in degree $n$ and a dense subspace of the $L^2$-harmonic forms on complex hyperbolic space. These are well known to realize the direct sum of all discrete series representations of $SU(n+1,1)$, which we therefore realize on spaces of differential forms on the compact manifold $S^{2n+1}$. The developments in this article are motivated by a program of the third author to prove some instances of the Baum-Connes conjecture. The first part of the article is valid in a much more general setting, and is also relevant for cases in which the conjecture is still open.

Poisson transforms, the BGG complex, and discrete series representations of SU(n+1,1)

Abstract

The aim of this article is to construct a specific Poisson transform mapping differential forms on the sphere endowed with its natural CR structure to forms on complex hyperbolic space. The transforms we construct have values that are harmonic and co-closed and they descend to the BGG (Rumin) complex and intertwine the differential operators in that complex with the exterior derivative. Passing to the Poincaré ball model, we analyze the boundary asymptotics of the values of our transforms proving that they admit a continuous extension to the boundary in degrees . Finally, we show that composing the exterior derivative with the transform in degree , one obtains an isomorphism between the kernel of the Rumin operator in degree and a dense subspace of the -harmonic forms on complex hyperbolic space. These are well known to realize the direct sum of all discrete series representations of , which we therefore realize on spaces of differential forms on the compact manifold . The developments in this article are motivated by a program of the third author to prove some instances of the Baum-Connes conjecture. The first part of the article is valid in a much more general setting, and is also relevant for cases in which the conjecture is still open.
Paper Structure (17 sections, 28 theorems, 51 equations)

This paper contains 17 sections, 28 theorems, 51 equations.

Table of Contents

  1. Introduction
  2. General theory of Poisson transforms
  3. Harmonic Poisson transforms
  4. BGG-compatibility and equivariant maps.
  5. A specific family of transforms
  6. Harmonic Poisson transforms for $\mathop{\mathrm{SU}}\nolimits(n+1,1)$
  7. Geometric setup
  8. The distinguished harmonic Poisson transform
  9. Boundary asymptotics of Poisson transforms.
  10. Polar decomposition of complex hyperbolic space
  11. Boundary values of Poisson transforms
  12. Poisson transform on isotypic components
  13. Frobenius forms and differential operators
  14. The image of $\underline{\Phi}_{p,q}$ on isotypic components
  15. The $L^2$-norm of $d\underline{\Phi}_{p,q}$ on isotypic components
  16. ...and 2 more sections

Key Result

Proposition 1

For each Poisson transform $\Phi \colon \Omega^k(G/P, V_P)\to \Omega^\ell(G/K, W_K)$ the compositions $\Phi \circ d^{V_P}$, $d^{W_K} \circ \Phi$, $\delta^{W_K} \circ \Phi$ and $\Delta^{W_K} \circ \Phi$ are again Poisson transforms.

Theorems & Definitions (59)

  • Proposition 1
  • Theorem 2
  • proof
  • Definition 1
  • Theorem 3
  • proof
  • Proposition 4
  • proof
  • Definition 2
  • Lemma 5
  • ...and 49 more