Abgeschlossene Immersion

aus Wikipedia, der freien Enzyklopädie

Eine abgeschlossene Immersion ist in der algebraischen Geometrie ein bestimmter Morphismus von geometrischen Objekten. Er ist für jede Klasse von geometrischen Objekten separat definiert. Konzeptionell handelt es sich um abgeschlossene Einbettungen. In der Differentialgeometrie ist der Begriff der Immersion differenzierbarer Mannigfaltigkeiten etwas allgemeiner definiert, der analoge Begriff sind abgeschlossene Einbettungen von differenzierbaren Mannigfaltigkeiten.

Lokal geringte Räume

Eine abgeschlossene Immersion von lokal geringten Räumen ist ein Morphismus lokal geringter Räume , sodass die folgenden drei Eigenschaften erfüllt sind: [1]

  • ist eine abgeschlossene Teilmenge von und ist ein Homöomorphismus auf .
  • Der Garbenmorphismus ist ein surjektiver Garbenmorphismus.
  • Für jeden Punkt gibt es eine offene Umgebung von , eine Menge und einen surjektiven Morphismus von -Modulgarben .

Schemata

Eine abgeschlossene Immersion von Schemata ist ein Morphismus von Schemata , der eine abgeschlossene Immersion lokal geringter Räume ist.[2]

Die folgenden Aussagen sind äquivalent:[3]

  • ist eine abgeschlossene Immersion von Schemata.
  • ist ein Homöomorphismus auf eine abgeschlossene Teilmenge von und ist ein surjektiver Garbenmorphismus.
  • Es existiert eine offene Überdeckung von durch affine offene Teilmengen , d. h. für einen kommutativen Ring , und für jedes ein Ideal , sodass das Urbild als Schema über isomorph zu ist.
  • Für jede offene affine Teilmenge mit existiert ein Ideal , sodass als Schema über isomorph zu ist.

Eine abgeschlossene Immersion anzugeben ist eine von mehreren Möglichkeiten ein abgeschlossenes Unterschema zu definieren.

Einzelnachweise

  1. Die Definition im Stacks Project setzt sich aus drei Einzeldefinitionen zusammen:
    • Abgeschlossene Immersion lokal geringter Räume: 01HK
    • Lokal erzeugte Modulgarbe: 01B2
    • Global erzeugte Modulgarbe: 01AM
  2. Abgeschlossene Immersion von Schemata: 01IO
  3. Charakterisierung von abgeschlossenen Immersionen von Schemata: 01QO