nLab
local diffeomorphism

Contents

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

  • (shape modality \dashv flat modality \dashv sharp modality)

    (ʃ)(ʃ \dashv \flat \dashv \sharp )

  • dR-shape modality\dashv dR-flat modality

    ʃ dR dRʃ_{dR} \dashv \flat_{dR}

  • tangent cohesion

    • differential cohomology diagram
    • differential cohesion

      • (reduction modality \dashv infinitesimal shape modality \dashv infinitesimal flat modality)

        (&)(\Re \dashv \Im \dashv \&)

      • graded differential cohesion

        • fermionic modality\dashv bosonic modality \dashv rheonomy modality

          (Rh)(\rightrightarrows \dashv \rightsquigarrow \dashv Rh)

        • 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 }

          </semantics></math></div>

          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

          Last revised on October 27, 2017 at 13:54:24. See the history of this page for a list of all contributions to it.