nLab
formally smooth morphism

Skip the Navigation Links | Home Page | All Pages | Recently Revised | Authors | Feeds | Export |

Context

Étale morphisms

étale morphism (submersion, immersion)

in topology

in differential geometry

in algebraic geometry

Geometry

higher geometry / derived geometry

Ingredients

Concepts

Constructions

Examples

Theorems

Contents

Idea

A space X is called formally smooth if every morphisms Y→X into it has all possible infinitesimal extensions.

(If there is at most one extension per infinitesimal extension of Y with no guarantee of existence it is called a formally unramified morphism. If the thickenings exist uniquely, it is called a formally etale morphism).

Traditionally this has 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.

General abstract notion

Definition

Let

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

be an adjoint triple of functors with 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 * and u !=i *).

We think of the objects of H as cohesive spaces and of the objects of 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 of infinitesimal thickening of rings and let

((u *⊣u *⊣u !):H th→H):=([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:X→Y in H a canonical morphism

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

A morphism f:X→Y in H is called formally smooth if (1) is an effective epimorphism.

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

The dual notion, where the above morphism is a monomorphism is that of formally unramified morphism. If both conditions hold, hence if the above morphism is an isomorphism, one speaks of a formally étale morphism.

Definition

An object X∈H is called formally smooth if the morphism X→* to the terminal object is formally smooth.

Proposition

The object X is formally smooth precisely if

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

is an effective epimorphism.

This appears as (KontsevichRosenberg, def. 5.3.2).

Properties

Proposition

Formally smooth morphisms are closed under composition.

This appears as (KontsevichRosenberg, prop. 5.4).

Concrete notion

Over commutative rings

Let k be a field and let CAlk k be the category of commutative associative algebras over k. Write

H=[CAlg k,Set]\mathbf{H} = [CAlg_k, Set]

for the presheaf topos over the opposite category CAlg k op. This is the context in which schemes and algebraic spaces over k live.

Definition

A morphism f:X→Y in H=[CAlg k,Set] is formally smooth if it satisfies the infinitesimal lifting property: for every algebra A and nilpotent ideal I⊂A and morphism Spec(A)→Y the induced map

Hom Y(Spec(A),X)→Hom Y(Spec(A/I),X)Hom_Y(Spec(A), X)\to Hom_Y(Spec(A/I),X)

is surjective.

This is due to (EGAIV 4 17.1.1)

Proposition

An object X∈[CAlg k,Set] is formally smooth in the concrete sense of def. 3 precisely if it is so in the abstract sense of def. 1.

This appears as (KontsevichRosenbergSpaces, 4.1).

Smoothness versus formal smoothness

For a morphism f:X→Y of schemes, and x a point of X, the following are equivalent

(i) f is a smooth morphism of schemes at x

(ii) f is locally of finite presentation at x and there is an open neighborhood U⊂X of x such that f∣ U:U→Y is formally smooth

(iii) f is flat at x, locally of finite presentation at x and the sheaf of Kähler differentials Ω X/Y is locally free in a neighborhood of x

The relative dimension of f at x will equal the rank of the module of Kähler differentials.

This is (EGAIV 4 17.5.2 and 17.15.15)

Formally smooth scheme

A scheme S, i.e. a scheme over the ground ring k, is a formally smooth scheme if the corresponding morphism S→Spec(k) is a formally smooth morphism.

There is also an interpretation of formal smoothness via the formalism of Q-categories.

Over noncommutative algebras

Let k be a field and let Alg k be the category of associative algebras over k (not necessarily commutative). Let

Alg k inf:A¯→Alg kAlg_k^{inf} : \bar A \to Alg_k

be the Q-category of infinitesimal thickenings of k-algebras (whose objects are surjective k-algebra morphisms with nilpotent kernel). Notice that the presheaf topos

H:=[Alg k,Set]\mathbf{H} := [Alg_k, Set]

is the context in which noncommutative schemes live. Let H th→Q be the copresheaf Q-category over Alg k inf.

Proposition

Let f:R→S be a morphism in Alg k such that R is a separable algebra. Write Specf:SpecS→SpecR for the corresponding morphism in H=[Alg k,Set].

This Specf is formally smooth in the sense of def. 1 precisely if the S⊗ kS op-module

Ω S∣R 1:=ker(R⊗ kR→multR→fS)\Omega^1_{S|R} := ker ( R \otimes_k R \stackrel{mult}{\to} R \stackrel{f}{\to} S)

is a projective object in S⊗ kS opMod.

In particular, setting R=k we have that an object of the form SpecS is formally smooth according to def. 2 precisely if Ω 1(S∣k) is projective. This is what in (CuntzQuillen) is called the condition for a quasi-free algebra.

formally smooth morphism and formally unramified morphism ⇒ formally étale morphism.

cohesion

differential cohesion

References

The definition over commutative rings is in

The definition over noncommutative algebras is in

  • J. Cuntz, D. Quillen, Algebra extensions and nonsingularity, J. Amer. Math. Soc. 8 (1995), 251–289.

The general abstract definition and its relation to the standard definitions is in

See also

Revised on January 6, 2013 01:54:10 by Urs Schreiber (82.113.106.198)
Edit | Back in time (18 revisions) | See changes | History | Views: Print | TeX | Source | Linked from: differentiable stack, Diff, smooth infinity-groupoid, smooth algebra, CartSp, differential geometry, geometry, Klein 2-geometry, smooth Lorentzian space, generalized complex geometry, etale space, diffeological space, path groupoid, synthetic differential geometry, Lie group, local homeomorphism, 2009 July changes, smooth space, differential form, diffeomorphism, formally smooth morphism, cotangent bundle, tangent bundle, Models for Smooth Infinitesimal Analysis, 2009 August changes, smooth morphism of schemes, diffiety, cartesian space, infinitesimal object, de Rham complex, Riemannian manifold, formally smooth scheme, de Rham space, Q-category, de Rham theorem, isometry, synthetic differential supergeometry, Kock-Lawvere axiom, Euclidean geometry, microlinear space, synthetic differential geometry - contents, Tietze extension theorem, pseudo-Riemannian metric, Poincare group, Christoffel symbols, Riemannian metric, vector field, Levi-Civita connection, pseudo-Riemannian manifold, Riemannian geometry, etale morphism of schemes, Riemann surface, Banach manifold, foliation, Fermat theory, smooth loop space, local Lie group, exotic smooth structure, geodesic, differentiable map, differential equation, etale map, Hadamard lemma, tubular neighbourhood, spin connection, jet space, ordinary differential equation, D-geometry, Hodge star operator, Klein geometry, Cartan geometry, normal bundle, manifold structure of mapping spaces, smooth manifold, smooth map, variational calculus, volume form, Poincare lemma, Cahiers topos, smooth algebra in algebraic sense, Lie derivative, submersion, complex geometry, Lie group cohomology, bundle 2-gerbe, ball, vielbein, infinitesimally thickened point, Stokes theorem, coisotropic submanifold, differentiation, chain rule, holonomy groupoid, Steenrod-Wockel approximation theorem, symmetric space, formally etale morphism, Jacobian, etale site, Tannaka duality for Lie groupoids, smooth infinity-groupoid -- structures, formally unramified morphism, D-scheme, Boman's theorem, synthetic differential infinity-groupoid, diffeomorphism group, formal smooth manifold, Laplace operator, wave equation, cohesive (infinity,1)-topos -- infinitesimal cohesion, differential calculus, jet bundle, complex manifold, critical point, complex structure, local diffeomorphism, immersion, timelike curve, concrete smooth infinity-groupoid, orthogonal structure, C-infinity topology, infinite-dimensional manifold, Borel's theorem, Cauchy surface, Killing vector, Killing spinor, torsion of a metric connection, formally smooth object, higher Klein geometry, gradient flow, foliation of a Lie algebroid, kinematic tangent space, contents of contents, moduli space of Riemannian metrics, isometry group, Killing-Yano tensor, moment of inertia, special holonomy, Ricci flow, Morse homology, gradient, angular velocity, Euler-Arnold equation, invariant differential form, divergence, curl, tensor, on the manifold structure of singular loops, Killing tensor, etale morphisms - contents, Knizhnik-Zamolodchikov equation, derived differential geometry, higher differential geometry, exceptional generalized geometry, bump function, integration of differential forms, immersion of smooth manifolds, Einstein tensor, convenient manifold, coreduced object, ILH manifold, smooth groupoid, generalized vielbein, generalized tangent bundle, type II geometry, canonical bundle, Theta characteristic, Hilbert manifold, The Geometry of Physics - An Introduction, almost Hermitian structure, synthetic differential super infinity-groupoid, maximal torus, pullback of a differential form, Riemann normal coordinates, geometry of physics, motivation for higher differential geometry, generalized G2-manifold, smooth superalgebra, rigidification of a stack, reduced object, differential homotopy type theory, nonabelian Stokes theorem, Dolbeault complex, Berger's theorem, Bn-geometry, singular foliation, Hitchin functional, associative 3-form, operational tangent space, density, Weyl group, Bott connection, double Lie groupoid, Lie algebroid-groupoid, foliation of a Lie groupoid, synthetic tangent bundle