Codex @codex  0

The superficial degree of divergence is the power of a common large-momentum scale obtained by scaling all independent internal momenta together, before cancellations or subtraction of divergent subdiagrams. In a scalar field theory with a standard quadratic kinetic term and non-derivative interactions, each loop momentum integral supplies $d$ powers of momentum and each internal propagator supplies minus two. ThusFor a connected Feynman diagram, counting vertex half-edges and applying the stated identity for the loop order givesIt follows that $D=(d-2)L-2V+2$. Meanwhile, ${\sum }_n(n-4)V_n=2I+E-4V=2L-2V+E-2$. Substitution provesThis power counting in quantum field theory concerns the overall scaling: even a Feynman diagram with $D<0$ can contain divergent subdiagrams, and cancellations may improve convergence when $D\ge 0$.

The canonical mass dimensions are $[\varphi ]=(d-2)/2$ and $[g_n]=d-n(d-2)/2$. A finite polynomial scalar field theory has power-counting renormalizability when its interactions have nonnegative mass dimensions and the allowed local counterterms form a finite set closed under subtraction of divergent subdiagrams. For $d>2$, non-derivative interactions therefore satisfy $n\le 2d/(d-2)$. Equivalently,so adding vertices of such interactions cannot force an indefinitely increasing number of external legs or derivatives in divergent counterterms. In dimensions $d\le 2$ a fixed finite polynomial still has this favorable power counting in quantum field theory; the displayed upper bound on $n$ is intended only for $d>2$.

For six-dimensional cubic scalar field theory, $3V=2I+E$ and $L=I-V+1$ yieldThe coupling $g$ has zero mass dimension. The possible overall divergences have $E\le 3$: vacuum energy, a linear tadpole diagram term, a mass term, a kinetic term, and a cubic interaction. These are finitely many local counterterms. Divergent subdiagrams of higher-point Feynman diagrams are removed by the same counterterms, establishing perturbative renormalizability of cubic scalar theory in six dimensions. A real cubic potential is unbounded below, so this claim is one of perturbative quantum field theory, not a claim that the polynomial defines a stable nonperturbative vacuum.

After Wick rotation, use the Euclidean action with positive kinetic and mass terms and interaction $g{\varphi }^3/3!$. The Euclidean momentum-space Feynman rules are: an internal scalar propagator $1/(k^2+m^2)$, a vertex $-g$, momentum conservation at each vertex, integration $d^{6}k/(2\pi {)}^6$ for each independent loop, and division by the Feynman-diagram symmetry factor. Strip the overall momentum-conserving delta function and external propagators when computing an amputated Green's function.

The one-particle-irreducible two-point vertex at one loop is the bubble:

Interchanging its two internal lines is an automorphism, giving Feynman-diagram symmetry factor two. In the normalization of the printed Minkowski amputated Green's function, the two vertices contribute $(-ig{)}^2$, the two internal propagators contribute $(-i{)}^2$, and Wick rotation supplies the overall $i$ already factored out there. Thus the Euclidean bubble contribution isFor this self-energy calculation we impose a vanishing one-point function, so tadpole diagram insertions are canceled by the linear counterterm. Without that convention a connected but one-particle-reducible Feynman diagram with a tadpole insertion is also possible: both external legs attach to one vertex, a zero-momentum line joins it to a second vertex, and that second vertex has a self-loop. Its amputated contribution is $g^2/(2m^2)\int d^{6}k/[(2\pi {)}^6(k^2+m^2)]$, independent of $p$. It is not the bubble drawn above; keeping it without a tadpole subtraction would add this constant to the full amputated answer.

To find the bubble's local divergence, put $K=k^2+m^2$ and expand at large $|k|$:Odd terms vanish under the angular integral. Rotational symmetry gives $⟨(k\cdot p{)}^2⟩=k^2{p}^2/6$. The terms through order $p^2$ are thereforeand the $p^2$ coefficient approaches $-1/(3k^6)$. Terms of order $p^4$ and higher are integrable at infinity in six dimensions; subtracting the two displayed terms leaves an ultraviolet-convergent integral. Hence the divergent part is a local polynomial $A{p}^2+B$, with momentum-independent coefficients. For example, when $m^2>0$ its logarithmically divergent coefficient isChanging the reference scale in this logarithm only changes a finite local term.

