Showing 1–25 of 25 results for author: Cristofori, P

Estimating trisection genus via gem theory

Authors: Maria Rita Casali, Paola Cristofori

Abstract: Gems are a particular type of edge-colored graphs, dual to colored triangulations, which represent compact PL-manifolds of arbitrary dimension, both in the closed and boundary case. In the present paper, gem theory is used to approach trisections of PL 4-manifolds, so as to prove that: - the graph-defined invariant regular genus is an upper bound for the trisection genus of each closed 4-manifol… ▽ More Gems are a particular type of edge-colored graphs, dual to colored triangulations, which represent compact PL-manifolds of arbitrary dimension, both in the closed and boundary case. In the present paper, gem theory is used to approach trisections of PL 4-manifolds, so as to prove that: - the graph-defined invariant regular genus is an upper bound for the trisection genus of each closed 4-manifold; - a trisection diagram can be directly obtained from any gem of a closed 4-manifold. Moreover, suitable extensions of the above results are presented for compact 4-manifolds with connected boundary. △ Less

Submitted 6 April, 2025; originally announced April 2025.

Comments: 16 pages, 3 figures

MSC Class: 57Q15 - 57K40 - 57M15

Kirby diagrams, trisections and gems of PL 4-manifolds: relationships, results and open problems

Authors: Maria Rita Casali, Paola Cristofori

