Gavilla retorcida

En matemáticas, un haz torcido es una variante de un haz coherente . Precisamente, se especifica por: una envoltura abierta en la topología étale U _i , haces coherentes F _i sobre U _i , un 2-cociclo de Čech θ para sobre la envoltura U _i así como los isomorfismos ${\displaystyle \mathbb {G} _{m}}$

${\displaystyle g_{ij}:F_{j}|_{U_{ij}}{\overset {\sim }{\to }}F_{i}|_{U_{ij}}}$

satisfactorio

• ${\displaystyle g_{ii}=\operatorname {id} _{F_{i}}}$,
• ${\displaystyle g_{ij}=g_{ji}^{-1},}$
• ${\displaystyle g_{ij}\circ g_{jk}\circ g_{ki}=\theta _{ijk}\operatorname {id} _{F_{i}}.}$

El concepto de haces retorcidos fue introducido por Jean Giraud . La definición anterior, dada por Căldăraru, es realista, pero equivale a una definición más sofisticada en términos de gerbe ; véase el § 2.1.3 de (Lieblich 2007).

Véase también

• Haz reflexivo
• Polea de torsión

Referencias

• Căldăraru, Andrei (2002). "Categorías derivadas de gavillas retorcidas sobre triples elípticos". Journal für die reine und angewandte Mathematik (Diario de Crelle) . 2002 (544): 161–179. arXiv : matemáticas/0012083 . doi :10.1515/CRLL.2002.022. S2CID  119117575.
• Lieblich, Max (2007). "Módulos de haces torcidos". Duke Mathematical Journal . 138 . doi :10.1215/S0012-7094-07-13812-2. S2CID  14067307.