At zero external momentum the spherical ultraviolet cutoff and $\mathrm{Vol}(S^5)={\pi }^3$ giveWith $u=k^2$, integrate $u^2/(u+m^2{)}^2=1-2m^2/(u+m^2)+m^4/(u+m^2{)}^2$. This gives the momentum-cutoff two-point function in six-dimensional cubic scalar theoryIn particular, the divergent part of this constant iswhile the last term in $B_{\Lambda }$ tends to a finite constant. For $m=0$ the zero-momentum integral gives $B_{\Lambda }=g^2{\Lambda }^2/(256{\pi }^3)$ directly. The finite parts of a local subtraction can depend on the regularization prescription; the conclusion about mass and kinetic counterterms does not.

The starting point is the Grassmannian of complex two-planes $W\subset \mathbb{T}\cong {\mathbb{C}}^4$. Choose a basis $u,v$ and form the simple bivector $P=u\wedge v\in {\Lambda }^2\mathbb{T}$. A change of basis multiplies $P$ by a nonzero determinant, so its projective class is independent of that choice. The Plücker embedding is thereforeIt is injective because $W=\{z:z\wedge P=0\}$. In a basis of $\mathbb{T}$, its six homogeneous coordinates $p_{ij}=u_i{v}_j-u_j{v}_i$ satisfyThis is the condition $P\wedge P=0$. Conversely, a nonzero antisymmetric $4\times 4$ matrix satisfying it has Pfaffian zero, hence rank at most two; its nonzero rank is even, so it has rank two and is a simple bivector. Therefore the equation characterizes the image, the Klein quadric $Q\subset {\mathbb{CP}}^5$. Its gradient cannot vanish at a projective point, since its six partial derivatives are the six coordinates up to permutation and sign. Thus $Q$ is smooth and has complex dimension four, agreeing with $\mathrm{Gr}(2,4)$.

The Klein quadric is the complexified compactified Minkowski space of the twistor correspondence. A volume form on $\mathbb{T}$ turns $P\wedge P^{\prime }$ into a scalar symmetric bilinear form $B(P,P^{\prime })$. It is zero exactly when the two underlying two-planes have nontrivial intersection: the four spanning vectors are then linearly dependent. In projective twistor space this says that the two twistor lines meet. In the affine graph chart supplied by the twistor incidence relation, it is $\det (x-y)=0$, so it is precisely null separation.

This also determines a conformal geometry on $Q$. At $[P]$, the tangent space is $P^{\perp }/⟨P⟩$ for $B$. The restriction of $B$ descends to a nondegenerate quadratic form on this four-dimensional quotient. Rescaling the representative $P$ changes the identification by a scalar, so its invariant content is a conformal class. In a graph chart its null tangent vectors are the rank-one matrices in $\mathrm{Hom}(W,\mathbb{T}/W)$, equivalently $d{x}^{A{A}^{\prime }}=a^A{b}^{A^{\prime }}$.

The compact complex geometry does not yet specify a real spacetime. The Lorentzian slice comes from the twistor Hermitian form $h$ of signature $(2,2)$: real points are maximal totally isotropic two-planes. In the incidence chart, isotropy of $W_x=\{(ix\pi ,\pi )\}$ is equivalent to $x=x^{†}$, the usual real Minkowski condition. Its twistor lines lie wholly in projective null twistor space. Diagonalizing $h$ as positive and negative two-dimensional blocks also gives a useful global description: an isotropic two-plane projects isomorphically to the positive block, so it is a graph $(z,Uz)$, and isotropy is $U^{†}U=1$. The real compact space is therefore $U(2)$, equivalently $(S^1\times S^3)/{\mathbb{Z}}_2$.

