Eine formale endliche Z‑Linearkombination von irreduziblen Untervarietäten vom Kodimension‑eins (Primdivisoren) auf einer algebraischen Varietät, verwendet zur Aufzeichnung der Ordnungen von Nullstellen und Polen rationaler Funktionen oder von Schnitten von Linienbündeln.

Prinzip

Divisoren codieren lokale Verschwindensordnungen entlang Kodimension‑eins‑Loci und ordnen diese Daten bis auf lineare Äquivalenz; prinzipielle Divisoren stammen von logarithmischen Ordnungen rationaler Funktionen, Cartier‑Divisoren entsprechen lokal durch eine einzelne Gleichung definierten Stellen, wo dies möglich ist.

Demonstration

Auf einer glatten projektiven Kurve definiert eine nichtverschwindende rationale Funktion f den Hauptdivisor (f)=Σ_v ord_v(f)·v, der Nullen mit positiver und Pole mit negativer Vielfachheit aufsummiert; auf einer Fläche erscheint eine Kurvenkomponente als Kodimension‑eins‑Term mit ganzzahligem Koeffizienten.

Fehlanwendung

Jede Untervarietät ungeachtet der Kodimension als Divisor zu behandeln, oder zu glauben, jeder Weil‑Divisor sei auf einer nichtnormalen Varietät Cartier; oder einen Divisor mit einer einzigen globalen Gleichung zu identifizieren, wenn keine existiert.

Konsequenz

Richtige Anwendung liefert die Divisorenklassengruppe und die Picardgruppe, die Verbindung zu Linienbündeln und linearen Systemen sowie Schnittzahlen, die die Geometrie und enumerativen Invarianten steuern.

Umkehrung

Durch Negation der Koeffizienten werden effektive Divisoren anti‑effektiv (Nullstellen werden zu Polen); das Ignorieren linearer Äquivalenz ersetzt Divisorenklassen durch rohe Zyklen und vernichtet die Information über zugeordnete Bündel.

Abgrenzung

Gilt nur für Kodimension‑eins‑Zyklen; zu unterscheiden sind Weil‑ versus Cartier‑Divisoren, prinzipielle und effektive Divisoren — manche Gleichheiten setzen Normalität oder Glattheit voraus.

Semantische Spannung

Der Begriff Divisor steht im Wettbewerb mit verwandten Begriffen wie allgemeinen Zyklen, Untervarietäten anderer Kodimension und Linienbündeln/invertierbaren Garben; die Spannung liegt zwischen zyklisch‑theoretischen Rohdaten und Äquivalenzklassen, die geometrische Bündel widerspiegeln.

Synthese

Ein Divisor ist der Kodimension‑eins‑Zyklus, der dokumentiert, wo und mit welcher Vielfachheit Abschnitte oder Funktionen verschwinden oder divergieren; modulo prinzipielle Divisoren klassifiziert er das von zugeordneten Linienbündeln dargestellte Torsionsverhalten.