A Note on the Spectrum of Magnetic Dirac Operators

It is

where we use the anticommutativity between D and Clifford multiplication by \nu in the last line.

First, we will argue that W=\frac{\mathrm{scal}}{4}+{\mathrm{i}}B\cdot is relatively compact to H_A, in other words W(H_A+1)^{-1} is a compact operator on L^2. The argument is mainly analogous to [RS4, Example 6, p. 117 and Problem 41, p. 369] but will be given here for completeness. We approximate W=\frac{\mathrm{scal}}{4}+{\mathrm{i}}B\cdot\colon L^2\to L^2, by W_n = \chi_{B_n(p)} W where \chi_{B_n(p)} is the characteristic function of the geodesic ball B_n(p)\subset M. Since the scalar curvature and the magnetic field B tend to zero at infinity, \lim_{n\to \infty} \|W- W_n\| \to 0 in the operator norm. Let now \phi_k be a bounded sequence in \operatorname{dom} H_A=\{\phi\in L^2\mid H_A\phi\in L^2\} equipped with the graph norm. Then, \phi_k is locally also bounded in H^1 and hence locally strongly converges in L^2 to some \phi (after possibly taking a subsequence). In particular, W_n\phi_k converges to W_n \phi=\chi_{B_n(p)} W \phi in L^2. This implies that W_n is compact as an operator from \operatorname{dom}H_A (equipped with the graph norm) to L^2 and hence, that W_n(H_A+1)^{-1} is compact. Since \lim_{n\to \infty} \|W- W_n\| \to 0, then also W(H_A+1)^{-1} is compact. By [RS4, Corollary 2, p. 113], we get \sigma_{\text{ess}} (D_A^*D_A) = \sigma_{\text{ess}} (H_A).

Next, we want to show that [0, \infty)\subset \sigma_{\text{ess}} (H_A). As in [CFKS, Step 3, p. 117], we want to use the following fact. Let T\geq 0 be a self-adjoint operator on a Hilbert space H. Whenever there exists an orthonormal sequence \psi_n in H which converges weakly to zero and satisfies \bigl\Vert (T+1)^{-1}(T-\lambda)\psi_n\bigr\Vert\to 0 then \lambda\in \sigma_{\text{ess}}(T).

Before we find the test functions \psi_n, we first exploit the condition that the magnetic field vanishes at infinity.

For any p \in M we define |p|=|\varphi(p)|. Since |B|\to 0, there is a sequence of points q_n\in M with |q_n|\to \infty and \sup_{x\in B_{2n}(q_n)} |B|\leq \frac{1}{n^2}. By taking a subsequence, we may choose q_n such that |q_n|> 6n+R_o.

Since the spinor bundle is trivial on M\setminus K, we can choose a spinor \Phi that is constant with norm 1 on M\setminus K. We note that by our assumptions on the decay of the metric, and hence for the Christoffel symbols corresponding to our coordinates, we get

for |x|\to \infty (see [LM, Section 4] for the spinorial connection \nabla^S in local coordinates).

Now let g_n\colon M\to [0,1] be a radial (with respect to q_n) smooth cut-off function which is constant on B_{n}(q_n), 0 on M\setminus B_{2n}(q_n) and satisfies | \nabla g_n| \leq \frac{2}{n} and |\Delta g_n| \leq \frac{4}{n}.

So far we know that B is small on the support of g_n, but the term A also appears in H_A on its own. Next we choose another vector potential A_n corresponding to the same magnetic field B which is small on B_{n}(q_n).

In local coordinates, we have B=B_{\mu\nu} {\rm d}x^\mu \wedge {\rm d}x^\nu with B_{\mu\nu}=-B_{\nu\mu}. Then 0={\rm d}^2A={\rm d}B= \partial_\kappa B_{\mu\nu} {\rm d}x^\kappa \wedge {\rm d}x^\mu \wedge {\rm d}x^\nu. Thus,

Using the asymptotically flat coordinates on B_{2n}(q_n), shifted such that q_n has coordinates zero, we define on B_{2n}(q_n),

Then

Thus for \kappa<\mu,

Thus A^n=A^n_\mu {\rm d}x^\mu is an equivalent potential to A on B_{2n}(q_n) and by construction it satisfies |A|\leq c\frac{2}{n} for some uniform constant c>0.

Hence, by the Poincaré lemma, A^n-A={\rm d}f_n for a smooth function f_n on B_{2n}(q_n). Let \tilde{f}_n be a smooth function on all of M that coincides with f_n on B_{n}(q_n) and set \tilde{A}^n=A+{\rm d}\tilde{f}_n. Then

For k\in {\mathbb R}^m, we define \phi_n= {\rm e}^{{\mathrm{i}}k_\mu x^\mu} {g}_n\Phi. By our assumptions on g_n and \Phi, we have

for a uniform constant C_o. Setting \lambda = |k|^2, we obtain

By the decay estimates of \Delta_g, \nabla \tilde{g}_n and the uniform upper and lower bound on \Phi and g_n, we get

where C is a constant that changes from line to line but is always uniform in n. Similarly, the upper bounds on the derivatives of \Phi give

Moreover,

By the asymptotic flatness of M we get

Together with the volume estimate above and the choice of q_n, this implies

