Finite Quantum-Field Theory and the Bosonic String Formalism: A Critical Point of View

I. INTRODUCTION

Finite Quantum Field Theories (FQFT) originate from the early causal and finite approach of Bogoliubov-Epstein-Glaser (BEG-CSFT) [1-7]. The initial steps are based on the early recognition that, in general, fields are not regular functions in the usual sense but distributions [8,9]. However the setting up of a Lagrangian formalism in the QFT context encounters products of fields as distributions at the same space-time point, which are ill-defined and the later sources of crippling divergences. Past QFT history essentially deals with the search for counter-terms cancelling these annoying divergences. On the opposite the BEG-CSFT approach under the forms of Refs. [6,7] aims from the start at a Lagrangian formulation in keeping with the basic underlying classical differentiable structure of the space-time manifold. The taming of these divergencies involves regularization procedures which ought to preserve, to start with, the symmetry principles of the Lagrangian. Using a naïve cut-off for instance is known to violate Lorentz and gauge invariances, whereas Dimensional Regularization (DR) [10] and that of Ref. [7] -dubbed TLRS here after- do preserve these fundamental symmetries. The two procedures have in common the distinctive aspect of their implementation prior to the construction of the Lagragian density. The use of DR does not however address directly to the origin of these divergencies but just avoids them in going to an hypothetical space in dimensions. TLRS was developed in Ref. [11,12]. Since the early applications of this scheme [13,14] the calculation of radiative corrections to the Higgs mass [15] and the treatment of the axial anomaly [16,17] are relevant illustrations of the practical use of the TLRS procedure in the D = 4 context. It was shown recently how TLRS solves the long-standing consistency problem [18] encountered between EqualTime (EQT) and Light-Front-Time (LFT) quantizations of bosonic two-dimensional massless fields. Our purpose here is to confront the findings of [18] with the standard bosonic string theory approach of [19,20] and elaborate on the values of the critical dimension for the cancelation of the conformal anomaly.

II THE MATHEMATICAL SETTING

2.1. Classical wave equations

To the original classical field-distribution is associated a translation-convolution product built on a rapidly decreasing test functions , symmetric under reflexion in the variables and . In Fourier-space variables this linear functional can be written as an integral with the proper bilinear form

where (resp. ) is the Fourier-space transform of (resp. of ). Hereafter will stand for .

The wave-equation for the classical convoluted distribution in space-time variables is obtained from the hyperbolic partial differential equation (HPDE)

A solution of the Cauchy problem in the sense of convolution of tempered distributions is nothing else than D'Alembert's (1717 - 1783) solution. It can be written as

with \chi(\pm|p{1}|,p{1}) = \chi{\pm}(p{1}). Canonical quantization of the zero mass scalar quantum operator valued-distribution (OPVD) field \hat{\Phi}(x^{0},x^{1}) proceeds from Eq.(2.2) via the correspondence, in terms of creation and annihilation operators, {\chi{-}(p) \curvearrowright a^{{\dagger}}(p), \chi{+}(p) \curvearrowright a(p)}, with commutator algebra [a(p), a^{+}(q)] = 4\pi p\delta(p-q) and a vacuum |0> such that a(p) |0> = 0 \forall p. That is

Then, one easily evaluates the commutator of two free scalar OPVD to

This integral is finite without the test function and the limiting procedure where refers to important mathematical properties of metric spaces (whether Minskowskian or Euclidean) [18].

2.2. The ET-LFT consistency problem

Going to light-cone (LC) variables is motivated by Dirac's early observation that the LC-stability group is maximal: LC-dynamics has much to share with gallilean dynamics (e.g. relative motion of LC-interacting particles decouples from global center of mass motion...). However in the LC-variables the nature of the initial Klein-Gordon equation in Eq.(2.1) is changed to a characteristic initial value problem (CIVP) relative to the partial-differential equation

with initial data on characteristic surfaces

and the continuity condition

At first sight the LC-Lagrangian is singular : , but the appearance of a primary contrainst is known to be of no physical significance [21].

Nevertheless the consistency of the solutions in the two reference frames cannot be established without further insight. This is just the content of Ref. [18], with two main conclusions:

-On the one hand, full consistency of EQT and LFT quantizations can only be achieved when fields are considered as OPVD with partition of unity test-functions such that, for the light-cone momentum , .

