Un modelo topológico de un haz dado por un espacio E junto con una proyección p: E → X que es un homeomorfismo local; los puntos de E representan germenes de secciones y las secciones continuas de p sobre un abierto U corresponden a elementos del haz asociado en U.

Principio

Realizar un haz de forma concreta como el espacio total de germenes, de modo que las homeomorfías locales codifiquen la restricción y el pegado mediante la topología de la proyección.

Demostración

Para el haz de funciones continuas reales en X, su espacio étale tiene por puntos pares (x, germen de f en x); la proyección envía (x, germen) a x y las secciones locales corresponden a funciones continuas en vecindades.

Aplicación incorrecta

Suponer que la construcción del espacio étale preserva estructuras algebraicas adicionales sin verificarlo (por ejemplo, esperar que una estructura de anillo en los puntos del total lo convierta en una variedad algebraica cuando es solo un modelo topológico).

Consecuencia

El espacio étale ofrece un objeto geométrico concreto que representa el haz, haciendo que las cuestiones sobre secciones y gérmenes sean topológicas y permitiendo construcciones explícitas e intuición sobre el pegado.

Inversión

Haz como funtor abstracto: visión de un haz como asignación de datos a abiertos sin un espacio total elegido; el espacio étale invierte la abstracción al producir un espacio de germenes.

Límite

La construcción se aplica a haces de conjuntos u objetos algebraicos con estructura subyacente de conjunto y topologías inducidas por germenes; no produce automáticamente esquemas o espacios algebraicos salvo que se añada estructura adicional.

Tensión semántica

Frente a los gérmenes (stalks) o descripciones por prefazes: los espacios étale enfatizan un espacio total topológico de germenes, mientras que los gérmenes y los prefazes se centran en descripciones algebraicas en cada punto o sobre abiertos.

Síntesis

El espacio étale realiza un haz como un espacio topológico de germenes con una homeomorfía local hacia la base, convirtiendo las operaciones de restricción y pegado del haz en propiedades geométricas de la proyección.