Glanon groupoids - Mathematisches Institut - GWDG
Glanon groupoids - Mathematisches Institut - GWDG
Glanon groupoids - Mathematisches Institut - GWDG
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Lemma 3.28. Let J : P Γ → P Γ be a multiplicative map. Then<br />
is a vector bundle morphism if and only if<br />
A(J ) : P A → P A<br />
is a vector bundle morphism.<br />
J : P Γ → P Γ<br />
Since the map N J : P Γ × Γ P Γ → P Γ is then also a Lie groupoid morphism by Theorem<br />
3.26, we can also consider<br />
A(N J ) : P A × A P A → P A<br />
defined by<br />
A(P Γ ) × A A(P Γ )<br />
A(N J )<br />
A(P Γ )<br />
Σ 2 Γ<br />
<br />
P A × A P A .<br />
Σ Γ<br />
P A<br />
A(N J )<br />
The main result of this section is the following.<br />
Theorem 3.29. Let J : P Γ → P Γ be a vector bundle homomorphism and a Lie groupoid<br />
morphism. Then<br />
(a)<br />
(b)<br />
The map A(J ) is 〈· , ·〉 A -orthogonal if and only if J is 〈· , ·〉 Γ -orthogonal and,<br />
in that case,<br />
A(N J ) = N A(J ) . (20)<br />
For the proof, we need a couple of lemmas.<br />
Definition 3.30. Let M be a smooth manifold and ι : N ↩→ M a submanifold of M.<br />
(a)<br />
(b)<br />
(c)<br />
A section e N =: X N + α N is ι-related to e M = X M + α M if ι ∗ X N = X M | N and<br />
α N = ι ∗ α M . We write then e N ∼ ι e M .<br />
Two vector bundle morphisms J N : P N → P N and J M : P M → P M are said to<br />
be ι-related if for each section e N of P N , there exists a section e M ∈ P M such<br />
that e N ∼ ι e M and J N (e N ) ∼ ι J M (e M ).<br />
Two vector bundle morphisms N N : P N × N P N → P N and N M : P M × M P M →<br />
P M are ι-related if for each pair of sections e N , f N ∈ Γ(P N ), there exist sections<br />
e M , f M ∈ Γ(P M ) such that e N ∼ ι e M , f N ∼ ι f M and N N (e N , f N ) ∼ ι<br />
N M (e M , f M ).<br />
Lemma 3.31. Let M be a manifold and N ⊆ M a submanifold. If e N , f N ∈ Γ(P N ) are<br />
ι-related to e M , f M ∈ Γ(P M ), then e N , f N ∼ ι e M , f M , for the Dorfman and the Courant<br />
bracket.<br />
Proof. This is an easy computation, see also [33].<br />
Lemma 3.32. If M is a manifold, N ⊆ M a submanifold and J N : P N → P N and<br />
J M : P M → P M two ι-related vector bundle morphisms. Then the generalized Nijenhuis<br />
tensors N JN and N JM are ι-related.<br />
□<br />
Proof. This follows immediately from Lemma 3.31 and the definition.<br />
□<br />
18