Gavilla constante

Este artículo necesita citas adicionales para su verificación . Por favor, ayude a mejorar este artículo añadiendo citas de fuentes fiables . El material sin fuentes puede ser cuestionado y eliminado. Buscar fuentes:  «Constant sheaf» – noticias  · periódicos  · libros  · académico  · JSTOR ( mayo de 2010 ) ( Aprenda cómo y cuándo eliminar este mensaje )

En matemáticas , el haz constante en un espacio topológico asociado a un conjunto es un haz de conjuntos en cuyos tallos son todos iguales a . Se denota por o . El prehaz constante con valor es el prehaz que asigna a cada subconjunto abierto el valor , y todos cuyos mapas de restricción son el mapa identidad . El haz constante asociado a es la gavillación del prehaz constante asociado a . Este haz se identifica con el haz de funciones de valor constante local en . ^[1]${\estilo de visualización X}$ ${\estilo de visualización A}$${\estilo de visualización X}$${\estilo de visualización A}$${\displaystyle {\underline {A}}}$$Estilo de visualización A_ {X}}$${\estilo de visualización A}$${\estilo de visualización X}$${\estilo de visualización A}$${\displaystyle A\a A}$${\estilo de visualización A}$${\estilo de visualización A}$${\estilo de visualización A}$${\estilo de visualización X}$

En ciertos casos, el conjunto puede ser reemplazado por un objeto de alguna categoría (por ejemplo, cuando es la categoría de grupos abelianos o anillos conmutativos ).${\estilo de visualización A}$ ${\estilo de visualización A}$ ${\displaystyle {\textbf {C}}}$${\displaystyle {\textbf {C}}}$

Los haces constantes de grupos abelianos aparecen en particular como coeficientes en la cohomología de haces .

Sea un espacio topológico y un conjunto. Las secciones del haz constante sobre un conjunto abierto pueden interpretarse como las funciones continuas , donde se da la topología discreta . Si es conexo , entonces estas funciones localmente constantes son constantes. Si es la función única del espacio de un punto y se considera como un haz en , entonces la imagen inversa es el haz constante en . El espacio del haz de es la función de proyección (donde se da la topología discreta).${\estilo de visualización X}$${\estilo de visualización A}$${\displaystyle {\underline {A}}}$${\estilo de visualización U}$${\displaystyle U\a ​​A}$${\estilo de visualización A}$${\estilo de visualización U}$${\displaystyle f:X\to \{{\text{pt}}\}}$${\estilo de visualización A}$${\displaystyle \{{\text{pt}}\}}$ $estilo de visualización f-1A$${\displaystyle {\underline {A}}}$${\estilo de visualización X}$${\displaystyle {\underline {A}}}$${\estilo de visualización A}$${\displaystyle X\veces A\a X}$

Sea el espacio topológico formado por dos puntos y con la topología discreta . tiene cuatro conjuntos abiertos: . Las cinco inclusiones no triviales de los conjuntos abiertos de se muestran en el gráfico.${\estilo de visualización X}$${\estilo de visualización p}$${\estilo de visualización q}$${\estilo de visualización X}$${\displaystyle \varnothing ,\{p\},\{q\},\{p,q\}}$${\estilo de visualización X}$

Un prehaz en elige un conjunto para cada uno de los cuatro conjuntos abiertos de y un mapa de restricción para cada una de las inclusiones (con mapa identidad para ). El prehaz constante con valor , denotado , es el prehaz donde los cuatro conjuntos son , los enteros, y todos los mapas de restricción son la identidad. es un funtor en el diagrama de inclusiones (un prehaz), porque es constante. Satisface el axioma de pegado, pero no es un haz porque no cumple el axioma de identidad local en el conjunto vacío. Esto se debe a que el conjunto vacío está cubierto por la familia vacía de conjuntos, , y vacuamente, dos secciones cualesquiera en son iguales cuando se restringen a cualquier conjunto en la familia vacía . Por lo tanto, el axioma de identidad local implicaría que dos secciones cualesquiera en son iguales, lo cual es falso.${\estilo de visualización X}$${\estilo de visualización X}$${\displaystyle U\subconjunto U}$${\displaystyle {\textbf {Z}}}$${\estilo de visualización F}$${\displaystyle {\textbf {Z}}}$${\estilo de visualización F}$${\displaystyle \varnothing =\bigcup \nolimits _{U\in \{\}}U}$${\displaystyle F(\varnada)}$${\estilo de visualización \{\}}$${\displaystyle F(\varnada)}$

