arxiv:hep-th/ v2 22 May 2006

Transcription

1 The Hof algebra of Feynman grahs in QED Walter van Suijleom Max Planc Institute for Mathematics Vivatsgasse 7, D Bonn, Germany May 22, 2006 arxiv:he-th/ v2 22 May 2006 Abstract We reort on the Hof algebraic descrition of renormalization theory of quantum electrodynamics. The Ward-Taahashi identities are imlemented as linear relations on the (commutative) Hof algebra of Feynman grahs of QED. Comatibility of these relations with the Hof algebra structure is the mathematical formulation of the hysical fact that WT-identities are comatible with renormalization. As a result, the counterterms and the renormalized Feynman amlitudes automatically satisfy the WT-identities, which leads in articular to the well-nown identity Z 1 = Z 2. 1 Introduction The descrition of erturbative quantum field theory in terms of Hof algebras [12, 5, 6] (cf. [7, 8, 9]) has led to a better understanding of the combinatorial structure of renormalization. At the same time, it rovided a beautiful interaction of quantum field theory with several arts of mathematics. Although the Hof algebra was modelled on a scalar quantum field theory, it can be generalized to any quantum field theory. However, subtleties aear in the case of quantum gauge theories. Gauge theories are field theories that are invariant under a certain grou, nown as the gauge grou. In the rocess of renormalization, one has to deal with the overcounting due to the gauge degrees of freedom. Furthermore, one has to understand how the gauge symmetries manifest themselves in the quantum field theory. Imortant here are the so-called Ward-Taahashi (or Slavnov-Taylor) identities. The first examle of a gauge theory is quantum electrodynamics (QED), which has the abelian grou U(1) as a gauge grou. The Hof algebraic structure of Feynman grahs in QED was desrcibed in [1, 14] and more recently in [17]. A slightly different aroach is taen in [2, 3], where Hof algebras on lanar binary trees were considered. The anatomy of a gauge theory with gauge grou SU(3) (nown as quantum chromodynamics) has been discussed in the Hof algebra setting in [13], with a central role layed by the Dyson-Schwinger equations (see also [15]). However, a full understanding of renormalization of general gauge theories is still incomlete. This aer is a modest attemt towards understanding this by woring out exlicitly the Hof algebraic structure underlying renormalization of quantum electrodynamics, thereby imlementing the Ward-Taahashi identities in a comatible way. We start in Section 2 by defining the commutative Hof algebra H of Feynman grahs for quantum electrodynamics. The aroach we tae differs from the one in [3] where a noncommutative Hof algebra was considered. This was motivated by the fact that in QED, Feynman 1

2 amlitudes are (noncommuting) matrices. Instead, we wor with a commutative Hof algebra and encode the matricial form of the Feynman amlitudes into the distributions giving the external structure of the grah. Our aroach has the advantage of still being able to use the duality between commutative Hof algebras and affine grou schemes in the formulation of the BPHZ-rocedure. In Section 3, we associate a Feynman amlitude to a Feynman grah, as dictated by the Feynman rules. The BPHZ-formula of renormalization is obtained as a secial case of the Birhoff decomosition for affine grou schemes [5]. Then in Section 4, we incororate the Ward-Taahashi (WT) identities as relations between grahs, much as was done by t Hooft and Veltman in [11]. We show that these relations are comatible with the coroduct in the Hof algebra H, so that they define a Hof ideal. This reflects the hysical fact that WT-identities are comatible with renormalization (in the dimensional regularization and minimal subtraction scheme). The Feynman amlitudes can now be defined on the quotient Hof algebra of H by this ideal, and we conclude that the counterterms as well as the renormalized Feynman amlitudes satisfy the WT-identities in the hysical sense (i.e., between Feynman amlitudes). In articular, we arrive at the well-nown identity Z 1 = Z 2 as derived by Ward in [18]. 2 Hof algebra structure of Feynman grahs in QED Quantum electrodynamics in 4 dimensions is given by the following classical Lagrangian, L = 1 4 F µνf µν 1 2ξ ( µ A µ ) 2 + ψ (γ µ ( µ + ea µ ) m) ψ, where F µν = µ A ν ν A µ is the field strength of the gauge otential A µ, ψ is the sinor describing the electron with mass m and electric charge e and γ µ,µ = 1,...,4 are the 4 4 Dirac matrices. Finally, the real arameter ξ is the gauge-fixing arameter. The Lagrangian L describes the dynamics and the interaction as well as the gauge fixing: we can write L = L 0 + L int + L gf, where the free, interaction and gauge fixing arts are L 0 = A µ D µν A ν + ψ(γ µ µ m)ψ, L int = eψa µ ψ. L gf = 1 2ξ ( µ A µ ) 2. The adjective quantum for electrodynamics is justified when this Lagrangian is used in comuting robability amlitudes. In erturbation theory, one exands such amlitudes in terms of Feynman diagrams which are the grahs constructed from the following vertices, as dictated by the form of the Lagrangian: ψ A µ A ν ψ ψ A µ ψ Remar 1. In fact, we will also need the 2-oint vertex mass term, similar to [2]., associated to the electron We will focus on the so-called one-article irreducible (1PI) grahs, which are grahs that are not trees, and that cannot be disconnected by cutting a single internal edge. In QED, there are three 2

