Divisores y gavillas

Sea $X$ regular. Supongamos que ${\cal F}$ es una gavilla evaluada en la categoría de funciones racionales sobre $X$ . Sea $s$ una sección de ${\cal F}$ que no se anula en una componente ireducible de $X$ . Entonces se define

div$$(s) = \sum_{Y\in\mbox{\rm\scriptsize CD}_X(1)}\mbox{val}_Y(s) {\bf e}_Y,$$

donde val$_Y(s)$ se determina tomando un abierto $U\subset Y$ del punto genérico de $Y$ donde exista una trivialización.