Robert James Downes

Spectral theoretic characterization of the massless Dirac operator

We consider an elliptic self-adjoint first order differential operator acting on pairs (2-columns) of complex-valued half-densities over a connected compact 3-dimensional manifold without boundary. The principal symbol of our operator is assumed to be trace-free. We study the spectral function which is the sum of squares of Euclidean norms of eigenfunctions evaluated at a given point of the manifold, with summation carried out over all eigenvalues between zero and a positive �. We derive an explicit two-term asymptotic formula for the spectral function as � ! +1, expressing the second asymptotic coefficient via the trace of the subprincipal symbol and the geometric objects encoded within the principal symbol — metric, torsion of the teleparallel connection and topological charge. We then address the question: is our operator a massless Dirac operator on half-densities? We prove that it is a massless Dirac operator on halfdensities if and only if the following two conditions are satisfied at every point of the manifold: a) the subprincipal symbol is proportional to the identity matrix and b) the second asymptotic coefficient of the spectral function is zero.

SPECTRAL THEORETIC CHARACTERIZATION OF THE MASSLESS DIRAC ACTION

We consider an elliptic self-adjoint first order differential operator L acting on pairs (2-columns) of complex-valued half-densities over a connected compact 3-dimensional manifold without boundary. The principal symbol of the operator L is assumed to be trace-free and the subprincipal symbol is assumed to be zero. Given a positive scalar weight function, we study the weighted eigenvalue problem for the operator L. The corresponding counting function (number of eigenvalues between zero and a positive lambda) is known to admit, under appropriate assumptions on periodic trajectories, a two-term asymptotic expansion as lambda tends to plus infinity and we have recently derived an explicit formula for the second asymptotic coefficient. The purpose of this paper is to establish the geometric meaning of the second asymptotic coefficient. To this end, we identify the geometric objects encoded within our eigenvalue problem - metric, nonvanishing spinor field and topological charge - and express our asymptotic coefficients in terms of these geometric objects. We prove that the second asymptotic coefficient of the counting function has the geometric meaning of the massless Dirac action.

Spectral asymmetry of the massless Dirac operator on a 3-torus

Consider the massless Dirac operator on a 3-torus equipped with Euclidean metric and standard spin structure. It is known that the eigenvalues can be calculated explicitly: the spectrum is symmetric about zero and zero itself is a double eigenvalue. The aim of the paper is to develop a perturbation theory for the eigenvalue with smallest modulus with respect to perturbations of the metric. Here the application of perturbation techniques is hindered by the fact that eigenvalues of the massless Dirac operator have even multiplicity, which is a consequence of this operator commuting with the antilinear operator of charge conjugation (a peculiar feature of dimension 3). We derive an asymptotic formula for the eigenvalue with smallest modulus for arbitrary perturbations of the metric and present two particular families of Riemannian metrics for which the eigenvalue with smallest modulus can be evaluated explicitly. We also establish a relation between our asymptotic formula and the eta invariant.

From continuum mechanics to general relativity

Using ideas from continuum mechanics we construct a theory of gravity. We show that this theory is equivalent to Einsteins theory of general relativity; it is also a much faster way of reaching general relativity than the conventional route. Our approach is simple and natural: we form a very general model and then apply two physical assumptions supported by experimental evidence. This easily reduces our construction to a model equivalent to general relativity. Finally, we suggest a simple way of modifying our theory to investigate nonstandard spacetime symmetries.