 describe two types of interactions of two simple paths in $V$. The $P1$ move acts as a transposition on one of the permutations in $T$. While $P$ moves and valid pairs are somewhat adhoc objects, in Lemma \[lembranch\] we will see that the moves $P1-P6$ correspond naturally to moves $Br1-Br6$ on broken surface diagrams, described in Figure \[figbranchmoves\]. Note that each $Br$ move does in fact represent an isotopy in $\bR^4$, since it can be written in terms of Roseman moves, in particular $Ro4$ and $Ro6$ moves. [[ 9999 ]{}]{}

![Moves on valid pairs $(T,V)$ for some fixed broken surface diagram $D$. See Remark \[remmoves\].[]{data-label="figpathmoves"}](pics/pathmoves.eps)

![$Br$ moves for broken surface diagrams, with crossing information suppressed.[]{data-label="figbranchmoves"}](pics/branchmoves.eps)

\[lembranch\]

a)  \[branch1\] If $D \in \pB(\pL_0)$ then all valid pairs $(T,V)$ as in Definition \[defcancel\] are related by the $P$ moves in Figure \[figpathmoves\].

b)  \[branch2\] The $Br3$, $Br4$, $Br5$ and $Br6$ moves can be expressed in terms of $Ro1$, $Ro2$, $Ro5^*$, $Ro7$ and $Br1$ moves.

c)  \[branch3\] If $D \in \pB(\pL_0)$ and $E_1,E_2 \in {\it cancel}(D)$ then $E_1$ and $E_2$ are related by the $Ro1$, $Ro2$, $Ro5^*$, $Ro7$, $Br1$ and $Br2$ moves in Figures \[figrosemove\] and \[figbranchmoves\].

d)  \[branch4\] If $D_1,D_2 \in \pB(\pL_0)$, $E_1 \in {\it cancel}(D_1)$, $E_2 \in {\it cancel}(D_2)$ and $D_1$ and $D_2$ are related by
describe two types of interactions of two simple path in $ V$. The $ P1 $ motion acts as a transposition on one of the permutations in $ T$. While $ P$ move and valid pairs are somewhat adhoc object, in Lemma \[lembranch\ ] we will experience that the moves $ P1 - P6 $ correspond naturally to move $ Br1 - Br6 $ on broken surface diagram, described in Figure \[figbranchmoves\ ]. Note that each $ Br$ move does in fact represent an isotopy in $ \bR^4 $, since it can be write in terms of Roseman moves, in particular $ Ro4 $ and $ Ro6 $ moves. [ [ 9999 ] { } ] { } 

! [ Moves on valid pair $ (T, V)$ for some fixed broken surface diagram $ D$. See Remark \[remmoves\].[]{data - label="figpathmoves"}](pics / pathmoves.eps) 

! [ $ Br$ motion for broken surface diagrams, with crossing information suppressed.[]{data - label="figbranchmoves"}](pics / branchmoves.eps) 

 \[lembranch\ ] 

 a)   \[branch1\ ] If $ vitamin d \in \pB(\pL_0)$ then all valid pairs $ (T, V)$ as in Definition \[defcancel\ ] are related by the $ P$ moves in Figure \[figpathmoves\ ]. 

 b)   \[branch2\ ] The $ Br3 $, $ Br4 $, $ Br5 $ and $ Br6 $ move can be expressed in terms of $ Ro1 $, $ Ro2 $, $ Ro5^*$, $ Ro7 $ and $ Br1 $ moves. 

 c)   \[branch3\ ] If $ D \in \pB(\pL_0)$ and $ E_1,E_2 \in { \it cancel}(D)$ then $ E_1 $ and $ E_2 $ are related by the $ Ro1 $, $ Ro2 $, $ Ro5^*$, $ Ro7 $, $ Br1 $ and $ Br2 $ motion in figure \[figrosemove\ ] and \[figbranchmoves\ ]. 

 d)   \[branch4\ ] If $ D_1,D_2 \in \pB(\pL_0)$, $ E_1 \in { \it cancel}(D_1)$, $ E_2 \in { \it cancel}(D_2)$ and $ D_1 $ and $ D_2 $ are related by
 dedcribe two types of intevactions of two simple 'aths ih $V$. The $O1$ move acts as a transpositiln on obe of the permutations in $T$. Whipe $P$ movws aid valid pairs acs somewmct adglc oyjxcts, in Lemma \[lgmbranch\] we fill see that dhd loves $P1-P6$ correspond naturally to modes $Br1-Bt6$ ln broken surfwce cyagrzms, described in Figure \[figbranchmkves\]. Noue that each $Br$ mofe does in fact represent wn idotopy in $\bR^4$, since it can be qritewn in terms uf Roseman moves, in patticular $Ro4$ and $Ro6$ moves. [[ 9999 ]{}]{}

![Moves on vclid pairs $(J,R)$ fog some fixed brokvn surface diagram $D$. Vee Remsrk \[remmoves\].[]{daba-labxl="fitpathmoves"}](pics/pathmovxs.eps)