3 tyes of 1PI grahs that are of interest in renormalization theory: the vacuum olarization, the electron self-energy and the full vertex grahs: Γ(q,µ,ν) = q µ ν q Γ() = + q Γ(q,µ;) = q µ Here the blob stands for any 1PI grah of the tye dictated by the external lines. We now describe the external structure of a Feynman grah Γ, assigning (among other data) momenta to the external legs. In hysics, the Feynman amlitude of Γ (dictated by the Feynman rules, see below) is evaluated with resect to this external structure (see below). Mathematically, the external structure is a distribution on the sace of Feynman amlitudes, understood as test functions on a suitable sace. More exlicitly, in the case of QED the (Euclidean) Feynman amlitudes U(Γ) are functions in C (E Γ ) M 4 (C) where { E Γ = (q 1,...,q n,µ 1,...,µ n, n+1,..., N ) : } i + q j = 0, with {1,...,n} the set of indices labelling the external hoton lines of Γ with satial index {µ 1,...,µ n } resectively, and {n + 1,...,N} is the set of its external electron lines. The factor M 4 (C) can be understood from the fact that in QED, Feynman amlitudes are matrix-valued functions on E Γ. For QED, the external structure is thus given by an element in the sace of distributions on C (E Γ ) M 4 (C); we denote this sace by (C (E Γ ) M 4 (C)). For examle, for the above full vertex grah Γ, E Γ = {(q,µ,, ) : q + + = 0} and a tyical distribution is given by σ l = δ q,µ,, q e l in terms of a Dirac mass and the (standard) dual basis {e l } of M 4 (C). Evaluation on the Feynman amlitude U(Γ) C (E Γ ) M 4 (C) is then given by the airing σ l,u(γ) = U(Γ)(q,µ;, q) l Note that = q is translated in the diagram by a reversal of the corresonding arrow with associated momentum + q. We will be interested in the following secial external structures for the different grahs introduced above. A full vertex grah Γ(q,µ;) at zero momentum transfer (meaning q = 0) can be written in terms of the two form factors F 1,F 2 (cf. [16, Section 6.2]) U(Γ)(q = 0,µ;) = γ µ F 1 ( 2 ) + γ µ 2 F 2 ( 2 ). (1) 3

4 where = µ γµ µ. Only the first form factor F 1 requires renormalization; therefore, we define the following external structure: σ (1),f = 1 tr γ µ f(q = 0,µ; = 0), f C (E Γ ) M 4 (C), (2) 16 µ where the normalization comes from tr γ µ γ µ = 16. For the Ward-Taahashi identities, we will also need the following external structure, σ l (0,µ,),f = f(q = 0,µ;) l, (3) which uts finite momentum on the ingoing and outgoing electron lines, but zero momentum on the external hoton line (zero-momentum transfer). This external structure allows us to treat Ward-Taahashi identities in massless QED as well. Remar 2. The form factors F 1 and F 2 can also be recovered searately by using the following two distributions [14], σ,f = tr µ σ,f = tr µ γ µ f(q = 0,µ;), (4) µ f(q = 0,µ;). (5) For an electron self-energy grah Γ(), we have E Γ = {()} and the corresonding Feynman amlitude is written in terms of two form factors: U(Γ)() = A( 2 ) + mb( 2 ). (6) Corresondingly, there are two distributions, which we choose of the form, σ (0),f = 1 tr γ µ f() 16 =0 + m 1 tr f( = 0), (7) µ σ (2),f = 1 16 µ µ tr γ µ µ f() =0, (8) for all f C (E Γ ) M 4 (C). Also, there is an external structure which uts finite momentum on the ingoing and outgoing electron lines, σ (µ),f = µ f() (9) Finally, for a vacuum olarization grah Γ, E Γ = {(q,q,µ,ν) : q + q = 0} {(q,µ,ν)}, we let σ (3) be the external structure that satisfies for all M M 4 (C). σ (3), ( δ µν q 2 + q µ q ν ) M = tr M, (10) Remar 3. The labelling of the external structures by (0),(1),(2) and (3) differs from the one in [6], where they were labelled by (0) and (1). Here we follow [2], so that the labels corresond to the renormalization constants m 0,Z 1,Z 2,Z 3, as they aear in the Lagrangian, L = 1 4 Z 3A µ D µν A ν 1 2ξ ( µ A µ ) 2 + Z 2 ψ (γ µ µ m 0 ) ψ + ez 1 ψγ µ A µ ψ. (11) The recise corresondence will be given in equation (16) below. 4

5 Let H be the free commutative algebra generated by airs (Γ,σ) with Γ a 1PI grah and σ (C (E Γ ) M 4 (C)) a distribution encoding its external structure. The roduct in H can be understood as the union of grahs, with induced external structure. More recisely, for two 1PI grahs Γ σ and Γ σ, the roduct Γ σ Γ σ is the grah Γ Γ with external structure given by σ σ (C (E Γ E Γ ) M 4 (C)). The algebra H is a (ositively) graded algebra H = n N H n, with the grading given by the loo number of the grah. In the following, we will also write Γ σ for the air (Γ,σ), and sometimes even Γ. We will shorten the notation for grahs equied with the secial external structures defined above by writing Γ () = (Γ,σ () ). We define a coroduct : H H H as follows; if Γ is a 1PI grah, then one sets Γ = Γ Γ + γ Γγ () Γ/γ (). (12) Here γ is a roer subset of the grah Γ formed by the internal edges of Γ (i.e. 0 γ Γ). The connected comonents γ of γ are 1PI grahs with the roerty that the set of edges of Γ that meet γ have two or three elements. The sum runs over all multi-indices, one index for each 1PI connected comonent of γ, and one denotes by γ () the 1PI grah that has external structure as defined in equation (2)-(10), with = 3 in the case of a vacuum olarization, = 1 for a full vertex grah and = 0 or 2 in the case of an electron self-energy. In equation (12), γ () denotes the disjoint union of all grahs γ () associated to the connected comonents of γ and the grah Γ/γ () is the grah Γ (with the same external structure) with each γ reduced to a vertex of tye (). More exlicitly, if γ =, then for = 2 one relaces this grah in Γ by the line (2), and for = 0 by (0) (cf. Remar 1). In the case of the vacuum olarization and the full vertex grah, one relaces γ by the corresonding vertex. By comlete analogy with [5], we find that with this coroduct, H becomes a connected graded Hof algebra, i.e. H = n N H n, H 0 = C and (H n ) = n H H n. =0 Indeed, H 0 consists of comlex multiles of the emty grah, which is the unit in H, so that H 0 = C1. Moreover, from general results on graded Hof algebras, we obtain the antiode inductively, S(X) = X S(X )X, (13) where (X) = X X + X X. We give a few examles in order to clarify the coroduct. ( ) = (2) + (0) ( ) = (2) + (0) + (1) + (1) 5

6 3 Birhoff decomosition and renormalization In [5], Connes and Kreimer understood renormalization of erturbative quantum field theory in terms of a Birhoff decomosition. In articular, using the dimensional regularization (dim-reg) and minimal subtraction scheme, they have roved that the BPHZ-formula is a secial case of the Birhoff decomosition of a loo on a small circle in the comlex lane, centered at the dimension of the theory, and taing values in a ro-uniotent Lie grou. Before alying this to the case of QED, we briefly recall the Birhoff decomosition, while referring to [5] and [8] for more details. The Birhoff decomosition rovides a rocedure to extract a finite value from a singular exression. More recisely, let C P 1 (C) be a smooth simle curve and let C ± denote its two comlements with C. The Birhoff decomosition of a loo γ : C G, taing values in a comlex Lie grou G, is a factorization of the form γ(z) = γ (z) 1 γ + (z), z C where γ ± are boundary values of holomorhic mas (denoted by the same symbol) γ ± : C ± G. The normalization γ ( ) = 1 ensures uniqueness of the decomosition (if it exists). The evaluation γ γ + (z 0 ) G is a natural rincile to extract a finite value from the (ossibly) singular exression γ(z 0 ). This gives a multilicative removal of the ole art for a meromorhic loo γ, when we let C be an infinitesimal circle centered at z 0. Existence of the Birhoff decomosition has been established for rouniotent comlex Lie grous in [5], and, more generally, in [8] in the setting of affine grou schemes. Recall that affine grou schemes are dual to commutative Hof algebras in the following sense. For a commutative Hof algebra H, we understand an affine grou scheme as a functor G : A G(A) from the category of commutative algebras to the category of grous in the following way. For a given algebra A, one defines the grou G(A) to be the set of all homomorhisms from H to A, with roduct, inverse and unit given as the duals with resect to the coroduct, antiode and counit ǫ resectively, i.e. φ 1 φ 2 (X) = φ 1 φ 2, (X), φ 1 (X) = φ(s(x)), e(x) = ǫ(x). The following result is the algebraic translation of the Birhoff decomosition to (ro-uniotent) affine grou schemes, exressed in terms of the commutative (connected graded) Hof algebra H underlying this affine grou scheme. Its roof can be found in [5] (see also [8]). We assume that C is an infinitesimal circle centered at 0 C and denote by K the field of convergent Laurent series, with arbitrary radius of convergence and by O the ring of convergent ower series. Furthermore, we set Q = z 1 C([z 1 ]). Theorem 4 (Connes-Kreimer). Let φ : H K be an algebra homomorhism from a commutative connected graded Hof algebra H to the field K defined above. The Birhoff decomosition of the corresonding loo is obtained recursively from the equalities, ( φ (X) = T φ(x) + ) φ (X )φ(x ), 6

7 where we have written (X) = X X + X X for X H and T is the rojection on the ole art in z, and φ + = φ φ, or exlicitly, φ + (X) = φ(x) + φ (X) + φ (X )φ(x ). The mas φ and φ + are homomorhisms from H to Q and O resectively. The loo γ : C G defined in terms of φ : H K by γ(z)(x) := φ(x)(z) therefore factorizes as γ = γ 1 γ + where γ ± : C ± G are defined in lie manner in terms of φ ±. The fact that they are holomorhic mas on C + and C, resectively, follows from the roerties that φ + mas to O whereas φ mas to Q. Let us see how this alies in the case of quantum electrodynamics and in articular, how it gives the BPHZ rocedure of renormalization of it. Let us start by giving the Feynman rules for the grahs in our Hof algebra, allowing us to associate a Feynman amlitude to a grah Γ. We will use dim-reg (see [4, Ch.4]) and obtain the regularized (bare) Feynman amlitudes as integrals U Γ (q 1,...,q n,µ 1,...,µ n, n+1,..., N )(z) = d 4 z 1 d 4 z L I Γ (q,µ,, 1,..., L ) (14) If we wor in the Euclidean setting, the integrand is given by the following Feynman rules: ( ) 1. Assign a factor δµν 2 +iǫ + µν (1 ξ) to each internal hoton line. ( 2 +iǫ) 2 2. Assign a factor 1 γ µ µ+m to each internal electron line. 3. Assign a factor eγ µ to each 3-oint vertex. The aarent deendence on the index µ is resolved by summing over µ in combination with the attached hoton line (having also an index µ). 4. Assign a factor m to the 2-oint vertex. 5. Assign a momentum conservation rule to each vertex. In rules 1. and 2., we have introduced the IR-regulators iǫ in order to resolve divergences at small momenta. Examle 5. Consider the following electron self-energy grah According to the Feynman rules, the integrand for this grah is ( I Γ (,) = (eγ µ 1 ) γ κ ( κ + κ ) + m (eγν ) δ µν 2 + iǫ + ) µ ν ( 2 + iǫ) 2(1 ξ) with summation over reeated indices understood. 7

