Heat-kernel asymptotics of the Gilkey--Smith boundary-value problem

The formulation of gauge theories on compact Riemannian manifolds with boundary leads to partial differential operators with Gilkey–Smith boundary conditions, whose peculiar property is the occurrence of both normal and tangential derivatives on the boundary. Unlike the standard Dirichlet or Neumann boundary conditions, this boundary-value problem is not automatically elliptic but becomes elliptic under certain conditions on the boundary operator. We study the Gilkey–Smith boundary-value problem for Laplace-type operators and find a simple criterion of ellipticity. The first non-trivial coefficient of the asymptotic expansion of the trace of the heat kernel is computed and the local leading asymptotics of the heat-kernel diagonal is also obtained. It is shown that, in the non-elliptic case, the heat-kernel diagonal is non-integrable near the boundary, which reflects the fact that the heat kernel is not of trace class. We apply this analysis to general linear bosonic gauge theories and find an explicit condition of ellipticity.