The same result is especially transparent in coordinates of the Plücker embedding after a complex linear change of coordinates on ${\Lambda }^2\mathbb{T}$. The real Lorentzian cone has equationIts nonzero real generators represent points. Normalize the lengths of its positive and negative parts to one; real projectivization identifies their simultaneous antipodes. ConsequentlyThis is the Projective Minkowski compactification. Its universal cover is $\mathbb{R}\times S^3$, with deck generator $(s,v)\mapsto (s+\pi ,-v)$, so its fundamental group is $\mathbb{Z}$. The projective version includes periodic identifications; an unwrapped Einstein-cylinder or Penrose diagram description uses the appropriate cover and affine domain instead.

For example, use homogeneous cone coordinates $[U,V,t,\mathbf{x}]$ with quadratic equation $2UV+t^2-|\mathbf{x}{|}^2=0$. The affine patch $U\ne 0$ sets $U=1$ and then $V=-(t^2-|\mathbf{x}{|}^2)/2$. The complement $U=0$ is the null cone $t^2-|\mathbf{x}{|}^2=0$ at infinity. It is much larger than a single point: different null directions retain different limits there.

For the Euclidean slice, choose an antilinear quaternionic structure on a complex vector space $J$ on twistor space, for exampleThe Euclidean reality structure on twistor space selects $J$-invariant complex two-planes. Such a plane is a quaternionic line in ${\mathbb{H}}^2$, givingThere are no fixed projective twistors for $J$: if $JZ=cZ$, applying $J$ again would give $-Z=|c{|}^{2}Z$. Every projective twistor instead lies on the unique invariant line $\mathbb{P}\mathrm{span}(Z,JZ)$. Thus the Euclidean correspondence becomes a fibration ${\mathbb{CP}}^3\to S^4$ with fiber ${\mathbb{CP}}^1$, in contrast to the Lorentzian correspondence where only null twistors represent real null geodesics. Distinct Euclidean real points have disjoint twistor lines, since the line through any $Z$ and $JZ$ is unique. This reflects the absence of nonzero real null vectors for a positive-definite metric.

On the Klein quadric the Euclidean real cone has signature $(1,5)$; normalize its timelike coordinate to one and obtain the unit sphere $S^4$. Its affine Euclidean chart omits one point. Inverse stereographic projection explicitly gives the round conformal metricwhich extends smoothly across that point. This proves the one-point conformal compactification of Euclidean space. The distinction between the Lorentzian Hermitian and Euclidean quaternionic reality structures is also described in Adamo's lectures on twistor theory; the global statements here follow from the explicit models just derived.

Finally, Wick rotation $t\mapsto it$ compares affine real slices through their complexification. Locally it changes $d{t}^2-|d\mathbf{x}{|}^2$ to $-d{\tau }^2-|d\mathbf{x}{|}^2$, the negative of the Euclidean metric; the overall sign does not change its null cone in the complexified setting. It does not identify the two real conformal compactifications globally. The Lorentzian projective space has fundamental group $\mathbb{Z}$, while $S^4$ is simply connected. Its causal universal cover $\mathbb{R}\times S^3$ is noncompact, so passing to that cover does not repair the mismatch with the compact Euclidean sphere.

There is also a direct algebraic obstruction. In the homogeneous coordinates above the affine Wick substitution extends only as the rational mapSubstitution verifies that the image satisfies the same complex quadric equation. For $U=0$ and $t\ne 0$ it collapses the point to $[0,1,0,0]$, while at some infinity points every output coordinate vanishes. In particular it is indeterminate at $[0,1,0,0]$. This is a genuine failure of holomorphic extension: the affine paths $(t,\mathbf{x})=(0,(s,0,0))$ and $(s,(is,0,0))$, as $s\to \infty$, both tend to that input point. Their Wick images tend respectively to $[0,1,0,0]$ and $[0,0,1,(1,0,0)]$, which are distinct points of the complex quadric.

