The Bott-Borel-Weil theorem for direct limit groups (Q2731958)

From MaRDI portal





scientific article; zbMATH DE number 1626831
Language Label Description Also known as
English
The Bott-Borel-Weil theorem for direct limit groups
scientific article; zbMATH DE number 1626831

    Statements

    30 July 2001
    0 references
    direct limit
    0 references
    direct limit Lie group
    0 references
    diagonal Lie algebra
    0 references
    diagonal embedding
    0 references
    Borel-Weil theorem
    0 references
    Bott-Borel-Weil theorem
    0 references
    direct limit representation
    0 references
    inverse limit representation
    0 references
    direct limit cohomology
    0 references
    inverse limit cohomology
    0 references
    infinite dimensional Lie group
    0 references
    The Bott-Borel-Weil theorem for direct limit groups (English)
    0 references
    The authors study Bott-Borel-Weil theory on the cohomological realization of the representations of strict direct limits of compact groups and their complexifications. Let \(\{G_{u,\alpha}, \varphi_{\beta,\alpha}\}\) be a direct system of compact connected Lie groups and assume that it is strict, namely that the Lie group homomorphism \(\varphi_{\beta, \alpha}\) on \(G_{u, \alpha}\) is a diffeomorphism onto its image in \(G_{u,\beta}\) with the subspace topology, and let \(G_u\) be its direct limit. Let \(G_\alpha\) be the connected complexifications of \(G_{u,\alpha}\) and \(G\) be the direct limit. Choose a Cartan subalgebra of the Lie algebra of \(G_\alpha\) and construct the corresponding flag manifold \(X_\alpha\) of \(G_\alpha\). Under some conditions on the compatibility of the root space decompositions under the maps \(\varphi_{\beta, \alpha}\) the authors construct the direct limit \(X\) of \(X_\alpha\) and establish first the Borel-Weil theorem that the natural action of \(G\) on a certain zero-cohomology space \(H^0(X,O(E^*))\) of the vector bundle \(E\) obtained from a dominant integral linear functional \(\lambda\) on the Cartan subalgebra of \(G\) forms a unitary irreducible representation of \(G_u\). They further introduce the notion of cohomological finiteness of degree \(q_\lambda\) for the linear functional \(\lambda\). A Bott-Borel-Weil theorem is proved under the finiteness condition. More precisely, it is proved that the induced action of \(G_u\) on the cohomology space \(H^q(X,O(E^*))\) for \(q=q_\lambda\) is a unitary irreducible representation; moreover the cohomology is zero if \(\lambda\) is not cohomologically finite or if \(\lambda\) is cohomologically finite but \(q\neq q_\lambda\). They also examine some concrete diagonal embedding direct limits of the classical Lie groups to ensure the assumptions in their theorems.
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references