Monoïde des enlacements et facteurs orthogonaux *   *   Première version: janvier 2001. Cette version: november 2003.

Florian Deloup † † Recherche en partie financée par une bourse Marie Curie. HMPF-CT-2001-01174.

Abstract
Un enlacement est une forme bilinéaire symétrique non dégénérée λ : G × G → Q / Z   sur un groupe abélien fini.
L'ensemble des classes d'isomorphismes d'enlacements forme un monoïde E   , pour la somme orthogonale, à un nombre infini de générateurs et de relations, sans simplification. Nous proposons une nouvelle présentation de E   qui permet de reconnaître si un enlacement possède un facteur orthogonal donné. La même méthode se généralise au monoïde Q   des formes quadratiques sur les groupes abéliens finis. Nous obtenons ainsi une classification combinatoire de Q   , classification qui n'était précédemment connue que pour les groupes de période 4   .
Comme application, nous décrivons explicitement les 3-variétés admettant une application de degré un sur des lenticulaires prescrits (ou proscrits). La plupart des résultats se généralise aux 3-variétés munies d'une parallélisation ou d'une structure spinorielle. En particulier, la fonction de Reidemeister–Turaev distingue l'existence ou non d'une application de degré un préservant les structures spinorielles entre une 3-sphère d'homologie rationnelle et un lenticulaire.
Contents

1 Introduction

Un enlacement ( G , b )   est une forme bilinéaire symétrique b : G × G → Q / Z   sur un groupe abélien fini dont l'homomorphisme adjoint b ^ : G → G * = H o m ( G , Q / Z )   est bijectif. Les enlacements apparurent tout d'abord en topologie comme invariants algébriques mesurant l'enlacement des ( 2 n − 1 )   -cycles dans une variété fermée orientée de dimension ( 4 n − 1 )   . Une telle variété M   possède en effet un enlacement λ M : T o r s H 2 n − 1 ( M ) × T o r s H 2 n − 1 ( M ) → Q / Z   (see [21] ). Minkowski avait déjà indiqué comment obtenir un système complet d'invariants de la classe d'isomorphismes de λ M   à l'aide de systèmes d'équations de congruence et de sommes de Gauss. Un système complet d'invariants numériques était connu de H. Seifert, dans le cas de p   -groupes avec p   impair, et de E. Burger [1] dans le cas général. La classification complète fut ensuite poursuivie par C.T.C. Wall [26] dans le cas des p   -groupes avec p   impair, puis complétée par A. Kawauchi et S. Kojima [11] dans le cas général.
Deux enlacements ( G , b )   et ( G ′ , b ′ )   sont isomorphes s'il existe un isomorphisme φ : G → G ′   tel que b ′ ( φ ( x ) , φ ( y ) ) = b ( x , y )   pour tout x , y ∈ G   . Étant donnés deux enlacements ( G , b ) , ( G ′ , b ′ )   , leur somme orthogonale ( G , b ) ⊕ ( G ′ , b ′ )   , notée également b ⊕ b ′   , est définie par ( b ⊕ b ′ ) ( ( x , x ′ ) , ( y , y ′ ) ) = b ( x , y ) + b ′ ( x ′ , y ′ )   pour tous x , y ∈ G   et x ′ , y ′ ∈ G ′   . L'ensemble des classes d'isomorphismes d'enlacements forme un monoïde E   pour la somme orthogonale ⊕   . Ce monoïde E   possède une infinité de générateurs et de relations et est sans simplification.
Une présentation par générateurs et relations de E   est proposée dans [11] . La difficulté majeure réside dans les enlacements sur les 2   -groupes qui forment un sous-monoïde M ⊂ E   . Au-delà du caractère résiduellement fini de E   , il ne semble pas exister de classification des monoïdes dans laquelle E   s'insèrerait naturellement. Nous proposons une autre approche pour éclaircir la nature de E   .
La motivation pour cette approche est topologique. En effet, le système complet d'invariants proposé dans [11] se déduit de théories topologiques des champs abéliennes [5] [4] . Pour que ces théories trouvent une application proprement topologique, on cherche à décrire de façon combinatoire comment reconstruire la classe d'isomorphisme d'un enlacement à partir de ses invariants. Cette idée conduit à décrire l'“image” de ce système d'invariants. Comme conséquences, nous obtenons une nouvelle présentation combinatoire de M   , ainsi qu'un algorithme pour reconnaître un facteur orthogonal d'un enlacement. Nous généralisons également cette approche au cas des formes quadratiques (homogènes). Ceci permet d'obtenir une présentation globale du monoïde des formes quadratiques sur les groupes finis, en particulier sur les 2   -groupes. Ceci n'était précédemment connu que pour les 2   -groupes de période au plus 4   .
Nous appliquons cette méthode pour déterminer explicitement des 3   -variétés admettant des applications de degré 1   sur des lenticulaires prescrits ou proscrits. Finalement, la plupart des résultats obtenus se généralise au cadre spinoriel, c'est-à-dire aux 3   -variétés munies d'une structure spin ou d'une parallélisation.
En particulier, nous montrons que la fonction de Reidemeister–Turaev [25] distingue l'existence ou non d'une application de degré un préservant les structures spinorielles entre une 3-sphère d'homologie rationnelle et un lenticulaire. Certains des résultats algébriques présentés dans cet article ont été annoncés dans la note [3] .
Plan de l'article. § 2 décrit une présentation combinatoire du monoïde E   des enlacements, le cas le plus délicat étant celui des 2   -groupes (Théorème  2 ): M   s'identifie alors à un sous-monoïde des fonctions N → ( Z / 8 Z ∪ { ∞ } ) × N   , appelé le monoïde des tableaux admissibles. Cette description est appliquée dans § 3 à la reconnaissance de facteurs orthogonaux dans un enlacement (Théorème  4 ). § 4 généralise les résultats des sections précédentes aux formes quadratiques (Théorème  5 ). § 5 présente quelques-unes des applications topologiques des sections précédentes dans les cas non-parallélisé et parallélisé (ou spin). § 6 contient les démonstrations des Th.  2 et  8 . Enfin, § 7 présente quelques questions ouvertes.

2 Une présentation combinatoire du monoïde des enlacements

2.1 Le système d'invariants de Minkowski-Burger

Rappelons que tout enlacement ( G , λ )   admet une unique décomposition orthogonale ( G , λ ) = ⊕ p p r i m e ( G p , λ p )   où ( G p , λ p )   est un enlacement sur un p   -groupe (de type fini). Les cas p > 2   et p = 2   sont distincts. Tout enlacement ( G , λ )   sur un p   -groupe admet à son tour une décomposition orthogonale
( G , λ ) = ⊕ k ≥ 1 ( G k , λ k ) (1)
où ( G k , λ k )   est un enlacement sur un Z / p k Z   -module libre. Si p > 2   , la décomposition est unique (à isomorphisme près des facteurs ( G k , λ k )   ) et un tel enlacement est toujours isomorphe à une somme orthogonale d'enlacements cycliques sur des copies de Z / p k Z   . Le rang ρ k ( λ )   de G k   (en tant que Z / p k Z   -module) est un invariant de ( G , λ )   . Au moyen de l'injection 1 ↦ 1 p k   , Z / p k Z → Q / Z   , on peut regarder λ   comme un enlacement à valeurs dans Z / p k Z   (au lieu de Q / Z   ). Ainsi le déterminant det λ ∈ ( Z / p k Z ) ×   est un élément inversible bien défini. On définit un second invariant σ k ( λ ) ∈ { − 1 , 1 } = Z / 2 Z   comme le résidu quadratique de det λ   modulo p k   (ou, ce qui revient au même, modulo p   ). Regroupons alors les invariants ci-dessus sous la forme d'une seule application ( ρ , σ ) : N × → N × Z / 2 Z , k ↦ ( ρ k ( λ ) , σ k ( λ ) )   . Le résultat principal pour p   premier impair est dû à Minkowski et sous la forme ci-dessous, à E. Seifert et à C.T.C. Wall.
Proposition 1 Soit p   un nombre premier impair et ( G , λ )   un enlacement sur un p   -groupe fini. Le système d'invariants S = ( ρ ( λ ) , σ ( λ ) )   détermine la classe d'isomorphisme de ( G , λ )   .
De plus, le système est minimal en ce sens qu'étant donnée toute sous-famille stricte ℱ ⊂ S   d'invariants, il existe des enlacements non distingués par ℱ   qui sont non isomorphes.
Le cas p = 2   est plus compliqué, du fait que la décomposition orthogonale ( 1 ) n'est pas unique en général. L'entier ρ k ( λ )   reste bien sûr un invariant de l'enlacement. Un second invariant est défini à partir de sommes de Gauss. Soit k ≥ 1   . Considérons le nombre complexe Γ k ( G , λ ) = ∑ x ∈ G exp ( i 2 k π λ ( x , x ) ) .   Il est bien connu que si Γ k ( G , λ ) ≠ 0   alors Γ k ( G , λ ) | Γ k ( G , λ ) |   est une racine 8   -ème de l'unité [20,§2] . On définit alors σ k ( λ ) = { 1 2 π A r g Γ k ( G , λ ) ∈ Z / 8 Z s i Γ k ( G , λ ) ≠ 0 ∞ s i Γ k ( G , λ ) = 0   Soit Z ¯ 8 = Z / 8 Z ∪ { ∞ } .   Il s'agit du monoïde obtenu en adjoignant au groupe cyclique à 8 éléments un élément supplémentaire noté ∞   , avec la règle ∞ + a = a + ∞ = ∞ = ∞ + ∞   pour tout a ∈ Z / 8 Z   . Il résulte de ce qui précède que σ   définit une application N × → Z ¯ 8   . On peut ainsi à nouveau regrouper les invariants ρ   et σ   sous la forme d'une seule application ( ρ , σ ) : N × → N × Z ¯ 8   . Le résultat principal de classification par invariants est dû à E. Burger et sous la forme ci-dessous, à A. Kawauchi et S. Kojima [11,Théorème4.1] .
Proposition 2 Soit ( G , λ )   un enlacement sur un 2   -groupe fini. Le système d'invariants S = ( ρ ( λ ) , σ ( λ ) )   détermine la classe d'isomorphisme de ( G , λ )   .
Là encore, il est aisé de se rendre compte que le système S   est minimal.

2.2 Le monoïde des enlacements

Soit ℳ   un monoïde additif et I   un suite d'entiers consécutifs. Un tableau est une application I → ℳ   , qu'il sera pratique de considérer comme un diagramme de la forme
I k k + 1 . . . l
ℳ m k m k + 1 . . . m l
Afin de simplifier la notation, les notations de l'intervalle ainsi que du monoïde seront omises des tableaux suivants. La longueur d'un tableau T   est l'entier 1 + sup ( m , n ) ∈ I × I | m − n | ∈ N ¯ = N ∪ { ∞ }   . Un tableau T ′   est un prolongement d'un tableau T   si T ′   prolonge T   en tant qu'application. Dans ce cas, T   est un tableau extrait de T   . Étant donné un tableau T : I → ℳ   quelconque, on peut toujours le prolonger trivialement sur N   entier en définissant T ~ ( n ) = 0   pour n ∈ N − I   . En pratique, on confondra un tableau T   et son prolongement trivial T ~   à N   ainsi défini. Ainsi on dira qu'un tableau T   est fini s'il est de longueur finie ou s'il est le prolongement trivial T ~ ′   d'un tableau T ′   de longueur finie. (C'est la définition habituelle de support fini.) Comme ℳ   est un monoïde, l'addition de tableaux est bien définie. La somme de deux tableaux T 1   et T 2   est définie sur N   par T 1 + T 2 = T ~ 1 + T ~ 2   où T ~ i   , i = 1 , 2   , désigne le prolongement trivial à N   . L'ensemble des tableaux N → ℳ   forme un monoïde. L'élément neutre 0   est le tableau envoyant N   sur 0   . Le délimiteur à gauche (resp. à droite) d'un tableau T : I → ℳ   est l'élément − 1 ≤ I n f I − 1 < ∞   (resp. l'élément 0 ≤ S u p I + 1 ≤ ∞   ).
Soit f : N × → ℳ   une application invariante sur les classes d'isomorphismes d'enlacements. Nous dirons qu'un tableau T : I → ℳ   est admissible s'il existe un enlacement ( G , λ )   tel que f ( m ) = T ( m )   pour tout m ∈ I   .

2.2.1 Cas p > 2  

Nous commençons par le cas, techniquement plus simple, des enlacements sur un p   -groupe avec p   premier impair. Nous considérons le système d'invariants ( ρ , σ )   ; les tableaux correspondants sont donc à valeurs dans le monoïde ℳ = N × Z / 2 Z   .
Théorème 1 Soit p   premier distinct de 2   . Tout tableau fini T = ( r ( m ) , e ( m ) ) m ∈ N ×   est admissible pour un enlacement sur un p   -groupe. En particulier, le monoïde des classes d'isomorphismes des enlacements sur les p   -groupes s'identifie à T p   .
Le Théorème  1 est basé sur l' observation suivante: si le rang ρ k ( λ )   est fixé, alors la classe d'isomorphisme de λ k   dans ( 1 ) détermine et est déterminée par σ k ( λ k ) ∈ Z / 2 Z   .

2.2.2 Cas p = 2  

Considérons à présent les enlacement sur les 2   -groupes. Les tableaux sont à valeurs dans le monoïde ℳ = N × Z ¯ 8   , que nous noterons T : m ↦ ( r ( m ) , s ( m ) )   , avec r ( m ) ∈ N   (rang formel) and s ( m ) ∈ Z ¯ 8   (signature formelle). Nous dirons qu'un tableau est admissible s'il existe un enlacement ( G , λ )   sur un 2   -groupe tel que r ( m ) = ρ m ( λ )   et s ( m ) = σ m ( λ )   pour tout m ∈ I   .
Un entier m ∈ I   sera dit régulier pour un tableau T   si r ( m ) = 0   ou s ( m ) ≠ ∞   . On note I r e g ⊆ I   l'ensemble des éléments réguliers de T   . Présentons quatre types particuliers distincts de tableaux:
  • ∙   Type T 0   . Tout tableau de longueur impaire de la forme T = ( 0 , s ( m ) ) m ∈ I   .
  • ∙   Type T 1   . Tout tableau de la forme
    m
    1
    ∞
    pour un entier non nul m   .
  • ∙   Type T 2   . Tout tableau de la forme
    m
    2
    ∞
    pour un entier non nul m   .
  • ∙   Type T 3   . Tout tableau de longueur impaire tel que I = I r e g   .
Le résultat principal est un critère nécessaire et suffisant pour qu'un tableau soit admissible.
Théorème 2 Un tableau fini T : N × → N × Z ¯ 8 , m ↦ ( r ( m ) , s ( m ) )   est admissible si et seulement si les conditions suivantes sont satisfaites:
  • ( 1 )   r ( I r e g ) ⊆ 2 N   .
  • ( 2 )   s ( m ) = ∑ k ≥ m + 1 r ( k ) ( m o d 2 )   pour tout m ∈ I r e g   .
  • ( 3 )   s ( m ) + s ( m + 1 ) = 2 ∑ k ≥ m + 2 r ( k ) ( m o d 4 )   pour tout { m , m + 1 } ⊆ I r e g   .
  • ( 4 )   Pour tout tableau T e x t   extrait de T   et pour toute paire de délimiteurs m , n   de T e x t   dans I r e g   , les conditions suivantes sont vérifiées:
    T y p e d e T e x t T 0 T 1 T 2 T 3
    s ( m ) − s ( n ) 0 ± 1 0 , ± 2 0 , 4
Compte-tenu du fait que le groupe d'un enlacement est fini, il est aisé d'observer sur le rang et la signature que tout tableau admissible est fini. Ceci garantit en particulier que les sommes intervenant dans les conditions ( 2 )   et ( 3 )   sont finies. (En particulier, la condition ( 2 )   implique que s ( m ) ≠ ∞   dès que r ( m ) = 0   : les entiers réguliers m   de T   sont exactement les entiers m   tels que s ( m ) ≠ ∞   .) De manière générale, la nécessité des conditions énoncées dans le Théorème  2 est une conséquence de calculs classiques d'enlacements et de sommes de Gauss. La preuve de la suffisance est constructive et sera donnée en § 6 .
Notons T   le monoïde constitué des tableaux T : N × → N × Z ¯ 8   . On déduit du Théorème  2 que la somme de deux tableaux admissibles est encore un tableau admissible, de sorte que le sous-ensemble des tableaux admissibles constitue un sous-monoïde T a d m   de T   . Puisque ρ , σ   sont des invariants complets du monoïde M   des classes d'isomorphismes d'enlacements sur les 2-groupes, l'application ( ρ , σ ) : M → T   est injective.
Il en résulte la description combinatoire de M   ci-dessous.
Corollaire 2.1 Le monoïde M   des classes d'isomorphismes d'enlacements sur les 2-groupes est isomorphe au sous-monoïde T a d m   des tableaux admissibles.
Les théorèmes  1 et  2 ensemble donnent ainsi une présentation combinatoire complète du monoïde E   des enlacements.
Le théorème  2 permet de calculer le nombre de classes d'isomorphismes d'enlacement ayant un rang ou une signature donné, tout au moins théoriquement. Je ne connais pas de formule explicite. Les quelques remarques suivantes peuvent être utiles. Tout d'abord, on peut définir deux applications “profil” par profil ρ ( λ ) = ( k , ρ k ( λ ) ) k ≥ 1   et profil σ ( λ ) = ( k , σ k ( λ ) ) k ≥ 1   et étudier les fibres de ces applications. Y a-t-il en particulier des fibres “génériques” ? L'approche la plus encourageante semble être l'étude des fibres de profil ρ   . Plus globalement, définissons alors l'application Profil par P r o f i l ( λ ) = { k ∈ N | ρ k ( λ ) ≠ 0 } .   Est-il possible de classifier M   à partir des fibres de Profil ? Dans ce contexte, les lemmes 3.1, 3.2 et 3.3 de [11] s'interprètent comme la classification des fibres Profil − 1 ( { k } )   , k ≥ 1   et la proposition 5.2 de [11] comme le calcul du groupe de Witt W ( P r o f i l − 1 ( { k } ) )   .
On a déjà observé que la décomposition orthogonale d'un enlacement sur un 2   -groupe n'est pas unique, même à isomorphisme près des facteurs (et même pour un 2   -groupe homogène, c'est-à-dire isomorphe à une somme directe de copies d'un groupe cyclique). On peut cependant montrer que tout enlacement sur un 2   -groupe homogène admet une forme “normale” qui est unique: voir [11,§3] et [16,§3] . R. Miranda a en fait montré qu'il existe une forme normale pour un enlacement sur un 2   -groupe quelconque [16,§4] .

3 La reconnaissance d'un facteur orthogonal dans un enlacement

