Not signed in (Sign In)

Start a new discussion

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor galois-theory gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homology homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory itex k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes science set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeFeb 21st 2012
    • (edited Feb 21st 2012)

    created immersion of smooth manifolds .

    Stated also the definition that f:XYf : X \to Y is an immersion precisely if the canonical morphism

    TXX× YTY=:f *Y T X \to X \times_Y T Y =: f^* Y

    is an injection.

    This style of writing the conditon I have now also added to submersion (where this canonical morphism is a surjection) and to local diffeomorphism (where it is an iso).

    This way of stating the condition makes most manifest that with respect to the infinitesimal cohesion i:i : Smooth∞Grpd \hookrightarrow SynthDiff∞Grpd we have

    • CommentRowNumber2.
    • CommentAuthorAndrew Stacey
    • CommentTimeFeb 21st 2012

    (Note that \eqqcolon produces \eqqcolon)

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeFeb 21st 2012


    I sort of knew this, but I always forget and am to lazy to look it up. I will try to remember it from now on.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeFeb 21st 2012
    • (edited Feb 21st 2012)

    I need to add more discussion to this:

    formally unramified in the smooth context implies immersion, but superficially is stronger: it says not just that the map on tangent spaces is an injection, but also that the map on all “higher order tangents” (formal curves, as it were) is an injection. That shouldn’t change the statement, but needs to be discussed.

    • CommentRowNumber5.
    • CommentAuthorStephan A Spahn
    • CommentTimeFeb 24th 2012
    • (edited Feb 24th 2012)
    X× YTY=:f *YX \times_Y T Y =: f^* Y

    Firstly I had some reservations against this notation (since forming ” f *ff^* f ” or the like won’t lead to any good) - but it has something to it. Has this object a name in the literature?

    How are higher order tangents τ\tau defined in the smooth context? If they were just τ=Hom(D,)\tau=Hom(D,-) for the infinitesimal smooth loci (and not just the infinitesimal standard interval) then I think formally unramified coincides with immersion if every such DD is atomic (in that τ\tau is a right adjoint).

    • CommentRowNumber6.
    • CommentAuthorAndrew Stacey
    • CommentTimeFeb 24th 2012

    Note that on the page in question it reads X× YTYf *TYX \times_Y T Y \eqqcolon f^* T Y and this is the standard notation for the pullback of a bundle by a smooth map. Indeed, it’s the pullback of the lower-right corner of the diagram just below.

  1. Ok, I just read the thread here.

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeFeb 24th 2012
    • (edited Feb 24th 2012)

    How are higher order tangents defined in the smooth context?

    Good that you ask. I should have told you about that earlier.

    Here is how it goes:

    we say a (smooth) infinitesimal thickened point is an object in the opposite category of the full sub-category of \mathbb{R}-algebras

    InfinitesimalPointAlg op InfinitesimalPoint \hookrightarrow Alg_{\mathbb{R}}^{op}

    on those whose uderlying vector space is of the form V\mathbb{R} \oplus V with VV a finite dimensional \mathbb{R}-vector space and such that all elements εV\epsilon \in V are niltpotent in the given algebra structure, i.e. such that there is nn \in \mathbb{N} with ε n=0\epsilon^n = 0.

    The basic example is the \mathbb{R}-algebra version of the ring of dual numbers ε\mathbb{R} \oplus \epsilon \mathbb{R}.

    By the Hadamard lemma this can be thought of as C ()/x 2C^\infty(\mathbb{R})/\langle x^2\rangle, where the quotient is by the ideal of smooth functions that a products with the function xx 2x \mapsto x^2. This way one sees that all these infinitesimally thickened points can uniquely be thought of as smooth loci, formal duals of smooth algebras (there is a unique smooth algebra structure on an \mathbb{R}-algebra of the above form).

    So write 𝔻\mathbb{D} for the infinitesimal point corresponding to the ring of dual numbers. By definition we say that the ring of dual numbers is the smooth algebra of smooth functions on 𝔻\mathbb{D}:

    C (𝔻):=C ()/x 2. C^\infty(\mathbb{D}) := C^\infty(\mathbb{R})/\langle x^2\rangle \,.

    This means that a morphism of smooth loci v:𝔻Xv : \mathbb{D} \to X is equivalently (by definition) a morphism of smooth algebras

    C (𝔻)C (X):v *. C^\infty(\mathbb{D}) \leftarrow C^\infty(X) : v^* \,.

    Compare this to how a point x:*Xx : * \to X is indeed the same thing as an algebra homomorphism

    =C (*)C (X):x * \mathbb{R} = C^\infty(*) \leftarrow C^\infty(X) : x^*

    (given by evaluation of functions on that point).

    Exercise: convince yourself, for XX a smooth manifold, that morphisms v:𝔻Xv : \mathbb{D} \to X are naturally identified with pairs: a point xXx \in X together with a choice of tangent vector vT xXv \in T_x X.

    (Hint: you can just work with bare \mathbb{R}-algebras for this, don’t need to regard them as smooth algebras.)

    So this says that TX=Hom(𝔻,X)T X = Hom(\mathbb{D}, X) as sets, and also as smooth spaces if we form the internal hom TX=[𝔻,X]T X = [\mathbb{D}, X].

    Now let WW be any other “algebra of functional on an infinitesimally thickened point” as above (some algebra of the form V\mathbb{R} \oplus V with VV nilpotent). Write DD for the corresponding infinitesimally thickened point. Then a “higher order tangent” in XX as given by this DD is a morphism of smooth loci

    ν:DX, \nu : D \to X \,,

    hence an algebra homomorphism

    WC (X):ν *. W \leftarrow C^\infty(X) : \nu^* \,.

    Once you are happy with the above exercise, it is immediate to see in which sense and way these morphisms are “higher order tangents” on XX.

    I have to quit now and talk to people in Göttingen. I’ll try to get back to you later this eveneing.

  2. Thanks, Urs for showing this to me - and for introducing me to the subject of synthetic differential geometry in general!

    • CommentRowNumber10.
    • CommentAuthorDavid_Corfield
    • CommentTimeJul 21st 2018

    Re #1, how does the concept of ’formal immersion’ fit in? This is

    A formal immersion FF from MM to NN is an injective bundle map TMTNT M \to T N.

    It seems to be easier to handle than the plain immersions, though in some case collections of each are weakly homotopy equivalent.

    • CommentRowNumber11.
    • CommentAuthorDavid_Corfield
    • CommentTimeJul 23rd 2018

    Added a subsection on the relation to formal immersions.

    diff, v10, current

  3. hi, the image of x is f(x)=y and it was written f(y)


    diff, v14, current

    • CommentRowNumber13.
    • CommentAuthorjim stasheff
    • CommentTimeOct 14th 2022
    Does n-lab have a page for homotopy of immersions? The obvious names I tried didn't combine the two parts.
Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)