1:
2: \section{Main Results} \label{s-main}
3:
4: Equipped with the preliminary results of Section~\ref{s-prelim}, we can
5: begin to prove our main results involving face pairing graphs and
6: minimal triangulations. These results can be split into two categories.
7: In Section~\ref{s-mainstruct} we use face pairing graphs to derive
8: structural properties of the corresponding triangulations.
9: Section~\ref{s-mainbadgraphs} on the other hand establishes properties
10: of the face pairing graphs themselves.
11:
12: \subsection{Structural Properties of Triangulations} \label{s-mainstruct}
13:
14: Recall from Definition~\ref{d-facepairinggraph} that each edge within a
15: face pairing graph corresponds to a pair of tetrahedron faces that are
16: identified in a triangulation. A triangulation cannot be entirely
17: reconstructed from its face pairing graph however, since each pair of
18: faces can be identified in one of six different ways (three possible
19: rotations and three possible reflections).
20:
21: In this section we identify certain subgraphs within face pairing
22: graphs and deduce information about the specific rotations and
23: reflections under which the corresponding tetrahedron faces are
24: identified.
25:
26: A key structure that appears frequently within minimal triangulations
27: and is used throughout the following results is the layered solid torus.
28: Layered solid tori have been discussed in a variety of informal contexts
29: by Jaco and Rubinstein. They appear in \cite{0-efficiency} and are
30: treated thoroughly by these authors in \cite{layeredlensspaces}.
31: Analogous constructs involving special spines of
32: 3-manifolds have been described in detail by Matveev \cite{matveev6} and
33: by Martelli and Petronio \cite{italianfamilies}.
34:
35: In order to describe the construction of a layered solid torus we introduce
36: the process of layering.
37: Layering is a transformation that, when applied to a triangulation with
38: boundary, does not change the underlying 3-manifold but does change the
39: curves formed by the boundary edges of the triangulation.
40:
41: \begin{defn}[Layering] \label{d-layer}
42: Let $T$ be a triangulation with boundary and let $e$ be one of its
43: boundary edges. To {\em layer a tetrahedron on edge $e$}, or just
44: to {\em layer on edge $e$}, is to take
45: a new tetrahedron $\Delta$, choose two of its faces and identify them
46: with the two boundary faces on either side of
47: $e$ without twists. This procedure is
48: illustrated in Figure~\ref{fig-layering}.
49:
50: \begin{figure}[htb]
51: \psfrag{e}{{\small $e$}}
52: \psfrag{f}{{\small $f$}}
53: \psfrag{T}{{\small $\Delta$}}
54: \psfrag{M}{{\small $T$}}
55: \centerline{\includegraphics[width=5.5cm]{layering.eps}}
56: \caption{Layering a tetrahedron on a boundary edge}
57: \label{fig-layering}
58: \end{figure}
59: \end{defn}
60:
61: Note that layering on a boundary edge does not change the underlying
62: 3-manifold; the only effect is to thicken the boundary around edge
63: $e$. Note furthermore that edge $e$ is no longer a boundary edge, and
64: instead edge $f$ (which in general represents a different curve on
65: the boundary of the 3-manifold) has been added as a new boundary edge.
66:
67: \begin{defn}[Layered Solid Torus] \label{d-lst}
68: A {\em standard layered solid torus} is a triangulation of a solid torus
69: formed as follows. We begin with the {\mobius} band illustrated in
70: Figure~\ref{fig-layermobius}, where the two edges marked $e$ are
71: identified according to the arrows and where edge $g$ is a boundary edge.
72: If we thicken this \mobius\ band slightly, we can imagine it as a
73: solid torus with two boundary faces, one on each side of the
74: {\mobius} band.
75:
76: \begin{figure}[htb]
77: \psfrag{e}{{\small $e$}} \psfrag{f}{{\small $f$}} \psfrag{g}{{\small $g$}}
78: \centerline{\includegraphics[scale=0.7]{layermobius.eps}}
79: \caption{A one-triangle \mobius\ band}
80: \label{fig-layermobius}
81: \end{figure}
82:
83: We make an initial layering upon one of the boundary edges
84: corresponding to edge $e$. This results in a one-tetrahedron
85: triangulation of a solid torus as illustrated in
86: Figure~\ref{fig-layermobiusstandard}.
87: The new tetrahedron in the illustration is sliced in half; this tetrahedron
88: in fact sits on top of the {\mobius} band, runs off the diagram to the
89: right and returns from the left to simultaneously sit beneath the
90: {\mobius} band.
91:
92: \begin{figure}[htb]
93: \psfrag{e}{{\small $e$}} \psfrag{g}{{\small $g$}}
94: \centerline{\includegraphics[scale=0.7]{layermobiusstandard.eps}}
95: \caption{A one-tetrahedron standard layered solid torus}
96: \label{fig-layermobiusstandard}
97: \end{figure}
98:
99: We then perform some number of additional layerings upon boundary
100: edges, one at a time. We may layer as many times we like or we may
101: make no additional layerings at all. There are thus infinitely many
102: different standard layered solid tori that can be constructed.
103:
104: Note that a {\em non-standard layered solid torus} can be formed by
105: making the initial layering upon edge $g$ of the {\mobius} band
106: instead of edge $e$, and that the {\mobius} band itself can be considered
107: a {\em degenerate layered solid torus} involving no layerings at all.
108: Such structures however are not considered here.
109: \end{defn}
110:
111: We can observe that each layered solid torus has two boundary faces
112: and represents the same underlying 3-manifold, i.e., the solid torus.
113: What distinguishes the different layered solid tori
114: is the different patterns of curves that their boundary edges
115: make upon the boundary torus.
116:
117: We return now to structures within face pairing graphs. In particular
118: we take an interest in chains within face pairing graphs, as defined
119: below.
120:
121: \begin{defns}[Chain]
122: A {\em chain of length $k$} is the multigraph formed as
123: follows. Take $k+1$ vertices labelled $0,1,2,\ldots,k$ and join
124: vertices $i$ and $i+1$ with a double edge for all $0 \leq i \leq k-1$.
125: Each of these edges is called an {\em interior edge} of the chain.
126:
127: If a loop is added joining vertex 0 to itself the chain becomes a
128: {\em one-ended chain}. If another loop is added joining vertex $k$
129: to itself the chain becomes a {\em double-ended chain} (and is now a
130: 4-valent multigraph). These loops are called {\em end edges} of
131: the chain.
132: \end{defns}
133:
134: \begin{example}
135: A one-ended chain of length 4 is illustrated in
136: Figure~\ref{fig-censuschainoneend}, and a double-ended chain of
137: length 3 is illustrated in
138: Figure~\ref{fig-censuschain3}.
139:
140: \begin{figure}[htb]
141: \centerline{\includegraphics[scale=0.7]{censuschainoneend.eps}}
142: \caption{A one-ended chain in a face pairing graph}
143: \label{fig-censuschainoneend}
144: \end{figure}
145:
146: \begin{figure}[htb]
147: \centerline{\includegraphics[scale=0.7]{censuschain3.eps}}
148: \caption{A double-ended chain in a face pairing graph}
149: \label{fig-censuschain3}
150: \end{figure}
151: \end{example}
152:
153: It can be observed that a one-ended chain of length $k$ is in fact the
154: face pairing graph of a standard layered solid torus containing $k+1$
155: tetrahedra.
156: Our first major result regarding face pairing graphs is a strengthening
157: of this relationship as follows.
158:
159: \begin{theorem} \label{t-censuschainoneend}
160: Let $T$ be a closed minimal {\ppirr} triangulation with
161: $\geq 3$ tetrahedra and face pairing graph $G$.
162: If $G$ contains a one-ended chain then the
163: tetrahedra of $T$ corresponding to the vertices of this one-ended
164: chain form a standard layered solid torus in $T$.
165: \end{theorem}
166:
167: \begin{proof}
168: We prove this by induction on the chain length. A one-ended chain of
169: length 0 consists of a single vertex with a single end edge, representing
170: a single tetrahedron with two of its faces identified. Using
171: Lemma~\ref{l-tetringor} with a ring of just one tetrahedron we see
172: that these faces must be identified in an orientation-preserving fashion.
173:
174: If these faces
175: are simply snapped shut as illustrated in the left hand diagram of
176: Figure~\ref{fig-onetetjoin} (faces {\em ABC} and {\em DBC} being
177: identified), the edge between them will have
178: degree one in the final triangulation which cannot happen
179: according to Lemma~\ref{l-pruneedgedeg1}. Thus
180: these faces are identified with a twist as illustrated in the right
181: hand diagram of Figure~\ref{fig-onetetjoin} (faces {\em ABC} and
182: {\em BCD} being identified), producing a one-tetrahedron standard
183: layered solid torus.
184:
185: \begin{figure}[htb]
186: \psfrag{A}{{\small $A$}} \psfrag{B}{{\small $B$}}
187: \psfrag{C}{{\small $C$}} \psfrag{D}{{\small $D$}}
188: \centerline{\includegraphics[scale=0.6]{onetetjoin.eps}}
189: \caption{Different ways of identifying two faces of a single tetrahedron}
190: \label{fig-onetetjoin}
191: \end{figure}
192:
193: Assume then that any one-ended chain of length $k$ must correspond
194: to a standard layered solid torus (which will have $k+1$ tetrahedra), and
195: consider a one-ended chain of length $k+1$. This one-ended chain is
196: simply a one-ended chain of length $k$ with an extra double edge
197: attached to the end, and so by our inductive hypothesis the
198: corresponding $k+2$ tetrahedra must form a $(k+1)$-tetrahedron layered
199: solid torus with an addition tetrahedron joined to its boundary along
200: two faces.
201:
202: By symmetry of the two-triangle torus which forms the layered solid
203: torus boundary, we can picture the situation as shown in the left
204: hand diagram of Figure~\ref{fig-censuslstnextoptions}.
205: In this diagram face {\em WXY} of the new tetrahedron is to be
206: joined directly to face {\em ABC} of the layered solid torus with
207: no rotations or reflections, and face {\em YZW}
208: of the new tetrahedron is to be joined to face {\em CDA} but possibly
209: with the vertices identified in some different order, i.e., with the
210: faces being rotated or reflected before they are identified.
211: Applying Lemma~\ref{l-tetringor} to the ring of tetrahedra about
212: edge {\em AC}, we see that this identification of faces
213: {\em YZW} and {\em CDA} must be orientation-preserving.
214:
215: \begin{figure}[htb]
216: \centerline{\includegraphics[scale=0.7]{censuslstnextoptions.eps}}
217: \caption{Attaching a new tetrahedron to a layered solid torus}
218: \label{fig-censuslstnextoptions}
219: \end{figure}
220:
221: If face {\em YZW} is simply folded over onto face {\em CDA}, i.e., the
222: vertices are identified in this precise order with no rotation or
223: reflection, then we have merely layered the new tetrahedron onto
224: edge {\em AC} and so we obtain a larger standard layered solid torus
225: with $k+2$ tetrahedra as required.
226:
227: Otherwise a rotation must take place, and we may by symmetry
228: assume that face {\em YZW} is identified with face {\em ACD}
229: as illustrated
230: in the right hand diagram of Figure~\ref{fig-censuslstnextoptions}.
231: In this diagram we see that each of the two new boundary faces
232: ({\em XWZ} and {\em XYZ}) has two edges
233: identified to form a cone, in contradiction to Lemma~\ref{l-conefaces}.
234: \end{proof}
235:
236: The following result corresponds to double edges in a face pairing
237: graph, and is particularly helpful in easing the massive case analyses
238: required for some of the theorems of Section~\ref{s-mainbadgraphs}.
239:
240: \begin{lemma} \label{l-censusdoubleedge}
241: Let $T$ be a closed minimal {\ppirr} triangulation with
242: $\geq 3$ tetrahedra. If two distinct tetrahedra of $T$ are joined
243: to each other along two distinct faces then these two face
244: identifications must be as illustrated in one of the diagrams of
245: Figure~\ref{fig-censusdoubleedgegoodids}.
246:
247: \begin{figure}[htb]
248: \psfrag{A}{{\small $A$}} \psfrag{B}{{\small $B$}}
249: \psfrag{C}{{\small $C$}} \psfrag{D}{{\small $D$}}
250: \psfrag{a}{{\small $A'$}} \psfrag{b}{{\small $B'$}}
251: \psfrag{c}{{\small $C'$}} \psfrag{d}{{\small $D'$}}
252: \centerline{\includegraphics[scale=0.7]{censusdoubleedgegoodids.eps}}
253: \caption{Allowable ways of joining two tetrahedra along two faces}
254: \label{fig-censusdoubleedgegoodids}
255: \end{figure}
256:
257: Specifically, let the tetrahedra be {\em ABCD} and $A'B'C'D'$ with
258: faces {\em ABC} and $A'B'C'$ identified and with faces {\em BCD} and
259: $B'C'D'$ identified (though not necessarily with these precise
260: vertex identifications; the faces may be rotated or reflected before
261: they are identified).
262: Then, allowing for the two tetrahedra to be relabelled and/or
263: swapped, we must have one of the following three cases.
264: \begin{itemize}
265: \item Face {\em ABC} is identified with $A'B'C'$ (no rotations
266: or reflections take place) and face {\em BCD} is identified with
267: $C'D'B'$ (the faces are rotated before being identified);
268: this is illustrated in the top left diagram of
269: Figure~\ref{fig-censusdoubleedgegoodids}.
270:
271: \item Face {\em ABC} is identified with
272: $C'A'B'$ and face {\em BCD} is identified with $C'D'B'$
273: (both identifications involve a rotation in the same direction);
274: this is illustrated in the top right diagram of
275: Figure~\ref{fig-censusdoubleedgegoodids}.
276:
277: \item Face {\em ABC} is identified with
278: $C'A'B'$ (the faces are rotated before being identified)
279: and face {\em BCD} is identified with $B'D'C'$ (the faces
280: are reflected about a non-horizontal axis); this is illustrated
281: in the bottom left diagram of
282: Figure~\ref{fig-censusdoubleedgegoodids}.
283: \end{itemize}
284:
285: Note that the first two cases use consistent orientations for the
286: two face identifications, whereas the third case results in a
287: non-orientable structure.
288: \end{lemma}
289:
290: \begin{proof}
291: Consider initially the case in which face {\em ABC} is identified with
292: face $A'B'C'$ without reflection or rotation. Applying
293: Lemma~\ref{l-tetringor} to edge {\em AB} we see that the remaining face
294: identification must be orientation-preserving. Thus either face
295: {\em BCD} is rotated before being identified with $B'C'D'$,
296: resulting in the first case listed in the lemma statement, or
297: face {\em BCD} is identified directly with $B'C'D'$, resulting in
298: edge {\em BC} having degree two in contradiction to
299: Lemma~\ref{l-pruneedgedeg2}.
300:
301: Allowing for the tetrahedra to be relabelled and/or swapped, the
302: only remaining methods of identifying the two pairs of faces are the
303: second and third cases listed in the lemma statement plus the
304: additional possibility illustrated in
305: Figure~\ref{fig-doubleedgebad}.
306:
307: \begin{figure}[htb]
308: \psfrag{A}{{\small $A$}} \psfrag{B}{{\small $B$}}
309: \psfrag{C}{{\small $C$}} \psfrag{D}{{\small $D$}}
310: \psfrag{a}{{\small $A'$}} \psfrag{b}{{\small $B'$}}
311: \psfrag{c}{{\small $C'$}} \psfrag{d}{{\small $D'$}}
312: \centerline{\includegraphics[scale=0.7]{doubleedgebad.eps}}
313: \caption{An unallowable way of joining two tetrahedra along two faces}
314: \label{fig-doubleedgebad}
315: \end{figure}
316:
317: In this remaining possibility, face {\em ABC} is identified with
318: $B'C'A'$ and face {\em BCD} is identified with $C'D'B'$, i.e., both
319: identifications involve a rotation but in opposite directions. In
320: this case, faces {\em ABD} and $A'C'D'$ each have two edges
321: identified to form a cone in contradiction to Lemma~\ref{l-conefaces}.
322: \end{proof}
323:
324: \subsection{Properties of Face Pairing Graphs} \label{s-mainbadgraphs}
325:
326: In contrast to Section~\ref{s-mainstruct} which analyses the structures
327: of triangulations based upon their face pairing graphs, in this
328: section we derive properties of the face pairing graphs themselves.
329: More specifically, we identify various types of subgraph that can never
330: occur within a face pairing graph of a closed minimal {\ppirr}
331: triangulation.
332:
333: \begin{theorem} \label{t-censustripleedge}
334: Let $G$ be a face pairing graph on $\geq 3$ vertices.
335: If $G$ contains a {\em triple edge} (two vertices joined
336: by three distinct edges as illustrated in
337: Figure~\ref{fig-censustripleedge}), then $G$ cannot be the
338: face pairing graph of a closed minimal {\ppirr} triangulation.
339:
340: \begin{figure}[htb]
341: \centerline{\includegraphics[scale=0.7]{censustripleedge.eps}}
342: \caption{A triple edge in a face pairing graph}
343: \label{fig-censustripleedge}
344: \end{figure}
345: \end{theorem}
346:
347: \begin{proof}
348: Suppose that $T$ is a closed minimal {\ppirr} triangulation with
349: $\geq 3$ tetrahedra whose face pairing graph contains a triple edge.
350: Observe that this triple edge corresponds to two distinct tetrahedra
351: of $T$ that are joined along three different faces.
352: We enumerate all possible ways in which this can be
353: done and derive a contradiction in each case.
354:
355: Let these two tetrahedra be {\em ABCD} and $A'B'C'D'$ as illustrated
356: in Figure~\ref{fig-censustripleedgetets}. Faces {\em ABD} and
357: $A'B'D'$ are identified, faces {\em BCD} and $B'C'D'$ are identified
358: and faces {\em CAD} and $C'A'D'$ are identified, though not
359: necessarily with these specific vertex identifications; faces may be
360: rotated or reflected before they are identified.
361:
362: \begin{figure}[htb]
363: \psfrag{A}{{\small $A$}} \psfrag{B}{{\small $B$}}
364: \psfrag{C}{{\small $C$}} \psfrag{D}{{\small $D$}}
365: \psfrag{a}{{\small $A'$}} \psfrag{b}{{\small $B'$}}
366: \psfrag{c}{{\small $C'$}} \psfrag{d}{{\small $D'$}}
367: \centerline{\includegraphics[scale=0.7]{censustripleedgetets.eps}}
368: \caption{Two tetrahedra to be joined along three faces}
369: \label{fig-censustripleedgetets}
370: \end{figure}
371:
372: Faces {\em ABC} and $A'B'C'$ remain unaccounted for, though they cannot
373: be identified with each other since this would produce a
374: 2-tetrahedron triangulation. Thus faces {\em ABC} and $A'B'C'$ are
375: distinct faces of $T$; we refer to these as the {\em boundary
376: faces} since they bound the subcomplex formed by the two tetrahedra
377: under investigation.
378:
379: Each specific method of joining our two tetrahedra along the three
380: pairs of faces is denoted by a {\em matching string}. A matching
381: string is a sequence of three symbols representing the
382: transformations that are applied to faces {\em ABD}, {\em BCD} and
383: {\em CAD} respectively before they are identified with their
384: counterparts from the second tetrahedron. Each symbol is one of the
385: following.
386:
387: \begin{itemize}
388: \item $\iota$: No transformation is applied.
389: \item $\kappa$: The face is rotated clockwise.
390: \item $\alpha$: The face is rotated anticlockwise.
391: \item $c$: The face is reflected so that the centre point of the
392: diagram (i.e., point $D$) remains fixed.
393: \item $l$: The face is reflected so that the point at the clockwise
394: end of the face (e.g., point $B$ on face {\em ABD}) remains fixed.
395: \item $r$: The face is reflected so that the point at the
396: anticlockwise end of the face (e.g., point $A$ on face {\em ABD})
397: remains fixed.
398: \end{itemize}
399:
400: A full list of precise face identifications corresponding to each symbol
401: is given in Table~\ref{tab-censustriplefaceids}.
402:
403: \begin{table}[htb]
404: \begin{center} $\begin{array}{|c|cccccc|}
405: \hline
406: & \iota & \kappa & \alpha & c & l & r \\
407: \hline
408: ABD & A'B'D' & B'D'A' & D'A'B' & B'A'D' & D'B'A' & A'D'B' \\
409: BCD & B'C'D' & C'D'B' & D'B'C' & C'B'D' & D'C'B' & B'D'C' \\
410: CAD & C'A'D' & A'D'C' & D'C'A' & A'C'D' & D'A'C' & C'D'A' \\
411: \hline
412: \end{array}$ \end{center}
413: \caption{Precise face identifications corresponding to each
414: transformation symbol}
415: \label{tab-censustriplefaceids}
416: \end{table}
417:
418: We can then enumerate the matching strings for all possible ways of
419: joining our two tetrahedra along these three pairs of faces. Each
420: matching string is considered only once up to equivalence, where
421: equivalence includes rotating the two tetrahedra, reflecting the two
422: tetrahedra and swapping the two tetrahedra.
423:
424: As an example, a list of all matching strings up to equivalence for
425: which the three face identifications have consistent orientations
426: (i.e., which do not contain both a symbol
427: from $\{\iota,\kappa,\alpha\}$ and a symbol from $\{c,l,r\}$) is as
428: follows.
429: \[
430: \iota\iota\iota,~ \iota\iota\kappa,~ \iota\kappa\kappa,~
431: \iota\kappa\alpha,~ \kappa\kappa\kappa,~ \kappa\kappa\alpha,~
432: ccc,~ ccl,~ cll,~ clr,~ crl,~ lll,~ llr.
433: \]
434: Note that matching strings $\iota\kappa\alpha$ and
435: $\iota\alpha\kappa$ are equivalent by
436: swapping the two tetrahedra, but that $clr$ and $crl$ are not.
437:
438: A full list of all matching strings up to equivalence, allowing for both
439: orientation-preserving and orientation-reversing face identifications,
440: is too large to analyse by hand. We can however use
441: Lemma~\ref{l-censusdoubleedge} to restrict this list to a more
442: manageable size.
443:
444: Specifically, Lemma~\ref{l-censusdoubleedge} imposes conditions upon
445: how two tetrahedra may be joined along two faces. In a matching
446: string, each pair of adjacent symbols represents a joining of the
447: two tetrahedra along two faces. We can thus use this lemma to
448: determine which symbols may be followed by which other symbols in
449: a matching string. The results of this analysis are presented in
450: Table~\ref{tab-adjmatchingsymbols}.
451:
452: \begin{table}[htb]
453: \begin{center} \begin{tabular}{|c|c|c|}
454: \hline
455: \bf Symbol & \bf May be followed by & \bf Cannot be followed by \\
456: \hline
457: $\iota$ & $\kappa$, $\alpha$ & $\iota$, $c$, $l$, $r$ \\
458: $\kappa$ & $\iota$, $\kappa$, $c$, $r$ & $\alpha$, $l$ \\
459: $\alpha$ & $\iota$, $\alpha$, $c$, $r$ & $\kappa$, $l$ \\
460: $c$ & $\kappa$, $\alpha$, $l$, $r$ & $\iota$, $c$ \\
461: $l$ & $\kappa$, $\alpha$, $c$, $l$ & $\iota$, $r$ \\
462: $r$ & $c$, $r$ & $\iota$, $\kappa$, $\alpha$, $l$ \\
463: \hline
464: \end{tabular} \end{center}
465: \caption{Possible adjacent symbols within a matching string}
466: \label{tab-adjmatchingsymbols}
467: \end{table}
468:
469: Up to rotation of the two tetrahedra, this reduces our list of
470: possible matching strings to the following.
471: \[
472: \iota\kappa\kappa,~\iota\alpha\alpha,~
473: \kappa\kappa\kappa,~\alpha\alpha\alpha,~\kappa\kappa c,~
474: \alpha\alpha c,~
475: \kappa c l,~\kappa r c,~\alpha c l,~\alpha r c,~
476: cll,~crr,~lll,~rrr.
477: \]
478: Allowing for the two tetrahedra to be reflected and/or swapped, this
479: list can be further reduced to just the following six matching strings.
480: \[
481: \iota\kappa\kappa,~\kappa\kappa\kappa,~\kappa\kappa c,~
482: \kappa c l,~cll,~lll.
483: \]
484:
485: These six matching strings can be split into three
486: categories, where the matchings in each category give rise to a
487: similar contradiction using almost identical arguments. We
488: examine each category in turn.
489:
490: \begin{itemize}
491: \item {\bf Conical faces ($\iota\kappa\kappa$, $\kappa c l$):}
492: Simply by following the edge identifications induced by our
493: chosen face identifications, we can see that each of these
494: matchings gives rise to a face containing two edges that are
495: identified to form a cone. Lemma~\ref{l-conefaces} then
496: provides us with our contradiction.
497:
498: An example of this is illustrated in
499: Figure~\ref{fig-censustripleedgekcl} which shows the induced edge
500: identifications for the matching $\kappa cl$. Conical
501: faces in this example include {\em ABD} and the boundary face
502: {\em ABC}.
503:
504: \begin{figure}[htb]
505: \psfrag{A}{{\small $A$}} \psfrag{B}{{\small $B$}}
506: \psfrag{C}{{\small $C$}} \psfrag{D}{{\small $D$}}
507: \psfrag{a}{{\small $A'$}} \psfrag{b}{{\small $B'$}}
508: \psfrag{c}{{\small $C'$}} \psfrag{d}{{\small $D'$}}
509: \centerline{\includegraphics[scale=0.7]{censustripleedgekcl.eps}}
510: \caption{Edge identifications for the matching $\kappa cl$}
511: \label{fig-censustripleedgekcl}
512: \end{figure}
513:
514: \item {\bf Spherical subcomplexes ($\kappa\kappa\kappa$,
515: $\kappa\kappa c$):}
516: Again we follow the induced edge identifications, but in this
517: case the consequence is that the two boundary faces {\em ABC}
518: and $A'B'C'$ are joined at their edges to form a two-triangle sphere
519: in contradiction to Lemma~\ref{l-splittripillow}.
520: This behaviour is illustrated in Figure~\ref{fig-censustripleedgekkc}
521: for the matching $\kappa\kappa c$.
522:
523: \begin{figure}[htb]
524: \psfrag{A}{{\small $A$}} \psfrag{B}{{\small $B$}}
525: \psfrag{C}{{\small $C$}} \psfrag{D}{{\small $D$}}
526: \psfrag{a}{{\small $A'$}} \psfrag{b}{{\small $B'$}}
527: \psfrag{c}{{\small $C'$}} \psfrag{d}{{\small $D'$}}
528: \centerline{\includegraphics[scale=0.7]{censustripleedgekkc.eps}}
529: \caption{Edge identifications for the matching $\kappa\kappa c$}
530: \label{fig-censustripleedgekkc}
531: \end{figure}
532:
533: \item {\bf Bad vertex links ($cll$, $lll$):}
534: For these matching strings, all eight vertices $A$,
535: $B$, $C$, $D$, $A'$, $B'$, $C'$ and $D'$ are identified as a
536: single vertex in the triangulation. This vertex
537: lies on the boundary faces {\em ABC} and $A'B'C'$, and so the vertex
538: link as restricted to our two tetrahedra will be incomplete
539: (i.e., will have boundary components). However, for
540: each of these matchings, this
541: partial vertex link is observed to be a once-punctured
542: torus. Therefore, however the entire triangulation $T$ is formed,
543: the complete vertex link in $T$ cannot be a sphere (since
544: there is no way to fill in the boundary of a
545: punctured torus to form a sphere). Thus again we have a
546: contradiction since $T$ cannot be a triangulation of a
547: closed 3-manifold.
548:
549: As an example of this behaviour,
550: Figure~\ref{fig-censustripleedgelll} illustrates the induced
551: edge and vertex identifications for matching $lll$ as well as
552: the corresponding vertex link. The link is shown as eight
553: individual triangles followed by a combined figure, which we see
554: is indeed a punctured torus.
555:
556: \begin{figure}[htb]
557: \psfrag{A}{{\small $A$}} \psfrag{B}{{\small $B$}}
558: \psfrag{C}{{\small $C$}} \psfrag{D}{{\small $D$}}
559: \psfrag{a}{{\small $A'$}} \psfrag{b}{{\small $B'$}}
560: \psfrag{c}{{\small $C'$}} \psfrag{d}{{\small $D'$}}
561: \centerline{\includegraphics[scale=0.7]{censustripleedgelll.eps}}
562: \caption{The partial vertex link for the matching $lll$}
563: \label{fig-censustripleedgelll}
564: \end{figure}
565: \end{itemize}
566:
567: Thus we see that every method of identifying three faces of the
568: first tetrahedron with three faces of the second gives rise to a
569: contradiction, and so our result is established.
570: \end{proof}
571:
572: \begin{theorem} \label{t-censusbrokenchain}
573: Let $G$ be a face pairing graph on $\geq 3$ vertices.
574: If $G$ contains as a subgraph a {\em broken double-ended chain}
575: (a double-ended chain missing one interior edge as illustrated in
576: Figure~\ref{fig-censusbrokenchain}) and if $G$ is
577: not simply a double-ended chain itself, then $G$ cannot be the
578: face pairing graph of a closed minimal {\ppirr} triangulation.
579:
580: \begin{figure}[htb]
581: \centerline{\includegraphics[scale=0.7]{censusbrokenchain.eps}}
582: \caption{A broken double-ended chain in a face pairing graph}
583: \label{fig-censusbrokenchain}
584: \end{figure}
585: \end{theorem}
586:
587: \begin{proof}
588: Observe that a broken double-ended chain is merely a pair of
589: one-ended chains
590: joined by an edge. Let $T$ be a closed minimal {\ppirr}
591: triangulation whose face pairing graph contains a broken
592: double-ended chain. Then
593: Theorem~\ref{t-censuschainoneend} implies that $T$ contains a pair of
594: layered solid tori whose boundaries are joined along one face.
595:
596: This situation is depicted in the left hand diagram of
597: Figure~\ref{fig-censuslstlstjoin}, where the two torus boundaries
598: of the layered solid tori are shown and where face {\em ABC} is
599: identified with face {\em XYZ}. The resulting edge identifications of
600: the remaining two boundary faces are illustrated in the right hand
601: diagram of this figure; in particular, it can be seen that these
602: remaining boundary faces form a two-triangle sphere (though with all
603: three vertices pinched together, since each layered solid torus has
604: only one vertex).
605:
606: \begin{figure}[htb]
607: \psfrag{A}{{\small $A$}} \psfrag{B}{{\small $B$}}
608: \psfrag{C}{{\small $C$}}
609: \psfrag{X}{{\small $X$}} \psfrag{Y}{{\small $Y$}}
610: \psfrag{Z}{{\small $Z$}}
611: \psfrag{F1}{{\small $F_1$}} \psfrag{F2}{{\small $F_2$}}
612: \centerline{\includegraphics[scale=0.7]{censuslstlstjoin.eps}}
613: \caption{Two layered solid tori joined along a face}
614: \label{fig-censuslstlstjoin}
615: \end{figure}
616:
617: Let these remaining boundary faces be $F_1$ and $F_2$. If these
618: faces are not identified then $F_1$ and $F_2$ satisfy the conditions
619: of Lemma~\ref{l-splittripillow} and so $T$ cannot be both minimal
620: and \ppirr. Therefore faces $F_1$ and $F_2$ are identified.
621: Returning to the face pairing graph for $T$, this implies that the
622: single edge between the two one-ended chains is in fact a double
623: edge and so the graph contains an entire double-ended chain.
624:
625: However, since every vertex in a double-ended chain has degree 4,
626: Lemma~\ref{l-graphprops} shows this double-ended chain to be
627: the entire face pairing graph, contradicting the initial conditions of
628: this theorem.
629: \end{proof}
630:
631: \begin{theorem} \label{t-censuschaindoublehandle}
632: Let $G$ be a face pairing graph on $\geq 3$ vertices.
633: If $G$ contains as a subgraph a {\em one-ended chain with a double
634: handle} (a double-ended chain with one end edge replaced by a triangle
635: containing one double edge as illustrated in
636: Figure~\ref{fig-censuschaindoublehandle}), then $G$ cannot be the
637: face pairing graph of a closed minimal {\ppirr} triangulation.
638:
639: \begin{figure}[htb]
640: \centerline{\includegraphics[scale=0.7]{censuschaindoublehandle.eps}}
641: \caption{A one-ended chain with a double handle in a face pairing graph}
642: \label{fig-censuschaindoublehandle}
643: \end{figure}
644: \end{theorem}
645:
646: \begin{proof}
647: Let $T$ be a closed minimal {\ppirr} triangulation with
648: $\geq 3$ tetrahedra whose face pairing graph contains a one-ended
649: chain with a double handle. From Theorem~\ref{t-censuschainoneend} we
650: see that the one-ended chain must correspond to a layered solid torus in
651: $T$. The double handle in turn must correspond to two additional
652: tetrahedra each of which is joined to the other along two faces and
653: each of which is joined to one of the boundary faces of the layered
654: solid torus.
655:
656: \begin{figure}[htb]
657: \centerline{\includegraphics[scale=0.7]{censusdoublehandletri.eps}}
658: \caption{Tetrahedra corresponding to a one-ended chain with a
659: double handle}
660: \label{fig-censusdoublehandletri}
661: \end{figure}
662:
663: This construction is illustrated in
664: Figure~\ref{fig-censusdoublehandletri}.
665: The layered solid torus lies beneath faces {\em ABC} and {\em BCD} which
666: form its torus boundary. The two additional
667: tetrahedra are {\em XABC} and {\em YBCD}; observe that each of these
668: tetrahedra is joined to one of the boundary faces of the layered
669: solid torus. The two new tetrahedra are then joined to each other
670: along two faces; in this example faces {\em XAC} and {\em YCB} are
671: identified and faces {\em XCB} and {\em DCY} are identified, though
672: different pairs of faces may be used.
673:
674: As in the proof of Theorem~\ref{t-censustripleedge}, we
675: enumerate all possible ways in which this construction can
676: be carried out and in each case derive a contradiction. To
677: assist in our task we describe a simple way of representing
678: each possible variant of this construction.
679:
680: The scenario presented in Figure~\ref{fig-censusdoublehandletri}
681: can be distilled into a simplified diagram as illustrated in
682: Figure~\ref{fig-censusdoublehandleeg}. We begin with the
683: two-triangle torus that forms the boundary of the layered solid
684: torus as shown in the left hand diagram of
685: Figure~\ref{fig-censusdoublehandleeg}. We then add our two new
686: tetrahedra, converting the two-triangle torus into a six-triangle
687: torus as illustrated in the central diagram of
688: Figure~\ref{fig-censusdoublehandleeg}. Finally we add markings to
689: the diagram to illustrate how the two new tetrahedra are to be
690: joined along two faces.
691: This is done by marking vertices $a$, $b$ and $c$ of the
692: first face and vertices $x$, $y$ and $z$ of the second face.
693: It can be seen from the right
694: hand diagram of Figure~\ref{fig-censusdoublehandleeg} that
695: faces {\em XAC} and {\em YCB} are identified and faces
696: {\em XCB} and {\em DCY} are identified as described earlier.
697: For clarity the two faces that have not yet been identified with any
698: others are shaded.
699:
700: \begin{figure}[htb]
701: \centerline{\includegraphics[scale=0.5]{censusdoublehandleeg.eps}}
702: \caption{A simplified diagram for a one-ended chain with a double handle}
703: \label{fig-censusdoublehandleeg}
704: \end{figure}
705:
706: In a similar fashion we can represent any set of tetrahedra
707: corresponding to a one-ended chain with a double handle
708: using a diagram similar to the right hand diagram of
709: Figure~\ref{fig-censusdoublehandleeg}. In this way we can
710: enumerate all possible diagrams and in each case prove that $T$
711: cannot be a closed minimal {\ppirr} triangulation.
712:
713: Recall from Lemma~\ref{l-censusdoubleedge} that if $T$ is a closed
714: minimal {\ppirr} triangulation then there are restrictions upon the
715: possible ways in which our two new tetrahedra can be joined along
716: two faces. Furthermore, Lemma~\ref{l-tetringor} requires that if
717: two adjacent faces are to be identified then this must be done in an
718: orientation-preserving manner. By
719: ignoring all diagrams that do not conform to
720: Lemmas~\ref{l-tetringor} and~\ref{l-censusdoubleedge} and by
721: exploiting the symmetries of the six-triangle torus and the layered
722: solid torus that lies beneath it, we can reduce the set of all possible
723: diagrams to those depicted in
724: Figures~\ref{fig-censusdoublehandlecasesor}
725: and~\ref{fig-censusdoublehandlecasesnor}.
726: Figure~\ref{fig-censusdoublehandlecasesor} contains the diagrams
727: for constructions that are orientation-preserving and
728: Figure~\ref{fig-censusdoublehandlecasesnor} contains the diagrams
729: corresponding to non-orientable structures.
730:
731: \begin{figure}[htb]
732: \psfrag{A1}{$\alpha_1$} \psfrag{A2}{$\alpha_2$} \psfrag{A3}{$\alpha_3$}
733: \psfrag{B1}{$\beta_1$} \psfrag{B2}{$\beta_2$} \psfrag{B3}{$\beta_3$}
734: \psfrag{C1}{$\gamma_1$} \psfrag{C2}{$\gamma_2$} \psfrag{C3}{$\gamma_3$}
735: \psfrag{D1}{$\delta_1$} \psfrag{D2}{$\delta_2$}
736: \centerline{\includegraphics[scale=0.5]{censusdoublehandlecasesor.eps}}
737: \caption{All orientable diagrams for a one-ended chain with a double handle}
738: \label{fig-censusdoublehandlecasesor}
739: \end{figure}
740:
741: \begin{figure}[htb]
742: \psfrag{A4}{$\alpha_4$} \psfrag{A5}{$\alpha_5$}
743: \psfrag{A6}{$\alpha_6$} \psfrag{A7}{$\alpha_7$}
744: \psfrag{B4}{$\beta_4$} \psfrag{B5}{$\beta_5$}
745: \psfrag{D3}{$\delta_3$} \psfrag{D4}{$\delta_4$}
746: \centerline{\includegraphics[scale=0.5]{censusdoublehandlecasesnor.eps}}
747: \caption{All non-orientable diagrams for a one-ended chain with a
748: double handle}
749: \label{fig-censusdoublehandlecasesnor}
750: \end{figure}
751:
752: As in the proof of Theorem~\ref{t-censustripleedge} we can divide
753: our 19 different diagrams $\alpha_1,\ldots,\delta_4$ into a
754: small number of categories, where the diagrams in each category give
755: rise to similar contradictions using almost identical arguments.
756: To assist with this process the edge identifications induced in each
757: diagram by the corresponding face identifications are shown in
758: Figures~\ref{fig-censusdoublehandlearrowsor}
759: and~\ref{fig-censusdoublehandlearrowsnor}.
760: The diagrams can then be split into categories as follows.
761:
762: \begin{figure}[htb]
763: \psfrag{A1}{$\alpha_1$} \psfrag{A2}{$\alpha_2$} \psfrag{A3}{$\alpha_3$}
764: \psfrag{B1}{$\beta_1$} \psfrag{B2}{$\beta_2$} \psfrag{B3}{$\beta_3$}
765: \psfrag{C1}{$\gamma_1$} \psfrag{C2}{$\gamma_2$} \psfrag{C3}{$\gamma_3$}
766: \psfrag{D1}{$\delta_1$} \psfrag{D2}{$\delta_2$}
767: \centerline{\includegraphics[scale=0.5]{censusdoublehandlearrowsor.eps}}
768: \caption{Edge identifications for the orientable face
769: identification diagrams}
770: \label{fig-censusdoublehandlearrowsor}
771: \end{figure}
772:
773: \begin{figure}[htb]
774: \psfrag{A4}{$\alpha_4$} \psfrag{A5}{$\alpha_5$}
775: \psfrag{A6}{$\alpha_6$} \psfrag{A7}{$\alpha_7$}
776: \psfrag{B4}{$\beta_4$} \psfrag{B5}{$\beta_5$}
777: \psfrag{D3}{$\delta_3$} \psfrag{D4}{$\delta_4$}
778: \centerline{\includegraphics[scale=0.5]{censusdoublehandlearrowsnor.eps}}
779: \caption{Edge identifications for the non-orientable face
780: identification diagrams}
781: \label{fig-censusdoublehandlearrowsnor}
782: \end{figure}
783:
784: \begin{itemize}
785: \item {\bf Conical faces ($\alpha_1$, $\alpha_2$,
786: $\alpha_4$, $\alpha_6$, $\beta_1$, $\beta_3$, $\beta_4$,
787: $\delta_3$, $\delta_4$):}
788: In each of these diagrams we find at least one face with two
789: edges identified to form a cone. From Lemma~\ref{l-conefaces}
790: it follows that $T$ cannot be a closed minimal
791: {\ppirr} triangulation.
792:
793: \item {\bf Spherical subcomplexes ($\alpha_3$, $\beta_2$,
794: $\beta_5$, $\delta_1$):}
795: In each of these diagrams we can observe that the two shaded
796: faces are joined at their edges to form a two-triangle sphere as
797: described in Lemma~\ref{l-splittripillow}, again contradicting
798: the claim that $T$ is a closed
799: minimal {\ppirr} triangulation.
800:
801: \item {\bf Bad vertex links ($\alpha_5$, $\alpha_7$,
802: $\gamma_1$, $\gamma_2$, $\gamma_3$, $\delta_2$):}
803: In each of these diagrams it can be observed that all six
804: vertices illustrated are in fact identified
805: as a single vertex in the triangulation. We can calculate the
806: link of this vertex as restricted to the portion of the
807: triangulation that we are examining. For diagrams
808: $\gamma_1$, $\gamma_2$ and $\gamma_3$ this link is
809: observed to be a once-punctured torus, for diagram
810: $\delta_2$ it is observed to be a once-punctured genus two torus
811: and for diagrams $\alpha_5$ and $\alpha_7$ it is observed to be
812: non-orientable.
813: In each of these cases, however the
814: remainder of the triangulation is constructed it is impossible
815: for this vertex link to be extended to become a sphere.
816: Thus $T$ cannot be a triangulation of a closed 3-manifold.
817:
818: The vertex link calculation is illustrated in
819: Figure~\ref{fig-censusdoublehandlelink} for diagram $\gamma_1$.
820: The disc on the left with edges $p$, $q$, $r$ and $s$
821: represents the vertex link of the layered
822: solid torus and the triangles beside it represent the pieces of
823: vertex link taken from the two new tetrahedra. These pieces
824: are combined into a single surface on the right hand side of the
825: diagram which we see is indeed a once-punctured torus.
826:
827: \begin{figure}[htb]
828: \centerline{\includegraphics[scale=0.7]{censusdoublehandlelink.eps}}
829: \caption{Calculating the vertex link for diagram $\gamma_1$}
830: \label{fig-censusdoublehandlelink}
831: \end{figure}
832: \end{itemize}
833:
834: Thus for each diagram of Figure~\ref{fig-censusdoublehandlecasesor}
835: and Figure~\ref{fig-censusdoublehandlecasesnor} we
836: observe that $T$ cannot be a closed minimal {\ppirr} triangulation.
837: \end{proof}
838:
839: