Basiswechsel (Faserprodukt)

Unter einem Basiswechsel versteht man eine spezielle Sichtweise der Bildung eines Faserproduktes in relativen Situationen, insbesondere in der algebraischen Geometrie. In diesem Zusammenhang wird das Faserprodukt oft auch als pull-back bezeichnet.

Spricht man von Basiswechsel, ist damit die folgende Situation gemeint: Man betrachtet einen Morphismus

 f\colon X\to Y

als Familie mit Basis Y. Ist nun ein Morphismus

 g\colon Y'\to Y

gegeben, so ist „der durch Basiswechsel entlang g“ entstehende Morphismus die kanonische Projektion des Faserproduktes

 f'\colon X':=X\times_YY'\to Y'.

Die Basis Y wurde also durch die Basis Y′ ausgewechselt. Man sagt dann auch kurz: „f′ ist der Basiswechsel von f unter g.“

Die Symmetrie des Faserproduktes wird vollkommen ignoriert.

Hat g zusätzliche Eigenschaften wie z.B. Flachheit, so spricht man auch von "flachem Basiswechsel" usw.

Spezielle Basiswechsel

Ist f\colon X\to Y ein Morphismus und i\colon {*}\to Y die Inklusion eines Punktes mit i( * ) = y, so ist der Basiswechsel entlang i die Bildung der Faser

f^{-1}(y) = X\times_{Y,i}{*} \to {*}.

Ist U\subseteq Y eine Teilmenge von Y, so ist der Basiswechsel entlang der Inklusion

X\times_YU\to U

die Einschränkung der Familie X auf den Teil U der Basis.

„Stabil unter Basiswechsel“

Ist P eine Eigenschaft von Morphismen einer Kategorie, in der Faserprodukte existieren, so heißt P stabil unter Basiswechsel, wenn die Gültigkeit von P für einen Morphismus fX → Y die Gültigkeit von P für den durch einen Basiswechsel Y′ → Y entstandenen Morphismus

f_{Y'}\colon X\times_YY'\longrightarrow Y'

impliziert.

Beispiele

  • Monomorphismen
  • Surjektivität in den Kategorien der Mengen oder topologischen Räume, und in jeder Kategorie die Eigenschaft, eine Retraktion zu sein
  • Faserungen in Modellkategorien, insbesondere Serre-Faserungen
  • Die Eigenschaft stetiger Abbildungen topologischer Räume, abgeschlossen zu sein, d.h. abgeschlossene Teilmengen auf abgeschlossene Teilmengen abzubilden, ist nicht stabil unter Basiswechsel: Es sei f\colon \mathbb R\to * die Abbildung der reellen Geraden auf einen Punkt; sie ist abgeschlossen. Durch den Basiswechsel \mathbb R\to* erhält man f'\colon\mathbb R^2\to\mathbb R, die kanonische Projektion. Sie ist nicht abgeschlossen, beispielsweise wird die abgeschlossene Teilmenge \{(x,y)\mid xy=1\} auf die nicht abgeschlossene Menge \mathbb R\setminus\{0\} abgebildet. Pullback-stabil abgeschlossen sind dagegen die abgeschlossenen Abbildungen mit kompakten Fasern.
  • Viele der Eigenschaften von Morphismen von Schemata, die in der algebraischen Geometrie betrachtet werden, sind stabil unter Basiswechsel. Ist dies für eine Eigenschaft P nicht der Fall, so nennt man die Eigenschaft eines Morphismus, dass jeder Basiswechsel P erfüllt, "universell P": beispielsweise ist ein Morphismus f dann universell abgeschlossen, wenn jeder Basiswechsel von f abgeschlossen ist.

Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Faserprodukt — Das Faserprodukt (auch Pullback, kartesisches Quadrat oder Pullback Quadrat) ist ein Begriff aus dem mathematischen Teilgebiet der Kategorientheorie. Zentrale Bedeutung kommt dem Faserprodukt in der algebraischen Geometrie zu. Der Begriff des… …   Deutsch Wikipedia

  • Basiswechsel — Ein Basiswechsel ist die Umrechnung einer Zahldarstellung in eine andere durch Wechsel der Basis der Zahldarstellung: Zahlbasiswechsel. der Übergang zwischen zwei verschiedenen Basen eines endlichdimensionalen Vektorraums: Basiswechsel… …   Deutsch Wikipedia

  • Pull-back — Das Faserprodukt ist ein Begriff aus dem mathematischen Teilgebiet der Kategorientheorie, der in vielen Bereichen benutzt wird. Zentrale Bedeutung kommt dem Faserprodukt in der algebraischen Geometrie zu. Der Begriff des Faserproduktes ist dual… …   Deutsch Wikipedia

  • Pullback — Dieser Artikel wurde auf der Qualitätssicherungsseite des Portals Mathematik eingetragen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Mathematik auf ein akzeptables Niveau zu bringen. Dabei werden Artikel gelöscht, die nicht… …   Deutsch Wikipedia

  • Elementartopos — Topos (pl. Topoi, griech. Ort) ist ein Begriff der Kategorientheorie, der in zwei engverwandten Ausprägungen vorkommt, nämlich als Grothendieck Topos, der ein verallgemeinerter topologischer Raum ist und Anwendungen in der algebraischen Geometrie …   Deutsch Wikipedia

  • Multiplikative Gruppe — In der Mathematik ist die Einheitengruppe eines Rings mit Einselement die Menge aller multiplikativ invertierbaren Elemente. Sie ist mit der Ringmultiplikation eine Gruppe. Besonders interessant sind die Einheitengruppen von (unitären)… …   Deutsch Wikipedia

  • Stabilität (Begriffsklärung) — Stabilität (adj.: stabil) bezeichnet: Stabilität, die Fähigkeit eines Systems nach einer Störung wieder in den Ausgangszustand zurückzukehren. Mengenstabilität eines Materialstroms oder Materialbestandes, die Mengen und Flüsse, die ein System… …   Deutsch Wikipedia

  • Rücktransport — In verschiedenen Teilgebieten der Mathematik bezeichnet man als Pullback oder Rücktransport (auch: Zurückziehung, Rückzug) Konstruktionen, die ausgehend von einer Abbildung und einem Objekt E, das in irgendeiner Weise zu Y gehört, ein… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”