4
$\begingroup$

Let $P\to M$ be a $G$-principal bundle where $P,M$ are smooth manifolds and $G$ is a Lie group with Lie algebra $\mathfrak{g}$, whose center is denoted by $C(\mathfrak{g})$.

Let $\omega$ be the connection form of a connection for our principal bundle.

We define a distribution on the total space $P$ as follows: $$ \{v\in T_xP\mid \omega(v)\in C(\mathfrak{g}),\quad x\in P\}. \label{1}\tag{$*$}$$ This defines a $G$-invariant distribution on $P$.

Under what algebraic conditions on $\omega$, \eqref{1} is an integrable distribution? What is a precise example of a foliation which can be generated in this way and the Lie algebra $\mathfrak{g}$ is not commutative? Is there an example of this situation such that we have a leaf with non-trivial holonomy? On the other extreme, what is an example of a distribution \eqref{1} which is not integrable?

As a second question, is there a geometric interpretation for the following algebraic condition: $$(\omega \wedge d\omega)(X,Y,Z)\in C(\mathfrak{g}),\quad \forall X,Y,Z\in T_x P,\; x\in P\quad ?$$

$\endgroup$

1 Answer 1

5
$\begingroup$

For every $u\in C({\cal g})$ there exists a fundamental vector $u^*$ defined on $P$ by $u^*(x)={d\over{dt}}_{t=0}x\exp(tu)$; if $u,v\in C({\cal g})$, $0=[u,v]^*=[u,^*,v^*]$. Frobenius theorem implies the distribution $$ \{v\in T_xP\mid \omega(v)\in C(\mathfrak{g}),\quad x\in P\} \tag{$\ast$} $$ is integrable.

$\endgroup$
4
  • $\begingroup$ Fundamental vector fields are vertical vector fields. But to check Frobenius condition we need consider arbitrary vector fields in our distribution. Right? $\endgroup$ Commented Jun 29, 2019 at 15:44
  • $\begingroup$ A proof of the Frobenius theorem works like so, let $X_1,..,X_p$ be vector fields in involution, one creates $X'_1,...,X'_p$ from $X_1,..,X_p$ which generates the same distribution such that $[X`_i,X'_j]=0$, then the flow of $X'_i$ define the foliation, so the involution in Frobenius theorem needs to be true for only one set of vector fields in involution. $\endgroup$ Commented Jun 29, 2019 at 15:54
  • $\begingroup$ So can we conclude from your answer that if we have a G principal bundle such that $\mathfrak{g}$ has trivial center then every arbitrary connection is flat since it is integrable? Is it realy the case? $\endgroup$ Commented Jun 29, 2019 at 19:45
  • $\begingroup$ My apology for asking this question again: According to your answer, does the conclusion in my previous comment, true? $\endgroup$ Commented Jul 3, 2019 at 6:32

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .