Categoría de geometría algebraica que satisface las condiciones de elevación
En geometría algebraica , un preapilamiento F sobre una categoría C equipada con alguna topología de Grothendieck es una categoría junto con un funtor p : F → C que satisface una cierta condición de sustentación y tal que (cuando las fibras son grupoides) los objetos localmente isomorfos son isomorfos. Una pila es un preapilamiento con descensos efectivos, lo que significa que los objetos locales pueden unirse para convertirse en un objeto global.
Los preapilamientos que aparecen en la naturaleza son típicamente pilas, pero algunos preapilamientos construidos de manera ingenua (por ejemplo, el esquema de grupoide o el preapilamiento de fibrados vectoriales proyectivizados ) pueden no ser pilas. Los preapilamientos pueden estudiarse por sí solos o pasarse a pilas.
Dado que una pila es un preapilamiento, todos los resultados de los preapilamientos también son válidos para las pilas. A lo largo del artículo, trabajamos con una categoría base fija C ; por ejemplo, C puede ser la categoría de todos los esquemas sobre algún esquema fijo equipado con alguna topología de Grothendieck .
Definición informal
Sea F una categoría y supongamos que está fibrada sobre C a través del funtor ; esto significa que se pueden construir pullbacks a lo largo de morfismos en C , hasta isomorfismos canónicos.
Dado un objeto U en C y objetos x , y en , para cada morfismo en C , después de fijar los pullbacks , dejamos [1] [2]
sea el conjunto de todos los morfismos de a ; aquí, el corchete significa que identificamos canónicamente diferentes conjuntos Hom resultantes de diferentes elecciones de pullbacks. Para cada uno sobre U , defina la función de restricción de f a g :
sea la composición
donde se utiliza un isomorfismo canónico para obtener el = a la derecha. Entonces es un prehaz en la categoría de corte , la categoría de todos los morfismos en C con destino U .
Por definición, F es un preapilado si, para cada par x , y , es un haz de conjuntos con respecto a la topología de Grothendieck inducida en .
Esta definición se puede formular de manera equivalente de la siguiente manera. [3] Primero, para cada familia de cobertura , "definimos" la categoría como una categoría donde: escritura , etc.,
- Un objeto es un conjunto de pares que consisten en objetos y isomorfismos que satisfacen la condición de cociclo:
- Un morfismo consiste en tal que
Un objeto de esta categoría se denomina dato de descendencia. Esta categoría no está bien definida ; el problema es que los pullbacks se determinan solo hasta isomorfismos canónicos; de manera similar, los productos de fibra se definen solo hasta isomorfismos canónicos, a pesar de la práctica de notación en sentido contrario. En la práctica, uno simplemente hace algunas identificaciones canónicas de pullbacks, sus composiciones, productos de fibra, etc.; hasta tales identificaciones, la categoría anterior está bien definida (en otras palabras, está definida hasta una equivalencia canónica de categorías).
Existe un funtor obvio que envía un objeto al dato de descendencia que define. Se puede decir entonces: F es un preapilamiento si y solo si, para cada familia de cobertura , el funtor es completamente fiel. Una afirmación como esta es independiente de las elecciones de identificaciones canónicas mencionadas anteriormente.
La imagen esencial de consiste precisamente en datos de descendencia efectiva (justamente la definición de "efectiva"). Por lo tanto, F es una pila si y solo si, para cada familia de cobertura , es una equivalencia de categorías.
Estas reformulaciones de las definiciones de preapilamientos y pilas hacen que los significados intuitivos de esos conceptos sean muy explícitos: (1) "categoría fibrosa" significa que se puede construir un pullback (2) "preapilamiento en grupoides" significa además "localmente isomorfo" e implica "isomorfo" (3) "apilamiento en grupoides" significa, además de las propiedades anteriores, que se puede construir un objeto global a partir de datos locales sujetos a condiciones de cociclo. Todos estos elementos dan lugar a isomorfismos canónicos .
Morfismos
Definiciones
Dados los preapilamientos sobre la categoría base fija C , un morfismo es un funtor tal que (1) y (2) asigna morfismos cartesianos a morfismos cartesianos. Nótese que (2) es automático si G está fibrilado en grupoides; por ejemplo, una pila algebraica (ya que todos los morfismos son cartesianos entonces).
Si es la pila asociada a un esquema S en la categoría base C , entonces la fibra es, por construcción, el conjunto de todos los morfismos desde U hasta S en C . Análogamente, dado un esquema U en C visto como una pila (es decir, ) y una categoría F fibrada en grupoides sobre C , el lema de 2-Yoneda dice: hay una equivalencia natural de categorías [4]
donde se refiere a la categoría de functor relativo ; los objetos son los funtores de U a F sobre C y los morfismos son las transformaciones naturales que preservan la base. [5]
Producto de fibra
Sean morfismos de preapilados. Entonces, por definición, [6] el producto de fibra es la categoría donde
- un objeto es una tripleta formada por un objeto x en F , un objeto y en G , ambos sobre el mismo objeto en C , y un isomorfismo en G sobre el morfismo identidad en C , y
- un morfismo consiste en en F , en G , ambos sobre el mismo morfismo en C , tales que .
Viene con los funtores olvidadizos p , q de F a G.
Este producto de fibras se comporta como un producto de fibras habitual pero con isomorfismos naturales. El significado de esto es el siguiente. En primer lugar, el cuadrado obvio no conmuta; en cambio, para cada objeto en :
- .
Es decir, existe una transformación natural invertible (= isomorfismo natural)
- .
En segundo lugar, satisface la propiedad universal estricta: dado un preapilado H , morfismos , , un isomorfismo natural , existe un junto con isomorfismos naturales y tal que es . En general, un producto de fibras de F y G sobre B es un preapilado canónicamente isomorfo al anterior.
Cuando B es la categoría base C (el preapilado sobre sí mismo), se omite B y simplemente se escribe . Nótese que, en este caso, en los objetos hay todas las identidades.
Ejemplo : Para cada preapilado , existe el morfismo diagonal dado por .
Ejemplo : Dado , . [7]
Ejemplo : Dado y el morfismo diagonal ,
- ;
Este isomorfismo se construye simplemente a mano.
Morfismos representables
Se dice que un morfismo de preapilados es fuertemente representable si, para cada morfismo de un esquema S en C visto como un preapilado, el producto de fibra de los preapilados es un esquema en C.
En particular, la definición se aplica al mapa de estructura (la categoría base C es un preapilado sobre sí mismo a través de la identidad). Entonces p es fuertemente representable si y solo si es un esquema en C.
La definición se aplica también al morfismo diagonal . Si es fuertemente representable, entonces todo morfismo de un esquema U es fuertemente representable ya que es fuertemente representable para cualquier T → X .
Si es un morfismo fuertemente representable, para cualquier , S un esquema visto como un preapilado, la proyección es un morfismo de esquemas ; esto permite transferir muchas nociones de propiedades sobre morfismos de esquemas al contexto de pila. Es decir, sea P una propiedad sobre morfismos en la categoría base C que es estable bajo cambios de base y que es local en la topología de C (por ejemplo, topología étale o topología suave ). Entonces se dice que un morfismo fuertemente representable de preapilados tiene la propiedad P si, para cada morfismo , T un esquema visto como un preapilado, la proyección inducida tiene la propiedad P .
Ejemplo: el preapilamiento dado por una acción de un grupo algebraico
Sea G un grupo algebraico que actúa desde la derecha sobre un esquema X de tipo finito sobre un cuerpo k . Entonces la acción de grupo de G sobre X determina un preapilamiento (pero no una pila) sobre la categoría C de k -esquemas, como sigue. Sea F la categoría donde
- un objeto es un par formado por un esquema U en C y x en el conjunto ,
- un morfismo consiste en un en C y un elemento tal que xg = y ' donde escribimos .
A través del funtor olvidadizo de C , esta categoría F se fibrila en grupoides y se conoce como grupoide de acción o grupoide de transformación. También se puede llamar el preapilado cociente de X por G y denotarse como , ya que, como resulta, la apilación de este es la pila cociente . La construcción es un caso especial de formación de #El preapilado de clases de equivalencia; en particular, F es un preapilado.
Cuando X es un punto y G es afín, el cociente es el preapilado clasificador de G y su apilación es la pila clasificadora de G.
Si consideramos a X como un preapilamiento (de hecho, una pila), existe el mapa canónico obvio
sobre C ; explícitamente, cada objeto en el preapilado X va a sí mismo, y cada morfismo , que satisface x igual por definición, va al elemento del grupo identidad de G ( U ).
Entonces el mapa canónico anterior encaja en un coecualizador 2 (un cociente 2):
- ,
donde t : ( x , g ) → xg es la acción de grupo dada y s una proyección. No es 1-coecualizador ya que, en lugar de la igualdad , se ha dado por
El pre-apilamiento de clases de equivalencia
Sea X un esquema en la categoría base C . Por definición, una pre-relación de equivalencia es un morfismo en C tal que, para cada esquema T en C , la función tiene la imagen que es una relación de equivalencia . El prefijo "pre-" se debe a que no requerimos que sea una función inyectiva .
Ejemplo : Sea un grupo algebraico G el que actúa sobre un esquema X de tipo finito sobre un cuerpo k . Tómese y luego para cualquier esquema T sobre k sea
Por el lema de Yoneda , esto determina un morfismo f , que es claramente una prerelación de equivalencia.
Para cada pre-relación de equivalencia dada (+ algunos datos más), hay un pre-apilado asociado F definido de la siguiente manera. [8] En primer lugar, F es una categoría donde: con las notaciones ,
- Un objeto es un par formado por un esquema T y un morfismo x : T → X en C
- Un morfismo consiste en un y tal que y
- la composición de seguida de consta de y se obtiene de la siguiente manera: ya que , por la propiedad universal, existe una función inducida
- .
Luego sea seguido por la multiplicación - El morfismo identidad de un objeto consiste en la función identidad T → T y δ que es seguida por ; este último se obtiene factorizando el morfismo diagonal a través de f , posible por reflexividad.
Mediante un funtor olvidadizo, la categoría F se fibrila en grupoides. Finalmente, comprobamos que F es un preapilado; [9] para ello, observe: para los objetos x , y en F ( U ) y un objeto en ,
Ahora bien, esto significa que es el producto de fibras de y . Como el producto de fibras de haces es un haz, se deduce que es un haz.
El preapilado F anterior se puede escribir como y su apilación se escribe como .
Nótese que, cuando X se considera como una pila, tanto X como tienen el mismo conjunto de objetos. En el nivel de morfismos, mientras que X solo tiene morfismos de identidad como morfismos, la prepilación tiene morfismos adicionales especificados por la prerrelación de equivalencia f .
Una importancia de esta construcción es que proporciona un atlas para un espacio algebraico: cada espacio algebraico tiene la forma para algunos esquemas U , R y una prerelación de equivalencia étale tal que, para cada T , es una función inyectiva ("étale" significa que las dos aplicaciones posibles son étale).
Partiendo de una pila Deligne–Mumford , se puede encontrar una pre-relación de equivalencia para algunos esquemas R , U de modo que sea la apilación del preapilado asociado a ella: . [10] Esto se hace de la siguiente manera. Por definición, hay un morfismo sobreyectivo étale de algún esquema U. Dado que la diagonal es fuertemente representable, el producto de fibra es un esquema (es decir, representado por un esquema) y entonces sea
sean las proyecciones primera y segunda. Tomando , vemos que es una prerrelación de equivalencia. Terminamos, aproximadamente, de la siguiente manera.
- Extender a (nada cambia en el nivel de objeto; solo necesitamos explicar cómo enviar ).
- Por la propiedad universal de apilamiento, los factores a través de .
- Compruebe que el último mapa es un isomorfismo.
Pilas asociadas a preapilamientos
Existe una forma de asociar una pila a un preapilamiento determinado. Es similar a la agrupación de un preapilamiento y se denomina apilación . La idea de la construcción es bastante simple: dado un preapilamiento , dejamos que HF sea la categoría donde un objeto es un dato de descendencia y un morfismo es el de los datos de descendencia. (Los detalles se omiten por ahora)
Resulta que es una pila y viene con un morfismo natural tal que F es una pila si y solo si θ es un isomorfismo.
En algunos casos especiales, la apilación puede describirse en términos de torsores para esquemas de grupos afines o generalizaciones. De hecho, según este punto de vista, una pila en grupoides no es más que una categoría de torsores, y un preapilado una categoría de torsores triviales, que son modelos locales de torsores.
Notas
- ^ Vistoli 2005, § 3.7.
- ^ Behrend y col. 2006, cap. 4., § 1.
- ^ Vistoli 2005, Definición 4.6.
- ^ Vistoli 2005, § 3.6.2.
- ^ Vistoli 2005, Definición 3.33.
- ^ Behrend y col. 2006, Definición 2.25.
- ^ Behrend y col. 2006, Ejemplo 2.29.
- ^ Behrend y col. 2006, Definición 3.13.
- ^ El argumento aquí es el Lema 25.6. de las notas de clase de M. Olsson sobre pilas.
- ^ Behrend et al. 2006, Proposición 5.20. y Behrend et al. 2006, Teorema 4.35. Nota editorial: la referencia utiliza el lenguaje de los esquemas de grupoides, pero el esquema de grupoides que utilizan es el mismo que una prerelación de equivalencia utilizada aquí; compare la Proposición 3.6. y las verificaciones a continuación.
Referencias
- Behrend, Kai; Conrad, Brian; Edidin, Dan; Fulton, William; Fantechi, Barbara; Göttsche, Lothar; Kresch, Andrew (2006), Pilas algebraicas, archivado desde el original el 2008-05-05 , consultado el 2017-06-13
- Vistoli, Angelo (2005), "Topologías de Grothendieck, categorías fibrosas y teoría de la descendencia", Geometría algebraica fundamental , Math. Surveys Monogr., vol. 123, Providence, RI: Amer. Math. Soc., págs. 1–104, arXiv : math/0412512 , Bibcode :2004math.....12512V, MR 2223406
Enlaces externos
- Dai Tamaki (7 de agosto de 2019). “Prestacks y categorías con fibra”.