7 votos

El haz vectorial plano no trivial sobre el colector con el grupo fundamental aceptable

Dado un liso, cerrado, orientado $n$-colector $M$ con susceptibles grupo fundamental de la $\pi_1(M)$. Es cada $n$-dimensiones plana orientable vector paquete de $\xi = (p: E \rightarrow M)$ $M$ trivial?

Por un $n$-dim orientable plana vector paquete me refiero a un vector paquete de derivadas como $ E= \tilde{M} \times \mathbb{R}^n / \pi_1(M)$, donde el grupo fundamental de actos en el universal que cubre $\tilde{M}$ por la cubierta y transformaciones en $\mathbb{R}^n$ a través de un homomorphism $\rho: \pi_1(M) \rightarrow GL_n^+(\mathbb{R}) $ e con $p$ inducida por la proyección canónica.

Yo no veo por qué debe ser cierto y estoy buscando un contraejemplo con algunos colector y el paquete de satisfacción de los supuestos, pero desde la clase de Euler siempre se desvanece y lo hacen todas las características de las clases en cohomology con coeficientes reales (por ejemplo, por M. Karlsson en su tesis "la característica de las clases y delimitada cohomology"), puesto que el verdadero delimitada cohomology de $M$ es trivial, no he sido capaz de llegar con un contraejemplo a mí todavía. Pero mi enfoque habría que tener un paquete de algunos trivial característica de las clases que son de torsión. Agradezco cualquier sugerencia.

5voto

Mike Miller Puntos 17852

Como tú bien dices, no podemos conseguir el verdadero carácter de clase de obstáculos debido a la falta de curvatura. Así que nos fijamos a la segunda Stiefel-Whitney de la clase. Googleando me encuentro este papel. (No he verificado cualquier reclamo, sólo extrae los resultados pertinentes.) La proposición 4.4 reclamaciones para la construcción de un piso orientado a la no-spin colector $M$. Consulte la sección 2 para su noción de "actuar en diagonal" y el comienzo de la sección 4 para el (aspecto complicado) la construcción de la acción que desee.

$M$ es dado como un cociente de $T^n$ por una acción libre de $\Bbb Z_2^d$; en particular, su grupo fundamental encaja en la secuencia exacta $$1 \to \Bbb Z^n \to \pi_1(M) \to \Bbb Z_2^d \to 1.$$ Abelian groups are amenable and extensions of amenable groups are amenable so $\pi_1(M)$ es susceptible.

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