nLab
local diffeomorphism

Context

Étale morphisms

Differential geometry

synthetic differential geometry

Introductions

from point-set topology to differentiable manifolds

geometry of physics: coordinate systems, smooth spaces, manifolds, smooth homotopy types, supergeometry

Differentials

V-manifolds

smooth space

Tangency

The magic algebraic facts

Theorems

Axiomatics

cohesion

tangent cohesion

differential cohesion

graded differential cohesion

id id fermionic bosonic bosonic Rh rheonomic reduced infinitesimal infinitesimal & étale cohesive ʃ discrete discrete continuous * \array{ && id &\dashv& id \\ && \vee && \vee \\ &\stackrel{fermionic}{}& \rightrightarrows &\dashv& \rightsquigarrow & \stackrel{bosonic}{} \\ && \bot && \bot \\ &\stackrel{bosonic}{} & \rightsquigarrow &\dashv& Rh & \stackrel{rheonomic}{} \\ && \vee && \vee \\ &\stackrel{reduced}{} & \Re &\dashv& \Im & \stackrel{infinitesimal}{} \\ && \bot && \bot \\ &\stackrel{infinitesimal}{}& \Im &\dashv& \& & \stackrel{\text{étale}}{} \\ && \vee && \vee \\ &\stackrel{cohesive}{}& ʃ &\dashv& \flat & \stackrel{discrete}{} \\ && \bot && \bot \\ &\stackrel{discrete}{}& \flat &\dashv& \sharp & \stackrel{continuous}{} \\ && \vee && \vee \\ && \emptyset &\dashv& \ast }

Models

Lie theory, ∞-Lie theory

differential equations, variational calculus

Chern-Weil theory, ∞-Chern-Weil theory

Cartan geometry (super, higher)

Contents

Definition

Definition

A smooth function f:XYf : X \to Y between two smooth manifolds is a local diffeomorphism if the following equivalent conditions hold

The equivalence of the conditions on tangent space with the conditions on open subsets follows by the inverse function theorem.

Remark

An analogous characterization of étale morphisms between affine algebraic varieties is given by tangent cones. See there.

Properties

General

Abstract characterization

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 differential 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

Proposition

A smooth function is a formally étale morphism in this sense precisely if it is a local diffeomorphism.

See this section for more details.

References

Discussion in the synthetic differential geometry of the Cahiers topos is in

Revised on October 27, 2017 13:54:24 by Urs Schreiber (46.183.103.8)