En cierto sentido, no hay ninguna forma canónica para extraer estos espacios vectoriales. Algebraicamente esto es debido a que proyectiva objetos suelen tener automorfismos. Geométricamente, porque estos espacios vectoriales son los tallos de los sistemas locales en un colector con ninguna base natural punto. Pero el colector y el sistema local son canónicos.
Cada uno de los 2^n coordinar los subespacios de C^n tiene un conormal paquete en el C^{2n}. Esto le da una disposición de 2^n de Lagrange subespacios de la simpléctica espacio vectorial C^2n, que están en posición general (tan general como sea posible para subespacios de Lagrange). La parte suave de este acuerdo, los puntos que se encuentran en exactamente uno de estos Lagrangians, es un discontinuo de la unión de 2^n copias de (C-0)^n. La 2^n de espacios vectoriales en el hipercubo son los tallos de los sistemas locales de estos.
No estoy seguro de lo que Verdier la especialización es, pero yo apuesto a que no es exactamente el de la construcción de estos sistemas locales. En general, si Y es un buen subvariedad de X, entonces es posible extraer de un perverso gavilla de un sistema local en un subconjunto de la conormal variedad a Y en X con la siguiente receta:
Tomar cercanos a los ciclos de deformación-a-la-normal-paquete de la familia. Esta familia tiene un C^*-acción con el fin de tomar cerca de ciclos es más canónica de lo habitual, el monodromy acción (var componer can) es trivial.
Tomar la transformada de Fourier. (Como usted sabe, todavía estoy muy confundido acerca de esto, pero creo que esta tiene que ser la versión topológica, o de Fourier-Sato transformar. En particular, incluso con el C^*-acción sobre la familia, no creo que la gavilla que se obtiene en el final de la 1. es C^*-equivariant.)
El resultado es un perverso gavilla en el conormal paquete a Y. Esta gavilla es localmente constante en un subconjunto abierto.
En un tiempo S. Gelfand, MacPherson, y Vilonen había un proyecto para entender la natural mapas entre las fibras de estos sistemas locales en los diferentes estratos, es decir, los análogos de la lata y var. Desde una cierta perspectiva, el trabajo de Nadler y Zaslow es un (no muy concreto) solución a este problema.
En general, si \psi_f \psi_g F = \psi_g \psi_f F depende de la voladura comportamiento de F con respecto a la map (f,g) a C^2. Para un contraejemplo, considerar F = constante de gavilla en C^2, f = x, g = xy. Pero si F es edificable con respecto a una estratificación que satisface Thom condición a_{f,g}, es decir, la estratificación es sin imágenes ampliadas/sans eclatement con respecto a (f,g), entonces usted está en buena forma. (Aunque incluso aquí no hay canónica de isomorfismo entre los dos. Se comportan como los tallos de un sistema local en un subconjunto de la base de C^2.)
Por poleas sin imágenes ampliadas no estoy seguro acerca de las referencias, pero trate de Sabbah "Morphismes analytiques estratifica a los sans eclatement et ciclos evanescents," o de la etale punto de vista Illusie reciente de la nota: http://www.math.u-psud.fr/~illusie/vanishing1b.pdf
