Endlichkeitsbedingungen der algebraischen Geometrie

Viele Aussagen d​es mathematischen Teilgebiets d​er kommutativen Algebra u​nd algebraischen Geometrie s​ind abhängig v​on gewissen Endlichkeitsbedingungen.

Ist e​ine Definition n​ur für Algebren formuliert, s​o ist d​ie entsprechende Aussage für geometrische Objekte d​urch lokale Karten definiert.

Es sei ein Ring.

Begriff Erklärung
endlicheine -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 Typein Schemamorphismus ist lokal endlichen Typs, wenn es zu jedem Punkt eine Umgebung sowie eine Umgebung gibt, so dass als Morphismus endlichen Typs ist.
quasiendlichEin 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 quasiendlichEin Schemamorphismus ist lokal quasiendlich, wenn er quasiendlich in jedem Punkt ist.[3]
quasikompaktein Schemamorphismus ist quasikompakt, wenn das Urbild jeder offenen quasikompakten Teilmenge von wieder quasikompakt ist.

Implikationen

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

Literatur

Quellen

  1. EGA II, 6.2.2, 6.2.3
  2. EGA ErrIII, 20
  3. EGA ErrIII, 20
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.