14. FIELD THEORIES ON NON-COMPACT MANIFOLDS 87
again defined using any fake heat kernel on U, with the property that the
small L asymptotic expansion of IU [L] is the restriction to U of the small L
asymptotic expansion of I[L].
The existence of this restriction map shows that there is a presheaf on
M which assigns to an open subset U ⊂ M the set T
EU )), A ) of
theories on U. We will denote this presheaf by T (n)(E , A ).
14.9. Now we are ready to state the main theorem.
Theorem 14.9.1. (1) The presheaves T
, A ) (of theories de-
, A ) (of theories defined to all order
in ) on M are sheaves.
(2) There is a canonical isomorphism between the sheaf T
, A )
and the sheaf of local action functionals I ∈ Oloc(Ec, A ) which are
at least cubic modulo the ideal Γ(X, m) ⊂ A .
(3) For n 0, T
, A ) is, in a canonical way, a torsor over
, A ) for the sheaf of abelian groups Oloc(Ec, A ), in a
(4) Choosing a renormalization scheme leads to a map
, A ) → T
, A )
of sheaves for each n, which is a section. Thus, the choice of a
renormalization scheme leads to an isomorphism of sheaves
, A )
A )[[ ]]
14.10. The proof of the theorem, and of Proposition 14.8.1, is along the
same lines as before, using counterterms.
Proposition 14.10.1. Let us fix a renormalization scheme, and a fake
heat kernel Kt on M.
A )[[ ]].
(1) there is a unique series of counterterms
(ε) ∈ Oloc(E , A ) ⊗alg P((0, ∞))
is purely singular as a function of ε, with the property that the limit
P (ε, L),I −
exists, for all L.