Una combinación lineal finita con coeficientes enteros de subvariedades irreducibles de codimensión uno (divisores primos) en una variedad algebraica, usada para registrar los órdenes de ceros y polos de funciones racionales o de secciones de fibrados en líneas.

Principio

Los divisores codifican órdenes locales de anulación a lo largo de loci de codimensión uno y organizan esos datos hasta la equivalencia lineal; los divisores principales provienen de los órdenes logarítmicos de funciones racionales y los divisores de Cartier corresponden a ecuaciones locales bien definidas cuando ello es posible.

Demostración

En una curva proyectiva suave, una función racional no nula f define el divisor principal (f)=Σ_v ord_v(f)·v, sumando ceros con multiplicidad positiva y polos con multiplicidad negativa; en una superficie, una componente de curva aparece como término de codimensión uno con coeficiente entero.

Aplicación incorrecta

Tratar cualquier subvariedad como divisor sin atender la codimensión, o asumir que todo divisor de Weil es de Cartier en una variedad no normal; o identificar un divisor con una única ecuación global cuando no existe tal ecuación.

Consecuencia

Su uso correcto conduce a grupos de clases de divisores y al grupo de Picard, al puente con fibrados en líneas y sistemas lineales, y a números de intersección que controlan la geometría y los invariantes enumerativos.

Inversión

Negar los coeficientes convierte divisores efectivos en anti‑efectivos (los ceros pasan a polos); olvidar la equivalencia lineal sustituye clases de divisores por ciclos brutos y se pierde la información sobre los fibrados asociados.

Límite

Se aplica únicamente a ciclos de codimensión uno; hay que distinguir entre divisores de Weil y de Cartier, divisores principales y efectivos — algunas igualdades requieren normalidad o suavidad.

Tensión semántica

Divisor compite con nociones cercanas como ciclos generales, subvariedades de otra codimensión y fibrados en líneas/faisheaves invertibles; la tensión viene de oponer datos ciclo‑teóricos brutos y clases de equivalencia que reflejan fibrados geométricos.

Síntesis

Un divisor es el ciclo de codimensión uno que registra dónde y con qué multiplicidad las secciones o funciones se anulan o divergen; módulo los divisores principales clasifica el torsionamiento descrito por los fibrados en líneas asociados.