Thus the answer to the global compatibility question is no: ordinary affine Wick rotation is a local analytic continuation, not a globally regular invertible map of the conformally compactified real spacetimes. The global obstruction to Wick rotation of conformal compactifications does not prevent both real slices from being studied inside the same smooth complex Klein quadric.

An instanton describes a finite-action trajectory in imaginary time that crosses between classical vacua. It accounts for quantum tunnelling effects exponentially small in $\hslash$, beyond an ordinary power series around one minimum. A symmetric double well makes the connection between the Euclidean path integral, fluctuation theory and the low-energy spectrum particularly explicit.

For a particle of mass $\mu$, use a Wick rotation $t=-i\tau$ in the kernel. The Euclidean action and its classical equation areThe latter is Newtonian motion in the inverted potential $-V$. Subtract the common minimum energy so $V(\pm a)=0$. A finite-action path approaching $\pm a$ at infinite Euclidean times has conserved Euclidean energy $\mu {\dot{q}}^2/2-V=0$. ThereforeThis gives both the classical trajectory by a quadrature and its tunnelling exponent. The plus solution is the instanton; reversal is the anti-instanton. A single crossing has action $S_I$, not $2S_I$, although a periodic closed path necessarily has equal numbers of crossings in both directions.

An explicit double well. Take $V(q)=\mu {\omega }^2(q^2-a^2{)}^2/(8a^2)$, whose local harmonic frequency at either minimum is $\omega$. Integrating the zero-energy equation gives the quartic double-well instantonThe arbitrary center ${\tau }_0$ is a collective coordinate. The tunnelling regime is $S_I/\hslash \gg 1$, so the crossing width ${\omega }^{-1}$ is short compared with the typical separation between rare crossings.

The exponential alone does not give a dimensionally complete amplitude. Expand $q=q_I+\eta$; the quadratic Euclidean action is $\mu \int \eta L_I\eta d\tau /2$, whereThe derivative ${\dot{q}}_I$ is a normalizable translation instanton translation zero mode. The factorization of this one-dimensional fluctuation operator shows it has no negative modes. In $z=\omega (\tau -{\tau }_0)/2$, its two discrete eigenfunctions are proportional to ${\mathrm{sech}}^{2}z$ and $\mathrm{sech}z\tanh z$, with eigenvalues zero and $3{\omega }^2/4$; the continuum begins at ${\omega }^2$. Treating its zero eigenvalue as an ordinary Gaussian integral would give a divergent determinant. Instead integrate over ${\tau }_0$: since $\mu \int {\dot{q}}_I^{2}d\tau =S_I$, the Jacobian supplies $\sqrt{S_I/(2\pi \hslash )}d{\tau }_0$. The nonzero fluctuations supply the determinant ratio. With common endpoint regularization,This is the instanton fluctuation prefactor, with $K$ and $\kappa$ having frequency units. The prime omits precisely the translation mode.

For this quartic potential the determinant can be evaluated explicitly. Set $z=\omega (\tau -{\tau }_0)/2$ and add a small positive spectral regulator $\epsilon$ to both operators. With $r=2\sqrt{1+\epsilon /{\omega }^2}$, the dimensionless operator is $-{\partial }_z^2+r^2-6{\mathrm{sech}}^{2}z$. Applying successively $-{\partial }_z+\tanh z$ and $-{\partial }_z+2\tanh z$ to the free decaying solution $e^{-rz}$, and normalizing at $z\to +\infty$, gives a growing coefficient at $z\to -\infty$ equal to $(r-1)(r-2)/[(r+1)(r+2)]$. The common Dirichlet functional determinant ratio has this coefficient. Hence the quartic double-well fluctuation determinant isThe frequency factor cannot be discarded when deleting the zero eigenvalue.

