PlanetMath: gauge group

(more info)

Math for the people, by the people.

Main Menu

sections Encyclopædia
Papers
Books
Expositions

meta Requests (210)
Orphanage
Unclass'd (1)
Unproven (474)
Corrections (39)
Classification

talkback Polls
Forums
Feedback
Bug Reports

downloads Snapshots
PM Book

information News
Docs
Wiki
ChangeLog
TODO List
Legalese
About

Entry average rating: No information on entry rating

gauge group

(Definition)

Let us start with two vector bundles and over a space

$\displaystyle E = \Bigl ( \coprod_{\alpha} U_{\alpha} \times \mathbb{R}^{n} \Bigr ) /\{g_{\alpha \beta} \}$

and

$\displaystyle F = \Bigl ( \coprod_{\alpha} U_{\alpha} \times \mathbb{R}^{m} \Bigr) /\{h_{\alpha \beta} \}$

The first objective is to show how to create a bundle called ${\mathrm{Hom}}(E,F)$ . There are two different ways to do this. The first way is to observe that since for vector spaces that ${\mathrm{Hom}}(V,W) \cong W \otimes V^{\ast}$ (here just meaning the module of homomorphisms from to ) thus if we take the bundle ${\mathrm{Hom}}(E,F) := F \otimes E^{\ast}$ then we have that since the fibers $(F\otimes E^{\ast})_{b} = F_{b} \otimes E^{\ast}_{b}$ we have what we want.

Another way of looking at the creation of the bundle ${\mathrm{Hom}}(E,F)$ is to look at representations and what we would ideally like our bundle to look like. If we have that the bundle that represents is given by taking the principle ${\mathrm{Gl}}(m,\mathbb{R})$ bundle

$\displaystyle P_{F} = \Bigl( \coprod_{\alpha} U_{\alpha} \times {\mathrm{Gl}}(m, \mathbb{R}) \Bigl)/\{h_{\alpha \beta} \}$

and a trivial representation then the bundle afforded by the trivial representation is simply

. The same thing is true with the bundle

. We then have that if we look at the structure group of our proposed new bundle it should be ${\mathrm{Gl}}(m,\mathbb{R}) \times {\mathrm{Gl}}(n,\mathbb{R})$ . The fibers of our proposed new bundle definitely should be ${\mathrm{Hom}}(\mathbb{R}^{n},\mathbb{R}^{m})$ thus we have that the representation we are looking for should take something in our structure group and something in the fiber and give us something new in the fiber. The proposed representation is $\rho(A,B)(U) = A \circ U \circ B^{-1}$ . Then looking at the bundle associated to the representation of $\rho$ gives us that if

$\displaystyle P = P_{F} \times P_{E} = \Bigl ( \coprod_{\alpha} U_{\alpha} \tim... ...\mathrm{Gl}}(n,\mathbb{R}) \Bigr)/\{h_{\alpha \beta} \times g_{\alpha \beta} \}$

then

$\displaystyle {\mathrm{Hom}}(E,F) \equiv P \times_{\rho} {\mathrm{Hom}}(\mathbb{R}^{n},\mathbb{R}^{m})$

we can similarly define

$\displaystyle {\mathrm{Aut}}(E) = P_{E} \times_{\rho} {\mathrm{Gl}}(n,\mathbb{R})$

The group of sections of ${\mathrm{Aut}}(E)$ is called the gauge group. It is a group since we have that if $(f,f^{\prime})$ is a section of ${\mathrm{Aut}}(E)$ and $(\tau,\tau^{\prime})$ is also a section of ${\mathrm{Aut}}(E)$ then we have a group operation given by composition:

$\displaystyle \xymatrix{ E \ar[r]^{\tau} \ar[d]^{\pi} & E \ar[r]^{f} \ar[d]^{\pi} & E \ar[d]^{\pi} \\ B \ar[r]^{\tau^{\prime}} & B \ar[r]^{f^{\prime}} & B }$

The fact that these bundle maps are isomorphisms of bundles gives the existence of an inverse. The reason for this is that for each section $(f,f^{\prime})$ , $E_{b} \cong E_{f^{\prime}(b)}$ since $f_{b}$ is a vector space isomorphism. Thus we now have that if we look at the bundle map given by taking $\Bigl (f^{-1}, (f^{\prime})^{-1}) \Bigr )$ (where $f^{-1}$ means $(f_{b})^{-1}$ for each $b \in B$ ). Associativity is clear by composition of functions being associative and the identity map acts as the identity element.

Anyone with an account can edit this entry. Please help improve it!

"gauge group" is owned by sjm1979. [ full author list (2) ]

(view preamble)

Also defines:

bundle of homomorphisms, bundle of endomorphisms, automorphism bundle

Log in to rate this entry.
(view current ratings)

Cross-references: identity element, identity map, functions, clear, associativity, inverse, bundle maps, composition, group operation, sections, group, structure group, represents, representations, fibers, homomorphisms, module, vector spaces, vector bundles

This is version 6 of gauge group, born on 2007-05-04, modified 2007-05-14.
Object id is 9331, canonical name is GaugeGroup.
Accessed 952 times total.

Classification:

AMS MSC:

55R25 (Algebraic topology :: Fiber spaces and bundles :: Sphere bundles and vector bundles)

Pending Errata and Addenda

None.

Discussion

forum policy

No messages.

Interact