higher geometry / derived geometry
geometric little (∞,1)-toposes
geometric big (∞,1)-toposes
derived smooth geometry
=–
A morphisms of spaces $X \overset{p}{\longrightarrow} Y$ is called formally étale if it has a lifting property as étale spaces do locally, but for infinitesmal extensions: If for $Z \overset{f}{\to} Y$ any morphism and $\Re(Z) \to X$ a lift of its restriction along its reduction $\Re(Z) \to Z$, there is a unique extension to a complete lift.
(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.
Let
be an adjoint triple of functor with $u^*$ 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 $u^* = i_!$, $u_* = i^*$ and $u^! = i_*$).
We think of the objects of $\mathbf{H}$ as cohesive spaces and of the objects of $\mathbf{H}_{th}$ 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 $f : X \to Y$ in $\mathbf{H}$ a canonical morphism
A morphism $f : X \to Y$ in $\mathbf{H}$ is called formally étale if (1) is an isomorphism.
This appears as (KontsevichRosenberg, def. 5.1, prop. 5.3.1.1).
In other words, $f$ is formally étale if the $f$-component naturality square
of the natural transformation $\phi$ is a pullback diagram.
The partial notions of this condition are: if the above morphism is a monomorphism then $f$ is a formally unramified morphism, if it is an epimorphism then $f$ is a formally smooth morphism.
An object $X \in \mathbf{H}$ is called formally étale if the morphism $X \to *$ to the terminal object is formally étale.
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 $f : X \to Y$ and $g : Y \to Z$ 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:
If
is a commuting diagram such that $g$ and $h$ are formally étale, then also $f$ is formally étale.
Formally étale morphisms are closed under retracts.
This means that if $f : X \to Y$ is formally étale and
is a commuting diagram such that the two horizontal composites are identities, then also $p$ is formally étale.
By applying the natural transformation $\phi : u^* \to u^!$ to this diagram we obtain a retract diagram in the category of squares, given by the naturality squares of $\phi$ on $f$ and $p$, 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 $p$ is formally étale.
If $u^*$ preserves pullbacks, then formally étale morphisms are stable under pullback.
Consider a pullback diagram
where $f$ is formally étale.
Applying the natural transformation $\phi : u^* \to u^!$ 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 $u^*$;
the second square is a pullback, since $f$ is formally étale.
the fourth square is a pullback since $u^!$ 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 $p$ 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.
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 $\infty$-groupoids in general and of smooth manifolds in particular
A smooth function is a formally étale morphism in this sense precisely if it is a local diffeomorphism in the traditional sense.
See this section for more details.
See (RosenbergKontsevich, section 5.8)
formally smooth morphism and formally unramified morphism $\Rightarrow$ formally étale morphism
(shape modality $\dashv$ flat modality $\dashv$ sharp modality)
$(ʃ \dashv \flat \dashv \sharp )$
dR-shape modality $\dashv$ dR-flat modality
$ʃ_{dR} \dashv \flat_{dR}$
(reduction modality $\dashv$ infinitesimal shape modality $\dashv$ infinitesimal flat modality)
$(\Re \dashv \Im \dashv \&)$
fermionic modality $\dashv$ bosonic modality $\dashv$ rheonomy modality
$(\rightrightarrows \dashv \rightsquigarrow \dashv Rh)$
The idea of defining étale morphisms $f$ 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
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