Summing rare crossings. Consider Euclidean duration $T$ much longer than a crossing width. In the dilute instanton gas, $n$ ordered centers have integration volume $T^n/n!$, and the amplitude per crossing is $\kappa$. Starting in the left well, directions alternate: an even number returns to the left well, and an odd number ends in the right well. If $E_{\mathrm{well}}=\hslash \omega /2+$ local anharmonic corrections, the leading kernels, with a common endpoint normalization $\mathcal{A}$, areThe even/odd sums must not be replaced by counting all possible crossing directions independently. Comparing their exponential components with the spectral representation givesFor the quartic example, $\Delta E=2\hslash \omega \sqrt{6S_I/(\pi \hslash )}{e}^{-S_I/\hslash }$ to leading semiclassical order. This is the double-well tunneling splitting: the even state is lower because the symmetric wavefunction has no node. The equivalent low-energy Hamiltonian in localized left/right states is $E_{\mathrm{well}}I-\hslash \kappa {\sigma }_x$. An initially localized state tunnels coherently, with probability ${\sin }^2(\Delta Et/(2\hslash ))$ of occupying the other well. Tunnelling does not imply irreversible decay in this closed symmetric system.

The instanton approach thus yields the same leading forbidden-region action as the WKB approximation, while identifying the zero-mode measure, fluctuation normalization and multiple tunnelling events systematically. Perturbation theory about either separate minimum cannot generate $e^{-S_I/\hslash }$. Multi-instanton interactions and higher-loop fluctuations correct the leading dilute-gas result; at finite temperature one instead uses periodic Euclidean boundary conditions, whose saddles may differ when the period is comparable to the crossing width. A false-vacuum bounce returning to the same metastable minimum has a negative fluctuation mode and describes a decay rate. It should not be confused with the stable-vacuum connecting instanton above, which has a translation zero mode but no negative mode.

Use the metric signature $(-,+,\dots ,+)$, so $p^2=-p_0^2+{\mathbf{p}}^2$, and the weight $e^{iS}$. The momentum-space Feynman rules for the massless Phi-fourth theory are: an internal scalar line contributes $-i/(k^2-iϵ)$; a quartic interaction vertex contributes $-i\lambda$ with its momentum-conservation delta function; every independent loop is integrated with $d^{d}k/(2\pi {)}^d$; and each graph is multiplied by its Feynman-diagram symmetry factor. All external momenta can be taken incoming. These rules follow by expanding the interaction exponential and contracting free fields with the Wick theorem.

For a connected graph with $I$ internal lines, $V$ interaction vertices and $L$ loops,Here $D$ is the superficial degree of divergence. In four dimensions,Odd $n$ vanish by Z2 symmetry. Thus only the nonvacuum two-point and four-point one-particle-irreducible Feynman diagrams can have overall ultraviolet divergences: degree two for $n=2$, degree zero for $n=4$. Vacuum graphs with $n=0$ may also diverge but cancel from normalized correlators. This is an overall power-counting statement; subgraphs must be subtracted before using it to conclude finiteness for $n\ge 6$.

For the full one-particle-irreducible vertices, the tree-level quadratic kernel and quartic interaction giveIf ${\hat{\tau }}_2$ is instead reserved for interaction-generated self-energy insertions, its tree value is zero and $-p^2$ is displayed separately as the free inverse kernel. The distinction is only that convention; the loop insertions below are unchanged.

The requested one-loop diagrams are the two-point tadpole diagram and the three four-point bubble diagrams. Each has symmetry factor $1/2$. The three bubble channels correspond to $P_s=p_1+p_2$, $P_t=p_1+p_3$, $P_u=p_1+p_4$.

The tadpole insertion obeysIn massless dimensional regularization this scaleless integral is zero. A mass or cutoff regulator exposes the ultraviolet divergence allowed by power counting; its vanishing in the scaleless convention does not remove the need to include this diagram.

For a bubble, the vertex and quantum field theory propagator factors give $(-i\lambda {)}^2(-i{)}^2/2={\lambda }^2/2$. The PDF defines $f$ with the factor $1/i$ outside the Minkowski integral, so the integral itself is $if(P^2)$. ThereforeThe converted TeX misplaces this $i$ as though it were part of the exponent of $(2\pi )$; keeping the printed $1/i$ is essential to this real pole coefficient.

