Spectral asymptotics for the semiclassical Bochner Laplacian of a line bundle with constant rank curvature

The spectral theory of the magnetic Laplacian, and the Bochner Laplacian, has given rise to many interesting questions. First motivated by the Ginzburg-Landau theory, bound states of the magnetic Laplacian $(ih\mathrm{d}+A)^{*}(ih\mathrm{d}+A)$ on a Riemannian manifold in the semiclassical limit $h\rightarrow 0$ were studied in many works (see the books [2, 12]), and appears to have very various behaviours according to the variations of the magnetic field $B=\mathrm{d}A$ and the boundary conditions. The first main technique consisted in the construction of approximated eigenfunctions (see for instance the works of Helffer-Mohamed [6] and Helffer-Kordyukov [3, 4, 5]). More recently, an other approach was developped, which consists in an approximation of the operator itself, using semiclassical tools such as microlocalisation estimates and Birkhoff normal forms (As in Raymond-Vu Ngoc [13] and Helffer-Kordyukov-Raymond-Vu Ngoc [7]). In the semiclassical limit $h\rightarrow 0$, we recover the classical behaviour of a particle exposed to the magnetic field $B$, since the magnetic Laplacian is the quantification of the classical energy.

If we are given a magnetic field $B$ which is not exact, there is no potential $A$ and we cannot define the magnetic Laplacian. However, the Bochner Laplacian $\frac{1}{p^{2}}\Delta^{L^{p}}$ appears to be the suitable generalization in this case, since it acts locally as a magnetic Laplacian. In this context the semiclassical parameter is $p=h^{-1}$. Its spectral theory appears to be deeply related to holomorphic structures and to the Kodaira Laplacian (or the renormalized Bochner Laplacian more generaly). For instance, this is exploited in the works of Marinescu-Savale [9], and Kordyukov [8]. In this last paper, the case of non-degenerate magnetic wells with full-rank magnetic field is studied, and expansions of the ground states energies are given, using quasimodes. In [11], similar results were obtained in the special case of the magnetic Laplacian, using a Birkhoff normal form, but also giving a description of semi-excited states, and a Weyl law. In [10], these result are generalized to constant-rank magnetic fields.

The spectral theory of the Bochner Laplacian is also deeply related to the global geometry of complex manifolds. For instance, in [1], a Weyl law was proven for $\Delta^{L^{p}}$, and used to get Morse inequalities and Riemann-Roch formulas.

In this paper, we use Agmon-like estimates to reduce the spectral theory of the Bochner Laplacian with magnetic wells to magnetic Laplacians. Then, we deduce spectral asymptotics for the Bochner Laplacian using the results of [11, 10].

Let $(M,g)$ be a compact oriented manifold of dimension $d>1$. We consider a complex line bundle $L\rightarrow M$ over $M$, endowed with a Hermitian metric $h$. In other words, we associate to each $x\in M$ a $1$-dimensional complex vector space $L_{x}$, and a Hermitian product $h_{x}$ on $L_{x}$. $L$ is a $d+1$-dimensional manifold such that $L=\bigcup_{x\in M}L_{x}$. A smooth section of $L$ (or $L$-valued function) is a smooth function $s:M\rightarrow L$ such that $s(x)\in L_{x}$. It is the generalisation of the notion of function $f:M\rightarrow\mathbf{C}$, but here the target space can vary with $x\in M$. Similarily, $L$-valued $k$-forms are sections of $\wedge^{k}T^{*}M\otimes L$. We denote by $\mathcal{C}^{\infty}(M,L)$ the set of smooth sections of $L$, and $\Omega^{k}(M,L)$ the set of smooth $L$-valued $k$-forms.

We take $\nabla^{L}$ a Hermitian connexion on $(L,h)$. It is the generalisation of the exterior derivative $\mathrm{d}$. The underlying idea is that the "derivative" of a $L$-valued function should be $L$-valued too. $\nabla^{L}:\Omega^{k}(M,L)\rightarrow\Omega^{k+1}(M,L)$ satisfies:

One can prove that $(\nabla^{L})^{2}:\Omega^{0}(M,L)\rightarrow\Omega^{2}(M,L)$ acts as a multiplication. There exists a real closed $2$-form $B$ on $M$ such that:

