arxiv:hep-th/ v4 1 Oct 2003

Transcription

1 Preprint typeset in JHEP style - HYPER VERSION SU DIAS-0- Noncommuttive Chirl Anomly nd The Dirc-Ginsprg-Wilson Opertor rxiv:hep-th/009v4 Oct 003 Bdis Ydri School of Theoreticl Physics, Dublin Institute for Advnced Studies, 0 Burlington Rod, Dublin 4, Irelnd. E-mil : ydri@synge.stp.dis.ie. Abstrct: It is shown tht the locl xil nomly in dimensions emerges nturlly if one postultes n underlying noncommuttive fuzzy structure of spcetime. In prticulr the Dirc-Ginsprg-Wilson reltion on S F is shown to contin n edge effect which corresponds precisely to the fuzzy U( A xil nomly on the fuzzy sphere. We lso derive novel guge-covrint expnsion of the qurk propgtor in the form D AF = ˆΓ L + D A where = l+ is the lttice spcing on S F, ˆΓ L is the covrint noncommuttive chirlity nd D A is n effective Dirc opertor which hs essentilly the sme IR spectrum s D AF but differes from it on the UV modes. Most remrkbly is the fct tht both opertors shre the sme limit nd thus the bove covrint expnsion is not vilble in the continuum theory. The first bit in this expnsion ˆΓ L lthough it vnishes s it stnds in the continuum limit, its contribution to the nomly is exctly the cnonicl thet term. The contribution of the propgtor D A is on the other hnd equl to the toplogicl Chern-Simons ction which in two dimensions vnishes identiclly. Keywords: Locl Anomly, Fuzzy Physics, Noncommuttive Field Theory nd Geometry.

2 Contents. Introduction. The Fuzzy Sphere. Algebr. Str Product 5 3. Fuzzy Actions 6 3. Guge Fields on S F 6 3. Fermion Doubling 7 4. Quntum Chirl Symmetry on S F 9 4. Fermion Propgtor 9 4. The Dirc-Ginsprg-Wilson Reltion on S F Guge-Covrint Axil Current 5. The Continuum Limit 3 5. Guge Covrint Expnsion on S F 3 5. Locl Axil Anomly The Chern-Simons Action 7 6. Conclusion 7. Appendix. Introduction Fuzzy physics [[, 3], see lso [4] nd references therein ], like lttice guge theories, is iming for nonperturbtive regulriztion of chirl guge theories. Discretiztion in fuzzy physics is chieved by treting the underlying spcetimes s phse spces then quntizing them in cnonicl fshion which mens in prticulr tht we re effectively replcing the underlying spcetimes by non-commuttive mtrix models or fuzzy mnifolds [4]. As consequence, this regulriztion will preserve ll symmetries nd topologicl fetures of the problem. Indeed fuzzy spce is by construction discrete lttice-like structure which serves to regulrize, it llows for n exct chirl invrince to be formulted, but still the fermion-doubling problem is completely voided [7]. Globl chirl nomlies on these models were, long with other topologicl nontrivil field configurtions, formulted in [8, 9, 5, 9], while locl nomly on fuzzy S F ws treted first in [6] then in [6, 7]. The relevnce of Ginsprg-Wilson reltions in

3 noncommuttive mtrix models ws noted first in [7] nd [8] then in [6]. In this rticle we will show tht despite the fct tht the concept of point is lcking on fuzzy S, we cn go beyond globl considertions nd define fuzzy xil nomly ssocited with fuzzy U( globl chirl symmetry. The pln of the pper is s follows. Section contins brief description of fuzzy S nd its str product. Fuzzy U( guge theory nd fermion ction on S F re introduced in section 3 where we lso show the bsence of the fermion doubling problem on S F. The Dirc-Ginsprg-Wilson reltion on S F nd the corresponding fuzzy chirl trnsformtions s well s the fuzzy U( A xil nomly re discussed in section 4. In Section 5 we derive novel guge-covrint expnsion of the qurk propgtor nd show explicitly tht no nlogous expnsion exists in the continuum theory. The continuum limit is computed in this section where beside the cnonicl thet term we obtin the Chern-Simons ction which vnishes identiclly in two dimensions. We conclude in section 6.. The Fuzzy Sphere. Algebr The dimensionl continuum sphere is the co-djoint orbit of SU( through the Puli mtrix σ 3 nd thus it dmits symplectic structure which cn be quntized in cnonicl fshion to give the so-clled fuzzy sphere. We now explin briefly this result. We cn define S by the projector P = + n t with t = σ since for exmple the requirement P = P gives precisely the defining eqution of S s surfce embedded in R 3, nmely n =. At the north pole of S, nmely t n 0 = (0,0,, this projector is P 0 = dig(,0 which projects down to the stte n 0, >= (,0 of the dimensionl Hilbert spce H of the fundmentl representtion of SU(. A generl point n of S is obtined by n = g n 0 where g SU(. The corresponding stte in H is n, >= g n 0, >. The projector on this stte is P = n, >< n, = gp 0g + provided gσ 3 g + = n σ. (. From this expression it is cler tht S is indeed given by SU(/U(, nd tht points n S re equivlence clsses n = [g] = [gh] where h U(, i.e S is the co-djoint orbit of SU( through σ 3. n, > nd n 0, > re the fundmentl coherent sttes t n nd n 0 respectively. Roughly speking these sttes will replce the points n nd n 0 when we go to the noncommuttive fuzzy sphere. It is not difficult to see tht the symplectic -form on S given by ω l ǫ bcn c dn dn b = ldcosθ dφ where l is n undetremined non-zero rel number nd with θ nd φ being the usul ngle coordintes, cn lso be rewritten in the form ω = ild(trσ 3 g(σ,t dg(σ,t where t is time vrible nd σ is prmeter in the rnge [0,]. This mens in prticulr tht the quntiztion of the bove symplectic -form ω is equivlent to the quntiztion of the Wess-Zumino term ( L = iltr σ 3 g ġ. (.

4 Indeed if we define tringle in the plne (t,σ by its boundries = (σ,t, = (σ,t nd 3 = (,t then it is trivil exercise to show tht t S WZ = ω = Ldt + il Trσ 3 (g(σ,t σ g(σ,t g(σ,t σ (σ,t. (.3 t 0 It is known result tht the quntiztion of the bove Wess-Zumino Lgrngin (. will give ll SU( irreducible representtions with spins s l, i.e the vlues of l in the quntum theory become strictly quntized. The physicl wve functions of the quntum system re complex vlued functions on SU( of the form ψ(g = l m= l C m < lm U (l (g ll >, (.4 with sclr product defined by (ψ,ψ = SU( dµ(gψ (g ψ (g where dµ is the Hr mesure on SU(. U (l (g is the IRR l of g SU(. Obviously < lm U (l (g ll > trnsforms s the heighest weight stte (l,l under the right ction g gg of the group g SU(, while under the left ction g g g, {< lm U (l (g ll >} trnsforms s bsis of the Hilbert spce H l of the (l + dimensionl IRR of SU(. This left ction is clerly generted by the usul ngulr moment of SU( in the IRR l, nmely Explicitly this ction is given by [L,L ] = iǫ bc L c, [il ψ](g = 3 L = l(l +. (.5 = [ ( ] d dt ψ e i σ t g. (.6 t=0 The lgebr A of ll observbles of the system is the lgebr of liner opertors which ct on the left of ψ(g by left trnsltions, i.e n rbitrry liner opertor φ F A will dmit in generl n expnsion of the form φ F =,.. k α.. k L...L k. (.7 The sum in (.7 s we will check shortly is ctully cut-off. The lgebr A of ll observbles of the system is therefore mtrix lgebr Mt l+, while physicl wve functions spn (l + dimensionl Hilbert spce H l on which these observbles re nturlly cting [ see [4] nd references therein for more detil ]. We define the noncommuttive fuzzy sphere by Connes spectrl triple (Mt l+,h l, F []. The mtrix lgebr Mt l+ is the bove lgebr A of (l+ (l+ mtrices which cts on the (l+ dimensionl Hilbert spce H l of the IRR l of SU(. Mtrix coordintes on S F re defined by [, 3, 4] (n F + (n F + (n F 3 =, [n F,n F ] = i l(l + ǫ bc n F c, (.8 3

5 with n F = L l(l +. (.9 A fuzzy function on S F is liner opertor φf Mt l+ which cn lso be defined by n expnsion of the form (.7. Derivtions on S F re on the other hnd defined by the genertors of the djoint ction of SU(, in other words the derivtive of the fuzzy function φ F in the spce-time direction is the commuttor [L,φ F ]. This cn lso be put in the form AdL (φ F [L,φ F ] = (L L LR (φf, (.0 where L L s nd LR s re the genertors of the IRR l of SU( which ct respectively on the left nd on the right of the lgebr Mt l+, i.e L L φ F L φ F, L R φ F φ F L for ny φ F Mt l+. Hence the Lplcin opertor F on the fuzzy sphere is simply given by the Csimir opertor F = (L L L R. (. The lgebr of mtrices Mt l+ decomposes therefore under the ction of the group SU( s l l = 0.. l [ The first l stnds for the left ction of the group while the other l stnds for the right ction ]. As consequence generl sclr function on S F cn be expnded in terms of polriztion tensors s follows φ F = l k k=0 m= k φ km Ŷ km (l. (. [ For n extensive list of the properties of Ŷkm(l s see [5] ]. This expnsion is equivlent to (.7 but now the cut-off is mde explicit. The fct tht the summtion over k involves only ngulr moment which re l origintes from the fct tht the spectrum k(k + of the Lplcin F is cut-off t k = l. As we will show in this rticle this rottionlly-invrint cut-off is non-trivil in the sense tht it respects both guge nd chirl symmetries. As one cn lredy notice ll these definitions re in very close nlogy with the cse of continuum S where the lgebr of functions A plys there the sme role plyed here by the mtrix lgebr Mt l+. In fct the continuum limit is defined by l where the fuzzy coordintes n F s pproch the ordinry coordintes n s nd where the lgebr Mt l+ tends to the lgebr A in the sense tht φ F φ( n = k k=0 m= k φ km Y km ( n. (.3 In bove Y km ( n stnds for the cnonicl sphericl hrmonics. Correspondingly fuzzy derivtions reduce to ordinry ones on commuttive S, i.e dl (φ F L (φ( n, L = iǫ bc n b c. Formlly one writes A = Mt nd think of the fuzzy sphere s hving finite number of points equl to l + which will diverge in the continuum limit l. 4

6 . Str Product To mke the continuum limit more precise we will need to introduce the str product on S F. The irreducible representtion l of SU( cn be obtined from the symmetric product of l fundmentl representtions of SU(. Given n element g SU(, its l representtion mtrix U (l (g is given s follows U (l (g = U ( (g s... s U ( (g,l times. (.4 U ( (g is the spin representtion of g SU(. Clerly the sttes n 0, > nd n, >= g n 0, > of H will correspond in H l to the two sttes n 0,l > nd n,l > respectively such tht n,l >= U (l (g n 0,l >. (.5 To ny fuzzy sclr function φ F on S F, i.e n opertor φf cting on H l, we ssocite clssicl function < φ F > ( n on clssicl S by < φ F > ( n =< n,l φ F n,l >, (.6 such tht the product of two such opertors φ F nd φf the corresponding two functions is mpped to the str product of < φ F > < φ F > ( n =< n,l φ F φ F n,l >. (.7 A long clcultion shows tht this str product is given explicitly by [] l < φ F > < φf > ( n = k=0 (l k! k!(l! K b...k k b k n... n < φf > ( n k n b... n b < φf > ( n k K b = δ b n n b iǫ bc n c. (.8 In these coherent sttes one cn lso compute < n F >= n, < [L,φ F ] >= (L < φ F >( n, (.9 + l nd l + Tr lφ F φ F dω = S 4π < φf > < φ F > ( n. (.0 The trce Tr l is obviously tken over the Hilbert spce H l. Remrk finlly tht the coherent stte n,l > becomes loclized round the point n in the limit nd s consequence Lim < n F >= n, Lim < φ F >= φ nd Lim < [L,φ ] >= L φ, etc. In this limit the str product reduces lso to the ordinry product of functions. 5

7 3. Fuzzy Actions 3. Guge Fields on S F Next we would like to write down the Schwinger model on S F. First we introudce dimensionl guge fields on the fuzzy sphere nd their ction. A vector field A F on the fuzzy sphere cn be ( similrly to sclr fields defined by n expnsion in terms of polriztion tensors of the form A F = l k k=0 m= k A (kmŷkm(l, A F+ = A F. (3. In the continuum limit this expnsion reduces to A ( n = k k=0 m= k A (kmy km ( n. Ech component A F is (l + (l + mtrix nd the modes A (km re complex numbers stisfying A (km = ( m A (k m where for ech momentum (km the corresponding triple (A F (km,af (km,af 3 (km trnsforms s n SO(3 vector. We hve lso to note here tht much nturl expnsion of vector fields on the finite dimensionl fuzzy sphere cn be given insted in terms of vector polriztion tensors [5]. The expnsion (3. is however enough for the purpose of this rticle since we will mostly del with the fermion ction. Writing guge principle for this mtrix vector field is not difficult, indeed the ction tkes the usul form S Y MF = 4e l + Tr lf F b F F b. (3. The curvture Fb F F+ = Fb is lso given by the usul formul Fb F [DF,Db F] iǫ bcdc F with the covrint derivtive D F = L +A F or equivlently Fb F = [L,A F b ] [L b,a F ]+[A F,A F b ] iǫ bc A F c. Guge trnsformtions re implemented by unitry trnsformtions cting on the (l + dimensionl Hilbert spce of the irreducible representtion l of SU(. These trnsformtions re D F DF = U F D FUF+, A F AF = U F A F UF+ + U F [L,U F+ ] nd Fb F F F b = UF Fb F UF+ where U F = e iωf nd Ω F = Ω F+ is n element of the lgebr Mt l+ of (l+ (l+ mtrices. U F s define then fuzzy U( guge theory. Clerly U( F U(l +. It is not difficult to convince ourselves tht (3. hs the correct continuum limit, nmely S Y MF S Y M = dω 4e S 4π F bf b, l. (3.3 For exmple one cn use the str product (.8 on S F to see tht A = Lim l < A F > nd F b = Lim l < Fb F >= L A b L b A iǫ bc A c. Also by using (.0 it is seen tht the trce l+ Tr l behves s the integrl dω S 4π in the limit where the str product becomes the commuttive product. A finl remrk concerning vector fields is to note tht the guge field A F hs three components nd hence n extr condition is needed in order to project this guge field onto 6

8 two dimensions. One dopts here the prescription of [], i.e we impose on the guge filed A F the guge-covrint condition D F DF = l(l +. (3.4 This constrint reds explicitely {n F,A F } = ( A F / l(l +, nd thus it is not difficult to check tht in the continuum limit l the norml component of the guge field is zero, i.e φ n. A = Fermion Doubling In close nlogy with the free fermion ction on ordinry S, free fermion ction on fuzzy S is defined by S F = l + Tr l ψ F D F ψ F, D F = σ [L,...] +. (3.5 D F is precisely the Dirc opertor on fuzzy S [4, 7, 8, 9], nd σ i s re Puli mtrices. The fuzzy spinor ψ F is n element of Mt l+ C, it is of mss dimension (mss nd is such tht ψ F = ψ + F. The so-clled Grosse-Klimčík-Prešnjder Dirc opertor D F on fuzzy S dmits chirlity opertor which cn be seen s follows, first we rewrite D F in the form [7, 4, 8, 9] where Γ R nd Γ L re the opertors l + D F = (ΓR + Γ L, (3.6 Γ L = l + [ σ. L L + ], ΓR = l + [ σ. L R + ]. (3.7 By nlogy with (.9 we lso define n L = LL nd n R l(l+ = LR with obvious con- l(l+ tinuum limits, i.e n L,n R n when l ( since the left nd right ctions become identicl in the limit. Remrk tht one cn lso mke the identifiction L L L, n L nf. In generl ll opertors cting from the left cn be thought of s elements of the lgebr Mt l+. Γ R is the chirlity opertor s ws shown originlly in [0], this choice is lso motivted by the fct tht Γ R γ = σ n, when l, (Γ R = Γ R, (Γ R + = Γ R, nd [Γ R,φ F ] = 0 for ny φ F Mt l+. However this Γ R does not exctly nticommute with the Dirc opertor since D F Γ R + Γ R D F = l + DF. (3.8 The continuum limit of this eqution is simply given by the cnonicl nticommuttion reltion {D,γ} = 0 where the continuum Dirc opertor D is given by D = σ.l+. Remrk tht for ll prcticl purposes Γ L is lso chirlity opertor, it hs the correct continuum 7

9 limit, i.e Γ L γ when l, it stisfies (Γ L =, (Γ L + = Γ L, nd by using (3.6 one rewrites (3.8 in the form D F Γ L + Γ L D F = l + DF. (3.9 Indeed Γ L fils only to commute with the elements of the lgebr Mt l+. For lter use we notice tht (3.8 nd (3.9 cn lso be rewritten in the form D F Γ R Γ L D F = 0. (3.0 It ws shown in [4, 7] tht the pir (Γ R,Γ L defines chirl structure on fuzzy S which stisfies the Ginsprg-Wilson reltion, b is without fermion doubling nd c hs the correct continuum limit. Indeed Γ R nd Γ L together with the identity generte Ginsprg- Wilson lgebr where the cnonicl Dirc-Ginsprg-Wilson opertor is defined by D DGW = Γ R D F while the lttice spcing is identified s = l+ [ see [9] nd references therein for more detil ]. The Ginsprg-Wilson reltion for zero guge field is essentilly given by eqution (3.0. On the other hnd the bsence of fermion doubling cn be seen by compring the spectrum of D F which cn be esily computed to be given by D F (j = {±(j +,j =, 3,...,l } {j +, j = l + } (3. with the spectrum of the continuum Dirc opertor D given by D(j = {±(j +,j =, 3,..., } [9]. As one cn immeditely notice there is no fermion doubling nd the spectrum of D F is simply cut-off t the top eigenvlue j = l +. The continuum limit of this chirl structure is therefore obvious by construction. The fuzzy guged Dirc opertor is obviously defined by D AF = D F + σ A F nd thus the fuzzy guged ction is given by S AF = l + Tr l ψ F D AF ψ F [ ] l + Tr l ψ F σ [L,ψ F ] + ψ F ψ F + ψ F σ A F ψ F. (3. The spinor ψ F is ssumed here to trnsform in the fundmentl representtion of the fuzzy guge group U( F U(l +, i.e ψ F ψ F = UF ψ F, ψ F ψ F = ψ F U F+. Agin it is not difficult to see tht both clssicl ctions (3.5 nd (3. behve correctly in the continuum limit in the sense tht S F S = dω ψdψ S 4π nd S AF S A = S dω ψd 4π A ψ when l nd where ψ = Lim l < ψ F > nd D A = D + σ A. Explicitly we write [ ] dω S = ψσ L (ψ + S 4π ψψ, (3.3 nd S A = [ ] dω ψσ L (ψ + 4π ψψ + ψσ A ψ. (3.4 8

10 By putting the ctions (3. nd (3. together we obtin the fuzzy Schwinger model on S F, nmely S Schwinger = 4e l + Tr lf F b F F b + l + Tr l ψ F D AF ψ F, (3.5 where the guge field A F is lso ssumed to stisfy the constrint ( Quntum Chirl Symmetry on S F 4. Fermion Propgtor The quntum theory of interest is defined through the following pth integrl Dψ F D ψ F e S Schwinger. (4. DA F i The nomly rises generlly from the non-invrince of the fermionic mesure under chirl trnsformtions [3] nd hence we will focus first on this mesure nd show explicitly tht for ll finite pproximtions of the noncommuttive Schwinger model on S F this mesure is in fct exctly invrint. Indeed we will show shortly tht the U( fuzzy xil nomly on S F comes entirely from the non-invrince of the ction due to edge effect. In the ppendix we will lso discuss how one cn shift the nomly from the ction bck to the mesure. It is lso enough to tret in the following the guge field s bckground field since ll we wnt to compute is the fuzzy xil nomly on S F nd its continuum limit the cnonicl locl xil nomly on S, i.e only the fermion loop is relevnt. Quntiztion of the Yng-Mills ction S Y MF will be reported elsewhere. In mtrix model such s (4. mnipultions on the quntum mesure hve precise mening. Indeed nd by following [3] we first expnd the fuzzy spinors ψ F, ψf in terms of the eigentensors φ(µ,a of the Dirc opertor D AF, write ψ F = µ θ µφ(µ,a, ψ F = θ µ µ φ + (µ,a where θ µ s, θ µ s re independent sets of Grssmnin vribles, nd φ(µ,a s re defined by D AF φ(µ,a = λ µ (Aφ(µ,A, nd normlized such tht l + Tr lφ + (µ,aφ(ν,a = δ µν. (4. For zero fuzzy guge fields µ stnds for j, k nd m which re the eigenvlues of J = ( K + σ, K = ( L L L R nd J 3 respectively. Indeed the symptotic behviour when A F 0 of φ(µ,a s nd λ µ(a s is given by λ µ (A j(j + k(k nd φ(µ,a l + k 3,σ Cjm kk 3 σŷkk 3 (lχ σ [4, 5, 9]. The quntum mesure is therefore well defined nd it is given by Dψ F D ψ F = µ dθ µ d θ µ l k+ j k=0 j=k m= j dθ kjm d θ kjm (4.3 9

11 From the ction S AF nd the identity (4. one cn compute the propgtor < θ µ θν >= δ µν /λ µ (A or equivlently < ψfα AB CD ψ Fβ > ev = µ ( AB,DC λ µ (A φab α (µ,aφ +CD β (µ,a (l +. (4.4 D AF <> ev stnds for expecttion vlue. We re ssuming no monopole configurtions nd thus the inverse of the guged Dirc opertor is lwys well defined. This inverse is defined by the formul (D AF C D,AB γα ( AB,DC D = δ γβ δ C D δ D C. (4.5 AF In bove we hve lso used the fct tht becuse the Dirc opertor D AF is self-djoint on Mt l+ C, the sttes φ(µ,a s must form complete set, viz l + µ φ AB α (µ,aφ+cd β (µ,a = δ δ AD δ BC. (4.6 The Dirc opertor (D AF nd the propgtor (DAF crry 4 indices becuse they cn ct on mtrices of Mt l+ either from the left or from the right, for exmple D AF cts explicitly s (D AF φ(a,µ AB α = (D AF AB,CD φ CD β where (D AF AB,CD = (σ (D F AC δ BD (σ (L DB δ AC + δ δ AC δ BD. ( The Dirc-Ginsprg-Wilson Reltion on S F We will now undertke the tsk of deriving the Dirc-Ginsprg-Wilson reltion on S F in the presence of guge field. As it turns out this reltion contins exctly fuzzy nomly which will become locl nomly in the limit. We first strt with the free theory nd rewrite the Ginsprg-Wison reltion (3.0 in the form (Γ R Γ L D F +D F (Γ R Γ L = 0.This mens tht in the bsence of guge fields we must hve tr[γ R Γ L ] = 0 where the trce is tken in the spce of spinors, in other words the nomly vnishes. However if we include the guge field through the guge-covrint Dirc opertor D AF which cn lso be written in the form with l + D AF = (ΓR + ˆΓ L, (4.8 ˆΓ L = [ l + σ D F + ] = Γ L + l + σ. A F. (4.9 [ (4.8 is to be compred with the free formul (3.6]. Then we cn compute insted the guge-covrint nticommuttion reltion {Γ R ˆΓ L, D AF } = 4 ( F F + (D F l + l(l + F F = i ǫ bcσ c F F b. (4.0 0

12 The continuum limit of this eqution is {γ, D A } = φ = 0 where φ is the norml component of the guge field on S which is zero by the continuum limit of (3.4. In other words, in the continuum intercting theory one might be tempted to conclude tht trγ = 0 which we know is wrong in the presence of guge fields. Noncommuttive geometry, s it is lredy obvious from eqution (4.0, lredy gives us the structure of the chirl nomly, indeed by using the constrint (3.4 one cn put (4.0 in the equivlent form D AF Γ R ˆΓ L D AF = l + F F = i l + ǫ bcσ c Fb F. (4. We recognize immeditely the left hnd side s fuzzy nomly since it vnishes in the limit A F 0 where (4. reduces to (3.0. We will now show tht this corresponds indeed to the ctul globl U A ( fuzzy nomly on S F. In the following we will lso need to write down the explicit ction of the opertors Γ R, ˆΓ L. We hve (Γ R AB,CD (ˆΓ L AB,CD = δac l + = δbd l + ( (σ L DB + δ δ DB ((σ (D F AC + δ δ AC δ BD (ˆΓ L AC. (4. In prticulr from the second eqution we note tht the opertor (ˆΓ L since it cts from the left it cn lso be thought of s n element of the lgebr Mt l Guge-Covrint Axil Current Now we need to define chirl symmetry on the fuzzy sphere which must lso be consistent with guge invrince. In the bsence of guge fields nd motivted by (3.0 we define chirl trnsformtions by ψ F ψ F = ψ F + (Γ R λ F ψ F + O((λ F, ψf ψ F = ψ F ( ψ F λ F Γ L + O((λ F. (4.3 It is then not difficult to check tht the ction S F chnges by totl divergence. The chirl prmeter λ F is n rbitrry mtrix in Mt l+. In the presence of guge fields it is therefore obvious tht the miniml prescription is given by ψ F ψ F = ψ F + (Γ R λ F ψ F + O((λ F, ψf ψ F = ψ F ( ψ F λ F ˆΓL + O((λ F, (4.4 where ˆΓ L is the A dependent chirlity-like opertor defined in (4.9. These trnsformtions re of course motivted by (4.. Indeed one cn check tht (4.4 reduces in the limit to the usul chirl trnsformtions yet it gurntees guge invrince in the noncommuttive fuzzy setting since both ˆΓ L nd the chirl prmeter λ F trnsform covrintly s U F ˆΓL U F+ nd U F λ F U F+ respectively under guge trnsformtions. Nive fuzzy chirl trnsformtions which would be gin given by (4.4 but with Γ L insted of ˆΓ L re in

13 fct inconsistent with guge symmetry s one might esily convince ourselves, wheres in the cse of (4.4 if one guge trnsform ψ F nd ψ F by unitry trnsformtion U F their chirl trnsform ψ F nd ψ F will lso rotte by the sme guge trnsformtion UF. For completeness we write the mening of (4.4 explicitly s follows ψ Fα = ψ Fα + ( (σ λ F ψ Fβ L + λ F ψ Fα + O((λ F l + ψ Fα = ψ Fα l + ( ψ Fβ λ F (σ βα D F + ψ Fα λ F + O((λ F. (4.5 The chnge of the ction under these fuzzy chirl trnsformtions (4.4 is given by Dψ F D ψ Fe S AF = Dψ F Dψ F e S θf e S AF S AF, (4.6 with S AF = l + Tr lλ F [D F, J 5 i ] (l + ǫ bctr l ψf λ F σ c Fb F ψ F J 5 = ψ F σ Γ R ψ F [( ψ F σ α,(γ R ψ F α ]. (4.7 An immedite remrk is tht the chnge in the ction is not simply totl covrint divergence but there is n extr piece which vnishes ( s it stnds only in the continuum limit, i.e we hve guge-invrint edge effect. It is cler tht the source of this edge effect is the RHS of the Ginsprg-Wilson reltion (4.. The thet term in the pth integrl (4.6 is lso guge-invrint nd it is given explicitly by S θf = l + Tr l φ + (µ,aλ F (Γ R ˆΓ L φ(µ,a. (4.8 µ [This is guge-invrint since for exmple φ(µ,a must trnsform s U L φ(µ,a in order for the Dirc eqution to be guge-invrint]. Due to the finiteness of the mtrix model, it is n identity esy to check tht the thet term S θf is zero, indeed by using (4.6 nd (4. we compute S θf = Tr l (λ F tr (σd F + ( l + Tr l(λ F Tr l tr (σl 0. (4.9 tr is the dimensionl spin trce, i.e tr =, tr σ = 0, etc. In fct it is this trce which ctully vnishes, nd hence it seems tht the chirl WT identity S GF = S θf is not nomlous due to the non-invrince of the mesure under chirl trnsformtions but rther nomlous due to edge effects ( the second term of the first eqution of (4.7. We write this WT identity S GF = 0 in the form < [D F, J 5 ] > ev = i l + ǫ bc < (σ c F F b ψ Fβ ψ Fα > ev. (4.0 Using the propgtor (4.4 we find the nomly [D F,< J 5 >]CB = iǫ bc (F F b CD tr σ c (D AF DA,BA. (4.

14 This is the fuzzy form of the globl U A ( xil nomly on S F. The inetgrted form of this nomly is clerly given by A θf = i l + ǫ bc(λ F BC (Fb F CD tr σ c (D AF DA,BA. (4. The centrl clim of this rticle is tht higher modes of the fuzzy sphere re essentilly the source of the nomly. In fct these top modes re the source of the edge effects we sw in (4. nd in (4.7 which effectively yielded the non-vnishing nomly (4.. Remrk tht if we mke the top modes lrger, i.e l, these effects in (4. nd (4.7 become smller while the fuzzy nomly (4. remins non-zero. In the strict limit l these edge effects in (4. nd (4.7 completely dispper while the nomly (4. survives [ see below for the explicit proof ]. This is the origin of the nomly in this context. 5. The Continuum Limit 5. Guge Covrint Expnsion on S F By definition the locl xil nomly on S is the continuum limit l of the fuzzy xil nomly (4. given lso in (4.. From eqution (4. one cn immeditely notice tht the computtion ( perturbtive or otherwise of the exct Dirc propgtor (D AF is needed in order to obtin closed formul of the fuzzy nomly nd its continuum limit. Towrds this end the best pproch is s usul to expnd the bove propgtor in guge covrint mnner nd then clculte the nomly. As it turns out there exists guge covrint expnsion on the noncommuttive fuzzy sphere which is not vilble in the continuum setting nd which yields non-perturbtive result in the limit. In fct it is precisely in this sense tht the fuzzy sphere is sid to be guge-invrint, chirl-invrint regulriztion of the continuum physics. This is lso in contrst with other pproximtion schemes in which guge covrint expnsions re so often bsent. This guge covrint expnsion cn be motivted s follows. Strting with zero guge field one cn see tht the free Dirc propgtor D F dmits the expnsion = D F D F (Γ R + Γ L = ΓL + D, (5. with = ib D D F D FΓ L. (5. In bove we hve used the result Γ R Γ L = + (D F + i b D F s well s eqution (3.0 where is the lttice spcing introduced before, i.e = l+, nd b = 4. D F is the Wtmur Dirc opertor given by D F = ǫ bcσ n F b LR c [4, 0]. The continuum limit D of D F is relted to D ( the continuum limit of D F by D = iγd nd hence both opertors D nd D hve the sme spectrum. This does not men tht they commute since in fct we hve {D, D} = 0. In the fuzzy, the spectrum of (D F s we hve seen 3

15 is simply cut-off t the top modes j = l + nd is given by (j + while the spectrum of (D F is deformed given by (D F (j = {(j + [ + (j + ], j = 4l(l +, 3,...,l + }. (5.3 In prticulr the eigenvlues of D F when j = l + re now exctly zero while for other lrge j s these eigenvlues re very smll [0]. As consequence of this behviour we hve in fct the exct nticommuttion reltion {Γ R, D F } = 0. Next we remrk tht the Dirc opertor D defined in (5. is such tht D = D F 4. In other words on the top modes j = l +, (D is strictly infinite wheres for the other lrge j s the eigenvlues of (D re quite lrge. On the IR modes the spectrum of (D is essentilly equl to tht of DF. Indeed one cn explicitly compute the spectrum of (D nd one finds the result (D (j = {(j + (l + (l + j(l j, j =, 3,...,l + }. (5.4 This mens in prticulr tht s fr s the second term in (5. is concerned modes with lrge j s do not effectively propgte. We will show ( fter we lso tke the guge field into ccount tht the contribution of these UV modes to the nomly trnsltes in the continuum limit into the contribution of contct terms wheres the contribution of the IR modes vnishes identiclly. As it turns out contct terms yield only toplogicl Chern- Simons Lgrngin which in two dimensions vnishes identiclly. This lso reflects in sense the fct tht the bove UV modes re suppressed in the propgtor (D. On the other hnd lthough the first term ΓL in (5. vnishes s it stnds in the continuum limit, its contribution in tht limit is not zero nd is exctly given by the cnonicl thet term. Putting these fcts together we conclude tht the nomly emerges essentilly from the UV region of the spectrum s expected. We now give rigorous proof of this result. In the presence of guge fields the free expnsion (5. becomes covrint expnsion given by = D AF DGF We use now the results ( {ΓR, ˆΓ L } ˆΓ + L [ΓR, ˆΓ L ] ˆΓ + ˆΓ L. (5.5 L {Γ R, ˆΓ L } = [ D AF F F ], [Γ R, ˆΓ L ] = ibd GF. (5.6 F F is defined in (4.0 nd D AF is the guged Wtmurs Dirc opertor defined by D AF = ǫ bcσ x F b LR c where x F b s re the covrint coordintes given by xf b = DF b. In l(l+ other words x F b reduces to n F b in the bsence of guge fields nd to n b in the continuum limit. We use lso the fct tht ˆΓ L = bσ x F + to deduce the result ˆΓ L = + F F, then by putting ll these ingredients together we find tht the guge covrint expnsion of the full propgtor is given by = ˆΓ L D AF 3 F F + F ˆΓ L F +, (5.7 D A 4

16 with = [ibd AF D A DAF + ] F F + F ˆΓ L F. (5.8 It is not difficult to see tht ech term in this expnsion is exctly covrint under guge trnsformtions. It is lso obvious tht (5.7 reduces in the limit A F 0 to (5.. Furthermore in the continuum limit l, (5.7 reduces to D A = (id DA Aγ which is ctully n identity since D A = id Aγ nd thus the expnsion (5.7 is simply not vilble to us in the continuum. In order to compute the contribution of (D A it is obvious tht one needs lso n expnsion of. To this end we recll first tht the squre of the Dirc opertor D DAF AF is given by DAF = D AF + (L L R + AF + i ǫ bcσ c Fb F. By using the constrint (3.4 we cn write this squre in the form [ DAF = l(l + ] v F n R, (5.9 where n R s re the fuzzy coordintes which ct from the right, i.e n R = LR nd where l(l+ = + + F F + l(l + σx F l(l +, v F = x F + σ l(l +. (5.0 It is cler tht the only bit in DAF which cts on the right is nr nd tht cts entirely on the left. This mens tht the opertor ( cn now be treted s mtrix in Mt l+. We think now of s propgtor nd of n R vf s vertex nd write the expnsion D AF = = l(l + l(l + ( N v F P nr AF ( v F P v F AF P... v F AF P N AF N=0 N=0 (n R n R...n RN. (5. The mening of this expnsion will only be cler in the continuum limit which we will tke shortly. The propgtor cts now from the left nd thus it cn lso be thought of s mtrix in Mt l+ Mt rther thn s n opertor. It is given by = ( ˆΓ L F F (5. 3 {ˆΓ 4 L,F F } 4 (F 4 F, Therefore given ny two opertors (X L nd Yb R which ct from the left nd from the right respectively, i.e (X L f (X f nd Yb Rf fy b for ny f Mt l+, we cn 5

17 compute ( X L Yb R D AF AB,CD = l(l + ( v F P v F AF P... v F AF P N X AF N=0 AC ( Y b n F N...n F n F DB. To summrize, the guge covrint expnsion of the propgtor D AF is defined by equtions (5.7, (5.8, (5. nd (5.. Using these equtions together with the definition (5.3 one obtins n explicit formul for the exct qurk propgtor on S F, viz (5.3 with ( D A ( AB,CD D AF AB,CD = ibǫ bc l(l + + 4l(l + = ( ˆΓL 3 F F AC + F ˆΓ L F ( v F P v F AF P... v F AF P N σ x F b AF ( v F P v F AF P... v F AF P N AF N=0 N=0 ( AB,CD δ BD +, (5.4 D A + F F ˆΓ L F F + F F ˆΓ L As we hve explined this guge covrint expnsion does not exist on the continuum sphere. It will be used here to derive the fuzzy xil nomly nd its continuum limit the locl xil nomly. 5. Locl Axil Anomly This expnsion isoltes in fct ( in guge covrint fshion the nomlous bit in the fermion propgtor. More precisely, lthough the first term in (5.4 vnishes s it stnds in the lrge l limit, its contribution ( i.e its trce gives exctly the cnonicl nomly. Indeed we cn esily compute δ A θf i l + ǫ bc(λ F Fb F BD where ( DA,BA ( ˆΓL [tr σ c + tr σ c 3 AC AC F F DA,BA ] + F ˆΓ L F = b iǫ bc l + Tr lλ F F F b δ x F c, (5.6 δ x F c = x F c b tr F (σ F c + F ˆΓ L F. (5.7 (L c n FN...n F n F DB ( n F N...n F n F DB. This guge-covrint vector δ x F in the continuum limit becomes exctly the unit vector n on the dimensionl sphere nd hence the fuzzy nomly (5.6 reduces in tht limit to the thet term on S, in other words b iǫ bc l + Tr lλ F F F b δ x F c iǫ bc S dω 4π λ( nf b( nn c, when l. (5.8 (5.5 6

18 For exmple by using the str product on S F one cn see tht in the continuum limit l where 0 nd b we hve δ x F n, Fb F F b, λ F λ while the trce l+ Tr l becomes the integrl dω S 4π. 5.3 The Chern-Simons Action From eqution (5.8 one cn immeditely red the remining two extr corrections corresponding to the propgtor D A, viz δ A θf = i ( l + ǫ bc(λ F Fb F BD tr σ c DAF (ibd DA,BA AF + F ˆΓ L F ( CD ( = iǫ bc + F ˆΓ L F λ F Fb F σ c ( i DA,CA b ǫ pqr σ p x F q nr r, (5.9 nd βα δ 3 A θf = i ( l + ǫ bc(λ F Fb F BD tr σ c ( = iǫ bc + F ˆΓ L F λ F Fb F σ c DAF CD βα D AF ( F F + F ˆΓ L F ( ( 4 F F D AF DA,CA DA,BA. (5.0 By using the expnsion (5. with (5. together with the definition (5.3 we obtin for δ A θf nd δ 3 A θf the formule nd δ A θf = b iǫ bc l + Tr lλ F Fb F δ x F c δ x F c = ( ( l + Tr l(n F N...n F n F r tr ( v F P v F AF P... v F AF P N δrc F (5. AF N= δ 3 A θf = b iǫ bc l + Tr lλ F Fb F δ 3x F c δ 3 x F c = ( ( l + Tr l(n F N...n F tr ( v F P v F AF P... v F AF P N δc F, (5. AF N=0 where δ F rc nd δ F c stnd for δ F rc = iǫ rpq b σ p x F q + F F ˆΓ L σ c, δ F c = 4b 3 F F + F F ˆΓ L σ c. (5.3 Before we tke the continuum limit of these expressions we remrk tht the components of the two vectors δ x F nd δ 3 x F re mtrices in Mt l+ which re covrint under guge trnsformtions. Furthermore becuse of the presence of the trces Tr l (n F N...n F n F r nd Tr l (n F N...n F, the components δ x F c nd δ 3x F c re lso invrint under the extr symmetry n F wf = W + n F W where W is n rbitrry unitry trnsformtion given by W = e iαf, α F Mt l+. These trnsformtions W re different from guge trnsformtions U introduced in section 3. For exmple one cn see from their explicit ction n F w F = W + n F W = n F + l(l + W + [L,W], (5.4 7

19 tht the fuzzy coordintes w F reduce to the sme continuum coordintes n in the limit, in other words this extr symmetry is not vilble in the continuum. Using this symmetry one cn therefore rewrite the vectors δ x F c nd δ 3x F c in the equivlent form δ x F c = ( ( l + Tr l(w F N...w F wr F tr ( v F P v F AF P... v F AF P N δrc F (5.5 AF N= nd δ 3 x F c = ( ( l + Tr l(w F N...w F tr ( v F P v F AF P... v F AF P N δc F. (5.6 AF N=0 We cn now immeditely write down the continuum limit of the bove expressions. We lredy know tht in this limit 0, b, l+ Tr l S, n F n, x F n, Fb F F b, λ F λ, α F α nd ˆΓ L γ. From eqution (5.0 we lso see tht in this limit nd v F n, wheres from eqution (5.4 we see tht w F n. For exmple the continuum limit of (5. is given by dω δ A θ = iǫ bc S 4π λ( nf b( nδ x c ( n δ x c ( n = i ( dω S 4π ( n n p tr σ c ( n. n N σ p γ( n. (5.7 It is esily seen tht ll the expected continuum divergence rises from the series N= ( n. n N when n = n, i.e from contct terms. Thus we need first to seprte contct terms s follows δ x c ( n = i ( ] [( n n p tr σ c ( n. n N σ p γ( n + δ x c ( n nct (5.8 N= N= n = n where δ x c ( n nct = i n n ( dω 4π ( n n p tr σ c N= ( n. n N σ p γ( n. (5.9 It is cler tht in δ x F c ( n nct we hve n. n = cosθ < where θ is the ngle between n nd n nd thus the series N= ( n. n N is now convergent. We cn therefore simply substitute the result ( n. n N = N= n. n n. n, nd thus obtin δ x c ( n nct = n n ( dω n c ( n. n n n. n c 4π n. n = (n c n d δ cd n e dω n d n e, S 4π + ǫ n. n 8

20 where in the second line we hve replced dω n n S dω 4π 4π by the intgerl over the full sphere with the prescription ǫ > 0 so tht the contribution of the terms n = n is kept equl to zero. Remrk tht n c δ x c ( n nct = 0 nd hence the contribution of the bove non-contct terms is identiclly zero since in the continuum we lso hve n A = 0, ǫ bc F b = in c b (A b nd thus dω δ A θ nct = iǫ bc S 4π λ( nf b( nδ x c ( n nct = 4 dω S 4π λ b(a b n c δ x c nct 0. (5.30 For contct terms the series N= ( n. n N is obviously divergent nd thus the first term of eqution (5.8 is not well defined. Thus it is nturl to go bck to the finite expression (5.5 nd think of it now s guge-invrint regulriztion of contct terms with cutoff l provided here by the fuzzy sphere. Since we re interested in the continuum theory the cut-off l is effectively lrge nd thus one my retin only the first few corrections to the continuum theory. As it turns out the contribution of contct terms is regulrized completely nd in guge-invrint mnner if we only keep O( l corrections. To see how ll this works explicitly, we use the str product on S F nd replce δ x F c by its imge < δ x F c > ( n vi the coherent sttes, nmely < δ x F c > ( n = ( dω N= S 4π < wf N >... < w F > < wr F > ( n ( tr < > < v F P > < > < v F AF P >... < > < v F AF P N > < δrc F > ( n. AF Since non-contct terms re regulr in the limit one cn still tret them in the sme wy s before nd hence their contribution is zero. This mens tht < δ x F c > ( n is dominted by contct terms, nmely < δ x F c > ( n = N= ( < w F N >... < w F > < wr F > ( n ( tr < > < v F P > < > < v F AF P >... < > < v F AF P N > < δrc F > ( n. AF From eqution (.9 we hve < n F >= n l n + O( l nd thus we cn compute to this order in l the following quntities < ˆΓ L >= γ + l ( γ + σa + + O( l, < >= l γ + O( l < v F >= n + l ( n + A + σ + O( l, < wf >= n + l ( n + il (α + O( l < δrc F >= i ǫ rpq (n q σ p γσ c + l σ p( n q γ + n q σa + n q + γa q σ c l n qγσ p γσ c + O( l. 9

21 Also by using the str product on S F we compute < > < v F >=< >< v F > +O( l = n + l ( n + A + σ γn + O( l. Remrk for exmple the continuum limit δrc δ F rc = i ǫ rpqσ p n q γσ c when l s well s the limit < > < v F > n when l. Finlly nd by using once gin the str product we compute the formule nd < w F N >... < w F > < w F r > ( n = < wf N >... < w F >< w F r > + l K N pqn r n N... p n i... q n j...n i= j<i + l K pr p (n N...n + O( l, < > < v F >... < > < v F N > < δ F rc > = < >< v F >... < >< v F N >< δ F rc > + N l δ rck pq i= n... p n i... q n j...n N j>i + l K pq p (n...n N q δ rc + O( l. Putting ll these results together we obtin the contribution of contct terms in the form ( ( < δ x F c > ( n = tr < N >< v F >< w F > < δrc F >< wr F > N= = (l + (tr < δ Frc > < wr F >, where we hve lso used the result ( < N >< v F P >< wf > = ( AF l N = l +. N= In other words the sum over N is linerly divergent with l nd hence the remining term (tr < δ F rc > < w F r > must pproch in the continuum limit 0 t lest s l in order to reproduce finite expression. A finl clcultion shows tht this is indeed the cse where from the eqution tr < δ F rc > = i ǫ rpqn q tr σ p γσ c + iǫ rpq l = (n r n c δ rc + iǫ rcqn q l N= tr σ c σ p ( n q γ + n q σa + n q + γa q iǫ rpq n q tr γσ p γσ c 4l l [n rn c δ rc n c A r n r A c ], we deduce tht (tr < δ F rc > < w F r >= l [A c il c (α]. The contribution of contct terms is therefore finite equl to < δ x F c > ( n = A c il c (α, (5.3 0

22 nd s consequence δ A θ = iǫ bc S dω 4π λ( nf b( na c ( n. (5.3 The dependence on the rbitrry function α drops becuse of the identity ǫ bc F b L c (α = 0. This is equivlent to the fct tht the term il c (α in (5.3 cn lwys be cnceled by continuum guge trnsformtion A = A il (Ω, i.e the fuzzy symmetries (5.4 re not vilble s expected in the continuum setting since they cn be eliminted by guge symmetries. (5.3 is exctly the topologicl Chern-Simons ction in two dimensions nd thus it vnishes identiclly s one might esily check. Its emergence from contct terms of the propgtor D A is intimtely relted to the fct tht the top modes of the Dirc opertor D A s opposed to those of the exct Dirc opertor D AF re very lrge. Similrly to bove the lst correction to the nomly given by eqution (5. hs the limit dω δ 3 A θ = iǫ bc S 4π λ( nf b( nδ 3 x c ( n ( dω δ 3 x c ( n = S 4π tr ( n. n N δ c ( n. (5.33 The vector δ( n in bove is in fct identiclly zero s one might esily check. Agin for noncontct terms the series N=0 ( n. n N converges nd thus the corresponding contribution clerly vnishes. For contct terms we hve to regulrize s before but since now the vector < δ F > ( n vnishes s nd not s l l we immeditely conclude tht the contribution of contct terms is zero in this cse nd thus we obtin the result 6. Conclusion N=0 δ 3 A θ 0. (5.34 We showed tht the locl xil nomly in dimensions emerges nturlly if one postultes n underlying noncommuttive fuzzy structure of spcetime. As we hve discussed in this rticle this result consists in three min prts : We showed tht the Dirc-Ginsprg-Wilson reltion on S F contins lredy t the clssicl level the nomly in the form of n edge effect which under quntiztion becomes precisely the fuzzy U( A xil nomly on the fuzzy sphere. D AF We derived novel guge-covrint expnsion of the qurk propgtor in the form = ˆΓ L + D A where = l+ is the lttice spcing on S F, ˆΓL is the covrint noncommuttive chirlity nd D A is n effective Dirc opertor which hs essentilly the sme IR spectrum s D AF but differes from it on the UV modes since the eigenvlues of D A on the top modes re very lrge compred to those of D AF. Most remrkbly however is the fct tht both opertors shre the sme continuum limit nd thus the bove covrint expnsion is not vilble in the continuum theory. 3 The first bit in this expnsion ˆΓ L lthough it vnishes s it stnds in the continuum limit, its contribution to the nomly is exctly the cnonicl thet term. The contribution

23 of the propgtor D A is on the other hnd equl to the toplogicl Chern-Simons ction which in two dimensions is identiclly zero. In prticulr we hve explicilty shown tht beside the cut-off l provided by the str product of the fuzzy sphere itself there is no need to ny extr regultor even while pproching the limit. Finlly we hve to note tht complete extension of the bove results to the cse of monopoles is more or less strightforwrd fter we identify correctly the corresponding bundle structure on S F. As it turns out this is indeed possible nd thus the extension cn be mde without much difficulty. The relevnt detil will be however reported elsewhere. The computtion of the effective ction of the Schwinger model on the fuzzy two-sphere, which will llow us on the other hnd to probe the solvbility of the model, will lso be reported elsewhere. Acknowledgments I would like to thnk A.P.Blchndrn, G.Immirzi, Denjoe O Connor nd P.Presnjder for their criticl comments while the work ws in progress. This work ws supported in prt by the DOE under contrct number DE-FG0-85ER Appendix On continuum S exct chirl invrince of the free clssicl ction is expressed by the nticommuttion reltion {γ, D} = 0 which is in fct the limit of the Ginsprg-Wilson reltion (3.0. In the presence of guge fields, the Ginsprg-Wilson reltion (3.0 becomes (4. nd the edge effect seen there is exctly the source of the nomly. We will now show tht if we try insted to formulte chirl invrince on the fuzzy sphere without edge effect then the ction becomes complex nd not guge invrint nd thus not quntizble in ny cnonicl fshion. As we hve lredy sid the continuum limit of the clssicl ctions (3.5 nd (3. re given respectively by (3.3 nd (3.4. (3.4 ws lredy shown to be guge invrint, but under the cnonicl continuum chirl trnsformtions ψ ψ = ψ + λγψ, ψ ψ = ψ + λ ψγ, one cn show tht it is invrint only if the guge field is constrined to stisfy n A = 0 becuse of the identity D A γ+γd A = A. n. From the continuum limit of (3.4 it is obvious tht this constrint is stisfied nd hence chirl symmetry is mintined. However one wnts lso to formulte chirl symmetry without the need to use ny constrint on the guge field, indeed the ction [ ] dω ψdψ + 4π ψˆσ A ψ. (7. is strictly chirl invrint for rbitrry guge configurtions. ˆσ is the Clifford lgebr projected onto the sphere, i.e ˆσ = P b σ b, P b = δ b n n b. The ction (7. is lso still guge invrint becuse of the identity n L = 0. Action (7. cn be rewritten s follows S C = dω 4π [ ψdψ + ǫ bc ψzb n c A ψ ], Z = i [γ,σ ]. (7.

24 From this form of the ction one cn immeditely define the following chirl-covrint Dirc opertor D C = D + ǫ bc Z b n c A. The difference between the continuum guge-covrint Dirc opertor D A nd the continuum chirl-covrint Dirc opertor D C is proportionl to the norml component φ = n A of the guge field, i.e D C = D A γφ, nd hence they re essentilly identicl ( by virtue of the constrint n A = 0, i.e (3.4 nd (7. re equivlent ctions. The Fuzzy nlogue of (3.4 is (3. wheres the fuzzy nlogue of (7. is the ction S CF = [ ] l + Tr l ψ F D F ψ F + ǫ bcψf Zb F nf c AF ψ F, Z F = i [ΓL σ + σ Γ R ]. (7.3 The underlying fuzzy Dirc opertor is obviously given by D CF = D F +ǫ bc Z F b nf c A F which tends in the lrge l limit to D C. This mens in prticulr tht the two Dirc opertors D CF nd D AF hve the sme continuum limit. As consequence the corresponding fuzzy clssicl ctions (7.3 nd (3. pproch the sme continuum ction (3.4 in the limit. Remrk lso tht the Dirc opertor D CF stisfies the Ginsprg-Wilson reltion D CF Γ R Γ L D CF = 0 nd hence the ction (7.3 is invrint under free fuzzy chirl trnsformtions ψ F ψ F = ψ F + Γ R ψ F λ F + O((λ F ψ F ψ F = ψ F λ F ψf Γ L + O((λ F. (7.4 In here the chirl prmeter λ F which is still generl (l + (l + mtrix does not trnsform under guge symmetries in contrst with the cse considered in section 4. Also these fuzzy chirl trnsformtions (7.4 s opposed to the fuzzy chirl trnsformtions (4.4 do not depend on the guge field, yet both (7.4 nd (4.4 reduce in the limit to the sme continuum chirl trnsformtions. Remrk however tht the Dirc opertor D CF is not self-djoint s well s not gugecovrint. In other words the ction (7.3 is complex nd not guge invrint nd thus it is not suited for ny quntiztion procedure. Mesure-Trnsforming Chirl Symmetries In the reminder of this ppendix we introduce mesure-chnging chirl trnsformtions s opposed to the chirl trnsformtions (4.4 which leve the mesure invrint. These new trnsformtions s it turns out yield the sme nomly (4. nd thus they re equivlent to the trnsformtions (4.4. The only difference is the fct tht this nomly (4. rises now from the mesure insted. We will lso define guge-invrint xil current s opposed to the guge-covrint xil current defined in section 4.3. Remrk tht since Γ R ˆΓ L γ when l, the continuum limit of (4.8 is the usul forml nswer, i.e dω S θ = 4π λ(x µ φ + µ (x( γφ µ (x. (7.5 In the continuum the sum µ is not cutoff since ll orbitl ngulr moment re llowed nd obviously φ µ (x stnds now for the eigenfunctions of the continuum guged Dirc 3

25 opertor D A = D + σ A. These sttes stisfy the completeness reltion φ α (xφ + β (y = δ (x yδ. (7.6 µ If we try now to use this completeness reltion in (7.5 we will insted get the ill-defined expression S θ = dω 4π λ(xδ (0tr(γ nd thus regulriztion is needed. For exmple Fujikw regulriztion of (7.5 ws performed in [6] nd ws shown there to reproduce the correct nomly. Here however we know from (4.9 tht the ction (4.8 on this finite mtrix model is identiclly zero nd this cn not be mde into nything else which seems in contrdiction with Fujikw regulriztion of (7.5. It is therefore nturl to modify ppropritely chirl trnsformtions in such wy s to shift the nomly (4. from the ction to the mesure. The required deformtion is not difficult to find nd one obtins where the deformtion δγ is given by ψ F ψ F = ψ F + (Γ R λψ F + O(λ ψ F ψ F = ψ F ( ψ F λˆγ L ( ψ F λδγ + O(λ, (7.7 δγ = i l + ǫ bcσ c Fb F. (7.8 D AF Remrk tht (7.7 is lso dictted by (4. which cn be put in the equivlent form D GF Γ R (ˆΓ L + δγd GF = 0. Remrk lso tht ll needed requirement re stisfied by this deformtion : δγ is guge covrint nd drops in the limit nd therefore the trnsformtions (7.7 re consistent with guge symmetry nd reduce in the limit to ordinry chirl trnsformtions. Remrk lso tht we cn invert the guged Dirc opertor since we re considering only trivil U( bundles over S, i.e there is no monopole. Under these modified chirl trnsformtions the chnge in the ction is only totl covrint divergence, nmely S AF = l + Tr lλ[d F, J 5 ], (7.9 while the mesure becomes non-symmetric, in other words S θf = l + Tr l φ + (µ,aλ(γ R ˆΓ L δγφ(µ,a µ = i l + ǫ bc(λ BC (F F b CD tr σ c (D AF DA,BA. (7.0 This nomly is of course exctly identicl to the result (4. since wht we hve just done is to shift the nomly from the ction to the mesure. Remrk lso tht since Γ R ˆΓ L δγ γ when l the continuum limit of the first line of (7.0 is still given by (7.5 which s we sid needs proper regulriztion, wheres the second line of (7.0 cn now be thought of s regulriztion of (7.5 which is provided in this noncommuttive context by the fuzzy sphere. 4

26 3 Guge-Invrint Axil Current Similrly to the guge-covrint xil current defined in section 4.3 we define now guge-invrint xil current. First we introduce the following chirl trnsformtions ψ F ψ F = ψ F + (Γ R ψ F λ + O(λ ψ F ψ F = ψ F λ( ψ F ˆΓL λ( ψ F δγ + O(λ, (7. where now the chirl prmeter λ is mtrix in Mt l+ which does not trnsform under guge trnsformtions. Under these guge-invrint chirl trnsformtions the chnge in the ction is only totl divergence, nmely S GF = l + Tr lλ[l,j 5 ], J 5 = ψ F σ Γ R ψ F. (7. The mesure is still non-symmetric but its chnge is now of the form S θf = l + Tr lλ µ φ + (µ,a(γ R ˆΓ L δγφ(µ,a = i l + ǫ bc(λ BA (F F b CD tr σ c (D AF DB,CA. (7.3 The contribution of Γ R ˆΓ L vnished by similr rgument to tht which led to (4.9. The WT identity S GF = S θf will now simply look like [L,J 5 ] AB = iǫ bc (F F b CD tr σ c (D AF DB,CA. (7.4 In this cse since [L,J 5 ] AB does not trnsform under guge trnsformtions, one cn immeditely conclude tht the left hnd side must lso not trnsform under guge trnsformtions nd therefore it cn only be proportionl to the identity, i.e [L,J 5 ]AB δ AB. References [] A.Connes, Noncommuttive Geometry, Acdemic Press, London, 994. [] J. Mdore. An Introduction to Noncommuttive Differentil Geometry nd its Applictions. Cmbridge University Press, Cmbridge, 995; gr-qc/ [3] H. Grosse, C. Klimcik, P. Presnjder.hep-th/9605; Commun.Mth.Phys.80( H. Grosse, C. Klimcik, P. Presnjder. hep-th/950575; Int.J.Theor.Phys.35( [4] Bdis Ydri, Fuzzy Physics, hep-th/00006, Ph.D Thesis. [5] D.A.Vrshlovich, A.N.Mosklev, V.K.Khersonky, Quntum Theory of Angulr Momentum : Irreducible Tensors, Sphericl Hrmonics, vector Coupling Coefficients, 3nj Symbols, Singpore, Singpore : World Scientific (998. [6] P.Prešnjder, hep-th/99050 nd J.Mth.Phys.4(