text:
# Absence of a charge renormalization in the Higgs model interacting with conformal two-dimensional gravity

## 1 Introduction

We discuss $`D`$-dimensional scalar and electromagnetic fields interacting with a quantized scale invariant metric. The gravitons depend only on twodimensional coordinates. These coordinates could be considered either as additional coordinates (e.g., in the brane picture when gravitons can escape to extra dimensions ) or as a (stringy) perturbation of the physical fourdimensional space-time deforming the flat Minkowski metric.

In our earlier paper  we have shown that as a result of an interaction with a scale invariant quantum gravity the propagators of quantum matter fields become more regular than the ones in a classical gravitational field. In this paper we consider a specific model of a scale invariant quantum metric. We show that as a result of an interaction with a conformal invariant twodimensional gravity the fourdimensional Higgs model has no charge renormalization. This property can still hold true in five dimensions depending on the scale dimension of the twodimensional gravity. Higher dimensional models can still be renormalizable if we can treat properly more singular gravitational fields. We also show that after an interaction with twodimensional gravity the standard dispersion relation (relating the temporal component of the wave vector to the spatial one) will be changed (for some other suggestions see ref.) .

## 2 A model of quantum gravity

We consider a metric tensor on the Riemannian manifold (Euclidean formulation)

$$(G)^{AB}=g^{AB}$$
(1)
as a twodimensional field $`G`$ with values in a set of real symmetric positive definite $`D\times D`$ matrices $`G`$. We choose the metric in a block diagonal form $`G^{AB}=\delta ^{AB}`$ if $`A,B>D2`$ and for $`A,BD2`$ the tensor $`g^{\mu \nu }(𝐱_F)`$ is a $`(D2)\times (D2)`$ matrix depending on $`𝐱_FR^2`$. The manifold of matrices is homeomorphic to $`R\times SL(D2,R)/O(D2)`$. The corresponding decomposition takes the form

$$G=(detG)^{\frac{1}{D2}}\left(\left(detG\right)^{\frac{1}{D2}}G\right)(detG)^{\frac{1}{D2}}\stackrel{~}{G}(\mathrm{exp}2\psi )\stackrel{~}{G}$$

We choose a conformal invariant action for $`G`$ (this is an infinite dimensional group , the model is not invariant under the whole group of diffeomorphims of the metric, but such an invariance is anyway expected to be broken in a quantum theory)

$$\begin{array}{c}W(G)=\frac{\alpha }{2}Trd^2x_FG^1GG^1\overline{}G+WZW\hfill \\ =2\alpha d^2x_F\psi \overline{}\psi +\frac{\alpha }{2}Trd^2x_F\stackrel{~}{G}^1\stackrel{~}{G}\stackrel{~}{G}^1\overline{}\stackrel{~}{G}+WZW\hfill \end{array}$$
(2)
where $`=_1i_2`$ is the holomorphic derivative and $`WZW`$ denotes the Wess-Zumino-Witten term . It is convenient to choose the following parametrization for $`G`$ ($`T`$ denotes the transposition)

$$G=𝒩\mathrm{\Lambda }𝒩^T$$
(3)
where $`\mathrm{\Lambda }`$ is a diagonal matrix, $`𝒩`$ is a nilpotent matrix with $`1`$ on the diagonal and the matrix elements below the diagonal are equal to zero. Then

$$e=𝒩\sqrt{\mathrm{\Lambda }}$$
(4)
can be chosen as the tetrad. Using the WZW cocycle condition

$$W(GH^1)=W(G)+W(H^1)+2\alpha TrG^1GH^1\overline{}H$$

we can express $`W`$ explicitly in the coordinates (3)

