10.05.2013 Views

Silvia Vilari˜no Fernández NUEVAS APORTACIONES AL ESTUDIO ...

Silvia Vilari˜no Fernández NUEVAS APORTACIONES AL ESTUDIO ...

Silvia Vilari˜no Fernández NUEVAS APORTACIONES AL ESTUDIO ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

5.1.3 Diferencial exterior. 147<br />

así como la correspondiente aplicación entre los respectivos espacios de secciones,<br />

que será denotada por la misma letra.<br />

En particular, el campo de vectores hamiltoniano Xf se puede escribir como<br />

Xf = − Π(df).<br />

El fibrado cotangente T ∗ Q de una variedad de Poisson, Q, puede dotarse de una<br />

estructura de algebroide de Lie como sigue: el ancla y la estructura del álgebra de<br />

Lie en Sec(T ∗ Q) están definidas mediante las expresiones<br />

ρ(α) = Π(α) ,<br />

[α, β ]T ∗ Q = L Π(α) β − L Π(β) α + d(Π(α, β)) ,<br />

donde α, β ∈ Sec(T ∗ Q) y LX denota la derivada de Lie. Es fácil comprobar que se<br />

satisfacen las relaciones:<br />

[df, dg ]T ∗ Q = d {f, g} ,<br />

[ Π(df), Π(dg)]T ∗ Q = Π([df, dg ]T ∗ Q) .<br />

El ejemplo de algebroide que hemos descrito aquí se denomina algebroide de<br />

Lie de la variedad de Poisson (Q, {·, ·}) .<br />

5.1.3. Diferencial exterior.<br />

El paralelismo que existe entre un algebroide de Lie y el fibrado tangente de una<br />

variedad diferenciable se puede extender al marco del álgebra exterior y el cálculo<br />

diferencial de Cartan.<br />

Dado un algebroide de Lie τ : E → Q sobre una variedad Q, las secciones de τ<br />

juegan el papel de los campos de vectores sobre Q. Del mismo modo, las secciones<br />

del fibrado dual τ ∗ : E ∗ → Q jugarán el papel de las 1-formas. Análogamente,<br />

podemos pensar en secciones para la proyección de E ∗ ∧ . . . ∧ E ∗ sobre Q, lo que<br />

nos permitirá construir una álgebra exterior sobre E ∗ .<br />

Denotaremos por<br />

Sec( E ∗ ) = rang E<br />

l=0<br />

Sec( l E ∗ ) ,<br />

el conjunto de secciones del producto exterior de E ∗ , donde Sec( l ∗ E ) es el conjunto<br />

de secciones de<br />

E ∗ ∧ l . . . ∧E ∗ → Q .

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

Saved successfully!

Ooh no, something went wrong!