23 votos

Clases características de haces de esferas sobre esferas en términos de funciones de embrague

Intento entender la prueba de Milnor de la existencia de 7 esferas exóticas.

Milnor encuentra sus ejemplos entre $S^{3}$ paquetes sobre $S^{4}$ (con grupo estructural $SO(4)$ ). Un haz de este tipo puede describirse del siguiente modo:

Dado $M$ , an $S^{3}$ haz sobre $S^{4}$ si restringimos $M$ al hemisferio norte (o sur) del $S^{4}$ debe trivializarse ya que cada hemisferio es contractible. Por lo tanto, podemos construir $M$ especificando, para cada punto $p$ en $S^{3}$ = ecuador de $S^{4}$ = intersección de los hemisferios norte y sur, un elemento de $SO(4)$ que pega $p\times S^{3}$ en el hemisferio norte a $p\times S^{3}$ en el hemisferio sur.

Esto define una función $f:S^{3}\rightarrow SO(4)$ que se conoce como función de embrague para $M$ . Según la teoría habitual de haces de fibras, el tipo de isomorfismo de $M$ sólo depende de la clase de homotopía de $f$ .

$SO(4)$ está doblemente cubierto por $S^3\times S^3$ y, por tanto $\pi_3(SO(4)) = \mathbb{Z}\oplus\mathbb{Z}$ . Así, $f$ está realmente determinada (al menos, hasta la homotopía) por un par ordenado de enteros (i,j).

Ahora, como los haces tienen estructura de grupo $SO(4)$ tiene sentido hablar de las clases Pontryagin de $M$ . En la prueba de Milnor de la existencia de esferas exóticas, necesita argumentar que $p_1(M) = \pm 2(i-j)$ . Su primer paso en este argumento es que "claramente $p_1(M)$ es una función lineal de $i$ y $j$ ."

Para mí está claro que las clases de Pontragin asociadas a $(ni, nj)$ para $n\in \mathbb{Z}$ dependerá linealmente de $n$ . Porque, si dejamos que $N_{i,j}$ denotan el principal $SO(4)$ haz sobre $S^{4}$ correspondiente a $(i,j)$ entonces $N_{ni,nj}$ se obtiene claramente como el pullback de $N_{i,j}$ a través de un título $n$ mapa de $S^{4}$ a sí misma.

Sin embargo, no me queda claro por qué $p_1(M)$ es aditivo en $(i,j)$ . ¿Me estoy perdiendo algo sencillo?

Y ya que hablamos de ello, ¿es más cierto? Es decir, para cualquier haz de esferas sobre una esfera, digamos, $S^{k}\rightarrow E\rightarrow S^{n}$ ¿Deben ser lineales las clases características (Pontryagin, Stiefel-Whitney, Euler) en términos de la función de embrague?

Por ejemplo, podemos pensar en $p_1$ como un mapa de $\pi_{n-1}(SO(k+1))\rightarrow H^{4}(S^{n})$ . ¿Es este mapa un homomorfismo? ¿Y para las otras clases características?

24voto

John Topley Puntos 58789

Hay una manera de explicarlo que es similar a lo que dijiste sobre la multiplicación por $n$ .

Sea $G$ sea un grupo de Lie, y sea $f_1$ y $f_2$ sean dos funciones de embrague cualesquiera que describan $G$ - $E_1$ y $E_2$ en $S^n$ . Supongamos que $f_1$ y $f_2$ coinciden en un punto base de $S^{n-1}$ . Sea $c$ sea una clase característica de $G$ -de grado $n$ ; incluso podría ser un producto de copa de clases estándar como Chern o Pontryagin o lo que sea. Sea $f_3$ sea la combinación de $f_1$ y $f_2$ en la unión de un punto $S^{n-1} \vee S^{n-1}$ . Es la función de embrague de un haz $E_3$ sobre la suspensión $\Sigma(S^{n-1} \vee S^{n-1})$ que es la unión de dos $n$ -a lo largo de un intervalo y, por tanto, homotópicamente equivalente a $S^n \vee S^n$ .

Tanto si define $c$ a la antigua por obstrucciones, o a la más moderna por retrocesos desde espacios clasificatorios, es fácil argumentar que $c(E_3) = c(E_1) \oplus c(E_2)$ . Es decir, es sólo el par ordenado de las clases características de sus partes. Ahora la suma en $\pi_n$ se modela mediante un mapa $S^n \to S^n \vee S^n$ y el mapa inducido en $H^n$ toma $a \oplus b$ à $a+b$ . (Su pregunta generalizada sobre $H^k(S^n)$ es, por supuesto, no trivial sólo cuando $k=n$ .)


Un resumen más breve y moderno de la misma historia es el siguiente. El $X$ es un espacio y $LX$ es su espacio de bucles, entonces $\pi_{n-1}(LX) \cong \pi_n(X)$ . El espacio de bucles del espacio clasificador $B_G$ es homotópicamente equivalente a $G$ así que $\pi_{n-1}(G) \cong \pi_n(B_G)$ . Una clase característica de grado $n$ es cualquier clase de cohomología en $H^n(B_G)$ . La linealidad que utiliza Milnor es la forma transpuesta del hecho de que el homomorfismo de Hurewicz $\pi_n(B_G) \to H_n(B_G)$ es lineal. (Si se amplía esto de forma más explícita, en realidad no difiere de lo que digo más arriba).

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