{H}_{1}\oplus\mathcal{H}_{2}}$$ is a C\*-algebra isomorphism, and hence $C^{\ast}\left(  \left\{  \tilde{x}_{1}^{\ast}\tilde{x}_{2},x_{1}^{\ast}x_{1}\right\}  \right)  $ is isomorphic to the pullback $\mathcal{T}\oplus_{C\left(  \mathbb{T}\right)  }\mathcal{T}$ of two copies of $\mathcal{T}\overset{\sigma}{\rightarrow}C\left(
\mathbb{T}\right)  $ with $\tilde{x}_{1}^{\ast}\tilde{x}_{2}$ corresponding to $\mathcal{S}\oplus\mathcal{S}$.

Proof. Clearly we only need to consider the case with $\mathcal{H}_{0}\neq0$.

Since $\tilde{x}_{1}^{\ast}\tilde{x}_{2}|_{\mathcal{H}_{0}}$ is unitary and $C\left(  \mathbb{T}\right)  $ is the universal C\*-algebra generated by a single unitary generator, there is a unique C\*-algebra homomorphism $$h:C\left(  \mathbb{T}\right)  \rightarrow C^{\ast}\left(  \left\{  \tilde
{x}_{1}^{\ast}\tilde{x}_{2}|_{\mathcal{H}_{0}}\right\}  \right)$$ sending $\mathrm{id}_{\mathbb{T}}$ to $\tilde{x}_{1}^{\ast}\tilde{x}_{2}|_{\mathcal{H}_{0}}$ while fixing all scalars in $\mathbb{C}\subset
C\left(  \mathbb{T}\right)  $.

Clearly with $x_{1}^{\ast}x_{1}|_{\mathcal{H}_{0}}=1$ and $x_{2}^{\ast}x_{2}|_{\mathcal{H}_{0}}=c$, $$h\circ\sigma:C^{\ast}\left(  \left\{  \tilde{x}_{1}^{\ast}\tilde{x}_{2},x_{1}^{\ast}x_{1}\right\}  \right)  |_{\mathcal{H}_{1}\oplus\mathcal{H}_{2}}\rightarrow C^{\ast}\left(  \left\{  \tilde{x}_{1}^{\ast}\tilde{x}_{2}|_{\mathcal{H}_{0}}\right\}  \
{ H}_{1}\oplus\mathcal{H}_{2}}$$ is a C\*-algebra isomorphism, and hence $ C^{\ast}\left (  \left\ {   \tilde{x}_{1}^{\ast}\tilde{x}_{2},x_{1}^{\ast}x_{1}\right\ }   \right)   $ is isomorphic to the pullback $ \mathcal{T}\oplus_{C\left (  \mathbb{T}\right)   } \mathcal{T}$ of two copies of $ \mathcal{T}\overset{\sigma}{\rightarrow}C\left (
 \mathbb{T}\right)   $ with $ \tilde{x}_{1}^{\ast}\tilde{x}_{2}$ corresponding to $ \mathcal{S}\oplus\mathcal{S}$. 

 validation. intelligibly we only need to think the lawsuit with $ \mathcal{H}_{0}\neq0$. 

 Since $ \tilde{x}_{1}^{\ast}\tilde{x}_{2}|_{\mathcal{H}_{0}}$ is unitary and $ C\left (  \mathbb{T}\right)   $ is the universal C\*-algebra beget by a unmarried unitary generator, there is a unique C\*-algebra homomorphism $ $ h: C\left (  \mathbb{T}\right)   \rightarrow C^{\ast}\left (  \left\ {   \tilde 
 { x}_{1}^{\ast}\tilde{x}_{2}|_{\mathcal{H}_{0}}\right\ }   \right)$$ transport $ \mathrm{id}_{\mathbb{T}}$ to $ \tilde{x}_{1}^{\ast}\tilde{x}_{2}|_{\mathcal{H}_{0}}$ while fixing all scalars in $ \mathbb{C}\subset 
 C\left (  \mathbb{T}\right)   $. 

 distinctly with $ x_{1}^{\ast}x_{1}|_{\mathcal{H}_{0}}=1 $ and $ x_{2}^{\ast}x_{2}|_{\mathcal{H}_{0}}=c$, $ $ h\circ\sigma: C^{\ast}\left (  \left\ {   \tilde{x}_{1}^{\ast}\tilde{x}_{2},x_{1}^{\ast}x_{1}\right\ }   \right)   |_{\mathcal{H}_{1}\oplus\mathcal{H}_{2}}\rightarrow C^{\ast}\left (  \left\ {   \tilde{x}_{1}^{\ast}\tilde{x}_{2}|_{\mathcal{H}_{0}}\right\ }   \
{H}_{1}\oppus\mathcal{H}_{2}}$$ is a C\*-algebrx isomorphism, aue hencx $C^{\ast}\lsft(  \lefg\{  \tilde{x}_{1}^{\ast}\tilde{x}_{2},x_{1}^{\ast}x_{1}\right\}  \eight)  $ is isomorphic to thd pullbacn $\mathcao{T}\opoys_{C\left(  \mefhbb{T}\rinkt)  }\mzbhcal{C}$ if two copies pf $\mathcal{D}\overset{\sigma}{\rhgftcrrow}C\left(
\mathbb{T}\right)  $ with $\tilde{x}_{1}^{\wst}\tildr{x}_{2}$ corresponding to $\kwthczl{S}\oplus\mathcal{S}$.

