Funciones de imagen para haces

En matemáticas , especialmente en la teoría de haces (un dominio que se aplica en áreas como la topología , la lógica y la geometría algebraica ), hay cuatro funtores de imagen para haces que pertenecen juntos en varios sentidos.

Dada una aplicación continua f : X → Y de espacios topológicos y la categoría Sh(–) de haces de grupos abelianos en un espacio topológico, los funtores en cuestión son

• imagen directa f _∗  : Sh( X ) → Sh( Y )
• imagen inversa f ^∗  : Sh( Y ) → Sh( X )
• imagen directa con soporte compacto f _!  : Sh( X ) → Sh( Y )
• imagen inversa excepcional Rf ^!  : D (Sh( Y )) → D (Sh( X )).

El signo de exclamación a menudo se pronuncia " shriek " (jerga para signo de exclamación), y los mapas se llaman " f shriek" o " f lower shriek" y " f upper shriek" (véase también mapa de shriek ) .

La imagen inversa excepcional se define, en general, sólo a nivel de categorías derivadas . Consideraciones similares se aplican a los haces de estrellas en los esquemas .

Adyacencia

Los funtores son adjuntos entre sí como se muestra a la derecha, donde, como es habitual, significa que F es adjunto por la izquierda a G (equivalentemente, G es adjunto por la derecha a F ), es decir ${\displaystyle F\leftrightarrows G}$

Hom ( F ( A ), B ) ≅ Hom( A , G ( B ))

para cualesquiera dos objetos A , B en las dos categorías que son adjuntos por F y G.

Por ejemplo, f ^∗ es el adjunto izquierdo de f _* . Según el razonamiento estándar con relaciones de adyacencia, existen morfismos unitarios y counitarios naturales para y en Y y en X , respectivamente. Sin embargo, casi nunca son isomorfismos (véase el ejemplo de localización a continuación). ${\displaystyle {\mathcal {G}}\rightarrow f_{*}f^{*}{\mathcal {G}}}$ ${\displaystyle f^{*}f_{*}{\mathcal {F}}\rightarrow {\mathcal {F}}}$ ${\displaystyle {\mathcal {G}}}$ ${\displaystyle {\mathcal {F}}}$

La dualidad de Verdier

La dualidad de Verdier proporciona otro vínculo entre ellas: moralmente hablando, intercambia "∗" y "!", es decir, en la sinopsis anterior intercambia funtores a lo largo de las diagonales. Por ejemplo, la imagen directa es dual con la imagen directa con soporte compacto. Este fenómeno se estudia y se utiliza en la teoría de haces perversos .

Cambio de base

Otra propiedad útil de los funtores de imagen es el cambio de base . Dados los mapas continuos y , que inducen morfismos y , existe un isomorfismo canónico . ${\displaystyle f:X\rightarrow Z}$ ${\displaystyle g:Y\rightarrow Z}$ ${\displaystyle {\bar {f}}:X\times _{Z}Y\rightarrow Y}$ ${\displaystyle {\bar {g}}:X\times _{Z}Y\rightarrow X}$ ${\displaystyle R{\bar {f}}_{*}R{\bar {g}}^{!}\cong Rf^{!}Rg_{*}}$

Localización

En la situación particular de un subespacio cerrado i : Z ⊂ X y el subconjunto abierto complementario j : U ⊂ X , la situación se simplifica en la medida en que para j ^∗ = j ^! e i _! = i _∗ y para cualquier haz F en X , se obtienen sucesiones exactas

0 → j _! j ^∗ F → F → i _∗ i ^∗ F → 0

Su doble lectura Verdier

yo _∗ Ri ^! F → F → Rj _∗ j ^∗ F → i _∗ Ri ^! F [1],

un triángulo distinguido en la categoría derivada de haces en X .

Las relaciones de adyacencia se leen en este caso

${\displaystyle i^{*}\leftrightarrows i_{*}=i_{!}\leftrightarrows i^{!}}$

y

${\displaystyle j_{!}\leftrightarrows j^{!}=j^{*}\leftrightarrows j_{*}}$.

Véase también

• Seis operaciones

Referencias

• Iversen, Birger (1986), Cohomología de gavillas , Universitext, Berlín, Nueva York: Springer-Verlag , ISBN 978-3-540-16389-3, Sr.  0842190trata la configuración topológica
• Artín, Michael (1972). Alejandro Grothendieck ; Jean-Louis Verdier (eds.). Séminaire de Géométrie Algébrique du Bois Marie - 1963-64 - Théorie des topos et cohomologie étale des schémas - (SGA 4) - vol. 3 . Apuntes de conferencias de matemáticas (en francés). vol. 305. Berlín; Nueva York: Springer-Verlag . págs.vi+640. doi :10.1007/BFb0070714. ISBN 978-3-540-06118-2. trata el caso de las gavillas de estrellas en los esquemas. Véase Exposé XVIII, sección 3.
• Milne, James S. (1980), Étale cohomology , Princeton University Press , ISBN 978-0-691-08238-7es otra referencia para el caso étale.