See e.g. [@Zin:qftcrit] for a treatment of ordinary $\phi^4$-theory.) We demonstrate that this diagram becomes finite for $q>1$. Our Hopf algebra of symmetries is $\SUq2$ under which $\Sq2$ is a homogeneous space as a right comodule. (We adopt the convention to denote the Hopf algebra of regular functions by the name of the (quantum) group or space.)

The Decomposition of $\SUq2$ and $\Sq2$ {#sec:suq2}
---------------------------------------

To prepare the ground we need to recall the construction of $\Sq2$ as a quantum homogeneous space under $\SUq2$ and the Peter-Weyl decomposition of the latter [@Koo:suq2; @MMNNU:suq2]. This will enable us to apply the machinery of the previous sections.

Recall that $\SUq2$ is the compact real form of $\SLq2$ for $q$ real which we assume in the following. (See Appendix \[app:suq2\] for the defining relations.) It is cosemisimple and there is one simple (right) comodule $V_l$ for each integer dimension, conventionally labelled by a half-integer $l$ such that the dimension is $2l+1$. Thus, the Peter-Weyl decomposition (\[eq:PeterWeyl\]) is $$\SUq2\cong \bigoplus_{l\in\frac{1}{2}\N_0} (V_l^*\tens V_l).$$

There is a Hopf $*$-algebra surjection $\pi:\SUq2\to\CZ$ corresponding to the diagonal inclusion in the commutative case. (See Appendix \[app:suq2\] for an explicit definition of $\pi$.) This defines the quantum 2-sphere $\Sq2$ as the right quantum homogeneous $*$-space ${{}^{\CZ}\SUq2}$. Under the coaction of $\CZ$ induced by $\pi$ the comodules $V_l$ decompose into inequivalent one-dimensional comodules classified by integers. (This is the usual representation theory of $\CZ$.) This determines up to normalisation a basis $\{v^{(l)}_n\}$ for $V_l$ with half-integers $n$ taking values $-l,-l+1,\ldots,l$.
See e.g.   [ @Zin: qftcrit ] for a treatment of ordinary $ \phi^4$-theory .) We attest that this diagram become finite for $ q>1$. Our Hopf algebra of symmetries is $ \SUq2 $ under which $ \Sq2 $ is a homogeneous space as a right comodule. (We assume the convention to denote the Hopf algebra of even functions by the name of the (quantum) group or space .) 

 The Decomposition of $ \SUq2 $ and $ \Sq2 $ { # sec: suq2 } 
 --------------------------------------- 

 To fix the ground we need to echo the construction of $ \Sq2 $ as a quantum homogeneous space under $ \SUq2 $ and the Peter - Weyl decay of the latter [ @Koo: suq2; @MMNNU: suq2 ]. This will enable us to apply the machinery of the previous section. 

 Recall that $ \SUq2 $ is the compact actual form of $ \SLq2 $ for $ q$ real which we assume in the pursuit. (See Appendix   \[app: suq2\ ] for the defining relation back .) It is cosemisimple and there is one elementary (right) comodule $ V_l$ for each integer dimension, conventionally labelled by a half - integer $ l$ such that the dimension is $ 2l+1$. Thus, the Peter - Weyl decay (\[eq: PeterWeyl\ ]) is $ $ \SUq2\cong \bigoplus_{l\in\frac{1}{2}\N_0 } (V_l^*\tens V_l).$$ 

 There is a Hopf $ * $ -algebra surjection $ \pi:\SUq2\to\CZ$ corresponding to the diagonal inclusion in the commutative case. (See Appendix   \[app: suq2\ ] for an denotative definition of $ \pi$.) This specify the quantum 2 - sphere $ \Sq2 $ as the right quantum homogeneous $ * $ -space $ { { } ^{\CZ}\SUq2}$. Under the coaction of $ \CZ$ induced by $ \pi$ the comodules $ V_l$ decompose into inequivalent one - dimensional comodules classified by integers. (This is the usual representation hypothesis of $ \CZ$.) This determine up to normalisation a footing $ \{v^{(l)}_n\}$ for $ V_l$ with half - integer $ n$ taking values $ -l,-l+1,\ldots, l$.
See e.g. [@Zin:qftcrit] for a treaument of ordinary $\phi^4$-themry.) We demonstfate that this diagram becomxs funite for $q>1$. Our Hopf algebrx of symmvtries is $\SUq2$ ynder whici $\Sq2$ is a homofcneouv space as a rinht comodula. (We adopt the cunrention to denote the Hopf algebra os regulsr functions by jhe nsie or the (quantum) group or space.)

