Étale morphism¶
An étale morphism is a scheme morphism that is smooth of relative dimension zero, equivalently locally of finite presentation, flat, and unramified, providing the algebraic analogue of a local isomorphism.
Core Idea¶
An étale morphism of schemes is a morphism that is flat, unramified, and locally of finite presentation; equivalently, it is smooth of relative dimension zero or locally a standard étale algebra. It is the algebraic-geometric analogue of a local analytic isomorphism: near each point it has discrete, separable fibers and no infinitesimal branching, even though the coarse Zariski topology may not provide neighborhoods on which the map is literally an isomorphism. A standard étale algebra has the local form (R[x]/(f))g where f is monic and its derivative becomes invertible after localization.
Scope of Application¶
-
Local algebraic geometry. Standard étale charts use a localized monic polynomial with invertible derivative.
-
Finite covering behavior. Finite étale maps serve as algebraic analogues of finite covering spaces.
-
Descent. Étale-local data and morphisms can be glued under the appropriate compatibility conditions.
-
Étale topology. Families of étale maps provide neighborhoods finer than Zariski opens.
-
Étale cohomology. Sheaves on this topology recover invariants unavailable to ordinary Zariski cohomology.
Clarity¶
Étale morphism names a scheme map that is flat, unramified, and locally of finite presentation—equivalently smooth of relative dimension zero. The phrase ‘local isomorphism’ is only an analogy unless the topology is specified; Zariski neighborhoods need not make the map literally invertible. The term makes separable discrete fibers and unique infinitesimal lifting the relevant local behavior.
Manages Complexity¶
Étale morphism compresses algebraic local-isomorphism behavior into flatness, unramifiedness, and local finite presentation. Standard étale algebra and unique infinitesimal lifting provide computational and conceptual tests. Open immersions, finite separable maps, covers, and base changes form branches within the class. The algebraic geometer can reason about discrete separable fibers, local coordinates, descent, and the étale topology without requiring literal Zariski-local inverse maps.
Abstract Reasoning¶
Local-ring move. Test a morphism for flatness and unramifiedness, or an equivalent criterion, at each point. Infinitesimal move. Use vanishing relative differentials and unique lifting across nilpotent thickenings to express absence of infinitesimal branching. Base-change move. Pull an étale morphism along another map and retain étaleness, enabling local constructions. Local-model move. Treat étale maps as algebraic analogues of local isomorphisms while respecting their scheme-theoretic character. Boundary move. Étale does not mean globally injective, globally an isomorphism, or merely smooth; finite étale covers can have multiple sheets.
Knowledge Transfer¶
Within the home domain. Étale morphisms transfer across algebraic geometry, number theory, moduli, descent, and cohomology as maps that are flat and unramified, behaving locally like algebraic local isomorphisms. Differentials, infinitesimal lifting, base change, finite covers, and local structure retain formal roles. Beyond the home domain (C — formal relation). They apply literally in compatible geometric categories and schemes; topological covering maps are guiding analogues, not identical definitions. Their boundary is exact: étale does not imply globally injective or globally isomorphic, smooth alone is insufficient, and formulas depend on finiteness and scheme-theoretic hypotheses.
Relationships to Other Abstractions¶
Current abstraction Étale morphism Domain-specific
Parents (1) — more general patterns this builds on
-
Étale morphism is a kind of Relation Prime
Étale morphism is a domain-specific kind of Relation: An étale morphism is a scheme morphism that is smooth of relative dimension zero, equivalently locally of finite presentation, flat, and unramified, providing the algebraic analogue of a local isomorphism.
Hierarchy path (1) — routes to 1 parentless root
- Étale morphism → Relation
Neighborhood in Abstraction Space¶
Étale morphism sits in a moderately populated region (59th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.
Family — Sheaves & Birational Geometry (22 abstractions)
Nearest neighbors
- Algebraic Variety — 0.89
- Ringed Space — 0.87
- Cohomological dimension — 0.84
- Holomorphic vector bundle — 0.84
- Picard Group — 0.84
Computed from structural-signature embeddings · 2026-10-08