Para modificar esto en un prehaz que satisface el axioma de identidad local, sea , un conjunto de un elemento, y dé el valor en todos los conjuntos no vacíos. Para cada inclusión de conjuntos abiertos, sea la restricción la función única a 0 si el conjunto más pequeño está vacío, o la función identidad en caso contrario. Nótese que está forzada por el axioma de identidad local.${\estilo de visualización G}$${\displaystyle G(\varnothing)=0}$${\estilo de visualización G}$${\displaystyle {\textbf {Z}}}$${\displaystyle G(\varnothing)=0}$

Ahora es un prehaz separado (satisface la identidad local), pero a diferencia de él, no cumple con el axioma de unión. De hecho, está desconectado , cubierto por conjuntos abiertos no intersecantes y . Elija secciones distintas en sobre y respectivamente. Debido a que y restringen al mismo elemento 0 sobre , el axioma de unión garantizaría la existencia de una sección única en que restringe a sobre y sobre ; pero las aplicaciones de restricción son la identidad, dando , que es falso. Intuitivamente, es demasiado pequeño para llevar información sobre ambos componentes conectados y . ${\estilo de visualización G}$${\estilo de visualización F}$${\estilo de visualización \{p,q\}}$${\estilo de visualización \{p\}}$${\estilo de visualización \{q\}}$${\displaystyle m\neq n}$${\displaystyle \mathbf {Z}}$${\estilo de visualización \{p\}}$${\estilo de visualización \{q\}}$${\estilo de visualización m}$${\estilo de visualización n}$${\displaystyle \varnothing}$${\estilo de visualización s}$${\displaystyle G(\{p,q\})}$${\estilo de visualización m}$${\estilo de visualización \{p\}}$${\estilo de visualización n}$${\estilo de visualización \{q\}}$${\displaystyle m=s=n}$${\displaystyle G(\{p,q\})}$${\estilo de visualización \{p\}}$${\estilo de visualización \{q\}}$

Modificando aún más para satisfacer el axioma de pegado, sea

${\displaystyle H(\{p,q\})=\mathrm {Diversión} (\{p,q\},\mathbf {Z} )\cong \mathbb {Z} \times \mathbb {Z} }$,

las funciones con valores en , y definen los mapas de restricción de como una restricción natural de funciones a y , con el mapa cero restringiendo a . Entonces es un haz, llamado el haz constante en con valor . Dado que todos los mapas de restricción son homomorfismos de anillos, es un haz de anillos conmutativos.${\displaystyle \mathbf {Z}}$${\estilo de visualización \{p,q\}}$${\estilo de visualización H}$${\estilo de visualización \{p\}}$${\estilo de visualización \{q\}}$${\displaystyle \varnothing}$${\estilo de visualización H}$${\estilo de visualización X}$${\displaystyle {\textbf {Z}}}$${\estilo de visualización H}$

• Gavilla localmente constante

• Sección II.1 de Hartshorne, Robin (1977), Geometría algebraica , Textos de posgrado en matemáticas , vol. 52, Nueva York: Springer-Verlag, ISBN 978-0-387-90244-9, Sr.  0463157
• Sección 2.4.6 de Tennison, BR (1975), Teoría de haces , ISBN 978-0-521-20784-3