Abstract: We review the main achievements regarding the interactions between gem theory (which makes use of edge-colored graphs to represent PL-manifolds of arbitrary dimension) and both the classical representation of PL 4-manifolds via Kirby diagrams and the more recent one via trisections. Original results also appear (in particular, about gems representing closed 4-manifolds which need 3-handles in thei… ▽ More We review the main achievements regarding the interactions between gem theory (which makes use of edge-colored graphs to represent PL-manifolds of arbitrary dimension) and both the classical representation of PL 4-manifolds via Kirby diagrams and the more recent one via trisections. Original results also appear (in particular, about gems representing closed 4-manifolds which need 3-handles in their handle decomposition, as well as about trisection diagrams), together with open problems and further possible applications to the study of compact PL 4-manifolds. △ Less

Submitted 7 July, 2025; v1 submitted 3 February, 2025; originally announced February 2025.

Comments: 34 pages; 24 figures. The construction of the systems of curves of the trisection diagram in Proposition 21 has been clarified and typos have been corrected. Version to be published in AMS Contemporary Mathematics series, special volume on Knot Theory and Applications

MSC Class: 57Q15 - 57K40 - 57M15

Trisections of PL 4-manifolds arising from colored triangulations

Authors: Maria Rita Casali, Paola Cristofori

Abstract: The purpose of the present paper is twofold: firstly to extend to non-orientable compact 4-manifolds the notion of gem-induced trisection, directly obtained from colored triangulations (or, equivalently, from colored graphs encoding them, called gems); secondly to prove that, both in the orientable and non-orientable case, if the boundary is homeomorphic to a connected sum of sphere bundles over… ▽ More The purpose of the present paper is twofold: firstly to extend to non-orientable compact 4-manifolds the notion of gem-induced trisection, directly obtained from colored triangulations (or, equivalently, from colored graphs encoding them, called gems); secondly to prove that, both in the orientable and non-orientable case, if the boundary is homeomorphic to a connected sum of sphere bundles over $\mathbb S^1$, gem-induced trisections naturally give rise to trisections of the corresponding closed 4-manifold. As a consequence, an estimation of the trisection genus of any closed orientable 4-manifold in terms of surgery description is obtained via colored triangulations. △ Less

Submitted 13 September, 2024; v1 submitted 4 December, 2023; originally announced December 2023.

Comments: 14 pages, 4 figures. The case of disconnected diagrams has been taken into account

MSC Class: 57Q15 - 57K40 - 57M15

Journal ref: Mediterr. J. Math. 22, 27 (2025)

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

Authors: Maria Rita Casali, Paola Cristofori

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 $\mathbb 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 $\mathbb D^4$ by adding 1-handles along the dotted componen… ▽ More 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 $\mathbb 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 $\mathbb 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. △ Less

Submitted 8 August, 2022; v1 submitted 26 January, 2021; originally announced January 2021.

Comments: 28 pages, 24 figures. Version accepted for publication in Revista Matemática Complutense, with new examples, explanations and figures, according to the referee's suggestions

MSC Class: 57K40; 57M15; 57K10; 57Q15

Compact 4-manifolds admitting special handle decompositions

Authors: Maria Rita Casali, Paola Cristofori

Abstract: In this paper we study colored triangulations of compact PL 4-manifolds with empty or connected boundary which induce handle decompositions lacking in 1-handles or in 1- and 3-handles, thus facing also the problem, posed by Kirby, of the existence of {\it special handlebody decompositions} for any simply-connected closed PL 4-manifold. In particular, we detect a class of compact simply-connected P… ▽ More In this paper we study colored triangulations of compact PL 4-manifolds with empty or connected boundary which induce handle decompositions lacking in 1-handles or in 1- and 3-handles, thus facing also the problem, posed by Kirby, of the existence of {\it special handlebody decompositions} for any simply-connected closed PL 4-manifold. In particular, we detect a class of compact simply-connected PL 4-manifolds with empty or connected boundary, which admit such decompositions and, therefore, can be represented by (undotted) framed links. Moreover, this class includes any compact simply-connected PL 4-manifold with empty or connected boundary having colored triangulations that minimize the combinatorially defined PL invariant {\em regular genus, gem-complexity} or {\em G-degree} among all such manifolds with the same second Betti number. △ Less

Submitted 26 August, 2020; originally announced August 2020.

Comments: 13 pages

MSC Class: 57K40; 57M15; 57K10; 57Q15

Crystallizations of compact 4-manifolds minimizing combinatorially defined PL-invariants

Authors: Maria Rita Casali, Paola Cristofori, Carlo Gagliardi

Abstract: The present paper is devoted to present a unifying survey about some special classes of crystallizations of compact PL $4$-manifolds with empty or connected boundary, called {\it semi-simple} and {\it weak semi-simple crystallizations}, with a particular attention to their properties of minimizing combinatorially defined PL-invariants, such as the {\it regular genus}, the {\it Gurau degree}, the {… ▽ More The present paper is devoted to present a unifying survey about some special classes of crystallizations of compact PL $4$-manifolds with empty or connected boundary, called {\it semi-simple} and {\it weak semi-simple crystallizations}, with a particular attention to their properties of minimizing combinatorially defined PL-invariants, such as the {\it regular genus}, the {\it Gurau degree}, the {\it gem-complexity} and the {\it (gem-induced) trisection genus}. The main theorem, yielding a summarizing result on the topic, is an original contribution. Moreover, in the present paper the additivity of regular genus with respect to connected sum is proved to hold for all compact $4$-manifolds with empty or connected boundary which admit weak semi-simple crystallizations. △ Less

Submitted 15 April, 2020; originally announced April 2020.

Comments: 21 pages, 11 figures, 2 tables. arXiv admin note: text overlap with arXiv:1910.08777

MSC Class: 57Q15; 57N13; 57M15

Journal ref: Rend. Istit. Mat. Univ. Trieste Volume 52 (2020), 1-28 (electronic preview)

Classifying compact 4-manifolds via generalized regular genus and G-degree

Authors: M. R. Casali, P. Cristofori

Abstract: (d+1)-colored graphs, i.e. edge-colored graphs that are (d+1)-regular, have already been proved to be a useful representation tool for compact PL d-manifolds, thus extending the theory (known as crystallization theory) originally developed for the closed case. In this context, combinatorially defined PL invariants play a relevant role. The present paper focuses in particular on generalized regular… ▽ More (d+1)-colored graphs, i.e. edge-colored graphs that are (d+1)-regular, have already been proved to be a useful representation tool for compact PL d-manifolds, thus extending the theory (known as crystallization theory) originally developed for the closed case. In this context, combinatorially defined PL invariants play a relevant role. The present paper focuses in particular on generalized regular genus and G-degree: the first one extending to higher dimension the classical notion of Heegaard genus for 3-manifolds, the second one arising, within theoretical physics, from the theory of random tensors as an approach to quantum gravity in dimension greater than two. We establish several general results concerning the two invariants, in relation with invariants of the boundary and with the rank of the fundamental group, as well as their behaviour with respect to connected sums. We also compute both generalized regular genus and G-degree for interesting classes of compact d-manifolds, such as handlebodies, products of closed manifolds by the interval and D^2-bundles over S^2. The main results of the paper concern dimension 4, where we obtain the classification of all compact PL manifolds with generalized regular genus at most one, and of all compact PL manifolds with G-degree at most 18; moreover, in case of empty or connected boundary, the classifications are extended to generalized regular genus two and to G-degree 24. △ Less

Submitted 3 March, 2023; v1 submitted 3 December, 2019; originally announced December 2019.

Comments: 29 pages, 6 figures; changes according to the referees' suggestions

MSC Class: 57Q15 - 57N13 - 57M15 - 57Q25

Journal ref: Ann. Inst. Henri Poincaré Comb. Phys. Interact. 10 (2023), no. 1, pp.121-158

Gem-induced trisections of compact PL $4$-manifolds

Authors: Maria Rita Casali, Paola Cristofori

Abstract: The idea of studying trisections of closed smooth $4$-manifolds via (singular) triangulations, endowed with a suitable vertex-labelling by three colors, is due to Bell, Hass, Rubinstein and Tillmann, and has been applied by Spreer and Tillmann to colored triangulations associated to the so called simple crystallizations of standard simply-connected $4$-manifolds. The present paper performs a gener… ▽ More The idea of studying trisections of closed smooth $4$-manifolds via (singular) triangulations, endowed with a suitable vertex-labelling by three colors, is due to Bell, Hass, Rubinstein and Tillmann, and has been applied by Spreer and Tillmann to colored triangulations associated to the so called simple crystallizations of standard simply-connected $4$-manifolds. The present paper performs a generalization of these ideas along two different directions: first, we take in consideration also compact PL $4$-manifolds with connected boundary, introducing a possible extension of trisections to the boundary case; then, we analyze the trisections induced not only by simple crystallizations, but by any 5-colored graph encoding a simply-connected $4$-manifold. This extended notion is referred to as gem-induced trisection, and gives rise to the G-trisection genus, generalizing the well-known trisection genus. Both in the closed and boundary case, we give conditions on a 5-colored graph which ensure one of its gem-induced trisections - if any - to realize the G-trisection genus, and prove how to determine it directly from the graph itself. Moreover, the existence of gem-induced trisections and an estimation of the G-trisection genus via surgery description is obtained, for each compact simply-connected PL 4-manifold admitting a handle decomposition lacking in 1-handles and 3-handles. As a consequence, we prove that the G-trisection genus equals $1$ for all $\mathbb D^2$-bundles of $\mathbb S^2$, and hence it is not finite-to-one. △ Less

Submitted 9 May, 2022; v1 submitted 19 October, 2019; originally announced October 2019.

Comments: 24 pages, 14 figures. Several changes were made to the structure of the paper; in particular, Section 4 generalizes old Section 3 including Kirby diagrams with dotted components, too

MSC Class: 57Q15 - 57K40 - 57M15

G-degree for singular manifolds

Authors: Maria Rita Casali, Paola Cristofori, Luigi Grasselli

Abstract: The G-degree of colored graphs is a key concept in the approach to Quantum Gravity via tensor models. The present paper studies the properties of the G-degree for the large class of graphs representing singular manifolds (including closed PL manifolds). In particular, the complete topological classification up to G-degree 6 is obtained in dimension 3, where all 4-colored graphs represent singular… ▽ More The G-degree of colored graphs is a key concept in the approach to Quantum Gravity via tensor models. The present paper studies the properties of the G-degree for the large class of graphs representing singular manifolds (including closed PL manifolds). In particular, the complete topological classification up to G-degree 6 is obtained in dimension 3, where all 4-colored graphs represent singular manifolds. △ Less

Submitted 15 December, 2017; v1 submitted 22 June, 2017; originally announced June 2017.

Comments: 14 pages, 1 figure; improvements suggested by referees. Published online 24 October 2017 in RACSAM

MSC Class: 57Q15; 57N10; 57M15

Minimal 4-colored graphs representing an infinite family of hyperbolic 3-manifolds

Authors: P. Cristofori, E. Fominykh, M. Mulazzani, V. Tarkaev

Abstract: The graph complexity of a compact 3-manifold is defined as the minimum order among all 4-colored graphs representing it. Exact calculations of graph complexity have been already performed, through tabulations, for closed orientable manifolds (up to graph complexity 32) and for compact orientable 3-manifolds with toric boundary (up to graph complexity 12) and for infinite families of lens spaces. I… ▽ More The graph complexity of a compact 3-manifold is defined as the minimum order among all 4-colored graphs representing it. Exact calculations of graph complexity have been already performed, through tabulations, for closed orientable manifolds (up to graph complexity 32) and for compact orientable 3-manifolds with toric boundary (up to graph complexity 12) and for infinite families of lens spaces. In this paper we extend to graph complexity 14 the computations for orientable manifolds with toric boundary and we give two-sided bounds for the graph complexity of tetrahedral manifolds. As a consequence, we compute the exact value of this invariant for an infinite family of such manifolds. △ Less

Submitted 5 December, 2017; v1 submitted 7 June, 2017; originally announced June 2017.

Comments: 13 pages, 4 figures, 1 table. Minor changes suggested by referee. Published online 01 December 2017 in RACSAM

MSC Class: 57N10; 57Q15; 57M15

Topology in colored tensor models via crystallization theory

Authors: Maria Rita Casali, Paola Cristofori, Stephane Dartois, Luigi Grasselli

Abstract: The aim of this paper is twofold. On the one hand, it provides a review of the links between random tensor models, seen as quantum gravity theories, and the PL-manifolds representation by means of edge-colored graphs (crystallization theory). On the other hand, the core of the paper is to establish results about the topological and geometrical properties of the Gurau-degree (or G-degree) of the re… ▽ More The aim of this paper is twofold. On the one hand, it provides a review of the links between random tensor models, seen as quantum gravity theories, and the PL-manifolds representation by means of edge-colored graphs (crystallization theory). On the other hand, the core of the paper is to establish results about the topological and geometrical properties of the Gurau-degree (or G-degree) of the represented manifolds, in relation with the motivations coming from physics. In fact, the G-degree appears naturally in higher dimensional tensor models as the quantity driving their 1/N expansion, exactly as it happens for the genus of surfaces in the two-dimensional matrix model setting. In particular, the G-degree of PL-manifolds is proved to be finite-to-one in any dimension, while in dimension 3 and 4 a series of classification theorems are obtained for PL-manifolds represented by graphs with a fixed G-degree. All these properties have specific relevance in the tensor models framework, showing a direct fruitful interaction between tensor models and discrete geometry, via crystallization theory. △ Less

Submitted 7 March, 2018; v1 submitted 10 April, 2017; originally announced April 2017.

Comments: 34 pages, 6 figures; improvements suggested by referee. Published online 8 January 2018 by the Journal of Geometry and Physics

MSC Class: 57Q15; 57N10; 57N13; 57M15; 57Q25; 83E99

4-colored graphs and knot/link complements

Authors: P. Cristofori, E. Fominykh, M. Mulazzani, V. Tarkaev

Abstract: A representation for compact 3-manifolds with non-empty non-spherical boundary via 4-colored graphs (i.e., 4-regular graphs endowed with a proper edge-coloration with four colors) has been recently introduced by two of the authors, and an initial classification of such manifolds has been obtained up to 8 vertices of the representing graphs. Computer experiments show that the number of graphs/manif… ▽ More A representation for compact 3-manifolds with non-empty non-spherical boundary via 4-colored graphs (i.e., 4-regular graphs endowed with a proper edge-coloration with four colors) has been recently introduced by two of the authors, and an initial classification of such manifolds has been obtained up to 8 vertices of the representing graphs. Computer experiments show that the number of graphs/manifolds grows very quickly as the number of vertices increases. As a consequence, we have focused on the case of orientable 3-manifolds with toric boundary, which contains the important case of complements of knots and links in the 3-sphere. In this paper we obtain the complete catalogation/classification of these 3-manifolds up to 12 vertices of the associated graphs, showing the diagrams of the involved knots and links. For the particular case of complements of knots, the research has been extended up to 16 vertices. △ Less

Submitted 22 February, 2017; v1 submitted 8 September, 2016; originally announced September 2016.

Comments: 19 pages, 6 figures, 3 tables; changes in Lemma 6, Corollaries 7 and 8

MSC Class: 57M25; 57N10; 57M15

Journal ref: Results in Mathematics, 72(1), 471-490 (2017)

PL 4-manifolds admitting simple crystallizations: framed links and regular genus

Authors: M. R. Casali, P. Cristofori, C. Gagliardi

Abstract: Simple crystallizations are edge-coloured graphs representing PL 4-manifolds with the property that the 1-skeleton of the associated triangulation equals the 1-skeleton of a 4-simplex. In the present paper, we prove that any (simply-connected) PL $4$-manifold $M$ admitting a simple crystallization admits a special handlebody decomposition, too; equivalently, $M$ may be represented by a framed link… ▽ More Simple crystallizations are edge-coloured graphs representing PL 4-manifolds with the property that the 1-skeleton of the associated triangulation equals the 1-skeleton of a 4-simplex. In the present paper, we prove that any (simply-connected) PL $4$-manifold $M$ admitting a simple crystallization admits a special handlebody decomposition, too; equivalently, $M$ may be represented by a framed link yielding $\mathbb S^3$, with exactly $β_2(M)$ components ($β_2(M)$ being the second Betti number of $M$). As a consequence, the regular genus of $M$ is proved to be the double of $β_2(M)$. Moreover, the characterization of any such PL $4$-manifold by $k(M)= 3 β_2(M)$, where $k(M)$ is the gem-complexity of $M$ (i.e. the non-negative number $p-1$, $2p$ being the minimum order of a crystallization of $M$) implies that both PL invariants gem-complexity and regular genus turn out to be additive within the class of all PL $4$-manifolds admitting simple crystallizations (in particular: within the class of all "standard" simply-connected PL 4-manifolds). △ Less

Submitted 12 June, 2015; v1 submitted 13 October, 2014; originally announced October 2014.

Comments: 14 pages, no figures; this is a new version of the former paper "A characterization of PL 4-manifolds admitting simple crystallizations"

MSC Class: 57Q15; 57N13; 57M15

Journal ref: J. Knot Theory Ramifications 25, 1650005 (2016)

Cataloguing PL 4-manifolds by gem-complexity

Authors: M. R. Casali, P. Cristofori

Abstract: We describe an algorithm to subdivide automatically a given set of PL n-manifolds (via coloured triangulations or, equivalently, via crystallizations) into classes whose elements are PL-homeomorphic. The algorithm, implemented in the case n=4, succeeds to solve completely the PL-homeomorphism problem among the catalogue of all closed connected PL 4-manifolds up to gem-complexity 8 (i.e., which adm… ▽ More We describe an algorithm to subdivide automatically a given set of PL n-manifolds (via coloured triangulations or, equivalently, via crystallizations) into classes whose elements are PL-homeomorphic. The algorithm, implemented in the case n=4, succeeds to solve completely the PL-homeomorphism problem among the catalogue of all closed connected PL 4-manifolds up to gem-complexity 8 (i.e., which admit a coloured triangulation with at most 18 4-simplices). Possible interactions with the (not completely known) relationship among different classification in TOP and DIFF=PL categories are also investigated. As a first consequence of the above PL classification, the non-existence of exotic PL 4-manifolds up to gem-complexity 8 is proved. Further applications of the tool are described, related to possible PL-recognition of different triangulations of the K3-surface. △ Less

Submitted 17 November, 2015; v1 submitted 2 August, 2014; originally announced August 2014.

Comments: 25 pages, 5 figures. Improvements suggested by the referee

MSC Class: 57Q15 - 57N13 - 57M15 - 57Q25

Journal ref: Electron. J. Combin., 22(4) #P4.25, 1--25, 2015

The double of the doubles of Klein surfaces

Authors: Antonio F. Costa, Paola Cristofori, Ana M. Porto

Abstract: A Klein surface is a surface with a dianalytic structure. A double of a Klein surface $X$ is a Klein surface $Y$ such that there is a degree two morphism (of Klein surfaces) $Y\rightarrow X$. There are many doubles of a given Klein surface and among them the so-called natural doubles which are: the complex double, the Schottky double and the orienting double. We prove that if $X$ is a non-orientab… ▽ More A Klein surface is a surface with a dianalytic structure. A double of a Klein surface $X$ is a Klein surface $Y$ such that there is a degree two morphism (of Klein surfaces) $Y\rightarrow X$. There are many doubles of a given Klein surface and among them the so-called natural doubles which are: the complex double, the Schottky double and the orienting double. We prove that if $X$ is a non-orientable Klein surface with non-empty boundary, the three natural doubles, although distinct Klein surfaces, share a common double: "the double of doubles" denoted by $DX$. We describe how to use the double of doubles in the study of both moduli spaces and automorphisms of Klein surfaces. Furthermore, we show that the morphism from $DX$ to $X$ is not given by the action of an isometry group on classical surfaces. △ Less

Submitted 5 March, 2015; v1 submitted 3 April, 2014; originally announced April 2014.

Comments: 14 pages; more details in the proof of theorem 6

MSC Class: Primary 30F50; Secondary 14H15

Journal ref: Revista Matematica Iberoamericana, 33(1) (2017), 183-194

A note about complexity of lens spaces

Authors: Maria Rita Casali, Paola Cristofori

Abstract: Within crystallization theory, (Matveev's) complexity of a 3-manifold can be estimated by means of the combinatorial notion of GM-complexity. In this paper, we prove that the GM-complexity of any lens space L(p,q), with p greater than 2, is bounded by S(p,q)-3, where S(p,q) denotes the sum of all partial quotients in the expansion of q/p as a regular continued fraction. The above upper bound had b… ▽ More Within crystallization theory, (Matveev's) complexity of a 3-manifold can be estimated by means of the combinatorial notion of GM-complexity. In this paper, we prove that the GM-complexity of any lens space L(p,q), with p greater than 2, is bounded by S(p,q)-3, where S(p,q) denotes the sum of all partial quotients in the expansion of q/p as a regular continued fraction. The above upper bound had been already established with regard to complexity; its sharpness was conjectured by Matveev himself and has been recently proved for some infinite families of lens spaces by Jaco, Rubinstein and Tillmann. As a consequence, infinite classes of 3-manifolds turn out to exist, where complexity and GM-complexity coincide. Moreover, we present and briefly analyze results arising from crystallization catalogues up to order 32, which prompt us to conjecture, for any lens space L(p,q) with p greater than 2, the following relation: k(L(p,q)) = 5 + 2 c(L(p,q)), where c(M) denotes the complexity of a 3-manifold M and k(M)+1 is half the minimum order of a crystallization of M. △ Less

Submitted 16 October, 2013; v1 submitted 23 September, 2013; originally announced September 2013.

Comments: 14 pages, 2 figures; v2: we improved the paper (changes in Proposition 10; Corollary 9 and Proposition 11 added) taking into account Theorem 2.6 of arxiv:1310.1991v1 which makes use of our Prop. 6(b) (arxiv:1309.5728v1). Minor changes have been done, too, in particular to make references more essential

MSC Class: 57Q15; 57M27; 57M25; 57M15

Journal ref: Forum Mathematicum 27 (6) (2015), 3173-318

Compact 3-manifolds via 4-colored graphs

Authors: Paola Cristofori, Michele Mulazzani

Abstract: We introduce a representation of compact 3-manifolds without spherical boundary components via (regular) 4-colored graphs, which turns out to be very convenient for computer aided study and tabulation. Our construction is a direct generalization of the one given in the eighties by S. Lins for closed 3-manifolds, which is in turn dual to the earlier construction introduced by Pezzana's school in Mo… ▽ More We introduce a representation of compact 3-manifolds without spherical boundary components via (regular) 4-colored graphs, which turns out to be very convenient for computer aided study and tabulation. Our construction is a direct generalization of the one given in the eighties by S. Lins for closed 3-manifolds, which is in turn dual to the earlier construction introduced by Pezzana's school in Modena. In this context we establish some results concerning fundamental groups, connected sums, moves between graphs representing the same manifold, Heegaard genus and complexity, as well as an enumeration and classification of compact 3-manifolds representable by graphs with few vertices ($\le 6$ in the non-orientable case and $\le 8$ in the orientable one). △ Less

Submitted 22 September, 2015; v1 submitted 18 April, 2013; originally announced April 2013.

Comments: 25 pages, 11 figures; changes suggested by referee: references added, figure 2 modified, results about classification of the manifolds in Proposition 17 announced at the end of section 9. Accepted for publication in RACSAM. The final publication is available at Springer (see DOI)

MSC Class: Primary 57M27; 57N10; Secondary 57M15

Journal ref: RACSAM 110(2) (2016), 395-416

Computing Matveev's complexity via crystallization theory: the boundary case

Authors: Maria Rita Casali, Paola Cristofori

Abstract: The notion of Gem-Matveev complexity has been introduced within crystallization theory, as a combinatorial method to estimate Matveev's complexity of closed 3-manifolds; it yielded upper bounds for interesting classes of such manifolds. In this paper we extend the definition to the case of non-empty boundary and prove that for each compact irreducible and boundary-irreducible 3-manifold it coincid… ▽ More The notion of Gem-Matveev complexity has been introduced within crystallization theory, as a combinatorial method to estimate Matveev's complexity of closed 3-manifolds; it yielded upper bounds for interesting classes of such manifolds. In this paper we extend the definition to the case of non-empty boundary and prove that for each compact irreducible and boundary-irreducible 3-manifold it coincides with the modified Heegaard complexity introduced by Cattabriga, Mulazzani and Vesnin. Moreover, via Gem-Matveev complexity, we obtain an estimation of Matveev's complexity for all Seifert 3-manifolds with base $\mathbb D^2$ and two exceptional fibers and, therefore, for all torus knot complements. △ Less

Submitted 16 October, 2012; originally announced October 2012.

Comments: 27 pages, 14 figures

MSC Class: Primary 57M27; 57N10. Secondary 57M15; 57M25

Journal ref: Journal of Knot Theory and its Ramifications 22 (8) (2013), 1350038 (30 pages)

Complexity computation for compact 3-manifolds via crystallizations and Heegaard diagrams

Authors: Maria Rita Casali, Paola Cristofori, Michele Mulazzani

Abstract: The idea of computing Matveev complexity by using Heegaard decompositions has been recently developed by two different approaches: the first one for closed 3-manifolds via crystallization theory, yielding the notion of Gem-Matveev complexity; the other one for compact orientable 3-manifolds via generalized Heegaard diagrams, yielding the notion of modified Heegaard complexity. In this paper we ext… ▽ More The idea of computing Matveev complexity by using Heegaard decompositions has been recently developed by two different approaches: the first one for closed 3-manifolds via crystallization theory, yielding the notion of Gem-Matveev complexity; the other one for compact orientable 3-manifolds via generalized Heegaard diagrams, yielding the notion of modified Heegaard complexity. In this paper we extend to the non-orientable case the definition of modified Heegaard complexity and prove that for closed 3-manifolds Gem-Matveev complexity and modified Heegaard complexity coincide. Hence, they turn out to be useful different tools to compute the same upper bound for Matveev complexity. △ Less

Submitted 1 March, 2012; originally announced March 2012.

Comments: 12 pages; accepted for publication in Topology and Its Applications, volume containing Proceedings of Prague Toposym 2011

MSC Class: 57M27; 57N10; 57M15

Journal ref: Topology and its Applications 159 (2012) 3042-3048

Cyclic generalizations of two hyperbolic icosahedral manifolds

Authors: P. Cristofori, T. Kozlovskaya, A. Vesnin

Abstract: We discuss two families of closed orientable three-dimensional manifolds which arise as cyclic generalizations of two hyperbolic icosahedral manifolds listed by Everitt. Everitt's manifolds are cyclic coverings of the lens space $L_{3,1}$ branched over some 2-component links. We present results on covering properties, fundamental groups, and hyperbolic volumes of the manifolds belonging to these f… ▽ More We discuss two families of closed orientable three-dimensional manifolds which arise as cyclic generalizations of two hyperbolic icosahedral manifolds listed by Everitt. Everitt's manifolds are cyclic coverings of the lens space $L_{3,1}$ branched over some 2-component links. We present results on covering properties, fundamental groups, and hyperbolic volumes of the manifolds belonging to these families. △ Less

Submitted 14 October, 2011; originally announced October 2011.

Comments: 18 pages, 9 figures

MSC Class: 57M25; 57M12

A census of genus two 3-manifolds up to 42 coloured tetrahedra

Authors: Paola Bandieri, Paola Cristofori, Carlo Gagliardi

Abstract: We improve and extend to the non-orientable case a recent result of Karabas, Malicki and Nedela concerning the classification of all orientable prime 3-manifolds of Heegaard genus two, triangulated with at most 42 coloured tetrahedra. We improve and extend to the non-orientable case a recent result of Karabas, Malicki and Nedela concerning the classification of all orientable prime 3-manifolds of Heegaard genus two, triangulated with at most 42 coloured tetrahedra. △ Less

Submitted 3 February, 2009; originally announced February 2009.

Comments: 24 pages, 3 figures

MSC Class: 57N10; 57Q15; 57M15

Journal ref: Discrete Mathematics 310 (2010), 2469-2481

Nonorientable 3-manifolds admitting coloured triangulations with at most 30 tetrahedra

Authors: Paola Bandieri, Paola Cristofori, Carlo Gagliardi

Abstract: We present the census of all non-orientable, closed, connected 3-manifolds admitting a rigid crystallization with at most 30 vertices. In order to obtain the above result, we generate, manipulate and compare, by suitable computer procedures, all rigid non-bipartite crystallizations up to 30 vertices. We present the census of all non-orientable, closed, connected 3-manifolds admitting a rigid crystallization with at most 30 vertices. In order to obtain the above result, we generate, manipulate and compare, by suitable computer procedures, all rigid non-bipartite crystallizations up to 30 vertices. △ Less

Submitted 10 May, 2007; originally announced May 2007.

Comments: 18 pages, 3 figures

MSC Class: 57Q15; 57M15; 57N10

Journal ref: Journal of Knot Theory and its Ramifications 18 (3) (2009), 381-395

A catalogue of orientable 3-manifolds triangulated by 30 coloured tetrahedra

Authors: M. R. Casali, P. Cristofori

Abstract: The present paper follows the computational approach to 3-manifold classification via edge-coloured graphs, already performed by several authors with respect to orientable 3-manifolds up to 28 coloured tetrahedra, non-orientable 3-manifolds up to 26 coloured tetrahedra, genus two 3-manifolds up to 34 coloured tetrahedra: in fact, by automatic generation and analysis of suitable edge-coloured gra… ▽ More The present paper follows the computational approach to 3-manifold classification via edge-coloured graphs, already performed by several authors with respect to orientable 3-manifolds up to 28 coloured tetrahedra, non-orientable 3-manifolds up to 26 coloured tetrahedra, genus two 3-manifolds up to 34 coloured tetrahedra: in fact, by automatic generation and analysis of suitable edge-coloured graphs, called crystallizations, we obtain a catalogue of all orientable 3-manifolds admitting coloured triangulations with 30 tetrahedra. These manifolds are unambiguously identified via JSJ decompositions and fibering structures. It is worth noting that, in the present work, a suitable use of elementary combinatorial moves yields an automatic partition of the elements of the generated crystallization catalogue into equivalence classes, which are proved to be in one-to one correspondence with the homeomorphism classes of the represented manifolds. △ Less

Submitted 15 June, 2006; originally announced June 2006.

Comments: 24 pages, 7 figures

MSC Class: 57Q15; 57M15; 57N10

Journal ref: Journal of Knot Theory and its Ramifications 17 (2008), no.5, 579-599

Computing Matveev's complexity via crystallization theory: the orientable case

Authors: M. R. Casali, P. Cristofori

Abstract: By means of a slight modification of the notion of GM-complexity, the present paper performs a graph-theoretical approach to the computation of (Matveev's) complexity for closed orientable 3-manifolds. In particular, the existing crystallization catalogue C^{28}, due to Lins, is used to obtain upper bounds for the complexity of closed orientable 3-manifolds triangulated by at most 28 tetrahedra.… ▽ More By means of a slight modification of the notion of GM-complexity, the present paper performs a graph-theoretical approach to the computation of (Matveev's) complexity for closed orientable 3-manifolds. In particular, the existing crystallization catalogue C^{28}, due to Lins, is used to obtain upper bounds for the complexity of closed orientable 3-manifolds triangulated by at most 28 tetrahedra. The experimental results actually coincide with the exact values of complexity, for all but three elements. Moreover, in the case of at most 26 tetrahedra, the exact value of the complexity is shown to be always directly computable via crystallization theory. △ Less

Submitted 7 June, 2006; v1 submitted 29 November, 2004; originally announced November 2004.

Comments: 12 pages. This version contains several changes regarding definitions and some shortenings of statements and proofs. Also the table containing the output data has been cancelled and is now available on the WEB

MSC Class: 57Q15; 57M15; 57N10

Journal ref: Acta Appl. Math. 92(2), 113-123 (2006)

Strongly-cyclic branched coverings of knots via $(g,1)$-decompositions

Authors: Paola Cristofori, Michele Mulazzani, Andrei Vesnin

Abstract: Strongly-cyclic branched coverings of knots are studied by using their (g,1)-decompositions. Necessary and sufficient conditions for the existence and uniqueness of such coverings are obtained. It is also shown that their fundamental groups admit geometric g-words cyclic presentations. Strongly-cyclic branched coverings of knots are studied by using their (g,1)-decompositions. Necessary and sufficient conditions for the existence and uniqueness of such coverings are obtained. It is also shown that their fundamental groups admit geometric g-words cyclic presentations. △ Less

Submitted 4 March, 2005; v1 submitted 24 February, 2004; originally announced February 2004.

Comments: 14 pages, 7 figures

MSC Class: 57M12; 57M25