Princípio de divisão

Em matemática, o princípio de divisão é uma técnica usada para reduzir questões sobre fibrados vectoriais para o caso de fibrados de linhas.

Em sua forma mais comum, o princípio pode ser enunciado do seguinte modo:

Teorema: Seja $\xi :E\to X$ um fibrado vetorial de dimensão $n$ sobre um espaço paracompacto $X$. Então existe uma variedade $Y=Fl(E)$ e uma aplicação $p:Y\to X$ tal que

1. o homomorfismo induzido na cohomologia $p^{*}:H^{*}(X)\to H^{*}(Y)$ é injetivo e
2. o pullback $p^{*}\xi :p^{*}E\to Y$ se divide como a soma direta de fibrados de linha: $p^{*}(E)=L_1\oplus L_2\oplus \cdots \oplus L_n.$

As classes de Chern $c_1(L_1),...,c_n(L_n)$ são ditas as raízes de Chern de $E$. O ponto é que, como $p^{*}$ é injetiva, toda fórmula envolvendo classes de Chern em $Y$ vale também em $X$. Para provarmos fórmulas do tipo, portanto, podemos considerar somente somas diretas de fibrados de linha.

O princípio da divisão possui várias variações. A seguinte, em particular, trata de fibrados vetoriais reais e suas complexificações:

Teorema: Seja $\xi :E\to X$ um fibrado vetorial real de dimensão $2n$ sobre um espaço paracompacto $X$. Então existe um espaço $Y$ e uma aplicação $p:Y\to X$ tal que

1. o homomorfismo induzido na cohomologia $p^{*}:H^{*}(X)\to H^{*}(Y)$ é injetivo e
2. o pullback $p^{*}\xi :p^{*}E\to Y$ se divide como a soma de fibrados de linha: $p^{*}(E\otimes ℂ)=L_1\oplus \overline{L_1}\oplus \cdots \oplus L_n\oplus \overline{L_n}.$

Referências

• Hatcher, Allen (2003), Vector Bundles & K-Theory (2.0 ed.) seção 3.1