Gromov--Witten invariantes están diseñados para contar el número de curvas en un espacio en la deformación de una invariante. Dado que el número de curvas puede cambiar bajo deformaciones, la Gromov--Witten invariantes no tienen una interpretación directa en términos de los números reales de las curvas, incluso teniendo automorfismos en cuenta.
Aquí es un ejemplo de cómo un número negativo podría llegar, aunque estrictamente hablando no es un Gromov--Witten invariante. Sea M el espacio de moduli de mapas de P^1 el total de espacio de O(-4) en la P^1. Llamar a este espacio X. Nota que me dijo mapas de P^1, no un género cero de la curva, por lo que el origen de la curva es rígido. Es por eso que este no es Gromov--Witten teoría. Cualquier mapa de factores a través de la sección cero (ya que O(-4) no tiene un valor distinto de cero secciones), así que este espacio es el mismo que el espacio de los mapas de P^1 para sí mismo. Sólo quiero ver en el título de uno de los mapas, por lo que el espacio de moduli es de 3 dimensiones.
También podríamos calcular la dimensión de uso de la deformación de la teoría: las deformaciones de un mapa f son clasificados por $H^0(f^\ast T)$ donde T es la tangente del paquete de la diana. El objetivo en este caso es O(-4), no sólo P^1, y la recta tangente paquete restringe a O(2) + O(-4) en la sección cero. Por lo tanto $H^0(f^\ast T)$ es de hecho en 3 dimensiones, tal y como esperábamos. Sin embargo, la característica de Euler de $f^\ast T$ no es 3 y el 0, lo que significa que la "espera de la dimensión cero.
El significado de espera dimensión es bastante vago. A grandes rasgos, es la dimensión del espacio de moduli de un "genérico" elección de la deformación. El problema es que una deformación de la realidad no podría existir. Sin embargo, todavía podemos pretender que un genérico de deformación no existe y, si la dimensión es cero, calcular el número de curvas que "debe" tener.
Lo que hace esto posible es la obstrucción de paquete E en M. Cualquier deformación de X da lugar a una sección de la E y la desaparición de locus de esta sección es la colección de curvas que puede ser deformada de primer orden, junto con la X. a pesar de que un genérico de deformación podría no existir, la obstrucción paquete todavía existen, y podemos dar sentido a la fuga, el locus de un genérico sección tomando la parte superior de Chern de la clase.
En nuestra situación, el (la fibra de la) obstrucción paquete es $H^1(f^\ast T)$. Desde O(2) no contribuye a H^1, la obstrucción paquete es $R^1 p_\ast f^\ast O_{P^1}(-4) = R^1 p_\ast O_{P^3 \times P^1}(-4, -4)$ donde $p : P^3 \times P^1 \rightarrow P^3$ es la proyección. Por la proyección de la fórmula, esto es $O(-4)^{\oplus 3}$ y la parte superior de Chern de clase es -64. Este es el "Gromov--Witten invariantes" de los mapas de P^1 a $O_{P^1}(-4)$.
Por desgracia, yo no tengo nada que decir acerca de lo que este -64 significa...