# Fibrado principal

Em matemática, um fibrado principal é uma classe especial de fibrado para o qual as fibras são todas espaços homogêneos principais relacionados a um grupo topológico.
Os G-fibrados principais são G-fibrados no sentido que o grupo G também serve como o grupo estrutural do fibrado. Os fibrados principais tem usos importantes na topologia e na geometria diferencial. Também tem encontrado uso em física onde formam la parte da teoria de gauge. Os fibrados principais proporcionam um marco unificador na teoria dos fibrados no sentido que todos os fibrados com grupo estrutural G determinam um único G-fibrado principal a partir do qual pode ser reconstruído o fibrado original.

## Definição formal

Um $G$-fibrado principal é um fibrado $\pi :P\to X$ junto a uma ação contínuo à direita $P\times G\to P$ por um grupo topológico $G$ tal que $G$ preserva as fibras de $P$ e a ação é livre e transitiva. A fibra abstrata do fibrado é tomada como $G$ (muitas vezes requer que o espaço de base $X$ seja um espaço de Hausdorff e possivelmente paracompacto).
Segue que as órbitas da $G$-ação são precisamente as fibras do fibrado e o espaço de órbitas é homeomorfo ao espaço homogêneo $P/G$.
Um $G$-fibrado principal pode também ser caracterizado como um $G$-fibrado $\pi :P\to X$ com fibra $G$ onde o grupo da estrutura atua na fibra pela multiplicação à esquerda. Dado que a multiplicação à direita $G$ na fibra comuta com a ação do grupo estrutural, existe uma noção invariante de multiplicação à direita de $G$ sobre $P$.
A noção de fibrado principal pode ser estendida à categoria das variedades diferenciáveis, requerendo que $\pi :P\to X$ seja uma aplicação diferenciável entre variedades, $G$ um grupo de Lie e que a ação de $G$ sobre $P$ seja diferenciável.

## Exemplos

O exemplo mais comum de um fibrado principal diferenciável é o fibrado de referências, também chamado fibrado de marcos, de uma variedade $M$. A fibra sobre um ponto $x\in M$ é o sistema de todas as referências (ou seja, bases ordenadas) do espaço tangente $T_{x}M$. O grupo linear geral $GL(n,\mathbb {R} )$ atua de forma simples e transitiva sobre o conjunto de bases. Estas fibras podem ser unidas de maneira natural para obter um $GL(n,\mathbb {R} )$-fibrado principal sobre $M$.
Variações no exemplo anterior incluem o fibrado de referências ortonormais de uma variedade riemanniana. Aqui as referências devem ser bases ortonormais em relação à métrica. O grupo estrutural é o grupo ortogonal $O(n)$.
Se $X$ é um espaço topológico e $p:C\to X$ é um recobrimento normal (regular), este último pode ser considerado um fibrado principal onde o grupo estrutural $\pi _{1}(X)/p_{*}\pi _{1}(C)$ atua sobre $C$ via a ação de monodromia. Em particular, o recobrimento universal de um espaço topológico $X$ é um fibrado principal sobre $X$ com grupo estrutural $\pi _{1}(X)$.
Sejam $G$ um grupo de Lie e $H$ um subgrupo fechado (não necessariamente normal). Então $G$ é um $H$-fibrado principal sobre o espaço quociente (esquerdo) $G/H$. Aqui a ação de $H$ em $G$ é a multiplicação à direita. As fibras são coconjuntos à esquerda de $H$ (neste caso há uma fibra distinta, a que contém a identidade, que é naturalmente isomorfa a $H$).
Consideremos a projeção $\pi :S^{1}\to S^{1}$ dada por $z\mapsto z^{2}$. Este $\mathbb {Z} _{2}$-fibrado principal é o fibrado associado à fita de Möbius.
Os espaços projetivos proporcionam exemplos interessantes de fibrados principais. Recordemos que a $n$-esfera $S^{n}$ é um recobrimento duplo do espaço projetivo real $\mathbb {R} \mathbb {P} ^{n}$.
A ação natural de $O(1)$ sobre $S^{n}$ resulta a estrutura de $O(1)$-fibrado principal sobre $\mathbb {R} \mathbb {P} ^{n}$. Também $S^{2n+1}$ é um $U(1)$-fibrado principal sobre $\mathbb {C} \mathbb {P} ^{n}$ e $S^{4n+3}$ é um $Sp(1)$-fibrado principal sobre o espaço projetivo quaterniônico $\mathbb {H} \mathbb {P} ^{n}$. Então temos uma série de fibrados principais para cada inteiro positivo $n$:
    ${O}(1)\to S(\mathbb {R} ^{n+1})\to \mathbb {RP} ^{n}$
    ${U}(1)\to S(\mathbb {C} ^{n+1})\to \mathbb {CP} ^{n}$
    ${Sp}(1)\to S(\mathbb {H} ^{n+1})\to \mathbb {HP} ^{n}$
Aquí $S(V)$ denota a esfera unidade em $V$. Por todos estes exemplos o caso $n=1$ resulta os fibrados de Hopf.