8 As can be seen from equation (14), a Feynman amlitude U Γ corresonding to a 1PI grah Γ is an element in C (E Γ ) M 4 (C) K, and a ma U : H K can be defined by setting U(Γ σ )(z) = e 2 N σ,u Γ. (15) The factor e 2 N is introduced in order to ee trac of the loo number of the grah in terms of owers of e 2. Indeed, with N the number of external edges of Γ, the ower of e 2 aearing in the above exression is exactly the loo number L of Γ. The counterterm C(Γ) for a grah Γ is given as the negative art of the Birhoff decomosition of U alied to Γ and the renormalized value R(Γ) as the ositive art. Indeed, in this case, the above formulæ give recisely the recursive BPHZ-rocedure of subtracting divergences, dealing with ossible subdivergences recursively, so that C = U and R = U +. More exlicitly, C(Γ) = T U(Γ) + γ ΓC(γ () )U(Γ/γ () ), R(Γ) = U(Γ) + C(Γ) + γ ΓC(γ () )U(Γ/γ () ). Remar 6. The relation between the renormalization constants in the Lagrangian (see equation (11)) and the counterterms, was given by Dyson in [10]. In terms of an exansion of Feynman grahs of the secified tye, they read (comare with equation (73)-(76) in [2]) m 0 = Z 2 m + C(Γ (0) ), Z 1 = 1 + Z 2 = 1 Z 3 = 1 4 Ward-Taahashi identities Γ= Γ= Γ= Γ= C(Γ (1) ), C(Γ (2) ), C(Γ (3) ). In quantum electrodynamics, the Ward-Taahashi identities give relations between Feynman amlitudes for full vertex grahs and electron self-energy grahs. Our goal is to translate these identities into relations on the Hof algebra H, thus giving relations between Feynman grahs. More recisely, we consider a quotient of the Hof algebra H by a Hof ideal generated by so-called Ward-Taahashi (WT) elements, thereby establishing the well-nown fact (see for examle [4, 16]) that the WT-identities are comatible with renormalization. First, we introduce the following notation. Let Γ be an electron self-energy grah, and number the internal electron lines that are not art of an electron loo by i. We define Γ(i) to be the grah Γ with insertion of a hoton line on the i th electron line. Definition 7. For every electron self-energy grah Γ, we define the Ward-Taahashi element W(Γ) H associated to Γ by W(Γ)(,q) l := q µ Γ(i)(q,µ;) l + Γ( + q) l Γ() l. i µ (16) 8

9 The first term is understood as the air (Γ(i),σ) H, with external structure given by the distribution σ l = q µ δ q,µ,, q e l. Moreover, we set W µ (Γ)() := q µ W(Γ)(,q) q=0 and W (Γ) := 1 16 µ tr γ µ q µ W(Γ)(,q) =q=0 ; in other words W µ(γ)() = i W (Γ) = i Γ(i) (0,µ,) + Γ (µ), Γ(i) (1) + Γ (2). In what follows, we will suress the matrix indices,l in W(Γ) for notational convenience. The following notation due to t Hooft and Veltman of double headed hoton lines rovides a comact way to denote the above external structure in terms of diagrams: q = q µ (q,µ) In diagrams, this leads to the familiar exressions for the WT-identities (see for examle [16, Ch. 7]), W(Γ)(,q) = insertion oints q + + q W µ(γ)() = insertion oints (0,µ) + µ W (Γ) = insertion oints (1) + (2) for Γ = any electron self-energy grah. Theorem 8. The ideal generated (in H) by W(Γ), W µ(γ) and W (Γ) for all 1PI electron self-energy grahs Γ is a Hof ideal. Before stating the roof of this, we remar that it is thus ossible to define the quotient Hof algebra H of H, with the induced coroduct, counit and antiode. Proof. Recall that an ideal I in a Hof algebra H is called a Hof ideal if (I) I H + H I, ǫ(i) = 0, S(I) I. In our case of a connected graded Hof algebra H, the last roerty follows from the first. Indeed, since S is given inductively by equation (13), we find that S(I) I. 9

