Fibré de Seifert

Un tore fibré standard correspondant à (5,2) s'obtient en collant le haut et le bas de ce cylindre après avoir fait tourner le bas

Une variété de Seifert est une variété de dimension 3 compacte sans bord munie d'une partition en cercles (appelés fibres) telle que chaque fibre possède un voisinage tubulaire formant un tore fibré standard.

Le tore fibré standard correspondant à un couple (a, b) d'entiers premiers entre eux avec a > 0 est le tore de la rotation du disque d'angle 2πb/a (muni de sa fibration en cercles naturelle). La fibre centrale est dite ordinaire si a = 1 et exceptionnelle si a > 1.

L'ensemble des fibres forme un orbifold de dimension 2, noté B et appelé la base – ou la surface des orbites – de la fibration. Son espace topologique sous-jacent est une surface B₀ dont certains points – ceux qui correspondent aux fibres exceptionnelles – sont des points singuliers de l'orbifold B.

Une variété de Seifert au sens originel ci-dessus (donc compacte) n'a qu'un nombre fini de fibres exceptionnelles. Mais la définition peut être étendue aux variétés non compactes.

Elle peut d'autre part être étendue aux variétés à bord (le bord sera alors aussi un fibré en cercles, donc sera une réunion de tores si la variété est compacte). Également, quand on étudie les variétés non orientables, il est parfois utile d'autoriser, comme voisinage tubulaire, un tore de réflexion du disque (au lieu d'un tore de rotation), i.e. une bouteille de Klein solide fibrée (au lieu d'un tore solide fibré standard), auquel cas les fibres exceptionnelles peuvent former des familles à un paramètre (au lieu d'être isolées)[2]. Dans ces deux cas, la base B de la fibration est un orbifold à bord.

Herbert Seifert a classifié tous les fibrés de Seifert (compacts, sans bords) en termes des invariants suivants. À chacun de ces fibrés est associée de façon unique une liste normalisée de symboles de la forme :

${\displaystyle \left(b,(\varepsilon ,g);\{\!\!\{(a_{1},b_{1}),\dots ,(a_{r},b_{r})\}\!\!\}\right)}$,

où

• ε est l'un des 6 symboles o₁, o₂, n₁, n₂, n₃, n₄ (respectivement : Oo, No, NnI, On, NnII, NnIII dans la notation originelle de Seifert), et est égal à :
  • o₁ si B et M sont orientables,
  • o₂ si B est orientable et M est non orientable,
  • n₁ si B et M sont non orientables et tous les générateurs de π₁(B) préservent l'orientation de la fibre,
  • n₂ si B est non orientable et M est orientable, ce qui entraîne que tous les générateurs de π₁(B) renversent l'orientation de la fibre,
  • n₃ si B et M sont non orientables et g ≥ 2 et exactement 1 générateur de π₁(B) préserve l'orientation de la fibre,
  • n₄ si B et M sont non orientables et g ≥ 3 et exactement 2 générateurs de π₁(B) préservent l'orientation de la fibre ;
• g est le genre de la 2-variété sous-jacente à la surface des orbites ;
• b est un entier, soumis de plus aux restrictions que b ne peut valoir que 0 ou 1 si M est non orientable et même, b ne peut valoir que 0 si de plus l'un des a_'i vaut 2 ;
• {{(a₁,b₁),...,(a_r,b_r)}} est le multiensemble (i.e. la liste non ordonnée et avec répétitions éventuelles, mais les accolades qui le précisent sont généralement omises) des couples d'entiers qui déterminent le type de chacune des r orbites exceptionnelles. Ils sont normalisés de telle façon que 0 < b_i < a_i si M est orientable, et 0 < b_i ≤ a_i/2 sinon.

Le fibré de Seifert correspondant à la liste (b,(ε,g);(a₁,b₁),...,(a_r,b_r)) peut être construit à partir de celui qui correspond à la liste (0,(ε,g);) par « chirurgie », en découpant r + 1 tores pleins fibrés sans fibre singulière et en recollant à leur place des tores fibrés standards de types (1,b),(a₁,b₁),...,(a_r,b_r).

Si l'on s'affranchit des conditions de normalisation alors on peut effectuer les modifications suivantes sur la liste des symboles, sans que cela change le fibré de Seifert qu'elle représente :

1. changer à la fois le signe d'un a_i et celui du b_i correspondant ;
2. ajouter 1 à b et retrancher simultanément (pour un certain i) a_i de b_i (autrement dit : on peut ajouter n'importe quels entiers à chacun des rationnels b, b₁/a₁, ..., b_r/a_r, pourvu que leur somme reste constante) ;
3. si la variété n'est pas orientable, remplacer un b_i par son opposé ;
4. ajouter une fibre de type (1,0).

Toute liste de symboles est équivalente, par ces opérations, à une unique liste normalisée.

Par ailleurs, toute liste est équivalente à une liste (non normalisée) pour laquelle b est nul : il suffit d'ajouter une fibre de type (1, b).

Chaque liste normalisée est un invariant du fibré de Seifert associé, à isomorphisme près (orienté ou pas, selon le type), mais pas de la variété de Seifert à homéomorphisme près. En effet, certaines variétés de Seifert (comme les espaces lenticulaires) peuvent être fibrées de plusieurs façons et correspondre ainsi à plusieurs listes normalisées. En outre, changer l'orientation d'une fibration orientée a pour effet de remplacer b et tous les b_i par leurs opposés, ce qui, après normalisation, donne la liste (-b-r,(ε,g);(a₁, a₁-b₁),...,(a_r, a_r-b_r)), qui représente la même variété orientable, mais munie de l'orientation inverse.

La somme b + Σb_i/a_i est un invariant des fibrations orientées. Elle est nulle si et seulement s'il existe un revêtement fini de B sur lequel le fibré induitfibré induit est trivial.

La caractéristique d'Euler d'orbifold χ(B) de l'orbifold B est donnée par

χ(B) = χ(B₀)−Σ(1−1/a_i)

où χ(B₀) est la caractéristique d'Euler usuelle de la surface B₀ sous-jacente à l'orbifold B. Le comportement de M dépend en grande partie du signe de χ(B).

Le groupe fondamental de M s'insère dans la suite exacte

${\displaystyle \pi _{1}(S^{1})\rightarrow \pi _{1}(M)\rightarrow \pi _{1}(B)\rightarrow 1}$

où π₁(B) est le groupe fondamental d'orbifold de B (qui diffère du groupe fondamental de sa variété sous-jacente B₀). L'image du groupe π₁(S¹) est un sous-groupe normal cyclique – engendré par l'élément h représenté par n'importe quelle fibre régulière – mais le morphisme de π₁(S¹) dans π₁(M) n'est pas toujours injectif.

Le groupe fondamental de M a la présentation suivante, par générateurs et relations :

• si B est orientable :

${\displaystyle \langle u_{1},v_{1},...u_{g},v_{g},q_{1},...q_{r},h|u_{i}h=h^{\varepsilon }u_{i},v_{i}h=h^{\varepsilon }v_{i},q_{i}h=hq_{i},q_{j}^{a_{j}}h^{b_{j}}=1,q_{1}...q_{r}[u_{1},v_{1}]...[u_{g},v_{g}]=h^{b}\rangle }$

où ε vaut 1 pour le type o₁, et -1 pour le type o₂.

• si B est non orientable :

${\displaystyle \langle v_{1},...,v_{g},q_{1},...q_{r},h|v_{i}h=h^{\varepsilon _{i}}v_{i},q_{i}h=hq_{i},q_{j}^{a_{j}}h^{b_{j}}=1,q_{1}...q_{r}v_{1}^{2}...v_{g}^{2}=h^{b}\rangle }$

où ε_i vaut 1 ou -1 selon que le générateur correspondant v_i préserve ou inverse l'orientation de la fibre. (Donc les ε_i valent tous 1 pour le type n₁, tous -1 pour le type n₂, seul le premier vaut 1 pour le type n₃, et seuls les deux premiers pour le type n₄.)

Les listes normalisées de symboles correspondant à des fibrés de Seifert dont l'orbifold a une caractéristique d'Euler strictement positive sont énumérées ci-dessous. Beaucoup correspondent à différentes fibrations de Seifert d'une même variété. La géométrie de Thurston de la variété correspondante est de type sphérique (en) si le groupe fondamental est fini, et de type S²×R sinon, c'est-à-dire si la variété est non orientable ou si b+Σb_i/a_i= 0.

(b,(o₁, 0);) (b entier) est S²×S¹ si b=0, et sinon c'est l'espace lenticulaire L(b,1) (en particulier, (1,(o₁, 0);)=L(1,1) est la 3-sphère.)

(b,(o₁, 0);(a₁, b₁)) (b entier) est l'espace lenticulaire L(ba₁+b₁,a₁).

(b,(o₁, 0);(a₁, b₁), (a₂, b₂)) (b entier) est S²×S¹ si ba₁a₂+a₁b₂+a₂b₁ = 0, et sinon c'est l'espace lenticulaire L(ba₁a₂+a₁b₂+a₂b₁, ma₂+nb₂) où ma₁−n(ba₁+b₁) = 1.

(b,(o₁, 0);(2, 1), (2, 1), (n, b₃)) (b entier) est la variété prismatique (en) P(m, n) avec m = |(b+1)n + b₃| (son groupe fondamental est d'ordre 4mn et son premier groupe d'homologie est d'ordre 4m).

(b,(o₁, 0);(2, 1), (3, b₂), (3, b₃)) (b entier) a pour groupe fondamental une extension centrale du groupe tétraédrique A₄ par un groupe cyclique.

(b,(o₁, 0);(2, 1), (3, b₂), (4, b₃)) (b entier) a pour groupe fondamental le produit d'un groupe cyclique d'ordre |12b+6+4b₂ + 3b₃| et du groupe binaire octaédrique (en) (d'ordre 48), qui est un revêtement double du groupe octaédrique (d'ordre 24).

(b,(o₁, 0);(2, 1), (3, b₂), (5, b₃)) (b entier) a pour groupe fondamental le produit d'un groupe cyclique d'ordre m=|30b+15+10b₂ +6b₃| et du groupe binaire icosaédrique (en) (d'ordre 120 et parfait), qui est un revêtement double du groupe icosaédrique A₅. La variété est le quotient de la sphère de Poincaré par un groupe cyclique d'ordre m. En particulier, (−1,(o₁, 0);(2, 1), (3, 1), (5, 1)) est la sphère de Poincaré.

(b,(n₁, 1);) (b = 0 ou 1) sont les deux 3-variétés compactes connexes non orientables de géométrie S²×R : pour b = 0 c'est le produit du plan projectif réel par le cercle et pour b = 1 c'est le tore de l'application antipodale de S².

(b,(n₁, 1);(a₁, b₁)) (b = 0 ou 1) sont les deux mêmes variétés non orientables de géométrie S²×R. Le produit du plan projectif par le cercle correspond aux cas où ba₁+b₁ est pair.

(b,(n₂, 1);) (b entier) est la variété prismatique P(1, |b|), sauf pour b = 0 où c'est la somme connexe de deux copies de l'espace projectif RP³, et pour |b| = 1 où c'est l'espace lenticulaire de groupe fondamental Z/4Z.

(b,(n₂, 1);(m, b₁)) (b entier) est la variété prismatique P(m, |bm + b₁|).

Les listes normalisées de symboles correspondant à des fibrés de Seifert dont l'orbifold a une caractéristique d'Euler nulle sont énumérées ci-dessous. La géométrie de Thurston de la variété correspondante est euclidienne si elle est non orientable ou si b+Σb_i/a_i= 0 – ou, ce qui est équivalent : si son groupe fondamental est virtuellement abélien, c'est-à-dire possède un sous-groupe abélien d'indice fini – et c'est la géométrie Nil (en) sinon. Il y a dans cette liste 10 variétés euclidiennes, mais 4 d'entre elles ont deux fibrations de Seifert différentes. Dans cette liste figurent également tous les fibrés associés à des automorphismes du 2-tore de trace 2, 1, 0, −1 ou −2 (ceux associés aux autres automorphismes – d'Anosov – ne sont pas de Seifert, mais ont une géométrie Sol (en)). Les variétés de géométrie Nil ont une unique fibration de Seifert, et sont caractérisées par leur groupe fondamental.

(b,(o₁, 0); (3, b₁), (3, b₂), (3, b₃)) (b entier, b_i = 1 ou 2) : dans le cas euclidien b+Σb_i/a_i= 0, c'est le fibré orienté en 2-tores sur le cercle associé à une rotation d'ordre 3 (de trace −1) du 2-tore.

(b,(o₁, 0); (2,1), (4, b₂), (4, b₃) (b entier, b_i = 1 ou 3) : idem en remplaçant ordre 3 (trace -1) par ordre 4 (trace 0).

(b,(o₁, 0); (2, 1), (3, b₂), (6, b₃)) (b entier, b₂ = 1 ou 2, b₃ = 1 ou 5): idem avec ordre 6 (trace 1).

(b,(o₁, 0); (2, 1), (2, 1), (2, 1), (2, 1)) (b entier) : ce sont des fibrés orientés en 2-tores sur le cercle associés à des automorphismes du 2-tore de trace -2. Dans le cas euclidien (b=−2), cet automorphisme est une rotation d'ordre 2 et l'espace est homéomorphe à celui de (0,(n₂, 2);).

(b,(o₁, 1); ) (b entier) : ce sont des fibrés orientés en 2-tores sur le cercle associés à des automorphismes de trace 2. Dans le cas euclidien (b=0), cet automorphisme est l'identité et l'espace est le 3-tore.

(b,(o₂, 1);) (b = 0 ou 1) : ce sont deux fibrés en bouteilles de Klein sur le cercle. Pour b=0 c'est le fibré trivial et le premier groupe d'homologie de la variété est Z+Z+Z/2Z. Pour b=1 c'est le fibré associé à un twist de Dehn (en) de la bouteille et le premier groupe d'homologie est Z+Z. Ces deux variétés (non orientables et euclidiennes) sont homéomorphes à celles des deux fibrés (b,(n₁, 2);).

(0,(n₁, 1); (2, 1), (2, 1)) : variété (non orientable et euclidienne) de premier groupe d'homologie Z+Z/4Z, homéomorphe à celle du fibré en bouteilles de Klein (1,(n₃, 2);).

(b,(n₁, 2);) (b = 0 ou 1) : ce sont les deux fibrés (non orientables et euclidiens) en 2-tores sur le cercle associés aux deux involutions sans point fixe qui renversent l'orientation. Ces deux variétés sont homéomorphes à celles des deux fibrés en bouteilles de Klein (b,(o₂, 1);).

(b,(n₂, 1); (2, 1), (2, 1)) (b entier) : orienté et, si b=−1, euclidien.

(b,(n₂, 2); ) (b entier) : orienté. Dans le cas euclidien (b=0), la variété est homéomorphe à celle du fibré en 2-tores (−2,(o₁, 0); (2, 1), (2, 1), (2, 1), (2, 1)).

(b,(n₃, 2);) (b = 0 ou 1) : ce sont les deux autres fibrés en bouteilles de Klein sur le cercle, associés à l'homéomorphisme y (en) et à son produit par le twist. Pour b=1, l'espace est homéomorphe à celui de (0,(n₁, 1); (2, 1), (2, 1)). Pour b=0, le premier groupe d'homologie est Z+Z/2Z+Z/2Z.

C'est le cas général. Dans ce cas, le fibré de Seifert est déterminé par le groupe fondamental de l'espace. Cet espace est asphérique (i.e. tous ses groupes d'homotopie suivants sont triviaux). Sa géométrie de Thurston est celle du revêtement universel de SL₂(R), sauf s'il possède un revêtement fini qui se décompose en un produit (ou, ce qui est équivalent : si la variété est non orientable ou si b+Σb_i/a_i= 0), auquel cas sa géométrie est celle de H₂×R.