Fibrado de Seifert

Un fibrado de Seifert es una 3-variedad que se obtiene construyendo un fibrado del tipo

S^{1}\subset E\to \Sigma

donde $\Sigma$ es un orbifold que admite conos pero no líneas reflectoras (reflector lines). Esto último significa que $E$ es localmente un producto $U\times S^{1}$ donde $U$ es un conjunto abierto de $\Sigma$ salvo en una cantidad finita de puntos excepcionales $p_{1},p_{2},...,p_{k}$ para los cuales hay discos (vecindades) $D_{1},D_{2},...,D_{k}$ , uno para cada $p_{i}$ , disjuntos, tales que la fibración por $S^{1}$ ya no es trivial igual a $D\times S^{1}$ (fibraciones no triviales de toros sólidos).

Para obtener una fibración no trivial en un toro sólido, primero cortamos este en un disco meridional. Luego en este cilindro sólido damos un giro de $2\pi {a \over b}$ y después pegamos los extremos obteniendo un toro sólido fibrado por círculos $b$ -veces más largos salvo el círculo determinado por el centro del disco.

Clasificación

La siguiente tabla es un diccionario bilingüe entre la primera clasificación original de H. Seifert en 1933 y la 1968-moderna de P. Orlik- F. Raymond

$o_{1}=Oo$
$n_{2}=On$
$o_{2}=No$
$n_{1}=NnI$
$n_{3}=NnII$
$n_{4}=NnIII$

He aquí los once primeros SFS cuya caractéristica de Euler del orbifold es χ>0:

$(Oo,0|b)\,$ : los cuales son (Oo,0|0)= $S^{2}\times S^{1}$ , (Oo,0|1)= $S^{3}$ . Y si b>1 entonces (Oo,0|b)=L(b,1) son espacios lentes no triviales.
$(Oo,0|b:(a_{1},b_{1}))=L(ba_{1}+b_{1},a_{1}),\,$
$(Oo,0|b:(a_{1},b_{1}),(a_{2},b_{2}))\,$
$(Oo,0|b:(2,1),(2,1),(a_{3},b_{3}))\,$
$(Oo,0|b:(2,1),(3,b_{2}),(3,b_{3}))\,$
$(Oo,0|b:(2,1),(3,b_{2}),(4,b_{3}))\,$
$(Oo,0|b:(2,1),(3,b_{2}),(5,b_{3}))=(Oo,0|-1:(2,1),(3,1),(5,1))\,$ es la esfera de Poincaré
$(NnI,1|b)\,$ : son dos; $\mathbb {RP} ^{2}\times S^{1}$ y el fibrado por la esfera $S^{2}$ no trivial sobre el círculo: $S^{2}\otimes S^{1}$ .
$(NnI,1|b:(a_{1},b_{1}))\,$ : son; $\mathbb {RP} ^{2}\times S^{1}$ cuando $ba_{1}+b_{1}$ es par, y $S^{2}\otimes S^{1}$ cuando $ba_{1}+b_{1}$ es impar.
$(On,1|b:)\,$ : es una prisma-variedad.
$(Oo,0|b:(a_{1},b_{1}))\,$ : también.

Ahora los siguientes 11 que cumplen χ=0:

$(Oo,0|b:(3,b_{1}),(3,b_{2}),(3,b_{3},))\,$
$(Oo,0|b:(2,1),(4,1),(4,b_{3}))\,$
$(Oo,0|b:(2,1),(3,b_{2}),(6,b_{3}))\,$
$(Oo,0|b:(2,1),(2,1)(2,1),(2,1),(2,1))\,$
$(Oo,1|b)\,$ : con b=1 esto es el producto trivial $T\times S^{1}$
$(No,1|b))\,$
$(NnI,1|0:(2,1),(2,1))\,$
$(NnI,2|b)\,$ : son dos K-fibrados sobre el círculo. Para b=0 es $K\times S^{1}$ . Y para b=1 es $K\times _{t}S^{1}$ , donde t es el único giro de Dehn de K.
$(On,1|b:(2,1),(2,1))\,$
$(On,2|b)\,$
$(NnII,2|b)\,$ : son dos K-fibrados sobre el círculo $K\times _{f}S^{1}$ con las respectivas monodromías $f$ el y-homeomorfismo y el y-homeomorfismo compuesto con el único giro de Dehn en la botella de Klein K.