-On the other hand operator series in the Discretized-LC-Quantization (DLCQ) find their natural handling of divergences in the subtraction scheme embedded in the OPVD formulation. The net effect of the PU-test function is the appearance of its inherent RG-scale parameter .

Then the LF-formulation and CFT analysis of 2d-massless models are in complete agreement in their representation of the energy-impulsion tensor in term of infinite dimensional Virasoro Lie-algebras.

III. THE QUANTUM BOSONIC STRING [19, 23_27]

3.1. Equations of motion of the scalar bosonic string in the LC-gauge

The motion under consideration here is taking place on a 2d-worksheet embedded in a D-dimensionnal space. The initial field variables are then elevated to OPVD. A well-defined Lagrangian is then obtained in terms these regular field variables . After dealing with the LC-gauge conditions the equation of motion for is just that of Eq.(2.1) with appropriate position and time variables. Accordingly the sum of the zero-point energies of the first quantized string is just . The well-known conventional evaluation of this sum is given by the Zeta- function with . The critical dimension for the absence of the overall conformal anomaly must then be such as to suppress that one with the central charge c=1 coming from the 2d worksheet analysis and thus obeys , that is D=26! However, even though at the same time this reasoning based on Zeta-function was already under scrutiny [24], this critical value survived the long haul!

3.2. TLRS and the Renormalization Group

In the advocated QFT treatment the key role is in the pseudo-function distribution extension of at the origin. It is defined by the integral

where is the dilatation-scale inherent to the construction of the test function [7,14]. The term in corresponds to the general Hadamard subtraction procedure to generate a Finite part (F.p.).

The factor is arbitrary with no physical meaning unless explicit symmetry violations need enforcement. Consider now the identity

This is easy to understand due to the identity in the UV limit of the p-integration where . Moreover the overall p-invariance implies that terms linear in p do not contribute to the integral.

Consider then the one loop Feynman diagram in relation to the energy-momentum tensor of the X-field and in the same UV limit

with

The presence of the test-function ensures the existence of this phase-space integral, which otherwise would exhibit divergences when . The common practice in the far past was to consider their cancelations by appropriate counter terms. In that case the only surviving regular contribution to is

Here, from the embedding of the 2-d worksheet, D does stand for D-2. Following sect(3.1) what is at sake is the sum (e.g. Trace) of the eigen-modes of this matrix. It can be diagonalized by a unitary transformation with a preserved Trace equal to 4. The result is then just the same critical dimension for the absence of the conformal anomaly obtained in the first quantization framework, that is . It is clear then that the elimination of diverging contributions by counter-terms just leaves the evaluation of (3.4) in keeping with the findings of [19].

However our TLRS formalism shows that this is not the end of the story. Indeed from examples (3.1,3.2) we observe that diverging integrals in and carry essential dependencies on the RG-parameter . Then the complete -dependence governing the RG-analysis of the critical equation is concerned with the behaviour of the central charge under the flow of the renormalization group (RG). Zamolodchikov realized this as early as 1986 with his c-theorem [29]:

"There is a function on the space of unitary 2d-field theories that monotonically decreaes along the RG-flows and which coincides with the Virasoro central charge at fixed points."

It takes the form

where the Calan-Symanzik -function at fixed point is independent of and takes the primitive value [30] .

With the stress energy-tensors and the C-function and the metric write [31,33]

and

where the subscript c at the bracket indicates connected collerator contributions. is an arbitrary inverse distance inherent to the construction of the TLRS test function as a partition of unity with a dimensionless argument (cf footnote 5). The fields originate from local coupling sources .

Let us consider the correlator of two stress tensors on the plane in the TLRS context [31]

We are only left with the unknown scalar function of the mass scale , the spectral density [32] . Its properties have to comply to the following requirements:

(i) Reflexion positivity of the euclidean field theory, i.e. unitarity of the Hibert space, implies , (ii) Due to the spectral density is a dimensionless measure of degrees of freedom, (iii)The form of in a scale invariant field theory is completely fixed by it dimensionality. Since is dimensionless one may not exclude .

This IR divergence at is fully understood in the TLRS context [7,12] as long as the scaling limit to 1 of the test fuctions is not taken too early.

Indeed the correlator is

