A mass for asymptotically complex hyperbolic manifolds
A mass for asymptotically complex hyperbolic manifolds
A mass for asymptotically complex hyperbolic manifolds
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
hal-00429306, version 1 - 2 Nov 2009<br />
20 A MASS FOR ASYMPTOTICALLY COMPLEX HYPERBOLIC MANIFOLDS.<br />
of L is c1(L) = i 1<br />
2π [F] = π [Ω]. We also assume that (M,L) defines a spinc structure, in<br />
that the bundle TM ⊗L admits a spin structure. We then introduce the corresponding<br />
spinor bundle Σc , endowed with a Clif<strong>for</strong>d action c and a connection ∇. The Kähler<br />
<strong>for</strong>m Ω acts on this bundle, with the eigenvalues i(m−2k), 0 ≤ k ≤ m. The eigenspaces<br />
yield subbundles Σc k . We may there<strong>for</strong>e define a connection ˆ ∇ on Σc by requiring that<br />
ˆ∇Xψ := ∇Xψ + ic(X 1,0 )ψl−1 + ic(X 0,1 )ψl,<br />
where ψk is the component of ψ in Σc k . The parallel sections of Σc l−1 ⊕ Σc l <strong>for</strong> this connection<br />
will be called twisted Kählerian Killing spinors and the corresponding subspace<br />
will be denoted by Kc .<br />
Every computation of section 2.3 (but one) can be carried out with twisted Kählerian<br />
Killing spinors, leading to the same <strong>for</strong>mulas. In particular, one can define uψ, αψ, ξψ<br />
<strong>for</strong> any ψ in Kc as in section 2.3 and this yields a map Qc : Kc → N. The only<br />
difference is that we do not get elements of N0 : (ξψ,Ω) is no longer uψ, basically<br />
because the eigenvalues of the Kähler <strong>for</strong>m are now even (compare with the proof of<br />
Lemma 2.6).<br />
Let us describe the model case, where (M,g,J) is the <strong>complex</strong> <strong>hyperbolic</strong> space<br />
CHm , m = 2l, with holomorphic sectional curvature −4. With this normalization, we<br />
have RicCHm = −2(m + 1)gCHm. Since the Ricci <strong>for</strong>m ρ = Ric(.,J.) is i times the<br />
curvature of the canonical line bundle, this implies :<br />
c1(Λ m,0 ) = i i<br />
+ 1<br />
[−iρ] = [2i(m + 1)Ω] = −m [Ω] = −(m + 1)c1(L).<br />
2π 2π π<br />
So L ∼ = Λ m,0 − 1<br />
m+1 in this case. It follows that<br />
Σ c k ∼ = Σk ⊗ L ∼ = Λ 0,k ⊗ Λ m,01<br />
1<br />
− l<br />
2 m+1 ∼ 0,k m,0 2l+1 = Λ ⊗ Λ .<br />
It turns out that the sections of Kc trivialize the bundle Σc l−1 ⊕ Σc l , as noticed in [BH].<br />
Indeed, using the same notations as in section 2.3, we can define two families of twisted<br />
Kählerian Killing spinors in the following way. First, if a is a multi-index of length<br />
l − 1, we set ϕ a = ϕ a l−1 + ϕa l with<br />
ϕ a l−1<br />
d ¯wa<br />
= c(l)<br />
(1 − |w| 2 l<br />
⊗ dw 2l+1 and ϕ<br />
) l a l<br />
c(l)<br />
=<br />
2il ¯ <br />
∂<br />
d ¯wa<br />
(1 − |w| 2 ) l<br />
<br />
⊗ dw l<br />
2l+1.<br />
l2<br />
1−l−<br />
The normalization we choose is c(l) = 2 2l+1. We also introduce ˘ϕ b = ˘ϕ b l−1 + ˘ϕb l<br />
where b is a multi-index of length l and<br />
˘ϕ b ι ¯R d ¯wb<br />
l−1 = c(l)<br />
(1 − |w| 2 l<br />
⊗ dw 2l+1 and ˘ϕ<br />
) l b c(l)<br />
l =<br />
2il ¯ <br />
ι ¯R d ¯wb<br />
∂<br />
(1 − |w| 2 ) l<br />
<br />
⊗ dw l<br />
2l+1<br />
where R = <br />
k wk∂wk as be<strong>for</strong>e. These families together <strong>for</strong>m a basis <strong>for</strong> Kc on CHm .<br />
One can again compute the squared norms of these spinors, like in [Kir]. If a is a<br />
multi-index of length l − 1 and b a multi-index of length l, we have<br />
<br />
a<br />
ϕ <br />
l−1<br />
2 2<br />
1 − |wa|<br />
=<br />
1 − |w| 2 , |ϕal |2 2<br />
|wă|<br />
=<br />
1 − |w| 2,<br />
<br />
<br />
˘ϕ b <br />
<br />
l−1<br />
2<br />
= |wb| 2<br />
1 − |w| 2,<br />
<br />
<br />
˘ϕ b <br />
<br />
l<br />
2<br />
= 1 − <br />
w˘<br />
<br />
b<br />
2<br />
2 ,<br />
1 − |w|<br />
hence<br />
|ϕ a | 2 = 1 − |wa| 2 + |wă| 2<br />
1 − |w| 2 ,<br />
<br />
<br />
<br />
<br />
˘ϕ b<br />
2<br />
= 1 − <br />
w˘ <br />
b<br />
2 + |wb| 2<br />
1 − |w| 2 .