Haces (herramienta matemática)

En matemáticas, un haz (plural: haces) es una herramienta para rastrear sistemáticamente datos (como conjuntos, grupos abelianos, anillos) adjuntos a los conjuntos abiertos de un espacio topológico y definidos localmente con respecto a ellos. Por ejemplo, para cada conjunto abierto, los datos podrían ser el anillo de funciones continuas definidas en ese conjunto abierto. Tales datos se comportan bien en el sentido de que pueden restringirse a conjuntos abiertos más pequeños, y también los datos asignados a un conjunto abierto son equivalentes a todas las colecciones de datos compatibles asignados a colecciones de conjuntos abiertos más pequeños que cubren el conjunto abierto original (intuitivamente, cada dato es la suma de sus datos constituyentes)​.

El campo de las matemáticas que estudia los haces se denomina teoría de haces.

Los haces se entienden conceptualmente como objetos generales y abstractos. Su definición correcta es más bien técnica. Se definen específicamente como haces de conjuntos o como haces de anillos, por ejemplo, dependiendo del tipo de datos asignados a los conjuntos abiertos.

También hay mapas (o morfismos) de un haz a otro; los haces (de un tipo específico, como los haces de grupos abelianos) con sus morfismos en un espacio topológico fijo forman una categoría. Por otra parte, a cada mapa continuo se asocia tanto un funtor de imagen directa, que lleva los haces y sus morfismos sobre el dominio a haces y morfismos sobre el codominio, como un funtor de imagen inversa que opera en sentido contrario. Estos funtores, y ciertas variantes de ellos, son partes esenciales de la teoría de haces​.

Debido a su naturaleza general y versatilidad, los haces tienen varias aplicaciones en topología y especialmente en geometría algebraica y geometría diferencial. En primer lugar, estructuras geométricas como la de un colector diferenciable o un esquema pueden expresarse en términos de un haza de anillos sobre el espacio. En tales contextos, varias construcciones geométricas como haces vectoriales o divisores se especifican naturalmente en términos de haces. En segundo lugar, los haces proporcionan el marco para una teoría cohomológica muy general, que abarca también las teorías cohomológicas topológicas "usuales" como la cohomología singular. Especialmente en geometría algebraica y en la teoría de múltiples complejos, la cohomología de haces proporciona un poderoso vínculo entre las propiedades topológicas y geométricas de los espacios. Las láminas también constituyen la base de la teoría de los D-módulos, que tienen aplicaciones en la teoría de las ecuaciones diferenciales. Además, las generalizaciones de las láminas a entornos más generales que los espacios topológicos, como la topología de Grothendieck, han proporcionado aplicaciones a la lógica matemática y a la teoría de números.

Definiciones y ejemplos

En muchas ramas matemáticas, varias estructuras definidas sobre un espacio topológico $X$ (por ejemplo, un colector diferenciable) pueden ser naturalmente localizadas o restringidas a subconjuntos abiertos $U\subset X$: ejemplos típicos incluyen funciones continuas de números reales o de números complejos, diferenciable (real o compleja)$n$-veces, funciones reales acotadas, campos vectoriales y secciones de cualquier haz vectorial en el espacio. La capacidad de restringir los datos a subconjuntos abiertos más pequeños da lugar al concepto de pretramas​. Hablando en términos generales, los entrelazados son entonces esos presheaves, donde los datos locales se pueden pegar a los datos globales.

Prehaces

Sea $X$ un espacio topológico. Un prehaz de conjuntos $F$ en $X$ consiste de los siguientes datos:

• Para cada conjunto abierto $U$ de $X$, un conjunto $F(U)$. Este conjunto se denota como $\Gamma (U,F)$. Los elementos de este conjunto se denominan las secciones de $F$ sobre $U$. Las secciones de $F$ sobre $X$ se denominan las secciones globales de $F$.
• Para cada inclusión de conjuntos abiertos $V\subseteq U$, una función $\operatorname {res} _{V,U}\colon F(U)\rightarrow F(V)$. En vista de los numerosos ejemplos provistos más abajo, los morfismos ${\text{res}}_{V,U}$ son denominados morfismos de restricción. Si $s\in F(U)$, entonces su restricción ${\text{res}}_{V,U}(s)$ a menudo es expresada como $s|_{V}$ por analogía con la restricción de funciones.

