12.07.2015 Views

Ivancevic_Applied-Diff-Geom

Ivancevic_Applied-Diff-Geom

Ivancevic_Applied-Diff-Geom

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

816 <strong>Applied</strong> <strong>Diff</strong>erential <strong>Geom</strong>etry: A Modern Introductionthe same time, J 1 (Q, P ) is the G principal bundle C × P → C over thequotientC = J 1 (Q, P )/G (5.45)of the jet bundle J 1 (Q, P ) → P by the 1–jet prolongations of the canonicalmaps (4.31).Let J 1 (Q, P ) be the 1–jet space of a principal G−bundle P → Q. Itsquotient (5.45) by the jet prolongation of the canonical action R G (4.31) isa fibre bundle over Q.Given a bundle atlas of P and the associated bundle atlas of V G P , theaffine bundle C admits affine bundle coordinates (t, q i , a q α), and its elementsare represented by T G P −valued 1–formsa = dq α ⊗ (∂ α + a q αe q ) (5.46)on Q. One calls C (5.45) the connection bundle because its sections arenaturally identified with principal connections on the principal bundle P →Q as follows.There is the 1–1 correspondence between the principal connections ona principal bundle P → Q and the global sections of the quotient bundleC = J 1 (Q, P )/G −→ Q.We shall call C the principal connection bundle.modelled on the vector bundleIt is an affine bundleand there is the canonical vertical splittingC = T ∗ Q ⊗ V G P, (5.47)V C = C × C.Given a bundle atlas Ψ P of P , the principal connection bundle C admitsthe fibre coordinates (q µ , k m µ ) so that(k m µ ◦ A)(q) = A m µ (q)are coefficients of the local connection one–form (5.43). The 1–jet spaceJ 1 (Q, C) of C is with the adapted coordinates(q µ , k m µ , k m µλ). (5.48)

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!