1 Introduction

Consider two adjacent edges \(e_{1}\) and \(e_{2}\) in a regular polyhedron. These edges have a common vertex v and lie on the same face. We take the second face containing \(e_{2}\). In this face, there is a unique edge \(e_{3}\) intersecting \(e_{2}\) in a vertex different from v. Similarly, we get an edge \(e_{4}\) from the edges \(e_{2}\) and \(e_{3}\). Step by step, we create a sequence \(e_{1},e_{2},e_{3},\dots \) whose elements will repeat after some time. Since we are dealing with a regular polyhedron, this is a skew polygon without self-intersections. Coxeter called such polygons Petrie polygons [1, Sect. 2.6]. They play an important role in his famous book. See Fig. 1 for the Petrie polygons on the five Platonic solids (the bold line), observe that the dual solids have the same Petrie polygons.

Fig. 1
figure 1

Zigzags on the Platonic solids

In non-regular polyhedra, cyclic sequences with the property described above can have self-intersections. For example, a 3-gonal bipyramid (Fig. 2) has only one such sequence (up to reversing).

Fig. 2
figure 2

3-gonal bipyramid

Analogues of Petrie polygons for maps, i.e., 2-cell embeddings of graphs in closed 2-dimensional surfaces, are known as zigzags [3, 5] or closed left-right paths [4, 9]. General results on zigzags in plane graphs can be found in [4, Chap. 17]. A large portion of material given in [3] concerns zigzags in three-regular plane graphs related to mathematical chemistry, in particular, well-known fullerenes. In both these books, the case when there is a single zigzag is distinguished. Following [3], we call maps satisfying this condition z-knotted.

A Gauss code is a word, where each symbol occurs precisely twice [4, Sect. 17.4]. There is a problem related to realizing Gauss codes as closed curves with simple self-intersections in closed 2-dimensional surfaces. It is not difficult to see that a map is z-knotted if and only if there is a zigzag passing trough each edge twice. The latter is equivalent to the fact that the corresponding medial graph (the graph whose vertex set is formed by all edges of the map, and two edges are adjacent if they have a common vertex and belong to the same face, see the bold graph in Fig. 3) is a realization of a certain Gauss code. We refer to [4, Sect. 17.7] for the case of plane graphs and to [2, 6] for the general case.

Fig. 3
figure 3

Medial graph

The concept of z-knottedness can be described in terms of \({{\mathbb {Z}}}_{2}\)-homologies. First of all, we observe that every zigzag is also a zigzag in the dual map and conversely. If our map is not z-knotted, then there is a zigzag passing through some edges once. These edges form a bicycle, i.e., a cycle which is also a cycle in the dual map. By [4, Thm. 17.3.5], a plane graph is z-knotted if and only if it does not contain non-trivial bicycles. This is equivalent to the fact that the corank of the Laplacian over \({{\mathbb {Z}}}_{2}\) is equal to 1 and well-known Kirchhoff’s theorem implies that a plane graph is z-knotted if and only if the number of spanning trees in this graph is odd [4, Sects. 14.15 and 17.8]. In the general case, we consider the vector space over \({{\mathbb {Z}}}_{2}\) formed by all bicycles with the symmetric difference as an additive operation. For a z-knotted map this vector space does not contain boundaries and coboundaries and its dimension is equal to the corresponding Betti number, i.e., there is a natural one-to-one correspondence between bicycles and 1-dimensional \({{\mathbb {Z}}}_{2}\)-homologies [2, Sect. 4].

In this paper, we investigate zigzags in triangulations of closed 2-dimensional surfaces. It is well known that an n-gonal bipyramid is a z-knotted triangulation of the sphere \({{\mathbb {S}}}^{2}\) if n is odd. Two examples of z-knotted fullerenes can be found in [3, Sect. 2.3] (the duals are z-knotted triangulations of \({{\mathbb {S}}}^{2}\)). A large class of plane z-knotted graphs (in particular, z-knotted fullerenes) was obtained using computer [3].

Our main result (Theorem 3.1) states that every triangulation of any closed 2-dimensional surface admits a z-knotted shredding.

This statement will be proved in two steps. First, we introduce the z-monodromy \(M_{F}\) which acts on the set of oriented edges of a face F in a triangulation. For two consecutive oriented edges \(e_{0}\) and e in F we consider the unique zigzag containing the sequence \(e_{0},e\) and define \(M_{F}(e)\) as the first (oriented) edge of F which occurs in this zigzag after e. There are precisely seven possibilities for the z-monodromies and only four possibilities can be realized in z-knotted triangulations (Theorem 4.4). Examples show that each of these seven possibilities happens in a certain triangulation; moreover, the four possibilities corresponding to the z-knotted case are realized in z-knotted triangulations (Section 5). If the z-monodromies of all faces in a triangulation are of z-knotted type, then this triangulation is z-knotted (Theorem 4.7). The second step is a gluing lemma concerning zigzags in the connected sum of triangulations (Section 6). Using this lemma, we replace every face whose z-monodromy is not of z-knotted type by some number of faces with the z-monodromies of z-knotted types and get a z-knotted shredding.

Other application of the gluing lemma is a description of all cases when the connected sum of z-knotted triangulations is z-knotted (Theorem 8.1).

2 Zigzags in Triangulations

We describe some elementary properties of zigzags in triangulations (which also hold for other maps).

Let M be a connected closed 2-dimensional surface (not necessarily orientable) and let \(\Gamma \) be a triangulation of M, i.e., a 2-cell embedding of a connected simple finite graph in M whose faces are triangles [7, Sect. 3.1]. The following properties are immediate consequences of the definition: (1) every edge is contained in precisely two distinct faces, (2) the intersection of every two distinct faces is either an edge or a vertex, or it is empty.

Two distinct edges are called adjacent if there is a face containing them. Since every face is a triangle, any two adjacent edges have a common vertex. Two faces are said to be adjacent if their intersection is an edge.

A zigzag in \(\Gamma \) is a sequence of edges \(\{e_{i}\}_{i\in {{\mathbb {N}}}}\) satisfying the following conditions for every \(i\in {{\mathbb {N}}}\):

  1. (Z1)

    \(e_{i},e_{i+1}\) are adjacent,

  2. (Z2)

    the faces containing \(e_{i},e_{i+1}\) and \(e_{i+1},e_{i+2}\) are distinct and the edges \(e_{i}\) and \(e_{i+2}\) are disjoint.

Since \(\Gamma \) is finite, for every zigzag \(Z=\{e_{i}\}_{i\in {{\mathbb {N}}}}\) there is a natural number \(n>0\) such that \(e_{i+n}=e_{i}\) for every \(i\in {{\mathbb {N}}}\). The smallest number n satisfying this condition is called the length of Z. So, our zigzag is a cyclic sequence \(e_{1},\dots , e_{n}\), where n is the length of Z. We say that Z is edge-simple if all edges in this cyclic sequence are mutually distinct. Note that Z can be presented as a cyclic sequence of vertices \(v_{1},\dots ,v_{n}\), where \(v_{i}\) and \(v_{i+1}\) are the vertices belonging to \(e_{i}\) for \(i<n\) and the edge \(e_{n}\) contains \(v_{n}\) and \(v_{1}\). The zigzag Z is called simple if these vertices are mutually distinct. All zigzags of the Platonic solids are simple (see Fig. 1). It is clear that a simple zigzag is edge-simple, but an edge-simple zigzag is not necessarily simple.

Observe that every zigzag \(\{e_{i}\}_{i\in {{\mathbb {N}}}}\) is completely determined by any pair of consecutive edges \(e_{i},e_{i+1}\). If \(X=\{e_{1},\dots , e_{n}\}\) is a sequence of edges, then \(X^{-1}\) denotes the reversed sequence \(e_{n},\dots ,e_{1}\). If Z is a zigzag, then the same holds for \(Z^{-1}\). If Z contains a sequence \(e,e'\), then the sequence \(e',e\) is contained in the reversed zigzag \(Z^{-1}\). Sequences of type \(e,e',\dots ,e',e\) are not contained in zigzags, i.e., a zigzag cannot be reversed to itself. Indeed, if such a sequence were contained in a zigzag, then this zigzag would be one of the following sequences;

$$\begin{aligned} e,e',e_{1},e_{2},\dots ,e_{m},e_{m},\dots ,e_{2},e_{1},e',e,\dots \end{aligned}$$

or

$$\begin{aligned} e,e',e_{1},e_{2},\dots ,e_{m-1},e_{m},e_{m-1},\dots ,e_{2},e_{1},e',e,\dots ; \end{aligned}$$

each of these cases is impossible.

We say that \(\Gamma \) is z-knotted if it contains only one pair of zigzags \(Z,Z^{-1}\); in other words, there is a single zigzag up to reversing.

Lemma 2.1

If \(\Gamma \) is z-knotted, then each of the two zigzags passes through every edge twice. Conversely, if \(\Gamma \) contains a zigzag passing through every edge twice, then it is z-knotted.

This statement can be found in [3, 4], but some arguments from its proof will be used in what follows. For this reason, we present this proof below.

Proof of Lemma 2.1

Every edge e is contained in precisely two distinct faces \(F_{1}\) and \(F_{2}\). We fix a vertex on e and denote by \(e_{i}\), \(i=1,2\), the edge in \(F_{i}\) containing this fixed vertex and distinct from e (Fig. 4). Let \(Z_{i}(e)\), \(i=1,2\), be the zigzag containing the sequence \(e,e_{i}\).

Fig. 4
figure 4

Zigzags passing through the common edge of two faces

If \(\Gamma \) is z-knotted, i.e., it contains only one pair of zigzags \(Z,Z^{-1}\), then each of these zigzags coincides with every \(Z_{i}(e)\) or its reverse. This implies that it passes through e twice.

If a zigzag passes through each edge twice, then it coincides with every \(Z_{i}(e)\) or its reverse for all edges e. This is possible only in the case when \(\Gamma \) is z-knotted. \(\square \)

3 Main Result

Let \(\Gamma \) and \(\Gamma '\) be triangulations of (connected closed 2-dimensional) surfaces M and \(M'\), respectively. Suppose that F is a face in \(\Gamma \) and \(F'\) is a face in \(\Gamma '\). By our assumption, F and \(F'\) both are homeomorphic to a closed 2-dimensional disc and each of the boundaries \(\partial F\) and \(\partial F'\) is the sum of three edges. Let \(g:\partial F \rightarrow \partial F'\) be a homeomorphism transferring every vertex of F to a vertex of \(F'\), i.e., if \(v_{i}\), \(i\in \{1,2,3\}\), are the vertices of F, then \(v'_{i}=g(v_{i})\), \(i\in \{1,2,3\}\), are the vertices of \(F'\). In what follows, such boundary homeomorphisms will be called special.

