Heat Kernels with Boundaries and Conical Singularities

A boundary or conical stratum changes the operator domain and the heat-kernel asymptotics. The resulting surface, corner, and tip coefficients are not optional decorations on the smooth bulk answer: they renormalize localized terms and can control determinant variations.

Required background. Heat Kernels and the Schwinger–DeWitt Expansion supplies the smooth short-time series, and Boundaries, Surface Counterterms, and Boundary Stress supplies the localized variational terms.

Helpful background. Replica Trick and Branched Geometries explains one use of cones; Timelike Boundaries, Self-Adjoint Extensions, and AdS Boundary Conditions explains Lorentzian boundary dynamics.

Elliptic boundary data

For a scalar Laplace-type operator on a smooth Riemannian manifold with boundary, common local domains are

$$\phi|_{\partial M}=0 \quad\text{(Dirichlet)},$$

and

$$(\nabla_n+S)\phi|_{\partial M}=0 \quad\text{(Robin)},$$

where $n$ and the sign of the extrinsic curvature are declared. Self-adjointness follows from the vanishing of the Green-form boundary term for compatible real $S$; ellipticity or strong ellipticity is an additional analytic requirement.

The traced heat kernel now has half-integer powers,

$$\operatorname{Tr}e^{-s\mathcal D} \sim\frac1{(4\pi s)^{d/2}} \left(A_0+s^{1/2}A_{1/2}+sA_1+\cdots\right).$$

With Vassilevich’s inward-normal convention, a scalar gives

$$A_{1/2}^{D}=-\frac{\sqrt\pi}{2}\int_{\partial M}\!\sqrt h, \qquad A_{1/2}^{R}=+\frac{\sqrt\pi}{2}\int_{\partial M}\!\sqrt h,$$

and the boundary part of $A_1$ is

$$A_1^{\partial M}=\int_{\partial M}\!\sqrt h \left(\frac13K+2S\right)$$

for Robin, with $S=0$ for Dirichlet in this order and with $K$ following that same normal convention. The complete bundle formulas and normal conventions are given in Vassilevich 2003, Eqs. (2.14)–(2.17) and (5.18)–(5.33).

First application: Robin versus Dirichlet

Hold the bulk scalar operator fixed and switch from Robin to Dirichlet data. The bulk coefficients $A_0$ and the interior part of $A_1$ are unchanged. The first surface coefficient changes by

$$A_{1/2}^{R}-A_{1/2}^{D} =\sqrt\pi\int_{\partial M}\sqrt h,$$

and the Robin parameter supplies the additional $2\int_{\partial M}\sqrt h\,S$ term at the next order. In four dimensions these coefficients generate boundary divergences at the corresponding mass dimensions after multiplication by the mass expansion. The necessary counterterms therefore include the boundary volume, extrinsic-curvature terms, and invariants involving $S$.

This is the adversarial test required by the domain: a calculation that changes boundary conditions yet reports identical surface coefficients has silently reused the wrong spectrum. A calculation whose bulk coefficient changes has mixed a boundary effect into the differential expression.

A conical tip is not a smooth point

Near a two-dimensional cone,

$$\mathrm ds^2=\mathrm dr^2+r^2\mathrm d\varphi^2, \qquad 0\le\varphi<\alpha,$$

the tip is singular unless $\alpha=2\pi$. Even without a boundary, conical heat traces can contain nonstandard powers and logarithms. For the flat two-dimensional cone in the standard scalar case, the localized coefficient is

$$a_2^{\rm tip}=\frac{4\pi^2-\alpha^2}{24\pi\alpha},$$

which vanishes at $\alpha=2\pi$ and behaves as $(2\pi-\alpha)/(12\pi)$ for a small deficit Vassilevich 2003, § 6.2 and Eq. (6.7). Higher-dimensional products generate defect invariants on the codimension-two surface.

A smoothing prescription can be useful, but the limit must retain the integrated defect contribution. Simply substituting a distributional curvature into a smooth coefficient polynomial can create undefined products such as $\delta_\Sigma^2$. Replica or entropy interpretations additionally require an analytic continuation in the cone angle and a declared treatment of edge and gauge modes; the heat coefficient alone is not an entropy theorem.

The structure map shows boundaries and cones as a change in the spectral problem, not as a correction applied after taking a smooth determinant.

Bulk, boundary, corner, and tip invariants enter at different powers of proper time and renormalize different localized terms. Schematic; not to scale.

Domain and failure conditions

Local formulas require a self-adjoint strongly elliptic boundary problem and smooth boundary data. Corners, oblique conditions, spectral projectors, and general cones can introduce additional or nonlocal terms. The canonical comparison is Domain and failure conditions.

The failure map distinguishes an undefined extension from a singular geometry. Choosing a self-adjoint extension does not smooth a cone; smoothing a cone does not choose boundary data on a physical wall.

Surface coefficients follow from the operator domain, while tip coefficients follow from singular geometry and its regularization; each must be checked independently. Schematic; not to scale.

Handoffs

Boundary stress and finite counterterms continue in Boundaries, Surface Counterterms, and Boundary Stress. Replica use continues in Replica Trick and Branched Geometries.

References

• Fursaev, Dmitri V., and Sergei N. Solodukhin. “On the Description of the Riemannian Geometry in the Presence of Conical Defects.” Physical Review D 52 (1995): 2133–2143. DOI. Open PDF.
• Vassilevich, Dmitri V. “Heat Kernel Expansion: User’s Manual.” Physics Reports 388 (2003): 279–360. DOI. Open PDF.