$$W(G)=\frac{\alpha }{2}Tr\mathrm{\Lambda }^1\mathrm{\Lambda }\mathrm{\Lambda }^1\overline{}\mathrm{\Lambda }+\frac{\alpha }{2}Tr(\mathrm{\Lambda }^1𝒩^1𝒩)^T𝒩^1\overline{}𝒩\mathrm{\Lambda }$$
(5)
This is a model of an exactly soluble conformal field theory . In the following we use the result that $`e=𝒩\sqrt{\mathrm{\Lambda }}`$ is a conformal field. In the coordinates (4) the conformal fields are $`e_1^1=\mathrm{exp}(\psi +\varphi )`$, $`e_2^2=\mathrm{exp}(\psi \varphi )`$, $`e_1^2=\mathrm{exp}(\psi \varphi )X`$ and $`e_2^1=0`$ where $`\mathrm{\Lambda }_1^1=\mathrm{exp}(2\psi +2\varphi )`$,$`\mathrm{\Lambda }_2^2=\mathrm{exp}(2\psi 2\varphi )`$ and the matrix element of $`𝒩1`$ is denoted by $`X`$. The scale dimension of $`e`$ is $`\gamma =\alpha `$ ($`\alpha `$ must be chosen negative, this is inconsistent with a finiteness of the functional integral but we may work at the begining with a positive $`\alpha `$ and only at the level of correlation functions continue $`\alpha `$ to negative values; the relation of the functional integral to the free field representation of conformal field theories is discussed in ). The conformal invariance implies that the random fields $`\lambda ^\gamma e_a^\mu (\lambda 𝐱_F)`$ and $`e_a^\mu (𝐱_F)`$ are equivalent, i.e., they have the same correlation functions.

## 3 The scalar propagator

We consider a complex scalar matter field $`\mathrm{\Phi }`$ in $`D`$ dimensions interacting with gravitons depending only on a $`d`$-dimensional submanifold. We split the coordinates as $`x=(𝐱_G,𝐱_F)`$ with $`𝐱_FR^d`$. Without a self-interaction the $`\mathrm{\Phi }\overline{\mathrm{\Phi }}`$ correlation function is equal to an average

$$\mathrm{}𝒟e\mathrm{exp}\left(\frac{1}{\mathrm{}}W\left(G\right)\right)𝒜^1(x,y)$$
(6)
over the gravitational field $`e`$ of the Green’s function of the operator

$$𝒜=\frac{1}{2}\underset{\mu =1,\nu =1}{\overset{Dd}{}}g^{\mu \nu }(𝐱_F)_\mu _\nu +\frac{1}{2}\underset{k=Dd+1}{\overset{D}{}}_k^2$$
(7)
We repeat some steps of ref. (our case here is simpler and more explicit). We represent the Green’s function by means of the proper time method

$$𝒜^1(x,y)=_0^{\mathrm{}}𝑑\tau \left(\mathrm{exp}\left(\tau 𝒜\right)\right)(x,y)$$
(8)
For a calculation of $`\left(\mathrm{exp}\left(\tau 𝒜\right)\right)(x,y)`$ we apply the functional integral

$$\begin{array}{c}K_\tau (x,y)=\left(\mathrm{exp}\left(\tau 𝒜\right)\right)(x,y)=𝒟x\mathrm{exp}(\frac{1}{2}\frac{d𝐱_F}{dt}\frac{d𝐱_F}{dt}\frac{1}{2}g^{\mu \nu }(𝐱_F)\frac{dx_\mu }{dt}\frac{dx_\nu }{dt})\hfill \\ \delta \left(x\left(0\right)x\right)\delta \left(x\left(\tau \right)y\right)\hfill \end{array}$$
(9)
In the functional integral (9) we make a change of variables ($`xb`$) determined by Stratonovitch stochastic differential equations

$$dx^\mathrm{\Omega }(s)=e_A^\mathrm{\Omega }\left(x\left(s\right)\right)db^A(s)$$
(10)
where for $`\mathrm{\Omega }=1,2,\mathrm{}.,Dd`$

$$e_a^\mu e_a^\nu =g^{\mu \nu }$$

and $`e_A^\mathrm{\Omega }=\delta _A^\mathrm{\Omega }`$ if $`\mathrm{\Omega }>Dd`$.

