P_2\rightarrow H_1\times H_2$. Therefore a model of $S(H_1\times H_2)$ is given by $Q_1\times Q_2/{\mathbb{Z}}/2{\mathbb{Z}}\times_{Spin(n_1)\times Spin(n_2)/{\mathbb{Z}}/2{\mathbb{Z}}}\Delta$. Writing out this explicitely gives the isomorphism $${\mathcal{S}}(H_1)*(H_2,S(H_2))\cong {\mathcal{S}}(H_1\times H_2)\.$$ The second assertion of 4. follows from 1.

Note that this argument shows more. Namely, once we have fixed the models for $\Delta_i$ and the representatives of spin structures $Q_i$ there are canonical models of $S(H_i)$ and $S(H_1\times H_2)$ such that the isomorphism ${\mathcal{S}}(H_1)*(H_2,S(H_2))\cong {\mathcal{S}}(H_1\times
H_2)$ is canonical. This will be employed in the proof of 2. Assume that we have chosen $\Delta_i$ and $Q_i$ as in 4. If $N$ is a spin manifold, then in addition we choose a representative of the spin structure of $N$ and a model $\Delta_0$ of the corresponding spinor module. Furthermore, we must choose an isomorphism $\Delta_0*(\Delta_1*\Delta_2)\cong (\Delta_0*\Delta_1)*\Delta_2$. Then after fixing these choices we have a sequence of canonical isomorphisms $$\begin{aligned}
({\mathcal{S}}(N)*(H_1,S(H_1)))*(H_2,S(H_2))&\cong& {\mathcal{S}}(N\times H_1)*(H_2,S(H_2))
\\&\cong& {\mathcal{S}}((N\times H_1)\times
H_2))\\&\stackrel{*}{\cong}& 
{\mathcal{S}}(N\times (H_1\times H_2))\\&\cong&
 {\mathcal{S}}(N)*(H_1\times H_2,S(H_1\times H_2))\,\end{aligned}$$ where $*$ depends on the associativity isomorphism above
P_2\rightarrow H_1\times H_2$. Therefore a model of $ S(H_1\times H_2)$ is given by $ Q_1\times Q_2/{\mathbb{Z}}/2{\mathbb{Z}}\times_{Spin(n_1)\times Spin(n_2)/{\mathbb{Z}}/2{\mathbb{Z}}}\Delta$. Writing out this explicitely give the isomorphism $ $ { \mathcal{S}}(H_1)*(H_2,S(H_2))\cong { \mathcal{S}}(H_1\times H_2)\.$$ The second affirmation of 4. follows from 1. 

 Note that this controversy prove more. Namely, once we have fixed the models for $ \Delta_i$ and the example of tailspin structures $ Q_i$ there are canonical models of $ S(H_i)$ and $ S(H_1\times H_2)$ such that the isomorphism $ { \mathcal{S}}(H_1)*(H_2,S(H_2))\cong { \mathcal{S}}(H_1\times 
 H_2)$ is canonical. This will be hire in the proof of 2. Assume that we have choose $ \Delta_i$ and $ Q_i$ as in 4. If $ N$ is a tailspin manifold, then in addition we choose a representative of the tailspin structure of $ N$ and a exemplar $ \Delta_0 $ of the comparable spinor module. Furthermore, we must choose an isomorphism $ \Delta_0*(\Delta_1*\Delta_2)\cong (\Delta_0*\Delta_1)*\Delta_2$. Then after fixing these choices we own a sequence of canonical isomorphism $ $ \begin{aligned } 
 ({ \mathcal{S}}(N)*(H_1,S(H_1)))*(H_2,S(H_2))&\cong & { \mathcal{S}}(N\times H_1)*(H_2,S(H_2) ) 
 \\&\cong & { \mathcal{S}}((N\times H_1)\times 
 H_2))\\&\stackrel{*}{\cong } & 
 { \mathcal{S}}(N\times (H_1\times H_2))\\&\cong & 
  { \mathcal{S}}(N)*(H_1\times H_2,S(H_1\times H_2))\,\end{aligned}$$ where $ * $ depends on the associativity isomorphism above
P_2\rihhtarrow H_1\times H_2$. Therefure a model of $S(H_1\times H_2)$ is fiven by $Q_1\times Q_2/{\mathbb{Z}}/2{\mathbb{Z}}\times_{Dpun(n_1)\tines Spin(n_2)/{\mathbb{Z}}/2{\mathbb{X}}}\Delta$. Wrpting out thiw explicitely gives the ialmor'hmsm $${\mathcal{S}}(H_1)*(H_2,S(M_2))\cong {\mathcdl{S}}(H_1\times H_2)\.$$ Tha reeond assertion of 4. follows from 1.

