3. GENERALITIES ON FEYNMAN GRAPHS 35 a pair of maps H(g) : H(γ) → H(γ), V (g) : V (γ) → V (γ), such that H(g) commutes with σ, and such that the diagram H(γ) H(g) H(γ) V (γ) V (g) V (γ) commutes. 3.2. Let U be a finite-dimensional super vector space, over a ground field K. Let O(U ) denote the completed symmetric algebra on the dual vector space U ∨ . Thus, O(U ) is the ring of formal power series in a variable u ∈ U. Let O+(U )[[ ]] ⊂ O(U )[[ ]] be the subspace of those functionals which are at least cubic modulo . For an element I ∈ O(U )[[ ]], let us write I = i,k≥0 i Ii,k where Ii,k ∈ O(U ) is homogeneous of degree k as a function of u ∈ U. If f ∈ O(U ) is homogeneous of degree k, then it defines an Sk-invariant linear map Dk f : U ⊗k → K u1 ⊗ · · · ⊗ uk → ∂ ∂u1 · · · ∂ ∂uk f (0). Thus, if we expand I ∈ O(U )[[ ]] as a sum I = ∑ i Ii,k as above, then we have collection of Sk invariant elements Dk Ii,k ∈ (U ∨ )⊗k. Let γ be a stable graph, with n tails. Let φ : {1,...,n} ∼ T (γ) be an ordering of the set of tails of φ. Let P ∈ Sym2 U ⊂ U ⊗2 , let I ∈ O+(U )[[ ]], and let a1,...,an ∈ U By contracting the tensors P and ai with the dual tensor I according to a rule given by γ, we will define wγ,φ(P, I)(a1,...,aT (γ) ) ∈ K. The rule is as follows. Let H(γ), T (γ), E(γ), and V (γ) refer to the sets of half-edges, tails, internal edges, and vertices of γ, respectively. Recall that we have chosen an isomorphism φ : T (γ) ∼ {1,...,n}. Putting a propagator P at each internal edge of γ, and putting ai at the ith tail of γ, gives an element of U ⊗E(γ) ⊗ U ⊗E(γ) ⊗ U ⊗T (γ) ∼ U ⊗H(γ) . Putting Dk Ii,k at each vertex of valency k and genus i gives us an element of Hom(U ⊗H(γ) , K).

Purchased from American Mathematical Society for the exclusive use of nofirst nolast (email unknown) Copyright 2011 American Mathematical Society. Duplication prohibited. Please report unauthorized use to cust-serv@ams.org. Thank You! Your purchase supports the AMS' mission, programs, and services for the mathematical community.