## Trivialização e seções

Uma das perguntas mais importantes em relação a um espaço fibrado é se se é ou não um fibrado trivial (ou seja, isomorfo a um fibrado produto). Para os fibrados principais há uma caracterização conveniente da trivialidade:
    Teorema. Um fibrado principal é trivial se e somente se admite uma seção global.
Este resultado não é certo para fibrados em geral. Em particular os fibrados vetoriais, por exemplo, tem sempre a seção zero, sejam triviais ou não.
O mesmo teorema se aplica às trivializações locais de fibrados principais. Seja $\pi :P\to X$ um $G$-fibrado principal. Um conjunto aberto $U$ em $X$ admite uma trivialização local se e somente se existe uma seção local em $U$. Dado uma trivialização local $\phi :\pi ^{-1}(U)\to U\times G$ podemos definir uma seção local associada :$s:U\to \pi ^{-1}(U)$,
    $s(x):=\phi ^{-1}(x,e)$
onde $e$ é a identidade em $G$.
Reciprocamente, dada uma seção local $s$ podemos definir uma trivialização $\phi$ por: $\phi ^{-1}(x,g)=s(x)\cdot g$
O fato de que $G$ atua de forma simples e transitiva garante que esta aplicação é uma bijeção. É possível comprovar que também é um homeomorfismo. As trivializações locais definidas por uma seção local são $G$-equivariantes no seguinte sentido:
se escrevemos
    $\phi :\pi ^{-1}(U)\to U\times G$
na forma
    $\phi (p)=(\pi (p),\varphi (p))$
então a aplicação $\varphi :P\to G$ satisfaz
    $\varphi (p\cdot g)=\varphi (p)\cdot g$
Em termos das seções locais $s$, a aplicação $\varphi$ é dada por :$\varphi (s(x)\cdot g)=g.$
A versão local do teorema da seção então indica que as trivializações locais equivariantes de um fibrado principal estão em correspondência com as seções locais.
Seja $(\{U_{i}\},\{\phi _{i}\})$ uma trivialização local equivariante de $P$ e $s_{i}$ as seções locais induzidas em cada $U_{i}$. Em $U_{i}\cap U_{j}$ as seções $s_{i}$ e $s_{j}$ estão relacionadas pelo grupo $G$. De fato, as funções de transição entre as diferentes trivializações, dadas por
    $(\phi _{j}\circ \phi _{i}^{-1}):(U_{i}\cap U_{j})\times G\to (U_{i}\cap U_{j})\times G$
na primeira coordenada resultam ser a identidade e resultam
    $(x,e)\mapsto (x,t_{ij}(x))$.
Logo para qualquer $x\in U_{i}\cap U_{j}$ temos
    $s_{j}(x)=s_{i}(x)\cdot t_{ij}(x).$

## Caracterização de fibrados principais diferenciáveis

Se $\pi :P\to X$ é um $G$-fibrado principal diferenciável, então $G$ atua em forma própria e livre em $P$ de modo que o espaço de órbitas $P/G$ é difeomorfo ao espaço base $X$.
Resulta que isto caracteriza completamente aos fibrados principais diferenciáveis. Isto é, se $P$ é uma variedade diferenciável, $G$ é um grupo de Lie e $\mu :P\times G\to P$ uma ação à direita diferenciável, livre e própria então
* $P/G$ (espaço quociente pela ação $\mu$) é uma variedade diferenciável,
* a projeção natural $\pi :P\to P/G$ é uma submersão, e
* $P$ é um $G$-fibrado principal diferenciável sobre $P/G$.

## Redução do grupo estrutural

Seja $\pi :P\to X$ um $G$-fibrado principal.
Dado um subgrupo $H\subset G$, podemos considerar o fibrado $P/H$ cujas fibras são as coclasses $G/H$. Se o novo fibrado admite uma seção global, dizemos que a seção é uma redução do grupo estrutural de $G$ ao de $H$.
Em particular, se $H$ é a identidade, então uma redução de $G$ à identidade é equivalente a ter-se uma seção global do fibrado original, o qual é equivalente a que o fibrado seja trivial. Em geral não existem as reduções do grupo estrutural.
Muitas perguntas sobre a estrutura topológica de um fibrado podem ser reformuladas como perguntas sobre a admissibilidade da redução do grupo estrutural.
Por exemplo:
* Uma variedade real $2n$-dimensional admite uma estrutura complexa se o fibrado de referências correspondente à variedade, cujas fibras são $GL(2n,\mathbb {R} )$, pode ser reduzido ao grupo $GL(n,\mathbb {C} )\subset GL(2n,\mathbb {R} ).$
* Uma variedade $n$-dimensional admite $n$ campos vetoriais linearmente independentes em cada ponto se seu fibrado de referências é paralelizável, ou seja, se o fibrado de referências admite uma seção global.
* Uma variedade real $n$-dimensional admite um corpo $k$-plano se o fibrado de referências pode ser reduzido ao grupo estrutural $GL(k,\mathbb {R} )\subset GL(n,\mathbb {R} )$