Monoïde des enlacements et facteurs orthogonaux

Deloup, Florian¹

¹Université Paul Sabatier, Toulouse III, Laboratoire Émile Picard de Mathématiques, 118, Route de Narbonne, 31062 Toulouse, France

Algebraic and Geometric Topology, Tome 5 (2005) no. 1, pp. 419-442

Résumé

A linking pairing is a symetric bilinear pairing λ: G × G → ℚ∕ℤ on a finite abelian group. The set of isomorphism classes of linking pairings is a non-cancellative monoid E under orthogonal sum, which is infinitely generated and infinitely related. We propose a new presentation of E that enables one to detect whether a linking pairing has a given orthogonal summand. The same method extends to the monoid Q of quadratic forms on finite abelian groups. We obtain a combinatorial classification of Q (that was previously known for groups of period 4).

As applications, we describe explicitly 3–manifolds having a degree one map onto prescribed (or proscribed) lens spaces. Most of the results extend to 3–manifolds endowed with a parallelization or a spin structure. In particular, the Reidemeister–Turaev function detects the existence of a spin preserving degree one map between a rational homology 3–sphere and a lens space.

Résumé

Un enlacement est une forme bilinéaire symétrique λ: G × G → ℚ∕ℤ 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éralisent 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.

Détail

DOI : 10.2140/agt.2005.5.419

Keywords: linking pairing, quadratic form, othogonal summand, 3–manifold

Bibliographie

[1] E Burger, Über Gruppen mit Verschlingungen, J. Reine Angew. Math. 188 (1950) 193

[2] M Boileau, S Wang, Non-zero degree maps and surface bundles over S1, J. Differential Geom. 43 (1996) 789

[3] F Deloup, Une description combinatoire du monoïde des enlacements, C. R. Math. Acad. Sci. Paris 337 (2003) 227

[4] F Deloup, An explicit construction of an abelian topological quantum field theory in dimension 3, from: "Proceedings of the Pacific Institute for the Mathematical Sciences Workshop “Invariants of Three–Manifolds” (Calgary, AB, 1999)" (2003) 199

[5] F Deloup, C Gille, Abelian quantum invariants indeed classify linking pairings, J. Knot Theory Ramifications 10 (2001) 295

[6] F Deloup, G Massuyeau, Quadratic functions and complex spin structures on three-manifolds, Topology 44 (2005) 509

[7] F Deloup, G Massuyeau, Reidemeister–Turaev torsion modulo one of rational homology three-spheres, Geom. Topol. 7 (2003) 773

[8] A Degtyarev, I Itenberg, V Kharlamov, Real Enriques surfaces, 1746, Springer (2000)

[9] C M Gordon, J Luecke, Reducible manifolds and Dehn surgery, Topology 35 (1996) 385

[10] C Hayat-Legrand, S Wang, H Zieschang, Degree-one maps onto lens spaces, Pacific J. Math. 176 (1996) 19

[11] A Kawauchi, S Kojima, Algebraic classification of linking pairings on 3–manifolds, Math. Ann. 253 (1980) 29

[12] S Lang, Algebraic number theory, 110, Springer (1994)

[13] J Lannes, F Latour, Forme quadratique d’enlacement et applications, Société Mathématique de France (1975) 89

[14] E Looijenga, J Wahl, Quadratic functions and smoothing surface singularities, Topology 25 (1986) 261

[15] J Milnor, D Husemoller, Symmetric bilinear forms, 73, Springer (1973)

[16] R Miranda, Nondegenerate symmetric bilinear forms on finite abelian 2–groups, Trans. Amer. Math. Soc. 284 (1984) 535

[17] J W Morgan, D P Sullivan, The transversality characteristic class and linking cycles in surgery theory, Ann. of Math. (2) 99 (1974) 463

[18] R Myers, Simple knots in compact, orientable 3–manifolds, Trans. Amer. Math. Soc. 273 (1982) 75

[19] U Pinkall, Regular homotopy classes of immersed surfaces, Topology 24 (1985) 421

[20] W Scharlau, Quadratic and Hermitian forms, , Springer (1985)

[21] H Seifert, W Threlfall, Seifert and Threlfall : a textbook of topology, 89, Academic Press (1980)

[22] E R V Kampen, Invariants Derived from Looping Coefficients, Amer. J. Math. 60 (1938) 595

[23] J P Serre, Cours d’arithmétique, Presses Universitaires de France (1977) 188

[24] V G Turaev, Euler structures, nonsingular vector fields, and Reidemeister-type torsions, Izv. Akad. Nauk SSSR Ser. Mat. 53 (1989) 607, 672

[25] V Turaev, Torsions of 3–dimensional manifolds, 208, Birkhäuser Verlag (2002)

[26] I M Vinogradov, An introduction to the theory of numbers, Pergamon Press (1955)

[27] C T C Wall, Quadratic forms on finite groups, and related topics, Topology 2 (1963) 281

[28] G W Whitehead, Elements of homotopy theory, 61, Springer (1978)