Connection (composite bundle) explained

Composite bundles

Y\to\Sigma\toX

play a prominent role in gauge theory with symmetry breaking, e.g., gauge gravitation theory, non-autonomous mechanics where

X=R

is the time axis, e.g., mechanics with time-dependent parameters, and so on. There are the important relations between connections on fiber bundles

Y\toX

,

Y\to\Sigma

and

\Sigma\toX

.

Composite bundle

In differential geometry by a composite bundle is meant the composition

\pi:Y\to\Sigma\toX       (1)

of fiber bundles

\piY\Sigma:Y\to\Sigma,    \pi\Sigma:\Sigma\toX.

It is provided with bundle coordinates

(xλ,\sigmam,yi)

, where

(xλ,\sigmam)

are bundle coordinates on a fiber bundle

\Sigma\toX

, i.e., transition functions of coordinates

\sigmam

are independent of coordinates

yi

.

The following fact provides the above-mentioned physical applications of composite bundles. Given the composite bundle (1), let

h

be a global sectionof a fiber bundle

\Sigma\toX

, if any. Then the pullback bundle

Yh=h*Y

over

X

is a subbundle of a fiber bundle

Y\toX

.

Composite principal bundle

For instance, let

P\toX

be a principal bundle with a structure Lie group

G

which is reducible to its closed subgroup

H

. There is a composite bundle

P\toP/H\toX

where

P\toP/H

is a principal bundle with a structure group

H

and

P/H\toX

is a fiber bundle associated with

P\toX

. Given a global section

h

of

P/H\toX

, the pullback bundle

h*P

is a reduced principal subbundle of

P

with a structure group

H

. In gauge theory, sections of

P/H\toX

are treated as classical Higgs fields.

Jet manifolds of a composite bundle

Given the composite bundle

Y\to\Sigma\toX

(1), consider the jet manifolds

J1\Sigma

,
1
J
\Sigma

Y

, and

J1Y

of the fiber bundles

\Sigma\toX

,

Y\to\Sigma

, and

Y\toX

, respectively. They are provided with the adapted coordinates

(xλ,\sigmam,

m
\sigma
λ)
,

(xλ,\sigmam,yi,\widehat

i
y
λ,
i
y
m),
, and

(xλ,\sigmam,yi,

m
\sigma
λ
i
,y
λ).

There is the canonical map

1\Sigma x
J
\Sigma
1
J
\Sigma

Y\toYJ1Y,

i
   y
m
m
\sigma
λ

+\widehat

i
y
λ
.

Composite connection

This canonical map defines the relations between connections on fiber bundles

Y\toX

,

Y\to\Sigma

and

\Sigma\toX

. These connections are given by the corresponding tangent-valued connection forms

\gamma=dxλ ⊗ (\partialλ

m\partial
+\gamma
m

+

i\partial
\gamma
i),
λ ⊗
A
\Sigma=dx

(\partialλ+

i\partial
A
i)

+d\sigmam(\partialm+

i\partial
A
i),

\Gamma=dxλ ⊗ (\partialλ+

m\partial
\Gamma
m).

A connection

A\Sigma

on a fiber bundle

Y\to\Sigma

and a connection

\Gamma

on a fiber bundle

\Sigma\to X

define a connection

\gamma=dxλ ⊗ (\partialλ

m\partial
+\Gamma
m

+

i
(A
λ
m)\partial
+ A
i)

on a composite bundle

Y\toX

. It is called the composite connection. This is a unique connection such that the horizontal lift

\gamma\tau

onto

Y

of a vector field

\tau

on

X

by means of the composite connection

\gamma

coincides with the composition

A\Sigma(\Gamma\tau)

of horizontal lifts of

\tau

onto

\Sigma

by means of a connection

\Gamma

and then onto

Y

by means of a connection

A\Sigma

.

Vertical covariant differential

Given the composite bundle

Y

(1), there is the following exact sequence of vector bundles over

Y

:

0\toV\SigmaY\toVY\toY x \SigmaV\Sigma\to0,       (2)

where

V\SigmaY

and
*Y
V
\Sigma
are the vertical tangent bundle and the vertical cotangent bundle of

Y\to\Sigma

. Every connection

A\Sigma

on a fiber bundle

Y\to\Sigma

yields the splitting

A\Sigma:TY\supsetVY\ni

y
i\partial
i

+

\sigma
m\partial
m

\to(

y

i

m)\partial
-A
i

of the exact sequence (2). Using this splitting, one can construct a first order differential operator

\widetildeD:J1Y\to

*X
T
Y

V\SigmaY,    \widetildeD=dxλ ⊗ (y

i
λ-
i
A
λ
m
-A
λ)\partial

i,

on a composite bundle

Y\toX

. It is called the vertical covariant differential.It possesses the following important property.

Let

h

be a section of a fiber bundle

\Sigma\toX

, and let

h*Y\subsetY

be the pullback bundle over

X

. Every connection

A\Sigma

induces the pullback connection
i
A
m\circ

h)\partialλhm +(A\circ

i
h)
λ)\partial

i]

on

h*Y

. Then the restriction of a vertical covariant differential

\widetildeD

to

J1h*Y\subsetJ1Y

coincides with the familiar covariant differential
Ah
D
on

h*Y

relative to the pullback connection

Ah

.

References

External links

See also