Noción de grado de un mapa de una variedad orientable a una variedad no orientable

Antes de escribir mi pregunta, quiero escribir algo que sé.

Dejar METRO y norte ser dos variedades topológicas conectadas cerradas (compactas, sin límite) de dimensión norte . Ahora bien, si ambos son Z -orientable (aunque simplemente escribimos orientable), entonces sabemos que

H norte ( METRO ; Z ) Z H norte ( norte ; Z ) .
Dejar [ METRO ] H norte ( METRO ; Z ) y [ norte ] H norte ( norte ; Z ) ser dos generadores. Ahora, para cualquier mapa continuo F : METRO norte tenemos un mapa inducido F : H norte ( METRO ; Z ) H norte ( norte ; Z ) es decir, tenemos un número entero, llamado grado, escrito como grado ( F ) tal que
F : [ METRO ] grado ( F ) [ norte ] .

Ahora, en el caso norte no es orientable, tenemos H norte ( norte ; Z ) = 0. Por lo tanto, no podemos definir la noción de grado de la manera anterior. Pero, tenemos orientación. 2 -cubrir. Es decir, hay una variedad orientable cerrada conectada norte ~ y un 2 -mapa de cobertura de pliegues φ : norte ~ norte . Ahora, si podemos levantar nuestro mapa F a un mapa F ~ : METRO norte ~ es decir φ F ~ = F , entonces hablamos de grado de F es decir, podemos definir grado ( F ) := 2 grado ( F ~ ) . Posiblemente esta sea la forma más natural . Otra motivación para definir esta forma es que para cualquier norte -mapa de cobertura de pliegues pag : X Y entre dos complejos CW finitos tenemos norte x ( X ) = x ( Y ) . Aunque, en general, no hay relación entre la característica de Euler y el grado de un mapa.

Pero este tipo de levantamiento no es posible, esto necesita satisfacer

φ ( π 1 ( norte ~ ) ) F ( π 1 ( METRO ) ) .
Esta es la condición necesaria y suficiente del levantamiento.

A partir de aquí empieza mi pregunta.

1. ¿Hay algún tipo particular de mapas para los que sea posible el tipo de elevación anterior?

2. Si 1. no es cierto en general, ¿hay alguna noción de grado de un mapa de una variedad cerrada orientada a otra variedad cerrada pero no orientada?

Gracias, de antemano, cualquier ayuda será muy apreciada.

Creo que puedes definir al menos un "modo de grado 2 “, como el mod 2 cardinalidad de una fibra general de F .
Gracias por tus comentarios. Conozco la noción de grado mod. 2 . Cualquier múltiple es Z 2 -orientable, es decir H norte ( METRO ; Z 2 ) = Z 2 para cualquier cerrado norte -variedad, tanto orientable como no orientable. Así que esta noción no es muy útil. Podemos distinguir dos mapas sólo si uno de ellos tiene grado Z 2 = 0 y el otro tiene grado Z 2 = 1 . Por ejemplo, podemos encontrar dos mapas de S norte S norte teniendo el mismo modelo 2 -grado pero no son homotópicos, ya que los grados integrales no son iguales.
Te refieres a F ( [ METRO ] ) = grado ( F ) [ norte ] .
si, quiero decir F ( [ METRO ] ) = grado ( F ) [ norte ] . Buen punto que debería editar para evitar confusiones.

Respuestas (1)

Si insistimos en que (1) el grado de una composición es el producto de grados, y (2) el grado de una norte -el espacio de cobertura conectado con láminas es norte , entonces hay una forma única de definir el grado de F : METRO norte cuando norte no es orientable.

Si F ascensores a un mapa F ~ , las condiciones (1) y (2) implican el grado de F debe estar dado por su fórmula grado ( F ) = 2 grado ( F ~ ) . En el caso F no levanta, podemos formar el producto de fibra METRO ~ := norte ~ × norte METRO , que será una variedad orientable cerrada. Dejar π 1 : METRO ~ norte ~ , π 2 : METRO ~ METRO ser la proyección sobre el primer y segundo factor, respectivamente. Entonces φ π 1 = π 2 F , y por la condición (2) tenemos grado ( π 2 ) = grado ( φ ) = 2 , por lo que la condición (1) implica grado ( F ) = grado ( π 1 ) .