4 votos

Cuando es una de morfismos de SS-groupoids un monomorphism?

De acuerdo a la "avenida de los Campos algébriques" por Laumon y Moret-Bailley, y SS-groupoid es una categoría X y un functor a:X(Aff/S) donde (Aff/S) es de la categoría de los afín a los esquemas de más de un esquema fijo S. Además, satisface las propiedades que hacen de X un fibrado categoría de más de (Aff/S) donde cada fibra categoría XU es un groupoid.

A continuación, los autores afirman que una de morfismos F:XY es un monomorphism si cada restricción a la fibra categorías FU:XUYU es totalmente fiel. Mi pregunta es la siguiente: ¿por qué no es suficiente con que cada una de las FU ser fiel? ¿Por qué es plenitud de ser necesario?

3voto

Judah Himango Puntos 27365

La correspondiente noción de "monomorphism" entre groupoids es totalmente fiel involucración debido a la existencia de isomorphisms entre los objetos es un tipo de quotienting (que es más sutil, a continuación, declarando dos objetos son iguales). Si usted tiene un mapa de groupoids que sólo es fiel, entonces no podría ser más quotienting en el objetivo, que era el que no se hace en la fuente.

Por ejemplo, hay un mapa de la pila de (que asigna ningún esquema el punto) a la pila de BG (que asigna principal G-paquetes) que se da en el trivial G-bundle. A continuación, este mapa es un fiel functor BG, pero está muy lejos de ser una monomorphism, porque hay un montón de automorfismos en BG que no vienen de la . De hecho, BG es la "stacky" cociente de modulo de la acción de la G.

Un poco más de motivación: dado un mapa de groupoids (o S-groupoids) CD, CD es totalmente fiel si y sólo si CC×DC (que es el homotopy o 2-fibrado producto) es una equivalencia. Esto coincide con la "clásica" en la observación de que una mapa de XY es una categoría si y sólo si XX×YX es un isomorfismo, pero en 2 categoría tierra.

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