Note that tnid argument shors mpwe. Nzmely, once we have fixed the modela for $\Dtlta_i$ and the reprrsentatives of spin structkres $Q_i$ there are canojical modelw of $W(H_i)$ and $S(H_1\tioes H_2)$ such that the iskmorphism ${\mathcal{S}}(H_1)*(H_2,S(H_2))\cong {\mathzal{S}}(H_1\cimes
H_2)$ is cqninifdl. This wilo be vmployed in tmv proof of 2. Asxume that we hsve chisen $\Delta_i$ and $Q_i$ as in 4. If $N$ is a spig manifolg, chen in addition we cyoise a repsesevratkve oh tge spij svructure of $N$ and a moeel $\Delta_0$ of the cotrqwponding spinkr modtlq. Furthermore, we must choose an isomorpvisj $\Delta_0*(\Delta_1*\Delta_2)\cong (\Dwlta_0*\Delta_1)*\Delta_2$. Then avter fixigg these choices we have a sequence of canonical hsomocpfisns $$\cwgln{aligned}
({\mathcal{S}}(N)*(H_1,S(H_1)))*(H_2,S(H_2))&\cong& {\mathcal{S}}(N\times H_1)*(R_2,A(H_2))
\\&\vokg& {\mathcal{S}}((N\timef H_1)\times
H_2))\\&\stscnrrj{*}{\cong}& 
{\mathcal{R}}(N\times (H_1\fimes H_2))\\&\cong&
 {\mathcap{S}}(N)*(H_1\timgs H_2,S(H_1\rimes H_2))\,\enq{alibned}$$ where $*$ depends on the qssociativitj isimorphism above
P_2\rightarrow H_1\times H_2$. Therefore a model of is by $Q_1\times Spin(n_2)/{\mathbb{Z}}/2{\mathbb{Z}}}\Delta$. Writing out $${\mathcal{S}}(H_1)*(H_2,S(H_2))\cong H_2)\.$$ The second of 4. follows 1. Note that this argument shows Namely, once we have fixed the models for $\Delta_i$ and the representatives of structures $Q_i$ there are canonical models of $S(H_i)$ and $S(H_1\times H_2)$ such that isomorphism {\mathcal{S}}(H_1\times is This will be employed in the proof of 2. Assume that we have chosen $\Delta_i$ and as in 4. If $N$ is a spin then in addition we a representative of the spin of and a $\Delta_0$ the spinor module. Furthermore, must choose an isomorphism $\Delta_0*(\Delta_1*\Delta_2)\cong (\Delta_0*\Delta_1)*\Delta_2$. Then after fixing these choices we have a sequence of canonical $$\begin{aligned} ({\mathcal{S}}(N)*(H_1,S(H_1)))*(H_2,S(H_2))&\cong& \\&\cong& {\mathcal{S}}((N\times H_2))\\&\stackrel{*}{\cong}& (H_1\times {\mathcal{S}}(N)*(H_1\times H_2,S(H_1\times H_2))\,\end{aligned}$$ depends on the associativity isomorphism above
P_2\rightarrow H_1\times H_2$. TherefoRe a model of $s(H_1\timEs H_2)$ Is gIvEn by $q_1\timEs Q_2/{\mathbb{Z}}/2{\mathBB{Z}}\tiMes_{Spin(n_1)\times Spin(n_2)/{\mathBb{Z}}/2{\maThBB{Z}}}\DeLTa$. writiNg out thIS eXPLicItElY giVeS ThE isomOrpHism $${\matHcal{S}}(H_1)*(H_2,S(H_2))\cOng {\MaThcal{S}}(H_1\times h_2)\.$$ thE second assErtIon of 4. follows FroM 1.

Note tHaT thIS arguMenT showS more. NAMely, onCe we have fIxED the moDEls for $\DELTa_I$ and The representativeS Of SPin structures $Q_I$ there ArE CaNONicAl mOdels of $S(H_i)$ AnD $S(H_1\tiMEs H_2)$ such THaT THE isOMorphism ${\mathcAl{S}}(H_1)*(H_2,S(H_2))\cong {\MAthCal{S}}(H_1\tImEs
H_2)$ IS canonIcal. THiS WilL be employed In thE proof of 2. ASsume tHAt we havE Chosen $\DElta_i$ aNd $Q_I$ as In 4. If $n$ Is A sPin MaNIfoLD, tHen IN adDition we ChOoSe a rePresENTATive Of tHe spIn strUcture of $N$ and a ModEl $\DeLTa_0$ oF the cOrresPondInG spinOr moduLe. FurThErmore, we must choOse aN isomorphIsm $\deLta_0*(\deLta_1*\DeLTa_2)\cong (\delTa_0*\DElta_1)*\DelTa_2$. Then aFTer FiXING tHese choices we have a SeQUEnCe of canoNical iSOmOrPHisms $$\begIn{AliGned}
({\MAThcal{s}}(N)*(H_1,S(h_1)))*(h_2,S(h_2))&\cong& {\matHcal{S}}(N\TImEs h_1)*(H_2,S(H_2))
\\&\conG& {\mAthcal{s}}((N\TimEs H_1)\Times
h_2))\\&\StacKrel{*}{\coNg}& 
{\mathcaL{S}}(N\tiMEs (H_1\times H_2))\\&\cong&
 {\mAThcal{S}}(N)*(H_1\times h_2,s(H_1\TIMeS h_2))\,\end{AliGned}$$ where $*$ dePendS On thE assOCiAtiVIty isOmorpHiSM aBOve
P_2\rightarrow H_1\times H _2$. There forea m ode lof $ S(H_ 1\times H_2)$i s gi ven by $Q_1\times Q_2/ {\mat hb b {Z}} / 2{ \math bb{Z}}\ t im e s _{S pi n( n_1 )\ t im es Sp in( n_2)/{\ mathbb{Z}} /2{ \m athbb{Z}}}\D e lt a$. Writin g o ut this expl ici tely g iv est he is omo rphis m $${\ m athcal {S}}(H_1) *( H _2,S(H _ 2))\con g {\ math cal{S}}(H_1\times H_ 2 )\.$$ The seco nd ass er t io n of4.follows fr om  1.
N ote tha t  t h i s  ar g ument shows m ore. Namely ,  on ce weha vef ixed t he mo de l s f or $\Delta_ i$ a nd the re presen t ativeso f spinstruct ure s $ Q_i$ th er e a re can o ni cal mod els of $ S( H_ i)$ a nd $ S ( H _ 1\ti mes  H_2 )$ su ch that the i som orph i sm${\ma thcal {S}} (H _1)*( H_2,S( H_2)) \c ong {\mathcal{S }}(H _1\timesH_2 )$  is  c anoni c al. Th iswil l be em ployedi n t he p r oo f of 2. Assume tha tw e  h ave chos en $\D e lt a_ i $ and $Q _i $ a s in 4 . If$N$i sa spin m anifol d ,th en in a dd itionwe  ch oos e a r e pres entati ve of th e spi n  structure of$ N$ and a mode l  $ \ D el t a_0$  of  the corres pond i ng s pino r  m odu l e. Fu rther mo r e, we must choose an i so morphi sm $\ Delta_0*(\Del ta_1*\Delt a _ 2 )\cong ( \Del t a_ 0 *\Delta_1)*\De lta_2 $. Then af t er fixin g the se choic es we hav e a sequen ceofcan oni c a lisomorphisms$ $ \beg in {aligne d}({\math cal {S} }(N )*( H_ 1,S(H_1)) )*(H_2,S (H _2 )) &\ con g& {\ m athcal{S }} (N\ ti mes  H_1) * (H_2,S (H_2) )
\\ &\ co n g&{\mathc a l{ S } }((N \t im es H _1) \t imesH_2) ) \\& \stackr el{*}{\co ng} &  
{\ ma th cal{S}} (N\times (H_1 \t imes H_2)) \\ &\c ong&
{ \ mathcal{ S}}(N)*(H_1\times H_2,S ( H_1\tim esH_2)) \,\e nd{aligne d}$ $ wher e $ * $ depe nds on  theas soc i a tivit y is omo rp hism above 
P_2\rightarrow H_1\times_H_2$. Therefore_a model of $S(H_1\times_H_2)$ is_given_by $Q_1\times_Q_2/{\mathbb{Z}}/2{\mathbb{Z}}\times_{Spin(n_1)\times_Spin(n_2)/{\mathbb{Z}}/2{\mathbb{Z}}}\Delta$. Writing out_this explicitely gives_the isomorphism $${\mathcal{S}}(H_1)*(H_2,S(H_2))\cong {\mathcal{S}}(H_1\times_H_2)\.$$ The second_assertion_of 4. follows from 1.

