P(M,G) princible bunde or associated vector bundle

an rth order invariant polynomial.

then:

• which implies that ,
• exact. This means does not depend on choice of connection.

Special case:

, then .

so

general case:

in book.

source psfile jl@crush.caltech.edu index