21 votos

¿Por qué cada múltiple de 7 atados a un colector de 8?

Estoy echando un vistazo más de Milnor de papel en exóticos 7-esferas, y una de las primeras líneas dice: "todo cerrado 7-colector $M^7$ es el límite de un 8-colector $B^8$.

Aquí es lo que no entiendo: Los perdidos cobordism anillo es isomorfo a un polinomio anillo de más de $\mathbb{Z}_2$ con un generador en cada grado con la excepción de $2^m -1$ cualquier $m$. En particular, existen generadores $x_2$ $x_5$ en grados $2$$5$, respectivamente. Así que: ¿por qué su producto no representa un elemento no trivial del grupo de cobordism clases de 7-colectores?

Disculpas si esto es una pregunta tonta... soy nuevo en todo esto.

16voto

Chris Puntos 133

Habitual refiere a bordism orientado , bordism no no orientado. No todos límites 7-colector un colector de 8 que han observado de cómputo de Thom del bordism orientar anillo, un anillo polinómico y generadores en dimensión 2 y 5 (y muchas otras dimensiones).

Pero yo creo que se remonta a René Thom, que el grupo bordism de orientación 7-variedades es trivial.

1voto

bcwood Puntos 3599

EDIT: El primer párrafo es una tontería... pero me quedo con esta aquí, ya que los comentarios puedan ser útiles para las personas que buscan en esta pregunta.

Parece que encontré la respuesta a mi propia pregunta! En la ducha justo ahora, me vino con un 7-colector no acotada en un 8-múltiple: $\mathbb{RP}^2 \times S\mathbb{RP}^4$ (Edit: esto no funciona, sin embargo; no confiar en las cosas que usted encuentre en la ducha. Sólo necesito un 5-colector con la extraña característica de Euler... ¿alguna idea?). De hecho, el aviso de que su característica de Euler es el producto de Euler características de los factores, que son ambos impares. Los límites de colectores incluso han característica de Euler, por lo tanto este no es un límite, y es claramente el 7-dimensional.

Así que mi confusión se debió al hecho de que la demanda de cada 7-colector es un límite " es falso! Después de una cuidadosa extracción de Milnor de papel, parece que, aunque él utiliza los incompetentes de la frase "cada 7-colector es un límite", realmente sólo se utiliza que "cada orientable 7-colector es un límite de un orientable 8-colector."

No estoy del todo seguro de por qué esto es cierto, pero hay cierta evidencia que proviene del hecho de que si nos invertir $2$ en las orientadas cobordism anillo, entonces se convierte en isomorfo a un polinomio de álgebra $\mathbb{Z}[1/2]$ de los generadores en cada 4ª dimensión... así que al menos sabemos que no hay nada que aparecen en la dimensión 7 posiblemente con la excepción de algunos 2-torsión. Alguien sabe por qué no hay 2-torsión no?

1voto

Reissem Puntos 23

Porque todos sus números de Stiefel-Whitney son cero.

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