MICROFUNCTIONS AT THE BOUNDARY ON CR-MANIFOLDS
Andrea D’Agnolo Giuseppe Zampieri
Abstract. Let X be a complex analytic manifold. Consider S ⊂ M ⊂ X, real analytic submanifolds with codim
RMS = 1, and let Ω be a connected component of M \ S. Let p ∈ S ×
MT
M∗X, where T
M∗X denotes the conormal bundle to M in X, and denote by ν(p) the complex radial Euler field at p. Denote by µ
∗(O
X) (for
∗ = M, Ω) the microlocalization of the sheaf of holomorphic functions along ∗.
Under the assumption dim
R(T
pT
M∗X ∩ ν(p)) = 1, a theorem of vanishing for the cohomology groups H
jµ
M(O
X)
pis proved in [K-S 1, Prop. 11.3.1], j being related to the number of positive and negative eigenvalues for the Levi form of M .
Under the hypothesis dim
R(T
pT
S∗X ∩ ν(p)) = 1, a similar result is proved here for the cohomology groups of the complex of microfunctions at the boundary µ
Ω(O
X).
Stating this result in terms of regularity at the boundary for CR-hyperfunctions a local Bochner-type theorem is then obtained.
§1. Notations and review
For the content of this section, we refer to [S 1] and [K-S 2].
1.1. Let X be a complex analytic manifold and M ⊂ X a real analytic submanifold.
One denotes by π : T ∗ X → X the cotangent bundle to X, by ˙π : ˙ T ∗ X → X the cotangent bundle with the zero section removed, and by T M ∗ X the conormal bundle to M in X. One denotes by α the canonical one-form on T ∗ X and sets σ =dα.
A complex analytic submanifold Λ ⊂ T ∗ X is called Lagrangian if it is so for the homogeneous symplectic structure induced by σ on T ∗ X. Let σ R , σ I , be twice the real and imaginary part of σ. These are symplectic forms on the real underlying manifold to T ∗ X. A real analytic submanifold Λ 0 is called R-Lagrangian if it is so for the symplectic structure given by σ R . If Λ 0 is R-Lagrangian, one says that Λ 0 is I-symplectic if σ I | Λ0 is non-degenerate.
1.2. For p ∈ ˙ T M ∗ X, we use the following notations:
E = the space T p T ∗ X endowed with the linear symplectic structure given by the two-form σ,
ν(p) = the complex Euler radial field at p, λ 0 (p) = T p (π − 1 π(p)),
λ M (p) = T p T M ∗ X.
We sometimes write ν, λ 0 and λ M instead of ν(p), λ 0 (p) and λ M (p) respectively, for short.
Appeared in: Comm. Partial Differential Equations 17 (1992), no. 5-6, 989–999.
1
If ρ ⊂ E is an isotropic subspace of E, one denotes by E ρ the space ρ ⊥ /ρ endowed with the symplectic structure induced by σ (here ρ ⊥ denotes the orthogonal to ρ with respect to σ). For λ ⊂ E a real subspace, one sets λ ρ = ((λ ∩ ρ ⊥ ) + ρ)/ρ ⊂ E ρ . Let λ ⊂ E be an R-Lagrangian plane. For µ = λ ∩ iλ, one denotes by L λ0/λ the Hermitian form on λ µ 0 defined for (u, v) ∈ λ µ 0 × λ µ 0 by L λ
0/λ (u, v) = σ ρ (u, v), where v is the complex conjugate of v with respect to the isomorphism C ⊗ R λ µ ∼ = E µ . One can easily see that L λ
0/λ is non-degenerate on λ µ 0 /(λ µ ∩ λ µ 0 ) C .
The numbers s + (M, p), s − (M, p), of positive and negative eigenvalues for L λ0/λ
M, are given by the relations:
s + (M, p) + s − (M, p) + dim R (λ µ M ∩ λ µ 0 ) = n − dim C µ s + (M, p) − s − (M, p) = 1 2 τ (λ M , iλ M , λ 0 ),
where τ (·, ·, ·) denotes the inertia index of three Lagrangian planes.
One also introduces
γ(M, p) = dim C (λ M ∩ iλ M ∩ λ 0 ).
We sometimes write s ± (M ) and γ(M ) instead of s ± (M, p) and γ(M, p) respectively, for short.
One has the following result:
Proposition 1.1. (Cf. [D’A-Z], [S-T]) s + (M ), s − (M ) are the numbers of positive and negative eigenvalues of the Levi form of M .
1.3. One denotes by D b (X) the derived category of the category of bounded com- plexes of sheaves of C-vector spaces and by D b (X; p) the localization of D b (X) at p ∈ T ∗ X (cf. [K-S 2]).
For A ⊂ X a locally closed subset, C A denotes the sheaf which is 0 on X \ A and the constant sheaf with fiber C on A. One sets, for short, T A ∗ X = SS(C A ) ⊂ T ∗ X, where SS(C A ) denotes the micro-support of C A .
Let µ A (O X ) = µhom(C A , O X ), where O X is the sheaf of germs of holomorphic functions on X and µhom(·, ·) is the bifunctor of microlocalization. Notice that the support of the complex µ A (O X ) is contained in T A ∗ X.
§2. Statement of the result
2.1. Let S ⊂ M be real analytic submanifolds of a complex analytic n-dimensional manifold X with codim R M S = 1 and codim R X M = l. Let Ω be a connected com- ponent of M \ S in a neighborhood of x ◦ ∈ S and take p ∈ S × M T ˙ M ∗ X with π(p) = x ◦ .
In [K-S 1] the vanishing of H j µ M (O X ) p is related to the number of positive and negative eigenvalues for the Levi form of M as follows:
Theorem 2.1. (Cf. [K-S 1, Prop. 11.3.1, Prop. 11.3.5]) (i) Assume
(2.1) dim R (λ M (p) ∩ ν(p)) = 1.
Then H j µ M (O X ) p = 0 for j < l + s − (M, p) − γ(M, p) and for j > n − s + (M, p) + γ(M, p).
(ii) Assume (2.1) and moreover:
(2.2) s − (M, p 0 ) − γ(M, p 0 ) is locally constant for p 0 ∈ T M ∗ X near p.
Then H j µ M (O X ) p = 0 for j 6= l + s − (M, p) − γ(M, p).
2.2. The aim of this paper is to prove analogous results for the complex of micro- functions at the boundary.
Theorem 2.2.
(i) Assume
(2.3) dim R (λ S (p) ∩ ν(p)) = 1.
Then H j µ Ω (O X ) p = 0 for j < l + s − (M, p) − γ(M, p) and for j > n − s + (M, p) + γ(M, p).
(ii) Assume (2.3) and moreover:
(2.4)
s − (M, p 0 ) − γ(M, p 0 ) and s − (S, p 0 ) − γ(S, p 0 ) are locally constant for p 0 ∈ T S ∗ X near p.
Then H j µ Ω (O X ) p = 0 for j 6= l + s − (M, p) − γ(M, p).
Remark 2.4. In the case of X being a complexification of M one recovers results of [S 2].
§3. Proof of the Theorem
3.1. We must first state some preliminary results of symplectic geometry.
The following lemma is a slight generalization of a result of [S 1].
Lemma 3.1. (Cf. [S 1, Prop. 1.9]) Let λ 1 and λ 2 be two R-Lagrangian planes of E, and assume:
codim R λ1(λ 1 ∩ λ 2 ) = 1, (3.1)
dim R (λ 1 ∩ ν) = dim R (λ 2 ∩ ν) = 1.
(3.2)
Then there exists a complex Lagrangian plane λ 0 such that:
(3.3)
dim R (λ 1 ∩ λ 0 ) = dim R (λ 2 ∩ λ 0 ) = 1,
the forms L λ0/λ
1, L λ0/λ
2 are positive definite.
/λ
2are positive definite.
For the reader’s convenience, we give a proof here.
Proof. Set ρ = (λ 1 ∩ iλ 1 ∩ λ 2 ∩ iλ 2 ) + ν.
Since L λ0/λ
1 = L λρ0/λ
ρ1 and L λ0/λ
2 = L λρ0/λ
ρ2, one reduces to work in the space E ρ . Setting µ = λ 1 ∩ λ 2 , one may then assume from the beginning
/λ
ρ1and L λ0/λ
2 = L λρ0/λ
ρ2, one reduces to work in the space E ρ . Setting µ = λ 1 ∩ λ 2 , one may then assume from the beginning
/λ
ρ2, one reduces to work in the space E ρ . Setting µ = λ 1 ∩ λ 2 , one may then assume from the beginning
(3.4) µ ∩ iµ = {0},
and look for a complex Lagrangian plane λ 0 such that:
(3.3)’
λ 0 is transversal to λ 1 and λ 2 ,
the forms L λ0/λ
1 and L λ0/λ
2 are positive definite.
/λ
2are positive definite.
Notice that if λ i (i = 1, 2) is degenerate (i.e. if λ i ∩ iλ i 6= {0}), by (3.1), (3.4) we
have λ i + iλ i = µ + iµ, (and hence λ i ∩ iλ i ⊃ µ ∩ iµ). Then either λ 1 or λ 2 is
non-degenerate, for otherwise λ 1 ∩ iλ 1 = λ 2 ∩ iλ 2 6= 0 which violates (3.4).
Assume that λ 1 is non-degenerate. Choose symplectic coordinates (z, ζ) = (x + iy; ξ + iη) in E so that λ 1 = {(z, ζ); y = ξ = 0} and µ is the hyperplane of λ 1 of equation x 1 = 0.
Consider the symplectic splitting E = E 1 ⊕ E 0 for E 1 = C z1× C ζ1, E 0 = C z0× C ζ0
and set λ 0 = {(z 0 , ζ 0 ); y 0 = ξ 0 = 0}, ρ 1 = {(0, ζ 1 ); ζ 1 ∈ C} (so that (µ + iµ) ⊥ = ρ 1 ⊕ {0}).
, E 0 = C z0× C ζ0
and set λ 0 = {(z 0 , ζ 0 ); y 0 = ξ 0 = 0}, ρ 1 = {(0, ζ 1 ); ζ 1 ∈ C} (so that (µ + iµ) ⊥ = ρ 1 ⊕ {0}).
and set λ 0 = {(z 0 , ζ 0 ); y 0 = ξ 0 = 0}, ρ 1 = {(0, ζ 1 ); ζ 1 ∈ C} (so that (µ + iµ) ⊥ = ρ 1 ⊕ {0}).
One can see that λ 1 = ˜ λ 1 ⊕ λ 0 , λ 2 = ˜ λ 2 ⊕ λ 0 , where
λ ˜ 1 = {(z 1 , ζ 1 ); y 1 = ξ 1 = 0}, λ ˜ 2 =
ρ 1 , if λ 2 is degenerate,
{(z 1 , ζ 1 ); ξ 1 = εx 1 , y 1 = 0}, if λ 2 is non-degenerate (ε > 0).
Choose λ 0 0 ⊂ E 0 transversal to λ 0 and such that L λ00/λ
0 is positive definite.
Reasoning as in loc. cit. one may find ˜ λ 0 ⊂ E 1 transversal to both ˜ λ 1 and ˜ λ 2 such that L λ ˜0/˜ λ
1 is positive definite and L ˜ λ0/˜ λ
2 is 0 (resp. positive definite) if ˜ λ 2 is degenerate (resp. non-degenerate).
/˜ λ
2is 0 (resp. positive definite) if ˜ λ 2 is degenerate (resp. non-degenerate).
One may then take λ 0 = ˜ λ 0 ⊕ λ 0 0 . q.e.d.
Remark 3.2. From the preceding proof it follows in particular that under the hypotheses of Lemma 3.1 either λ 1 ∩ iλ 1 ⊂ λ 2 ∩ iλ 2 or λ 1 ∩ iλ 1 ⊃ λ 2 ∩ iλ 2 .
Noticing that (2.3) implies (2.1), one gets:
Corollary 3.3. Let S ⊂ M be real analytic submanifolds of a complex analytic manifold X with codim R M S = 1. Let p ∈ S × M T ˙ M ∗ X and assume (2.3). Then there exists a germ of complex contact transformation χ near p which interchanges (T ∗ X, T M ∗ X, T S ∗ X, p) and (T ∗ Y, T N ∗ Y, T Z ∗ Y, q) where N and Z are hypersurfaces of Y satisfying:
s − (N, q) = s − (Z, q) = 0.
Lemma 3.4. (Cf. [D’A-Z, Prop. 2.1]) With the same notations of Corollary 3.3, one has the estimates:
s ± (S) − γ(S) ≥ s ± (M ) − γ(M ) − 1.
Proof. Let f be a real analytic function vanishing on M with p =df (x ◦ ). By Proposition 1.1 one has that s ± (∗) (for ∗ = M, S) are the numbers of positive and negative eigenvalues for the Hermitian form on T x C
◦
(∗) of matrix (∂ i ∂ j f (x ◦ )) i,j (here one sets T x C
◦
(∗) = T x◦(∗) ∩ i T x◦(∗)). One has
(∗)). One has
dim C T x C◦M = n − codim R X M + γ(M, p), and hence codim C TC
x◦
M T x C
◦S = 1 + γ(M, p) − γ(S, p). The estimates follow. q.e.d.
3.2. We give now a proof of our main theorem.
Proof of Theorem 2.2. We use the notations of §2. Let Ω 0 be the other connected component of M \ S near x ◦ so that M \ S = Ω ∪ Ω 0 .
From the exact sequence
0 → C Ω ⊕ C Ω0 → C M → C S → 0,
one gets the distinguished triangle
(3.5) µ S (O X ) p → µ M (O X ) p → µ Ω (O X ) p ⊕ µ Ω0(O X ) p +1
→ . Assuming (2.3), by Theorem 2.1 (i), one has
(3.6)
H j µ M (O X ) p = 0 for j / ∈ [l + s − (M ) − γ(M ), n − s + (M ) + γ(M )], H j µ S (O X ) p = 0 for j / ∈ [l + 1 + s − (S) − γ(S), n − s + (S) + γ(S)].
We divide the proof of (i) in two steps:
a) We first show that
(3.7) H j µ Ω (O X ) p = 0 for j > n − s + (M ) + γ(M ).
By Lemma 3.4 one has:
n − s + (M ) + γ(M ) ≥ n − s + (S) + γ(S) − 1 so that (3.7) follows from (3.5), (3.6).
b) Finally, we prove that
(3.8) H j µ Ω (O X ) p = 0 for j < l + s − (M ) − γ(M ).
By Lemma 3.4 one has:
(3.9) l + s − (M ) − γ(M ) ≤ l + 1 + s − (S) − γ(S) If the inequality in (3.9) is strict, then (3.8) follows from (3.5), (3.6).
Assume l + s − (M ) − γ(M ) = l + 1 + s − (S) − γ(S). By (3.5), (3.6), it is enough to prove that the natural morphism:
(3.10) H l+1+s−(S)−γ(S) µ S (O X ) p −→ H l+s
−(M )−γ(M ) µ M (O X ) p , is injective.
Arguing as in the proof of Theorem 11.3.1 of [K-S 1], by Corollary 3.3 we may find a complex contact transformation χ in a neighborhood of p which interchanges the data (T ∗ X, T M ∗ X, T S ∗ X, p) and (T ∗ Y, T N ∗ Y, T Z ∗ Y, q) and such that N and Z are hypersurfaces of Y satisfying:
s − (N ) = s − (Z) = 0.
(Of course γ(N ) = γ(Z) = 0 since these are real hypersurfaces.) Moreover one can quantize this contact transformation by a kernel K ∈ D b (X × Y ) and get isomorphisms in D b (Y ; q):
Φ K (O X ) ∼ = O Y , Φ K (C M [−l − s − (M ) + γ(M )]) ∼ = C N [−1], Φ K (C S [−l − 1 − s − (S) + γ(S)]) ∼ = C Z [−1]
(3.11)
(cf. [K-S 2, ch. 11] as for quantized contact transformations). By (3.11) one gets isomorphisms:
µhom(C M , C S ) p ∼ = µhom(C N , C Z ) q , (3.12)
µ M (O X ) p [l + s − (M ) − γ(M )] ∼ = µ N (O Y ) q [1], (3.13)
µ S (O X ) p [l + 1 + s − (S) − γ(S)] ∼ = µ Z (O Y ) q [1], (3.14)
and (3.10) induces a morphism:
(3.15) H 1 µ Z (O X ) q −→ H 1 µ N (O X ) q . It then remains to prove that (3.15) is injective.
Denote by N + (resp. Z + ) the closed half spaces of Y with boundary N (resp. Z) such that q ∈ T N ∗+Y (resp. q ∈ T Z ∗+Y ).
Y ).
By [K-S 2, Prop. 4.4.2], one has:
[Rπ ! µhom(C N+, C Z+)] π(q) ∼ = [RHom(C N+, C Y ) ⊗ C Z+] π(q)
)] π(q) ∼ = [RHom(C N+, C Y ) ⊗ C Z+] π(q)
] π(q)
∼ = (C Int (N+) ⊗ C Z
+) π(q)
= 0
since π(q) / ∈ Int (N + ). From the distinguished triangle:
Rπ ! (·) → Rπ ∗ (·) → R ˙π ∗ (·) +1 →, applied to the complex µhom(C N+, C Z+), we then get
), we then get
µhom(C N+, C Z+) q ∼ = [Rπ ∗ µhom(C N+, C Z+)] π(q)
) q ∼ = [Rπ ∗ µhom(C N+, C Z+)] π(q)
)] π(q)
∼ = RHom(C N+, C Z+) π(q) . (3.16)
) π(q) . (3.16)
By (3.12), (3.16), one has:
µhom(C M , C S ) p ∼ = µhom(C N , C Z ) q
∼ = µhom(C N+, C Z+) q
) q
∼ = RHom(C N+, C Z+) π(q) . (3.17)
) π(q) . (3.17)
Since H 0 (µhom(C M , C S )) p ∼ = C, taking the zero th cohomology in (3.17) we get the isomorphism: Γ N+(C Z+) π(q) ∼ = C.
) π(q) ∼ = C.
It follows that N + ⊃ Z + on a system of open neighborhoods V of π(q) in Y , and that Hom Db(Y ;q) (C N
+, C Z+) is generated by the natural morphism C N+∩ V → C Z
+∩ V .
) is generated by the natural morphism C N+∩ V → C Z
+∩ V .
Then (3.15) is represented by the natural morphism:
(3.18) lim −→
V 3π(q)
O Y (V \ Z + )
O Y (V ) −→ lim −→
V 3π(q)
O Y (V \ N + ) O Y (V ) which is clearly injective. This complete the proof of (i).
As for (ii), one proceeds as above, noticing moreover that, due to hypotheses (2.3), one can apply [K-S 1, Prop. 11.3.5] and get:
H j µ M (O X ) p = 0 for j 6= l + s − (M ) − γ(M ), H j µ S (O X ) p = 0 for j 6= l + 1 + s − (S) − γ(S).
q.e.d.
§4. An application
4.1. We first review here results of [Z] concerning the representation of sections of µ Ω (O X ).
Let M be a real analytic submanifold of codimension l of a complex analytic man- ifold X of dimension n, let Ω ⊂ M be an open subset with real analytic boundary S and let x ◦ ∈ S. Let τ : T X → X denote the tangent bundle and consider the projection σ : M × X T X → T M X. For A 0 , A 00 subsets of X one denotes by C(A 0 , A 00 ) ⊂ T X the Whitney normal cone of A 0 along A 00 . For γ conic subset of T X one denotes by γ ◦ a ⊂ T ∗ X its polar antipodal.
Proposition 4.1. (Cf. [Z, Theorem 2.1]) Let γ be an open convex cone in Ω × M T M X such that τ (γ) ⊃ Ω in a neighborhood of x ◦ . Then:
H j (RΓ γ◦a(µ Ω (O X ) TM∗X )) x
◦ = lim −→
X )) x
◦= lim −→
B,U
H j−l (B ∩ U ; O X ),
where B ⊂ X ranges through the family of open neighborhoods of x ◦ and U ⊂ X ranges through the family of open subsets such that
(4.1) σ(M × X (T X \ C(X \ U, Ω))) ⊃ γ.
(This is a classical result for Ω = M , cf. e.g. [K-S 2, Theorem 4.3.2].)
Definition 4.2. An open set U ⊂ X satisfying (4.1) is called Ω-tuboid with profile γ.
Remark 4.3. Let us discuss the meaning of (4.1).
(i) If X is a vector space, one has that θ ∈ (T X \ C(X \ U, Ω)) x◦ iff there exist a neighborhood B of x ◦ and an open cone G ⊂ X containing θ such that ((Ω ∩ B) + G) ∩ B ⊂ U .
(ii) Assume M be a hypersurface of X. In this case T M X \M has two connected components and we denote by γ + the one such that Int γ ◦ a 3 p. Choose complex analytic local coordinates z = x + iy on X at x ◦ with M defined by the equation y 1 = f (z) (for a real analytic function f with df (x ◦ ) = 0) and assume Ω given by y 2 = 0. Then the condition (4.1) is equivalent to the existence of a neighborhood B of x ◦ such that
U ⊃
B ∩ {z ∈ X; f (z) < y 1 < ε y 2 , y 2 > 0}, for γ = γ + ,
B ∩ {z ∈ X; −ε y 2 < y 1 < ε y 2 , y 2 > 0}, for γ = Ω × M T M X.
4.2. Assume M is generic (i.e. T M + M i T M = M × X T X) and denote by M C a complexification of M . A complexification of X is given by X × X, where X denotes the complex conjugate of X. Let φ : M C → X be the composite of the immersion M C ,→ X × X (induced by the embedding M ,→ X) with the projection X × X → X. By the hypothesis of genericity, φ is smooth. The coherent D MC-module ∂ b = φ ∗ (D X ) (here φ ∗ denotes the inverse image in the category of D-modules) is called induced Cauchy-Riemann system on M . Let or · /· denote the relative orientation sheaf and (for ∗ = M, Ω) set
C ∗ = µ ∗ (O MC) ⊗ or M/MC[n],
C ∗ /X = µ ∗ (O X ) ⊗ or M/X [l].
[n],
C ∗ /X = µ ∗ (O X ) ⊗ or M/X [l].
(Notice that C M is the sheaf of Sato’s microfunctions and C Ω is the complex of microfunctions at the boundary of Schapira [S 2].) One has the isomorphisms
C ∗ /X ∼ = RHom DX(∂ b , C ∗ ).
(For ∗ = M we refer to [K-K]. Results related to the case ∗ = Ω are obtained in [D’A-D’A-Z].) This means that the complex C M/X (resp. C Ω/X ) is isomorphic to the complex of CR-microfunctions on M (resp. to the complex of C Ω -solutions to
∂ b ).
Lemma 4.4. The complex (C Ω/X ) TM∗X is concentrated in degree ≥ 0.
Proof. The result is an immediate consequence of Theorem 2.2 (i) recalling that, since M is generic, γ(M, p) = 0 for every p ∈ ˙ T M ∗ X. q.e.d.
4.3. Let p ∈ ( ˙ T M ∗ X) x◦ and assume that
(4.2) s − (M, p) ≥ 1.
Under this hypothesis, it is well known that the complex (C M/X ) p = 0 is concen- trated in degree > 0. Representing the sections of C M/X as boundary values of holomorphic functions, one can rephrase this result as a criterion of holomorphic extension for functions defined in tuboids along M (cf. Definition 4.2 with Ω = M as for tuboids along M ) with profile γ verifying γ ◦ a 3 p. In the case of M being a hypersurface, if one denotes by M + the connected component of X \ M at x ◦
which has p as exterior conormal, this simply means that any holomorphic func- tion on M + holomorphically extends to a full neighborhood of x ◦ (i.e. holomorphic functions cross the boundary of pseudo-concave domains).
Similarly, under the hypothesis (4.2) it follows from Theorem 2.2 (i) that the com- plex (C Ω/X ) p is concentrated in degree > 0. By Proposition 4.1, the sections of C Ω/X may also be represented as boundary values of holomorphic functions and hence, once again, this result may be rephrased in terms of holomorphic extension.
Proposition 4.5 below states this fact, and we refer to Remark 4.3 for a description of the geometry of the involved sets.
Proposition 4.5. Assume s − (M, p) ≥ 1. Then there exists an open neighborhood Λ ⊂ T M ∗ X of p such that
lim −→
U ∈U ,W ∈W,B3x
◦Γ(U ∩ B, O X ) Γ(W ∩ B, O X ) = 0,
where B ⊂ X ranges through an open neighborhood system of x ◦ and U (resp. W) is the family of Ω-tuboids with a profile γ such that γ ◦ a ⊂ Λ (resp. with profile Ω × M T M X).
Proof. One may find an open conic neighborhood Λ ⊂ T M ∗ X of p such that s − (M, p 0 ) ≥ 1 for every p 0 ∈ Λ.
We already noticed that, by Theorem 2.2, the complex (C Ω/X ) Λ is concentrated in degree > 0. Denoting by G the family of open convex cones γ ⊂ Ω × M T M X such that τ (γ) ⊃ Ω in a neighborhood of x ◦ and γ ◦ a ⊂ V , it then follows from the injective morphism:
(4.2) lim −→
B3x,γ∈G
Γ γ◦a( ˙π − 1 (B); H 0 (C Ω/X ) TM∗X ) ,→ H 0 (C Ω/X ) p .
X ) ,→ H 0 (C Ω/X ) p .
that the limit on the left hand side of (4.2) vanishes.
Applying the functor H 0 RΓ(B; ·) to the distinguished triangle RΓ π(γ◦a) ((C Ω/X ) T
M∗X ) −→ Rπ ∗ RΓ γ
◦a((C Ω/X ) TM∗X ) −→
X ) −→
−→ R ˙π ∗ RΓ γ◦a((C Ω/X ) TM∗X ) −→, +1 one gets an injection
X ) −→, +1 one gets an injection
Γ γ◦a(π − 1 (B); H 0 (C Ω/X ) TM∗X )
X )
Γ π(γ◦a) (π − 1 (B); H 0 (C Ω/X ) T
M∗X ) ,→ Γ γ
◦a( ˙π − 1 (B); H 0 (C Ω/X ) T∗
M