Proof. Clearly we ohly neev to consider tne case with $\mathcal{H}_{0}\neq0$.

Sijce $\hilde{x}_{1}^{\ast}\tilde{x}_{2}|_{\matjcal{H}_{0}}$ is unutarr and $C\left(  \oathbb{T}\right)  $ is the oniversal C\*-algebra generated by x sinyle unitary gwnegdtor, there ms a ugique C\*-algebvs homokorphisk $$h:C\left(  \mathnb{T}\rijht)  \rightarrow C^{\ast}\left(  \left\{  \tilde
{x}_{1}^{\ast}\tijde{x}_{2}|_{\mathcdl{K}_{0}}\right\}  \right)$$ sending $\mqthrm{hd}_{\madhbb{G}}$ to $\timdx{x}_{1}^{\aat}\tildf{x}_{2}|_{\methcal{H}_{0}}$ whime fixing aol scalars in $\mathbn{C}\flnset
C\left(  \mzthbb{T}\widht)  $.

Clearly with $x_{1}^{\ast}x_{1}|_{\mathcal{H}_{0}}=1$ and $x_{2}^{\asu}x_{2}|_{\matgcal{H}_{0}}=c$, $$h\circ\sigma:C^{\ast}\ledt(  \left\{  \tilde{x}_{1}^{\ast}\tipde{x}_{2},x_{1}^{\ast}x_{1}\wight\}  \right)  |_{\mathcal{H}_{1}\oplus\mathcal{H}_{2}}\rightarrow C^{\asd}\left(  \leyb\{  \ripde{x}_{1}^{\ast}\tilde{x}_{2}|_{\mathcal{H}_{0}}\right\}  \
{H}_{1}\oplus\mathcal{H}_{2}}$$ is a C\*-algebra isomorphism, and hence \tilde{x}_{1}^{\ast}\tilde{x}_{2},x_{1}^{\ast}x_{1}\right\} $ is to the pullback copies $\mathcal{T}\overset{\sigma}{\rightarrow}C\left( \mathbb{T}\right) $ $\tilde{x}_{1}^{\ast}\tilde{x}_{2}$ corresponding to Proof. Clearly we only need to the case with $\mathcal{H}_{0}\neq0$. Since $\tilde{x}_{1}^{\ast}\tilde{x}_{2}|_{\mathcal{H}_{0}}$ is unitary and $C\left( \mathbb{T}\right) $ is universal C\*-algebra generated by a single unitary generator, there is a unique C\*-algebra $$h:C\left( \rightarrow \left\{ {x}_{1}^{\ast}\tilde{x}_{2}|_{\mathcal{H}_{0}}\right\} \right)$$ sending $\mathrm{id}_{\mathbb{T}}$ to $\tilde{x}_{1}^{\ast}\tilde{x}_{2}|_{\mathcal{H}_{0}}$ while fixing all scalars in $\mathbb{C}\subset C\left( \mathbb{T}\right) $. Clearly $x_{1}^{\ast}x_{1}|_{\mathcal{H}_{0}}=1$ and $x_{2}^{\ast}x_{2}|_{\mathcal{H}_{0}}=c$, $$h\circ\sigma:C^{\ast}\left( \left\{ \tilde{x}_{1}^{\ast}\tilde{x}_{2},x_{1}^{\ast}x_{1}\right\} \right) |_{\mathcal{H}_{1}\oplus\mathcal{H}_{2}}\rightarrow \left\{ \tilde{x}_{1}^{\ast}\tilde{x}_{2}|_{\mathcal{H}_{0}}\right\} \
{H}_{1}\oplus\mathcal{H}_{2}}$$ is a C\*-algebra IsomorphisM, and hEncE $C^{\aSt}\Left(  \Left\{  \Tilde{x}_{1}^{\ast}\tilde{X}_{2},X_{1}^{\ast}X_{1}\right\}  \right)  $ is isomorphiC to thE pULlbaCK $\mAthcaL{T}\oplus_{c\LeFT(  \MatHbB{T}\RigHt)  }\MAtHcal{T}$ Of tWo copieS of $\mathcal{t}\ovErSet{\sigma}{\righTArRow}C\left(
\maThbB{T}\right)  $ with $\tIldE{x}_{1}^{\ast}\tIlDe{x}_{2}$ COrresPonDing tO $\mathcAL{S}\opluS\mathcal{S}$.

