Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS
|
   
Available in electronic format
Available in print format
Transactions of the American Mathematical Society
Transactions of the American Mathematical Society
ISSN 1088-6850(e) ISSN 0002-9947(p)

     

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
MathSciNet review: 2506421
Retrieve article in: PDF

Abstract | References | Similar articles | Additional information

Abstract: We prove that if $ M$ is a CW-complex and $ M^1$ is its 1-skeleton, then the crossed module $ \Pi_2(M,M^1)$ depends only on the homotopy type of $ M$ as a space, up to free products, in the category of crossed modules, with $ \Pi_2(D^2,S^1)$. From this it follows that if $ \mathcal{G}$ is a finite crossed module and $ M$ is finite, then the number of crossed module morphisms $ \Pi_2(M,M^1) \to \mathcal{G}$ can be re-scaled to a homotopy invariant $ I_{\mathcal{G}}(M)$, depending only on the algebraic 2-type of $ M$. We describe an algorithm for calculating $ \pi_2(M,M^{(1)})$ as a crossed module over $ \pi_1(M^{(1)})$, in the case when $ M$ is the complement of a knotted surface $ \Sigma$ in $ S^4$ and $ M^{(1)}$ is the handlebody of a handle decomposition of $ M$ made from its 0- and $ 1$-handles. Here, $ \Sigma$ 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 $ I_{\mathcal{G}}$ yields a non-trivial invariant of knotted surfaces in $ S^4$ with good properties with regard to explicit calculations.


References:

1.
Baues H.J.: Combinatorial Homotopy and $ 4$-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 $ 4$-Sphere, Math. Proc. Cambridge Philos, Soc. 89 (1981), no. 1, 113-117. MR 591977 (83d:57016)

23.
Gompf R.E., Stipsicz A.I.: $ 4$-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 $ n$-Fold Extensions of Groups and Cohomology, Comment. Math. Helv. 55 (1980), no. 2, 302-313. MR 576608 (82e:20063)

27.
Jajodia S.: On $ 2$-Dimensional CW-Complexes with a Single $ 2$-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 $ 4$-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 $ 2$-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 $ 3$-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.: $ k$-Invariants of Knotted $ 2$-Spheres, Comment. Math. Helv. 60 (1985), no. 1, 54-84. MR 787662 (86i:57026)

39.
Porter T.: Interpretations of Yetter's Notion of $ G$-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 $ n$-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 $ 2$-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.




AMS and Social Media LinkedIn Facebook Podcasts Twitter YouTube RSS Feeds Blogs Wikipedia