Polynôme d'Alexander

Polynôme d'Alexander

En mathématiques, et plus précisément en théorie des nœuds, le polynôme d'Alexander est un invariant de nœuds qui associe un polynôme à coefficients entiers à chaque type de nœud. C'est le premier polynôme de nœud (en) découvert ; il l'a été par James Waddell Alexander II, en 1923. En 1969, John Conway en montra une version, appelée à présent le polynôme d'Alexander-Conway, pouvant être calculé à l'aide d'une « relation d'écheveau (en) » (skein relation), mais l'importance n'en fut pas comprise avant la découverte du polynôme de Jones en 1984.

Sommaire

Définition

La définition formelle suivante nécessite des connaissances importantes en homologie ; il est cependant possible, comme on le verra au paragraphe suivant, de calculer sans elles le polynôme d'Alexander en pratique, ce qui pourrait en constituer une définition opérationnelle, mais on ne peut alors comprendre la raison profonde de l'intérêt de ce calcul, ni les propriétés du polynôme.

Soit K un nœud de la 3-sphère. Soit X le revêtement cyclique infini du complément (en) du nœud K. Il y a un automorphisme t de ce revêtement. Soit alors H1(X) le premier groupe d'homologie (à coefficients entiers) de X. La transformation t agit sur ce groupe, et nous pouvons donc considérer H1(X) comme un module sur \Z[t, t^{-1}], appelé invariant d'Alexander ou module d'Alexander.

Ce module est de présentation finie ; une matrice de présentation de ce module, à r colonnes et s lignes s'il y a r générateurs et s relations, s'appelle une matrice d'Alexander. Si r est inférieur ou égal à s, on considère l'idéal engendré par les mineurs d'ordre r de la matrice ; c'est l'idéal de Fitting (en) d'ordre 0, appelé idéal d'Alexander, et il ne dépend pas du choix de la matrice de présentation.

Si r > s, on prend l'idéal nul. Si l'idéal d'Alexander est principal, un de ses générateurs est appelé polynôme d'Alexander du nœud. Ce polynôme n'étant défini qu'à une multiplication près par un monôme de Laurent (en) \scriptstyle\pm t^n, on fixe en général une forme unique. Par exemple, le choix de normalisation d'Alexander consiste à prendre le polynôme de valuation positive et de terme constant strictement positif.

Alexander démontra que l'idéal d'Alexander est en fait toujours principal et non nul. Ainsi, le polynôme d'Alexander existe toujours, et est clairement un invariant (topologique) de nœud, que l'on note ΔK(t).

Calcul du polynôme

La procédure de calcul suivante est celle qui fut donnée par Alexander dans sa publication originale.

Considérons un diagramme orienté du nœud avec n croisements ; le diagramme partage le plan en n + 2 régions (c'est une conséquence facile de la relation d'Euler). Pour déterminer le polynôme d'Alexander, on construit d'abord une matrice d'incidence de taille (n, n + 2). Les n rangées correspondent aux n croisements, et les n + 2 colonnes aux régions. Considérons l'entrée correspondant à une région et à un croisement particulier. Si la région n'est pas adjacente au croisement, cette entrée vaut 0. Sinon, la table suivante donne la valeur de l'entrée compte tenu de la position de la région vue du point de vue de la ligne entrante passant par dessous l'autre :

à gauche avant le croisement : −t
à droite avant le croisement : 1
à gauche après le croisement : t
à droite après le croisement : −1

En supprimant alors de la matrice deux colonnes correspondant à des régions adjacentes, on obtient une nouvelle matrice d'ordre n ; son déterminant (à un facteur \pm t^n près) est le polynôme d'Alexander (la forme normalisée est obtenue en choisissant ce facteur de telle sorte que le terme constant du polynôme soit non nul et positif).

Un exemple : le calcul dans le cas du nœud de trèfle
Trèfle.png