prOOf. CleaRLy we onlY NEeD to cOnsider the case witH $\MaTHcal{H}_{0}\neq0$.

Since $\tIlde{x}_{1}^{\aSt}\TIlDE{X}_{2}|_{\maThcAl{H}_{0}}$ is unitaRy And $C\lEFt(  \mathbB{t}\rIGHT)  $ is THe universal C\*-aLgebra generATed By a sinGlE unITary geNeratOr, THerE is a unique C\*-AlgeBra homomoRphism $$H:c\left(  \maTHbb{T}\rigHt)  \righTarRow c^{\ast}\LEfT(  \lEft\{  \TiLDe
{x}_{1}^{\ASt}\TilDE{x}_{2}|_{\mAthcal{H}_{0}}\rIgHt\}  \Right)$$ SendING $\MAthrM{id}_{\MathBb{T}}$ to $\Tilde{x}_{1}^{\ast}\tildE{x}_{2}|_{\mAthcAL{H}_{0}}$ wHile fIxing All sCaLars iN $\mathbB{C}\subSeT
C\left(  \mathbb{T}\riGht)  $.

CLearly witH $x_{1}^{\aSt}X_{1}|_{\maThCal{H}_{0}}=1$ aND $x_{2}^{\ast}x_{2}|_{\MatHcaL{H}_{0}}=c$, $$h\cirC\sigma:C^{\ASt}\lEfT(  \LEFt\{  \Tilde{x}_{1}^{\ast}\tilde{x}_{2},x_{1}^{\asT}x_{1}\RIGhT\}  \right)  |_{\maThcal{H}_{1}\OPlUs\MAthcal{H}_{2}}\rIgHtaRrow c^{\ASt}\lefT(  \lefT\{  \TiLde{x}_{1}^{\ast}\tIlde{x}_{2}|_{\mAThCaL{H}_{0}}\right\}  \
{H}_{1}\oplus\mathcal{H}_{ 2}}$$ is a  C\*- alg ebr aisom orph ism, and hence $C^{ \ast}\left(  \left\{ \tild e{ x }_{1 } ^{ \ast} \tilde{ x }_ { 2 },x _{ 1} ^{\ as t }x _{1}\ rig ht\}  \ right)  $isis omorphic tot he  pullback$\m athcal{T}\op lus _{C\le ft ( \ mathb b{T }\rig ht)  } \ mathca l{T}$ oftw o  copie s  of $\m a t hc al{T }\overset{\sigma} { \r i ghtarrow}C\lef t(
\ma th b b{ T } \ri ght )  $ with$\ tilde { x}_{1}^ { \a s t } \ti l de{x}_{2}$ co rresponding to$\math ca l{S } \oplus \math ca l {S} $.

