Special unitary frame bundle

The principal SU(n)-bundle obtained by restricting to unitary frames with determinant one.
Special unitary frame bundle

Let EME\to M be a complex rank-nn vector bundle over a equipped with a . Let U(E)\mathrm{U}(E) be its unitary frame bundle. The special unitary frame bundle is, informally, the subbundle of U(E)\mathrm{U}(E) consisting of unitary frames whose determinant is 11.

To make this precise intrinsically, note that the top exterior power

det(E):=ΛnE \det(E):=\Lambda^n E

is a complex line bundle (see ), and the Hermitian metric on EE induces a Hermitian metric on det(E)\det(E). A special unitary reduction of (E,h)(E,h) is any of the following equivalent pieces of data:

  1. A principal subbundle SU(E)U(E)\mathrm{SU}(E)\subset \mathrm{U}(E) with structure group SU(n)\mathrm{SU}(n) (a ), such that the inclusion is SU(n)\mathrm{SU}(n)-equivariant and fiberwise identifies SU(E)x\mathrm{SU}(E)_x with the set of unitary bases of ExE_x having determinant 11.

  2. A choice of nowhere-vanishing section Ω\Omega of det(E)\det(E) with unit norm (with respect to the induced metric), i.e. a trivialization of det(E)\det(E) compatible with the metric; in this case, SU(E)\mathrm{SU}(E) consists of unitary frames whose wedge e1ene_1\wedge\cdots\wedge e_n equals Ω\Omega.

Thus, an SU(n)\mathrm{SU}(n)-reduction exists if and only if det(E)\det(E) is (unitarily) trivial.

Examples

  1. Trivial bundle. For E=M×CnE=M\times\mathbb C^n with the standard Hermitian metric and the constant volume form Ω=e1en\Omega=\mathbf e_1\wedge\cdots\wedge \mathbf e_n, one has SU(E)M×SU(n)\mathrm{SU}(E)\cong M\times \mathrm{SU}(n).

  2. Rank one. If n=1n=1, then SU(1)={1}\mathrm{SU}(1)=\{1\}, and any Hermitian line bundle has U(E)\mathrm{U}(E) as a principal U(1)\mathrm{U}(1)-bundle, while the special unitary frame bundle is canonically just the base manifold whenever a unit-norm trivialization of EE is chosen.

  3. Bundles with trivial determinant. If EE is a complex rank-nn bundle with det(E)\det(E) trivial (as a complex line bundle), then choosing a unit-norm trivializing section of det(E)\det(E) produces an SU(n)\mathrm{SU}(n)-reduction as above.