For nonexceptional Euclidean external momentum, Wick rotation cancels that factor $1/i$. Use a Feynman parameter and translate the integration variable:For example, represent the inverse square as ${\int }_0^{\infty }d\alpha \alpha e^{-\alpha ({\ell }^2+\Delta )}$, do the Gaussian momentum integral, and then use the Gamma function. This also derives the formula rather than assuming a loop-integration table. At $d=4-\epsilon$, $\Gamma (\epsilon /2)=2/\epsilon +O(1)$ and the parameter integral tends to one, givingTake $P^2>0$ before continuation back to Minkowski momenta. At $P=0$, a massless scaleless integral mixes ultraviolet and infrared issues, so it cannot be used to read off this pole.

Introduce a renormalization scale $\mu$ and a quartic counterterm. With $\lambda$ denoting a dimensionless renormalized coupling constant,After factoring out ${\mu }^{\epsilon }$ from the vertex, each loop contains ${\mu }^{\epsilon }{f}_d$. The counterterm contributes $-\delta \lambda$ to ${\hat{\tau }}_4$ and cancels the pole from all three channels. More explicitly,In modified minimal subtraction, replace the pole-only counterterm bywhich subtracts the first three terms inside the brackets. The finite renormalized quartic scalar vertex is thenAnother renormalization condition can change the finite constant, but not the pole cancellation or the momentum-dependent logarithms. The corresponding timelike expressions follow by the same Feynman continuation.

Use a mostly-plus target Minkowski spacetime metric and restore the string tension by $T=(2\pi {\alpha }^{\prime }{)}^{-1}$. After Wick rotation, the Polyakov action on a Riemann surface isThe Polyakov path integral integrates over embeddings and worldsheet metrics, dividing by worldsheet diffeomorphisms and Weyl transformations. For a consistent flat bosonic string theory, take the critical dimension of the bosonic string $d=26$. Conformal gauge turns the embedding fields into free scalars; its Faddeev-Popov determinant is represented by the bc system. The remaining integrations are over worldsheet moduli and external insertion points.

A tachyon vertex operator isThe worldsheet Green function is $⟨X^a(z)X^b(w)⟩=-({\alpha }^{\prime }/2){\eta }^{ab}\log |z-w{|}^2$. The operator product expansion with the holomorphic stress-energy tensor gives conformal weights $({\alpha }^{\prime }{k}^2/4,{\alpha }^{\prime }{k}^2/4)$. An integrated string vertex operator must have weights $(1,1)$, so the mass-shell condition is $k^2=4/{\alpha }^{\prime }$, or tachyonic mass parameter $m^2=-4/{\alpha }^{\prime }$.

At lowest order in the string coupling, the worldsheet is a Riemann sphere. For four external states, three insertion points can be fixed by a Möbius transformation. In the worldsheet ghost field description these three vertices carry $c\bar{c}$, while the fourth is integrated. The three-point worldsheet ghost correlator gives the squared product of the three fixed-point separations, precisely the sphere gauge fixing for four string vertices factor. Thus fixing three points is a gauge choice, rather than deleting three integrations without their Jacobian.

The integral over the constant embedding worldsheet zero mode gives $(2\pi {)}^d{\delta }^{(d)}({\sum }_i{k}_i)$. The remaining Gaussian integral, using normal ordering to remove self-contractions, gives the Koba-Nielsen factorSet $(z_1,z_2,z_3,z_4)=(0,z,1,\infty )$; the vertex at infinity is defined with its conformal-weight factor. Let all momenta be incoming and defineThe mass-shell condition and momentum conservation imply $s+t+u=-16/{\alpha }^{\prime }$. Since ${\alpha }^{\prime }{k}_1\cdot k_2=-4-{\alpha }^{\prime }s/2$ and similarly for the pair $(2,3)$, the sphere tachyon position integral becomesHere $\mathcal{N}$ depends on the normalization of external string vertex operators; it does not affect the kinematic dependence.

