2 votos

Conexión: localmente libre - localmente proyectiva

Dada una variedad proyectiva lisa $X$ sobre algún campo algebraicamente cerrado $k$ y una gavilla localmente libre $R$ de $O_X$ -por ejemplo, álgebras centrales simples u órdenes.

Si $M$ es una izquierda $R$ -que es localmente libre sobre $O_X$ ¿es cierto que $M$ es localmente proyectivo sobre $R$ ? Por ejemplo $X$ es una curva libre de torsión $O_X$ -sería localmente proyectivo sobre $R$ . ¿O necesitamos más condiciones para $R$ y $M$ para que esto sea cierto?

¿Por qué se puede calcular $Ext_R^1(M,M)$ vía $H^1(\mathcal{H}om_R(M,M))$ sólo en el caso $M$ es localmente proyectivo sobre $R$ ?

4voto

Torsten Ekedahl Puntos 19351

La respuesta a su primera pregunta es un rotundo no. Un ejemplo (entre muchos) es dado por $X=\mathrm{Spec} k$ , $R=k[x]/(x^2)$ y $M=k$ considerado como un $R$ -a través del módulo $k$ -dado por $x\mapsto 0$ .

En cuanto a la segunda pregunta, la razón es que en general hay corrección a esta fórmula procedentes del fracaso de $M$ siendo localmente proyectiva. De hecho hay una larga secuencia exacta $$ 0\rightarrow H^1(X,\mathcal{H}\mathrm{om}_R(M,M))\rightarrow \mathrm{Ext}^1_R(M,M)\rightarrow H^0(X,\mathcal{E}\mathrm{xt}^1_R(M,M)), $$ donde el $\mathcal{E}\mathrm{xt}^i_R(M,M)$ son las gavillas de clases Ext (sus tallos en $x$ son los $\mathrm{Ext}^i_{R_x}(M_x,M_x)$ ). Por lo tanto, se necesita algo como (posiblemente algo un poco más débil) la desaparición $\mathrm{Ext}^i_{R_x}(M_x,M_x)$ para $i=1$ que a su vez están implícitas (aunque no implican) la $R$ -proyectividad de $M$ . Esta secuencia se obtiene más fácilmente por el mapa de la derecha tomando una secuencia a las clases de isomorfismo de extensiones locales y el segundo mapa se obtiene retorciendo la secuencia trivial por un torsor sobre su grupo de automorfismo. la exactitud en el medio proviene del hecho de que cualquier secuencia localmente trivial proviene de tal torsión.

Anexo : Corregida una errata (stacks) y cambiada la secuencia exacta para que sea correcta (una forma de obtenerla es de la secuencia espectral local a la global y yo, como desgraciadamente hago demasiado a menudo, le había dado la vuelta 45 grados).

2voto

Owen Puntos 1984

Sin embargo, es cierto para gavillas de álgebras localmente libres que son álgebras centrales simples en cada punto. Se conocen como gavillas de álgebras de Azumaya; las menciono porque se han mencionado en la pregunta. No tengo la referencia, pero la demostración no es difícil.

1voto

TCampbell Puntos 1624

Sea $R$ sea un álgebra de Azumaya y $M$ un $R$ -que es localmente libre sobre $O_X$ . Tenga en cuenta que $R$ es localmente proyectiva $R^{opp}\otimes_{O_X} R$ -por lo que es un sumando directo de $R^{opp}\otimes_{O_X} R$ . De ello se deduce que $M = M \otimes_R R$ es un sumando directo de $M\otimes_R (R^{opp}\otimes_{O_X} R) = M\otimes_{O_X} R$ que es localmente libre $R$ -módulo. Siendo un sumando directo de un localmente libre $R$ -ciertamente es localmente proyectivo. Supongo que este argumento se puede encontrar en el libro de Miln sobre cohomología etale.

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