Funtores de imagen para gavillas

En matemáticas , especialmente en la teoría de haces , un dominio aplicado en áreas como la topología , la lógica y la geometría algebraica , existen cuatro functores de imágenes para haces que van juntos en varios sentidos.

Dado un mapeo continuo 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"; consulte también el mapa de shriek .

La imagen inversa excepcional generalmente se define únicamente en el nivel de categorías derivadas . Se aplican consideraciones similares a las gavillas étale en los esquemas .

Adjunto

Los functores son adjuntos entre sí como se muestra a la derecha, donde, como de costumbre, significa que F es adjunto izquierdo a G (equivalentemente G adjunto derecho a F ), es decir ${\displaystyle F\leftrightarrows G}$

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

para dos objetos cualesquiera A , B en las dos categorías está junto a F y G.

Por ejemplo, f ^∗ es el adjunto izquierdo de f _* . Según el razonamiento estándar con relaciones de adjunción, existen morfismos de unidad natural y de unidad y para en Y y en X , respectivamente. Sin embargo, casi nunca se trata de isomorfismos; consulte 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}}}$

Dualidad más verdier

La dualidad de Verdier proporciona otro vínculo entre ellos: moralmente hablando, intercambia "∗" y "!", es decir, en la sinopsis anterior intercambia functores a lo largo de las diagonales. Por ejemplo, la imagen directa es dual a la imagen directa con soporte compacto. Este fenómeno es estudiado y utilizado en la teoría de las gavillas perversas .

Cambio de base

Otra propiedad útil de los functores de imagen es el cambio de base . Dados 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 ^! y yo _! = i _∗ y para cualquier haz F en X , se obtienen secuencias exactas

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

Sus lecturas duales de Verdier

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

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

Las relaciones de adjunción leídas en este caso

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

y

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

Ver 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, señor  0842190trata el entorno topológico
• 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 étale sobre esquemas. Ver 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.