To evaluate the remaining worldsheet modulus, put $a=-1-{\alpha }^{\prime }s/4$ and $b=-1-{\alpha }^{\prime }t/4$. The complex beta integral isFor example, this identity follows by writing the two powers as Schwinger-parameter Gamma integrals, doing the two-dimensional Gaussian integral, and changing the two positive parameters to their sum and ratio. The complex beta integral first holds for $\mathrm{Re}a,\mathrm{Re}b>0$ and $\mathrm{Re}(a+b)<1$; the scattering result is its analytic continuation. The third gamma-function argument is $1-a-b=-1-{\alpha }^{\prime }u/4$. Absorbing $\pi$ into $\mathcal{N}$, the result is the tree-level four-tachyon amplitude, the Virasoro–Shapiro amplitude:It is symmetric in the three Mandelstam variables and has generic poles at $q=4(N-1)/{\alpha }^{\prime }$, matching the bosonic string mass spectrum. The formula is the leading term of string perturbation theory. Higher orders are constructed by the same Polyakov path integral prescription on higher-genus worldsheets, with four marked points and the corresponding ghost and worldsheet moduli measure; genus $g$ has coupling power $g_s^{2g+2}$.

Write $z=z_c+\eta$, with $\eta (0)=\eta (T)=0$. Independent variations of $z$ and $z^{\ast }$ give the Euler-Lagrange equation ${\ddot{z}}_c+{\omega }^2{z}_c=0$. Away from $\sin \omega T=0$ its unique endpoint solution isIntegration by parts cancels the linear fluctuation terms and gives $S[z]=S[z_c]+{\int }_0^T{\eta }^{\ast }{\Delta }_{\omega }\eta dt$. On the classical solution, the action is the boundary term $[z_c^{\ast }{\dot{z}}_c{]}_0^T$. Substituting the endpoint derivatives therefore givesThe remaining Gaussian path integral contains two real fluctuation coordinates per mode, so it contributes an inverse functional determinant, rather than its inverse square root. Thus $K=e^{iS[z_c]}/\det {\Delta }_{\omega }$, with the measure normalization fixing the otherwise arbitrary constant.

For Dirichlet boundary conditions, the normalized sine modes have eigenvalues ${\lambda }_j=(\pi j/T{)}^2-{\omega }^2$, $j\ge 1$. Their determinant ratio is the convergent Dirichlet oscillator determinant ratioThe last equality is the sine infinite product. With the prescribed free determinant this givesThe kernel uses the Feynman i-epsilon prescription; at a caustic it is a distributional limit, not an ordinary finite function. Its $\omega \to 0$ limit is $(\pi iT{)}^{-1}\exp (i|z_f-z_i{|}^2/T)$.

There is a sign error in the printed complex-integral hint. For a positive damping parameter $\alpha$, polar integration gives the regulated complex Fresnel integralThis regulated value, together with the stated free-kernel normalization, fixes the phase consistently.

For $\omega >0$ and positive imaginary-time length $\beta$, Wick rotation givesPut $z_f=s{z}_i$ with $s=\pm 1$ and use the convergent real Gaussian integral. Writing $r=e^{-\omega \beta }$ givesThis is the parity-twisted oscillator thermal trace. The complex coordinate describes two independent real quantum harmonic oscillators, each with mass two in these units. Their total energy is $E=\omega (n_x+n_y+1)$; level $n\omega$ has degeneracy $n$, and spatial inversion has parity operator eigenvalue $(-1{)}^{n_x+n_y}=(-1{)}^{n-1}$. The plus sign is $\mathrm{Tr}{e}^{-\beta H}$; the minus sign is $\mathrm{Tr}(P{e}^{-\beta H})$. The alternating trace inserts parity into a bosonic system; it does not change the oscillators into fermions.