Los morfismos de restricción deben satisfacer dos propiedades (funcionales) adicionales:

• Para cada conjunto abierto $U$ de $X$, el morfismo restricción $\operatorname {res} _{U,U}\colon F(U)\rightarrow F(U)$ es el morfismo identidad en $F(U)$.
• Si se tienen tres conjuntos abiertos $W\subseteq V\subseteq U$, entonces el compuesto ${\text{res}}_{W,V}\circ {\text{res}}_{V,U}={\text{res}}_{W,U}$

De manera informal, el segundo axiona indica que no importa si se restringe a W en un paso o se restringe primero a V, y luego a W. Una reformulación funcional concisa de esta definición se provee más adelante.

Numerosos ejemplos de prehaces provienen de diferentes clases de funciones​: para todo $U$, se le puede asignar el conjunto $C^{0}(U)$ de funciones reales continuas en $U$. Los mapas de restricción resultan directamente de restringir una función continua en $U$ a un subconjunto abierto más reducido $V$, el cual es nuevamente una función continua. Los dos axiomas de prehaces se verifican inmediatamente, obteniéndose de esta manera un ejemplo de un prehaz. Ello se puede extender a un haz de funciones holomórficas ${\mathcal {H}}(-)$ y a un haz de funciones suaves $C^{\infty }(-)$.

Otra clase común de ejemplos resulta al asignar a $U$ el conjunto de funciones reales constantes en $U$. Este prehaz es denominado prehaz constante asociado con $\mathbb {R}$ y se expresa como ${\underline {\mathbb {R} }}^{psh}$.

Haces

Dado un prehaz, una pregunta natural que se puede hacer es en que medida la extensión de sus secciones sobre un conjunto abierto $U$ quedan especificadas por sus restricciones a subconjuntos abiertos de $U$. Un haz es un prehaz cuyas secciones son en un sentido técnico, únicamente determinadas por sus restricciones.​

En forma axiomática, un haz es un prehaz que satisface los dos axiomas siguientes​:

1. (Localidad) Se supone que $U$ es un conjunto abierto, $\{U_{i}\}_{i\in I}$ es una cubierta abieta de $U$ con $U_{i}\subseteq U$ para todo $i\in I$, y $s,t\in F(U)$ son secciones. Si $s|_{U_{i}}=t|_{U_{i}}$ para todo $i\in I$, entonces $s=t$.
2. (Pegado) Si se supone que $U$ es un conjunto abierto, $\{U_{i}\}_{i\in I}$ es una cubierta abierta de $U$ con $U_{i}\subseteq U$ para todo $i\in I$, y $\{s_{i}\in F(U_{i})\}_{i\in I}$ es una familia de secciones. Si todos los pares de secciones coinciden en la superposición de sus dominios, o sea, si $s_{i}|_{U_{i}\cap U_{j}}=s_{j}|_{U_{i}\cap U_{j}}$ para todo $i,j\in I$, entonces existe una sección $s\in F(U)$ tal que $s|_{U_{i}}=s_{i}$ para todo $i\in I$.​

En estos dos axiomas, la hipótesis de la cubierta abierta es equivalente a suponer que ${\textstyle \bigcup _{i\in I}U_{i}=U}$.

La sección $s$ cuya existencia queda garantizada por el segundo axioma es denominada el pegado, concatenación, o colación de las secciones s_i. Debido al axioma 1 es única. Las secciones $s_{i}$ y $s_{j}$ que satisfacen la precondición de acuerdo del segundo axioma a menudo son denominadas compatibles; por lo tanto los axiomas 1 y 2 juntos establecen que toda dolección de secciones compatibles por pares pueden ser pegadas de forma única. Un prehaz separado, o monoprehaz, es un prehaz que satisface el axioma 1.​

El prehaz consistente en las funciones continuas mencionado previamente es un haz. Ello se concluye de verificar que, dadas las funciones continuas $f_{i}:U_{i}\to \mathbb {R}$ que concuerdan con las intersecciones $U_{i}\cap U_{j}$, existe una única función continua $f:U\to \mathbb {R}$ cuya restricción es igual a $f_{i}$. By contrast, el prehaz constante por lo general no es un haz ya que no satisface el axioma de localidad en el conjunto vacío​.

