27 votos

Descripción n-categórica de las clases de Chern

Las clases de Chern de un rango de $n$ vector paquete en la $X$ se obtienen a partir de componer de los asociados a la clasificación de mapa en $[X, BU(n)]$ con mapas de la $BU(n) \to B^{2i} \mathbb{Z}$ correspondiente a la cohomology de $BU(n)$, lo que da elementos en el cohomology grupos $H^{2i}(X,\mathbb{Z})$.

Pero en lugar de escribir los mapas como $BU(n) \to B^{2i-1} U(1)$; y esto corresponde a la asociación de un $(2i-1)$-círculo lote a un vector paquete. Para $i = 1$, por ejemplo, esto se corresponde con el envío de un vector paquete a su superior potencia exterior, el determinante de la línea de paquete.

¿Cuál es entonces la interpretación de la mayor de las clases de Chern en esta configuración geométrica? Estos deben asociar al rango original $n$ vector paquete de algún círculo de $(2i-1)$-paquetes (por ejemplo, director $B^{2i-2}U(1)$ $(2i-1)$-haces), para $1 \leqslant i \leqslant n$.
Este debe ser un espejo de la algebraicas lado con polinomios simétricos; el uso de $e_1 = x_1 + \ldots + x_n$ tenemos la línea bundle $L = L_1 \otimes \ldots \otimes L_n$ (correspondiente a la Chern raíces); para otros primaria simétrica polinomios $e_i$ debemos ser capaces de construir una correspondiente $(2i-1)$-line paquete directamente al darse cuenta de la $i$-ésima clase de Chern. (Tal vez sería más natural en lugar de considerar Schur clases, y espero que la relación de estos $(2i-1)$-line de paquetes con Schur functors está por dilucidar.)
Es ahí, entonces, una obstrucción de la teoría de la imagen, cuando tratando de volver a construir el vector original paquete de estos sucesivos $(2i-1)$-línea de paquetes?

4voto

WebWeasel Puntos 407

La respuesta dependerá de la realización de una $k$-círculo de paquete. En el caso de $i=2$ (segunda clase de Chern) hay resultados asociando a cualquier director $G$-paquete de un paquete de $2$-gerbe. Ver:

Paquete de Gerbes de Chern-Simons y Wess-Zumino-Witten Teorías. Alan L. Carey, Stuart Johnson, Michael K. Murray, Danny Stevenson y Bai Ling Wang. Las comunicaciones en la Física Matemática, 159 (3) (2005), 577-613 de matemáticas.DG/0410013

y las referencias que hay en a Danny Stevenson y Stuart Johnson tesis doctorales y trabajos. Por supuesto que tienen que estar felices de que un $3$-círculo paquete es un $2$-gerbe.

Más generalmente, usted puede encontrar algo útil en:

P. Gajer Geometría de Deligne cohomology, Inventar. De matemáticas. 127 (1997), 155-207.

lo que da una realización del principal $B^k \mathbb{C}^*$ paquetes, que son otra posible forma de realización de la $(k+1)$-círculo de paquetes o, al menos, los objetos matemáticos determinado por una característica de la clase en el grado $H^{k+1}(M, \mathbb{Z})$. Hay un bonito inductivo clasificación de teoría y un simplicial realización de estos espacios.

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