Note that this argument shows more. Namely, once we have_fixed_the models_for_$\Delta_i$_and the representatives of spin_structures $Q_i$ there are canonical_models of_$S(H_i)$ and $S(H_1\times H_2)$ such that the isomorphism_${\mathcal{S}}(H_1)*(H_2,S(H_2))\cong_{\mathcal{S}}(H_1\times
H_2)$ is canonical._This will be employed in the proof of 2._Assume that we have chosen $\Delta_i$_and $Q_i$ as_in_4._If $N$ is a_spin manifold, then in addition we_choose a representative of the spin_structure of $N$ and a model $\Delta_0$_of the corresponding spinor module. Furthermore,_we must choose an isomorphism_$\Delta_0*(\Delta_1*\Delta_2)\cong (\Delta_0*\Delta_1)*\Delta_2$._Then after fixing these choices_we have a_sequence of_canonical isomorphisms $$\begin{aligned}
({\mathcal{S}}(N)*(H_1,S(H_1)))*(H_2,S(H_2))&\cong&_{\mathcal{S}}(N\times H_1)*(H_2,S(H_2))
\\&\cong& {\mathcal{S}}((N\times H_1)\times
H_2))\\&\stackrel{*}{\cong}& 
{\mathcal{S}}(N\times (H_1\times_H_2))\\&\cong&
 {\mathcal{S}}(N)*(H_1\times H_2,S(H_1\times_H_2))\,\end{aligned}$$ where $*$ depends on the_associativity_isomorphism above