16.08.2013 Views

A mass for asymptotically complex hyperbolic manifolds

A mass for asymptotically complex hyperbolic manifolds

A mass for asymptotically complex hyperbolic manifolds

SHOW MORE
SHOW LESS

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 .

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!