2 votos

Exactitud de la inclusión de gavillas cuasi-coherentes en las gavillas de módulos en un sitio grande

Dejemos que $X$ ser un esquema y considerar cualquier estructura de sitio grande en $X$ . ¿Sigue siendo cierto que la inclusión $Qcoh(X) \hookrightarrow Mod(X)$ ¿es exacto? En particular, ¿es exacta la izquierda? Para la topología habitual de Zariski esto es claramente cierto. Pero dudo cuando los morfismos en un sitio no tienen condiciones (específicamente no hay planitud) si esto sigue siendo cierto. No estoy siendo capaz de dar argumentos precisos para afirmar esto. ¿Puede alguien ayudarme?

Gracias de antemano.

3voto

MatteS Puntos 133

Probablemente esté pensando en el siguiente tipo de fenómeno:

Ejemplo. Dejemos que $X = \mathbb A_k^1$ y considerar el sitio anillado $((\operatorname{\underline{Sch}}/X)_{\text{fppf}},\mathcal O)$ , donde $\mathcal O$ es la gavilla cuyo valor en $T \in \operatorname{\underline{Sch}}/X$ es $\Gamma(T,\mathcal O_T)$ . El functor de retroceso $$\operatorname{\underline{Qcoh}}(\mathcal O_X) \to \operatorname{\underline{Qcoh}}((\operatorname{\underline{Sch}}/X)_{\text{fppf}},\mathcal O)$$ es una equivalencia de categorías por un argumento de descenso estándar [ Etiqueta 03DX ]. Por lo tanto, como ya indicó por su notación, $\operatorname{\underline{Qcoh}}(X)$ no depende del sitio en este caso.

Sin embargo, si tomamos una inyección de cuasi-coherente $\mathcal O_X$ -módulos como $\mathcal O_X \stackrel{x}\to \mathcal O_X$ y retroceder a lo largo del morfismo $\operatorname{Spec} k = \{0\} \to \mathbb A^1_k$ obtenemos el mapa $k \stackrel 0 \to k$ . Esto no es inyectivo.

Dado que la inyectividad de un morfismo de eslabones $\mathscr F \to \mathscr G$ en un sitio anillado $\mathscr C$ significa que para cada $U \in \mathscr C$ el mapa $\mathscr F(U) \to \mathscr G(U)$ es inyectiva, vemos que el mapa $\mathcal O_X \stackrel x \to \mathcal O_X$ no es inyectiva como mapa de $\mathcal O$ -módulos en $(\operatorname{\underline{Sch}}/X)_{\text{fppf}}$ .

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