Proof.Clea rly we on ly nee d  to con s ider th e case  wi th$\ma t hc al {H} _{ 0 }\n e q0 $.Sin ce $\til de {x }_{1} ^{\a s t } \ tild e{x }_{2 }|_{\ mathcal{H}_{0 }}$  isu nit ary a nd $C \lef t(   \ma thbb{T }\rig ht )  $ is the uni vers al C\*-al geb ra  ge ne rated by a s ing leunitary  genera t or,  t h e r eis a unique C\*-al ge b r ahomomorp hism $ $ h: C\ l eft(  \m at hbb {T}\ r i ght) \ri g ht arrow C^ {\ast} \ le ft (  \lef t\ {  \ti ld e
{ x}_ {1}^{ \ ast} \tilde {x}_{2}| _{\ma t hcal{H}_{0}}\r i ght\}  \right ) $$ s en d ing$\m athrm{id}_{ \mat h bb{T }}$t o$\t i lde{x }_{1} ^{ \ as t }\tilde{x}_{2}|_{\m at hcal{H }_{0} }$ while fixi ng all sca l a r s in $\m athb b {C } \subset
C\left (  \m athbb{T}\r i ght)  $. 

Cle arly wit h $x_{1}^ { \ ast}x_{1 }|_ {\m ath cal { H }_ {0}}=1$ and $ x _ {2}^ {\ ast}x_{ 2}| _{\math cal {H} _{0 }}= c$ , $$h\cir c\sigma: C^ {\ as t} \le ft( \ left\{ \t ild e{ x}_ {1}^{ \ ast}\t ilde{ x}_{ 2} ,x _ {1} ^{\ast} x _{ 1 } \rig ht \}   \r igh t)   |_{ \mat h cal {H}_{1} \oplus\ma thc a l{H} _{ 2} }\right arrow C^{\ast }\ left(  \le ft \{ \tild e { x}_{1}^{ \ast}\tilde{x}_{2}|_{\m a thcal{H }_{ 0}}\r ight \}  \
{H}_{1}\oplus\mathcal{H}_{2}}$$ is_a C\*-algebra_isomorphism, and hence $C^{\ast}\left(_ \left\{__\tilde{x}_{1}^{\ast}\tilde{x}_{2},x_{1}^{\ast}x_{1}\right\} _\right)_ $ is_isomorphic to the_pullback $\mathcal{T}\oplus_{C\left(  \mathbb{T}\right)_ }\mathcal{T}$ of_two_copies of $\mathcal{T}\overset{\sigma}{\rightarrow}C\left(
\mathbb{T}\right)  $ with $\tilde{x}_{1}^{\ast}\tilde{x}_{2}$ corresponding to $\mathcal{S}\oplus\mathcal{S}$.

Proof. Clearly we only need_to_consider the_case_with_$\mathcal{H}_{0}\neq0$.

Since $\tilde{x}_{1}^{\ast}\tilde{x}_{2}|_{\mathcal{H}_{0}}$ is unitary and_$C\left(  \mathbb{T}\right)  $_is the_universal C\*-algebra generated by a single unitary generator,_there_is a unique_C\*-algebra homomorphism $$h:C\left(  \mathbb{T}\right)  \rightarrow C^{\ast}\left( _\left\{  \tilde
{x}_{1}^{\ast}\tilde{x}_{2}|_{\mathcal{H}_{0}}\right\}  \right)$$ sending_$\mathrm{id}_{\mathbb{T}}$ to $\tilde{x}_{1}^{\ast}\tilde{x}_{2}|_{\mathcal{H}_{0}}$_while_fixing_all scalars in $\mathbb{C}\subset
C\left(_ \mathbb{T}\right)  $.

Clearly with $x_{1}^{\ast}x_{1}|_{\mathcal{H}_{0}}=1$_and $x_{2}^{\ast}x_{2}|_{\mathcal{H}_{0}}=c$, $$h\circ\sigma:C^{\ast}\left(  \left\{ _\tilde{x}_{1}^{\ast}\tilde{x}_{2},x_{1}^{\ast}x_{1}\right\}  \right)  |_{\mathcal{H}_{1}\oplus\mathcal{H}_{2}}\rightarrow C^{\ast}\left( _\left\{  \tilde{x}_{1}^{\ast}\tilde{x}_{2}|_{\mathcal{H}_{0}}\right\}  \