Los prehaces y haces por lo general son indicados utilizando letras mayúsculas, el uso de la letra $F$es muy común, presumiblemente por la palabra francesa para haz, faisceau. También es usual el uso de letras caligráficas tales como ${\mathcal {F}}$.

Es posible demostrar que para especificar un haz, es suficiente con especificar su restricción en conjuntos abiertos de una base para el espacio topológico subyacente. Es más aún, se puede demostrar que es suficiente con verificar los axiomas de haces indicados previamente relativos a los conjuntos abiertos de una cobertura. Este hecho es utilizado para construir otro ejemplo que es crucial en geometría algebraica, que son los haces cuasi coherentes​. Aquí el espacio topológico en cuestión es el espectro de un anillo conmutativo $R$, cuyos puntos son los primos ideales $p$ en $R$. Los conjuntos abiertos $D_{f}:=\{p\subset R,f\notin p\}$ forman una base para la topología Zariski en este espacio. Dado un $R$-módulo $M$, existe un haz, expresado como ${\tilde {M}}$ en el Spec $R$, que satisface

${\tilde {M}}(D_{f}):=M[1/f],$ la localización de $M$ en $f$.

Existe otra caracterización de haces que es equivalente a la discutida previamente. Un prehaz ${\mathcal {F}}$ es un haz si y solo si para todo $U$ abierto y toda cubierta abierta $(U_{a})$ de $U$, ${\mathcal {F}}(U)$ es el producto fibra ${\mathcal {F}}(U)\cong {\mathcal {F}}(U_{a})\times _{{\mathcal {F}}(U_{a}\cap U_{b})}{\mathcal {F}}(U_{b})$. Esta caracterización es útil para construir haces, por ejemplo, si ${\mathcal {F}},{\mathcal {G}}$ son haces abelianos, entonces el kernel del morfismo de haces ${\mathcal {F}}\to {\mathcal {G}}$ es un haz, dado que límites proyectivos conmutan con límites proyectivos. Por otra parte, el cokernel no siempre es un haz porque el límite inductivo no necesariamente conmuta con los límites proyectivos. Una forma de arreglar esto es considerar espacios topológicos Noeterianos; todos los conjuntos abiertos son compactos por lo que el cokernel es un haz, dado que los límites proyectivos finitos sonmutan con los límites inductivos​.

Otros ejemplos

Haz de secciones de un mapa continuo

Todo mapa continuo $f:Y\to X$ de espacios topológicos determina un haz $\Gamma (Y/X)$ en $X$ estableciendo

$\Gamma (Y/X)(U)=\{s:U\to Y,f\circ s=\operatorname {id} _{U}\}.$

Tal $s$ es comúnmente denominada una sección de $f$, y este ejemplo es la razón por la cual los elementos en $F(U)$ son generalmente denominados secciones. Esta construcción es especialmente importante cuando $f$ es la proyección de un haz fribrado en su espacio base. Por ejemplo, Los haces de funciones suaves son los haces de secciones del trivial bundle. Otro ejemplo: el haz de secciones de

$\mathbb {C} {\stackrel {\exp }{\to }}\mathbb {C} \setminus \{0\}$

es el haz que asigna a todo $U$ el conjunto de ramas del logaritmo complejo en $U$.

Dado un punto $x$ y un grupo abeliano $S$, el haz rascacielos $S_{x}$ es definido de la siguiente manera: si $U$ es un conjunto abierto que contiene $x$, entonces $S_{x}(U)=S$. Si $U$ no contiene $x$, entonces $S_{x}(U)=0$, el grupo trivial. Los mapas de restricción son o bien la identidad en $S$, si ambos conjuntos abiertos contienen $x$, o de lo contrario el mapa nulo.

Haces en variedades

