It is well-known that in dimension 4 any framed link (L,c) uniquely represents the PL 4-manifold M^4(L,c) obtained from D^4 by adding 2-handles along (L,c). Moreover, if trivial dotted components are also allowed (i.e. in case of a Kirby diagram (L^{(*)},d)), the associated PL 4-manifold M^4(L^{(*)},d) is obtained from D^4 by adding 1-handles along the dotted components and 2-handles along the framed components. In this paper we study the relationships between framed links and/or Kirby diagrams and the representation theory of compact PL manifolds by edge-colored graphs: in particular, we describe how to construct algorithmically a (regular) 5-colored graph representing M^4(L^{(*)},d), directly ``drawn over" a planar diagram of (L^{(*)},d), or equivalently how to algorithmically obtain a triangulation of M^4(L^{(*)},d). As a consequence, the procedure yields triangulations for any closed (simply-connected) PL 4-manifold admitting handle decompositions without 3-handles. Furthermore, upper bounds for both the invariants gem-complexity and regular genus of M^4(L^{(*)},d) are obtained, in terms of the combinatorial properties of the Kirby diagram.

Kirby diagrams and 5-colored graphs representing compact 4-manifolds / Casali, M. R.; Cristofori, P.. - In: REVISTA MATEMATICA COMPLUTENSE. - ISSN 1139-1138. - (2022), pp. 1-33. [10.1007/s13163-022-00438-x]

Kirby diagrams and 5-colored graphs representing compact 4-manifolds

Casali M. R.
;
Cristofori P.
2022-01-01

Abstract

It is well-known that in dimension 4 any framed link (L,c) uniquely represents the PL 4-manifold M^4(L,c) obtained from D^4 by adding 2-handles along (L,c). Moreover, if trivial dotted components are also allowed (i.e. in case of a Kirby diagram (L^{(*)},d)), the associated PL 4-manifold M^4(L^{(*)},d) is obtained from D^4 by adding 1-handles along the dotted components and 2-handles along the framed components. In this paper we study the relationships between framed links and/or Kirby diagrams and the representation theory of compact PL manifolds by edge-colored graphs: in particular, we describe how to construct algorithmically a (regular) 5-colored graph representing M^4(L^{(*)},d), directly ``drawn over" a planar diagram of (L^{(*)},d), or equivalently how to algorithmically obtain a triangulation of M^4(L^{(*)},d). As a consequence, the procedure yields triangulations for any closed (simply-connected) PL 4-manifold admitting handle decompositions without 3-handles. Furthermore, upper bounds for both the invariants gem-complexity and regular genus of M^4(L^{(*)},d) are obtained, in terms of the combinatorial properties of the Kirby diagram.
2022
29-ago-2022
1
33
Kirby diagrams and 5-colored graphs representing compact 4-manifolds / Casali, M. R.; Cristofori, P.. - In: REVISTA MATEMATICA COMPLUTENSE. - ISSN 1139-1138. - (2022), pp. 1-33. [10.1007/s13163-022-00438-x]
Casali, M. R.; Cristofori, P.
File in questo prodotto:
File Dimensione Formato  
s13163-022-00438-x.pdf

Open access

Tipologia: Versione pubblicata dall'editore
Dimensione 2.32 MB
Formato Adobe PDF
2.32 MB Adobe PDF Visualizza/Apri
Pubblicazioni consigliate

Licenza Creative Commons
I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11380/1285804
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact