A space is called formally étale if every morphism has unique infinitesimal extensions for every infinitesimal thickening of .
(If there exists at least one such infinitesimal extension, it is called a formally smooth morphism. If there exists at most one such extension, it is called a formally unramified morphism. The formally étale morphisms are precisely those that are both formally smooth and formally unramified.)
Traditionally this has been considered in the context of geometry over formal duals of rings and associative algebras. This we discuss in the section (Concrete notion). But generally the notion makes sense in any context of differential cohesion. This we discuss in the section General abstract notion.
General abstract notion
be an adjoint triple of functor with a full and faithful functor that preserves the terminal object.
We may think of this as exhibiting differential cohesion (see there for details, but notice that in the notation used there we have , and ).
We think of the objects of as cohesive spaces and of the objects of as such cohesive spaces possibly equipped with infinitesimal extension.
As a class of examples that is useful to keep in mind consider a Q-category
of infinitesimal thickening of rings and let
be the corresponding Q-category of copresheaves.
For any such setup there is a canonical natural transformation
Details of this are in the section Adjoint quadruples at cohesive topos.
From this we get for every morphism in a canonical morphism
A morphism in is called formally étale if (1) is an isomorphism.
This appears as (KontsevichRosenberg, def. 5.1, prop. 22.214.171.124).
In other words, is formally étale if the -component naturality square
of the natural transformation is a pullback diagram.
An object is called formally étale if the morphism to the terminal object is formally étale.
The object is formally étale precisely if
is an isomorphism.
This appears as (KontsevichRosenberg, def. 5.3.2).
Formally étale morphisms are closed under composition.
This appears as (KontsevichRosenberg, prop. 5.4).
This follows by the pasting law for pullbacks: let and be two formally étale morphisms. Then by definition both of the small squares in
are pullback squares. Hence so is the total outer square.
Using also the other case of the pasting law, the above proof shows more:
is a commuting diagram such that and are formally étale, then also is formally étale.
Formally étale morphisms are closed under retracts.
This means that if is formally étale and
is a commuting diagram such that the two horizontal composites are identities, then also is formally étale.
By applying the natural transformation to this diagram we obtain a retract diagram in the category of squares, given by the naturality squares of on and , where the middle square is a pullback square. By this proposition at retract this implies that also the retracting square is a pullback, which means that is formally étale.
If preserves pullbacks, then formally étale morphisms are stable under pullback.
Consider a pullback diagram
where is formally étale.
Applying the natural transformation to this yields a square of squares. Two sides of this are the pasting composite
and the other two sides are the pasting composite
Counting left to right and top to bottom, we have that
the first square is a pullback by assumption on ;
the second square is a pullback, since is formally étale.
the fourth square is a pullback since is right adjoint and so also preserves pullbacks;
also the total bottom rectangle is a pullback, since it is equal to the bottom total rectangle;
therefore finally the third square is a pullback, by the pasting law, hence also is formally étale.
We discuss realizations of the above general abstract definition in concrete models of the axioms.
See also the concrete notions of formally smooth morphism and formally unramified morphism.
In differential geometry
The category SmoothMfd of smooth manifolds may naturally be thought of as sitting inside the more general context of the cohesive (∞,1)-topos Smooth∞Grpd of smooth ∞-groupoids. This is canonically equipped with a notion of infinitesimal cohesion exhibited by its inclusion into SynthDiff∞Grpd. This implies that there is an intrinsic notion of formally étale morphisms of smooth -groupoids in general and of smooth manifolds in particular
See this section for more details.
In algebraic geometry
In noncommutative geometry
See (RosenbergKontsevich, section 5.8)
formally smooth morphism and formally unramified morphism formally étale morphism
graded differential cohesion
The idea of defining étale morphisms as those that get send to a pullback square by a natural transformation goes back to lectures by André Joyal in the 1970s.
See the introduction and see section 4 of
- Eduardo Dubuc, Axiomatic etal maps and a theory of spectrum, Journal of pure and applied algebra, 149 (2000)
The identification of the natural transformation in question with that induced by an adjoint triple (“Q-categories”) and the relation to formal étaleness is observed (apparently independently?) in
Formalization and discussion in the context of cohesive (∞,1)-toposes is in section 2.5.3 (and defn 5.3.19) of