Example : The trivial line bundle. The line bundle $L=M\times\mathbf{C}$, such that $L_{x}=\{x\}\times\mathbf{C}$ is called the trivial line bundle. We identify sections $s\in\mathcal{C}^{\infty}(M,L)$ with functions $f\in\mathcal{C}^{\infty}(M)$ by $s(x)=(x,f(x))$. Similarily, $L$-valued $k$-forms are identified with $\mathbf{C}$-valued $k$-forms, and we recover the usual differential objects on $M$. If $L$ is endowed with the Hermitian product $h_{x}((x,z_{1}),(x,z_{2}))=z_{1}\overline{z}_{2}$, we call $(L,h)$ the trivial Hermitian line bundle. We write $h(z_{1},z_{2})$ for short. Hermitian connexions on the trivial line bundle are given by $\nabla_{\alpha}=\mathrm{d}+i\alpha$ where $\alpha\in\Omega^{1}(M,\mathbf{R})$ and $\mathrm{d}$ is the exterior derivative. The curvature of $\nabla_{\alpha}$ is $\nabla_{\alpha}^{2}=i\mathrm{d}\alpha$, as shown by the easy but enlightening calculation:

Let us describe now the Bochner Laplacian $\Delta^{L}$ associated to a Hermitian connexion $\nabla^{L}$ on a Hermitian complex line bundle $(L,h)$. First note that the spaces $\mathcal{C}^{\infty}(M,L)=\Omega^{0}(M,L)$ and $\Omega^{1}(M,L)$ are endowed with $\mathsf{L}^{2}$-norms. The norm of a section $s\in\mathcal{C}^{\infty}(M,L)$ is:

where $\mathrm{d}\nu_{g}$ denotes the volume form of the oriented Riemannian manifold $(M,g)$. We denote by $\mathsf{L}^{2}(M,L)$ the completion of $\mathcal{C}^{\infty}(M,L)$ for this norm. The definition of the norm of a $L$-valued $1$-form $\alpha$ is a little more involved. First, using a partition of unity, it is enough to define it for $\alpha\in\Omega^{1}(U,L)$ where $U$ is a small open subset of $M$. If $U$ is small enough, there exists a section $e\in\mathcal{C}^{\infty}(U,L)$ such that $h_{x}(e(x),e(x))=1$. Then for any $\alpha\in\Omega^{1}(U,L)$, there exists a unique $X\in TM$ such that $\alpha_{x}(\bullet)=g_{x}(X_{x},\bullet)e_{x}$ (we identify $1$-forms with tangent vectors using the metric $g$). We define:

The completion of $\Omega^{1}(M,L)$ for this norm is denoted by $\mathsf{L}^{2}\Omega^{1}(M,L)$: it is the space of square-integrable $L$-valued $1$-forms. These norms are associated with scalar products, denoted by brackets $\langle.,.\rangle$.

The formal adjoint of $\nabla^{L}:\Omega^{0}(M,L)\rightarrow\Omega^{1}(M,L)$ for these scalar products is denoted by $(\nabla^{L})^{*}:\Omega^{1}(M,L)\rightarrow\Omega^{0}(M,L)$. The Bochner Laplacian $\Delta^{L}$ is the self-adjoint extension of $(\nabla^{L})^{*}\nabla^{L}$. It is the operator associated with the quadratic form:

We denote by $\mathsf{Dom}(\Delta^{L})$ its domain. $\mathcal{C}^{\infty}(M,L)$ is a dense subspace of $\mathsf{Dom}(\Delta^{L})$ and:

Since $M$ is compact, one can prove that $\Delta^{L}$ has compact resolvent, and we denote by

the non-decreasing sequence of its eigenvalues. We will use the following notation for the Weil counting function:

In this paper, we are interested in the semiclassical limit, i.e. the high curvature limit "$B\rightarrow+\infty$". We can increase the curvature $B$ using tensor products of $L$. For any $p\in\mathbf{N}$, we denote by $L^{p}=L\otimes...\otimes L$ the $p$-th tensor power of $L$. $L^{p}$ is still a complex line bundle of $M$, with $L^{p}_{x}=L_{x}\otimes...\otimes L_{x}$. It is endowed with the Hermitian product $h^{p}_{x}(s_{1}\otimes...\otimes s_{p},s_{1}\otimes...\otimes s_{p})=\Pi_{i=1}^{p}h_{x}(s_{i},s_{i})$. The connexion $\nabla^{L}$ induces a Hermitian connexion $\nabla^{L^{p}}$ on $L^{p}$ by the formula:

The curvature of $\nabla^{L^{p}}$ is

Hence, the high curvature limit is $p\rightarrow+\infty$. We want to invastigate the behaviour of $\lambda_{j}(\Delta^{L^{p}})$ and the corresponding eigensections in the limit $p\rightarrow+\infty$.

One can measure the "intensity" of the curvature $B$ (the magnetic field) in the following way. We denote by $\mathbf{B}_{x}:T_{x}M\rightarrow T_{x}M$ the linear operator defined by

$\mathbf{B}_{x}$ is real and skew-symmetric with respect to $g_{x}$, and thus its eigenvalues lie on the imaginary axis and are symmetric with respect to the origin. We denote its non-zero eigenvalues by:

