nLab formally unramified morphism



Étale morphisms




A space XX is called formally unramified if every morphism YXY \to X into it has for every infinitesimal thickening of YY at most one infinitesimal extension.

(If all thickenings exist it is called a formally smooth morphism. If the thickening exist uniquely, it is called a formally etale morphism.)

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 infinitesimal cohesion. This we discuss in the section General abstract notion.

The concept of formally unramified morphisms is the infinitesimal version of that of unramified morphisms.

General abstract notion



Hu !u *u *H th \mathbf{H} \stackrel{\overset{u^*}{\hookrightarrow}}{\stackrel{\overset{u_*}{\leftarrow}}{\underset{u^!}{\to}}} \mathbf{H}_{th}

be a triple of adjoint functors with u *u^* a full and faithful functor that preserves the terminal object.

We may think of this as exhibiting infinitesimal cohesion (see there for details, but notice that in the notation used there we have u *=i !u^* = i_!, u *=i *u_* = i^* and u !=i *u^! = i_*).

We think of the objects of H\mathbf{H} as cohesive spaces and of the objects of H th\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 (codϵdom):A¯A(cod \dashv \epsilon \dashv dom) : \bar A \to A of infinitesimal thickening of rings and let

((u *u *u !):H thH):=([dom,Set][ϵ,Set][codom,Set]:[A¯,Set][A,Set]) ((u^* \dashv u_* \dashv u^!) : \mathbf{H}_{th} \to \mathbf{H}) := ([dom,Set] \dashv [\epsilon, Set] \dashv [codom,Set] : [\bar A, Set] \to [A,Set])

be the corresponding Q-category of copresheaves.

For any such setup there is a canonical natural transformation

u *u !. u^* \to u^! \,.

Details of this are in the section Adjoint quadruples at cohesive topos.

From this we get for every morphism f:XYf : X \to Y in H\mathbf{H} a canonical morphism

(1)u *Xu *Y u !Yu !X. u^* X \to u^* Y \prod_{u^! Y} u^! X \,.

A morphism f:XYf : X \to Y in H\mathbf{H} is called formally unramified if (1) is a monomorphism.

This appears as (KontsevichRosenberg, def. 5.1, prop.

The dual notion, where the morphism is required to be an epimorphism is that of formally smooth morphisms. If both conditions hold, hence if the morphism is in fact an isomorphism, one speaks of formally etale morphisms.


An object XHX \in \mathbf{H} is called formally unramified if the morphism X*X \to * to the terminal object is formally unramified.


The object XX is formally unramified precisely if

u *Xu !X u^* X \to u^! X

is a monomorphism.

This appears as (KontsevichRosenberg, def. 5.3.2).



Formally unramified morphisms are closed under composition.

This appears as (KontsevichRosenberg, prop. 5.4).

Concrete notion

For the moment see the discussion at unramified morphism.

Last revised on October 4, 2020 at 03:48:39. See the history of this page for a list of all contributions to it.