23 votos

¿Qué tiene de malo las poleas inestables?

Para la construcción de un (grueso o fino) espacio de moduli que está separado, por lo general se desecha algunos de la clase del objeto en cuestión. Para los módulos de las poleas a la gente hablar (semi-)estabilidad. Una coherente gavilla $E$ en un esquema de $X$ es (semi-)estable si es pura y para todos los subsheaf $F$ tenemos $p(F) <(\leq)\text{ } p(E)$ donde $p$ es la reducción de Hilbert polinomio con respecto a algunas de polarización fija.

Mi pregunta es, ¿cuál es el $bad$ propiedad de inestabilidad de las poleas, de modo que uno tiene que tirar a la basura a obtener un $good$ espacio de moduli? O es esta definición meramente para hacer GIT trabajo?

19voto

hheimbuerger Puntos 3156

Estable poleas son simples, es decir, $\textrm{End}E\simeq \mathbb{C}$. Una cosa que queremos evitar es que el salto de la automorphism grupo en una familia.

Un ejemplo clásico es el de considerar un hyperelliptic curva de $X$, e $[L]\in\textrm{Pic}^{g-1}X$. Si $\pi:X\to \mathbb{P}^1$ es el $g^1_2$, luego Grothendieck-Riemann-Roch además de Riemann-Hurwitz decirle que $\pi_\ast L\simeq \mathcal{O}(a-1)\oplus \mathcal{O}(-a-1)$, donde $a=h^0(L)$. Así que usted puede tomar una toma a la familia de la línea de paquetes en la unidad de disco $\{L_t\}_{t\in\Delta}$, con $h^0(L_0)=1$, $h^0(L_t)=0$ para $t\in\mathbb{C}^\ast$. A continuación, el elemento genérico será semistable, $\mathcal{O}_{\mathbb{P}^1}(-1)^{\oplus 2}$, con automorphism grupo $GL_2$, y por encima de cero ha $\mathcal{O}\oplus \mathcal{O}(-2)$, inestable, con 5 dimensiones automorphism grupo.

Y, por supuesto, usted necesita acotamiento, ver Don del comentario.

ANEXO

Aquí es un ejemplo de cómo permitiendo inestable paquetes se mete a la singularidad de los límites de (y, por tanto, separatedness). Deje $X$ ser una curva de género $g\geq 2$, y deje $E$ ser un semi-estable de rango dos bundle con $\det E\simeq \mathcal{O}_X$. Vamos $[L]\in \textrm{Pic}^d X$, $d\geq 2g$. A continuación, $E\otimes L$ es semi-estable de determinante $L^2$. Es generado a nivel mundial y surjects en $L^2$, y por lo $E$ cabe en una extensión $$ 0\longrightarrow L^{-1}\longrightarrow E\longrightarrow L\longrightarrow 0. $$ Ahora, tome un DVR $R$, $\textrm{Spec }R=\{p,0\}$, donde $p$ es el punto genérico y $0$ el punto cerrado, y considerar la posibilidad de una familia de paquetes de $\mathcal{F}$ más de $\textrm{Spec }R$, por lo que $\mathcal{F}_0\simeq E$. Uno puede mostrar que si $\mathcal{F}'$ es de la escuela primaria, la transformación de $\mathcal{F}$ a lo largo de $L$, luego $\mathcal{F}_p'\simeq \mathcal{F}_p $, pero $\mathcal{F}'_0$ cabe en una extensión $$ 0\longrightarrow L\longrightarrow \mathcal{F}'_0\longrightarrow L^{-1}\longrightarrow 0. $$ Sin embargo, por la elección de $L$, $H^1(X,L^2)=0$, por lo $\mathcal{F}'_0\simeq L\oplus L^{-1}$, un inestable paquete.

10voto

Heather Puntos 11

Hacer que GIT funcione no es una buena razón. Hay construcciones de espacios de módulos que no usan GIT (principalmente, porque en ciertas situaciones GIT no funciona). La limitación, como Donu señala, es una mejor razón. En otras palabras, no es que inestable (en sí mismo) sea "malo", sino que (semi) estable es "bueno". Sin embargo, en otras palabras, una propiedad "mala" de las poleas inestables es que hay demasiadas.

4voto

Jess Chadwick Puntos 1053

La explicación estándar es que si queremos trabajar en el nivel de la gruesa espacio de moduli y no en el nivel de la pila en sí mismo, que necesita para dominar la automorphism grupos de objetos (como Pedro señaló) y tener algún control sobre los mapas entre los objetos en sus módulos. Semi-estable objetos, más Difícil-Narasimhan y Jordania-Titular filtraciones son exactamente las nociones de suministro de la rigidez de los morfismos entre los objetos.

De este modo parece que la necesidad de imponer ciertas condiciones de estabilidad se extiende más allá de los módulos de poleas, por ejemplo, (sólo hay otro caso que conozco) para tener un buen espacio de moduli se considera (semi)-estable representaciones de aljabas.

A. Rudakov axiomatises la situación en el caso de un arbitrario abelian categoría, véase su artículo "la Estabilidad de un Abelian Categoría".

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