I develop a formalism for solving topological field theories explicitly, in the case when the explicit expression of the instantons is known. I solve topological Yang-Mills theory with the $k=1$ Belavin et al. instanton and topological gravity with the Eguchi-Hanson instanton. It turns out that naively empty theories are indeed nontrivial. Many unexpected interesting hidden quantities (punctures, contact terms, nonperturbative anomalies with or without gravity) are revealed. Topological Yang-Mills theory with $G=SU(2)$ is not just Donaldson theory, but contains a certain link theory. Indeed, local and non-local observables have the property of marking cycles. From topological gravity one learns that an object can be considered BRST exact only if it is so all over the moduli space $M$, boundary included. Being BRST exact in any interior point of M is not sufficient to make an amplitude vanish. Presumably, recursion relations and hierarchies can be found to solve topological field theories in four dimensions, in particular topological Yang-Mills theory with $G=SU(2)$ on $R^4$ and topological gravity on ALE manifolds.
Nucl.Phys. B439 (1995) 617-649 | DOI: 10.1016/0550-3213(95)00024-M
We go on in the program of investigating the removal of divergences of a generical quantum gauge field theory, in the context of the Batalin-Vilkovisky formalism. We extend to open gauge-algebrae a recently formulated algorithm, based on redefinitions $\delta\lambda$ of the parameters $\lambda$ of the classical Lagrangian and canonical transformations, by generalizing a well-known conjecture on the form of the divergent terms. We also show that it is possible to reach a complete control on the effects of the subtraction algorithm on the space $M_{gf}$ of the gauge-fixing parameters. A principal fiber bundle $E \rightarrow M_{gf}$ with a connection $\omega_1$ is defined, such that the canonical transformations are gauge transformations for $\omega_1$. This provides an intuitive geometrical description of the fact the on shell physical amplitudes cannot depend on $M_{gf}$. A geometrical description of the effect of the subtraction algorithm on the space $M_{ph}$ of the physical parameters lambda is also proposed. At the end, the full subtraction algorithm can be described as a series of diffeomorphisms on $M_{ph}$, orthogonal to $M_{gf}$ (under which the action transforms as a scalar), and gauge transformations on $E$. In this geometrical context, a suitable concept of predictivity is formulated. We give some examples of (unphysical) toy models that satisfy this requirement, though being neither power counting renormalizable, nor finite.
Class.Quant.Grav. 12 (1995) 319-350 | DOI: 10.1088/0264-9381/12/2/005
We consider the problem of removing the divergences in an arbitrary gauge-field theory (possibly nonrenormalizable). We show that this can be achieved by performing, order by order in the loop expansion, a redefinition of some parameters (possibly infinitely many) and a canonical transformation (in the sense of Batalin and Vilkovisky) of fields and BRS sources. Gauge-invariance is turned into a suitable quantum generalization of BRS-invariance. We define quantum observables and study their properties. We apply the result to renormalizable gauge-field theories that are gauge-fixed with a nonrenormalizable gauge-fixing and prove that their predictivity is retained. A corollary is that topological field theories are predictive. Analogies and differences with the formalisms of classical and quantum mechanics are pointed out.
Class.Quant.Grav. 11 (1994) 2181-2204 | DOI: 10.1088/0264-9381/11/9/005
We study a regularization of the Pauli-Villars kind of the one loop gravitational divergences in any dimension. The Pauli-Villars fields are massive particles coupled to gravity in a covariant and nonminimal way, namely one real tensor and one complex vector. The gauge is fixed by means of the unusual gauge-fixing that gives the same effective action as in the context of the background field method. Indeed, with the background field method it is simple to see that the regularization effectively works. On the other hand, we show that in the usual formalism (non background) the regularization cannot work with each gauge-fixing.In particular, it does not work with the usual one. Moreover, we show that, under a suitable choice of the Pauli-Villars coefficients, the terms divergent in the Pauli-Villars masses can be corrected by the Pauli-Villars fields themselves. In dimension four, there is no need to add counterterms quadratic in the curvature tensor to the Einstein action (which would be equivalent to the introduction of new coupling constants). The technique also works when matter is coupled to gravity. We discuss the possible consequences of this approach, in particular the renormalization of Newton’s coupling constant and the appearance of two parameters in the effective action, that seem to have physical implications.
Phys.Rev. D48 (1993) 5751-5763 | DOI: 10.1103/PhysRevD.48.5751