Endlichkeitsbedingungen der algebraischen Geometrie

Viele Aussagen des mathematischen Teilgebiets der kommutativen Algebra und algebraischen Geometrie sind abhängig von gewissen Endlichkeitsbedingungen.

Ist eine Definition nur für Algebren formuliert, so ist die entsprechende Aussage für geometrische Objekte durch lokale Karten definiert.

Es sei ein Ring.

Begriff Erklärung
endlich eine -Algebra heißt endlich, wenn als -Modul endlich erzeugt ist, d. h. wenn es eine Surjektion von -Moduln gibt.
endlicher Typ (Algebra) eine -Algebra ist endlichen Typs, wenn sie als -Algebra endlich erzeugt ist, d. h. wenn es eine Surjektion von -Algebren gibt.
endlicher Typ (Modul) ein -Modul ist endlichen Typs, wenn er endlich erzeugt ist, d. h. wenn es eine Surjektion von -Moduln gibt.
endlicher Typ (Schema) ein Schemamorphismus ist endlichen Typs, wenn das Urbild einer offenen affinen Teilmenge von eine endliche Vereinigung affiner Teilmengen ist, so dass für jedes eine -Algebra endlichen Typs ist.
endlich präsentiert (Modul) ein -Modul ist endlich präsentiert, wenn er Kokern eines Homomorphismus zwischen freien Moduln endlichen Typs ist.
lokal endlicher Typ ein Schemamorphismus ist lokal endlichen Typs, wenn es zu jedem Punkt eine Umgebung sowie eine Umgebung gibt, so dass als Morphismus endlichen Typs ist.
quasiendlich Ein Schemamorphismus ist quasiendlich, wenn er endlichen Typs ist und alle Fasern diskret sind; äquivalent dazu: wenn er endlichen Typs ist und die Fasern endlich (als Morphismen) sind.[1]
Ein Schemamorphismus ist quasiendlich in einem Punkt , wenn es affine offene Umgebungen bzw. von bzw. mit gibt, so dass quasiendlich ist.[2]
lokal quasiendlich Ein Schemamorphismus ist lokal quasiendlich, wenn er quasiendlich in jedem Punkt ist.[3]
quasikompakt ein Schemamorphismus ist quasikompakt, wenn das Urbild jeder offenen quasikompakten Teilmenge von wieder quasikompakt ist.

Implikationen

Bearbeiten
  • Jeder endliche Morphismus ist endlichen Typs.
  • Die Morphismen endlichen Typs sind genau die Morphismen, die quasikompakt und lokal endlichen Typs sind.

Literatur

Bearbeiten
  1. EGA II, 6.2.2, 6.2.3
  2. EGA ErrIII, 20
  3. EGA ErrIII, 20