fdf04bf6458588b6.tex
1: \begin{proof}
2: If $\mathtt{u}(c)\mathtt{u}(d)^{\ast}$ is a web, 
3: then every face has an even number 
4: of adjacent trivalent vertices which translate to 
5: say that $cd^{\ast}$ has an even number of markers 
6: per connected component, and we are done.
7: 
8: Conversely, assume (without loss of generality) that 
9: $cd^{\ast}$ has only one circle $C$, and that $C$ is orientable. 
10: If $C$ is not marked, then 
11: we are done since the associated circle in $\mathtt{u}(c)\mathtt{u}(d)^{\ast}$ is 
12: an ordinary circle. Otherwise, follow $C$ from $\rpoint$ onwards in the 
13: anticlockwise fashion. 
14: By admissibility, going around $C$ in this way always passes the 
15: marked caps in $d^{\ast}$ and then the marked cups in $c$. This can be best seen via example 
16: (we leave it to the reader to make this rigorous):
17: \begin{gather}\label{eq:proof-by-example}
18: \xy
19: (0,0)*{
20: \includegraphics[scale=.85]{figs/6-83.pdf}
21: };
22: \endxy
23: \end{gather}
24: Next, the number of markers on $C$ is even since 
25: $cd^{\ast}$ is orientable.  
26: This together with the above observation 
27: (and recalling that taking ${}^{\ast}$ on webs 
28: reverses the orientation of phantom edges) 
29: ensures that 
30: all 
31: neighboring phantom edge pairs of $\mathtt{u}(c)\mathtt{u}(d)^{\ast}$ 
32: are well-attached, and that $\mathtt{u}(c)\mathtt{u}(d)^{\ast}$ 
33: has an even number of trivalent vertices, i.e. 
34: $\mathtt{u}(c)\mathtt{u}(d)^{\ast}$ 
35: is well-oriented.
36: \end{proof}
37: