##  [Étale‑Raum‑Konstruktion](/de/node/63244) 

 Definition

Das Verfahren, das zu einem Garbe von Mengen (oder anderen algebraischen Objekten) auf einem topologischen Raum X einen topologischen Raum E zusammen mit einer lokalen Homöomorphie p:E→X — dem étalé‑Raum — assoziiert, so dass die Garbe isomorph zur Garbe der lokalen Schnitte von p ist.

 

 

 

 

 

 





## Prinzip

Prinzip

Eine Garbe ist äquivalent zur Zuweisung von Keimen (Stalks) und der Verklebe­regel; die étalé‑Konstruktion fügt alle Stalks zu einem Totalraum mit der finalen Topologie zusammen, die die Projektion auf X zu einer lokalen Homöomorphie macht, und realisiert damit die Garbenaxiome geometrisch als Existenz und Eindeutigkeit lokaler Schnitte.

 

 

 

 

 





## Demonstration

Demonstration

Für die Garbe der stetigen reellwertigen Funktionen auf X ist der étalé‑Raum die disjunkte Vereinigung aller Funktionskeime an den Punkten von X, mit der Topologie erzeugt durch Mengen von Keimen, die von einer einzigen stetigen Funktion auf einer offenen Menge stammen; lokal sieht die Projektion wie ein Produkt aus und lokale Schnitte rekonstruieren die ursprünglichen Funktionen.

 

 

 

 

## Fehlanwendung

Fehlanwendung

Die topologische étalé‑Konstruktion mit dem in der algebraischen Geometrie gebrauchten Begriff eines étale‑Morphismus ohne Kontextprüfung zu verwechseln, oder die Konstruktion auf Prägarben anzuwenden, die die Garbenaxiome nicht erfüllen (dann reproduziert der Keimraum nicht das Verklebeverhalten des Prägarbens).

 

 

 

 

 





## Konsequenz

Konsequenz

Die étalé‑Raum‑Konstruktion liefert eine Äquivalenz zwischen Garben von Mengen auf X und étalé‑Räumen über X, bietet ein anschauliches geometrisches Modell für Garben, erleichtert stückweise (stalkwise) Argumente und macht Operationen an Garben (Rückzug, Vorwärtsabbildung von Schnitten) als stetige Abbildungen zwischen Räumen sichtbar.

 

 

 

 

## Umkehrung

Umkehrung

Das inverse Verfahren rekonstruiert aus einer lokalen Homöomorphie eine Garbe, indem man für jedes offene U⊂X die Menge der stetigen Schnitte U→E nimmt; die Umkehr macht deutlich, dass nicht jede stetige Abbildung eine lokale Homöomorphie ist und dass Prägarben ohne Verklebeeigenschaft nicht durch étalé‑Räume dargestellt werden.

 

 

 

 

 





## Abgrenzung

Abgrenzung

Gilt hauptsächlich für Garben von Mengen (und mit Anpassungen für Garben mit Struktur wie Gruppen oder Ringen) auf topologischen Räumen; die Verwendung von ‚étale‘ in der algebraischen Geometrie als glatt nicht verzweigter Morphismus ist im Geist verwandt, aber technisch und kontextuell verschieden.

 

 

 

 

 





## Semantische Spannung

Semantische Spannung

Spannung besteht zwischen der Sicht Garbe‑als‑Funktor und der Sicht Garbe‑als‑étalé‑Raum: die eine ist algebraisch/funktoriell, die andere geometrisch; die Verwechslung mit schema‑theoretischen étalen Abbildungen kann notwendige Hypothesen verschleiern.

 

 

 

 

 





## Synthese

Synthese

Die étalé‑Raum‑Konstruktion baut aus Keimen einen Totalraum und eine lokale Homöomorphie zur Basis, sodass die ursprüngliche Garbe genau die Garbe der lokalen Schnitte dieser Projektion ist und so eine geometrische Verkörperung der Garbenaxiome und eine Brücke zwischen funktoriellen und räumlichen Perspektiven liefert.