Enlacements d'intervalles et torsion de Whitehead

Le Dimet, Jean-Yves

Bulletin de la Société Mathématique de France, Tome 129 (2001) no. 2, pp. 215-235.

Soit $E$ un enlacement de $n$ intervalles dans $D^2\times I$ d’extérieur $X$ et soit $X_0=X\cap D^2\times 0$. On utilise la propriété de la paire $(X,X_0)$ d’être $\Lambda$-acyclique pour certaines représentation $\rho$ de l’anneau du groupe fondamental $\pi$ de $X$ dans un anneau $\Lambda$ pour construire des invariants de torsion à valeurs dans le groupe $K_1\left(\Lambda \right)/\rho (\pm \pi )$. Un cas particulier est le polynôme d’Alexander en $n$ variables quand $\Lambda$ est l’anneau des fractions rationnelles $P/Q$ avec $Q(1,1,\cdots ,1)=1$ et $\rho$ est simplement l’abélianisation.

Let $E$ be a $n$-component string link in $D^2\times I$ with exterior $X$ and $X_0=X\cap D^2\times 0$. Then the pair $(X,X_0)$ is $\mathbb{Z}$-acyclic and, given a representation $\rho :\mathbb{Z}\left[\pi \right]\to \Lambda$, with $\pi ={\pi }_1\left(X\right)$, we use the property that this pair is $\Lambda$-acyclic for various representations $\rho$ and rings $\Lambda$ to construct torsion invariants for string links taking their values in the group $K_1\left(\Lambda \right)/\rho (\pm \pi )$. A particular case is the Alexander polynomial in $n$ variables when $\Lambda$ is the ring of rational fractions $P/Q$ with $Q(1,1,\cdots ,1)=1$ and $\rho$ is simply the abelianization map.

[1] K. S. Brown - Cohomology of groups, Graduate Texts in Mathematics, vol. 87, Springer-Verlag, New York, 1982. | MR | Zbl

[2] T. A. Chapman - « Topological invariance of Whitehead torsion », Amer. J. Math. 96 (1974), p. 488-497. | MR | Zbl

[3] P. M. Cohn - Free rings and their relations, Academic Press, London, 1971, London Mathematical Society Monographs, No. 2. | MR | Zbl

[4] C. Faith - Algebra : rings, modules and categories. I, Springer-Verlag, New York, 1973, Die Grundlehren der mathematischen Wissenschaften, Band 190. | MR | Zbl

[5] R. H. Fox - « Free differential calculus. I. Derivation in the free group ring », Ann. of Math. (2) 57 (1953), p. 547-560. | MR | Zbl

[6] -, « Free differential calculus. II. The isomorphism problem of groups », Ann. of Math. (2) 59 (1954), p. 196-210. | MR | Zbl

[7] N. Habegger & G. Masbaum - « The Kontsevich integral and Milnor's invariants », Topology 39 (2000), no. 6, p. 1253-1289. | MR | Zbl

[8] P. Kirk, C. Livingston & Z. Wang - « The Gassner representation for string links », Commun. Contemp. Math. 3 (2001), no. 1, p. 87-136. | MR | Zbl

[9] J.-Y. Le Dimet - « Cobordisme d'enlacements de disques », Mém. Soc. Math. France (N.S.) (1988), no. 32, p. ii+92. | Numdam | MR | Zbl

[10] J. P. Levine - « Link concordance and algebraic closure. II », Invent. Math. 96 (1989), no. 3, p. 571-592. | MR | Zbl

[11] J. Milnor - « A duality theorem for Reidemeister torsion », Ann. of Math. (2) 76 (1962), p. 137-147. | MR | Zbl

[12] -, « Whitehead torsion », Bull. Amer. Math. Soc. 72 (1966), p. 358-426. | MR | Zbl

[13] J. Rosenberg - Algebraic $K$-theory and its applications, Graduate Texts in Mathematics, vol. 147, Springer-Verlag, New York, 1994. | MR | Zbl

[14] P. Vogel - « On the obstruction group in homology surgery », Inst. Hautes Études Sci. Publ. Math. (1982), no. 55, p. 165-206. | Numdam | MR | Zbl

[15] M. Wada - « Twisted Alexander polynomial for finitely presentable groups », Topology 33 (1994), no. 2, p. 241-256. | MR | Zbl