11 votos

Euler Característica de haz de fibras uso de la Geometría Diferencial

De acuerdo a la última respuesta a esta pregunta. Parece que hay un camino, el uso de la Geometría Diferencial, para prueba de que la Característica de Euler es multiplicativo en los haces de fibras decir: $$\chi(E)=\chi(F)\cdot \chi(B)$$ donde $p\colon E\to B$ es un suave haz de fibras con fibra de $F$.

Mi pregunta: ¿me Podría dar una referencia (artículo o libro) para una prueba de la multiplicativity de la característica de Euler en las suaves y haces de fibras que utiliza Riemanninan Geometría o Geometría Diferencial.

Nota: soy consciente de la prueba de uso del espectro de las secuencias y la combinatoria.

Gracias de antemano!

5voto

Thomas Puntos 901

Si usted sabe acerca de Morse Bott funciones, la prueba es sencilla. Si un $f:B\to \bf R$, es una función de Morse, a continuación, $F=f\circ \pi : E\to \bf R$ es una Morse-Bott función cuya crítica submanifold son exactamente las fibras en el punto crítico y los mismos índices. Por lo tanto $\chi (E)= \sum _c ind(c) \chi (F_c)= \chi (F)\times \chi (B)$.

La prueba de Morse desigualdades (y las igualdades) son exactamente los mismos para Morse-Bott y funciones de Morse (véase el libro de Milnor por ejemplo).

2voto

studiosus Puntos 19728

Aquí es una prueba de uso de Poincaré-Hopf teorema (como se sugiere por Ted). Deje $\nabla$ ser una conexión en el paquete de $p: E\to B$. Tomar una degenerada campo de vectores $X$ $B$ y se eleva a un campo de vectores $Y$$E$$\nabla$. Deje $b_1,...,b_n$ denotar los puntos singulares de $X$; set $F_i:= p^{-1}(b_i), i=1,...,n$. Tomar pequeñas (de a pares distintos tubular de vecindarios $p^{-1}(U_i)$ de las fibras $F_i$, $i=1,...,n$. Estos barrios admite una estructura de producto $F_i\times U_i$ consistente con el fibration $p$. Elegir una degenerada campo de vectores $Z$$F\cong F_i, i=1,...,n$, se extienden a cada una de las $U_i$ (utilizando el producto de la descomposición) y luego se multiplica por el pull-backs (a través de $p$) de adecuado bump-funciones, apoyado en $U_i$'s. A continuación, extender el vector resultante campo $W$ para el resto de $E$. Por último, tomar el campo de vectores $V=Y+W$. El conjunto $Sing(V)$ de los puntos singulares de $V$ es distinto de la unión de copias de $Sing(Z)$$F_1,...,F_n$. En cada punto de $q\in F_i\cap Sing(V)$, $$ índice(V,q)= índice(Z,q) \times índice(X, b_i)$$ (esto se deduce del hecho de que el determinante de un bloque cuadrado de la diagonal de la matriz con bloques de $A_1, A_2$ es igual a $det(A_1)\times det(A_2)$).

Ahora, lo que queda es sólo para contar el número de puntos singulares de $V$ (con signo): Cada fibra, $F_i$ contribuye $$ índice(X,b_i)\times índice(Z)= índice(X,b_i)\times \chi(F).$$ Sumando sobre todos los puntos de $b_i$ obtenemos $$ índice(V)= índice(X)\times \chi(F)= \chi(B)\times \chi(F). $$ qed

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