As a result of the transformation $`xb`$ the functional integral becomes Gaussian with the covariance

$$E[b_a(t)b_c(s)]=\delta _{ac}\mathrm{min}(s,t)$$

In contradistinction to  eq.(10) can be solved explicitly. The solution $`q_\tau `$ of eq.(10) consists of two vectors $`(𝐪_G,𝐪_F)`$ where

$$𝐪_F(\tau ,𝐱_F)=𝐱_F+𝐛_F(\tau )$$
(11)
and $`𝐪_G`$ has the components (for $`\mu =1,\mathrm{},Dd`$)

$$q^\mu (\tau ,𝐱)=x^\mu +_0^\tau e_a^\mu \left(𝐪_F(s,𝐱_F)\right)𝑑b^a(s)$$
(12)
The kernel is

$$\begin{array}{c}K_\tau (x,y)=E[\delta (yq_\tau (x))]=\hfill \\ =E[\delta (𝐲_F𝐱_F𝐛_F(\tau ))_\mu \delta \left(y_\mu q_\mu (\tau ,x)\right)]\hfill \end{array}$$
(13)
Using eq.(12) and the Fourier representation of the $`\delta `$-function we write eq.(13) in the form

$$\begin{array}{c}K_\tau (x,y)=(2\pi )^D𝑑𝐩_G𝑑𝐩_F\hfill \\ E[\mathrm{exp}\left(i𝐩_F\left(𝐲_F𝐱_F\right)+i𝐩_G\left(𝐲_G𝐱_G\right)i𝐩_F𝐛_F\left(\tau \right)ip_\mu e_a^\mu \left(𝐪(s,𝐱_F)\right)𝑑b^a\left(s\right)\right)]\hfill \end{array}$$
(14)
As discussed in ref. the expectation value in eq.(14) is finite if $`\gamma <\frac{1}{2}`$.

## 4 The scale invariant model

In general we cannot calculate the average over the metric explicitly. However, the scale invariance of the metric is sufficient for a derivation of the short distance behaviour of the scalar propagator.

Let us note that $`\sqrt{\tau }b(s/\tau )\stackrel{~}{b}(s)`$ where $`\stackrel{~}{b}`$ denotes an equivalent Brownian motion (the equivalence means that both random variables have the same correlation functions). Then, using the scale invariance of $`e`$ with the index $`\gamma `$ (discussed in sec.2) we can write

$$e(\sqrt{\tau }𝐱_F)\tau ^{\frac{\gamma }{2}}\stackrel{~}{e}(𝐱_F)$$
(15)
Hence, in eq.(13)

$$q^\mu (\tau ,𝐱)=x^\mu +\tau ^{\frac{1}{2}\frac{\gamma }{2}}_0^1\stackrel{~}{e}_a^\mu \left(\tau ^{\frac{1}{2}}𝐱_F+\stackrel{~}{𝐛}_F\left(s\right)\right)𝑑\stackrel{~}{b}^a(s)$$
(16)
The expectation value over $`e`$ is

$$\begin{array}{c}K_\tau (x,y)=\hfill \\ \tau ^{\frac{D2}{2}(1\gamma )1}E\left[\delta \left(\left(𝐲_F𝐱_F\right)\tau ^{\frac{1}{2}}\stackrel{~}{𝐛}_F\left(1\right)\right)\delta \left(\tau ^{\frac{1}{2}+\frac{\gamma }{2}}\left(yx\right)\eta \right)\right]\hfill \end{array}$$
(17)
where

$$\eta ^\mu =_0^1\stackrel{~}{e}_a^\mu \left(\tau ^{\frac{1}{2}}𝐱_F+\stackrel{~}{𝐛}_F\left(s\right)\right)𝑑\stackrel{~}{b}^a(s)$$
(18)
Let $`P(𝐮,𝐯)`$ be the joint distribution of $`(\eta ,\stackrel{~}{𝐛}_F(1))`$ ( $`P`$ does not depend on $`𝐱_F`$ because of the translational invariance). Then, the propagator of the $`\mathrm{\Phi }`$ field is

$$\begin{array}{c}\mathrm{}𝒜^1(x,y)=\hfill \\ \mathrm{}_0^{\mathrm{}}𝑑\tau \tau ^{(1\gamma )\frac{D2}{2}1}P(\left(𝐱_G𝐲_G\right)\tau ^{(1+\gamma )/2},\left(𝐱_F𝐲_F\right)\tau ^{\frac{1}{2}})\hfill \end{array}$$
(19)
Eq.(19) in momentum space has the representation

$$\mathrm{}𝒜^1(𝐤_G,𝐤_F)=\mathrm{}_0^{\mathrm{}}𝑑\tau \stackrel{~}{P}(\tau ^{\frac{1\gamma }{2}}𝐤_G,\sqrt{\tau }𝐤_F)$$

where $`\stackrel{~}{P}`$ denotes the Fourier transform of $`P`$. Using eq.(14) we may write explicitly

$$\begin{array}{c}\mathrm{}𝒜^1(𝐤_G,𝐤_F)\hfill \\ =\mathrm{}_0^{\mathrm{}}𝑑\tau E[\mathrm{exp}i\left(\sqrt{\tau }𝐤_F\stackrel{~}{𝐛}_F\left(1\right)+\tau ^{\frac{1}{2}\frac{\gamma }{2}}𝐤_G\eta _G\right)]\hfill \end{array}$$

The dispersion relation (relating the frequency to the wave number) is determined by (after an analytic continuation $`k_0ik_0`$)

$$(𝒜^1(𝐤_G,𝐤_F))^1=0$$

It can be concluded from eq.(19) that in general the dispersion relation will be different from the standard one (resulting from a non-linear wave equation) $`k_0|𝐤|`$. In particular, we can see that if $`|𝐤_F||𝐤_G|`$ then $`𝒜^1(𝐤_G,𝐤_F)|𝐤_F|^2`$ whereas if $`|𝐤_G||𝐤_F|`$ then $`𝒜^1(𝐤_G,𝐤_F)|𝐤_G|^{\frac{2}{1\gamma }}`$. In the configuration space, the propagator tends to infinity if both $`|𝐱_F𝐲_F|`$ and $`|𝐱_G𝐲_G|`$ tend to zero. However, the singularity depends in a rather complicated way on the approach to zero. It becomes simple if either $`|𝐱_F𝐲_F|=0`$ or $`|𝐱_G𝐲_G|=0`$ . So, if $`|𝐱_F𝐲_F|=0`$ then we make a change of the time variable

$$\tau =t|𝐱_G𝐲_G|^{\frac{2}{1\gamma }}$$
(20)
Using eq.(19) we obtain the factor depending on $`|𝐱_G𝐲_G|`$ in front of the integral and a bounded function $`A`$ of coordinates ,i.e.,

$$𝒜^1(x,y)=A|𝐱_G𝐲_G|^{D+2}$$
(21)
If $`|𝐱_G𝐲_G|=0`$ then we change the time variable

$$\tau =t|𝐱_F𝐲_F|^2$$

As a result

$$𝒜^1(x,y)=A|𝐱_F𝐲_F|^{(D2)(1\gamma )}$$
(22)
with a certain bounded function $`A`$. We can see that in the $`𝐱_G`$ coordinate the singularity remains unchanged but the propagator is more regular in the $`𝐱_F`$ coordinate.

It is not easy to calculate the probability distribution $`P`$ exactly. Choosing as a first approximation $`\eta 𝐛_G(1)`$ we obtain

$$P(𝐮,𝐯)=(2\pi )^{\frac{D}{2}}\mathrm{exp}(\frac{𝐮^2}{2}\frac{𝐯^2}{2})$$

In this approximation

$$\mathrm{}𝒜^1(𝐤_G,𝐤_F)=\frac{\mathrm{}}{2}_0^{\mathrm{}}𝑑\tau \mathrm{exp}(\frac{1}{2}\tau ^{1\gamma }|𝐤_G|^2\frac{1}{2}\tau |𝐤_F|^2)$$

