É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.

Version: v1 · 2026-09-28 · History
Domain-specific #: 9307
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomains: Algebraic Geometry, Scheme Theory → Mathematics

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. The invertible derivative is the algebraic implicit-function condition. Infinitesimally, formal étaleness says that maps across square-zero thickenings lift uniquely, expressing both absence of ramification and absence of new relative tangent directions. Étale morphisms are stable under composition and base change and are local on source and target in the étale topology. Finite étale morphisms behave like finite covering spaces; families of étale maps define a Grothendieck topology whose sheaf cohomology and fundamental group recover arithmetic information inaccessible to Zariski opens.

Étale does not mean globally one-to-one, open immersion, or topological covering in the ordinary topology over every field. The map x↦xⁿ on the multiplicative line is étale only where characteristic and coordinates make the derivative invertible, and inseparable residue-field extensions are excluded. Flatness or unramifiedness alone is insufficient. The abstraction is algebraic local sameness without infinitesimal distortion: a finite-presentation map has discrete separable fibers and unique nilpotent lifting, allowing geometry to be probed through neighborhoods finer than the Zariski topology.

Structural Signature¶

Sig role-phrases:

the scheme morphism — algebraic-geometric map whose local behavior is under examination
the finite-presentation condition — local algebra described with finitely many generators and relations
the flatness condition — families varying without hidden torsion or abrupt fiber distortion
the unramified condition — absence of relative infinitesimal tangent directions and branching
the zero-relative-dimension synthesis — smoothness with discrete fibers combining the defining properties
the standard étale chart — localized monic polynomial algebra with invertible derivative
the unique nilpotent lifting property — maps across square-zero thickenings extending uniquely
the separable discrete fibers — residue behavior excluding inseparable branching
the stability laws — preservation under composition, base change, and appropriate localization
the fine-neighborhood role — finite covers, étale topology, cohomology, and fundamental groups probing arithmetic geometry beyond Zariski-local isomorphism

What It Is Not¶

Not necessarily a global isomorphism or one-to-one map. Étale behavior is local, and finite étale covers can have several sheets.
Not automatically an open immersion. An open immersion is étale, but étale morphisms form a broader class.
Not merely flat. Flat maps can retain positive-dimensional fibers or ramification.
Not merely unramified. The full definition also imposes flatness and local finite presentation.
Not an ordinary topological covering over every base field and topology. Its covering intuition is realized in algebraic-geometric and étale neighborhoods.
Not compatible with inseparable residue extensions. Separability and invertible-derivative behavior exclude that infinitesimal branching.
Not the claim that Zariski neighborhoods make the map visibly trivial. The étale topology is introduced precisely to provide a finer local setting.

Scope of Application¶

An étale morphism is an algebraic-geometric instrument and applies to scheme maps that are locally of finite presentation, flat, and unramified, equivalently smooth of relative dimension zero.

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.
Arithmetic fundamental groups. Finite étale covers encode geometric and arithmetic information.
Moduli and deformation theory. Unique nilpotent lifting expresses absence of relative infinitesimal directions.
Applicability boundary. Étale does not mean globally injective, open immersion, flat alone, unramified alone, or an ordinary topological covering over every field; source, target, base, finite presentation, Jacobian or differential condition, residue separability, characteristic, and any base-change step must be explicit because ramification and inseparability are relative phenomena.

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. The sharper algebraic-geometric question is whether the Jacobian or standard-étale criterion removes ramification and relative tangent directions while preserving the base-change and composition properties required.

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. This compression packages several technical conditions into a stable class preserved by composition and base change, while relative dimension and ramification immediately identify maps outside it.

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.

Examples¶

Canonical¶

Let B=A[t]/(f), localized where the derivative f′ is invertible, for a monic polynomial f. The induced morphism Spec B→Spec A is a standard étale chart: it is locally of finite presentation, flat, and unramified, hence smooth of relative dimension zero. Its geometric fibers are discrete and separable. Maps across square-zero nilpotent thickenings lift uniquely. The morphism behaves like a local analytic isomorphism in the finer étale sense even when no Zariski neighborhood makes it literally an isomorphism.

Mapped back: Spec B→Spec A is the scheme morphism; finite algebra gives the finite-presentation condition, flatness the flatness condition, and invertible derivative the unramified condition. Together they form the zero-relative-dimension synthesis and the standard étale chart, with the unique nilpotent lifting property.

Applied / In Practice¶

An algebraic geometer base-changes an étale cover along another scheme and uses the result to compute local data and descent in the étale topology. She verifies that étaleness survives base change, composition, and localization. A purely inseparable map is excluded because fibers are not separable, and a ramified cover is excluded at branch points. Étale cohomology and fundamental groups exploit these fine neighborhoods beyond ordinary Zariski covers.

Mapped back: Base change and composition are the stability laws, excluded maps test the separable discrete fibers, and cohomology/covers realize the fine-neighborhood role.

Structural Tensions¶

T1 — Identity versus admissible variation. Étale morphism must remain recognizable across legitimate variants. Admissible variation is bounded by this condition: Standard étale charts use a localized monic polynomial with invertible derivative. The stable element is expressed by this invariant: 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. Treating every surface change as a new abstraction fragments the identity, while allowing a change to the constitutive relation produces a false positive.

Diagnostic: After the proposed variation, can an analyst still establish this invariant: 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?

T2 — Recognition versus proxy. The domain needs observable or inferential evidence for Étale morphism, but the evidence is not automatically the identity. The working recognition rule is: the fine-neighborhood role — finite covers, étale topology, cohomology, and fundamental groups probing arithmetic geometry beyond Zariski-local isomorphism. A familiar indicator can occur without the defining relation, and the relation can persist when a customary detector is unavailable.

Diagnostic: Does the evidence establish the defining claim—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—or only a correlated sign?

T3 — Definition versus operational judgment. A compact definition aids reuse, whereas actual classification in algebraic geometry can require expert decisions about boundary conditions, measurements, conventions, or exceptions. A standard étale algebra has the local form (R[x]/(f))g where f is monic and its derivative becomes invertible after localization. The definition must constrain those judgments without pretending that every admissible case can be recognized from a label alone.

Diagnostic: Which observation would make a competent practitioner reject the classification under the stated definition?

T4 — Scope versus overextension. Étale morphism has a genuine habitat in which standard étale charts use a localized monic polynomial with invertible derivative. Yet Étale does not mean globally injective, open immersion, flat alone, unramified alone, or an ordinary topological covering over every field; source, target, base, finite presentation, Jacobian or differential condition, residue separability, characteristic, and any base-change step must be explicit because ramification and inseparability are relative phenomena. A useful application map therefore has to be broad enough to cover recurring practice and narrow enough to exclude merely topical or metaphorical occurrences.

Diagnostic: Can the claimed application fill the same carrier and relation roles, or has only the name traveled?

T5 — Transfer versus domain accent. Knowledge about Étale morphism can travel within its home domain, and some structural lessons may travel farther. É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. What transfers must be separated from the specialist vocabulary, warrant, and closure conditions that remain anchored in algebraic geometry.

Diagnostic: Is the receiving case a literal instance of Étale morphism, a co-instance of Relation, or only an analogy?

T6 — Autonomy versus reduction. Étale morphism is a strict specialization of Relation, but the edge does not erase the domain differentia. The broader node supplies only the necessary structural relation; algebraic geometry supplies the carrier, warrant, boundary, and exception conditions expressed by this identity: 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. The entry is over-split if those conditions add no discriminating work and under-specified if the parent alone is used for cases that require them.

Diagnostic: Can a domain expert use the added conditions to distinguish Étale morphism from another case that equally instantiates Relation?

Structural–Framed Character¶

Étale morphism is mixed: structurally specifiable but materially dependent on its disciplinary frame. Its structural side consists of the carrier the scheme morphism — algebraic-geometric map whose local behavior is under examination and the constitutive 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. Its framed side comes from algebraic geometry, which fixes what the terms denote, what counts as evidence, and when a qualification or exception defeats the classification.

Across the principal tests, the entry is not merely a free-floating pattern. Evaluative weight: the identity can be stated descriptively even when its use has practical or normative consequences. Practice dependence: the fine-neighborhood role — finite covers, étale topology, cohomology, and fundamental groups probing arithmetic geometry beyond Zariski-local isomorphism. Institutional stabilization: disciplinary conventions may stabilize the name and test without necessarily creating every underlying event or relation. Vocabulary portability: the invariant is 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. Import versus recognition: an outside case qualifies literally only if the same typed roles and collapse condition are available; otherwise the comparison is analogical.

The reusable remainder is Relation under a reviewed subsumption relation. That node preserves the necessary cross-domain organization after the algebraic geometry-specific carrier, evidence, and exceptions are removed. Étale morphism remains autonomous because its recognition and collapse conditions distinguish cases that the parent alone leaves together.

Structural Core vs. Domain Accent¶

What is skeletal. The portable skeleton is a typed carrier organized by a constitutive relation, an invariant, a recognition test, and a collapse condition. Here the carrier is the scheme morphism — algebraic-geometric map whose local behavior is under examination. The decisive relation is 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, which also states the controlling invariant at this level. Stripped of specialist nouns, this organization is represented by Relation.

What is domain-bound. algebraic geometry supplies the actual objects or agents, admissible transformations, units or conventions, standards of warrant, and named exceptions. In this case, recognition requires evidence for the fine-neighborhood role — finite covers, étale topology, cohomology, and fundamental groups probing arithmetic geometry beyond Zariski-local isomorphism. Admissible variation is bounded by the condition that standard étale charts use a localized monic polynomial with invertible derivative, and the classification collapses when étale behavior is local, and finite étale covers can have several sheets. These are constitutive differentia, not illustrative decoration.

Why it remains a domain-specific node. The reviewed DAG relation is subsumption to Relation. Outside algebraic geometry, the parent captures only the reusable structural remainder. The specialist name remains literal only where the fine-neighborhood role — finite covers, étale topology, cohomology, and fundamental groups probing arithmetic geometry beyond Zariski-local isomorphism can be established under the domain's standards of warrant.

This entry is a kind of Relation.

Immediate parent — Relation (subsumption). É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. The parent supplies the necessary broader identity—Describes associations or dependencies.—while the candidate adds the source-domain carrier, recognition rule, and failure conditions. The defining source account begins: 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.
Nearest catalog surface declined — Morphism of finite type. Its rematch score was 0.26601. Retrieval proximity did not establish synonymy or parentage; the carrier, invariant, and collapse condition remain different.
Related reasoning operations. Evidence, comparison, boundary testing, and representation can support a case without becoming additional DAG parents.

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 (59^th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Sheaves & Birational Geometry (22 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08

Not to Be Confused With¶

Relation. This is the reviewed immediate parent or structural prerequisite, not a synonym. Tell: retain Étale morphism only when the domain-specific 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. and its source-domain warrant are established; otherwise route the case to Relation.
Algebraic Space. This is the closest catalog retrieval surface, not an accepted synonym or parent. Tell: Ask which entry's carrier, invariant, and collapse test the case actually satisfies; shared vocabulary or a score of 0.772842 is insufficient.
Not necessarily a global isomorphism or one-to-one map. Étale behavior is local, and finite étale covers can have several sheets. Tell: Require the positive recognition condition that the fine-neighborhood role — finite covers, étale topology, cohomology, and fundamental groups probing arithmetic geometry beyond zariski-local isomorphism.
Not automatically an open immersion. An open immersion is étale, but étale morphisms form a broader class. Tell: Replace the familiar surface feature and test whether 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.
A detector, representation, or consequence. A method may reveal Étale morphism, a notation may describe it, and an outcome may follow from it without any of those being identical to the abstraction. Tell: Would the defining relation remain if the present detector, notation, or downstream effect changed?
A metaphorical transfer. A case outside the home domain may resemble the structure while lacking its native role types and standards of warrant. Tell: If only the general organization survives, route the comparison to Relation rather than treating it as another Étale morphism instance.

References¶

Frozen Wikipedia revision: https://en.wikipedia.org/wiki/%C3%89tale_morphism (revision 1363843591).
DOI: https://doi.org/10.1007/bf02684747
DOI: https://doi.org/10.1007/BF02732123
Supporting reference preserved in the packet: http://www.cnrtl.fr/definition/%C3%A9tale
Supporting reference preserved in the packet: http://www.numdam.org:80/numdam-bin/feuilleter?id=PMIHES_1964__20_
Supporting reference preserved in the packet: http://www.numdam.org:80/numdam-bin/feuilleter?id=PMIHES_1967__32_
Supporting reference preserved in the packet: https://archive.org/details/etalecohomology00miln
Supporting reference preserved in the packet: http://www.jmilne.org/math/CourseNotes/LEC.pdf

The frozen Wikipedia revision is discovery provenance. The cited source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; URL transport failure alone was not treated as substantive contradiction.