Positivity of matrix coefficients of representations with real infinitesimal characters (Q839924)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Positivity of matrix coefficients of representations with real infinitesimal characters
scientific article

    Statements

    Positivity of matrix coefficients of representations with real infinitesimal characters (English)
    0 references
    3 September 2009
    0 references
    Let \(G\) be a connected semisimple Lie group with finite center and with a Cartan decomposition \(G = K\exp\mathfrak p\) (on the Lie group level) determined by a Cartan involution of the Lie algebra \(\mathfrak g\) of \(G\). Denote by \(\theta\) the corresponding Cartan involution of the complexification \(\mathfrak g_\mathbb C\) of \(\mathfrak g\) and let \(V\) be a \((\mathfrak g_\mathbb C,K)\)-module of finite length. An admissible form \(\langle\cdot , \cdot\rangle\) on \(V\) is a Hermitian form such that \(\langle Xu,v\rangle + \langle u,\theta(\bar{X})v\rangle = 0\) for all \(u, v\in V\) and all \(X\in\mathfrak g_\mathbb C\) together with \(\langle ku,kv\rangle = \langle u,v\rangle\) for all \(u, v\in V\) and all \(k\in K\). The main results of this paper are the following (the first of them is well-known, but is proven here using matrix coefficients): Let \(V\) be irreducible with a real infinitesimal character [\textit{D. A. Vogan jun.}, Representations of real reductive Lie groups. Prog. Math. Vol. 15. Boston-Basel-Stuttgart: Birkhäuser (1981; Zbl 0469.22012)]. Then, {\parindent=7mm \begin{itemize}\item[(1)] there exists a nondegenerate admissible form on \(V\), which is unique up to a nonzero real constant; \item[(2)] if \(\alpha\) is a lowest \(K\)-type of \(V\) in the sense of Vogan [op. cit.], the \(\alpha\)-isotypic component \(V(\alpha)\) is such that there is an admissible form \(\langle\cdot , \cdot\rangle\) on \(V\) such that \(\langle gv,v\rangle > 0\) for all \(v\in V(\alpha)\backslash\{0\}\) and all \(g\in\exp\mathfrak p\) in the following cases: \item[(a)] when \(G\) is complex or has real rank one; \item[(b)] when \(V\) is unitarizable with non-zero cohomology [\textit{D. A. Vogan jun.} and \textit{G. Zuckerman}, Compos. Math. 53, 51--90 (1984; Zbl 0692.22008)]. \end{itemize}}
    0 references
    0 references
    Harish-Chandra module
    0 references
    admissible form
    0 references
    real infinitesimal character
    0 references
    lowest \(K\)-type
    0 references
    0 references
    0 references