|
The fundamental crossed module of the complement of a knotted surface
Author(s):
João
Faria Martins
Journal:
Trans. Amer. Math. Soc.
361
(2009),
4593-4630.
MSC (2000):
Primary 57M05, 57Q45;
Secondary 55Q20
Posted:
April 3, 2009
Retrieve article in:
PDF
Abstract |
References |
Similar articles |
Additional information
Abstract:
We prove that if is a CW-complex and is its 1-skeleton, then the crossed module depends only on the homotopy type of as a space, up to free products, in the category of crossed modules, with . From this it follows that if is a finite crossed module and is finite, then the number of crossed module morphisms can be re-scaled to a homotopy invariant , depending only on the algebraic 2-type of . We describe an algorithm for calculating as a crossed module over , in the case when is the complement of a knotted surface in and is the handlebody of a handle decomposition of made from its 0- and -handles. Here, is presented by a knot with bands. This in particular gives us a geometric method for calculating the algebraic 2-type of the complement of a knotted surface from a hyperbolic splitting of it. We prove in addition that the invariant yields a non-trivial invariant of knotted surfaces in with good properties with regard to explicit calculations.
References:
-
- 1.
- Baues H.J.: Combinatorial Homotopy and
-Dimensional Complexes. With a preface by Ronald Brown, de Gruyter Expositions in Mathematics, 2, Walter de Gruyter & Co., Berlin, 1991. MR 1096295 (92h:55008) - 2.
- Brown R.A.: Generalized Group Presentation and Formal Deformations of CW-Complexes, Trans. Amer. Math. Soc. 334 (1992), no. 2, 519-549. MR 1153010 (93h:57001)
- 3.
- Brown K.S.: Cohomology of Groups, Corrected reprint of the 1982 original, Graduate Texts in Mathematics, 87, Springer-Verlag, New York, 1994. MR 1324339 (96a:20072)
- 4.
- Brown R.: On the Second Relative Homotopy Group of an Adjunction Space: an Exposition of a Theorem of J. H. C. Whitehead, J. London Math. Soc. (2) 22 (1980), no. 1, 146-152. MR 579818 (81g:55014)
- 5.
- Brown R.: Groupoids and Crossed Objects in Algebraic Topology, Homology Homotopy Appl. 1 (1999), 1-78 (electronic). MR 1691707 (2000d:55002)
- 6.
- Brown R.: Crossed Complexes and Homotopy Groupoids as non Commutative Tools for Higher Dimensional Local-to-Global Problems, Galois theory, Hopf algebras, and Semiabelian Categories, 101-130, Fields Inst. Commun., 43, Amer. Math. Soc., Providence, RI, 2004. MR 2075583 (2005f:18001)
- 7.
- Brown R., Higgins P.J.: On the Connection Between the Second Relative Homotopy Groups of Some related Spaces, Proc. London Math. Soc. (3) 36 (1978), no. 2, 193-212. MR 0478150 (57:17639)
- 8.
- Brown R., Higgins P.J.: The Classifying Space of a Crossed Complex, Math. Proc. Cambridge Philos. Soc. 110 (1991), no. 1, 95-120. MR 1104605 (92b:55024)
- 9.
- Brown R., Higgins P.J.: Colimit Theorems for Relative Homotopy Groups, J. Pure Appl. Algebra 22 (1981), no. 1, 11-41. MR 621285 (82m:55015b)
- 10.
- Brown R., Higgins P.J., Sivera R.: Nonabelian algebraic topology (in preparation). Part I downloadable.
- 11.
- Brown R., Huebschmann J.: Identities Among Relations, Low-Dimensional Topology (Bangor, 1979), pp. 153-202, London Math. Soc. Lecture Note Ser., 48, Cambridge Univ. Press, Cambridge, New York, 1982. MR 662431 (83h:57008)
- 12.
- Carter S., Kamada S., Saito M.: Surfaces in 4-Space, Encyclopaedia of Mathematical Sciences, 142, Low-Dimensional Topology, III. Springer-Verlag, Berlin, 2004. MR 2060067 (2005e:57065)
- 13.
- Carter S., Rieger J., Saito M.: A Combinatorial Description of Knotted Surfaces and their Isotopies, Adv. Math. 127 (1997), no. 1, 1-51. MR 1445361 (98c:57023)
- 14.
- Carter J.C., Saito M.: Knotted Surfaces and their Diagrams, Mathematical Surveys and Monographs, 55, American Mathematical Society, Providence, RI, 1998. MR 1487374 (98m:57027)
- 15.
- Crowell R.H., Fox R.H.: Introduction to Knot Theory. Reprint of the 1963 original. Graduate Texts in Mathematics, No. 57, Springer-Verlag, New York, Heidelberg, 1977. MR 0445489 (56:3829)
- 16.
- Eilenberg S., Mac Lane S.: Determination of the Second Homology and Cohomology Groups of a Space by Means of Homotopy Invariants, Proc. Nat. Acad. Sci. U. S. A. 32 (1946), 277-280. MR 0019307 (8:398b)
- 17.
- Faria Martins J.: Categorical Groups, Knots and Knotted Surfaces, J. Knot Theory Ramifications 16 (2007), no. 9, 1181-1217. MR 2375821
- 18.
- Faria Martins J.: On the Homotopy Type and the Fundamental Crossed Complex of the Skeletal Filtration of a CW-Complex, Homology Homotopy and Applications, vol. 9 (2007), no. 1, pp. 295-329. MR 2299802
- 19.
- Faria Martins J., Kauffman L.: Invariants of Welded Virtual Knots via Crossed Module Invariants of Knotted Surfaces, Compos. Math. 144 (2008), no. 4, 1046-1080. MR 2441256
- 20.
- Faria Martins J., Porter T.: On Yetter's Invariant and an Extension of the Dijkgraaf-Witten Invariant to Categorical Groups, Theory and Applications of Categories, vol. 18, 2007, no. 4, pp. 118-150. MR 2299797 (2008a:18010)
- 21.
- Fox R.H.: A Quick Trip Through Knot Theory, 1962, Topology of 3-manifolds and related topics (Proc. The Univ. of Georgia Institute, 1961) pp. 120-167, Prentice-Hall, Englewood Cliffs, N.J. MR 0140099 (25:3522)
- 22.
- Gordon C. McA.: Homology of Groups of Surfaces in the
-Sphere, Math. Proc. Cambridge Philos, Soc. 89 (1981), no. 1, 113-117. MR 591977 (83d:57016) - 23.
- Gompf R.E., Stipsicz A.I.:
-Manifolds and Kirby Calculus, Graduate Studies in Mathematics, 20. American Mathematical Society, Providence, RI, 1999. MR 1707327 (2000h:57038) - 24.
- Gutiérrez M., Hirschhorn P.: Free Simplicial Groups and the Second Relative Homotopy Group of an Adjunction Space, J. Pure Appl. Algebra 39 (1986), no. 1-2, 119-123. MR 816893 (87h:55011)
- 25.
- Hatcher A.: Algebraic Topology, Cambridge University Press, Cambridge, 2002. MR 1867354 (2002k:55001)
- 26.
- Huebschmann J.: Crossed
-Fold Extensions of Groups and Cohomology, Comment. Math. Helv. 55 (1980), no. 2, 302-313. MR 576608 (82e:20063) - 27.
- Jajodia S.: On
-Dimensional CW-Complexes with a Single -Cell, Pacific J. Math. 80 (1979), no. 1, 191-203. MR 534708 (80k:57005) - 28.
- Kawauchi A., Shibuya T.T., Suzuki S.: Descriptions on Surfaces in Four-Space. I. Normal forms, Math. Sem. Notes Kobe Univ. 10 (1982) 75-125. MR 672939 (84d:57017)
- 29.
- Kirby, Robion C.: The Topology of
-Manifolds, Lecture Notes in Mathematics, 1374, Springer-Verlag, Berlin, 1989. MR 1001966 (90j:57012) - 30.
- Loday J.L.: Spaces with Finitely Many Nontrivial Homotopy Groups, J. Pure Appl. Algebra 24 (1982), no. 2, 179-202. MR 651845 (83i:55009)
- 31.
- Lomonaco S.J. Jr.: The Homotopy Groups of Knots I. How to Compute the Algebraic
-Type, Pacific J. Math. 95 (1981), no. 2, 349-390. MR 632192 (83a:57025) - 32.
- Mac Lane S.: Cohomology Theory in Abstract Groups III, Operator Homomorphisms of Kernels, Ann. of Math. (2) 50 (1949), 736-761. MR 0033287 (11:415f)
- 33.
- Mac Lane S., Whitehead J.H.C.: On the
-Type of a Complex, Proc. Nat. Acad. Sci. U. S. A. 36 (1950), 41-48. MR 0033519 (11:450h) - 34.
- Matveev S.V.: The Structure of the Second Homotopy Group of the Join of Two Spaces. (Russian) Studies in topology, V. Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 143 (1985), 147-155, 178-179, Review in MathSciNet. MR 806565 (87j:55016)
- 35.
- May J.P.: A Concise Course in Algebraic Topology, Chicago Lectures in Mathematics. University of Chicago Press, Chicago, IL, 1999. MR 1702278 (2000h:55002)
- 36.
- Mazur B.: Differential Topology From the Point of View of Simple Homotopy Theory, Inst. Hautes Études Sci. Publ. Math., no. 15, 1963. MR 0161342 (28:4550)
- 37.
- Papakyriakopoulos C. D.: On Dehn's Lemma and the Asphericity of Knots, Ann. of Math. (2) 66 (1957), 1-26. MR 0090053 (19:761a)
- 38.
- Plotnick S. P., Suciu A. I.:
-Invariants of Knotted -Spheres, Comment. Math. Helv. 60 (1985), no. 1, 54-84. MR 787662 (86i:57026) - 39.
- Porter T.: Interpretations of Yetter's Notion of
-Coloring: Simplicial Fibre Bundles and Non-Abelian Cohomology, J. Knot Theory Ramifications 5 (1996), no. 5, 687-720. MR 1414095 (97h:57030) - 40.
- Porter T.: Topological Quantum Field Theories from Homotopy
-Types, J. London Math. Soc. (2) 58 (1998), no. 3, 723-732. MR 1678163 (2000c:57064) - 41.
- Rolfsen D.: Knots and Links. Mathematics Lecture Series, No. 7. Publish or Perish, Inc., Berkeley, Calif., 1976. MR 0515288 (58:24236)
- 42.
- Rourke C.P., Sanderson B.J.: Introduction to Piecewise-Linear Topology, Reprint, Springer Study Edition, Springer-Verlag, Berlin, New York, 1982. MR 665919 (83g:57009)
- 43.
- Swenton F.J.: On a Calculus for 2-Knots and Surfaces in 4-Space, J. Knot Theory Ramifications 10 (2001), no. 8, 1133-1141. MR 1871221 (2002j:57043)
- 44.
- Whitehead G.W.: Elements of Homotopy Theory, Graduate Texts in Mathematics, 61, Springer-Verlag, New York, Berlin, 1978. MR 516508 (80b:55001)
- 45.
- Whitehead J.H.C.: On Adding Relations to Homotopy Groups, Ann. of Math. (2) 42 (1941), 409-428. MR 0004123 (2:323c)
- 46.
- Whitehead J.H.C.: Note on a Previous Paper Entitled ``On Adding Relations to Homotopy Groups'', Ann. of Math. (2) 47 (1946), 806-810. MR 0017537 (8:167a)
- 47.
- Whitehead J.H.C.: Combinatorial Homotopy. II, Bull. Amer. Math. Soc. 55 (1949), 453-496. MR 0030760 (11:48c)
- 48.
- Yetter D.: TQFT's from Homotopy
-Types, J. Knot Theory Ramifications 2 (1993), no. 1, 113-123. MR 1209321 (94e:57028) - 49.
- Yoshikawa K.: An Enumeration of Surfaces in Four-Space, Osaka J. Math. 31 (1994), 497-522. MR 1309400 (95m:57037)
Similar Articles:
Retrieve articles in Transactions of the American Mathematical Society
with MSC
(2000):
57M05, 57Q45,
55Q20
Retrieve articles in all Journals with MSC
(2000):
57M05, 57Q45,
55Q20
Additional Information:
João
Faria Martins
Affiliation:
Departamentos de Matemática, Centro de Matemática da Universidade do Porto, Rua do Campo Alegre, 687, 4169-007 Porto, Portugal
Email:
jnmartins@fc.up.pt
DOI:
10.1090/S0002-9947-09-04576-0
PII:
S 0002-9947(09)04576-0
Keywords:
Knotted surfaces,
crossed modules,
homotopy 2-types.
Received by editor(s):
June 18, 2007
Posted:
April 3, 2009
Additional Notes:
This work had the financial support of FCT (Portugal), {post-doctoral} grant number SFRH/BPD/17552/2004, part of the research project POCI/MAT/60352/2004 (``Quantum Topology''), also financed by FCT
Copyright of article:
Copyright
2009,
American Mathematical Society
The copyright for this article reverts to public domain after 28 years from publication.
|