02.02.2015 Views

Connes-Chern Character for Manifolds with Boundary and ETA ...

Connes-Chern Character for Manifolds with Boundary and ETA ...

Connes-Chern Character for Manifolds with Boundary and ETA ...

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.

78 MATTHIAS LESCH, HENRI MOSCOVICI, AND MARKUS J. PFLAUM<br />

c<br />

• • •<br />

discrete<br />

essential spectrum<br />

Figure 6.<br />

of D 2 is c.<br />

Contour of integration if bottom of the essential spectrum<br />

estimate in the Schatten p–norm<br />

‖Ae −tD2 dim M+ε<br />

−a/2−<br />

‖ p ≤ C(t 0 , ε) t<br />

2p<br />

, 0 < t ≤ t 0 . (B.13)<br />

Note that C(t 0 , ε) is independent of p. The same estimate holds <strong>for</strong> ‖e −tD2 A‖ p .<br />

2. Denote by π 1 , π 2 : M × M → M the projection onto the first resp. second factor<br />

<strong>and</strong> assume that π 2 (supp A) ∩ π 1 (supp B) = ∅. Then<br />

‖Ae −tD2 B‖ 1 = O(t ∞ ), 0 < t < t 0 , (B.14)<br />

<strong>with</strong> N arbitrarily large.<br />

3. Let ϕ ∈ C ∞ (M) be a smooth function such that supp dϕ is compact. Moreover<br />

suppose that supp ϕ∩π 1 (supp A) = ∅. Then the estimate (B.14) also holds <strong>for</strong> ϕe −tD2 A.<br />

Proof. 1. From Proposition B.2 <strong>and</strong> the contour integral (B.12) we infer the inequality<br />

(B.13) <strong>for</strong> p = 1. For p = ∞ it follows from the Spectral Theorem. The Hölder<br />

inequality implies the following interpolation inequality <strong>for</strong> Schatten norms<br />

‖T ‖ p = Tr(|T | p ) 1/p ≤ ‖T ‖ 1−1/p<br />

∞ ‖T ‖ 1/p<br />

1 , 1 ≤ p ≤ ∞. (B.15)<br />

From this we infer (B.13).<br />

The remaining claims follow immediately from the contour integral (B.12) <strong>and</strong> the<br />

corresponding resolvent estimates.<br />

□<br />

For the next result we assume additionally that D is a Fredholm operator <strong>and</strong> we<br />

denote by H the orthogonal projection onto Ker D. H is a finite rank smoothing<br />

operator. Put c := inf spec ess D 2 . Then e −tD2 (I − H) = e −tD2 − H can again be<br />

expressed in terms of a contour integral as in (B.12) where the contour is now depicted<br />

in Figure 6.<br />

This allows to make large time estimates. The result is as follows:<br />

Proposition B.6. Assume that D is Fredholm <strong>and</strong> let A ∈ Ψ a (M, W ) be a pseudodifferential<br />

operator <strong>with</strong> compact support. Then <strong>for</strong> any 0 < δ < inf spec ess D 2 <strong>and</strong> any<br />

ε > 0 there is a constant C(δ, ε) such that <strong>for</strong> 1 ≤ p ≤ ∞<br />

‖Ae −tD2 dim M+ε<br />

−a/2−<br />

(I − H)‖ p ≤ C(δ, ε) t<br />

2p<br />

e −tδ , 0 < t < ∞. (B.16)

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

Saved successfully!

Ooh no, something went wrong!