If $`D=4`$ then

$$𝑑𝐱_F𝑑𝐱_G|𝒜^1(x,y)|^2=𝑑𝐤_G𝑑𝐤_F|𝒜^1(k)|^2<\mathrm{}$$
(23)
for any $`\gamma >0`$.

In $`D`$ dimensions the integral (23) takes the form

$$_0^{\mathrm{}}𝑑\tau _1_0^{\mathrm{}}𝑑\tau _2(\tau _1+\tau _2)^1(\tau _1^{1\gamma }+\tau _2^{1\gamma })^{\frac{D2}{2}}$$

It is finite if $`(1\gamma )(D2)<2`$. Hence, it can be finite in $`D=5`$ if $`\gamma <\frac{1}{2}`$ is large enough. In $`D=6`$ power-law singularities appear if $`\gamma <\frac{1}{2}`$ and the model has logarithmic (presumably renormalizable) singularities for $`\gamma =\frac{1}{2}`$.

It can be shown that a singularity of the mean value of any power $`n`$ of $`𝒜^1(x,y)`$ is equal to the $`n`$-th power of the singularity of the mean value $`𝒜^1`$. Then, it follows that there will be no coupling constant renormalization in the $`\mathrm{\Phi }^4`$ model in four dimensions.

## 5 The photon propagator

Let us consider the $`D`$-dimensional electromagnetic Lagrangian

$$W=\frac{1}{4}d^Dx\sqrt{g}g^{BR}g^{CS}F_{BC}F_{RS}$$
(24)
We define

$$\widehat{g}^{BC}=\sqrt{g}g^{BC}$$
(25)
and

$$\widehat{g}^{BC}=\widehat{e}_S^B\widehat{e}_S^C$$
(26)
We consider also the inverse matrix $`l`$

$$\widehat{l}_B^S\widehat{e}_R^B=\delta _R^S$$
(27)
In terms of the tetrad we define fields in a local Euclidean frame

$$\widehat{A}_R=\widehat{e}_R^BA_B$$
(28)
We choose the Feynman gauge. This means an addition to the action of the term

$$W_0=\frac{1}{2}d^Dx(g^{BC}_B\sqrt{g}A_C)^2$$
(29)
We express the action by the hat-fields. We divide $`W=W_1+W_2+W_3+W_0`$ as follows

$$W_1=\frac{1}{2}d^Dx\widehat{A}_a(g^{\rho \sigma }_\rho _\sigma )\widehat{A}_a$$
(30)
where $`\widehat{A}_a=\widehat{e}_a^\nu A_\nu `$ and

$$W_2=\frac{1}{2}d^Dx\widehat{A}_k((_j+\widehat{\mathrm{\Gamma }}_j)(_j+\widehat{\mathrm{\Gamma }}_j)g^{\rho \sigma }_\rho _\sigma )\widehat{A}_k$$
(31)
where

$$(\widehat{A})_k=g^{\frac{1}{4}}A_k$$
(32)
is a vector and

$$(\widehat{\mathrm{\Gamma }}_j)_k^l=g^{\frac{1}{4}}_jg^{\frac{1}{4}}\delta _k^l$$
(33)
is a diagonal matrix . $`\widehat{\mathrm{\Gamma }}`$ is a connection defined in eq. (33) for the last $`(D1,D)`$ components and

$$\widehat{\mathrm{\Gamma }}_{ja}^c=\widehat{e}_a^\mu _j\widehat{l}_\mu ^c$$
(34)
for the first $`D2`$ components. After the transformation (28) $`W_3`$ reads

$$\begin{array}{c}W_3=\frac{1}{2}(_j\delta _{ca}+\widehat{\mathrm{\Gamma }}_{jc}^a)\widehat{A}_a(_j\delta _{cb}+\widehat{\mathrm{\Gamma }}_{jc}^b)\widehat{A}_b\hfill \\ \frac{1}{2}\widehat{A}_a[(_j+\widehat{\mathrm{\Gamma }}_j)(_j+\widehat{\mathrm{\Gamma }}_j)]_{ab}\widehat{A}_b\hfill \end{array}$$
(35)
We can write down the whole action in the form

