21.10.2014 Views

Glanon groupoids - Mathematisches Institut - GWDG

Glanon groupoids - Mathematisches Institut - GWDG

Glanon groupoids - Mathematisches Institut - GWDG

SHOW MORE
SHOW LESS

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

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

Saved successfully!

Ooh no, something went wrong!