in a similar way as above. Combining all of the above we get that for any \epsilon>0 and we can find n large enough such that

Set \psi_n(x) := {\rm e}^{{\mathrm{i}}\tilde{f}_n(x)} {\rm e}^{{\mathrm{i}}k_\mu x^\mu} {g}_n(x)\Phi / \|\phi_n\|. By construction, \psi_n is an orthonormal sequence.

We have

Using H_{\tilde{A}_n} = H_0 -2{\mathrm{i}} \nabla_{\tilde{A}_n} -{\mathrm{i}} \operatorname{div} \tilde{A}_n +|\tilde{A}_n|^2 =H_0 +{\mathrm{i}} (\nabla +{\mathrm{i}}\tilde{A}_n)^* \tilde{A}_n - {\mathrm{i}}\tilde{A}_n\nabla, we obtain

Since H_{\tilde{A}_n} is a nonnegative operator, by the spectral theorem (H_{\tilde{A}_n}+1)^{-1} is bounded on L^2 uniformly in n. Similarly, we can show that (H_{\tilde{A}_n}+1)^{-1} H_{\tilde{A}_n} is bounded on L^2, uniformly in n. Thus, also (H_{\tilde{A}_n}+1)^{-1} (\nabla +{\mathrm{i}}\tilde{A}_n)^* is bounded on L^2 uniformly in n. Since \tilde{A}_n|_{B_{2n}(q_n)}\to 0 as n\to \infty and using again the properties of \tilde{g_n}, \Phi as before, we obtain \bigl\Vert (H_A+1)^{-1}(H_A-\lambda)\psi_n\bigr\Vert \to 0 and, hence, that \lambda\in \sigma_{\mathrm{ess}} (H_A).

The remaining claim on the spectrum of D_A follows from to the symmetry of the spectrum in these dimensions. The symmetry of the spectrum D itself, follows for m even by \omega \cdot D\phi =-D(\omega\cdot \phi) by \omega= e_1\cdot e_2 \cdots e_{\dim M}, and for m\equiv 1 mod 4 by the existence of a Spin(m)-equivariant real structure that anticommutes with Clifford multiplication, cf. [Fr, Proposition, p. 31]. Since in even dimensions \omega\cdot also anticommutes with Clifford multiplication as does the real structure just mentioned, D_A anticommutes with these maps as well and has, as a result, symmetric spectrum.=-1

We consider the total angular momentum J_z=L_z+S_{xy}, where L_z=-\mathrm{i}\bigl(x\frac{\partial}{\partial y}- y\frac{\partial}{\partial x}\bigr) is the orbital angular momentum and S_{xy}=\frac{\mathrm{1}}{2}\operatorname{diag}(1, -1) is the spin angular momentum. Direct calculation gives [D_A, J_z]=0 (but L_z itself does not commute with D_A).

Since \operatorname{div} A=0, we have

Using {\mathrm{i}} e_1\cdot e_2 \cdot = \operatorname{diag}(1,-1), {\rm d}A=B {\rm d}x\wedge {\rm d}y with B= -\frac{\gamma \rho}{(1+\rho)^{\gamma +1}} + \frac{2}{(1+\rho)^{\gamma}} and -{\mathrm{i}}\nabla_A =\frac{1}{(1+\rho)^{\gamma}}L_z this gives

The operator J_z has discrete spectrum. We denote the eigenvalues by \mu_m, m\in \mathbb Z. The discreteness of the spectrum for J_z allows us to write H=L^2\bigl({\mathbb R}^2, {\mathbb C}^2\bigr) as the direct sum of the eigenspaces E_m corresponding to the eigenvalue \mu_m. At the same time, the fact that [D_A, J_z]=0 allows one to claim that D_A restricts to E_m. Then,

with T^\pm_m= \Delta + \frac{2}{(1+\rho)^{\gamma}}\mu_m + \frac{\rho^2}{(1+\rho)^{2\gamma}} \pm \bigl(B -\frac{1}{(1+\rho)^{\gamma}}\bigr). Thus, T_m^\pm is an operator on L^2\bigl({\mathbb R}^2, {\mathbb C}\bigr) of Schrödinger-type, in other words the Laplacian on functions plus a scalar potential. For \gamma\in (0,1), the term \frac{\rho^2}{(1+\rho)^{2\gamma}} is the dominating term of this potential at infinity. Thus, this potential goes to infinity at infinity and hence, T_m^\pm and thus also D_A^*D_A|_{E_m} have discrete spectrum. If D_A^*D_A has discrete spectrum, so does D_A (see, e.g., [AG, Lemma B.8]).=-1

On the other hand, |B|\to 0 as |x|\to \infty. By Theorem 3.3, this implies [0,\infty)=\sigma_{\mathrm{ess}} (D_A^*D_A). Over {\mathbb R}^2, Clifford multiplication on spinors anticommutes with the map \beta\colon (\phi_1, \phi_2)\in {\mathbb C}^2\mapsto (\overline{\phi_1}, \overline{\phi_2}), see [Fr, Section 1.7]. Thus, D_A(\beta(\psi))=-\beta(D_A\psi) which implies that the spectrum of D_A is symmetric and, thus, \sigma_{\mathrm{ess}} (D_A)={\mathbb R}. Hence, the pure point spectrum above must be dense.