$$W=\frac{1}{2}d^Dx\widehat{A}_R[g^{BC}(_B+\widehat{\mathrm{\Gamma }}_B)(_C+\widehat{\mathrm{\Gamma }}_C)]_{RS}\widehat{A}_S\frac{1}{2}\widehat{A}_R(\mathrm{}_{EM})_{RS}\widehat{A}_S$$
(36)
where $`\widehat{\mathrm{\Gamma }}_j`$ has a block form with components defined in eqs.(33) and (34) ($`\widehat{\mathrm{\Gamma }}_\mu =0`$).

For a calculation of the correlation functions in QFT expressed by $`\mathrm{}_{EM}^1`$ we are interested in the heat equation

$$_\tau \widehat{A}=\frac{1}{2}\mathrm{}_{EM}\widehat{A}$$
(37)
The solution can be expressed in a general form

$$\widehat{A}(\tau ,x)(T_\tau \widehat{A})(x)=E[𝒯_\tau \widehat{A}(q_\tau (x))]$$
(38)
where $`\widehat{A}_B`$ is a $`D`$-dimensional vector and the matrix $`𝒯`$ is a solution of the equation

$$d𝒯=\widehat{\mathrm{\Gamma }}_j𝒯db^j$$
(39)
where $`b^j`$ are independent Brownian motions.

We need the kernel $`K`$ of the operator $`T_\tau `$ defined as the solution of the equation

$$_\tau T_\tau =\frac{1}{2}\mathrm{}_{EM}T_\tau $$
(40)
with the initial condition $`(T_\tau )_{|\tau =0}=1`$. In components, eq.(40) reads

$$_\tau K_R^S(\tau ;x,y)=\frac{1}{2}d^Dz\mathrm{}_{EM}(x,z)_R^CK(\tau ;z,y)_C^S$$
(41)
with the initial condition $`K(\tau =0;z,y)_D^S=\delta _D^S\delta (zy)`$ . Note that

$$\widehat{\mathrm{\Gamma }}_j=\widehat{e}_j\widehat{e}^1$$
(42)
is of the form of a pure gauge. Then, eq.(39) can be solved exactly. Inserting the solution of eq.(39) into eq.(38) we obtain the solution of the heat equation in the form

$$\widehat{A}_R(\tau ,x)=E[\widehat{e}_R^C(x)\widehat{l}_C^S(q_\tau (x))\widehat{A}_S(q_\tau (x))]$$
(43)
Hence, the kernel is

$$K_R^S(\tau ;x,y)=\widehat{e}_R^D(x)\widehat{l}_D^S(y)E[\delta (yq_\tau (x))]$$
(44)
We must take an average over the tetrad in order to compute correlations in a random metric field. It is not easy to calculate expectation values of the inverse of $`\widehat{e}`$. So, we restrict ourselves to some special correlations .

The formula

$$\widehat{A}_R(x)\widehat{A}_P(y)=(\mathrm{}_{EM})_{RP}^1(x,y)𝒟_{RP}(x,y)$$
(45)
follows from the action (36). We can use this result to compute

$$\begin{array}{c}𝒟_B^C(x,y)A_B(x)A^C(y)=A_B(x)g^{CD}(y)A_D(y)\hfill \\ =\widehat{l}_B^R(x)\widehat{A}_R(x)\widehat{e}_S^C(y)\widehat{e}_S^D(y)\widehat{l}_D^P(y)\widehat{A}_P(y)=_0^{\mathrm{}}𝑑\tau \widehat{l}_B^R(x)\widehat{e}_S^C(y)\widehat{e}_S^D(y)\widehat{l}_D^P(y)K_R^P(\tau ;x,y)\hfill \\ =\delta _B^C_0^{\mathrm{}}𝑑\tau E[\delta (yq_\tau (x))]\hfill \end{array}$$
(46)
where the r.h.s. is equal to the scalar propagator. We can conclude that the short distance behaviour of the scalar as well as photon propagators are the same. It is less singular than the canonical one and determined by the scale dimension of $`e`$.