with $\beta_{j}(x)>0$. Hence, the rank of $\mathbf{B}_{x}$ is $2s$ and might depend on $x$, but we will soon assume that $s$ is constant, at least locally. The magnetic intensity is the function $b:M\rightarrow\mathbf{R}_{+}$ defined by:

This function is continuous on $M$, but not smooth in general. However, note that it is smooth on a neighborhood of any point $x_{0}$ where the $(\beta_{j}(x_{0}))_{1\leq j\leq s}$ are simple (if $s$ is locally constant near $x_{0}$).

One of the purposes of this article is to show that the eigensections of $\Delta^{L^{p}}$ are localized near the minimum points of $b$, and to deduce that the low-lying spectrum of $\Delta^{L^{p}}$ is given by magnetic Laplacians on neighborhoods of the minimal points of $b$.

We will do the following assumptions.

As noticed in several papers, one can prove using Agmon-like estimates that the eigensections of $\Delta^{L^{p}}$ associated to low-lying eigenvalues are exponentially localized near $\{x\in M,\quad b(x)=b_{0}\},$ in the limit $p\rightarrow+\infty$. Now let us present the local model operators on $U_{j}$.

Recall that the $2$-form $B$ is closed: $\mathrm{d}B=0$. Hence, if the open sets $U_{j}$ are small enough, $B$ is exact on $U_{j}$: there exists $A_{j}\in\Omega^{1}(U_{j})$ such that $B=\mathrm{d}A_{j}$ on $U_{j}$. We denote by $\mathcal{L}_{p}^{(j)}$ the Dirichlet realization of $(d+ipA_{j})^{*}(d+ipA_{j})$ on $\mathsf{L}^{2}(U_{j})$. It is the self-adjoint operator associated to the following sesquilinear form on $\mathcal{C}^{\infty}_{0}(U_{j})$:

We prove the following Theorem.

As a corollary, we can deduce spectral asymptotics for $\Delta^{L^{p}}$ from already-known results for $\mathcal{L}_{p}^{(j)}$. Let us recall some of these results here.

If $U$ is any open subset of $M$ such that there exists a non-vanishing section $e\in\mathcal{C}^{\infty}(U,L)$, then any $s\in\mathcal{C}^{\infty}(U,L)$ can be written $s=ue$ for some $u\in\mathcal{C}^{\infty}(M)$. Hence,

with $\nabla e=eiA$. Moreover,

and thus $B=\mathrm{d}A$. Hence $\nabla$ acts locally as $\mathrm{d}+iA$, and $\Delta^{L}$ as the magnetic Laplacian $(\mathrm{d}+iA)^{*}(\mathrm{d}+iA)$. This is the core of Theorem 1.

If we are given a closed $2$-form $B$ (the magnetic field), the quantization question constist in finding a quantum operator associated to $B$. If $B$ is exact, this question is answered by the semiclassical magnetic Laplacian $(\hbar\mathrm{d}+iA)^{*}(\hbar\mathrm{d}+iA)$, with $B=\mathrm{d}A$. Here, $\hbar>0$ is the semiclassical parameter (Planck’s constant) and the semiclassical limit is $\hbar\rightarrow 0$.

If $B$ is not exact, but if there exists an Hermitian line bundle with Hermitian connexion such that $\nabla^{2}=iB$, then the Bochner Laplacian $\nabla^{*}\nabla$ acts locally as the magnetic Laplacian and hence it is a good candidate. Moreover, we have locally

so that the semiclassical parameter is now $\hbar=\frac{1}{p}$ (Also notice the $p^{2}$ factor which is important for the eigenvalue asymptotics). The limit $\hbar\rightarrow 0$ is equivalent to $p\rightarrow+\infty$ exept that the semiclassical parameter becomes discrete ($p\in\mathbf{N}$).

A new question arises : When does such an Hermitian line bundle exists ? Weil’s Theorem states that it exists if and only if $B$ satisfies the prequantization condition:

where $[B]$ denotes the cohomology class of $B$. This condition also enlightens the discreteness of the semiclassical parameter. Indeed, if one wants to quantize the magnetic field $\frac{1}{\hbar}B$, then one must have $\left[\frac{1}{\hbar}B\right]\in 2\pi\mathbf{Z}$, and thus $\frac{1}{p}\in\mathbf{Z}$, unless $[B]=0$ which means that $B$ is exact (and thus we can use the magnetic Laplacian !).

In this section, we prove exponential decay on the eigensections of $\Delta^{L^{p}}$, away from the set $\{x_{1},\cdots x_{N}\}$. We need the following Lemma.

Now we can use Lemma 6 to prove Agmon-like decay estimates.