We define the connected sum \(\Gamma \#_{g} \Gamma '\). We remove the interiors of F and \(F'\) from M and \(M'\) (respectively) and glue together the boundaries \(\partial F\) and \(\partial F'\) so that every \(v_{i}\) is identified with \(v'_{i}\). We get a triangulation of the connected sum \(M\# M'\) which will be denoted by \(\Gamma \#_{g} \Gamma '\). The vertex set of \(\Gamma \#_{g} \Gamma '\) is the union of the vertex sets of \(\Gamma \) and \(\Gamma '\), where every \(v_i\) is identified with \(v'_i\), and the edge set is the union of the edge sets of \(\Gamma \) and \(\Gamma '\), where the edge containing \(v_i,v_j\) is identified with the edge containing \(v'_i,v'_j\). Every face of \(\Gamma \#_{g} \Gamma '\) is a face of \(\Gamma \) or \(\Gamma '\) different from \(F,F'\).

Note that for other special homeomorphism \(h:\partial F \rightarrow \partial F'\) the graph \(\Gamma \#_{h} \Gamma '\) is not necessarily isomorphic to \(\Gamma \#_{g} \Gamma '\). See Figs. 9 and 10 for non-isomorphic connected sums of 3-gonal bipyramids.

Using the connected sums of triangulations, we describe the concept of shredding of a triangulation. As above, we suppose that \(\Gamma \) is a triangulation of a surface M. Let \(F_{1},\dots ,F_{k}\) be mutually distinct faces of \(\Gamma \) and let \(\Gamma _{1},\dots , \Gamma _{k}\) be triangulations of the sphere \({{\mathbb {S}}}^2\). For each \(i\in \{1,\dots ,k\}\) we take a face \(F'_i\) in \(\Gamma _{i}\) and a special homeomorphism \(g_{i}:\partial F_{i}\rightarrow \partial F'_{i}\). The connected sum

$$\begin{aligned} (((\Gamma \#_{g_{1}} \Gamma _{1})\#_{g_{2}} \Gamma _{2})\cdots )\#_{g_{k}}\Gamma _{k} \end{aligned}$$
(1)

is a triangulation of M, where every \(F_i\) is replaced by a triangulation of a 2-dimensional disc. Every triangulation of M obtained from \(\Gamma \) in such a way is said to be a shredding of \(\Gamma \).

Theorem 3.1

Every triangulation \(\Gamma \) of any connected closed 2-dimensional surface admits a z-knotted shredding. Suppose that \(\Gamma \) contains precisely 2m zigzags, i.e., m zigzags up to reversing, and \(m>1\). Then there are z-knotted triangulations \(\Gamma _{1},\dots , \Gamma _{k}\) of the sphere \({{\mathbb {S}}}^2\) such that \(k\le m-1\) and the connected sum (1) is z-knotted.

4 z-Monodromy

Let \(\Gamma \) be a triangulation and let F be a face in \(\Gamma \) whose vertices are denoted by abc. Let also \(\Omega (F)\) be the set consisting of all oriented edges of F. Then

$$\begin{aligned} \Omega (F)=\{ab,bc,ca,ac,cb,ba\}, \end{aligned}$$

where xy is the edge from \(x\in \{a,b,c\}\) to \(y\in \{a,b,c\}\). If e is the edge xy, then we write \(-e\) for the edge yx.

Consider the permutation

$$\begin{aligned} D_{F}=(ab,bc,ca)(ac,cb,ba) \end{aligned}$$

on the set \(\Omega (F)\) (which is the composition of two commuting 3-cycles). If xyz are three mutually distinct vertices of F, then \(D_{F}(xy)=yz\). The equality \(D_{F}(e)=e'\) implies that \(D_{F}(-e')=-e\).

For any \(e\in \Omega (F)\) we take \(e_{0}\in \Omega (F)\) such that \(D_{F}(e_{0})=e\) and consider the zigzag Z containing the sequence \(e_{0},e\) (recall that every zigzag is completely determined by any pair of consecutive edges). If \(e'\) is the first element of \(\Omega (F)\) contained in the zigzag Z after e, then we define \(M_{F}(e)=e'\), Fig. 5. The transformation \(M_{F}\) of \(\Omega (F)\) will be called the z-monodromy associated to the face F.

Fig. 5
figure 5

z-monodromy

Example 4.1

Let \(e_{1},\dots , e_{n}\) be a zigzag of \(\Gamma \) (we consider this zigzag as a cyclic sequence of non-oriented edges). For every \(i\le n-1\) we denote by \(F_{i}\) the face containing the edges \(e_{i}\) and \(e_{i+1}\) and we write \(F_{n}\) for the face which contains \(e_{n}\) and \(e_{1}\). It is easy to see that this zigzag is edge-simple if and only if the faces \(F_{1},\dots ,F_{n}\) are mutually distinct. In this case, we have \(M_{F_{i}}(e_{i+1})=e_{i}\) for every \(i\le n-1\) and \(M_{F_{n}}(e_{1})=e_{n}\), where \(e_{1},\dots , e_{n}\) are considered as the edges oriented according to the direction of the zigzag. Therefore, if all zigzags of \(\Gamma \) are edge-simple, then \(M_{F}=(D_{F})^{-1}\) for every face F. Conversely, if the latter equality holds for every face F, then for any zigzag \(e_{1},\dots , e_{n}\) the corresponding faces \(F_{1},\dots ,F_{n}\) are mutually distinct which implies that all zigzags are edge-simple. So, we have \(M_{F}=(D_{F})^{-1}\) for every face F if and only if each zigzag of \(\Gamma \) is edge-simple. All zigzags are simple (and consequently edge-simple) in the following triangulations:

  • tetrahedrons, octahedrons and icosahedrons (three Platonic solids whose faces are triangles),

  • the torus triangulation obtained from a square grid with diagonals in the same direction,

  • the triangulation of the real projective plane presented in Fig. 6.

In Example 5.3, we show that all zigzags in a (2k)-gonal bipyramid are edge-simple if k is even. Note that these zigzags are simple only for \(k=2\) (the octahedron case).

Fig. 6
figure 6

Triangulation of the real projective plane with simple zigzags

Denote by \({{\mathcal {Z}}}(F)\) the set of all zigzags containing the sequences \(e,D_{F}(e)\) with \(e\in \Omega (F)\).

Lemma 4.2

The following assertions are fulfilled:

  1. (1)

    A zigzag belongs to \({{\mathcal {Z}}}(F)\) if and only if it contains at least one edge of F.

  2. (2)

    If a zigzag belongs to \({{\mathcal {Z}}}(F)\), then the same holds for the reversed zigzag.

  3. (3)

    \(|{{\mathcal {Z}}}(F)|\) is equal to 2 or 4 or 6.

Proof

(1) Suppose that a zigzag passes through the edge of F containing vertices \(x,y\in \{a,b,c\}\) and goes from x to y. Then one of the following possibilities is realized: this zigzag contains the sequence \(xy,D_{F}(xy)\), or it contains a sequence exy such that \(D_{F}(e)=xy\). In each of these cases, the zigzag belongs to \({{\mathcal {Z}}}(F)\).

(2) If a zigzag belongs to \({{\mathcal {Z}}}(F)\), then it contains a sequence \(e,e'\), where \(e\in \Omega (F)\) and \(e'=D_{F}(e)\). The reversed zigzag contains the sequence \(-e',-e\). Since \(D_{F}(-e')=-e\), it belongs to \({{\mathcal {Z}}}(F)\).

(3) The set \(\Omega (F)\) consists of 6 elements, but for some distinct \(e,e'\in {\Omega }(F)\) the zigzags containing the sequences \(e,D_{F}(e)\) and \(e',D_{F}(e')\) can be coincident. In this case, the reversed zigzags also are coincident. \(\square \)

We say that \(\Gamma \) is locally z-knotted for F if \(|{{\mathcal {Z}}}(F)|=2\). By Lemma 4.2, this holds if and only if there is a single pair of zigzags \(Z,Z^{-1}\) containing edges of F.

Lemma 4.3

If \(\Gamma \) is locally z-knotted for F, then every zigzag from \({{\mathcal {Z}}}(F)\) passes through each edge of F twice. Conversely, if there is a zigzag passing through each edge of F twice, then \(\Gamma \) is locally z-knotted for F.

Proof

Similar to the proof of Lemma 2.1. \(\square \)

The main result of this section is a description of all possibilities for the z-monodromy.

Theorem 4.4

For the z-monodromy \(M_{F}\) one of the following possibilities is realized:

  1. (M1)

    \(M_{F}\) is the identity,

  2. (M2)

    \(M_{F}=D_{F}\),

  3. (M3)

    \(M_{F}=(-e_{1},e_{2},e_{3})(-e_{3},-e_{2},e_{1})\), where \((e_{1},e_{2},e_{3})\) is one of the cycles in the permutation \(D_{F}\),

  4. (M4)

    \(M_{F}=(e_{1},-e_{2})(e_{2},-e_{1})\), where \((e_{1},e_{2},e_{3})\) is one of the cycles in \(D_{F}\) (\(e_{3}\) and \(-e_{3}\) are fixed points),

  5. (M5)

    \(M_{F}=(D_{F})^{-1}\),

  6. (M6)

    \(M_{F}=(-e_{1},e_{2},e_{3})(-e_{3},-e_{2},e_{1})\), where \((e_{1},e_{2},e_{3})\) is one of the cycles in the permutation \((D_{F})^{-1}\),

  7. (M7)

    \(M_{F}=(e_{1},e_{2})(-e_{1},-e_{2})\), where \((e_{1},e_{2},e_{3})\) is one of the cycles in \(D_{F}\) (\(e_{3}\) and \(-e_{3}\) are fixed points).

The triangulation \(\Gamma \) is locally z-knotted for F if and only if one of the cases (M1)–(M4) is realized.

In the next section, we give an example for each of the seven possibilities described in Theorem 4.4.

Lemma 4.5

The following assertions are fulfilled:

  1. (1)

    The equality \(M_{F}(e)=e'\) implies that \(M_{F}(-e')=-e\).

  2. (2)

    \(M_{F}\) is bijective.

  3. (3)

    \(M_{F}(e)\ne -e\) for every \(e\in \Omega (F)\).

  4. (4)

    The length of every cycle in the permutation \(M_{F}\) is not greater than 3.

Proof

(1) Let \(e\in \Omega (F)\). Consider \(e_{0}\in \Omega (F)\) satisfying \(D_{F}(e_{0})=e\). If Z is the zigzag containing the sequence \(e_{0},e\), then

$$\begin{aligned} e'=M_{F}(e)\; \text{ and } \;e'_{0}=D_{F}M_{F}(e) \end{aligned}$$

are the next two elements of \(\Omega (F)\) in this zigzag. Observe that \(D_{F}(-e'_{0})=-e'\). The reversed zigzag \(Z^{-1}\) contains the sequence \(-e'_{0},-e'\) and \(-e\) is the first element of \(\Omega (F)\) contained in \(Z^{-1}\) after \(-e'\). This means that \(M_{F}(-e')=-e\).

(2) It is sufficient to show that \(M_{F}\) is injective. Suppose that \(M_{F}(e)=M_{F}(e')=e''\). By (1), we have \(-e=M_{F}(-e'')=-e'\) which implies that \(e=e'\).

(3) Let e and \(e_{0}\) be as in the proof of (1). If \(M_{F}(e)=-e\), then the zigzag containing the sequence \(e_{0},e\) contains also the sequence \(-e,D_{F}(-e)\). Since \(D_{F}(-e)=-e_{0}\), this zigzag contains \(e_{0},e\) together with the reversed sequences \(-e,-e_{0}\) which is impossible.

(4) Suppose that the permutation \(M_{F}\) contains a cycle of the length greater than 3. Let \(e_1, e_2, e_3\in \Omega (F)\) be consecutive elements in this cycle. Then

$$\begin{aligned} M_{F}(e_1)=e_2,\;\;M_{F}(e_2)=e_3,\;\;M_{F}(e_{3})\ne e_{1} \end{aligned}$$

and we have \(M_{F}(e_{3})\ne -e_{3}\) by (3). Therefore, \(M_{F}(e_{3})\) is equal to \(-e_{1}\) or \(-e_{2}\). By (1), the equality \(M_{F}(e_{3})=-e_{2}\) implies that \(M_{F}(e_{2})=-e_{3}\) which is impossible. So, we have \(M_{F}(e_{3})=-e_{1}\). Then \(M_{F}(e_{1})=-e_{3}\). The latter means that \(e_{2}=-e_{3}\) which contradicts \(M_{F}(e_{2})=e_{3}\) by (3). \(\square \)

Using Lemma 4.5, we show that \(M_{F}\) is one of the permutations (M1)–(M7). Suppose that \(M_{F}\) is not the identity.

Consider the case when \(M_{F}\) contains a 3-cycle C. By (3), this cycle does not contain pairs of type \(e,-e\). This implies the existence of \(e_{1},e_{2},e_{3}\in \Omega (F)\) such that \((e_{1},e_{2},e_{3})\) is a cycle in \(D_{F}\) or \((D_{F})^{-1}\) and

$$\begin{aligned} C=(e_{1},e_{2},e_{3})\; \text{ or } \;C=(-e_{1},e_{2},e_{3}). \end{aligned}$$

Then (1) shows that

$$\begin{aligned} M_{F}=(e_{1},e_{2},e_{3})(-e_{3},-e_{2},-e_{1})\; \text{ or } \;M_{F}=(-e_{1},e_{2},e_{3})(-e_{3},-e_{2},e_{1}). \end{aligned}$$

We get the permutation (M2) or (M5) in the first case and (M3) or (M6) in the second.

If there is no 3-cycle in \(M_{F}\), then it contains a transposition T. By (3), this transposition is not of type \((e,-e)\). Then there exist \(e_{1},e_{2},e_{3}\in \Omega (F)\) such that \((e_{1},e_{2},e_{3})\) is one of the cycles in \(D_{F}\) and

$$\begin{aligned} T=(e_{1},e_{2})\; \text{ or } \;T=(e_{1},-e_{2}). \end{aligned}$$

It follows from (1) that \(M_{F}\) contains also the transposition \((-e_{1},-e_{2})\) or the transposition \((e_{2},-e_{1})\), respectively. Then (3) implies that \(M_{F}\) leaves fixed \(e_{3}\) and \(-e_{3}\). So, we get (M4) or (M7).

Lemma 4.6

The triangulation \(\Gamma \) is locally z-knotted for F if and only if \(D_{F}M_{F}\) is the composition of two distinct commuting 3-cycles.

Proof

Let \(e,e_{0}\in \Omega (F)\) and \(D_{F}(e_{0})=e\). Consider the zigzag Z containing the sequence \(e_{0},e\). If \(e',e'_{0}\in \Omega (F)\), \(D_{F}(e'_{0})=e'\) and Z contains the sequence \(e'_{0},e'\), then we write \([e',M_{F}(e')]\) for the part of Z between \(e'\) and \(M_{F}(e')\). The zigzag Z is the cyclic sequence

$$\begin{aligned} {[}e,M_{F}(e)],[D_{F}M_{F}(e),M_{F}D_{F}M_{F}(e)],\dots ,[(D_{F}M_{F})^{m-1}(e),M_{F}(D_{F}M_{F})^{m-1}(e)], \end{aligned}$$

where m is the smallest non-zero number satisfying \((D_{F}M_{F})^{m}(e)=e\). Since

$$\begin{aligned} e, D_{F}M_{F}(e),\dots , (D_{F}M_{F})^{m-1}(e) \end{aligned}$$

are mutually distinct, the same holds for

$$\begin{aligned} M_{F}(e),M_{F}D_{F}M_{F}(e),\dots , M_{F}(D_{F}M_{F})^{m-1}(e). \end{aligned}$$

Consider the sets

$$\begin{aligned} {{\mathcal {X}}}=\bigl \{e, D_{F}M_{F}(e),\dots , (D_{F}M_{F})^{m-1}(e)\bigr \} \end{aligned}$$

and

$$\begin{aligned} {{\mathcal {Y}}}=\bigl \{-M_{F}(e), -M_{F}D_{F}M_{F}(e),\dots , -M_{F}(D_{F}M_{F})^{m-1}(e)\bigr \}. \end{aligned}$$

If \(e'\) belongs to \({{\mathcal {X}}}\cap {{\mathcal {Y}}}\) and \(D_{F}(e'')=e'\), then \(D_{F}(-e')=-e''\) and Z is a cyclic sequence of type

$$\begin{aligned} \dots ,[*,e''],[e',*],\dots ,[*,-e'],[-e'',*],\dots ; \end{aligned}$$

in other words, the zigzag Z is self-reversed which is impossible. So, \({{\mathcal {X}}}\cap {{\mathcal {Y}}}=\emptyset \). This implies that \(m\le 3\) (indeed, if \(m>3\), then \({{\mathcal {X}}}\) and \({{\mathcal {Y}}}\) both contain more that three elements and have a non-empty intersection). Our zigzag

$$\begin{aligned} Z=[e_{1},M_{F}(e_{1})],\dots ,[e_{m},M_{F}(e_{m})],\;\;\;\;\;e_{i}=(D_{F}M_{F})^{i-1}(e) \end{aligned}$$

corresponds to the m-cycle \(C=(e_{1},\dots , e_{m})\) in the permutation \(D_{F}M_{F}\) and the reversed zigzag

$$\begin{aligned} Z^{-1}=[-M_{F}(e_{m}),-e_{m}],\dots ,[-M_{F}(e_{1}),-e_{1}] \end{aligned}$$

corresponds to the m-cycle

$$\begin{aligned} C'=(-M_{F}(e_{m}),\dots ,-M_{F}(e_{1})) \end{aligned}$$

(if \(m=1\), then \(e_{1}\) and \(-M_{F}(e_{1})\) both are fixed points of \(D_{F}M_{F}\)).

Suppose that \(m=3\). Then \(D_{F}M_{F}\) is the composition of the commuting 3-cycles C and \(C'\). Also, we have \(\Omega (F)={{\mathcal {X}}}\cup {{\mathcal {Y}}}\) and every element of \(\Omega (F)\) belongs to \({{\mathcal {X}}}\) or \({{\mathcal {Y}}}\). This means that \({{\mathcal {Z}}}(F)\) consists of Z and \(Z^{-1}\).

If \(m<3\), then there are elements of \(\Omega (F)\) which do not belong to \({{\mathcal {X}}}\cup {{\mathcal {Y}}}\). Such elements define zigzags distinct from Z and \(Z^{-1}\). Observe that \(D_{F}M_{F}\) does not contain 3-cycles in this case. \(\square \)

A direct verification shows that \(D_{F}M_{F}\) is the composition of two distinct commuting 3-cycles if and only if \(M_{F}\) is one of (M1)–(M4). Theorem 4.4 is proved.

Theorem 4.7

The triangulation \(\Gamma \) is z-knotted if and only if for every face F the z-monodromy \(M_{F}\) is one of (M1)–(M4).

Proof

If \(\Gamma \) is z-knotted, then it is locally z-knotted for every face F and each z-monodromy \(M_{F}\) is one of (M1)–(M4) by Theorem 4.4.

Now, we suppose that for every face F the z-monodromy \(M_{F}\) is one of (M1)–(M4). It follows from Theorem 4.4 that \(\Gamma \) is locally z-knotted for all faces. Let F be a face of \(\Gamma \) and let \({{\mathcal {Z}}}(F)=\{Z,Z^{-1}\}\). Then Z passes through each edge of F. Therefore, if \(F'\) is a face adjacent to F (i.e., intersecting F in an edge), then Z belongs to \({{\mathcal {Z}}}(F')\) by the statement (1) from Lemma 4.2. Since \(\Gamma \) is locally z-knotted for \(F'\), we have \({{\mathcal {Z}}}(F')=\{Z,Z^{-1}\}\). The same holds for every face \(F'\) of \(\Gamma \) by connectedness. \(\square \)

Remark 4.8

Suppose that the z-monodromy of a face F is (M1) or (M2) and \(Z\in {{\mathcal {Z}}}(F)\). Then Z passes through each edge of F twice in the same direction; in other words, it goes through three elements of \(\Omega (F)\) twice. These elements form a cycle in \(D_{F}\), see Fig. 7a.

Fig. 7
figure 7

Two types of faces in triangulations

In the case when the z-monodromy \(M_{F}\) is (M3) or (M4), every zigzag from \({{\mathcal {Z}}}(F)\) goes through one edge twice in the same direction and through the remaining two edges twice in opposite directions, see Fig. 7b.

Remark 4.9

There is a one-to-one correspondence between cycles of the permutation \(D_{F}M_{F}\) and zigzags belonging to \({{\mathcal {Z}}}(F)\) (see the proof of Lemma 4.6). An easy verification shows that \(|{{\mathcal {Z}}}(F)|=6\) if \(M_{F}\) is (M5) and we have \(|{{\mathcal {Z}}}(F)|=4\) if \(M_{F}\) is (M6) or (M7).

5 Examples

We describe zigzags in bipyramids and their connected sums (note that all zigzags will be presented as sequences of vertices) and give an example for each type of z-monodromy. In particular, we show that each of the z-monodromies (M1)–(M4) is realized in a z-knotted triangulation of the sphere \({{\mathbb {S}}}^{2}\).

5.1 z-Monodromy in Bipyramids

Consider the n-gonal bipyramid \(BP_n\), \(n\ge 3,\) containing an n-gon whose vertices are denoted by \(1,\dots ,n\) and connected with two disjoint vertices ab (see Fig. 8 for \(n=3\)). We describe the z-monodromy \(M_{F}\) for the face F containing the vertices a, 1, 2. For other faces the z-monodromy is the same by the symmetry.

Fig. 8
figure 8

3-gonal bipyramid

Example 5.1

(z-Monodromy of type (M3)) Suppose that \(n=2k+1\) and k is odd. If \(k=1\), then one of the zigzags is

$$\begin{aligned} a,1,2,b,3,1,a,2,3,b,1,2,a,3,1,b,2,3. \end{aligned}$$

For \(k\ge 3\) this zigzag is

$$\begin{aligned}&a,1,2,b,3,4,\dots ,a,n-2,n-1,b,n,1,a,2,3,b,\dots ,a,n-1,n, \\&\quad b,1,2,a,3,4,\dots ,b,n-2,n-1,a,n,1,b,2,3,a,\dots ,b,n-1,n. \end{aligned}$$

The zigzag passes through every edge twice and, by Lemma 2.1, the bipyramid is z-knotted. The face F appears in the zigzag as follows

$$\begin{aligned} a,1,2,\dots ,1,a,2,\dots ,1,2,a,\dots \end{aligned}$$

which determines \(M_{F}\) for three elements of \(\Omega (F)\)

$$\begin{aligned} 12\rightarrow 1a,\;\; a2\rightarrow 12,\;\; 2a\rightarrow a1. \end{aligned}$$

By the statement (1) from Lemma 4.5, we have

$$\begin{aligned} a1\rightarrow 21,\;\; 21\rightarrow 2a,\;\; 1a\rightarrow a2. \end{aligned}$$

Let \(e_{1}=12\), \(e_{2}=2a\), \(e_{3}=a1\). Then \((e_{1},e_{2},e_{3})\) is one of the 3-cycles in \(D_{F}\). A simple verification shows that

$$\begin{aligned} M_{F}=(-e_{1},e_{2},e_{3})(-e_{3},-e_{2},e_{1}) \end{aligned}$$

is of type (M3).

Example 5.2

(z-Monodromy of type (M4)) Suppose that \(n=2k+1\) and k is even. If \(k=2\), then one of the zigzags is

$$\begin{aligned} a,1,2,b,3,4,a,5,1,b,2,3,a,4,5, b,1,2,a,3,4,b,5,1,a,2,3,b,4,5. \end{aligned}$$

For \(k\ge 4\) we have

$$\begin{aligned}&a,1,2,b,3,4,a,\dots ,b,n-2,n-1,a,n,1,b,2,3,a,\dots ,a,n-1,n, \\&\quad b,1,2,a,3,4,b,\dots ,a,n-2,n-1,b,n,1,a,2,3,b,\dots ,b,n-1,n. \end{aligned}$$

As in the previous example, this zigzag passes through every edge twice and the bipyramid is z-knotted. Let \(e_{1}=2a\), \(e_{2}=a1\), \(e_{3}=12\). Then \((e_{1},e_{2},e_{3})\) is one of the 3-cycles in \(D_{F}\). The face F appears in the zigzag as follows

$$\begin{aligned} a,1,2,\dots ,1,2,a,\dots ,1,a,2,\dots \end{aligned}$$

which implies that \(M_{F}\) leaves fixed \(e_{3}\) and transfers \(e_{1}\) to \(-e_{2}\) and \(-e_{1}\) to \(e_{2}\). Using the statement (1) from Lemma 4.5, we establish that

$$\begin{aligned} M_{F}=(e_{1},-e_{2})(e_{2},-e_{1}) \end{aligned}$$

is of type (M4).

Example 5.3

(z-Monodromy of type (M5)) Suppose that \(n=2k\) and k is even. In the case when \(k=2\), we get the octahedron whose zigzags are simple. Assume that \(k\ge 4\). The set \({{\mathcal {Z}}}(F)\) contains precisely 8 zigzags:

  • \(a,1,2,b,3,4,\dots ,b,n-1,n\)

  • \(b,1,2,a,3,4,\dots ,a,n-1,n\)

  • \(1,a,2,3,b,\dots ,a,n-2,n-1,b,n\)

  • \(1,b,2,3,a,\dots ,b,n-2,n-1,a,n\)

and their reverses. These zigzags are not simple, but they are edge-simple. By Example 4.1, the z-monodromy of every face is of type (M5).

Example 5.4

(z-Monodromy of type (M7)). Suppose that \(n=2k\) and k is an odd number greater than 1. Then \({{\mathcal {Z}}}(F)\) is formed by the following two zigzags

$$\begin{aligned} a,1,2,b,3,4,\dots ,a,n-1,n,b,1,2,a,3,4,\dots ,b,n-1,n \end{aligned}$$

and

$$\begin{aligned} 1,a,2,3,\dots ,b,n-2,n-1,a,n,1,b,2,3,\dots ,a,n-2,n-1,b,n \end{aligned}$$

and their reverses. As in Example 5.2, we take \(e_{1}=2a\), \(e_{2}=a1\), \(e_{3}=12\). Then \((e_{1},e_{2},e_{3})\) is one of the 3-cycles in \(D_{F}\). The face F appears in the zigzags as follows

$$\begin{aligned} a,1,2,\dots ,1,2,a,\dots \; \text{ and } \;1,a,2,\dots \end{aligned}$$

which implies that \(M_{F}\) leaves fixed \(e_{3}\) and transfers \(e_{1}\) to \(e_{2}\) and \(-e_{1}\) to \(-e_{2}\). By the statement (1) from Lemma 4.5,

$$\begin{aligned} M_{F}=(e_{1},e_{2})(-e_{1},-e_{2}) \end{aligned}$$

is of type (M7).

5.2 z-Monodromy in the Connected Sums of Bipyramids

Let \(BP_{n}\) be as in the previous subsection. Consider another bipyramid \(BP_{n'}\), where the vertices of the \(n'\)-gon are denoted by \(1',\dots ,n'\) and we write \(a',b'\) for the remaining two vertices. Let S and \(S'\) be the faces of the bipyramids containing the vertices a, 1, 2 and \(a',1',2'\), respectively. We describe the z-monodromies for some faces in the connected sums \(BP_{n} \#_{g} BP_{n'}\), where \(g:\partial S\rightarrow \partial S'\) is a special homeomorphism. One of these sums for \(n=n'=3\) is presented in Fig. 9.

Fig. 9
figure 9

Connected sum of two 3-gonal bipyramids with a face whose z-monodromy is of type (M2)

Example 5.5

(z-Monodromy of type (M2)). Suppose that \(n=2k+1\) and \(n'=2k'+1\), where k and \(k'\) are odd. Let \(\Gamma \) be the connected sum \(BP_{n} \#_{g} BP_{n'}\), where \(g:\partial S\rightarrow \partial S'\) satisfies

$$\begin{aligned} g(a)=a',\;\;g(1)=1',\;\;g(2)=2' \end{aligned}$$

(see Fig. 9 for \(n=n'=3\)). The zigzag of \(BP_{n}\) considered in Example 5.1 can be presented as the cyclic sequence ABC, where

$$\begin{aligned} A=\{1, 2, b, \dots , 1, a\},\;\;B=\{a, 2, \dots , b, 1, 2\},\;\;C=\{2, a,\dots , 1, b, 2, \dots , a, 1\} \end{aligned}$$

are parts of the zigzag between two edges of the face S. Note that any two consecutive parts have the same vertex (for example, the parts A and B are joined in the vertex a). Similarly, one of the two zigzags of \(BP_{n'}\) is the cyclic sequence \(A',B',C'\), where

$$\begin{aligned} A'=\{1', 2', \dots , 1', a'\},\;\;B'=\{a', 2', \dots , 1', 2'\},\;\;C'=\{2', a',\dots , a', 1'\}. \end{aligned}$$

Consider the cyclic sequence

$$\begin{aligned} A, C'^{-1}, B, A', C^{-1}, B', \end{aligned}$$

where for any two consecutive parts XY the last edge from X is identified with the first edge from Y. A direct verification shows that this is a zigzag in \(\Gamma \). This zigzag passes through each edge of \(\Gamma \) twice (since it is obtained from a zigzag of \(BP_{n}\) passing through all edges of \(BP_{n}\) twice and a zigzag of \(BP_{n'}\) satisfying the same condition). Lemma 2.1 implies that \(\Gamma \) is z-knotted. Let F be the face of \(\Gamma \) containing the vertices b, 1, 2 and let \(e_{1}=12\), \(e_{2}=2b\), \(e_{3}=b1\). Since this face appears in the zigzag as follows

$$\begin{aligned} 1, 2, b, \dots , b, 1, 2, \dots , 2, b, 1, \dots , \end{aligned}$$

the z-monodromy \(M_{F}\) contains the 3-cycle \((e_{1},e_{2},e_{3})\). By the statement (1) from Lemma 4.5,

$$\begin{aligned} M_{F}=(e_{1},e_{2},e_{3})(-e_{3},-e_{2},-e_{1})=D_{F} \end{aligned}$$

is of type (M2).

Example 5.6

(z-Monodromy of type (M1)). Suppose that \(n=2k\) and \(n'=2k'\), where k and \(k'\) are odd number greater than 1. Denote by \(\Gamma \) the connected sum \(BP_{n} \#_{g} BP_{n'}\), where \(g:\partial S\rightarrow \partial S'\) satisfies

$$\begin{aligned} g(a)=2',\;\;g(1)=a',\;\;g(2)=1'. \end{aligned}$$

By Example 5.4, the set \({{\mathcal {Z}}}(S)\) is formed by the zigzags

$$\begin{aligned} a,1,2,b,3,4,\dots ,a,n-1,n,b,1,2,a,3,4,\dots ,b,n-1,n \end{aligned}$$

and

$$\begin{aligned} 1,a,2,3,\dots ,b,n-2,n-1,a,n,1,b,2,3,\dots ,a,n-2,n-1,b,n \end{aligned}$$

and their reverses. The first zigzag is the cyclic sequence AB, where

$$\begin{aligned} A=\{1, 2, \dots , 1, 2\}\; \text{ and } \;B=\{2, a, 3, \dots , n,a, 1\} \end{aligned}$$

are parts of the zigzag between two edges of the face S (A is joined with B in the vertex 2 and B is joined with A in the vertex 1). The second zigzag passes once through the edges a1 and a2, and it does not contain the edge 12. We rewrite this zigzag as

$$\begin{aligned} C=\{a, 2, 3,\dots , 2, 3, a, \dots , n,1, a\}. \end{aligned}$$

Similarly, \({{\mathcal {Z}}}(S')\) consists of four zigzags: one of them is \(A', B'\), the second is \(C'\), where

$$\begin{aligned} A'=\{1', 2', \dots , 1', 2'\},\;\;B'=\{2', a', \dots ,a', 1'\},\;\;C'=\{a', 2',\dots ,1', a'\}, \end{aligned}$$

and the remaining two zigzags are their reverses. Then

$$\begin{aligned} A, C'^{-1}, C^{-1}, A', B, B' \end{aligned}$$

(as in the previous example, for any two consecutive parts XY the last edge from X is identified with the first edge from Y) is a zigzag in \(\Gamma \). This zigzag passes through all edges of \(\Gamma \) twice (indeed, the sequence ABC contains every edge of \(BP_{n}\) twice and \(A',B',C'\) contains every edge of \(BP_{n'}\) twice). Therefore, \(\Gamma \) is z-knotted. Let F be the face of \(\Gamma \) containing the vertices a, 2, 3. This face appears in the zigzag as follows

$$\begin{aligned} \dots , a, 3, 2, \dots , 3, 2, a, \dots , 2, a, 3, \dots \end{aligned}$$

which implies that \(M_{F}\) is the identity.

Example 5.7

(z-Monodromy of type (M6)) As in Example 5.5, we suppose that \(n=2k+1\) and \(n'=2k'+1\), where k and \(k'\) are odd. Consider the connected sum \(BP_{n} \#_{g} BP_{n'}\), where \(g:\partial S\rightarrow \partial S'\) satisfies

$$\begin{aligned} g(a)=1',\;\;g(1)=2',\;\;g(2)=a' \end{aligned}$$

(see Fig. 10 for \(n=n'=3\)). Note that this graph is not isomorphic to the graph from Example 5.5.

Fig. 10
figure 10

Connected sum of two 3-gonal bipyramids with a face whose z-monodromy is of type (M6)

Recall that the single zigzags (up to reversing) in \(BP_{n}\) and \(BP_{n'}\) are the cyclic sequences ABC and \(A',B',C'\) (respectively), where

$$\begin{aligned} A= & {} \{1, 2, b, \dots , 1, a\},\;\;B=\{a, 2, \dots , b, 1, 2\},\;\;C=\{2, a,\dots , 1, b, 2, \dots , a, 1\}, \\ A'= & {} \{1', 2', \dots , 1', a'\},\;\;B'=\{a', 2', \dots ,1', 2',\},\;\;C'=\{2', a',\dots , a', 1'\}. \end{aligned}$$

The cyclic sequences

$$\begin{aligned} A, B'^{-1}\;\text { and }\; B, C', C, A' \end{aligned}$$

define zigzags in \(BP_{n} \#_{g} BP_{n'}\) (the corresponding edges in consecutive parts are identified). Let F be the face of the connected sum which contains the vertices b, 1, 2 and let \(e_{1}=b1\), \(e_{2}=2b\), \(e_{3}=12\). Then \((e_{1},e_{2},e_{3})\) is one of the 3-cycles in \((D_{F})^{-1}\). The face F appears in the zigzags as follows

$$\begin{aligned} 1, 2, b, \dots \; \text{ and } \;\dots , b, 1, 2, \dots , 1, b, 2, \dots \end{aligned}$$

which determines \(M_{F}\) on three elements of \(\Omega (F)\)

$$\begin{aligned} e_{2}\rightarrow e_{3},\;\; e_{3}\rightarrow -e_{1},\;\; -e_{2}\rightarrow e_{1}. \end{aligned}$$

The statement (1) from Lemma 4.5 implies that

$$\begin{aligned} -e_{3}\rightarrow -e_{2},\;\; e_{1}\rightarrow -e_{3},\;\; -e_{1}\rightarrow e_{2}. \end{aligned}$$

Therefore,

$$\begin{aligned} M_{F}=(-e_{1},e_{2},e_{3})(-e_{3},-e_{2},e_{1}) \end{aligned}$$

is of type (M6).

6 Gluing Lemma

Let \(\Gamma \) and \(\Gamma '\) be triangulations. Let also F and \(F'\) be faces in \(\Gamma \) and \(\Gamma '\), respectively. Every special homeomorphism \(g:\partial F \rightarrow \partial F'\) induces a bijection between \(\Omega (F)\) and \(\Omega (F')\) which also will be denoted by g and which sends every oriented edge xy to the oriented edge g(x)g(y). The following properties of the bijection \(g:\Omega (F)\rightarrow \Omega (F')\) are obvious:

  • \(g(-e)=-g(e)\) for every \(e\in \Omega (F)\),

  • \(gD_{F}g^{-1}=D_{F'}\).

A face S in a triangulation is said to be essential if every zigzag of this triangulation contains an edge from this face, or equivalently, every zigzag belongs to \({{\mathcal {Z}}}(S)\). It is clear that all faces in z-knotted triangulations are essential. Also, every face in a tetrahedron is essential.

Lemma 6.1

The following assertions are fulfilled:

  1. (1)

    Suppose that F and \(F'\) are essential faces. Then the connected sum \(\Gamma \#_{g} \Gamma '\) is z-knotted if and only if \(gM_{F}g^{-1}M_{F'}\) is the composition of two distinct commuting 3-cycles.

  2. (2)

    Suppose that \(\Gamma '\) is z-knotted and \(gM_{F}g^{-1}M_{F'}\) is the composition of two distinct commuting 3-cycles. Then \(\Gamma \#_{g} \Gamma '\) contains a zigzag Z such that \({{\mathcal {Z}}}(S)=\{Z,Z^{-1}\}\) for every face S in \(\Gamma \#_{g} \Gamma '\) corresponding to a face of \(\Gamma '\) distinct from \(F'\).

Proof

For every \(e\in \Omega (F)\) we consider the zigzag of \(\Gamma \) containing the sequence \((D_F)^{-1}(e),e\) and \(M_{F}(e)\) (see the definition of z-monodromy). As in the proof of Lemma 4.6, we write \([e,M_{F}(e)]\) for the part of this zigzag between e and \(M_{F}(e)\). Let \({{\mathcal {X}}}\) be the set of all \([e,M_{F}(e)]\), where \(e\in \Omega (F)\). This set consists of 6 elements, and for every \(X\in {{\mathcal {X}}}\) the reversed path \(X^{-1}\) also belongs to \({{\mathcal {X}}}\) (indeed, for \(X=[e,M_{F}(e)]\) we have \(X^{-1}=[e',M_{F}(e')]\), where \(e'=-M_{F}(e)\)).

Similarly, we denote by \({{\mathcal {X}}}'\) the set of all \([e,M_{F'}(e)]\), where \(e\in \Omega (F')\) (note that the elements of \({{\mathcal {X}}}'\) are contained in zigzags of \(\Gamma '\)).

Let \(e\in \Omega (F')\). Consider the cyclic sequence

$$\begin{aligned} \begin{array}{c} [e,M_{F'}(e)],[g^{-1}M_{F'}(e), M_{F}g^{-1}M_{F'}(e)], \\ \bigl [gM_{F}g^{-1}M_{F'}(e),M_{F'}(gM_{F}g^{-1}M_{F'})(e)\bigr ], \\ \vdots \\ \bigl [g^{-1}M_{F'}(gM_{F}g^{-1}M_{F'})^{m-1}(e),M_{F}g^{-1}M_{F'}(gM_{F}g^{-1}M_{F'})^{m-1}(e)\bigr ], \end{array} \end{aligned}$$

where m is the smallest non-zero number satisfying

$$\begin{aligned} (gM_{F}g^{-1}M_{F'})^{m}(e)=e. \end{aligned}$$

In fact, this is a cyclic sequence

$$\begin{aligned} X'_{1},X_{1},\dots ,X'_{m},X_{m}, \end{aligned}$$

where all \(X_{i}\) belong to \({{\mathcal {X}}}\) and every \(X'_{i}\) is an element of \({{\mathcal {X}}}'\). As in the examples from the previous section, for any two consecutive parts \(A,B\in {{\mathcal {X}}}\cup {{\mathcal {X}}}'\) in this sequence we identify the last edge from A with the first edge from B and get a zigzag in the connected sum \(\Gamma \#_{g} \Gamma '\). We denote this zigzag by Z(e). We have

$$\begin{aligned} X_{i}\ne X^{-1}_{j}\; \text{ and } \;X'_{i}\ne X'^{-1}_{j} \end{aligned}$$

for any pair \(i,j\in \{1,\dots ,m\}\) (otherwise, the zigzag Z(e) is self-reversed which is impossible). This implies that \(m\le 3\).

The zigzag Z(e) corresponds to an m-cycle in the permutation \(gM_{F}g^{-1}M_{F'}\) and the reversed zigzag \(Z(e)^{-1}\) is the cyclic sequence

$$\begin{aligned} X^{-1}_{m},X'^{-1}_{m},\dots ,X^{-1}_{1},X'^{-1}_{1} \end{aligned}$$

related to a different m-cycle in this permutation. Note that \(Z(e)^{-1}\) coincides with \(Z(e')\) for a certain \(e'\in \Omega (F')\). As in the proof of Lemma 4.6, we establish that the following two conditions are equivalent:

  1. (A)

    the permutation \(gM_{F}g^{-1}M_{F'}\) is the composition of two distinct commuting 3-cycles,

  2. (B)

    for any \(e,e'\in \Omega (F')\) the zigzag \(Z(e')\) coincides with Z(e) or \(Z(e)^{-1}\).

Now, we prove the statements (1) and (2).

(1) If the faces F and \(F'\) both are essential, then every zigzag of \(\Gamma \) or \(\Gamma '\) contains an edge from F or \(F'\) (respectively). This implies that every zigzag in the connected sum \(\Gamma \#_{g} \Gamma '\) is of type Z(e), where \(e\in \Omega (F')\). Then (B) will be equivalent to the z-knottedness of the connected sum.

(2) Suppose that \(\Gamma '\) is z-knotted and the condition (A) holds. Then (B) also holds true and we assert that the zigzag \(Z=Z(e)\), \(e\in \Omega (F')\) is as required.

The triangulation \(\Gamma '\) contains a single pair of zigzags \(Z',Z'^{-1}\). As in the proof of Lemma 4.6, we have

$$\begin{aligned} Z'=X'_{1},X'_{2},X'_{3}\; \text{ and } \; Z'^{-1}=X'^{-1}_{3},X'^{-1}_{2},X'^{-1}_{1}, \end{aligned}$$

where \(X'_{1},X'_{2},X'_{3},X'^{-1}_{1},X'^{-1}_{2},X'^{-1}_{3}\) are mutually distinct elements of \({{\mathcal {X}}}'\), in other words, the set \({{\mathcal {X}}}'\) is formed by these elements. The condition (B) guarantees that every \(X'\in {{\mathcal {X}}}'\) is contained in Z or \(Z^{-1}\).

By Lemma 2.1, each of the zigzags \(Z',Z'^{-1}\) passes through every edge of \(\Gamma '\) twice. This implies that each of the zigzags \(Z,Z^{-1}\) also passes through every edge of \(\Gamma '\) twice. Using arguments from the proof of Lemma 2.1, we show that there is no other zigzag of \(\Gamma \#_{g} \Gamma '\) containing edges from \(\Gamma '\). Therefore, \({{\mathcal {Z}}}(S)=\{Z,Z^{-1}\}\) for every face \(S\ne F'\) of \(\Gamma '\) considered as a face of the connected sum \(\Gamma \#_{g} \Gamma '\). \(\square \)

7 Proof of Theorem 3.1

Let \(\Gamma \) be a triangulation that is not locally z-knotted for a certain face F.

Lemma 7.1

There is a z-knotted triangulation \(\Gamma '\) of the sphere \({{\mathbb {S}}}^{2}\) and a face \(F'\) in this triangulation such that \(gM_{F}g^{-1}M_{F'}\) is the composition of two distinct commuting 3-cycles for a certain special homeomorphism \(g:\partial F\rightarrow \partial F'\).

Proof

By Theorem 4.4, the z-monodromy \(M_{F}\) is one of (M5)–(M7).

Suppose that \(M_{F}\) is (M5) or (M6). Then it is the composition of two distinct commuting 3-cycles. Let us take a z-knotted triangulation \(\Gamma '\) of \({{\mathbb {S}}}^{2}\) containing a face \(F'\) such that \(M_{F'}\) is the identity, for example, the triangulation from Example 5.6. Then

$$\begin{aligned} gM_{F}g^{-1}M_{F'}=gM_{F}g^{-1} \end{aligned}$$

is the composition of two distinct commuting 3-cycles for every special homeomorphism \(g:\partial F\rightarrow \partial F'\).

Consider the case when \(M_{F}\) is (M7), i.e.,

$$\begin{aligned} M_{F}=(e_{1},e_{2})(-e_{1},-e_{2}), \end{aligned}$$

where \((e_{1},e_{2},e_{3})\) is one of the cycles in \(D_{F}\) and \(e_{3},-e_{3}\) are fixed points. Let \(\Gamma '\) be the bipyramid \(BP_{2k+1}\), where k is odd. For every face \(F'\) of \(\Gamma '\) we have

$$\begin{aligned} M_{F'}=\left( -e'_{1},e'_{2},e'_{3}\right) \left( -e'_{3},-e'_{2},e'_{1}\right) , \end{aligned}$$

where \((e'_{1},e'_{2},e'_{3})\) is one of the cycles in the permutation \(D_{F'}\), see Example 5.1. There is a special homeomorphism \(g:\partial F\rightarrow \partial F'\) satisfying \(g(e_{i})=e'_{i}\) for every i. A direct verification shows that \(gM_{F}g^{-1}M_{F'}\) is the composition of two distinct commuting 3-cycles. \(\square \)

Let \(\Gamma '\), \(F'\) and \(g:\partial F\rightarrow \partial F'\) be as in Lemma 7.1. By the statement (2) from Lemma 6.1, the connected sum \(\Gamma \#_{g} \Gamma '\) contains a zigzag Z such that \({{\mathcal {Z}}}(S)=\{Z,Z^{-1}\}\) for every face S in \(\Gamma \#_{g} \Gamma '\) corresponding to a face of \(\Gamma '\) distinct from \(F'\). Therefore, \(\Gamma \#_{g} \Gamma '\) is locally z-knotted for all faces of \(\Gamma '\) distinct from \(F'\).

Lemma 7.2

Suppose that S is a face of \(\Gamma \) distinct from F. If \(\Gamma \) is locally z-knotted for S, then \(\Gamma \#_{g} \Gamma '\) also is locally z-knotted for S.

Proof

Let \(Z_{S}, (Z_{S})^{-1}\) be a unique pair of zigzags in \(\Gamma \) containing edges of S. By Lemma 4.3, each of these zigzags passes through every edge of S twice.

If \(Z_{S}\) and \((Z_{S})^{-1}\) do not contain any edge from F, then they are zigzags in \(\Gamma \#_{g} \Gamma '\), and the connected sum is locally z-knotted for S by Lemma 4.3.

If \(Z_{S}\) and \((Z_{S})^{-1}\) contain some edges of F, then they belong to \({{\mathcal {Z}}}(F)\). In the proof of Lemma 6.1, we consider the set \({{\mathcal {X}}}\) formed by all parts of the zigzags from \({{\mathcal {Z}}}(F)\) between \(e\in \Omega (F)\) and \(M_{F}(e)\). Recall that every \(X\in {{\mathcal {X}}}\) is contained in Z or \(Z^{-1}\). Since \(Z_{S}\) and \((Z_{S})^{-1}\) belong to \({{\mathcal {Z}}}(F)\), they are cyclic sequences formed by at most three elements of \({{\mathcal {X}}}\). Each of \(Z_{S}, (Z_{S})^{-1}\) passes through every edge of S twice and the same holds for Z and \(Z^{-1}\). Lemma 4.3 implies that \(\Gamma \#_{g} \Gamma '\) is locally z-knotted for S. \(\square \)

So, the connected sum \(\Gamma \#_{g} \Gamma '\) has the following properties:

  1. (1)

    it is locally z-knotted for all faces of \(\Gamma '\) distinct from \(F'\),

  2. (2)

    if \(\Gamma \) is locally z-knotted for a face \(S\ne F\), then \(\Gamma \#_{g} \Gamma '\) is locally z-knotted for S.

If \(\Gamma \#_{g} \Gamma '\) is not locally z-knotted for a face T, then T is a face of \(\Gamma \) by (1). We apply the above arguments to the face T in \(\Gamma \#_{g} \Gamma '\). Using (2), we construct recursively a shredding of \(\Gamma \) which is locally z-knotted for every face. By Theorem 4.7, this shredding is z-knotted.

Suppose that \(\Gamma \) contains precisely 2m zigzags, i.e., m zigzags up to reversing. If \(\Gamma \) is not locally z-knotted for a face F, then \({{\mathcal {Z}}}(F)\) contains two or three zigzags up to reversing (Remark 4.9). Using the corresponding connected sum, we replace these zigzags by one zigzag and come to a triangulation with \(m-1\) or \(m-2\) zigzags up to reversing. So, we need at most \(m-1\) times to get a z-knotted shredding of \(\Gamma \).

8 Connected Sums of z-Knotted Triangulations

By Theorem 4.4, there are precisely four types of faces in z-knotted triangulations. The corresponding z-monodromies are (M1)–(M4). In [8], these four types were described without z-monodromy. The main result of [8] determines all cases when the connected sum of two z-knotted triangulations is z-knotted. The proof given in [8] was a long case-by-case verification. Now, this result will be presented as a simple consequence of the statement (1) from Lemma 6.1.

Theorem 8.1

Let \(\Gamma \) and \(\Gamma '\) be z-knotted triangulations. Then the following assertions are fulfilled:

  1. (1)

    If F is a face in \(\Gamma \) such that \(M_{F}=D_{F}\) (type (M2)), then for every face \(F'\) in \(\Gamma '\) and every special homeomorphism \(g:\partial F \rightarrow \partial F'\) the connected sum \(\Gamma \#_{g} \Gamma '\) is z-knotted.

  2. (2)

    Suppose that F is a face in \(\Gamma \) and \(M_{F}\) is the identity (type (M1)). If \(F'\) is a face in \(\Gamma '\) such that the connected sum \(\Gamma \#_{g} \Gamma '\) is z-knotted for a certain special homeomorphism \(g:\partial F \rightarrow \partial F'\), then \(M_{F'}\) is \(D_{F'}\) or (M3). In these cases, the connected sum \(\Gamma \#_{g} \Gamma '\) is z-knotted for every special homeomorphism \(g:\partial F \rightarrow \partial F'\).

  3. (3)

    If F is a face in \(\Gamma \), \(F'\) is a face in \(\Gamma '\) and \(M_{F},M_{F'}\) are (M3) or (M4), then there is a special homeomorphism \(g:\partial F \rightarrow \partial F'\) such that the connected sum \(\Gamma \#_{g} \Gamma '\) is z-knotted.

Proof

Recall that every special homeomorphism \(g:\partial F \rightarrow \partial F'\) induces a bijection of \(\Omega (F)\) to \(\Omega (F')\). This bijection is also denoted by g.

(1) It is easy to see that \(gD_{F}g^{-1}=D_{F'}\). Therefore, \(M_{F}=D_{F}\) implies that

$$\begin{aligned} gM_{F}g^{-1}M_{F'}=D_{F'}M_{F'} \end{aligned}$$

for every special homeomorphism \(g:\partial F \rightarrow \partial F'\). Since \(\Gamma '\) is z-knotted, \(D_{F'}M_{F'}\) is the composition of two distinct commuting 3-cycles (Lemma 4.6). The statement (1) from Lemma 6.1 implies that the connected sum \(\Gamma \#_{g}\Gamma '\) is z-knotted.

(2) If \(M_{F}\) is the identity, then

$$\begin{aligned} gM_{F}g^{-1}M_{F'}=M_{F'} \end{aligned}$$

for every special homeomorphism \(g:\partial F \rightarrow \partial F'\). We get the composition of two distinct commuting 3-cycles only in the case when \(M_{F'}\) is \(D_{F'}\) or (M3).

(3) Suppose that \(M_{F}\) and \(M_{F'}\) both are (M3), i.e.,

$$\begin{aligned} M_{F}=(-e_{1},e_{2},e_{3})(-e_{3},-e_{2},e_{1})\; \text{ and } \; M_{F'}=(-e'_{1},e'_{2},e'_{3})(-e'_{3},-e'_{2},e'_{1}), \end{aligned}$$

where \((e_{1},e_{2},e_{3})\) and \((e'_{1},e'_{2},e'_{3})\) are 3-cycles in \(D_{F}\) and \(D_{F'}\), respectively. There exists a special homeomorphism \(g:\partial F \rightarrow \partial F'\) which transfers \(e_{1},e_{2},e_{3}\) to \(e'_{1},e'_{2},e'_{3}\) (respectively). Then \(gM_{F}g^{-1}=M_{F'}\) and

$$\begin{aligned} gM_{F}g^{-1}M_{F'}=(M_{F'})^2=(M_{F'})^{-1} \end{aligned}$$

is the composition of two distinct commuting 3-cycles.

Consider the case when F and \(F'\) both are (M4), i.e.,

$$\begin{aligned} M_{F}=(e_{1},-e_{2})(e_{2},-e_{1})\; \text{ and } \; M_{F'}=(e'_{1},-e'_{2})(e'_{2},-e'_{1}) \end{aligned}$$

where \((e_{1},e_{2},e_{3})\) and \((e'_{1},e'_{2},e'_{3})\) are 3-cycles in \(D_{F}\) and \(D_{F'}\), respectively. We take a special homeomorphism \(g:\partial F \rightarrow \partial F'\) transferring \(e_{1},e_{2},e_{3}\) to \(e'_{3},e'_{1},e'_{2}\) (respectively). Then

$$\begin{aligned} gM_{F}g^{-1}=(e'_{1},-e'_{3})(e'_{3},-e'_{1}) \end{aligned}$$

and

$$\begin{aligned} gM_{F}g^{-1}M_{F'}=(-e'_{1},e'_{2},e'_{3})(e'_{1},-e'_{2},-e'_{3}) \end{aligned}$$

is the composition of two distinct commuting 3-cycles.

Suppose that F is (M4) and \(F'\) is (M3), i.e.,

$$\begin{aligned} M_{F}=(e_{1},-e_{2})(e_{2},-e_{1})\; \text{ and } \; M_{F'}=(-e'_{1},e'_{2},e'_{3})(-e'_{3},-e'_{2},e'_{1}), \end{aligned}$$

where \((e_{1},e_{2},e_{3})\) and \((e'_{1},e'_{2},e'_{3})\) are 3-cycles in \(D_{F}\) and \(D_{F'}\), respectively. There is a special homeomorphism \(g:\partial F \rightarrow \partial F'\) sending \(e_{1},e_{2},e_{3}\) to \(e'_{2},e'_{3},e'_{1}\) (respectively). Then

$$\begin{aligned} gM_{F}g^{-1}=(e'_{2}, -e'_{3})(e'_{3}, -e'_{2}) \end{aligned}$$

and

$$\begin{aligned} gM_{F}g^{-1}M_{F'}=(e'_{1},e'_{2},-e'_{2})(-e'_{1},-e'_{3},e'_{3}) \end{aligned}$$

is the composition of two distinct commuting 3-cycles.

In each of these three cases, the connected sum \(\Gamma \#_{g}\Gamma '\) is z-knotted by the statement (1) from Lemma 6.1. \(\square \)