En un variedad-$C^{k}$ $n$-dimensional $M$, existe un número de haces importante, como ser el haz de las funciones continuamente diferenciables $j$-veces ${\mathcal {O}}_{M}^{j}$ (with $j\leq k$). Sus secciones en algún $U$ abierto son las funciones $C^{j}$ $U\to \mathbb {R}$. Para $j=k$, este haz es denominado el haz estructura y se lo expresa como ${\mathcal {O}}_{M}$. Las funciones $C^{k}$ no nulas también constituyen un haz, expresado como ${\mathcal {O}}_{X}^{\times }$. Formas diferenciables (de grado $p$) también forman un haz $\Omega _{M}^{p}$. En todos estos ejemplos, los morfismos de restricción se obtienen mediante funciones o formas restrictivas.

La asignación que envía $U$ con las funciones soportadas en forma compacta en $U$ no es un haz, dado que no existe, en general, forma de preservar esta propiedad al pasar a un subconjunto abierto más pequeño. En cambio, ello forma un cohaz, un concepto dual en donde los mapas de restricción van en dirección opesta que en el caso de los haces.​ Sin embargo, el dual de estos espacios de vectores producen un haz, el haz de las distribuciones.

Bibliografía

• de Cataldo, Andrea Mark; Migliorini, Luca (2010). «What is a perverse sheaf?». Notices of the American Mathematical Society 57 (5): 632-4. Bibcode:2010arXiv1004.2983D. MR 2664042. arXiv:1004.2983. 
• Godement, Roger (2006), Topologie algébrique et théorie des faisceaux, Paris: Hermann, ISBN 2705612521, MR 0345092 .
• Grothendieck, Alexander (1957), «Sur quelques points d'algèbre homologique», The Tohoku Mathematical Journal, Second Series 9 (2): 119-221, ISSN 0040-8735, MR 0102537, doi:10.2748/tmj/1178244839 .
• Hirzebruch, Friedrich (1995), Topological methods in algebraic geometry, Classics in Mathematics, Springer-Verlag, ISBN 978-3-540-58663-0, MR 1335917 . (updated edition of a classic using enough sheaf theory to show its power)
• Iversen, Birger (1986), Cohomology of sheaves, Universitext, Springer, ISBN 3-540-16389-1, MR 842190, doi:10.1007/978-3-642-82783-9 .
• Kashiwara, Masaki; Schapira, Pierre (1994), Sheaves on manifolds, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] 292, Springer-Verlag, ISBN 978-3-540-51861-7, MR 1299726 . (advanced techniques such as the derived category and vanishing cycles on the most reasonable spaces)
• Mac Lane, Saunders; Moerdijk, Ieke (1994), Sheaves in Geometry and Logic: A First Introduction to Topos Theory, Universitext, Springer-Verlag, ISBN 978-0-387-97710-2, MR 1300636 . (category theory and toposes emphasised)
• Martin, William T.; Chern, Shiing-Shen; Zariski, Oscar (1956), «Scientific report on the Second Summer Institute, several complex variables», Bulletin of the American Mathematical Society 62 (2): 79-141, ISSN 0002-9904, MR 0077995, doi:10.1090/S0002-9904-1956-10013-X .
• Ramanan, S. (2005), Global calculus, Graduate Studies in Mathematics 65, American Mathematical Society, ISBN 0-8218-3702-8, MR 2104612, doi:10.1090/gsm/065 .
• Seebach, J. Arthur; Seebach, Linda A.; Steen, Lynn A. (1970), «What is a Sheaf», American Mathematical Monthly 77 (7): 681-703, MR 0263073, S2CID 203043621, doi:10.1080/00029890.1970.11992563 .
• Serre, Jean-Pierre (1955), «Faisceaux algébriques cohérents», Annals of Mathematics, Second Series 61 (2): 197-278, ISSN 0003-486X, JSTOR 1969915, MR 0068874, doi:10.2307/1969915 .
• Swan, Richard G. (1964), The Theory of Sheaves, Chicago lectures in mathematics (3 edición), University of Chicago Press, ISBN 9780226783291 . (concise lecture notes)
• Rosiak, Daniel (2022). Sheaf theory through examples. Cambridge, Massachusetts. ISBN 978-0-262-37042-4. OCLC 1333708310. S2CID 253133215. doi:10.7551/mitpress/12581.001.0001.  (introductory book with open access)

• Datos: Q595298