17 votos

Formal De Los Esquemas De Mittag-Leffler

He aquí una pregunta que es similar a la de mi pasado. He estado tratando de aprender acerca de Grothendieck del Teorema de Existencia, pero parece que no hay muchos lugares que hablan de los planes oficiales, y menos aún que vienen con ejemplos.

Supongamos $(\mathfrak{X}, \mathcal{O}_\mathfrak{X})$ es un Noetherian esquema formal y deje $\mathcal{I}$ a ser un ideal de definición. Entonces tenemos un sistema de esquemas de $X_n=(|\mathfrak{X}|, \mathcal{O}_\mathfrak{X}/\mathcal{I}^n)$.

Si la inversa de sistema de $\Gamma(X_n, \mathcal{O}_{X_n})\to \Gamma(X_{n-1}, \mathcal{O}_{X_{n-1}})$ satisface la Mittag-Leffler condición (las imágenes que finalmente se estabilice), entonces tenemos un poco particularmente agradable propiedades tales como $Pic(\mathfrak{X})=\lim Pic(X_n)$.

De manera más general, no tenemos que estar preocupados acerca de la conversión entre el pensamiento coherente acerca de las poleas en el esquema formal y a pensar en ellos como sistemas compatibles coherente de las poleas en los esquemas.

Mi pregunta es, hay un conocido ejemplo de un esquema formal para que ese sistema global de secciones no satisface la Mittag-Leffler condición? Una cosa a tener en cuenta es que no puede ser afín (los mapas son todos surjective) o proyectivo finito (dimensionalidad de las fuerzas de las imágenes para estabilizar).

Un subquestion es si existe o no un general de la razón para creer que un ejemplo de que existe. Gente con la que hablo suelen decir cosas a lo largo de las líneas de: definitivamente, usted tiene que tener cuidado aquí, ya que en principio esto podría suceder. Pero nadie parece haber pensado alguna vez un ejemplo.

Por último (todavía...creo), hay un ejemplo conocido, donde usted no puede pensar coherente (o tal vez sólo invertible) poleas como sistemas debido a que los dos no son la misma?

2voto

Parsa Puntos 1526

No tengo suficiente reputación para comentar, así que debe presentar una respuesta en la que realmente no tienen. Hay una clase de variedades que usted debe considerar cuando se busca un contraejemplo: quasiprojective variedades. Es decir, se abre subconjuntos de las variedades que no son afines, e.g una superficie de menos de un punto. También desea que los mapas en cuestión, a no ser surjective, por lo que debería buscar un ideal $\mathcal I$ que satisface $H^1(X, \mathcal I^r / \mathcal I^{r+1}) \neq 0$ todos los $r>>0$. Esto suena como que es más difícil de hacer, pero no imposible si sabes ejemplos.

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