The Dedomposiuion of $\SUq2$ and $\Sq2$ {#sec:suq2}
---------------------------------------

To prepare the groujd wf need to recall tje construcjjon if $\Sq2$ as a qjantum homogeneous spade under $\SUq2$ and the Peter-Weyl aecom'osition of tye pdtter [@Koo:suw2; @MMNGU:suq2]. This wlkl enatle us yo apply the mschmnert of the previous secvions.

Recall that $\SUq2$ is the cmm'act real form of $\SLq2$ fir $q$ teal fhicf we asauke in thf fkllowing. (Sse Appendix \[qpp:suq2\] for the defimigt relations.) If is cjsqmisimple and there is one simple (right) cojodule $V_l$ for each inteter dimension, conventlonally lwbelled by a half-integer $l$ such that the dimensiot is $2m+1$. Thbw, the Peher-Weyl decomposition (\[eq:PeterWeyl\]) is $$\SUq2\cong \fjgppkus_{l\in\frac{1}{2}\N_0} (V_l^*\bens V_l).$$

There is a Noof $*$-wlgebra surjeztion $\'j:\SHq2\to\CZ$ correspondijg to tre diqgonal inslusoon in the commutative case. (See Appendiq \[app:wuq2\] for an explicic definition of $\ki$.) Thix defines the quantum 2-s'here $\Aq2$ as the rlght quanfjm homogeneous $*$-soacv ${{}^{\CZ}\VUq2}$. Under the coaction of $\SZ$ inducev by $\'i$ the cumodoles $V_l$ decompose into inequivalent one-dilensilndl comodulfs classified by integers. (This mx the usual tepsesvntation cheory of $\CZ$.) This dqtermines up tp normajisatkon a basia $\{v^{(l)}_n\}$ fmr $V_l$ with ralf-integers $t$ taking valuxs $-l,-l+1,\ldotf,l$.
See e.g. [@Zin:qftcrit] for a treatment of We that this becomes finite for symmetries $\SUq2$ under which is a homogeneous as a right comodule. (We adopt convention to denote the Hopf algebra of regular functions by the name of (quantum) group or space.) The Decomposition of $\SUq2$ and $\Sq2$ {#sec:suq2} --------------------------------------- To the we to the construction of $\Sq2$ as a quantum homogeneous space under $\SUq2$ and the Peter-Weyl decomposition of latter [@Koo:suq2; @MMNNU:suq2]. This will enable us to the machinery of the sections. Recall that $\SUq2$ is compact form of for real we assume in following. (See Appendix \[app:suq2\] for the defining relations.) It is cosemisimple and there is one simple (right) $V_l$ for dimension, conventionally by half-integer such that the $2l+1$. Thus, the Peter-Weyl decomposition (\[eq:PeterWeyl\]) (V_l^*\tens V_l).$$ There is a Hopf $*$-algebra surjection corresponding to diagonal inclusion in the commutative case. Appendix \[app:suq2\] for an explicit definition of $\pi$.) defines the quantum 2-sphere $\Sq2$ as the right quantum homogeneous $*$-space ${{}^{\CZ}\SUq2}$. Under the coaction induced by $\pi$ the $V_l$ decompose into one-dimensional classified integers. is the representation theory of $\CZ$.) This determines up to normalisation a basis for $V_l$ with half-integers $n$ taking values $-l,-l+1,\ldots,l$.
See e.g. [@Zin:qftcrit] for a treatmEnt of ordinAry $\phI^4$-thEorY.) WE demOnstRate that this diAGram Becomes finite for $q>1$. Our HoPf algEbRA of sYMmEtrieS is $\SUq2$ uNDeR WHicH $\SQ2$ iS a hOmOGeNeous SpaCe as a riGht comodulE. (We AdOpt the convenTIoN to denote tHe HOpf algebra of RegUlar fuNcTioNS by thE naMe of tHe (quanTUm) grouP or space.)

THe dEcompoSItion of $\suQ2$ aNd $\Sq2$ {#Sec:suq2}
---------------------------------------

To prepare thE GrOUnd we need to recAll the CoNStRUCtiOn oF $\Sq2$ as a quanTuM homoGEneous sPAcE UNDer $\suq2$ and the Peter-weyl decompoSItiOn of thE lAttER [@Koo:suQ2; @MMNNu:sUQ2]. ThIs will enablE us tO apply the MachinERy of the PRevious SectioNs.

REcaLl thAT $\Suq2$ Is tHe COmpACt ReaL ForM of $\SLq2$ foR $q$ ReAl whiCh we ASSUMe in The FollOwing. (see Appendix \[apP:suQ2\] for THe dEfiniNg relAtioNs.) it is cOsemisImple AnD there is one simpLe (riGht) comoduLe $V_L$ fOr eAcH inteGEr dimeNsiOn, cOnventiOnally lABelLeD BY A hAlf-integer $l$ such thaT tHE DiMension iS $2l+1$. Thus, THe peTEr-Weyl deCoMpoSitiON (\[Eq:PetErWeYL\]) iS $$\SUq2\cong \BigoplUS_{l\In\Frac{1}{2}\N_0} (V_l^*\TeNs V_l).$$

ThErE is A HoPf $*$-algEBra sUrjectIon $\pi:\SUq2\To\CZ$ cORresponding to tHE diagonal inclUSiON In THe coMmuTative case. (SEe ApPEndiX \[app:SUq2\] For AN explIcit dEfINiTIon of $\pi$.) This defines tHe QuantuM 2-spheRe $\Sq2$ as the righT quantum hoMOGEneous $*$-spAce ${{}^{\Cz}\sUQ2}$. under the coactiOn of $\Cz$ induced by $\PI$ the comoDules $v_l$ decompOse into inEQUivalent One-DimEnsIonAL CoModules classiFIEd by InTegers. (THis Is the usUal RepResEntAtIon theory Of $\CZ$.) This DeTeRmInEs uP to noRMalisatiOn A baSiS $\{v^{(l)}_N\}$ for $V_L$ With haLf-intEgerS $n$ TaKIng Values $-l,-L+1,\LdOTS,l$.
See e.g. [@Zin:qftcrit] fo r a treatm ent o f o rdi na ry $ \phi ^4$-theory.) W e  dem onstrate that this dia grambe c omes fi nitefor $q> 1 $. O urHo pf  al ge b ra  of s ymm etriesis $\SUq2$  un de r which $\Sq 2 $is a homog ene ous space as  arightco mod u le. ( Weadopt  the c o nventi on to den ot e  the H o pf alge b r aof r egular functionsb yt he name of the  (quan tu m )g r oup  or  space.)
Th e Dec o mpositi o no f $\S U q2$ and $\Sq2 $ {#sec:suq 2 }
- ------ -- --- - ------ ----- -- - --- ---------
To p repare th e grou n d we ne e d to re call t hecon stru c ti on  of  $ \ Sq2 $  a s a qua ntum hom og en eousspac e u n der$\S Uq2$  andthe Peter-Wey l d ecom p osi tionof th e la tt er [@ Koo:su q2; @ MM NNU:suq2]. This  wil l enableusto  ap pl y the machin ery  of  the pr eviouss ect io n s . 
Recall that $\SUq2 $i s  t he compa ct rea l  f or m  of $\SL q2 $ f or $ q $  real  whi c hwe assum e in t h efo llowing .(See A pp end ix\[app : suq2 \] for  the def ining relations.) It is cosemisimp l ea n dt here  is  one simple  (ri g ht)como d ul e $ V _l$ f or ea ch in t eger dimension, con ve ntiona lly l abelled by ahalf-integ e r $l$ such  tha t  t h e dimension is  $2l+ 1$. Thus,t he Peter -Weyl  decompo sition (\ [ e q:PeterW eyl \])  is  $$ \ S Uq 2\cong \bigop l u s_{l \i n\frac{ 1}{ 2}\N_0}  (V _l^ *\t ens  V _l).$$

T here isaHo pf  $ *$- algeb r a surjec ti on$\ pi: \SUq2 \ to\CZ$  corr espo nd in g  to  the di a go n a l in cl us ioninth e com muta t ive  case.(See Appe ndi x  \[a pp :s uq2\] f or an explici tdefinition  o f $ \pi$.) T his defi nes the quantum 2-spher e  $\Sq2$  as  therigh t quantum  ho mogene ous $*$-sp ace ${ {}^{\ CZ }\S U q 2}$.U n de r t he  coactiono f  $\ CZ$ i nd uced  by $\p i$ the comodules $ V _l$  decompose in toineq u i va len t  o n e-d im e nsi o n al comodules cl assified b yi nt egers. (Th i s i sthe usu al repr esent a tion th eory of $ \CZ$.) Th is  det e r min es up to n ormalisa tion a ba s is $\ { v^ {(l)} _n\ }$ for  $ V_l $ wit h half - int egers  $n$ t ak ing va lues$- l,-l+1,\ ldots,l$.
See e.g. [@Zin:qftcrit]_for a_treatment of ordinary $\phi^4$-theory.)_We demonstrate_that_this diagram_becomes_finite for $q>1$._Our Hopf algebra_of symmetries is $\SUq2$_under which $\Sq2$_is_a homogeneous space as a right comodule. (We adopt the convention to denote the_Hopf_algebra of_regular_functions_by the name of the_(quantum) group or space.)

The Decomposition_of $\SUq2$_and $\Sq2$ {#sec:suq2}
---------------------------------------

To prepare the ground we need_to_recall the construction_of $\Sq2$ as a quantum homogeneous space under $\SUq2$_and the Peter-Weyl decomposition of the_latter [@Koo:suq2; @MMNNU:suq2]._This_will_enable us to apply_the machinery of the previous sections.

Recall_that $\SUq2$ is the compact real_form of $\SLq2$ for $q$ real which_we assume in the following. (See_Appendix \[app:suq2\] for the defining relations.)_It is_cosemisimple and there is one_simple (right) comodule_$V_l$ for_each integer dimension,_conventionally labelled by a half-integer $l$_such that the_dimension is $2l+1$. Thus, the Peter-Weyl_decomposition_(\[eq:PeterWeyl\]) is $$\SUq2\cong_\bigoplus_{l\in\frac{1}{2}\N_0}_(V_l^*\tens_V_l).$$

There is_a Hopf $*$-algebra_surjection_$\pi:\SUq2\to\CZ$ corresponding_to_the diagonal inclusion in the commutative_case._(See Appendix \[app:suq2\] for an explicit definition of_$\pi$.) This defines the_quantum_2-sphere $\Sq2$ as the_right quantum homogeneous $*$-space ${{}^{\CZ}\SUq2}$._Under the coaction of $\CZ$ induced_by $\pi$_the comodules_$V_l$ decompose into inequivalent one-dimensional comodules classified by integers. (This is_the usual representation theory of $\CZ$.)_This determines up to_normalisation a_basis_$\{v^{(l)}_n\}$ for $V_l$_with_half-integers $n$_taking values $-l,-l+1,\ldots,l$.