3
$\begingroup$

The Dirac Operator $D$ is defined by \begin{equation}\tag{1} D=i\gamma^a\nabla_a=i\gamma^a\nabla_{e_a}=i\underbrace{\gamma^a{e_a}^\mu}_{=\gamma^\mu}\nabla_{\partial_\mu}=i\gamma^\mu\nabla_\mu=i\gamma^\mu(\partial_\mu+\omega_\mu+A_\mu) \end{equation} and \begin{equation} \omega_a=-\frac{1}{4}\omega_{abc}\gamma^{bc}\psi={e_a}^\mu\omega_\mu. \end{equation} However, in his derivation of the Atiyah Singer Index theorem$^1$, Fujikawa (chapter $5.5$ of Path Integrals and Quantum Anomalies) assumes \begin{equation} D=i\gamma^\mu\nabla_\mu=i\gamma^\mu(\partial_\mu+A_\mu). \end{equation} One might think that Fujikawa's $D$ is simply another operator, but Nakahara - who derives the same equation in section $13.2.1$ (Fujikawa's method) - says that the spin connection "plays no role" under certain assumptions:

We compactify the space in such a way that the geometry (the spin connection) plays no role. For example, this can be achieved by compactifying $\mathbf{R}^4$ to $S^4=\mathbf{R}^4\cup\{\infty\}$, for which the Dirac genus $\hat{A}(TM)$ is trivial.

I know that $S^n\cong\mathbf{R}^n\cup\{\infty\}$, but I don't see why this implies that the spin connection "plays no role".


$^1$ By the "Atiyah Singer Index theorem" I mean the equation \begin{equation} \mathrm{ind}\,D_+=-\frac{1}{8\pi^2}\int_M\mathrm{tr}(F_{ij}F_{kl})\epsilon^{ijkl}\cdot\omega, \end{equation} where $M$ is a $4$-dimensional Riemannian manifold with euclidean signature and $\omega$ is the volume form. (I am aware of the fact that $D\colon\Gamma(M,S\otimes E)\to\Gamma(M,S\otimes E)$ is a Fredholm operator and that $(1)$ is only valid after the choice of a local gauge - here we assume that $E$ is the the associated vector bundle induced by the adjoint representation.)

$\endgroup$

1 Answer 1

2
$\begingroup$

If you compacify to a torus then, in Cartesian coordinates, the spin connection vanishes and so is irrelevent. If you compactify to a sphere, as Fujikawa suggests, it is far less obvious that $\hat A(TM)$ is not needed. That it plays no role is because $\hat A(TM)$ is a genus and so cobordism invariant. This means that the curvature contribution to the index is zero when $M$ is a boundary: $M=\partial N$, and the spin connection can be extended through $N$. This is true in the case of a sphere. I do not know a simple proof of the cobordism property though.

That there are no geometry-induced zero modes on a sphere is easy to prove with physicist's tools. You can find a discussion in the first few pages of my lecture notes here.

$\endgroup$
6
  • $\begingroup$ Thank you! Unfortunately, I know nothing about the A hat genus (and its correlation with the spin connection) and I don't understand Nakahara's definition - could you please suggest a good text to start with? $\endgroup$
    – Filippo
    Commented Apr 7, 2021 at 12:50
  • 1
    $\begingroup$ About the genus just about all I know is in the Wikipedia artcle I cited. I do know that histoically the A-S theorem was proved via the cobordism invariance. The heat equation came later, I think, due to Gilkey's work. Google Gilkey and heat equation. $\endgroup$
    – mike stone
    Commented Apr 7, 2021 at 13:22
  • $\begingroup$ I think I totally misunderstood the phrase "the spin connection plays no role/is irrelevant". We can't prove that the spin connection is equal to zero - what we really mean is that it plays no role/is irrelevant when proving the special case of the Atiyah Singer Index theorem I mentioned in my question. And that's because the spin connection doesn't contribute to/appear in the topological index (the RHS). $\endgroup$
    – Filippo
    Commented Apr 7, 2021 at 19:10
  • $\begingroup$ To prove the ASIT, it doesn't suffice to prove $\mathrm{ind}\,D_+=-\frac{1}{8\pi^2}\int_M\mathrm{tr}(F_{ij}F_{kl})\epsilon^{ijkl}\cdot\omega$ like I did, but one needs to show that RHS is equal to the topological index and that's where the A hat genus joins the party. Considering the operator $i\gamma^\mu(\partial_\mu+A_\mu)$ is useful to prove $\mathrm{ind}\,D_+=-\frac{1}{8\pi^2}\int_M\mathrm{tr}(F_{ij}F_{kl})\epsilon^{ijkl}\cdot\omega$, but $i\gamma^\mu(\partial_\mu+A_\mu)$ is not the Dirac operator. (A confirmation would be appreciated.) $\endgroup$
    – Filippo
    Commented Apr 7, 2021 at 19:10
  • $\begingroup$ Yes. There are curvature terms coming from $\hat A$ in in the expression for the index general spin manifolds. Even when $\hat A$ makes not contribution you will need the spin connection to makes ense of the Dirac operator. $\endgroup$
    – mike stone
    Commented Apr 7, 2021 at 19:29

Not the answer you're looking for? Browse other questions tagged or ask your own question.