27 votos

Combinatoria de K (Z, 2)?

Alguien sabe de un semi-simplicial modelo para $K(Z,2)$ tener número finito de simplexes en cualquier dimensión? Con algunos regular de la descripción? He oído hablar de gran actividad en la triangulación de las $CP^n$, pero este no parece proporcionar estable regular de respuesta.

(actualización) Muchas gracias por los comentarios.

Mi motivación para que la pregunta es la siguiente Como una obra lema tengo un modelo de este tipo, esperemos que (no escrito todavía). Y me pregunto cómo se sabe mucho en una superficie de nivel de la pregunta.

El modelo es un semi-conjunto simplicial. Como k simplexes tomamos el conjunto de todas las permutaciones circulares de k+1 elementos que son el mismo como orientada collares con k+1 bolas de colores diferentes ordenó colores 0,...,k. La cara mapa es la eliminación de la i-ésima de color perla. Este es K(Z,2) y una especie de domar semi-simplicial modelo para Connes' cíclico simplex. Mi actual prueba simple es que este espacio se clasifica círculo de paquetes. La forma de la prueba es como en el comentario de André Henriques. Semi-simplicial conjunto de permutaciones se puede ver como un contráctiles semi-cíclico de establecer y he de decir palabras acerca de trivial papel de degeneraciones aquí.

Es interesante que aquí sólo restringe el complejo hasta la dimensión 2 usted tiene una deformada de la esfera (un par de zopenco-cabañas pegado por "el límite del círculo"), pero más restricciones a la dimensión 2n no proporcionan modelos de $CP^n$.

4voto

mindless oaf Puntos 19

Tengo alguna idea, pero no estoy seguro de que funciona bien.

Primero doy una triangulación a $CP^1$: digamos que $CP^1$ es $C$ con un punto de $\infty$ añadido. A continuación, podemos arreglar los 6 vértices, $0,1,-1,i,-i,\infty$ y se dividen $CP^1$ en 6 vértices, 12 aristas y 8 triángulos. Cada número complejo pertenece a uno de los 8 triángulos de acuerdo a la señal de su parte real, el signo de su parte imaginaria y si su módulo es mayor o menor que 1.

Así que hay 26 tipos de puntos en $CP^1$: 3 opciones para el signo (o cero) para la parte imaginaria, 3 opciones para el signo (o cero) para la parte real, 3 opciones para el signo del logaritmo del módulo daría 27, pero no es posible, tienen 0 real, 0 imaginario y 1 módulo (decimos que $\infty$ tiene de módulo mayor que 1, pero su imaginario y lo real de las piezas son 0). Tenga en cuenta que un número complejo (no $\infty$) tiene sólo 25 tipos: los diferentes de la $\infty$ tipo.

Más generalmente, cada homogénea $n+1$-tupla $[z_0,\dots, z_n]$ en $CP^n$ tiene exactamente un representante cuya primera distinto de cero de coordenadas es 1. Las siguientes coordenadas son sólo números complejos, por lo que cada uno de ellos se encuentra en uno de los 25 tipos indicado antes. Por lo asociamos a un punto en $CP^n$ los siguientes datos: 1) la posición de La primera distinto de cero de coordenadas, que es un número entero $0\leq k\leq n+1$; 2) el $n-k$-tupla de los tipos de números complejos en el preferido representante.

Los puntos con los mismos datos se encuentran en la misma parte interna de la misma simplex, y la dimensión de un simplex es dada por el número de < y > que aparecen en el punto 2 (que no tengo tiempo ahora para explicar en detalle, pero espero que sea bastante claro).

Por ejemplo, los vértices son los puntos de la forma $[0,0,0,1,i,0,-i,0,1,-1,0]$, es decir, $n+1$-tuplesmade sólo de $0,1,-1,i,-i$ con el primer cero de coordenadas es igual a 1.

2voto

BillSaysThis Puntos 417

Aquí está mi modelo https://arxiv.org/abs/1908.04029 llamado en el documento $\pmb SC$ . El tema de la homotopía solo se menciona y pospone a escritos posteriores más generales, pero es exactamente lo que mencionó @ AndréHenriques: factor de grupo simétrico cruzado simétrico $\pmb S$ (que es contraíble) por la acción libre derecha del grupo cíclico de Connes

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