10 We set (X) := (X) X X = X X and denote the ideal generated by the WT-identities by I. Clearly, it is enough to establish (I) I H + H I. Moreover, since is an algebra ma by definition, it is enough to establish (W(Γ)) I H + H I and the analogous exressions for W µ (Γ) and W (Γ) for any electron self-energy grah Γ. Let us start by illustrating the general argument in the following secial case of the selfenergy grah Γ dislayed in Figure 1. We label the internal electron lines from left to right, α 1 α 2 α Figure 1: An electron self-energy grah with blocs α = α 1 α 2 and α. from 1 to 9. Let us consider the first term in W(Γ), and slit its image under in a term in which γ contains the electron line i and a term in which it does not: ) ( Γ(i) = + D(γ), i γ ΓC(γ) with C(γ) := i γ γ(i) () Γ(i)/γ(i) () and D(γ) := i/ γ γ () Γ(i)/γ (). For examle, if γ = α 1 α 2 forms the bloc of concatenated electron self-energy grahs inside Γ, we find, C(γ) = γ(i) (1, 2 ) Γ(i)/γ(i) (1, 2 ) i=2,4 1, 2 = ( α 1 α 2 ) (1,) Γ/γ (1,) (e 1 ) + (α 1 α 2 ) (,1) Γ/γ (,1) (e 2 ), where for m = 1,2, α m denotes the electron self-energy grah α m with an external hoton line attached to its internal electron line and e m is the electron line that corresonds to α m in the quotient Γ/γ. On the other hand, D(γ) = γ (1, 2 ) Γ(i)/γ (1, 2 ) i=1,3,5,...,9 1, 2 = (α 1 α 2 ) (2,) Γ/γ (2,) (1) + (α 1 α 2 ) (,2) Γ/γ (,2) (3) + (α 1 α 2 ) (0,) Γ/γ (0,) (1) + (α 1 α 2 ) (,0) Γ/γ (,0) (3) + γ (1, 2 ) Γ/γ (1, 2 )(i). 1, 2 i=5,...,9 Here we wrote exlicitly the external structure = 0, 2 for the electron self-energy grah in γ for which an external hoton line is attached to its incoming electron line (i.e. for α 1 if i = 1 and for α 2 if i = 3). Also, in the last line we used a labelling of the internal electron lines of the quotient Γ/γ in terms of the electron lines of Γ when i / γ. 10

11 The first two terms of D(γ) combine with C(γ) forming the WT-elements W (α m ), and also the last three terms of D(γ) combine to give, C(γ) + D(γ) = W (α 1 )(α 2 ) () Γ/γ (2,) (e 1 ) + (α 1 ) () W (α 2 ) Γ/γ (,2) (e 2 ) + 1, 2 γ (1, 2 ) j insertion oints in Γ/γ Γ/γ (1, 2 )(j), using for the last term the fact that the quotient Γ/(α m ) (0) gives rise to a 2-oint vertex, and thus to a new internal electron line. It is easy to see that the first two terms in the above equation are in I H. The two other terms in (W(Γ)) are of the form γ γ 1, 2 Γ/γ (1, 2 ) and combine, for fixed γ = α 1 α 2 as above, with the last term in the revious equation to give recisely γ (1, 2 ) W(Γ/γ (1, 2 )) H I. We conclude that the term in (W(Γ)) arising from the subgrah γ = α 1 α 2 is an element in I H + H I. Similar arguments show that such relations hold for all subgrahs of Γ. Let us now turn to the roof of the claim that (W(Γ)) I H + H I for any electron self-energy grah Γ. For the first term in W(Γ) we have ( ) Γ(i) = = γ () Γ(i)/γ (), i i i γ Γ(i) where is a multi-index labelling the external structure on the connected comonents of γ and i runs over all internal electron lines of Γ that are not art of a loo. Also, we suressed the external structure of Γ(i) as it aears in W(Γ)(,q). In general, γ can be written as a union γ = γ E γ P γ V γ E (i), where γ E consists of electron self-energy grahs, γ V of full vertex grahs, γ P of vacuum olarization grahs and γ E (i) of electron self-energy grahs with a hoton line inserted at the i th electron line (with this labelling inherited from Γ). Grahs of the tye γ P (i) and γ V (i) do not aear in the sum, because there are no corresonding vertices of valence 3 and 4 in QED. Note that the multiindex only affects the subgrahs in γ E, for each of which it can tae the values 0 and 2. We slit the above sum in a term in which γ () contains the electron line i as an internal line and those in which it does not: ( ) Γ(i) = γ(i) () Γ(i)/γ(i) () + γ () Γ(i)/γ (), (17) i γ Γ i γ E i/ γ E where γ = γ E γ V γ P. We will write ( i Γ(i)) = γ C(γ)+D(γ) for the two terms aearing in equation (17). Before examining the terms C and D, we note that for each γ, γ E can be slit into blocs each of which aear in the grah Γ by concatenation of electron self-energy grahs (as in Figure 1). We will denote such blocs by α γ E and write C(γ) as C(γ) = α γ E α = α 1 α l l α m (i) (1) (γ α m ) () Γ/γ () (e m ) m=1 i α m where e m is the electron line corresonding to α m in the quotient Γ/γ. In words, we searated the sum over the internal electron lines i of γ E into a sum over all blocs α in γ E, together with 11

12 a sum over its connected comonents α m and a sum over the internal electron lines that are art of α m. Then, with i α m, the quotient Γ(i)/γ(i) () is given by the relacement of α m by a 3-vertex, followed by the quotient by the other grahs that constitute γ, and with external structure inherited from Γ(i). Note that since α m (i) is a full vertex grah, there is only the external structure α m (i) (1). This fixes m inside the multi-index to be 2, and by a slight abuse of notation, we let also denote the external structures of the elements in (γ α m ). The term D(γ) can be slit in a sum over i of electron lines that are external edges for γ E and those that are not, D(γ) = γ () Γ(i)/γ () + γ () Γ(i)/γ (). i γ E i/ γ γ E Again, we will write this in terms of the blocs α forming γ E : D(γ) = α + α l ( (α m ) (m)(γ α m ) () Γ α m m=1 (m)) /(γ α m ) () (α l ) (l )(γ α l ) () Γ (α l ( l) )/(γ α l ) () + i/ γ γ E γ () Γ(i)/γ (), where the first term arises from i being the ingoing line of α m for m = 1, l and the second term from i being the outgoing line for α l, thus equal to the sum of all external edges in α. Writing exlicitly the two terms for m = 0,2 one obtains, D(γ) = ( l (α m ) (2) (γ α m ) () Γ/γ () (e m ) α + m=1 m=1 l ( (α m ) (0) (γ α m ) () Γ α m (0)) /(γ α m ) () + ) ) (α l ) (l )(γ α l ) () Γ (α l ( l) /(γ α l ) () + γ () Γ(i)/γ (). i/ γ γ E ( where in the first line, we have used the fact that Γ α m (2)) = Γ/α m (e m ), in the above notation. Since each vertex (0) D(γ) = α adds an electron line to Γ, we can combine the last three terms to obtain l (α m ) (2) (γ α m ) () Γ/γ () (e m ) + m=1 γ () j insertion oints in Γ/γ (Γ/γ () )(j). Thus, we obtain for the sum of C and D, C(γ) + D(γ) = ( ) (α m )(i) (2) + (α m ) (2) (γ α m ) () Γ/γ () (e m ) α,m, i α m + γ () (18) ( ) Γ/γ() (j), j where we recognize the WT-element W (α m ) for each 1PI self-energy grah α m Γ, W (α m ) = i α m (α m )(i) (1) + (α m ) (2). 12

13 Combining the second term in equation (18) with the two other terms in (W(Γ)) (which involve the coroduct (Γ) = γ γ () Γ/γ (), it follows that (W(Γ)) = W (α m )(γ α m ) () Γ/γ () (e m ) + γ () W ( ) Γ/γ (), γ Γ α,m, γ Γ so that (W(Γ)) I H + H I. The other inclusions (W µ(γ)) I H + H I and (W (Γ)) I H + H I follow from the latter equation by the definitions of W µ(γ) and W (Γ) in terms of W(Γ). 5 Conclusions We have shown that the Ward-Taahashi identities can be imlemented on the Hof algebra of Feynman grahs of QED as relations that define a Hof ideal. The quotient Hof algebra H by this Hof ideal is still commutative but has the WT-identities built in. The Feynman amlitudes U on H defined by equation (15) therefore automatically satisfy the WT-identities in the hysical sense (i.e. between Feynman amlitudes). Moreover, Theorem 4 alies and shows that the counterterms and the renormalized Feynman amlitudes are given in terms of the algebra mas C = U : H Q and R = U+ : H O, resectively. In articular, the counterterms as well as the renormalized Feynman amlitudes satisfy the WT-identities. The well-nown relation Z 1 = Z 2 between the renormalization constants as derived by Ward in [18] is now an easy consequence of their definition in (16), Z 1 Z 2 = C(Γ(i) (1) ) + C(Γ (2) ) Γ= = Γ i insertion oints in Γ C ( W (Γ) ) = 0. In the first line we have used the fact that the contribution C(Γ(i) (1) ) vanishes whenever i is art of an electron loo, as follows by exlicit comutation using the Feynman rules (cf. [16, ]). Acnowledgements I would lie to than Matilde Marcolli for discussion and remars, and Özgür Ceyhan for several comments. 13

14 References [1] D. J. Broadhurst and D. Kreimer. Renormalization automated by Hof algebra. J. Symbolic Comut. 27 (1999) [2] C. Brouder and A. Frabetti. Renormalization of QED with lanar binary trees. Eur. Phys. J. C19 (2001) [3] C. Brouder and A. Frabetti. QED Hof algebras on lanar binary trees. J. Algebra 267 (2003) [4] J. Collins. Renormalization. Cambridge University Press, [5] A. Connes and D. Kreimer. Renormalization in quantum field theory and the Riemann- Hilbert roblem. I: The Hof algebra structure of grahs and the main theorem. Comm. Math. Phys. 210 (2000) [6] A. Connes and D. Kreimer. Renormalization in quantum field theory and the Riemann- Hilbert roblem. II: The beta-function, diffeomorhisms and the renormalization grou. Commun. Math. Phys. 216 (2001) [7] A. Connes and M. Marcolli. From hysics to number theory via noncommutative geometry, art II: Renormalization, the Riemann-Hilbert corresondence, and motivic Galois theory. he-th/ [8] A. Connes and M. Marcolli. Renormalization and motivic Galois theory. Int. Math. Res. Not. 76 (2004) [9] A. Connes and M. Marcolli. Quantum fields and motives. J. Geom. Phys. 56 (2006) [10] F. J. Dyson. The S matrix in quantum electrodynamics. Phys. Rev. 75 (1949) [11] G. t Hooft and M. J. G. Veltman. Diagrammar. CERN yellow reort. 73 (1973) [12] D. Kreimer. On the Hof algebra structure of erturbative quantum field theories. Adv. Theor. Math. Phys. 2 (1998) [13] D. Kreimer. Anatomy of a gauge theory. Ann. Phys. Available online 9 March [14] D. Kreimer and R. Delbourgo. Using the Hof algebra structure of QFT in calculations. Phys. Rev. D 60 (1999) , 14. [15] D. Kreimer and K. Yeats. An he-th/ Étude in non-linear Dyson Schwinger Equations. [16] M. E. Pesin and D. V. Schroeder. An Introduction to Quantum Field Theory. Addison- Wesley, [17] I. V. Volovich and D. V. Prohoreno. Renormalizations in quantum electrodynamics, and Hof algebras. Tr. Mat. Inst. Stelova 245 (2004) [18] J. C. Ward. An identity in quantum electrodynamics. Phys. Rev. 78 (1950)