Le calcul correspond au diagramme ci-contre (cliquer sur l'image pour une meilleure visualisation) :

La matrice d'incidence est :\begin{pmatrix} -1&1&t &0 & -t \\ -1&t&0&1 & -t \\ -1&0&1&t&-t\\ \end{pmatrix} ;
(dont les cinq colonnes correspondent respectivement aux régions 1 à 5, et les trois lignes aux croisements a, b et c).

En supprimant les deux dernières colonnes (correspondant aux deux régions adjacentes 4 et 5), on obtient

\begin{pmatrix} -1&1&t \\ -1&t&0 \\ -1&0&1 \\ \end{pmatrix}, de déterminant t2 − t + 1 ; le polynôme d'Alexander est donc t2 − t + 1.

Le même diagramme, en remplaçant le croisement en a par son opposé, donne un nœud trivial (équivalent à un cercle), une matrice d'incidence qui devient :\begin{pmatrix} 1&-t&-1 &0 & t \\ -1&t&0&1 & -t \\ -1&0&1&t&-t\\ \end{pmatrix}, d'où le calcul du déterminant de :\begin{pmatrix} 1&-t&-1 \\ -1&t&0 \\ -1&0&1 \\ \end{pmatrix}, égal à -t, et finalement le polynôme d'Alexander trivial 1.

Propriétés élémentaires

Le polynôme d'Alexander est symétrique : ΔK(t − 1) = ΔK(t).

Du point de vue de la définition formelle, ceci exprime l'isomorphisme de la dualité de Poincaré : \overline{H_1 X} \simeq \mathrm{Hom}_{\Z[t,t^{-1}]}(H_1 X, G) , où G est le quotient par \Z[t,t^{-1}] du corps des fractions de \Z[t,t^{-1}] , considéré comme un \Z[t,t^{-1}]-module, et où \overline{H_1 X} est le \Z[t,t^{-1}]-module conjugué de H1X ; en tant que groupe abélien, il est identique à H1X, mais la transformation couvrante t agit par t − 1.

Le polynôme d'Alexander vaut 1 ou -1 pour t = 1.

Ceci exprime le fait que le complément du nœud est homologue à un cercle, engendré par la transformation couvrante t. Plus généralement, si M est une variété de dimension 3 telle que rank(H1M) = 1, elle possède un polynôme d'Alexander ΔM(t) défini comme un idéal de son recouvrement, et alors ΔM(1) est égal à l'ordre du sous-groupe de torsion de H1M.

Réciproquement, tout polynôme de Laurent (à coefficients entiers), symétrique et valant \pm1 en 1 est le polynôme d'Alexander d'un certain nœud (Kawauchi 1996).

Interprétations géométriques

Comme l'idéal d'Alexander est principal, ΔK(t) = 1 si et seulement si le sous-groupe des commutateurs du groupe du nœud (le groupe fondamental du complément du nœud dans R3) est parfait (égal à son propre sous-groupe de commutateurs). C'est évidemment en particulier le cas du nœud trivial (le cercle), mais ce résultat montre que le calcul du polynôme d'Alexander ne suffit pas pour montrer qu'un nœud est trivial en général.

Pour un nœud topologiquement bordant (en), c'est-à-dire un nœud de la 3-sphère qui borde un disque plongé de façon localement plate (en) dans la 4-boule, le polynôme d'Alexander satisfait la condition de Fox-Milnor ΔK(t) = f(t)f(t − 1), où f(t) est un autre polynôme de Laurent (à coefficients entiers).

Michael Freedman a démontré que si le polynôme d'Alexander d'un nœud est trivial, ce nœud est topologiquement bordant (Freedman et Quinn 1990).

Le degré du polynôme d'Alexander est inférieur ou égal au double du genre du nœud (en).

Il y a d'autres relations avec les surfaces et la topologie (différentielle) en dimension 4. Par exemple, sous certaines hypothèses, il y a moyen de modifier une variété différentielle de dimension 4 par une opération de chirurgie (en) consistant à retirer un voisinage d'un tore (à deux dimensions) et à le remplacer par le produit du complément d'un nœud et de S1. Le résultat est une variété homéomorphe à la variété initiale, mais dont l'invariant de Seiberg-Witten (en) a été multiplié par le polynôme d'Alexander du nœud[1].

Le fait qu'un nœud présente une symétrie se traduit en général par des propriétés particulières de son polynôme d'Alexander[2]. Cependant, celui-ci ne permet pas de les détecter toutes ; c'est le cas de l'invertibilité forte.

Si le complément du nœud est un fibré à base circulaire, on peut montrer que le polynôme d'Alexander est monique (les termes de plus haut et plus bas degré valent \pm 1). En fait, si S \to C_K \to S^1 est un fibré, où CK est le complément du nœud ; notons g : S \to S la monodromie[3]. Alors ΔK(t) = Det(tI − g * ), où g_* : H_1 S \to H_1 S est l'application induite sur les classes d'homologie.

Relations avec les opérations sur les nœuds satellites

Si un nœud K est un nœud satellite (en) de compagnon K', c'est-à-dire s'il existe un plongement f : S^1 \times D^2 \to S^3 tel que K = f(K'), où S^1 \times D^2 \subset S^3 est un tore plein non noué, alors \Delta_K(t) = \Delta_{f(S^1 \times \{0\})}(t) \Delta_{K'}(t^a), où a est l'entier relatif représentant K' \subset S^1 \times D^2 dans H_1(S^1\times D^2)=\Z.

Par exemple pour une somme connexe, \Delta_{K_1 \# K_2}(t) = \Delta_{K_1}(t) \Delta_{K_2}(t). Si K est un double de Whitehead sans torsion, alors \Delta_K(t)=\pm 1.

Le polynôme d'Alexander-Conway

Alexander avait démontré que le polynôme d'Alexander satisfait une relation d'écheveau. Cela fut redécouvert par John Conway sous une forme différente, montrant que cette relation, et un choix convenable de valeurs sur le transformé (dénoué) suffit à déterminer le polynôme. Le résultat de la version de Conway est un polynôme en z à coefficients entiers, noté \nabla(z) et appelé le polynôme d'Alexander-Conway.

Soit L un diagramme orienté d'un nœud ; on note L_+,\ L_-,\ L_0 les diagrammes résultant d'un changement limité à une petite région autour d'un croisement spécifié, comme indiqué sur la figure.

Skein (HOMFLY).svg

Les relations d'écheveau (skein relations) de Conway sont les suivantes :

  • \nabla(O) = 1 (où O est n'importe quel diagramme non noué)
  • \nabla(L_+) - \nabla(L_-) = z \nabla(L_0)

La relation avec le polynôme d'Alexander standard est donnée par \Delta_L(t^2) = \nabla_L(t - t^{-1}). Ici, ΔL doit être convenablement normalisé (par multiplication par \pm t^{n/2}) pour satisfaire la relation d'écheveau Δ(L + ) − Δ(L − ) = (t1 / 2 − t − 1 / 2)Δ(L0). Il faut remarquer que cette relation donne un polynôme de Laurent en t1/2 [4].

Peu de temps après que Conway ait montré ces relations, on se rendit compte qu'une relation similaire avait été décrite par Alexander dans sa publication originale[5].

Notes et références

Notes

  1. ↑ Ronald Fintushel et Ronald J. Stern, Knots, links, and 4-manifolds, 1996-97. Texte en accès libre sur arXiv : dg-ga/9612014.
  2. ↑ Voir la section sur les symétries dans Kawauchi 1996.
  3. ↑ Voir sa définition dans en.wikipedia
  4. ↑ Voir l'article de en.wikipedia sur la théorie des nœuds (en) pour un exemple du calcul du polynôme de Conway du nœud de trèfle
  5. ↑ Alexander décrit sa relation d'écheveau à la fin de son article, dans une section intitulée "théorèmes divers", ce qui peut expliquer qu'elle se soit perdue. Cependant, Joan Birman (de) mentionne dans son article New points of view in knot theory (Bull. Amer. Math. Soc. (N.S.) 28 (1993), no. 2, 253-287) que Mark Kidwell avait attiré son attention sur la relation d'Alexander en 1970.

Références


  • (en) J. W. Alexander, « Topological invariants of knots and links », dans Trans. Amer. Math. Soc., vol. 30, no 2, 1928, p. 275–306 [lien DOI] 
  • (en) Colin Adams (en), The Knot Book: An elementary introduction to the mathematical theory of knots, Providence, RI, American Mathematical Society, 2004, Revised reprint of the 1994 originale éd., poche (ISBN 978-0-8218-3678-1) (LCCN 2004054429).
    Introduction accessible utilisant une approche par les relations d'écheveau.
     
  • (en) Michael Freedman et Frank Quinn (en), Topology of 4-manifolds, Princeton, NJ, Princeton University Press, coll. « Princeton Mathematical Series » (no 39), 1990 (ISBN 0-691-08577-3) 
  • (en) Akio Kawauchi, A Survey of Knot Theory, Birkhauser, 1996
    Couvre diverses approches du polynôme d'Alexander et explique les relations entre ces versions différentes.
     
  • (en) Dale Rolfsen, Knots and Links, Berkeley, CA, Publish or Perish, 1990, 2nde éd., poche (ISBN 978-0-914098-16-4) (LCCN 76015514).
    Explication de l'approche classique utilisant l'invariant d'Alexander invariant ; tables de nœuds et d'entrelacs avec leurs polynômes d'Alexander.
     

Lien externe

(en) The Knot Atlas (tables de nœuds et d'entrelacs avec leurs polynômes d'Alexander et de Conway)


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Polynôme d'Alexander de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать курсовую

Regardez d'autres dictionnaires:

  • Polynome de Jones — Polynôme de Jones Le polynôme de Jones en théorie des nœuds est un invariant polynomial des nœuds, introduit par Vaughan Jones en 1983. Plus précisément, c est un invariant d un nœud orienté ou d un entrelacs orienté, qui est un polynôme de… …   Wikipédia en Français

  • Polynôme de jones — Le polynôme de Jones en théorie des nœuds est un invariant polynomial des nœuds, introduit par Vaughan Jones en 1983. Plus précisément, c est un invariant d un nœud orienté ou d un entrelacs orienté, qui est un polynôme de Laurent à coefficients… …   Wikipédia en Français

  • Polynôme de Jones — Le polynôme de Jones en théorie des nœuds est un invariant polynomial des nœuds introduit par Vaughan Jones en 1984. Plus précisément, c est un invariant d un nœud orienté ou d un entrelacs orienté, qui est un polynôme de Laurent (en) à… …   Wikipédia en Français

  • James Waddell Alexander II — Pour les articles homonymes, voir Alexander. James Waddell Alexander II est un mathématicien et topologue américain de l entre deux guerres, né le 19 septembre 1888 et mort le 23 septembre 1971. Il fait partie de l influente école de Princeton en …   Wikipédia en Français

  • Liste spezieller Polynome — Die folgenden Polynome sind in verschiedenen Teilbereichen der Mathematik von besonderer Bedeutung. Alexander Polynom (Knotentheorie) Bell Polynom Bernoulli Polynom Bernstein Polynom (Numerik) Bernstein Sato Polynom charakteristisches Polynom… …   Deutsch Wikipedia

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • TOPOLOGIE - Topologie différentielle — La topologie différentielle, que l’on devrait plutôt appeler «topologie des variétés », est une discipline mathématique assez ancienne par les problèmes qu’elle cherche à résoudre: ils étaient presque tous posés au début du siècle; mais ses… …   Encyclopédie Universelle

  • Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants  …   Wikipédia en Français

  • Liste Des Polynômes Remarquables — Liste de polynômes Ceci est une liste de polynômes remarquables Polynôme d Alexander Polynômes d Al Salam Chihara Polynôme d Appell généralisé Polynômes d Askey Wilson Polynôme de Bernoulli Polynôme de Bernstein Polynômes de Charlier Polynômes de …   Wikipédia en Français

  • Liste de polynômes — Ceci est une liste de polynômes remarquables Polynôme d Alexander Polynômes d Al Salam Chihara Polynôme d Appell généralisé Polynômes d Askey Wilson Polynôme de Bernoulli Polynôme de Bernstein Polynômes de Charlier Polynômes de Conway Polynôme… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”