Holonomy reductions of Cartan geometries and curved orbit decompositions (Q2450259)

From MaRDI portal
Revision as of 17:45, 4 August 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Holonomy reductions of Cartan geometries and curved orbit decompositions
scientific article

    Statements

    Holonomy reductions of Cartan geometries and curved orbit decompositions (English)
    0 references
    0 references
    0 references
    0 references
    19 May 2014
    0 references
    Let \(G\) be a Lie group and let \(P\subset G\) be a closed subgroup, with Lie algebras \(\mathfrak{g}\) and \(\mathfrak{p}\), respectively. A Cartan geometry of type \((G,P)\) on a manifold \(M\) is a \(P\)-principal bundle \(\mathcal{G}\to M\) endowed with a Cartan connection \(\omega\in\Omega^1(\mathcal{G},\mathfrak{g})\). The homogeneous model of Cartan geometries of type \((G,P)\) is the bundle \(G\to G/P\) with the left Maurer-Cartan form \(\omega^{MC}\in\Omega^1(G,\mathfrak g)\) as the Cartan connection. The curvature \(K\in\Omega^2(\mathcal G,\mathfrak g)\) of \(\omega\) is defined by \(K(\xi,\eta)=d\omega(\xi,\eta)+[\omega(\xi),\omega(\eta)]\), which is exactly the failure of \(\omega\) to satisfy the Maurer-Cartan equation. A Cartan geometry is called torsion free if its curvature form \(K\) has values in \(\mathfrak p\subset\mathfrak g\). A Cartan connection \(\omega\in\Omega^1(\mathcal{G},\mathfrak{g})\) is easily seen to extend canonically to a \(G\)-principal connection \(\hat\omega\in\Omega^1(\hat{\mathcal{G}},\mathfrak{g})\) on the \(G\)-principal bundle \(\hat{\mathcal G}:=\mathcal G\times_PG\). The extension is characterized by the fact that \(i^*\hat\omega=\omega\), where \(i:\mathcal G\to\hat{\mathcal G}\) is the inclusion. Let \((\mathcal G,\omega)\) be a Cartan geometry of type \((G,P)\), and let \(\mathcal O\) be a homogeneous space of the group \(G\). Then a holonomy reduction of \(G\)-type \(\mathcal O\) of the geometry \((\mathcal G,\omega)\) is a parallel section of the bundle \(\mathcal G\times_P\mathcal O\). Let \((\mathcal G\to M,\omega)\) be a Cartan geometry of type \((G,P)\) together with a holonomy reduction of type \(\mathcal O\) described by \(s:\hat{\mathcal G}\to\mathcal O\). Then for a point \(x\in M\) the \(P\)-type of \(x\) with respect to \(s\) is the \(P\)-orbit \(s({\mathcal G}_x)\subset\mathcal O\). If \(P\backslash\mathcal O\) denotes the set of \(P\)-orbits in \(\mathcal O\), then it is easy to see that the base manifold \(M\) decomposes into a disjoint union of submanifolds \(M_i\), \(i\in P\backslash\mathcal O\), according to \(P\)-type as \(M=\cup_iM_i\); each component \(M_i\) is called a curved orbit. Given a manifold equipped with a Cartan connection, the authors show that a holonomy reduction of this connection determines a decomposition of the underlying manifold into a disjoint union of initial submanifolds. Each such submanifold inherits a canonical geometry from the original data. More precisely, the main theorem of the paper is stated as follows: Let \((\mathcal G,\omega)\) be a Cartan geometry of type \((G,P)\) which is endowed with a holonomy reduction of type \(\mathcal O\). Consider a \(P\)-orbit \(i\in P\backslash\mathcal O\) such that the curved orbit \(M_i\) is nonempty, and consider the corresponding groups \(P_i\subset H_i\) (where \((H_i,P_i)\) denotes an abstract representative of the associated isomorphism class of groups with a distinguished subgroup). Then we have the following: (i) Choose a representative \(\alpha\in\mathcal O\) for the orbit \(i\), let \(G_\alpha\in G\) be its stabilizer, and consider the holonomy reduction of the homogeneous model \(G/P\) determined by \(\alpha\). Then, for each \(x\in M_i\), there exist neighborhoods \(N\) of \(x\) in \(M\), and \(N'\) of \(eP\) in \(G/P\), and a diffeomorphism \(\varphi:N\to N'\) with \(\varphi(x)=eP\) and \(\varphi(M_i\cap N)=(G_\alpha\cdot{}eP)\cap N'\). In particular, \(M_i\) is an initial submanifold of \(M\). (ii) \(M_i\) carries a canonical Cartan geometry \((\mathcal G_i\to M_i,\omega_i)\) of type \((H_i,P_i)\). Choosing a representative \(\alpha\) for \(i\in P\backslash\mathcal O\) as in (i) and identifying \((H_i,P_i)\) with \((G_\alpha,P_\alpha)\), we obtain an embedding of principal bundles \(\mathbf{j}_\alpha:{\mathcal G}_i\to{\mathcal G}|_{M_i}\) such that \(\mathbf{j}_\alpha^*\omega=\omega_i\). Thus \((\mathcal G_i,\omega_i)\) can be realized as a \(P_\alpha\)-subbundle in \({\mathcal G}|_{M_i}\) on which \(\omega\) restricts to a Cartan connection of type \((G_\alpha,P_\alpha)\). (iii) For the embedding \(\mathbf{j}_\alpha\) from (ii), the curvatures \(K\) of \(\omega\) and \(K_i\) of \(\omega_i\) are related as \(K_i=\mathbf{j}_\alpha^*K\). In particular, if \(\omega\) is torsion free, so is \(\omega_i\). In the last section, the authors study several BGG (Bernstein-Gelfand-Gelfand) equations in projective, conformal and CR geometry.
    0 references
    holonomy reduction
    0 references
    Cartan geometry
    0 references
    invariant differential equations
    0 references
    projective geometry
    0 references
    conformal geometry
    0 references
    CR geometry
    0 references
    Kähler-Einstein metric
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references