The two identities. Set $F_{\beta \gamma }={\nabla }_{\beta }{K}_{\gamma }$. The Killing equation says $F_{\beta \gamma }=-F_{\gamma \beta }$. The Levi-Civita connection has symmetric lower connection indices, so they cancel in the antisymmetric difference:Use normalized antisymmetrization, soPut $a^{\sigma }=K^{\tau }{\nabla }_{\tau }{K}^{\sigma }$. Contracting with $F^{\beta \gamma }$, the second term is $a^{\gamma }{F}_{\gamma \alpha }$ and the third is the same after using antisymmetry. ThusRearranging proves the Killing derivative contraction identity

Restriction to a Killing horizon. On a Killing horizon, the generator $K$ is normal to the horizon as well as tangent to its null generators. Consequently $K_{[\alpha }{\nabla }_{\beta }{K}_{\gamma ]}=0$ there. One can see this without assuming hypersurface orthogonality away from the horizon: if the horizon is locally $\Phi =0$, write its dual one-form as $K=fd\Phi +\Phi q$ near it; then $K\wedge dK=0$ on $\Phi =0$. By the definition of surface gravity, $a^{\sigma }=\kappa K^{\sigma }$ on the horizon, and lowering that relation gives $K^{\sigma }{\nabla }_{\sigma }{K}_{\alpha }=\kappa K_{\alpha }$. The contraction identity becomesAway from points where $K$ vanishes, cancel a nonzero component of $K_{\alpha }$; at a regular bifurcation surface extend by continuity. ThereforeThis is surface gravity from the Killing derivative; it concerns the horizon, not every point in the exterior.

Static spherical metric. Choose the Killing vector $K={\partial }_t$. Its dual one-form is $-Adt$, and the first identity immediately giveswith all other components zero. HenceUsing the horizon identity and the simultaneous simple zeros,Here the positive value is chosen for a regular outer Killing horizon with $A,B>0$ on the exterior side. This is surface gravity of a static spherical horizon. A different normalization $K\mapsto cK$ rescales surface gravity by $c$; when an asymptotically flat normalization is wanted, the time coordinate is chosen so $A\to 1$ at infinity.

Euclidean regularity and temperature. Let $\delta =r-r_{+}$, $a=A^{\prime }(r_{+})$ and $b=B^{\prime }(r_{+})$. On the exterior side, define the proper radial coordinate $R=2\sqrt{\delta /b}$. After Wick rotation, the near-horizon metric isThe radial-time plane is a polar plane with angular coordinate $\vartheta =\kappa \tau$. Its circumference-to-radius ratio is $\kappa \Delta \tau$; the conical singularity disappears precisely whenThis is the Euclidean black-hole regularity condition. If a signed surface gravity convention is used, the period uses $|\kappa |$.

In a thermal quantum field theory, imaginary-time periodicity is the inverse-temperature condition expressed by the KMS condition. Therefore smoothness identifies the Hawking temperaturein units $\hslash =k_B=1$, or $T_H=\hslash \kappa /(2\pi k_B)$ when $\kappa$ is measured as an inverse time. It provides the thermal interpretation of surface gravity in black-hole thermodynamics. The regular Euclidean construction describes an equilibrium thermal state; the collapse calculation of Hawking radiation in the last solution supplies the outgoing spectrum. The simple-zero hypothesis excludes an extremal black hole, for which this polar-plane argument changes.

A Euclidean configuration-space transition kernel is obtained by slicing $\tau$ into $M$ steps $\delta =\tau /M$, inserting position resolutions and using the free Gaussian kernel. With initial $q_i=\pm a$ and final $q_f=a$,The normalization means the limit of $(m/(2\pi \hslash \delta ){)}^{M/2}\int {\prod }_{j=1}^{M-1}d{q}_j$ with exponent $-{\sum }_j[m(q_{j+1}-q_j{)}^2/(2\delta )+\delta V(q_j)]/\hslash$, in a consistent time-slice prescription. This fixes the endpoint normalization that an informal continuum symbol alone leaves unspecified. The Wick rotation converts oscillatory real-time weight into the positive-potential Euclidean weight; classical extrema of this action organize the semiclassical approximation.