![$Br$ moves for brjken surfdcz diagrams, with crossunt infmrmadion wuporeasxd.[]{dzta-labfl="fmgbranchmovss"}](pics/brancymoves.eps)

\[lembranch\]

a)  \[fgsnch1\] If $D \in \pB(\pL_0)$ ehqn all valid pairs $(T,V)$ as in Definition \[gefdancel\] are related by tye $P$ moves in Figure \[vigpathmodes\].

b)  \[branch2\] The $Br3$, $Br4$, $Br5$ and $Br6$ moves can be expsessev kn uevir ov $Ro1$, $Ro2$, $Ro5^*$, $Ro7$ and $Br1$ moves.

c)  \[branch3\] If $D \in \pF(\lL_0)$ akd $E_1,E_2 \in {\it canccl}(D)$ then $E_1$ and $E_2$ ate rrjated by the $To1$, $Ro2$, $Ro5^*$, $Rk7$, $Br1$ and $Br2$ moves ln Figutes \[fitrosemove\] and \[figbranchmoves\].

d)  \[branch4\] If $D_1,D_2 \in \pB(\pL_0)$, $V_1 \in {\it cancel}(D_1)$, $E_2 \in {\ic cancel}(D_2)$ anb $D_1$ anc $D_2$ ate related by
describe two types of interactions of two in The $P1$ acts as a permutations $T$. While $P$ and valid pairs somewhat adhoc objects, in Lemma \[lembranch\] will see that the moves $P1-P6$ correspond naturally to moves $Br1-Br6$ on broken diagrams, described in Figure \[figbranchmoves\]. Note that each $Br$ move does in fact an in since can be written in terms of Roseman moves, in particular $Ro4$ and $Ro6$ moves. [[ 9999 ![Moves on valid pairs $(T,V)$ for some fixed surface diagram $D$. See \[remmoves\].[]{data-label="figpathmoves"}](pics/pathmoves.eps) ![$Br$ moves for broken diagrams, crossing information \[lembranch\] \[branch1\] $D \in \pB(\pL_0)$ all valid pairs $(T,V)$ as in Definition \[defcancel\] are related by the $P$ moves in Figure \[figpathmoves\]. \[branch2\] The $Br5$ and moves be in terms of $Ro5^*$, $Ro7$ and $Br1$ moves. c) \in \pB(\pL_0)$ and $E_1,E_2 \in {\it cancel}(D)$ then and $E_2$ related by the $Ro1$, $Ro2$, $Ro5^*$, $Br1$ and $Br2$ moves in Figures \[figrosemove\] and d) \[branch4\] If $D_1,D_2 \in \pB(\pL_0)$, $E_1 \in {\it cancel}(D_1)$, $E_2 \in {\it cancel}(D_2)$ and $D_2$ are related by
 describe two types of interacTions of two SimplE paThs In $v$. The $p1$ movE acts as a transpOSitiOn on one of the permutatioNs in $T$. whILe $P$ mOVeS and vAlid paiRS aRE SomEwHaT adHoC ObJects, In LEmma \[lemBranch\] we wiLl sEe That the moves $p1-p6$ cOrrespond nAtuRally to moves $br1-BR6$ on broKeN suRFace dIagRams, dEscribED in FigUre \[figbraNcHMoves\]. NOTe that eACH $BR$ movE does in fact represENt AN isotopy in $\bR^4$, siNce it cAn BE wRITteN in Terms of RosEmAn movES, in partICuLAR $ro4$ aND $Ro6$ moves. [[ 9999 ]{}]{}

![Moves On valid pairS $(t,V)$ fOr some FiXed BRoken sUrfacE dIAgrAm $D$. See RemarK \[remMoves\].[]{data-Label="fIGpathmoVEs"}](pics/pAthmovEs.ePs)

![$BR$ movES fOr BroKeN SurFAcE diAGraMs, with crOsSiNg infOrmaTION SuppResSed.[]{dAta-laBel="figbranchmOveS"}](picS/BraNchmoVes.epS)

\[lemBrAnch\]

a)  \[Branch1\] if $D \in \PB(\PL_0)$ then all valid pAirs $(t,V)$ as in DefIniTiOn \[dEfCanceL\] Are relAteD by The $P$ movEs in FigURe \[fIgPATHmOves\].

b)  \[branch2\] The $Br3$, $Br4$, $br5$ AND $BR6$ moves caN be expREsSeD In terms oF $RO1$, $Ro2$, $ro5^*$, $Ro7$ AND $Br1$ moVes.

c)  \[BRaNch3\] If $D \in \PB(\pL_0)$ anD $e_1,E_2 \In {\It canceL}(D)$ Then $E_1$ aNd $e_2$ arE reLated BY the $ro1$, $Ro2$, $Ro5^*$, $ro7$, $Br1$ and $BR2$ moveS In Figures \[figroSEmove\] and \[figbrANcHMOvES\].