Finally, we consider the Abelian Higgs model. Its gauge invariant perturbation expansion in the $`(\mathrm{\Phi }\mathrm{\Phi }^{})^2`$ interaction is expressed by the propagators

$$\begin{array}{c}\mathrm{\Phi }(x)\mathrm{\Phi }^{}(y)=_0^{\mathrm{}}𝑑\tau E[\delta \left(q(\tau ,x)y\right)\mathrm{exp}\left(i_0^\tau 𝑑q^B(s)A_B\left(q\left(s\right)\right)\right)]\hfill \\ =_0^{\mathrm{}}𝑑\tau E[\delta \left(q(\tau ,x)y\right)\mathrm{exp}\left(\frac{1}{2}_0^\tau 𝑑q^B(s)𝑑q_C(s^{})𝒟_B^C\left(q\left(s\right)q\left(s^{}\right)\right)\right)]\hfill \end{array}$$
(47)
where $`𝒟`$ has been calculated in eq.(46). In the approximation $`\mathrm{exp}(𝒟)\mathrm{exp}(𝒟)`$ we obtain

$$\begin{array}{c}\mathrm{\Phi }(x)\mathrm{\Phi }^{}(y)\hfill \\ _0^{\mathrm{}}𝑑\tau E[\delta \left(q(\tau ,x)y\right)\mathrm{exp}\left(\frac{1}{2}_0^\tau 𝑑q^B(s)𝑑q_C(s^{})𝒟_B^C\left(q\left(s\right)q\left(s^{}\right)\right)\right)]\hfill \end{array}$$
(48)
The double line integral in the exponential (48) is more regular than the canonical one and may be finite depending on the dimension $`D`$ and the value of $`\gamma `$. In particular, it is finite if $`D=4`$ . The expression for higher order correlation functions is similar to eq.(47). So, for the fourth order correlation function we have

$$\begin{array}{c}\mathrm{\Phi }(x)\mathrm{\Phi }(x^{})\mathrm{\Phi }^{}(y)\mathrm{\Phi }^{}(y^{})=_0^{\mathrm{}}d\tau d\tau ^{}E[\delta (q(\tau ,x)y)\delta (q^{}(\tau ^{},x^{})y^{})\hfill \\ \mathrm{exp}(i_0^\tau dq_BA^B+i_0^\tau ^{}dq_B^{}A^B)]+(xx^{})\hfill \\ =_0^{\mathrm{}}d\tau d\tau ^{}E[\delta (q(\tau ,x)y)\delta (q^{}(\tau ^{},x^{})y^{})\hfill \\ \mathrm{exp}(\frac{1}{2}_0^\tau _0^\tau dq^B(s)dq_C(s^{})𝒟_B^C\hfill \\ \frac{1}{2}_0^\tau ^{}_0^\tau ^{}dq^B(s)dq_C^{}(s^{})𝒟_B^C_0^\tau ^{}_0^\tau dq^B(s)dq_C^{}(s^{})𝒟_B^C)]\hfill \\ +(xx^{})\hfill \end{array}$$
(49)
where the last term means the same expression with $`x`$ replaced by $`x^{}`$. We can obtain similar formulae for higher order correlation functions (including the correlations with the gauge potential). It follows that as a result of the more regular short distance behaviour of the scalar propagator (19) and the electromagnetic propagator (45) there will be no charge renormalization in the fourdimensional Higgs field interacting with a scale invariant two-dimensional quantum gravity. In higher dimensions $`D`$ the charge renormalization depends on the values of $`D`$ and $`\gamma `$. There still will be no charge renormalization if $`D=5`$ and $`\gamma `$ is sufficiently close to $`\frac{1}{2}`$.