Un esquema es separado si la diagonal de inclusión $X \to X \times X$ es un cerrado de inmersión. Yo qué sé si es una buena generalización de "separado" para algebraicas pilas?
Mi habitual de la pila de referencia, Anton Gerashchenko la pila de notas, no parece ofrecer una respuesta.
En un anterior MO pregunta varias nociones. La más parecida es cuasi-separados donde se requiere la diagonal a ser cuasi-compacto. Usted puede comprobar la wikipedia para algunos relevantes de la geometría algebraica de la terminología. Cómo se compara esto con separatedness?
El principal obstáculo que puedo ver en la definición separada de pilas es que la propiedad de un mapa de esquemas $X \to Y$ ser separado no parecen ser local en el destino. Desde que los mapas entre cuñados están separados, parece que cada mapa de los esquemas es localmente separados. Esto significa que no debemos esperar que la habitual truco de sustitución algebraica de la pila de un plan que cubre a funcionar muy bien.