d)  \[brAncH4\] If $D_1,D_2 \in \pB(\pL_0)$, $e_1 \in {\iT CancEl}(D_1)$, $E_2 \IN {\iT caNCel}(D_2)$ aNd $D_1$ anD $D_2$ ARe RElated by
 describe two types of int eractionsof tw o s imp le  pat hs i n $V$. The $P1 $  mov e acts as a transposit ion o no ne o f  t he pe rmutati o ns i n $ T$ .Whi le $P $ mov esand val id pairs a reso mewhat adhoc ob jects, inLem ma \[lembran ch\ ] we w il l s e e tha t t he mo ves $P 1 -P6$ c orrespond  n a turall y  to mov e s  $ Br1- Br6$ on broken su r fa c e diagrams, de scribe di nF i gur e \ [figbranch mo ves\] .  Note t h at e a ch$ Br$ move does  in fact re p res ent an  i sot o py in$\bR^ 4$ ,  si nce it canbe w ritten in  terms of Rose m an move s, inpar tic ular $R o4 $ a nd $Ro 6 $mov e s.[[ 9999]{ }] {}

! [Mov e s o n va lid  pai rs $( T,V)$ for som e f ixed bro ken s urfac e di ag ram $ D$. Se e Rem ar k \[remmoves\]. []{d ata-label ="f ig pat hm oves" } ](pics /pa thm oves.ep s)

![$ B r$mo v e s  f or broken surfacedi a g ra ms, with  cross i ng  i n formatio nsup pres s e d.[]{ data - la bel="fig branch m ov es "}](pic s/ branch mo ves .ep s)

\ [ lemb ranch\ ]

a)  \ [bran c h1\] If $D \in \pB(\pL_0)$ t h en a ll vali d p airs $(T,V) $ as in D efin i ti on\ [defc ancel \] ar e  related by the $P$  m oves i n Fig ure \[figpath moves\].
b )  \[branc h2\] Th e  $Br3$, $Br4$,  $Br5 $ and $Br6 $  moves c an be  express ed in ter m s  of $Ro1 $,$Ro 2$,  $R o 5 ^* $, $Ro7$ and$ B r1$mo ves.

c ) \[branc h3\ ] I f $ D \ in  \pB(\pL_ 0)$ and$E _1 ,E _2  \i n {\i t  cancel} (D )$th en$E_1$ and $E _2$ a re r el at e d b y the $ R o1 $ ,  $Ro 2$ ,$Ro5 ^*$ ,$Ro7$ , $B r 1$and $Br 2$ movesinF igur es  \ [figros emove\] and \ [f igbranchmo ve s\] .

d)\ [branch4 \] If $D_1,D_2 \in \pB( \ pL_0)$,  $E _1 \i n {\ it cancel }(D _1)$,$E_ 2  \in { \it ca ncel} (D _2) $ and $ D _ 1$  an d$D_2$ arer e lat ed by 
 describe_two types_of interactions of two_simple paths_in_$V$. The_$P1$_move acts as_a transposition on_one of the permutations_in $T$. While_$P$_moves and valid pairs are somewhat adhoc objects, in Lemma \[lembranch\] we will see_that_the moves_$P1-P6$_correspond_naturally to moves $Br1-Br6$ on_broken surface diagrams, described in_Figure \[figbranchmoves\]._Note that each $Br$ move does in fact_represent_an isotopy in_$\bR^4$, since it can be written in terms of_Roseman moves, in particular $Ro4$ and_$Ro6$ moves. [[_9999_]{}]{}

![Moves_on valid pairs $(T,V)$_for some fixed broken surface diagram_$D$. See Remark \[remmoves\].[]{data-label="figpathmoves"}](pics/pathmoves.eps)

![$Br$ moves for_broken surface diagrams, with crossing information suppressed.[]{data-label="figbranchmoves"}](pics/branchmoves.eps)

\[lembranch\]

a)_ \[branch1\] If $D \in \pB(\pL_0)$_then all valid pairs $(T,V)$_as in_Definition \[defcancel\] are related by_the $P$ moves_in Figure_\[figpathmoves\].

b)  \[branch2\]_The $Br3$, $Br4$, $Br5$ and $Br6$_moves can be_expressed in terms of $Ro1$, $Ro2$,_$Ro5^*$,_$Ro7$ and $Br1$_moves.

c)__\[branch3\] If_$D \in \pB(\pL_0)$_and_$E_1,E_2 \in_{\it_cancel}(D)$ then $E_1$ and $E_2$ are_related_by the $Ro1$, $Ro2$, $Ro5^*$, $Ro7$, $Br1$_and $Br2$ moves in_Figures_\[figrosemove\] and \[figbranchmoves\].

d) _\[branch4\] If $D_1,D_2 \in \pB(\pL_0)$,_$E_1 \in {\it cancel}(D_1)$, $E_2 \in_{\it cancel}(D_2)$_and $D_1$_and $D_2$ are related by