(iv) Conformity with conformal invariance is exhibited through the \frac{1}{|x|^4} dependence in agreement with the results of 18 for <0|T(z)T(w)|0>. The study of the central charge C from Eq.(3.5) on a 2d-curved manifold [34] has established the general validity of Zamolodchikov c-theorem. It is sufficient, for our purpose, to consider only a flat real surface with coordinate parametrization {z,\bar{z}} = \rho \exp(\pm i\theta) which leads to^{7,8}

It is plain to see that this result is in agreement with the observation about the unicity of the solution, up to to an arbitrary constant (here ), of "Cayley's identity" known as the "Schwarz derivative" [18].

Recently J.F. Mathiot established that, within general arguments valid in the TLRS framework, the trace of the energy-momentum tensor in 4-dimensions does not show any anomalous contribution even though quantum corrections are considered [35]. It is then our concern to turn now to the determination of the critical dimension for the absence of the overall conformal anomaly with and divergences of the Poliakov-tensor treated in the TLRS formalism(cf Appendix A). As mentioned after Eq.(3.4) the elimination of diverging contributions by counter-terms just leads to the evaluation in keeping with the findings of [19], that is . However with TLRS the situation is different as shown in Appendix A. The surviving initial Poliakov-term comes with extra TLRS -independent components. The immediate issue is then the fate of the value under these additional TLRS terms . Following Poliakov's analysis [19] a direct calculation of shows explicitly the critical value , as detailed in Appendix B. Consider now the diagonalization of the normalized matrix with a Lagrange parameter in relation to the stress-energy constraint . At the value is completely fixed, indicating that reparam...

IV. FINAL REMARKS

As a final additional observation it is instructive to consider the string description for the VVA-anomaly [22] versus its direct calculation with TLRS [16,17]. In the string treatment of the massless case (cf Eq.(6.44) of [22]) "explicit divergences are made of a difference of two tadpoles type and hence do not contribute in dimensional regularization, whereas for the remaining terms integrations are elementary, and the result is, using -function identities, easily identified to the standard result for the massless QED vacuum polarization". In TLRS the calculation is directly in dimension with the usual and all contributions are either null or finite: a simple bookeeping leads then to the standard VVA-anomaly without further ado. The TLRS procedure does provide a very clear and coherent picture. All known invariance properties, besides those of the VVA-anomaly, are preserved . It is a direct consequence of the fundamental properties of TLRS. As an "a-priori" regularization procedure, it provides a well defined mathematical meaning to the local Lagrangian we start from in terms of products of OPVD at the same space-time point. It also yields a well defined unambiguous strategy for the calculation of elementary amplitudes, which are all finite in strictly 4-dimensional space-time and with no new non-physical degrees of freedom nor any cut-off in momentum space.

In summary the strategy developed here was based on the passage from first-quantization to second quantization of the bososnic string. It is characterized by the introduction of the notion of L.Schwartz's Pseudo-Functions [8](cf Eq.(3.1)) with their dilatation scale dependences. This result is at variance with the usual dilatation-scale independent Zeta-fuction evaluation of the discrete sum on inverse quantum of first-quantized space-time objects. Actually it is easy to see that the standard evaluation of the Zeta-function through normal Euler's integral in the integration interval should be considered as the limit of the same integral in the interval , thereby collecting first from the logarithmic term the contribution and not the value .

The main conclusion is then that String Theory in the OPVD picture reduces to Finite Quantum Field Theory, directly in 4-dimensions with no trace anomaly of the energy-momentum tensor, and in the limit where the tension along the string becomes infinite.

ACKNOWLEDGEMENTS

This study finds its origin through numerous discussions with Professor Ernst Werner from the Theoretical Physics section of Regensburg University. The first outcomes were publications . In the early 2021 we undertook the present work. Up to April 2021 Ernst Werner contributed actively and continuously to its developments. He departed unexpectedly on May 12th 2021.

This publication is then dedicated to his memory. Our collaborations and constant friendship lasted ever since the Thesis of A. Lacroix-Borderie submitted on September 9,1994 at the Université de Strasbourg.

We are grateful to André Neveu for sharing his past experience on the subject and his quest for clarifying comments along this presentation.

We acknowledge constant support from Denis Puy, Head of the "Laboratoire Univers et Particules" UMR-5299 of IN2P3-CNRS and Université de Montpellier and from Dominique Pallin, Head of the "Laboratoire de Physique Corpusculaire" UMR-6533 of IN2P3-CNRS and Université de Clermont Auvergne.