Considérons à présent la question de reconnaître si un enlacement λ ′   est un facteur orthogonal d'un enlacement λ   , c'est-à-dire s'il existe un enlacement λ ”   tel que λ = λ ′ ⊕ λ ” .   Décrivons tout d'abord des conditions nécessaires simples pour qu'une telle décomposition orthogonale existe. Il est clairement nécessaire que
ρ k ( λ ) ≥ ρ k ( λ ′ ) p o u r t o u t k ≥ 1 . (2)
Une seconde condition nécessaire résulte de l'additivité 1   de σ   sur les sommes orthogonales. Dans le cas p > 2   , au vu du Th.  1 , il existe toujours un enlacement sur un p   -groupe de signature formelle prescrite. On en déduit:
Théorème 3 Soit ( G , λ )   un enlacement sur un p   -groupe fini. L'enlacement λ ′   est un facteur orthogonal de λ   si et seulement si p o u r t o u t k ≥ 1 , { ρ k ( λ ′ ) < ρ k ( λ ) , o u ρ k ( λ ′ ) = ρ k ( λ ) a n d σ k ( λ ′ ) = σ k ( λ ) .  
Dans le cas p = 2   , l'additivité de σ   implique
σ k ( λ ′ ) = ∞ ⟹ σ k ( λ ) = ∞ , p o u r t o u t k ≥ 1 . (3)
Supposons à présent ces conditions ( 2 ) et ( 3 ) vérifiées. Nous allons associer à ( λ , λ ′ )   un ensemble S λ , λ ′ = { T α } α ∈ Z ¯ 8   de tableaux. Pour α ∈ Z ¯ 8   , nous définissons le tableau T α = ( r α , s α ) : N × → N × Z ¯ 8   par
r α ( k ) = ρ k ( λ ) − ρ k ( λ ′ ) s α ( k ) = { α s i σ k ( λ ) = ∞ σ k ( λ ) − σ k ( λ ′ ) s i σ k ( λ ′ ) ≠ ∞ . k ∈ N × . (4)
Le tableau T α   est bien défini grâce à la condition ( 2 ) et au fait que ∞   est le seul élément non inversible dans Z ¯ 8   .
Théorème 4 Un enlacement λ ′   est un facteur orthogonal d'un enlacement λ   si et seulement si les conditions  2  ( )   et  3  ( )   ci-dessus sont vérifiées et s'il existe un tableau admissible T ∈ S λ , λ ′   .
Démonstration. Si λ = λ ′ ⊕ λ ′ ′   , on vérifie que le tableau T λ ′ ′ = ( ρ k ( λ ′ ′ ) , σ k ( λ ′ ′ ) ) k ∈ N ×   d'invariants associé à λ ′ ′   est dans S λ , λ ′   . Réciproquement, si T   est admissible, d'après le Théorème  2 , il existe un enlacement λ ′ ′   dont T = T λ ′ ′ = ( ρ k ( λ ′ ′ ) , σ k ( λ ′ ′ ) ) k ∈ N ×   est le tableau des invariants. On vérifie immédiatement la relation suivante, au niveau des tableaux d'invariants, respectivement de λ , λ ′   et λ ′ ′   :
T λ = T λ ′ + T λ ′ ′ = T λ ′ ⊕ λ ′ ′ ,   où la dernière égalité résulte de l'additivité des invariants ρ   et σ   sur les sommes orthogonales. L'application qui à un enlacement associe ses invariants étant injective, on conclut que λ = λ ′ ⊕ λ ′ ′   . ■  

1   Dans le cas p > 2   , regarder σ k ( λ )   dans Z / 2 Z = { 0 , 1 }   .

4 Le monoïde des formes quadratiques

Considérons brièvement le cas plus général des formes quadratiques sur un groupe abélien fini. Une forme quadratique sur un groupe abélien fini G   est une application q : G → Q / Z   telle que q ( n x ) = n 2 q ( x )   pour tout ( n , x ) ∈ Z × G   et telle que l'application λ q : G × G → Q / Z   définie par λ q ( x , y ) = q ( x + y ) − q ( x ) − q ( y )   soit un enlacement. Les formes quadratiques G → Q / Z   ayant le même enlacement associé sont en bijection avec H o m ( G , Z / 2 Z )   . Il en résulte que sur le facteur orthogonal G i m p a i r   des éléments d'ordre impair, les formes quadratiques sont déterminées par leur enlacement associé. Considérons alors les formes quadratiques sur les 2   -groupes. Il résulte de [26,Théorème5] qu'une telle forme quadratique q : G → Q / Z   est classifiée par les invariants ρ k ( λ q ) , σ k ( λ q )   associées à l'enlacement associé λ q   et un seul invariant supplémentaire, la somme de Gauss γ ( q ) = ∑ x ∈ G exp ( 2 i π q ( x ) ) ∈ C   . Aussi la construction combinatoire à l'aide des tableaux est essentiellement la même: on considère maintenant le monoïde T   constitué des tableaux ( r , s ) : N → N × Z ¯ 8   . Le tableau T q = ( ρ , σ ) : N → N × Z ¯ 8   d'invariants associé à q   est défini par ρ k ( q ) = ρ k ( λ q ) p o u r k ≥ 1 e t ρ 0 ( q ) = 0   et σ 0 ( q ) = 1 2 π A r g ( γ ( q ) ) ∈ Z / 8 Z e t σ k ( q ) = σ k ( λ q ) ∈ Z ¯ 8 p o u r k ≥ 1 .   (Noter que comme λ q   est non dégénérée, γ ( q ) ≠ 0 .   ) Avec cette modification, le Théorème  2 , le corollaire  2.1 ainsi que le Théorème  4 s'étendent au cas quadratique. Nous obtenons en particulier le
Théorème 5 Le monoïde des formes quadratiques sur les 2   -groupes finis est isomorphe au sous-monoïde constitué des tableaux N → N × Z ¯ 8 , m ↦ ( r ( m ) , s ( m ) )   vérifiant r ( 0 ) = 0   et s ( 0 ) ∈ Z / 8 Z   ainsi que les conditions ( 1 )   à ( 4 )   du Théorème  2 .
Remarque. Ce résultat donne une présentation globale du monoïde des formes quadratiques sur les groupes finis. En particulier, le Théorème  5 généralise les présentations connues du monoïde des formes quadratiques sur les 2   -groupes de période 2   ou 4   , voir [8,sec.3.4.3,Th.3.6.5] . Le monoïde des formes quadratiques sur les 2   -groupes de période 2   permet de classifier les surfaces immergées à homotopie régulière près [19,Th.4] .
Si l'on appelle un tableau admissible un tableau vérifiant les conditions du Th.  5 , le théorème  4 plus haut se généralise mutatis mutandis aux formes quadratiques.

5 Quelques applications

Étant donnée une variété orientée M   de dimension 4 n − 1   , on note λ M   son enlacement sur T o r s H 2 n ( M )   .

5.1 Lenticulaires et facteurs d'enlacements

Proposition 3 Soit f : M → X   une application de degré d   entre deux variétés différentiables fermées orientées connexes de dimension 4 n − 1   . Alors d ⋅ K e r ( f * : T o r s H 2 n ( X ) → T o r s H 2 n ( M ) ) = 0   . En particulier, si d   est premier avec l'exposant de T o r s H 2 n ( M )   , alors l'enlacement λ X   est un facteur orthogonal de λ M   .
Démonstration. La naturalité en cohomologie fournit la relation λ M ∘ ( f * × f * ) = d λ X   . Ceci implique la première affirmation. Si d   est premier avec l'exposant de T o r s H 2 n ( M )   , alors l'application f *   est injective. Donc f * ( T o r s H 2 n ( X ) )   est un sous-groupe de T o r s H 2 n ( M )   sur la restriction duquel λ M   est non-singulier. Le résultat s'ensuit. ■   Sur les 3   -variétés elliptiques, on peut montrer une réciproque. En particulier, on a le résultat suivant [10] .
Théorème 6 Il existe une application f : M → L ( n , p )   de degré 1   d'une 3   -variété fermée orientée (connexe) sur un espace lenticulaire si et seulement si λ M   contient l'enlacement de L ( n , p )   comme facteur orthogonal. En particulier, l'un des facteurs orthogonaux de λ M   est cyclique.
Nous allons utiliser ce dernier résultat pour décrire certaines 3   -variétés admettant (resp. n'admettant pas) des applications de degré 1   sur des lenticulaires prescrits (resp. proscrits).
Le premier résultat est une généralisation de [11,Prop.6.1] , simple conséquence du Théorème  6 .
Proposition 4 S'il existe une application L ( n , m ) # L ( n , m ′ ) → X 3   de degré 1   où X   se plonge de façon lisse dans S 4   , alors n   est impair et L ( n , m )   et − L ( n , m ′ )   ont le même type d'homotopie orientée.
On se propose maintenant de déterminer à quelles conditions une 3   -variété M   fermée orientée admet une application de degré 1   sur tout lenticulaire dont le groupe fondamental π   est fixé. Il résulte des considérations précédentes qu'il suffit de considérer le cas où l'ordre de π   est une puissance d'un nombre premier p   . Si p   est impair, il faut et il suffit que H 1 ( M )   ait un facteur orthogonal isomorphe à une somme d'au moins deux copies de π   . Dans le cas où p = 2   et π = Z / p k Z   avec k ≥ 3   , on peut donner une réponse complète en utilisant le Théorème  4 . Considérons la liste L   suivante de tableaux T : I → N × Z ¯ 8 , m ↦ ( r ( m ) , s ( m ) )   .
k
r ( k ) ≥ 4
∞
,
k − 1 k k + 1
0 3 0
s ( k − 1 ) ∞ s ( k + 1 )
a v e c s ( k − 1 ) − s ( k + 1 ) = ± 1 ,
k − 1 k
r ( k − 1 ) ≥ 1 3
Z ¯ 8 ∞
,
k k + 1
3 r ( k + 1 ) ≥ 1
∞ Z ¯ 8
,
k − 2 k − 1 k
r ( k − 2 ) ≥ 1 0 3
Z ¯ 8 Z 8 ∞
,
k k + 1 k + 2
3 0 r 2 k + 2 ≥ 1
∞ Z 8 Z ¯ 8
,
k − 1 k
r ( k − 1 ) ≥ 1 2
∞ ∞
,
k k + 1
2 r ( k + 1 ) ≥ 1
∞ ∞
,
k − 1 k k + 1
r ( k − 1 ) ≥ 2 1 r ( k + 1 ) ≥ 1
Z ¯ 8 ∞ ∞
,
k − 1 k k + 1
r ( k − 1 ) ≥ 1 1 r ( k + 1 ) ≥ 2
∞ ∞ Z ¯ 8
,
k − 2 k − 1 k k + 1
r ( k − 2 ) ≥ 1 N 1 r ( k + 1 ) ≥ 1
∞ Z ¯ 8 ∞ ∞
,
k − 1 k k + 1 k + 2
r ( k − 1 ) ≥ 1 1 N r ( k + 2 ) ≥ 1
∞ ∞ Z ¯ 8 ∞
. Dans les douze tableaux ci-dessus, le symbole N   désigne un entier positif ou nul arbitraire et Z ¯ 8   un élément arbitraire de Z ¯ 8   . Noter la symétrie de la liste par rapport à k   .
Théorème 7 Soit k ≥ 3   . Une 3   -variété M   fermée orientée admet une application de degré 1   sur tout lenticulaire dont le groupe fondamental π   est Z / 2 k Z   si et seulement si l'une des douze tableaux de la liste L   ci-dessus est un tableau extrait du tableau T = ( ρ k ( λ M ) , σ k ( λ M ) ) k ∈ N *   .
Démonstration. Vérifier que si T   prolonge l'un des tableaux de L   alors M   admet une application de degré 1   sur tout lenticulaire L ( 2 k , a )   ne pose pas de problème particulier. Pour la réciproque, on utilise le théorème  4 en distinguant les cas ρ k ( λ M ) ≥ 4   , ρ k ( λ M ) = 3   , 2   ou 1   . ■   Exemple. Soit a , b , c > 0   . Pour un entier n ≥ 1   et une variété M   , on note n M   la somme connexe M # … # M   ( n   fois). La 3   -variété a L ( 16 , α ) # b L ( 32 , β ) # c L ( 64 , γ )   admet une application de degré 1   sur chaque lenticulaire L   tel que π 1 ( L ) = Z / 32 Z   si et seulement si l'une des conditions suivantes est vérifiée:
  • ∙   b ≥ 4   ;
  • ∙   b = 2   et a + c ≥ 1   ;
  • ∙   b = 1   et a + c ≥ 3   et a c ≥ 2   .
Dans une autre direction, nous avons le résultat suivant.
Théorème 8 (Le lenticulaire proscrit) Soit s   un entier impair. Il existe une infinité de 3   -variétés irréductibles (hyperboliques) distinctes admettant une application de degré 1   sur chaque lenticulaire L ( 32 , r )   pour r ≢ s   mod 8   et aucune application de degré 1   sur L ( 32 , s )   .
La démonstration de ce dernier résultat fait l'objet de la section § 6.3 .

5.2 Raffinements spinoriels et facteurs quadratiques

Soit M   une 3   -variété fermée orientée connexe. Il est connu que le fibré tangent de M   est trivial. Une parallélisation de M   est le choix d'une trivialisation τ   de son fibré tangent T M   (considéré à homotopie près). Le groupe H 1 ( M ; Z / 2 Z )   agit librement et transitivement sur l'ensemble des parallélisations de M   .
Dans la suite de ce paragraphe, les groupes et les actions seront notés multiplicativement. Une structure spin sur M   est la donnée d'une trivialisation de T M   sur son 1   -squelette qui s'étend au 2   -squelette, considérée à homotopie près. Il est clair que par restriction au 1   -squelette, une trivialisation t   détermine une structure spin. Réciproquement, si une trivialisation s'étend au 2   -squelette de M   alors elle s'étend en une trivialisation de T M   . À toute structure spin s   de M   , on sait associer de façon canonique et naturelle une forme quadratique q s : T o r s H 2 ( M ) → Q / Z   dont la forme bilinéaire associée est λ M   (voir [13] [17] ). Le groupe H 1 ( M ; Z / 2 Z )   agit aussi sur les formes quadratiques T o r s H 2 ( M ) → Q / Z   via le Bockstein β : H 1 ( M ; Z / 2 Z ) → T o r s H 2 ( M )   . L'action explicite est donnée par la formule ( h ⋅ q ) ( x ) = q ( x ) + λ M ( β h , x )   pour tout h ∈ H 1 ( M ; Z / 2 Z )   et x ∈ T o r s H 2 ( M )   . On vérifie qu' elle est transitive. Elle est de plus libre si M   est une sphère d'homologie rationnelle. L'application s ↦ q s   ci-dessus est H 1 ( M ; Z / 2 Z )   -équivariante en ce sens que q h ⋅ s = h ⋅ q s , h ∈ H 1 ( M ; Z / 2 Z ) .   Si M   est une 3   -sphere d'homologie rationnelle, alors s ↦ q s   est bijective.
Théorème 9 Soient M , X   deux 3   -sphères d'homologie rationnelle orientées munies de structures spin s M   et s X   respectivement. On suppose que X   a le type d'homotopie d'un lenticulaire. Alors il existe une application f : M → X   de degré un telle que f * ( s X ) = s M   si et seulement si q s X   est un facteur orthogonal de q s M   .
Démonstration. Supposons l'existence de l'application f   de degré un comme dans l'énoncé. La naturalité de l'application s ↦ q s   fournit la relation q f * s X = f * q s X = q s X ∘ f * = q s M   . On conclut alors par Prop.  3 (avec d   = 1). Pour la réciproque, par hypothèse, on a une décomposition orthogonale de la forme q s M = q s X ⊕ q   . On peut construire un homomorphisme φ : H 2 ( M ) → H 2 ( X )   tel que q s X ∘ φ | = q s M   et induit par un homomorphisme π 1 ( M ) → π 1 ( X )   (par dualité de Poincaré). Puisque π 2 ( X ) = 0   et dim X = 3   , l'application naturelle [ M , X ] → H o m ( π 1 ( M ) , π 1 ( X ) )   est surjective (voir par exemple [27,démonstrationduthéorème(4.3)] ). Il existe donc une application f : M → X   induisant φ   . Par transitivité de l'action, il existe h ∈ H 1 ( M ; Z / 2 Z )   tel que
f * ( s X ) = h ⋅ s M . (5)
En appliquant s ↦ q s   à l'égalité ( 5 ), nous obtenons que
q f * s X = q h ⋅ s M = h ⋅ q s M . (6)
Or
q f * s X = f * q s X = q s X ∘ f * | = q s X ∘ φ | = q s M . (7)
On en conclut que q s M = h ⋅ q s M   d'où h = 1   . ■   Remarque. Le résultat du Th.  9 reste vrai en remplaçant spin par spin c   . La démonstration est essentiellement la même (en utilisant [6] ), la différence étant que les fonctions quadratiques peuvent ne pas être homogènes. Voir à ce sujet § 7 , question 3.
Notons deux conséquences du Théorème  9 . La première utilise le résultat principal de [7] relatif à la fonction de torsion de Turaev–Reidemeister [25] . La fonction de Turaev–Reidemeister classifie les structures spin c   des lenticulaires [24,§9.2] . Le résultat suivant montre qu'elle est utile aussi dans l'étude des applications de degré un.
Corollaire 9.1 La fonction de torsion T   de Turaev-Reidemeister distingue l'existence ou non d'une application de degré un préservant les structures spin (ou spin c   ) d'une 3   -sphère d'homologie rationnelle M   sur un lenticulaire L   .
À l'aide du Théorème  9 , on montre également que le Théorème  8 admet une version parallélisée. La vérification de ce fait est laissée au lecteur.

6 Démonstrations des Théorèmes  2 et  8 

6.1 Résultats préliminaires

Notons M   le monoïde des (classes d'isomorphismes d') enlacements sur les 2-groupes. Présentons tout d'abord quelques enlacements particuliers. Nous adoptons la notation introduite dans [11] . Soit k ≥ 1   .
Pour tout entier impair a   , on note A k ( a )   l'enlacement sur Z / 2 k Z   qui envoie ( 1 m o d 2 k , 1 m o d 2 k )   sur a 2 k   mod 1   . Sur Z / 2 k Z × Z / 2 k Z   , on définit deux enlacements E 0 k   ( k ≥ 1   ) et E 1 k   ( k ≥ 2   ) comme suit:
E 0 k ( ( x , y ) , ( x ′ , y ′ ) ) = x y ′ + x ′ y 2 k m o d 1
E 1 k ( ( x , y ) , ( x ′ , y ′ ) ) = x x ′ + x y ′ + x ′ y + y y ′ 2 k m o d 1
pour tous x , y , x ′ , y ′ ∈ Z / 2 k Z   . Tout enlacement sur un 2   -groupe fini est isomorphe à une somme orthogonale d'enlacements de type A k ( a ) , E 0 k ,   et de E 1 k   , voir [26] .
Le calcul suivant [11,Corollaire2.2] est utile.
Lemme 1 Pour tout k ≥ 1   , σ k : M → Z ¯ 8   est l'unique homomorphisme vérifiant les propriétés suivantes:
  • ∙   σ k ( A l ( m ) ) = { ( − 1 ) m − 1 2 s i l − k i s i m p a i r e t p o s i t i f m i f l − k i s p a i r e t p o s i t i f ∞ s i l = k 0 s i l < k  
  • ∙   σ k ( E 0 l ) = 0   ,
  • ∙   σ k ( E 0 l ) = { 4 s i l − k i s i m p a i r e t p o s i t i f 0 s i n o n .  
Nous avons donc, pour tout k < l   , les égalités suivantes dans Z / 2 Z   :
σ k ( A l ( m ) ) = 1 m o d 2 = ρ k ( A l ( m ) )
σ k ( E 0 l ) = 0 m o d 2 = ρ k ( E 0 l )
σ k ( E 1 l ) = 0 m o d 2 = ρ k ( E 1 l )
Comme les invariants σ k   et ρ k   sont additifs sur ⊕   , on en déduit:
Lemme 2 Soit λ   un enlacement sur un Z / 2 l Z   -module libre de type fini. Pour tout k < l   , σ k ( λ ) = ρ l ( λ ) m o d 2   .
En vue du Théorème  2 , nous avons besoin de la formule de congruence modulo 4 suivante.
Lemme 3 Soit k , k + 1   deux éléments réguliers pour un enlacement sur un Z / 2 l Z   -module libre de type fini. Alors
σ k ( λ ) + σ k + 1 ( λ ) = 2 ρ k ( λ ) m o d 4 . (8)
Démonstration. D'après le lemme  1 , σ k ( A l ( m ) ) + σ k ( A l ( m ) ) = m + ( − 1 ) m − 1 2 ≡ 2 m o d 4   (car m   est impair) et σ k ( E 0 l ) + σ k ( E 0 l ) ≡ σ k ( E 1 l ) + σ k ( E 1 l ) m o d 4 ≡ 0 m o d 4   . ■   Remarquons une autre conséquence utile du lemme  1 . Puisque les facteurs orthogonaux cycliques sont les A k ( m )   , le lemme  1 permet de détecter la présence d'un tel facteur dans une décomposition orthogonale:
Lemme 4 Un enlacement λ   admet un facteur orthogonal cyclique de type A k ( m )   si et seulement si σ k ( λ ) = ∞   .

6.2 Démonstration du Th.  2 

Necessité. Soit λ   un enlacement sur un 2   -groupe G   fini. On vérifie que son tableau d'invariants est fini:
soit N   l'exposant de G   , par définition, ρ k ( λ ) = 0   dès que k > N   ; et nous avons aussi σ k ( λ ) = 0   dès que k > N   d'après le lemme  1 . Choisissons maintenant une décomposition orthogonale ( G , λ ) = ⊕ m ( G m , λ m )   .
Soit k   un élément régulier pour le tableau d'invariants associé à λ   . Alors le facteur orthogonal ( G k , λ k )   ne contient pas de facteur orthogonal cyclique (c'est-à-dire un A k ( m )   ): sinon σ k ( λ k ) = ∞   par le lemme  4 , contredisant le fait que k   est régulier. Ainsi ( G k , λ k )   est une somme orthogonale de copies de E 0 k   et de E 1 k   . Puisque ρ k ( E 0 k ) = ρ k ( E 1 k ) = 2   , la condition ( 1 )   en résulte. L'additivité de σ k   sur ⊕   et le lemme  1 impliquent σ k ( λ ) = ∑ m ≥ k + 1 σ k ( λ m )   . On en déduit, avec le lemme  2 , la condition (2). Un argument tout à fait similaire à partir du lemme  3 conduit à la condition (3). Vérifions à présent la condition (4). On observe tout d'abord que tous les tableaux des types donnés ont une longueur impair. Aussi les délimiteurs m < n   vérifient m = n m o d 2   , de sorte que σ m ( λ ) − σ n ( λ ) = ∑ m < k < n = σ m ( λ k )   d'après le lemme  1 . La suite des vérifications pour la condition (4) est directe.
Dans la démonstration de la suffisance ci-dessous, si C   est un entier positif ou nul et λ   un enlacement, afin d'alléger les notations, on note C ⋅ λ   pour désigner la somme orthogonale de C   copies de l'enlacements λ   .
Suffisance. La démonstration se fait par récurrence sur la longueur du tableau T   . Soit T   un tableau de longueur 1 vérifiant les conditions ( 1 )   à ( 4 )   . Soit m   l'unique élément de I   . Si m   est régulier, alors la condition ( 1 )   impose que r ( m ) = 0   mod 2   . On peut alors prendre comme enlacement une somme orthogonale de r ( m ) 2   copies de E 0 m   . Si m   n'est pas régulier et r ( m ) = 0   , alors s ( m ) = 0   aussi d'après la condition ( 2 )   et donc on prend comme enlacement l'enlacement trivial. Si s ( m ) = ∞   , alors on peut prendre comme enlacement A m ( 1 ) ⊕ ( r ( m ) − 1 ) E 0 k   . Supposons avoir montré qu'un tableau T : I = { m ∈ N | m ≥ k + 1 } → N × Z ¯ 8   satisfaisant les conditions ( 1 )   à ( 4 )   est admissible pour un enlacement ( G , λ ) = ⊕ l ≥ k + 1 ( G l , λ l )   où chaque ( G l , λ l )   est un enlacement sur un Z / 2 l Z   -module libre.
Nous allons montrer que tout tableau T ′ : { k } ∪ I → N × Z ¯ 8   qui prolonge T   et qui vérifie les conditions ( 1 )   à ( 4 )   est admissible.
Si k   n'est pas régulier alors on pose λ k = r ( k ) ⋅ A k ( 1 )   . On vérifie sans peine que T ′   est admissible pour l'enlacement λ ⊕ λ k   .
On suppose à présent que k   est régulier. Par la condition (1), r ( k ) = 0   mod 2   . Posons λ k = r ( k ) 2 ⋅ E 0 k   .
Clairement ρ k ( λ k ) = r ( k )   . Posons aussi λ ′ = λ k ⊕ λ   . Il y a trois cas à considérer.
Cas 1. k + 1   régulier, r ( k + 1 ) = 0   . Si k + 2   est régulier, alors s ( k ) = s ( k + 2 )   par la condition (4) et T ′   est admissible pour l'enlacement λ ′   . Si k + 2   n'est pas régulier, on applique la condition (3) au tableau T ′   et à l'enlacement λ ′   respectivement 2   :
s ( k ) + s ( k + 1 ) ≡ 2 ∑ l ≥ k + 2 r ( l ) m o d 4 σ k ( λ ′ ) + σ k + 1 ( λ ′ ) ≡ 2 ∑ l ≥ k + 2 ρ l ( λ ′ ) m o d 4 . (9)
Nous avons σ k + 1 ( λ ′ ) = σ k + 1 ( λ k ) + σ k + 1 ( λ ) = σ k + 1 ( λ ) = s ( k + 1 )   . Similairement, pour tout l ≥ k + 1   , ρ l ( λ ′ ) = ρ l ( λ k ) + ρ l ( λ ) = ρ l ( λ ) = r ( l )   . Soustrayant l'une des égalités à l'autre dans  9  ( )   , on déduit que s ( k ) = σ k ( λ ′ ) m o d 4   . Si s ( k ) = σ k ( λ ′ )   mod 8   , alors par définition, T ′   est admissible pour λ ′   . Sinon s ( k ) = σ k ( λ ′ ) + 4   mod 8   . Puisque σ k + 2 ( λ ) = ∞   , par le lemme  4 , λ k + 2   a un facteur orthogonal cyclique qui est A k + 2 ( m )   pour un certain entier impair m   . Notons λ k + 2 ′   le même enlacement que λ k + 2   mais en remplaçant ce facteur orthogonal cyclique par A k + 2 ( m + 4 )   . Il résulte alors du lemme  1 que σ k + 1 ( λ k + 2 ′ ) = σ k + 1 ( λ k + 2 )   . Par conséquent, T   est aussi admissible pour l'enlacement λ k + 1 ⊕ λ k + 2 ′ ⊕ ⊕ l ≥ k + 3 λ l   . Posons alors λ ′ ′ = λ k ⊕ λ k + 1 ⊕ λ k + 2 ′ ⊕ ⊕ l ≥ k + 3 λ l   . Alors s ( k ) = σ k ( λ ′ ′ )   et la table T ′   est admissible pour λ ′ ′   .
Cas 2. k + 1   régulier, r ( k + 1 ) ≠ 0   . Le même argument que précédemment donne s ( k ) = σ k ( λ ′ )   mod 4   .
Si l'égalité est vraie modulo 8, alors T ′   est admissible pour λ ′   . Sinon, on procède de la façon suivante.
Puisque σ k + 1 ( λ ) ≠ ∞   , par le lemme  4 , λ k + 1   n'a pas de facteur orthogonal cyclique. Donc il existe s , t ∈ N   tels que λ k + 1 = s E 0 k + 1 ⊕ t E 1 k + 1   . Définissons λ k + 1 ′ = { ( s + 1 ) ⋅ E 0 k + 1 ⊕ ( t − 1 ) ⋅ E 1 k + 1 s i t > 0 ( s − 1 ) ⋅ E 0 k + 1 ⊕ E 1 k + 1 s i t = 0 .   Alors σ k ( λ k + 1 ′ ) = σ k ( λ k + 1 ) + 4   , de sorte que T   est admissible pour l'enlacement λ k + 1 ′ ⊕ ⊕ l ≥ k + 2 λ l   . Posons λ ′ ′ = λ k ⊕ λ k + 1 ′ ⊕ ⊕ l ≥ k + 2 λ l   . Alors s ( k ) = σ k ( λ ′ ′ )   et le tableau T ′   est admissible pour λ ′ ′   .
Cas 3. k + 1   n'est pas régulier. Appliquons la condition (2) à T   et λ ′   respectivement:
s ( k ) ≡ ∑ l ≥ k + 1 s ( l ) m o d 2 σ k ( λ ′ ) ≡ ∑ l ≥ k + 1 ρ l ( λ ′ ) m o d 2 (10)
Nous avons σ k + 1 ( λ ′ ) = σ k + 1 ( λ k ) + σ k + 1 ( λ ) = σ k + 1 ( λ ) = s ( k + 1 )   . De même, pour l ≥ k + 1   , ρ l ( λ ′ ) = ρ l ( λ k ) + ρ l ( λ ) = ρ l ( λ ) = r ( l )   . Soustrayant l'une des égalités ( 10 ) à l'autre, on déduit que s ( k ) = σ k ( λ ′ )   mod 2   . Si cette dernière égalité reste vraie modulo 8   , alors T ′   est admissible pour λ ′   . Si s ( k ) = σ k ( λ ′ ) ± 2   , on procède de la façon suivante. Puisque σ k + 1 ( λ ) = ∞   , d'après le lemme  4 , λ k + 1   a un facteur orthogonal cyclique A k + 1 ( m )   , où m   est un entier impair. Définissons λ k + 1 ′   comme étant le même enlacement que λ k + 1   mais en remplaçant ce facteur par A k + 1 ( m + s ( k ) − σ k ( λ ′ ) ) = A k + 1 ( m ± 2 )   . Alors σ k ( λ k + 1 ′ ) = σ k ( λ k + 1 )   .
Posons λ ′ ′ = λ k ⊕ λ k + 1 ′ ⊕ ⊕ λ l   . Alors s ( k ) = σ k ( λ ′ ′ )   et le tableau T ′   est admissible pour λ ′ ′   . Ainsi il ne reste à considérer que le cas où s ( k ) = σ k ( λ ′ ) + 4   . Il y a deux possibilités.
Possibilité 1. s ( k + 2 ) = ∞   . Le lemme  4 dit alors que λ k + 2   a un facteur orthogonal cyclique A k + 2 ( m )   pour un certain entier impair m   . Remplaçons le par A k + 2 ( m + 4 )   et renommons le nouvel enlacement λ k + 2 ′   . Une vérification similaire à celle du Cas 1   montre que T ′   est admissible pour l'enlacement λ ′ ′ = λ k ⊕ λ k + 1 ⊕ λ k + 2 ′ ⊕ ⊕ l ≥ k + 3 λ l   .
Possibilité 2. s ( k + 2 ) ≠ ∞   . Alors r ( k + 1 ) ≥ 2   : en effet, sinon r ( k + 1 ) = 1   ( k + 1   n'est pas régulier) et nous appliquons la condition ( 4 )   à T   et λ ′   respectivement
s ( k ) − s ( k + 2 ) = ± 1 σ k ( λ ′ ) − σ k + 2 ( λ ′ ) = ± 1 (11)
et on déduit s ( k ) − σ k ( λ ′ ) = 0   ou ± 2   , une contradiction. On traite alors les deux cas séparément.
  • - Si r ( k + 1 ) ≥ 3   , alors on affirme que λ k + 1   a un facteur orthogonal S = E 0 k + 1   ou E 1 k + 1   . [Preuve:
    sinon λ k + 1   a au moins trois facteurs orthogonaux cycliques A k + 1 ( n 1 )   , A k + 1 ( n 2 )   et A k + 1 ( n 3 )   .
    Les relations ( 0.2 )   et ( 0.3 )   de [11] impliquent alors que les n i   sont deux à deux distincts dans { ± 1 , ± 5 } = ( Z / 8 Z ) × = Z / 2 Z × Z / 2 Z   . Il s'ensuit qu'il existe i , j   tels que n j = n i + 4   mod 8   . Après renumérotation, on peut supposer i = 1 , j = 2   . Mais alors, d'après [11,rel.(0.1)]  A k + 1 ( n 1 ) ⊕ A k + 1 ( n 3 ) = A k + 1 ( n 2 ) ⊕ A k + 1 ( n 3 + 4 )   et donc A k + 1 ( n 1 ) ⊕ A k + 1 ( n 2 ) ⊕ A k + 1 ( n 3 ) = 2 A k + 1 ( n 2 ) ⊕ A k + 1 ( n 3 )   et les deux premiers indices sont égaux à n 2   , contradiction.] Nous posons alors S ′ = { E 1 k + 1 s i S = E 0 k + 1 E 0 k + 1 s i S = E 1 k + 1   Désignons par λ k + 1 ′   l'enlacement λ k + 1   où l'on a remplacé S   par S ′   . Alors σ k + 1 ( λ k + 1 ) = σ k + 1 ( λ k + 1 ) + 4   . On conclut, comme dans le Cas 2, que T ′   est admissible pour l'enlacement λ ′ ′ = λ k ⊕ λ k + 1 ′ ⊕ ⊕ l ≥ k + 2 λ l   .
  • - Si r ( k + 1 ) = 2   , vu que d'après le lemme  4 , λ k + 1   admet déjà un facteur orthogonal cyclique, la seule possibilité est λ k + 1 = A k + 1 ( m ) ⊕ A k + 1 ( n )   pour des éléments inversibles m , n ∈ Z / 8 Z   . Nous affirmons que m = n   mod 4   . [Sinon, le lemme  1 donne σ k ( λ ′ ) − σ k + 2 ( λ ′ ) = 0   alors que la condition ( 4 )   appliquée à T ′   implique s ( k ) − s ( k + 2 ) = 0   ou ± 2   . Soustrayant la première égalité à la seconde, on trouve s ( k ) − σ k ( λ ′ ) = 0   ou ± 2   , contradiction.] Remplaçons alors dans λ k + 1   les facteurs A k + 1 ( m )   et A k + 1 ( n )   par A k + 1 ( m + 4 )   et A k + 1 ( n )   respectivement. Notons λ k + 1 ′   le nouvel enlacement qui en résulte. Alors d'après le lemme  1 , σ k ( λ k + 1 ) − σ k ( λ k + 1 ′ ) = 2 ( ( − 1 ) m − 1 2 + ( − 1 ) n − 1 2 ) = 4   mod 8   . Il s'ensuit que σ k ( λ k + 1 ′ ) − s ( k ) = 0   . Définissons λ ′ ′ = λ k ⊕ λ k + 1 ′ ⊕ ⊕ l ≥ k + 2 λ l   . Alors s ( k ) = σ k ( λ ′ ′ )   et T ′   est admissible pour λ ′ ′   . ■  
Remarque. La démonstration est constructive. Si l'on suppose construit à l'étape k   l'enlacement, alors on peut le construire à l'étape k + 1   . Il est possible de raffiner la construction de sorte que l'enlacement obtenu soit sous la forme normale décrite dans [16,§§3,4] .

2   On utilise l'implication du Théorème  2 déjà démontrée ci-dessus (“nécessité”) pour appliquer la condition (3) à λ ′   .

6.3 Démonstration du Th.  8 

On note ( Z / 8 Z ) × = { ± 1 , ± 3 m o d 8 }   le groupe des éléments inversibles de l'anneau Z / 8 Z   . Il est isomorphe à Z / 2 Z × Z / 2 Z   . L'application ( Z / 8 Z ) × × ( Z / 8 Z ) × × ( Z / 8 Z ) × → ( Z / 8 Z ) ×   définie par ( r 1 , r 2 , r 3 ) ↦ s = 4 − r 2 + ( − 1 ) r 1 + 1 2 + ( − 1 ) r 3 + 1 2 m o d 8   est surjective. Considérons la 3   -variété M = L ( 16 , r 1 ) # L ( 32 , r 2 ) # L ( 64 , r 3 )   . Nous affirmons que M   n'admet pas d'application de degré 1   sur L ( 32 , s )   alors qu'elle admet une application de degré 1   sur chaque lenticulaire L ( 32 , r )   pour r ≢ s   mod 8   . Pour le voir, posons λ = λ M   et λ ′ = ( r 32 )   (l'enlacement cyclique sur Z / 32 Z   envoyant ( 1 , 1 )   sur r / 32   mod 1   ). D'après le Théorème  4 , nous avons à voir pour quel r ∈ ( Z / 8 Z ) ×   il existe un tableau admissible dans S λ , λ ′   . Puisque σ m ( λ ′ ) = ∞   si et seulement si m = 4   , il y a 9   tableaux distincts dans S λ , λ ′   . Tout tableau T ∈ S λ , λ ′   contient un sous-tableau extrait de la forme
1 2 3 4 5
0 0 1 0 1
σ 1 ( λ ) − σ 1 ( λ ′ ) σ 2 ( λ ) − σ 2 ( λ ′ ) ∞ x ∞
où x ∈ Z ¯ 8   . D'après les calculs de §§ 6.1 , nous avons σ 1 ( λ ) − σ ( λ ′ ) = r 1 + ( − 1 ) r 2 − 1 2 + r 3 − ( − 1 ) r − 1 2   mod 8   et σ 2 ( λ ) − σ 2 ( λ ′ ) = ( − 1 ) r 1 − 1 2 + r 2 + ( − 1 ) r 3 − 1 2 − r   mod 8   . Nous vérifions alors les conditions du Théorème  2 :
il est aisé de constater qu'elles sont toutes remplies si et seulement si la dernière condition ( 4 )   est remplie, c'est-à-dire si et seulement si x ≡ ± 1   mod 8   et ( − 1 ) r 1 − 1 2 + r 2 + ( − 1 ) r 3 − 1 2 − r − x ≡ ± 1   mod 8   . Par conséquent, T   est admissible si et seulement s'il existe r ∈ ( Z / 8 Z ) ×   tel que ( − 1 ) r 1 − 1 2 + r 2 + ( − 1 ) r 3 − 1 2 − r ∈ { ± 1 ± 1 } = { 0 , ± 2 } ⊂ Z 8   . Notre affirmation en résulte. Pour finir, d'après le lemme  5 , on peut chirurgiser M   de manière à rendre M   irréductible (en fait hyperbolique) et à préserver les propriétés ci-dessus. ■  
Lemme 5 Soit X   une variété connexe fermée orientée de dimension 3   . Il existe une infinité de variétés M   irréductibles (hyperboliques) ayant la même algèbre de cohomologie et même enlacement que X   et admettant une application M → X   de degré 1   .
Démonstration. D'après un résultat de Myers [18] , X   contient un nœud nul-homotope K   . Ceci implique que le complément d'un voisinage régulier de K   est irréductible (hyperbolique). Le célèbre théorème de Gordon–Luecke [9] dit alors qu'il existe un nombre infini de remplissages (inéquivalents) de Dehn sur K   produisant chacun une variété hyperbolique M   avec la même algèbre de cohomologie et enlacements isomorphes. Un argument dû à Boileau–Wang [2,proofofProp.3.2] construit explicitement une application M → X   de degré 1   . ■  

7 Quelques questions

Nous incluons dans cette section quelques questions suggérées par les résultats de cet article.
Question 1 [Structure du monoïde des enlacements]. Calculer le nombre de classes d'isomorphismes d'enlacements de rangs donnés. Plus généralement, avec les notations introduites à la fin de § 2.2 , décrire les fibres de l'application Profil. Plus précisément, existe-t-il une classe C   de parties de N   telles que M   soit classifié à partir des fibres Profil − 1 ( E )   , E ∈ C   ? On peut poser les mêmes questions en un sens plus faible en remplaçant les fibres par leur groupe de Witt. Enfin, ces questions peuvent être posées au sujet du monoïde des formes quadratiques.
Question 2 [Réalisabilité des enlacements par les variétés de Seifert]. Il est connu [11,Th.6.1] que tout enlacement peut être réalisé comme l'enlacement d'une variété connexe fermée orientée de dimension 3   . On peut modifier l'argument du lemme  5 pour imposer que la 3   -variété réalisant l'enlacement soit irréductible. Est-ce que l'on peut imposer que la 3   -variété soit de Seifert (une question qui a peut-être motivé Seifert à introduire les variétés de Seifert) ? Peut-être peut-on le démontrer à l'aide des techniques de [2] .
Question 3 [Forme normale]. L'article [16] contient un algorithme de mise sous forme normale pour tout enlacement et permet de simplifier la preuve originale de [11] de la présentation par générateurs et relations de M   . Peut-on généraliser le résultat principal (Th. 4.4) de [16] aux formes quadratiques sur les 2   -groupes ?
Question 4 [Reconnaissance de fonctions quadratiques]. D'après la remarque 2 à la fin de § 3 , le Théorème  5 est une généralisation du Théorème  2 aux formes quadratiques. Quoique plus délicat, il serait utile de les généraliser aux fonctions quadratiques, c'est-à-dire aux applications q : G → Q / Z   telle que b q ( x , y ) = q ( x + y ) − q ( x ) − q ( y )   soit bilinéaire en x   et y   sans requérir a priori la condition d'homogénéité q ( n x ) = n 2 q ( x )   . Une telle question est motivée, par exemple, par le fait qu'une 3   -variété équipée d'une structure Spin c   possède canoniquement une telle fonction quadratique. (C'est d'ailleurs ce qui permet de généraliser le Théorème  9 à ce cadre.) Ce fait est vrai plus généralement d'ailleurs, pour toute variété fermée de dimension 4 n − 1   équippée d'une structure complexe sur T M ⊕ R M   (fibré tangent stabilisé une fois) [14] .
References

  1. E. Burger, Über Gruppen mit Verschlingungen, J. Reine Angew. Math. 188 (1950), 193–200.
  2. M. Boileau and S. Wang, Non-zero degree maps and surface bundles over S 1   , J. Diff. Geom., 43 (1996), 789-806.
  3. F. Deloup, Une présentation combinatoire du monoïde des enlacements, Comptes-Rendus Math. 337 (2003) no. 4, 227–232.
  4. F. Deloup, An explicit construction of an abelian topological quantum field theory, Topology Appl. 127 (2003), no. 1–2, 199–211.
  5. F. Deloup and C. Gille, Abelian quantum invariants indeed classify linking pairings. Knots in Hellas '98, Volume 2 (Delphi). J. Knot Theory Ramifications 10 (2001), no. 2, 295–302.
  6. F. Deloup and G. Massuyeau, Quadratic functions and complex spin structures on 3   -manifolds, preprint, 2001.
  7. F. Deloup and G. Massuyeau, Reidemeister–Turaev torsion mod 1 of rational homology 3   -spheres, Geometry & Topology, Vol. 7 (2003), 773–787.
  8. A. Degtyarev, Itenberg, V. Kharlamov, Real Enriques Surfaces, Lecture Notes in Math. 1746, Springer, 2000.
  9. C. McA. Gordon and J. Luecke, Reducible and Dehn surgery, Topology, vol. 35, No. 2 (1996), 385-409.
  10. C. Hayat-Legrand, S. Wang, H. Zieschang, Degree one maps onto lens spaces, Pacific J. Math., vol. 176, No. 1 (1996), 19–32.
  11. A. Kawauchi and S. Kojima, Algebraic classification of linking pairings on 3   -manifolds, Math. Ann. 253 (1980), 29–42.
  12. S. Lang, Algebraic Number Theory, Second Edition, Springer-Verlag, New York, 1994.
  13. J. Lannes, F. Latour, Forme quadratique d'enlacement et applications , Astérisque No. 26. Société Mathématique de France, Paris, 1975.
  14. E. Looijenga, J. Wahl, Quadratic functions and smoothing surface singularities, Topology 25   no. 3 (1986), 261–291.
  15. J. Milnor and D. Husemoller, Symmetric Bilinear Forms, Ergebnisse der Math. 73, Berlin, Heidelberg, New York, 1973.
  16. R. Miranda, Nondegenerate Symmetric Bilinear Forms on Finite Abelian 2   -groups, Trans. Amer. Math. Soc. 284 (1984), no. 2, 535–542.
  17. J. Morgan, D. Sullivan, The transversality characteristic class and linking cycles in surgery theory, Ann. of Math. (2) 99 (1974), 463–544.
  18. R. Myers, Simple knots in compact orientable 3   -manifolds, Trans. Amer. Math. Soc., 273 (1982), 75-92; 278 (1983) 271-288.
  19. U. Pinkall, Regular homotopy classes of immersed surfaces, Topology 24 (1985), no. 4, 421–434.
  20. W. Scharlau, Quadratic and Hermitian Forms, Heidelberg, New York, Tokyo, Springer-Verlag, 1986.
  21. H. Seifert and W. Threlfall, Lehrbuch der Topologie, Leipzig, 1934.
  22. E. R. van Kampen, Invariants derived from looping coefficients, Amer. J. Math. 60 (1938), 595–610.
  23. J.-P. Serre, Cours d'Arithmétique, Deuxième Edition, Presses Univ. France, Paris, 1977.
  24. V.G. Turaev, Euler structures, nonsingular vector fields, and torsions of Reidemeister type, Izvestia Ac. Sci. USSR 53:3 (1989) (English translation in Math. USSR Izvestia 34:3 (1990), 627–662).
  25. V.G. Turaev, Torsions of 3-dimensional manifolds, Progress in Math. 208, Birkäuser, 2002.
  26. C.T.C Wall, Quadratic forms on finite groups and related topics, Topology 2 (1963), 281–298.
  27. G.W. Whitehead, Elements of homotopy theory, GTM 61, Springer, New York, 1978.

Addresse de l'auteur:
Université Paul Sabatier, Toulouse III, Laboratoire Émile Picard de Mathématiques, 118, route de Narbonne, 31062 Toulouse, France.