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)[1]​.

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[1]​.

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

editar

En muchas ramas matemáticas, varias estructuras definidas sobre un espacio topológico   (por ejemplo, un colector diferenciable) pueden ser naturalmente localizadas o restringidas a subconjuntos abiertos  : ejemplos típicos incluyen funciones continuas de números reales o de números complejos, diferenciable (real o compleja) -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[1]​. Hablando en términos generales, los entrelazados son entonces esos presheaves, donde los datos locales se pueden pegar a los datos globales.

Prehaces

editar

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

  • Para cada conjunto abierto   de  , un conjunto  . Este conjunto se denota como  . Los elementos de este conjunto se denominan las secciones de   sobre  . Las secciones de   sobre   se denominan las secciones globales de  .
  • Para cada inclusión de conjuntos abiertos  , una función  . En vista de los numerosos ejemplos provistos más abajo, los morfismos   son denominados morfismos de restricción. Si  , entonces su restricción   a menudo es expresada como   por analogía con la restricción de funciones.

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

  • Para cada conjunto abierto   de  , el morfismo restricción   es el morfismo identidad en  .
  • Si se tienen tres conjuntos abiertos  , entonces el compuesto  

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[1]​: para todo  , se le puede asignar el conjunto   de funciones reales continuas en  . Los mapas de restricción resultan directamente de restringir una función continua en   a un subconjunto abierto más reducido  , 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   y a un haz de funciones suaves  .

Otra clase común de ejemplos resulta al asignar a   el conjunto de funciones reales constantes en  . Este prehaz es denominado prehaz constante asociado con   y se expresa como  .

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

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

  1. (Localidad) Se supone que   es un conjunto abierto,   es una cubierta abieta de   con   para todo  , y   son secciones. Si   para todo  , entonces  .
  2. (Pegado) Si se supone que   es un conjunto abierto,   es una cubierta abierta de   con   para todo  , y   es una familia de secciones. Si todos los pares de secciones coinciden en la superposición de sus dominios, o sea, si   para todo  , entonces existe una sección   tal que   para todo  .[3]

En estos dos axiomas, la hipótesis de la cubierta abierta es equivalente a suponer que  .

La sección   cuya existencia queda garantizada por el segundo axioma es denominada el pegado, concatenación, o colación de las secciones si. Debido al axioma 1 es única. Las secciones   y   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.[4]

El prehaz consistente en las funciones continuas mencionado previamente es un haz. Ello se concluye de verificar que, dadas las funciones continuas   que concuerdan con las intersecciones  , existe una única función continua   cuya restricción es igual a  . 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[2]​.

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

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[2]​. Aquí el espacio topológico en cuestión es el espectro de un anillo conmutativo  , cuyos puntos son los primos ideales   en  . Los conjuntos abiertos   forman una base para la topología Zariski en este espacio. Dado un  -módulo  , existe un haz, expresado como   en el Spec  , que satisface

  la localización de   en  .

Existe otra caracterización de haces que es equivalente a la discutida previamente. Un prehaz   es un haz si y solo si para todo   abierto y toda cubierta abierta   de  ,   es el producto fibra  . Esta caracterización es útil para construir haces, por ejemplo, si   son haces abelianos, entonces el kernel del morfismo de haces   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[2]​.

Otros ejemplos

editar

Haz de secciones de un mapa continuo

editar

Todo mapa continuo   de espacios topológicos determina un haz   en   estableciendo

 

Tal   es comúnmente denominada una sección de  , y este ejemplo es la razón por la cual los elementos en   son generalmente denominados secciones. Esta construcción es especialmente importante cuando   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

 

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

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

Haces en variedades

editar

En un variedad-   -dimensional  , existe un número de haces importante, como ser el haz de las funciones continuamente diferenciables  -veces   (with  ). Sus secciones en algún   abierto son las funciones    . Para  , este haz es denominado el haz estructura y se lo expresa como  . Las funciones   no nulas también constituyen un haz, expresado como  . Formas diferenciables (de grado  ) también forman un haz  . En todos estos ejemplos, los morfismos de restricción se obtienen mediante funciones o formas restrictivas.

La asignación que envía   con las funciones soportadas en forma compacta en   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.[5]​ Sin embargo, el dual de estos espacios de vectores producen un haz, el haz de las distribuciones.

Referencias

editar
  1. a b c d Bredon, Glen E. (1997), Sheaf theory, Graduate Texts in Mathematics 170 (2nd edición), Springer-Verlag, ISBN 978-0-387-94905-5, MR 1481706 . (orientado hacia aplicaciones topológicas convencionales)
  2. a b c d e Tennison, Barry R. (1975), Sheaf theory, London Mathematical Society Lecture Note Series 20, Cambridge University Press, ISBN 978-0-521-20784-3, MR 0404390 . (tratamiento pedagógico)
  3. Eisenbud, David; Harris, Joe (6 de abril de 2006), The Geometry of Schemes, GTM, New York, NY: Springer, pp. 11-18, ISBN 978-0-387-22639-2 .
  4. Tennison, B. R. (1975), Sheaf theory, Cambridge University Press, MR 0404390 .
  5. Bredon (1997, Chapter V, §1)

Bibliografía

editar