8 votos

Clasificar paquete vectorial

$E$ es un fibrado vectorial de rango $2$.

¿Por qué es $E\simeq E^*\otimes \det E$?

¿Alguna generalización (rango arbitrario, $E$ no localmente libre, etc.)?

15voto

Matt Dawdy Puntos 5479

Más generalmente, cualquier haz vectorial $V$ (o representación de un grupo, etc.) de rango $d$ viene equipado con un emparejamiento no degenerado natural (el producto exterior)

$$V \otimes \wedge^{d-1} V \to \wedge^d V$$

que da un isomorfismo

$$V \cong \wedge^{d-1} V^{\ast} \otimes \wedge^d V.$$

Ahora toma $d = 2$.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X