Idealgarbe

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen

Eine Idealgarbe ist eine spezielle Untergarbe einer Garbe von Ringen. Der Begriff ist in der algebraischen Geometrie von Bedeutung und hängt mit der Definition von abgeschlossenem Unterschema zusammen.

Sei ein topologischer Raum und eine Garbe von Ringen auf . Man spricht auch von einem geringten Raum . Hierbei setzen wir nicht voraus, dass kommutativ ist. Eine linksseitige (rechtsseitige, zweiseitige) Idealgarbe von , man sagt auch einfach Ideal von , ist eine Untergarbe , sodass für alle offenen Teilmengen die Teilmenge ein linksseitiges (rechtsseitiges, zweiseitiges) Ideal von ist.[1]

Analog definiert man Idealgarben von Garben von Ringen auf einem Situs.

Sei ein Schema mit Strukturgarbe . Dann gibt es eine natürliche Entsprechung von quasikohärenten Idealgarben von und abgeschlossenen Unterschemata von . Letztere können als Isomorphieklassen von abgeschlossenen Immersionen definiert werden. Je nach Definition von abgeschlossener Immersion folgt diese Entsprechung direkt aus der Definition.

Einzelnachweise

[Bearbeiten | Quelltext bearbeiten]
  1. Hartshorne, Algebraic geometry: §II.5.