Not signed in

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

• Username
• Password
• Remember me

• Sign in using OpenID
• Remember me

• Forgot your password?
• Apply for membership

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 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 homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory internal-categories k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure 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 set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeFeb 27th 2011
   • PermaLink
   Author: Urs
   Format: MarkdownItexstub for [[jet bundle]]

   stub for jet bundle

2. • CommentRowNumber2.
   • CommentAuthorMike Shulman
   • CommentTimeApr 21st 2014
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexThere seems to be a bit of a contradiction between what is said at [[jet bundle]] and at [[jet space]] about the meaning of "jet bundle". At [[jet bundle]] it is said that a jet bundle consists of sections of a given map $p:P\to X$, with the fiber over $x\in X$ being the jets of germs of sections defined in neighborhoods of $x$; so that in particular, the jet bundle is a bundle over the *domain* of the jets. But at [[jet space]] it is said that jet spaces and bundles generalize tangent spaces and bundles by replacing order-1 equivalence of curves by order-k equivalence of maps with an arbitrary domain, which would suggest that a "jet bundle" would be, like a tangent bundle, a bundle over the *codomain* of the jets.

   There seems to be a bit of a contradiction between what is said at jet bundle and at jet space about the meaning of “jet bundle”. At jet bundle it is said that a jet bundle consists of sections of a given map $p:P\to X$, with the fiber over $x\in X$ being the jets of germs of sections defined in neighborhoods of $x$; so that in particular, the jet bundle is a bundle over the domain of the jets. But at jet space it is said that jet spaces and bundles generalize tangent spaces and bundles by replacing order-1 equivalence of curves by order-k equivalence of maps with an arbitrary domain, which would suggest that a “jet bundle” would be, like a tangent bundle, a bundle over the codomain of the jets.

3. • CommentRowNumber3.
   • CommentAuthorMichael_Bachtold
   • CommentTimeApr 21st 2014
   • (edited Apr 21st 2014)
   • PermaLink
   Author: Michael_Bachtold
   Format: MarkdownItexObserve that a jet bundle is also a bundle over the codomain $ P $ of the sections of $p$. The page on jet space does not give a precise definition, but sometimes I have heard the terminology "jet space" used for the case of jets of maps from some domain $X$ to a codomain $Y$, which can be considered a special case of the jet bundle of the trivial (non dependent) bundle $p: X\times Y \to X$.

   Observe that a jet bundle is also a bundle over the codomain $P$ of the sections of $p$. The page on jet space does not give a precise definition, but sometimes I have heard the terminology “jet space” used for the case of jets of maps from some domain $X$ to a codomain $Y$, which can be considered a special case of the jet bundle of the trivial (non dependent) bundle $p: X\times Y \to X$.

4. • CommentRowNumber4.
   • CommentAuthorMichael_Bachtold
   • CommentTimeApr 21st 2014
   • (edited Apr 21st 2014)
   • PermaLink
   Author: Michael_Bachtold
   Format: MarkdownItexBy the way, I think your observation (from the cojet differential forms thread), that the infinite order jets are the cofree T-coalgebra, generalizes straightforwardly to jet bundles. One only needs to replace the tangent functor with the functor $J^1$. It might be nice to add that to the nlab page. Here is a suggested stub, feel free to expand or modify to fit the nlab style: The infinite order jet bundle as the cofree $J^1$-coalgebra: Let $J^1$ be the functor on bundles over $X$ sending a bundle $p:P\to X$ to the bundle $J^1 p: J^1 P \to X$ of first order jets of sections of $p$. This functor is co-pointed: the natural projection $J^1 P \to P$ forgets first order information. A $J^1$-coalgebra is then by definition a bundle $p:P\to X$ with a bundle map $P\to J^1 P$, which is the same as a connection on $P$. Whit this, the infinite order jet bundle of sections of $p$ may be defined as the cofree $ J^1$-coalgebra on $P$. By definition it comes with a bundle map $p_\infty: J^\infty P \to P$ ("forgetting all higher order information") and a universal connection $C: J^\infty P \to J^1( J^\infty P)$ sometimes called the Cartan connection or infinite order contact structure on $J^\infty P$. The universal property of this cofree $ J^1$-coalgebra states that for any bundle $q:Q\to X$ with connection $K: Q \to J^1 Q$ and bundle map $\varphi: Q\to P$, there exists a unique prolongation of $\varphi$ denoted with $j^\infty \varphi: Q \to J^\infty P$ commuting with all given maps: $p_\infty \circ j^\infty \varphi =\varphi $ and $J^1(j^\infty \varphi)\circ K= C \circ j^\infty \varphi$. In the particular case when $q:Q\to X$ is the identity $X\to X$ with its canonical connection, then a morphisms of bundles $\varphi$ from $q$ to $p$ is the same as a section of $p$ and $j^\infty \varphi$ is what is traditionally called the infinite jet of the section $\varphi$.

   By the way, I think your observation (from the cojet differential forms thread), that the infinite order jets are the cofree T-coalgebra, generalizes straightforwardly to jet bundles. One only needs to replace the tangent functor with the functor $J^1$. It might be nice to add that to the nlab page. Here is a suggested stub, feel free to expand or modify to fit the nlab style:

   The infinite order jet bundle as the cofree $J^1$-coalgebra: Let $J^1$ be the functor on bundles over $X$ sending a bundle $p:P\to X$ to the bundle $J^1 p: J^1 P \to X$ of first order jets of sections of $p$. This functor is co-pointed: the natural projection $J^1 P \to P$ forgets first order information. A $J^1$-coalgebra is then by definition a bundle $p:P\to X$ with a bundle map $P\to J^1 P$, which is the same as a connection on $P$. Whit this, the infinite order jet bundle of sections of $p$ may be defined as the cofree $J^1$-coalgebra on $P$. By definition it comes with a bundle map $p_\infty: J^\infty P \to P$ (“forgetting all higher order information”) and a universal connection $C: J^\infty P \to J^1( J^\infty P)$ sometimes called the Cartan connection or infinite order contact structure on $J^\infty P$. The universal property of this cofree $J^1$-coalgebra states that for any bundle $q:Q\to X$ with connection $K: Q \to J^1 Q$ and bundle map $\varphi: Q\to P$, there exists a unique prolongation of $\varphi$ denoted with $j^\infty \varphi: Q \to J^\infty P$ commuting with all given maps: $p_\infty \circ j^\infty \varphi =\varphi$ and $J^1(j^\infty \varphi)\circ K= C \circ j^\infty \varphi$.

   In the particular case when $q:Q\to X$ is the identity $X\to X$ with its canonical connection, then a morphisms of bundles $\varphi$ from $q$ to $p$ is the same as a section of $p$ and $j^\infty \varphi$ is what is traditionally called the infinite jet of the section $\varphi$.

5. • CommentRowNumber5.
   • CommentAuthorUrs
   • CommentTimeApr 22nd 2014
   • PermaLink
   Author: Urs
   Format: MarkdownItexre #2 (since it's likely that I wrote this): I entirely agree that this is stated suboptimally and would deserve to be improved. Do you have time to edit it? I might find time only later...

   re #2 (since it’s likely that I wrote this): I entirely agree that this is stated suboptimally and would deserve to be improved.

   Do you have time to edit it? I might find time only later…

6. • CommentRowNumber6.
   • CommentAuthorUrs
   • CommentTimeApr 22nd 2014
   • PermaLink
   Author: Urs
   Format: MarkdownItexre #4: you should feel invited to add this to the $n$Lab right away

   re #4: you should feel invited to add this to the $n$Lab right away

7. • CommentRowNumber7.
   • CommentAuthorDavid_Corfield
   • CommentTimeApr 22nd 2014
   • (edited Apr 22nd 2014)
   • PermaLink
   Author: David_Corfield
   Format: MarkdownItexIs there anything new in #4 for the 'abstract general' perspective of [jet bundle](jet%20bundle#general_abstract)? While on that page, in $$ Jet : \mathbf{H}/X \stackrel{\overset{i^*}{\leftarrow}}{\underset{Jet := i_*}{\to}} \mathbf{H}_{\mathbf{\Pi}_{inf}}(X) $$ is $\mathbf{H}_{\mathbf{\Pi}_{inf}}(X)$ a notational variant of $\mathbf{H}/\mathbf{\Pi}_{inf}(X)$? Then one can see the right hand side as a cofree coalgebra of sorts?

   Is there anything new in #4 for the ’abstract general’ perspective of jet bundle?

   While on that page, in

   $$Jet : \mathbf{H}/X \stackrel{\overset{i^*}{\leftarrow}}{\underset{Jet := i_*}{\to}} \mathbf{H}_{\mathbf{\Pi}_{inf}}(X)$$

   is $\mathbf{H}_{\mathbf{\Pi}_{inf}}(X)$ a notational variant of $\mathbf{H}/\mathbf{\Pi}_{inf}(X)$?

   Then one can see the right hand side as a cofree coalgebra of sorts?

8. • CommentRowNumber8.
   • CommentAuthorUrs
   • CommentTimeApr 22nd 2014
   • PermaLink
   Author: Urs
   Format: MarkdownItexAh, sorry for the notation mismatch, I have fixed it now. Yes, as the text did say, this was meant to denote the base change between the slice $\infty$-toposes. So $i \colon X \to \mathbf{\Pi}_{inf}(X)$ is meant to denote the unit of the [[infinitesimal shape modality]] and $(i_! \dashv i^\ast \dashv i_\ast) \colon \mathbf{H}_{/X}\to \mathbf{H}_{/\mathbf{\Pi}_{inf}(X)}$ is the induced [[base change]] (dependent sum $\dashv$ context extension $\dashv$ dependent product). As implicit in Beilinson-Drinfeld and as amplified more abstractly on p. 6 of Lurie's "Notes on crystals and D-modules" ([pdf](http://www.math.harvard.edu/~gaitsgde/grad_2009/SeminarNotes/Nov17-19%28Crystals%29.pdf)) the jet bundle construction is $i_\ast$ if one regards the jet bundle with its crystal structure, and it is the comonad construction $i^\ast i_\ast$ if regarded as a bundle over the original base. So $Jet(P) \simeq i^\ast i_\ast(P)$ and in this sense this is, too, a cofree coalgebra construction.

   Ah, sorry for the notation mismatch, I have fixed it now. Yes, as the text did say, this was meant to denote the base change between the slice $\infty$-toposes.

   So $i \colon X \to \mathbf{\Pi}_{inf}(X)$ is meant to denote the unit of the infinitesimal shape modality and $(i_! \dashv i^\ast \dashv i_\ast) \colon \mathbf{H}_{/X}\to \mathbf{H}_{/\mathbf{\Pi}_{inf}(X)}$ is the induced base change (dependent sum $\dashv$ context extension $\dashv$ dependent product).

   As implicit in Beilinson-Drinfeld and as amplified more abstractly on p. 6 of Lurie’s “Notes on crystals and D-modules” (pdf) the jet bundle construction is $i_\ast$ if one regards the jet bundle with its crystal structure, and it is the comonad construction $i^\ast i_\ast$ if regarded as a bundle over the original base. So $Jet(P) \simeq i^\ast i_\ast(P)$ and in this sense this is, too, a cofree coalgebra construction.

9. • CommentRowNumber9.
   • CommentAuthorMike Shulman
   • CommentTimeApr 22nd 2014
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexre #4, that's also interesting, but it doesn't seem to me to be actually a *generalization* of the observation in the other thread, because of the mismatch mentioned in #2. You're talking about the jet bundle as a bundle over the domain, whereas the jets I was talking about are bundles over the codomain. Or am I confused? as to how to fix #2, I'm not sure --- it depends on how the term "jet bundle" is most often used in the literature. And if we call one of these the "jet bundle" then what is left to call the other one? (Also, should we maybe merge the pages [[jet bundle]] and [[jet space]]?)

   re #4, that’s also interesting, but it doesn’t seem to me to be actually a generalization of the observation in the other thread, because of the mismatch mentioned in #2. You’re talking about the jet bundle as a bundle over the domain, whereas the jets I was talking about are bundles over the codomain. Or am I confused?

   as to how to fix #2, I’m not sure — it depends on how the term “jet bundle” is most often used in the literature. And if we call one of these the “jet bundle” then what is left to call the other one? (Also, should we maybe merge the pages jet bundle and jet space?)

10. • CommentRowNumber10.
    • CommentAuthorDavid_Corfield
    • CommentTimeApr 23rd 2014
    • PermaLink
    Author: David_Corfield
    Format: MarkdownItexI'm confused. Re #2 >...at jet space it is said that jet spaces and bundles generalize tangent spaces and bundles by replacing order-1 equivalence of curves by order-k equivalence of maps with an arbitrary domain, which would suggest that a “jet bundle” would be, like a tangent bundle, a bundle over the codomain of the jets. But [[tangent bundle]] has >The tangent bundle $T X \to X$ of a space $X$ is a bundle over $X$ whose fiber over a point $x \in X$ is a collection of infinitesimal curves in $X$ emanating at $x$ Doesn't that suggest a bundle over the domain?

    I’m confused. Re #2

    …at jet space it is said that jet spaces and bundles generalize tangent spaces and bundles by replacing order-1 equivalence of curves by order-k equivalence of maps with an arbitrary domain, which would suggest that a “jet bundle” would be, like a tangent bundle, a bundle over the codomain of the jets.

    But tangent bundle has

    The tangent bundle $T X \to X$ of a space $X$ is a bundle over $X$ whose fiber over a point $x \in X$ is a collection of infinitesimal curves in $X$ emanating at $x$

    Doesn’t that suggest a bundle over the domain?

11. • CommentRowNumber11.
    • CommentAuthorMichael_Bachtold
    • CommentTimeApr 23rd 2014
    • (edited Apr 23rd 2014)
    • PermaLink
    Author: Michael_Bachtold
    Format: MarkdownItexre Urs #6: I went ahead and added it, expanding it a bit with the sequential construction discussed in the other [thread](http://nforum.mathforge.org/discussion/5817/cojet-differential-forms/?Focus=46198#Comment_46198). I also moved what used to be in the idea section to the concrete definition and added a few lines to the idea section. I hope that is ok. I feel somewhat uncomfortable for adding those things since I can't relate them yet to the general abstract definition. Feel free to revert any changes. re Mike #9: concerning the codomain domain question, maybe it's me who has not understood the issue. I think I can put the jets from the other [thread](http://nforum.mathforge.org/discussion/5817/cojet-differential-forms/?Focus=46198#Comment_46198) into the setting of jets of bundles: you considered jets of maps from the line $\mathbb{R}$ to some space $X$ at $0\in \mathbb{R}$. If you take the trivial bundle $p: \mathbb{R}\times X\to \mathbb{R}$ this should correspond to the fiber of what I called $J^\infty P \to \mathbb{R}$ over the base point $0 \in \mathbb{R}$. So you are right that it's strictly not a special case of a jet bundle (unless maybe we replace $\mathbb{R}$ with its infinitesimal nbhd around $0$).

    re Urs #6: I went ahead and added it, expanding it a bit with the sequential construction discussed in the other thread. I also moved what used to be in the idea section to the concrete definition and added a few lines to the idea section. I hope that is ok. I feel somewhat uncomfortable for adding those things since I can’t relate them yet to the general abstract definition. Feel free to revert any changes.

    re Mike #9: concerning the codomain domain question, maybe it’s me who has not understood the issue. I think I can put the jets from the other thread into the setting of jets of bundles: you considered jets of maps from the line $\mathbb{R}$ to some space $X$ at $0\in \mathbb{R}$. If you take the trivial bundle $p: \mathbb{R}\times X\to \mathbb{R}$ this should correspond to the fiber of what I called $J^\infty P \to \mathbb{R}$ over the base point $0 \in \mathbb{R}$. So you are right that it’s strictly not a special case of a jet bundle (unless maybe we replace $\mathbb{R}$ with its infinitesimal nbhd around $0$).

12. • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeApr 23rd 2014
    • (edited Apr 23rd 2014)
    • PermaLink
    Author: Urs
    Format: MarkdownItexMike is right, the usual way to speak is to regard jet bundles as bundles over the domain of the maps whose derivatives are considered. I.e. the jet bundle of a bundle $P \to X$ is itself a bundle over $X$. Those paragraphs comparing to the tangent bundle are not well formulated. I can try to have a go at improving it sometime later. But feel invited to have a go yourself (any one of you) if you feel you have the energy. (Spare time, where art thou?)

    Mike is right, the usual way to speak is to regard jet bundles as bundles over the domain of the maps whose derivatives are considered. I.e. the jet bundle of a bundle $P \to X$ is itself a bundle over $X$. Those paragraphs comparing to the tangent bundle are not well formulated. I can try to have a go at improving it sometime later. But feel invited to have a go yourself (any one of you) if you feel you have the energy. (Spare time, where art thou?)

13. • CommentRowNumber13.
    • CommentAuthorMike Shulman
    • CommentTimeApr 23rd 2014
    • PermaLink
    Author: Mike Shulman
    Format: MarkdownItex> Doesn't that suggest a bundle over the domain? A curve *in* $X$ is a curve whose *codomain* is $X$. "Emanating at $x$" is perhaps a bit confusing, but it means we consider only such curves that map a fixed point in their domain (usually $0$) to $x$. > So you are right that it’s strictly not a special case of a jet bundle Good, I'm not confused then. But I also see your point that the "most general" thing to say is that the jet bundle of a bundle $E\to X$ is a bundle over $E$, since then the "usual" (as Urs says) bundle would be the composite $J E \to E \to X$, while in the case of a trivial bundle $E=X\times Y$ the "other" bundle would be $J(X\times Y)\to X\times Y\to Y$. > I feel somewhat uncomfortable for adding those things since I can’t relate them yet to the general abstract definition. You should not! For one thing, the onus should rather be on the general abstract definition to be related to the traditional concrete definition. But more importantly, the inability to write *more* should never get in the way of writing *something*; the nLab is always a work in progress.

    Doesn’t that suggest a bundle over the domain?

    A curve in $X$ is a curve whose codomain is $X$. “Emanating at $x$” is perhaps a bit confusing, but it means we consider only such curves that map a fixed point in their domain (usually $0$) to $x$.

    So you are right that it’s strictly not a special case of a jet bundle

    Good, I’m not confused then. But I also see your point that the “most general” thing to say is that the jet bundle of a bundle $E\to X$ is a bundle over $E$, since then the “usual” (as Urs says) bundle would be the composite $J E \to E \to X$, while in the case of a trivial bundle $E=X\times Y$ the “other” bundle would be $J(X\times Y)\to X\times Y\to Y$.

    I feel somewhat uncomfortable for adding those things since I can’t relate them yet to the general abstract definition.

    You should not! For one thing, the onus should rather be on the general abstract definition to be related to the traditional concrete definition. But more importantly, the inability to write more should never get in the way of writing something; the nLab is always a work in progress.

14. • CommentRowNumber14.
    • CommentAuthorMike Shulman
    • CommentTimeApr 23rd 2014
    • PermaLink
    Author: Mike Shulman
    Format: MarkdownItexIt's nice to nail down the standard meaning of "jet bundle", but it would also be nice to have a name for the sort of "jet thingy" in the other thread, i.e. the fiber over $0$ of the jet bundle of the trivial bundle $\mathbb{R}\times X\to \mathbb{R}$, regarded as a bundle over $X$. Is this by any chance what a "jet space" is (or could be)?

    It’s nice to nail down the standard meaning of “jet bundle”, but it would also be nice to have a name for the sort of “jet thingy” in the other thread, i.e. the fiber over $0$ of the jet bundle of the trivial bundle $\mathbb{R}\times X\to \mathbb{R}$, regarded as a bundle over $X$. Is this by any chance what a “jet space” is (or could be)?

15. • CommentRowNumber15.
    • CommentAuthorDavid_Corfield
    • CommentTimeApr 23rd 2014
    • (edited Apr 23rd 2014)
    • PermaLink
    Author: David_Corfield
    Format: MarkdownItexOh, I see. So there's really quite a generalization going on from tangent bundle to jet bundle in the sense here: from (1) tangent bundle of manifold to (2) jet bundle of manifold and (3) jet spaces for general maps between manifolds, and then finally to (4) jet bundle of bundle. As it stands [[jet bundle]] seems to cover (3) (in the case of submersions) and (4). Hmm, couldn't there also be a jet construction to complete an analogous move from (1) tangent $(\infty, 1)$-category to (2) jet $(\infty, 1)$-category to (3) some jet thing for a mapping between $(\infty, 1)$-categories and then to (4) a jet thing for an $(\infty, 1)$-module bundle?

    Oh, I see.

    So there’s really quite a generalization going on from tangent bundle to jet bundle in the sense here: from (1) tangent bundle of manifold to (2) jet bundle of manifold and (3) jet spaces for general maps between manifolds, and then finally to (4) jet bundle of bundle.

    As it stands jet bundle seems to cover (3) (in the case of submersions) and (4).

    Hmm, couldn’t there also be a jet construction to complete an analogous move from (1) tangent $(\infty, 1)$-category to (2) jet $(\infty, 1)$-category to (3) some jet thing for a mapping between $(\infty, 1)$-categories and then to (4) a jet thing for an $(\infty, 1)$-module bundle?

16. • CommentRowNumber16.
    • CommentAuthorMichael_Bachtold
    • CommentTimeApr 23rd 2014
    • PermaLink
    Author: Michael_Bachtold
    Format: MarkdownItexre Mike 14#: the people I've heard talk about jets (Vinogradov and collaborators) used the terms jet bundles and jet spaces almost interchangeably. They might call the total space of the jet bundle $J^k P$ a jet **space** when the bundle structure was of no relevance. And I would certainly call that jet thingy from the other thread a jet space (or even jet bundle over $X$). But maybe in other parts of mathematics people use the terminology more restrictively. I think in algebraic geometry people mean jets of arcs (maps from some one dimensional thing to some space $X$) when they say jet space, which seems to agree with your suggested use of the term. re David #15: currently [[jet bundle]] is not explicitly covering (3) (jet spaces for maps between manifolds). I've added the following below the concrete definition: In the case when $p$ is a trivial bundle $p:X\times Y \to X$ its sections are canonically in bijection with maps from $X$ to $Y$ and two sections have the same partial derivatives iff the partial derivatives of the corresponding maps from $X$ to $Y$ agree. So in this case the jet space $J^k P$ is the space of jets of maps from $X$ to $Y$ and commonly denoted with $J^k(X,Y)$.

    re Mike 14#: the people I’ve heard talk about jets (Vinogradov and collaborators) used the terms jet bundles and jet spaces almost interchangeably. They might call the total space of the jet bundle $J^k P$ a jet space when the bundle structure was of no relevance. And I would certainly call that jet thingy from the other thread a jet space (or even jet bundle over $X$). But maybe in other parts of mathematics people use the terminology more restrictively. I think in algebraic geometry people mean jets of arcs (maps from some one dimensional thing to some space $X$) when they say jet space, which seems to agree with your suggested use of the term.

    re David #15: currently jet bundle is not explicitly covering (3) (jet spaces for maps between manifolds). I’ve added the following below the concrete definition:

    In the case when $p$ is a trivial bundle $p:X\times Y \to X$ its sections are canonically in bijection with maps from $X$ to $Y$ and two sections have the same partial derivatives iff the partial derivatives of the corresponding maps from $X$ to $Y$ agree. So in this case the jet space $J^k P$ is the space of jets of maps from $X$ to $Y$ and commonly denoted with $J^k(X,Y)$.

17. • CommentRowNumber17.
    • CommentAuthorMike Shulman
    • CommentTimeApr 23rd 2014
    • PermaLink
    Author: Mike Shulman
    Format: MarkdownItexThanks Michael. Do you have any suggestions for terminology that would refer specifically to the jet thingy from the other thread? The "tangent jet bundle of $X$"? "Arc jet bundle"? "Curve jet bundle"?

    Thanks Michael. Do you have any suggestions for terminology that would refer specifically to the jet thingy from the other thread? The “tangent jet bundle of $X$”? “Arc jet bundle”? “Curve jet bundle”?

18. • CommentRowNumber18.
    • CommentAuthorMichael_Bachtold
    • CommentTimeApr 24th 2014
    • PermaLink
    Author: Michael_Bachtold
    Format: MarkdownItexI'm not 100% sure if that arc jet bundle I once read about was really the same, and otherwise I had not explicitly encountered that jet thingy before. Might it be reasonable to call it the space of infinitesimal paths (of higher oder) in $X$? It seems to be related to things at [[infinitesimal interval object]].

    I’m not 100% sure if that arc jet bundle I once read about was really the same, and otherwise I had not explicitly encountered that jet thingy before. Might it be reasonable to call it the space of infinitesimal paths (of higher oder) in $X$? It seems to be related to things at infinitesimal interval object.

19. • CommentRowNumber19.
    • CommentAuthorMichael_Bachtold
    • CommentTimeApr 24th 2014
    • (edited Apr 24th 2014)
    • PermaLink
    Author: Michael_Bachtold
    Format: MarkdownItexA note along the lines of #15: there is yet another generalization of jets (at least in the setting of differentiable manifolds): jets of submanifolds of dimension $n$ of some given space $P$. Think of them of infinitesimal germs of submanifolds of $P$. Since (local) sections of some bundle $p:P\to X$ may be regarded as special submanifolds of $P$ (those transversal to the fibers) the jet bundle of $p$ is an (open dense) subset of the space of jets of $\dim X$ dimensional submanifolds of $P$. These jets of submanifolds seem to be a natural thing to consider for example when talking about the PDE of minimal surfaces in some Riemannian manifold $P$.

    A note along the lines of #15: there is yet another generalization of jets (at least in the setting of differentiable manifolds): jets of submanifolds of dimension $n$ of some given space $P$. Think of them of infinitesimal germs of submanifolds of $P$. Since (local) sections of some bundle $p:P\to X$ may be regarded as special submanifolds of $P$ (those transversal to the fibers) the jet bundle of $p$ is an (open dense) subset of the space of jets of $\dim X$ dimensional submanifolds of $P$.

    These jets of submanifolds seem to be a natural thing to consider for example when talking about the PDE of minimal surfaces in some Riemannian manifold $P$.

20. • CommentRowNumber20.
    • CommentAuthorigor
    • CommentTimeApr 24th 2014
    • PermaLink
    Author: igor
    Format: MarkdownItexA note concerning terminology. One name that already has at least some usage in the literature on jets [1] is _higher (order) velocity space_ or _velocities of order $r$_. Even more generally, one can consider _higher order multi-velocities_ or _$n$-velocities of order $r$_. These are $r$-jets of maps of $R^n$ into a manifold $M$, as a bundle over $M$. The case $n=1$, $r=1$ gives the usual tangent vectors and $n>1$, $r=1$ gives Grassmannian elements. Generally, these describe $r$-jets of $n$-dimensional submanifolds in $M$. Formally, take the trivial bundle $\mathbb{R}^n \times M \to \mathbb{R}^n$ and its jet bundle $J^r(\mathbb{R}^n,M) \to \mathbb{R}^n \times M \to \mathbb{R}^n$. Then naturally project its fiber at $0$ onto $M$, the fiber at $0$ of $ \mathbb{R}^n \times M \to \mathbb{R}^n$. [1] [Jets and contact elements](http://krupka.inf.upol.cz/publs/DandMKrupka.pdf), D. Krupka and M. Krupka Proceedings of the Seminar on Differential Geometry Mathematical Publications Volume 2 Silesian University in Opava, Opava, 2000, 39–85

    A note concerning terminology. One name that already has at least some usage in the literature on jets [1] is higher (order) velocity space or velocities of order $r$. Even more generally, one can consider higher order multi-velocities or $n$-velocities of order $r$. These are $r$-jets of maps of $R^n$ into a manifold $M$, as a bundle over $M$. The case $n=1$, $r=1$ gives the usual tangent vectors and $n>1$, $r=1$ gives Grassmannian elements. Generally, these describe $r$-jets of $n$-dimensional submanifolds in $M$. Formally, take the trivial bundle $\mathbb{R}^n \times M \to \mathbb{R}^n$ and its jet bundle $J^r(\mathbb{R}^n,M) \to \mathbb{R}^n \times M \to \mathbb{R}^n$. Then naturally project its fiber at $0$ onto $M$, the fiber at $0$ of $\mathbb{R}^n \times M \to \mathbb{R}^n$.

    [1] Jets and contact elements, D. Krupka and M. Krupka Proceedings of the Seminar on Differential Geometry Mathematical Publications Volume 2 Silesian University in Opava, Opava, 2000, 39–85

21. • CommentRowNumber21.
    • CommentAuthorMike Shulman
    • CommentTimeApr 24th 2014
    • PermaLink
    Author: Mike Shulman
    Format: MarkdownItex@igor, thanks! It does seem a little strange to me to say "velocities" --- I think of "velocity" as a concept from physics, which mathematically is an instance of a tangent vector. So "higher order tangents" would make more sense as a name for the mathematical concept (a "higher order velocity" would be a physical concept like acceleration or jerk). Has anyone used a similar phrase that you know of?

    @igor, thanks! It does seem a little strange to me to say “velocities” — I think of “velocity” as a concept from physics, which mathematically is an instance of a tangent vector. So “higher order tangents” would make more sense as a name for the mathematical concept (a “higher order velocity” would be a physical concept like acceleration or jerk). Has anyone used a similar phrase that you know of?

22. • CommentRowNumber22.
    • CommentAuthorigor
    • CommentTimeApr 24th 2014
    • PermaLink
    Author: igor
    Format: MarkdownItex@Mike, I've also seen D.J. Saunders (of the _Geometry of Jet Bundles_ renown) use the same terminology [1]. If Krupka and Saunders are not sufficient authorities for you, I don't know who would be. :-) [1] [Homogeneous variational complexes and bicomplexes](http://arxiv.org/abs/math/0512383), D. J. Saunders (2009) [JGP](http://dx.doi.org/10.1016/j.geomphys.2009.03.001) *59* 727-739

    @Mike, I’ve also seen D.J. Saunders (of the Geometry of Jet Bundles renown) use the same terminology [1]. If Krupka and Saunders are not sufficient authorities for you, I don’t know who would be. :-)

    [1] Homogeneous variational complexes and bicomplexes, D. J. Saunders (2009) JGP 59 727-739

23. • CommentRowNumber23.
    • CommentAuthorigor
    • CommentTimeApr 24th 2014
    • PermaLink
    Author: igor
    Format: MarkdownItexAnother remark, this one is about coalgebras. Unfortunately, the talk of coalgebras in the preceding comments is black magic to me, so I cannot say anything about that directly. However, the very excellent book by Seiler [1] on the algebraic and geometric aspects of the formal theory of PDEs talks about coalgebras in the context of jets as well. The idea is quite simple. There is a commutative algebra that is formed by differential operators with constant coefficients over $\mathbb{R}^n$, where multiplication is just composition. Thinking of the differentiation and evaluation at 0 as a dual pairing, $\langle \partial_1^{i_1} \partial_2^{i_2} \cdots, (x^1)^{j_1} (x^2)^{j_2} \cdots \rangle = (\partial_1^{i_1} \partial_2^{i_2} \cdots)((x^1)^{j_1} (x^2)^{j_2} \cdots)|_{x=0}$, it is not hard to see that the space of formal power series is dual to the algebra of differential operators in the sense of vector spaces. So, the space of formal power series is naturally endowed with a coalgebra structure. In terms of jets, it is well known that formal power series are essentially $\infty$-jets of real valued functions on a manifold $M$, say of dimension $n$ to fit in with the above discussion. It is not hard to see that the algebra of differential operators with constant coefficients is the symmetric algebra generated by the tangent space $T M$ (so there's a copy of this algebra for every point of $M$). The interest in this identification of a coalgebra structure on $\infty$-jets is that the sometimes mysterious Spencer cohomology that plays an important role in the formal theory of PDEs is none other than the linear dual of the so-called Koszul homology of the symmetric algebra over $T M$. [1] Seiler, W. M. [_Involution_](http://books.google.nl/books?id=8GDFL8cQSOQC) Algorithms and Computation in Mathematics *24* (Springer, 2010).

    Another remark, this one is about coalgebras. Unfortunately, the talk of coalgebras in the preceding comments is black magic to me, so I cannot say anything about that directly. However, the very excellent book by Seiler [1] on the algebraic and geometric aspects of the formal theory of PDEs talks about coalgebras in the context of jets as well. The idea is quite simple. There is a commutative algebra that is formed by differential operators with constant coefficients over $\mathbb{R}^n$, where multiplication is just composition. Thinking of the differentiation and evaluation at 0 as a dual pairing, $\langle \partial_1^{i_1} \partial_2^{i_2} \cdots, (x^1)^{j_1} (x^2)^{j_2} \cdots \rangle = (\partial_1^{i_1} \partial_2^{i_2} \cdots)((x^1)^{j_1} (x^2)^{j_2} \cdots)|_{x=0}$, it is not hard to see that the space of formal power series is dual to the algebra of differential operators in the sense of vector spaces. So, the space of formal power series is naturally endowed with a coalgebra structure.

    In terms of jets, it is well known that formal power series are essentially $\infty$-jets of real valued functions on a manifold $M$, say of dimension $n$ to fit in with the above discussion. It is not hard to see that the algebra of differential operators with constant coefficients is the symmetric algebra generated by the tangent space $T M$ (so there’s a copy of this algebra for every point of $M$). The interest in this identification of a coalgebra structure on $\infty$-jets is that the sometimes mysterious Spencer cohomology that plays an important role in the formal theory of PDEs is none other than the linear dual of the so-called Koszul homology of the symmetric algebra over $T M$.

    [1] Seiler, W. M. Involution Algorithms and Computation in Mathematics 24 (Springer, 2010).

24. • CommentRowNumber24.
    • CommentAuthorMichael_Bachtold
    • CommentTimeApr 24th 2014
    • PermaLink
    Author: Michael_Bachtold
    Format: MarkdownItexIts black magic to me in the sense that I can't see how Mike noticed that, but once you have the statement it is quite straightforward to check. Just a remark @Igor: the coalgebra you mention is a coalgebra in the more classical sense and is, as far as I can see, not related to the $J^1$-coalgebra.

    Its black magic to me in the sense that I can’t see how Mike noticed that, but once you have the statement it is quite straightforward to check. Just a remark @Igor: the coalgebra you mention is a coalgebra in the more classical sense and is, as far as I can see, not related to the $J^1$-coalgebra.

25. • CommentRowNumber25.
    • CommentAuthorigor
    • CommentTimeApr 24th 2014
    • PermaLink
    Author: igor
    Format: MarkdownItexAlright then, can anyone suggest an application of this "$J^1$-coalgebra" structure? For instance, the other "classical" coalgebra structure that I mentioned has application in the interpretation of Spencer cohomology. Obviously, this is not a competition. But I'm curious whether this "$J^1$-coalgebra" structure is just an observation or does it have some immediate utility.

    Alright then, can anyone suggest an application of this “$J^1$-coalgebra” structure? For instance, the other “classical” coalgebra structure that I mentioned has application in the interpretation of Spencer cohomology. Obviously, this is not a competition. But I’m curious whether this “$J^1$-coalgebra” structure is just an observation or does it have some immediate utility.

26. • CommentRowNumber26.
    • CommentAuthorMichael_Bachtold
    • CommentTimeApr 25th 2014
    • PermaLink
    Author: Michael_Bachtold
    Format: MarkdownItexCurrently I think of it as a characterization of the infinite (nonlinear) jet space by a universal property. I don't remember seeing a universal property of $J^\infty$ with the Cartan distribution before, but I'd be interested in learning about others if you know one. (Probably there is one in the general abstract definition on that page but I don't have enough background on higher topoi and cohesion). I don't know of any new applications, but it certainly reduces some arguments in the jet literature to "one-liners".

    Currently I think of it as a characterization of the infinite (nonlinear) jet space by a universal property. I don’t remember seeing a universal property of $J^\infty$ with the Cartan distribution before, but I’d be interested in learning about others if you know one. (Probably there is one in the general abstract definition on that page but I don’t have enough background on higher topoi and cohesion). I don’t know of any new applications, but it certainly reduces some arguments in the jet literature to “one-liners”.

27. • CommentRowNumber27.
    • CommentAuthorDavid_Corfield
    • CommentTimeApr 25th 2014
    • PermaLink
    Author: David_Corfield
    Format: MarkdownItexIt sounds like we should have something on Spencer cohomology and Koszul homology. Does the latter arise from a [[Koszul complex]]?

    It sounds like we should have something on Spencer cohomology and Koszul homology. Does the latter arise from a Koszul complex?

28. • CommentRowNumber28.
    • CommentAuthorUrs
    • CommentTimeApr 25th 2014
    • (edited Apr 25th 2014)
    • PermaLink
    Author: Urs
    Format: MarkdownItexIgor, to clarify: in what Michael is talking about, the word "algebra" and "coalgebra" is used in a sense vastly more general than what you probably imagine these terms might ever mean. There is a field called "[[universal algebra]]" or "[[categorical algebra]]" or similar in which essentially any kind of mathematical [[structure]] for which there is a [[theory]] in a formal (but again vastly general) sense is an "algebra" of sorts. For instance the theory might be exhibited by a [[monad]]/[[comonad]] and then one would speak of an [[algebra over a monad]]. For instance something entirely non-algebraic (in the usual sense) like a graph is still an algebra in this sense of universal algebra (over the free graph monad, in this case). What Michael is talking about here is even more general than algebras over monads: he is talking about [[algebras over endofunctors]]/[[coalgebras over endofunctors]]. As usual in category theory, the impact of identifying anything already well-known as an instance of such-and-such general abstract formalism is often not so much useful in further understanding the already well-known thing itself. It is instead usually useful for putting that already well-known thing into broader context, understanding its similarity to other possibly superficially very different-looking things and knowing what the sensible generalizations of the well-known thing to new and more exotic contexts might be. That is the case here: in itself the observation in #4 above doesn't tell you anything about jet bundles as such which you didn't already know. It is in particular not a new structure on top of the jet bundle, such as the coalgebra structure (the co-associative co-algebra structure) that you are thinking of above. Instead it is a way of pointing a magic wand at the mundane concept of jet bundle and saying: "Hereby though art a [[concrete particular]] incarnation of something general abstract."

    Igor,

    to clarify: in what Michael is talking about, the word “algebra” and “coalgebra” is used in a sense vastly more general than what you probably imagine these terms might ever mean. There is a field called “universal algebra” or “categorical algebra” or similar in which essentially any kind of mathematical structure for which there is a theory in a formal (but again vastly general) sense is an “algebra” of sorts. For instance the theory might be exhibited by a monad/comonad and then one would speak of an algebra over a monad. For instance something entirely non-algebraic (in the usual sense) like a graph is still an algebra in this sense of universal algebra (over the free graph monad, in this case).

    What Michael is talking about here is even more general than algebras over monads: he is talking about algebras over endofunctors/coalgebras over endofunctors.

    As usual in category theory, the impact of identifying anything already well-known as an instance of such-and-such general abstract formalism is often not so much useful in further understanding the already well-known thing itself. It is instead usually useful for putting that already well-known thing into broader context, understanding its similarity to other possibly superficially very different-looking things and knowing what the sensible generalizations of the well-known thing to new and more exotic contexts might be.

    That is the case here: in itself the observation in #4 above doesn’t tell you anything about jet bundles as such which you didn’t already know. It is in particular not a new structure on top of the jet bundle, such as the coalgebra structure (the co-associative co-algebra structure) that you are thinking of above. Instead it is a way of pointing a magic wand at the mundane concept of jet bundle and saying: “Hereby though art a concrete particular incarnation of something general abstract.”

29. • CommentRowNumber29.
    • CommentAuthorUrs
    • CommentTimeApr 25th 2014
    • PermaLink
    Author: Urs
    Format: MarkdownItexDavid, yes, [[Koszul homology]] is the chain homology of a Koszul complex.

    David,

    yes, Koszul homology is the chain homology of a Koszul complex.

30. • CommentRowNumber30.
    • CommentAuthorDavid_Corfield
    • CommentTimeApr 25th 2014
    • (edited Apr 25th 2014)
    • PermaLink
    Author: David_Corfield
    Format: MarkdownItexRe #26, putting the $J_1$-coalgebra story together with the 'abstract general' one, presumably the $Jet$ of #7 is the $J^{\infty}$ of #4. $Jet$ is idempotent presumably. Is there no need in this set up for a $J_1$? But we're pointed in #6 to p. 6 of Lurie's "Notes on crystals and D-modules" ([pdf](http://www.math.harvard.edu/~gaitsgde/grad_2009/SeminarNotes/Nov17-19%28Crystals%29.pdf)), where $Jet$ or $J$ is constructed as an inverse limit. Hmm, does this work at the level of objects in $\mathbf{H}$, giving a sequence of slices? I mean is ${\Pi}_{inf}(X)$ some kind of limit, from a sequence of $n$-th order infinitesimal coreductions, so that ${\Pi}_{inf}(X)$ is a fixed point for some $J^1$ like operator? And that induces something on $\mathbf{H}_{/\mathbf{\Pi}_{inf}(X)}$ as fixed point?

    Re #26, putting the $J_1$-coalgebra story together with the ’abstract general’ one, presumably the $Jet$ of #7 is the $J^{\infty}$ of #4. $Jet$ is idempotent presumably. Is there no need in this set up for a $J_1$?

    But we’re pointed in #6 to p. 6 of Lurie’s “Notes on crystals and D-modules” (pdf), where $Jet$ or $J$ is constructed as an inverse limit.

    Hmm, does this work at the level of objects in $\mathbf{H}$, giving a sequence of slices? I mean is ${\Pi}_{inf}(X)$ some kind of limit, from a sequence of $n$-th order infinitesimal coreductions, so that ${\Pi}_{inf}(X)$ is a fixed point for some $J^1$ like operator? And that induces something on $\mathbf{H}_{/\mathbf{\Pi}_{inf}(X)}$ as fixed point?

31. • CommentRowNumber31.
    • CommentAuthorDavid_Corfield
    • CommentTimeApr 25th 2014
    • PermaLink
    Author: David_Corfield
    Format: MarkdownItexI added Igor's remark about Spencer cohomology to [[Koszul homology]].

    I added Igor’s remark about Spencer cohomology to Koszul homology.

32. • CommentRowNumber32.
    • CommentAuthorMichael_Bachtold
    • CommentTimeApr 25th 2014
    • (edited Apr 25th 2014)
    • PermaLink
    Author: Michael_Bachtold
    Format: MarkdownItexHmm, I now think my generalisation in #4 was not as straightforward as I thought, and is probably wrong as stated. Presumably the universal property of $J^\infty P$ should be that there exists a lifting for of any bundle morphism from $q$ to $p$ when $q$ is supplied with a __flat__ connection. Sorry. I'll try to think about it, although currently I don't see how one would formulate that universal property it in terms of coalgebras of some functor. Mikes original observation might still be right, since a vector field is automatically flat (in involution with itself).

    Hmm, I now think my generalisation in #4 was not as straightforward as I thought, and is probably wrong as stated. Presumably the universal property of $J^\infty P$ should be that there exists a lifting for of any bundle morphism from $q$ to $p$ when $q$ is supplied with a flat connection. Sorry. I’ll try to think about it, although currently I don’t see how one would formulate that universal property it in terms of coalgebras of some functor. Mikes original observation might still be right, since a vector field is automatically flat (in involution with itself).

33. • CommentRowNumber33.
    • CommentAuthorMichael_Bachtold
    • CommentTimeApr 25th 2014
    • PermaLink
    Author: Michael_Bachtold
    Format: MarkdownItexI erased that section from the nlab page. What I was constructing there was not $J^\infty$ but the "infinite iteration of $J^1$".

    I erased that section from the nlab page. What I was constructing there was not $J^\infty$ but the “infinite iteration of $J^1$”.

34. • CommentRowNumber34.
    • CommentAuthorMike Shulman
    • CommentTimeApr 25th 2014
    • PermaLink
    Author: Mike Shulman
    Format: MarkdownItexDavid, I certainly wouldn't expect a jet construction to be idempotent. Is it really so in the infinitesimal cohesion case?

    David, I certainly wouldn’t expect a jet construction to be idempotent. Is it really so in the infinitesimal cohesion case?

35. • CommentRowNumber35.
    • CommentAuthorUrs
    • CommentTimeApr 25th 2014
    • PermaLink
    Author: Urs
    Format: MarkdownItexI don't think it's idempotent. And to amplify again: the "differential cohesion case" subsumes the ordinary construction in algebraic geometry ("D-geometry"). This was first observed by [Simpson-Teleman](http://ncatlab.org/nlab/show/de+Rham+space#SimpsonTeleman).

    I don’t think it’s idempotent.

    And to amplify again: the “differential cohesion case” subsumes the ordinary construction in algebraic geometry (“D-geometry”). This was first observed by Simpson-Teleman.

36. • CommentRowNumber36.
    • CommentAuthorDavid_Corfield
    • CommentTimeApr 26th 2014
    • PermaLink
    Author: David_Corfield
    Format: MarkdownItexWhoops, yes. I was thinking about $\mathbf{\Pi}_{inf}$ being idempotent. So, that would give the jet of a bundle over $\mathbf{\Pi}_{inf}(X)$ as just the bundle itself, induced by $i \colon \mathbf{\Pi}_{inf}(X) \to \mathbf{\Pi}_{inf}(\mathbf{\Pi}_{inf}(X))$, I guess.

    Whoops, yes. I was thinking about $\mathbf{\Pi}_{inf}$ being idempotent.

    So, that would give the jet of a bundle over $\mathbf{\Pi}_{inf}(X)$ as just the bundle itself, induced by $i \colon \mathbf{\Pi}_{inf}(X) \to \mathbf{\Pi}_{inf}(\mathbf{\Pi}_{inf}(X))$, I guess.

37. • CommentRowNumber37.
    • CommentAuthorUrs
    • CommentTimeApr 26th 2014
    • PermaLink
    Author: Urs
    Format: MarkdownItexDavid, the jet bundle construction is push followed by pull along that single unit map. This pull-push operation has no reason to be idempotent. Of course one could also consider what you write here, to push twice alobg the iterated unit map. That then would be, for an idempotent monad, the same as pushing once, as you say.

    David, the jet bundle construction is push followed by pull along that single unit map. This pull-push operation has no reason to be idempotent.

    Of course one could also consider what you write here, to push twice alobg the iterated unit map. That then would be, for an idempotent monad, the same as pushing once, as you say.

38. • CommentRowNumber38.
    • CommentAuthorUrs
    • CommentTimeMay 12th 2015
    • PermaLink
    Author: Urs
    Format: MarkdownItexexpanded at _[[jet bundle]]_ the [remark](http://ncatlab.org/nlab/show/jet+bundle#LiteratureOnGeneralAbstractCharacterization) on precursors in the literature of the general abstract definition, by adding pointer to [Krasilshchik-Verbovetsky 98, p. 13, p. 17](http://ncatlab.org/nlab/show/jet+bundle#KrasilshchikVerbovetsky98), which almost shows that the jet bundle construction is a comonad (it seems they don't explicitly check the counit property, or do they?) I have also streamlined the entire section _[definition -- general abstract](http://ncatlab.org/nlab/show/jet+bundle#GeneralAbstractDefinition)_ just a little bit more

    expanded at jet bundle the remark on precursors in the literature of the general abstract definition, by adding pointer to Krasilshchik-Verbovetsky 98, p. 13, p. 17, which almost shows that the jet bundle construction is a comonad (it seems they don’t explicitly check the counit property, or do they?)

    I have also streamlined the entire section definition – general abstract just a little bit more

39. • CommentRowNumber39.
    • CommentAuthorUrs
    • CommentTimeSep 1st 2016
    • (edited Sep 1st 2016)
    • PermaLink
    Author: Urs
    Format: MarkdownItexVarious authors discuss the realization of infinite jet bundles $J^\infty E$ as Frechet manifolds ([here](https://ncatlab.org/nlab/show/jet%20bundle#DiscussionOfFrechetManifoldStructure)). It's the projective limit $\underset{\longleftarrow}{\lim}_k J^k E$ of the underlying sets, or even the projective limit of the underlying Banach spaces, and then equipped with Frechet manifold structure. [Takens 79](https://ncatlab.org/nlab/show/jet%20bundle#Takens79) puts it succinctly like so (p. 3): The underlying set is the projective limit $J^\infty E := \underset{\longleftarrow}{\lim}_k J^k E$ of underlying sets, and the smooth structure is determined by requiring that a function $J^\infty E \to \mathbb{R}$ is smooth if for each point $s \in J^\infty E$ there exists $k \in \mathbb{N}$ and a neighbourhood $U_k$ of the component of $s$ in $J^k E$ and a smooth function $f_k \colon U_k \to \mathbb{R}$ such that $f$ restricted to the preimage of $U_k$ in $J^\infty E$ is given by $f_k$. **Question**: Does this definition make $J^\infty E$ also be the projective limit $\underset{\longleftarrow}{\lim}_k J^k E$ _formed in Frechet manifolds_? Hence: For $X$ a finite dimensional smooth manifold, regarded as a Frechet manifold, is it true that $$ Hom_{FrechetMfd}(X, J^\infty E) \simeq \underset{\longleftarrow}{\lim}_k Hom_{SmthMfd}(X, J^k E) $$ ?

    Various authors discuss the realization of infinite jet bundles $J^\infty E$ as Frechet manifolds (here). It’s the projective limit $\underset{\longleftarrow}{\lim}_k J^k E$ of the underlying sets, or even the projective limit of the underlying Banach spaces, and then equipped with Frechet manifold structure.

    Takens 79 puts it succinctly like so (p. 3):

    The underlying set is the projective limit $J^\infty E := \underset{\longleftarrow}{\lim}_k J^k E$ of underlying sets, and the smooth structure is determined by requiring that a function $J^\infty E \to \mathbb{R}$ is smooth if for each point $s \in J^\infty E$ there exists $k \in \mathbb{N}$ and a neighbourhood $U_k$ of the component of $s$ in $J^k E$ and a smooth function $f_k \colon U_k \to \mathbb{R}$ such that $f$ restricted to the preimage of $U_k$ in $J^\infty E$ is given by $f_k$.

    Question:

    Does this definition make $J^\infty E$ also be the projective limit $\underset{\longleftarrow}{\lim}_k J^k E$ formed in Frechet manifolds?

    Hence:

    For $X$ a finite dimensional smooth manifold, regarded as a Frechet manifold, is it true that

    $$Hom_{FrechetMfd}(X, J^\infty E) \simeq \underset{\longleftarrow}{\lim}_k Hom_{SmthMfd}(X, J^k E)$$

    ?

40. • CommentRowNumber40.
    • CommentAuthorUrs
    • CommentTimeSep 1st 2016
    • PermaLink
    Author: Urs
    Format: MarkdownItexAh, never mind, it seems that chapter 7 of Saunders' _The geometry of jet bundles_ has everything I need.

    Ah, never mind, it seems that chapter 7 of Saunders’ The geometry of jet bundles has everything I need.

41. • CommentRowNumber41.
    • CommentAuthorUrs
    • CommentTimeSep 1st 2016
    • (edited Sep 1st 2016)
    • PermaLink
    Author: Urs
    Format: MarkdownItexI still have a question, on the relation between the following three levels of finite order-ness. Let $X = \lim_k X_k$ be a sequential projective limit of manifolds (formed in some bigger ambient category). For a function $$ f \;\colon\; X \to \mathbb{R} $$ say that 1. $f$ is **globally of finite order** if it comes from a function $f_k \colon X_k \longrightarrow \mathbb{R}$ for some $k \in \mathbb{N}$; 1. $f$ is **locally of finite order** if for every point of $X$ there is an open subset $U_k$ around its projection in $X_k$, for some $k$, such that restricted to the pre-image of $U_k$ in $X$, $f$ comes from a function $f_{U,k} \colon U_k \longrightarrow \mathbb{R}$; 1. $f$ is **formally of finite order** if at each point of $X$ the partial derivatives of $f$ are non-vanishing only along a finite-dimensional subspace of the tangent space at that point. **Question:** How are points 2 and 3 related? Are they equivalent?

    I still have a question, on the relation between the following three levels of finite order-ness.

    Let $X = \lim_k X_k$ be a sequential projective limit of manifolds (formed in some bigger ambient category). For a function

    $$f \;\colon\; X \to \mathbb{R}$$

    say that

    1. $f$ is globally of finite order if it comes from a function $f_k \colon X_k \longrightarrow \mathbb{R}$ for some $k \in \mathbb{N}$;

    2. $f$ is locally of finite order if for every point of $X$ there is an open subset $U_k$ around its projection in $X_k$, for some $k$, such that restricted to the pre-image of $U_k$ in $X$, $f$ comes from a function $f_{U,k} \colon U_k \longrightarrow \mathbb{R}$;

    3. $f$ is formally of finite order if at each point of $X$ the partial derivatives of $f$ are non-vanishing only along a finite-dimensional subspace of the tangent space at that point.

    Question: How are points 2 and 3 related? Are they equivalent?

42. • CommentRowNumber42.
    • CommentAuthorDavidRoberts
    • CommentTimeSep 2nd 2016
    • (edited Sep 3rd 2016)
    • PermaLink
    Author: DavidRoberts
    Format: MarkdownItexAs far as I can tell, the Fréchet topology on the sequential limit $\mathbb{R}^{\leftarrow \infty}$ (so denoted to distinguish it from the colimit) of the $\mathbb{R}^n$'s (with arrows $\mathbb{R}^n \to \mathbb{R}^m$ if $n \geq m$) is induced as for an [[ILH space]]. One takes the limit in the category of topological vector spaces to be the coarsest such that the projections are continuous, but I believe this is induced by the countable sequence of seminorms $||-||_n \colon \mathbb{R}^{\leftarrow \infty} \xrightarrow{pr_n} \mathbb{R}^n \xrightarrow{||-||} \mathbb{R}$. In particular, given a Fréchet manifold $M$ and compatible maps $f_n\colon M \to \mathbb{R}^n$ forming a cone, we get a _continuous_ map $f\colon M \to \mathbb{R}^{\leftarrow\infty}$. So there can be _at most one_ map of the kind required by the universal property of the limit in the category of Fréchet spaces. To check this map is smooth, we can use the fact Fréchet manifolds form a full subcategory of diffeological spaces, and so check what happens on plots. Thus for a smooth map $p\colon \mathbb{R}^k \to M$, we need to check that $f p\colon \mathbb{R}^k \to \mathbb{R}^{\leftarrow \infty}$ is smooth. But such a map is precisely determined by its compositions with the projections, so we might as well assume wlog that our Fréchet manifold is in fact $\mathbb{R}^k$. So we need to show that given a compatible sequence of smooth maps $g_n\colon \mathbb{R}^k \to \mathbb{R}^n$ the resulting continuous map $g\colon \mathbb{R}^k \to \mathbb{R}^{\leftarrow\infty}$ is smooth. But this is just showing that all the partial derivatives exist and are continuous, and I believe that this reduces to showing that the partial derivatives of $g$ are the induced maps from all the partial derivatives of the $g_n$ (and note that the transition maps $\mathbb{R}^n\to \mathbb{R}^m$ have rather trivial partial derivatives so that the chain rule doesn't do anything strange), and then continuity is assured. (There is a nice collision here between the two senses of the word 'limit': we want to take the limit of functions to a limit, and so take the limit of the functions in the cone :-) All in all, I think the argument works out. Something like this should also be true for sequential ILH manifolds, in all likelihood, say for those where the limit is over a diagram of submersions.

    As far as I can tell, the Fréchet topology on the sequential limit $\mathbb{R}^{\leftarrow \infty}$ (so denoted to distinguish it from the colimit) of the $\mathbb{R}^n$’s (with arrows $\mathbb{R}^n \to \mathbb{R}^m$ if $n \geq m$) is induced as for an ILH space. One takes the limit in the category of topological vector spaces to be the coarsest such that the projections are continuous, but I believe this is induced by the countable sequence of seminorms $||-||_n \colon \mathbb{R}^{\leftarrow \infty} \xrightarrow{pr_n} \mathbb{R}^n \xrightarrow{||-||} \mathbb{R}$. In particular, given a Fréchet manifold $M$ and compatible maps $f_n\colon M \to \mathbb{R}^n$ forming a cone, we get a continuous map $f\colon M \to \mathbb{R}^{\leftarrow\infty}$. So there can be at most one map of the kind required by the universal property of the limit in the category of Fréchet spaces.

    To check this map is smooth, we can use the fact Fréchet manifolds form a full subcategory of diffeological spaces, and so check what happens on plots. Thus for a smooth map $p\colon \mathbb{R}^k \to M$, we need to check that $f p\colon \mathbb{R}^k \to \mathbb{R}^{\leftarrow \infty}$ is smooth. But such a map is precisely determined by its compositions with the projections, so we might as well assume wlog that our Fréchet manifold is in fact $\mathbb{R}^k$.

    So we need to show that given a compatible sequence of smooth maps $g_n\colon \mathbb{R}^k \to \mathbb{R}^n$ the resulting continuous map $g\colon \mathbb{R}^k \to \mathbb{R}^{\leftarrow\infty}$ is smooth. But this is just showing that all the partial derivatives exist and are continuous, and I believe that this reduces to showing that the partial derivatives of $g$ are the induced maps from all the partial derivatives of the $g_n$ (and note that the transition maps $\mathbb{R}^n\to \mathbb{R}^m$ have rather trivial partial derivatives so that the chain rule doesn’t do anything strange), and then continuity is assured.

    (There is a nice collision here between the two senses of the word ’limit’: we want to take the limit of functions to a limit, and so take the limit of the functions in the cone :-)

    All in all, I think the argument works out.

    Something like this should also be true for sequential ILH manifolds, in all likelihood, say for those where the limit is over a diagram of submersions.

43. • CommentRowNumber43.
    • CommentAuthorUrs
    • CommentTimeSep 2nd 2016
    • PermaLink
    Author: Urs
    Format: MarkdownItexThanks, David! > So we need to show that given a compatible sequence of smooth maps $g_n\colon \mathbb{R}^k \to \mathbb{R}^n$ the resulting continuous map $g\colon \mathbb{R}^k \to \mathbb{R}^{\leftarrow\infty}$ is smooth. But this is just showing that all the partial derivatives exist and are continuous, and I believe that this reduces to showing that the partial derivatives of $g$ are the induced maps from all the partial derivatives of the $g_n$ (and note that the transition maps $\mathbb{R}^n\to \mathbb{R}^m$ have rather trivial partial derivatives so that the chain rule doesn't do anything strange), and then continuity is assured. Yes, this is what I found spelled out in Saunders's "The geometry of jet bundles", chapter 7. There it is Lemma 7.1.8.

    Thanks, David!

    So we need to show that given a compatible sequence of smooth maps $g_n\colon \mathbb{R}^k \to \mathbb{R}^n$ the resulting continuous map $g\colon \mathbb{R}^k \to \mathbb{R}^{\leftarrow\infty}$ is smooth. But this is just showing that all the partial derivatives exist and are continuous, and I believe that this reduces to showing that the partial derivatives of $g$ are the induced maps from all the partial derivatives of the $g_n$ (and note that the transition maps $\mathbb{R}^n\to \mathbb{R}^m$ have rather trivial partial derivatives so that the chain rule doesn’t do anything strange), and then continuity is assured.

    Yes, this is what I found spelled out in Saunders’s “The geometry of jet bundles”, chapter 7. There it is Lemma 7.1.8.

44. • CommentRowNumber44.
    • CommentAuthorUrs
    • CommentTimeSep 2nd 2016
    • PermaLink
    Author: Urs
    Format: MarkdownItexI am starting to make some notes on this at _[Frechet manifold -- Projective limits of finite-dimensional manifolds](https://ncatlab.org/nlab/show/Fr%C3%A9chet+manifold#ProjectiveLimitsOfSmoothFiniteDimensionalManifolds)_. Please feel invited to expand further! There is this new book * C. T. J. Dodson, George Galanis, Efstathios Vassiliou, _Geometry in a Fréchet Context: A Projective Limit Approach_, Cambridge University Press (2015) but I have not seen much of its inside yet (GoogleBooks is shy about showing it).

    I am starting to make some notes on this at Frechet manifold – Projective limits of finite-dimensional manifolds. Please feel invited to expand further!

    There is this new book

    • C. T. J. Dodson, George Galanis, Efstathios Vassiliou, Geometry in a Fréchet Context: A Projective Limit Approach, Cambridge University Press (2015)

    but I have not seen much of its inside yet (GoogleBooks is shy about showing it).

45. • CommentRowNumber45.
    • CommentAuthorUrs
    • CommentTimeSep 4th 2016
    • (edited Sep 4th 2016)
    • PermaLink
    Author: Urs
    Format: MarkdownItexHi David, just to be sure, allow me to get back to this paragraph of yours above: > As far as I can tell, the Fréchet topology on the sequential limit $\mathbb{R}^{\leftarrow \infty}$ (so denoted to distinguish it from the colimit) of the $\mathbb{R}^n$'s (with arrows $\mathbb{R}^n \to \mathbb{R}^m$ if $n \geq m$) is induced as for an [[ILH space]]. One takes the limit in the category of topological vector spaces to be the coarsest such that the projections are continuous, but I believe this is induced by the countable sequence of seminorms $||-||_n \colon \mathbb{R}^{\leftarrow \infty} \xrightarrow{pr_n} \mathbb{R}^n \xrightarrow{||-||} \mathbb{R}$. Since you say "believe", let me make this explicit to see if there is any pitfall hiding here: So the topology induced by the seminorms is such that for every point $x$ then the open balls $$ B_\epsilon^n(x) \coloneqq \left\{ y \;|\; \Vert y-x \Vert_n \lt \epsilon \right\} $$ form a base of neighbourhoods of $x$. For fixed $n$ of course these open balls are the preimages of a base of neighbourhoods of $\mathbb{R}^n$, hence they form the coarsest base of neighborhoods that makes all the $pr_{n}$ continuous. Hence also the topology induced by that base of neighbourhoods is the coarsest one that makes all the $pr_n$ be continuous, hence is the projective limit topology. That's all there is, right, there is no subtlety hidden here?

    Hi David,

    just to be sure, allow me to get back to this paragraph of yours above:

    As far as I can tell, the Fréchet topology on the sequential limit $\mathbb{R}^{\leftarrow \infty}$ (so denoted to distinguish it from the colimit) of the $\mathbb{R}^n$’s (with arrows $\mathbb{R}^n \to \mathbb{R}^m$ if $n \geq m$) is induced as for an ILH space. One takes the limit in the category of topological vector spaces to be the coarsest such that the projections are continuous, but I believe this is induced by the countable sequence of seminorms $||-||_n \colon \mathbb{R}^{\leftarrow \infty} \xrightarrow{pr_n} \mathbb{R}^n \xrightarrow{||-||} \mathbb{R}$.

    Since you say “believe”, let me make this explicit to see if there is any pitfall hiding here:

    So the topology induced by the seminorms is such that for every point $x$ then the open balls

    $$B_\epsilon^n(x) \coloneqq \left\{ y \;|\; \Vert y-x \Vert_n \lt \epsilon \right\}$$

    form a base of neighbourhoods of $x$. For fixed $n$ of course these open balls are the preimages of a base of neighbourhoods of $\mathbb{R}^n$, hence they form the coarsest base of neighborhoods that makes all the $pr_{n}$ continuous. Hence also the topology induced by that base of neighbourhoods is the coarsest one that makes all the $pr_n$ be continuous, hence is the projective limit topology.

    That’s all there is, right, there is no subtlety hidden here?

46. • CommentRowNumber46.
    • CommentAuthorDavidRoberts
    • CommentTimeSep 4th 2016
    • PermaLink
    Author: DavidRoberts
    Format: MarkdownItex>That’s all there is, right, there is no subtlety hidden here? Correct. At the time I think I was still processing and so hedging my bets, but that's the argument my subconscious was trying to supply. In fact this kind of argument also works for ILB spaces, or I suppose ILB manifolds more generally, as is treated in the book you mention in #44 (in fact it seems that every Fréchet space can be written in _some_ way as an inverse limit of Banach spaces, see <http://math.stackexchange.com/a/53020/3835>). I was disappointed to find that despite my library generally having access to LMS lecture notes, we don't (yet) have access to that volume. I'm inquiring to see if we can buy it, given the amount of infinite-dimensional geometry we do in Adelaide.

    That’s all there is, right, there is no subtlety hidden here?

    Correct. At the time I think I was still processing and so hedging my bets, but that’s the argument my subconscious was trying to supply.

    In fact this kind of argument also works for ILB spaces, or I suppose ILB manifolds more generally, as is treated in the book you mention in #44 (in fact it seems that every Fréchet space can be written in some way as an inverse limit of Banach spaces, see http://math.stackexchange.com/a/53020/3835). I was disappointed to find that despite my library generally having access to LMS lecture notes, we don’t (yet) have access to that volume. I’m inquiring to see if we can buy it, given the amount of infinite-dimensional geometry we do in Adelaide.

47. • CommentRowNumber47.
    • CommentAuthorUrs
    • CommentTimeSep 4th 2016
    • (edited Sep 4th 2016)
    • PermaLink
    Author: Urs
    Format: MarkdownItexThanks for the sanity check; and thanks for the pointer to that MO comment! For the moment I have added that [here](https://ncatlab.org/nlab/show/Fr%C3%A9chet+space#AsProjectiveLimits). (No time for more right now.)

    Thanks for the sanity check; and thanks for the pointer to that MO comment! For the moment I have added that here. (No time for more right now.)

48. • CommentRowNumber48.
    • CommentAuthorzskoda
    • CommentTimeSep 4th 2016
    • (edited Sep 4th 2016)
    • PermaLink
    Author: zskoda
    Format: MarkdownItex44: the contents, preface and the bibliography of the book are on the researchgate, one small file with many hyperlinks, 21 pages, <https://www.researchgate.net/publication/286776030_Geometry_in_a_Frechet_Context_A_Projective_Limit_Approach>

    44: the contents, preface and the bibliography of the book are on the researchgate, one small file with many hyperlinks, 21 pages, https://www.researchgate.net/publication/286776030_Geometry_in_a_Frechet_Context_A_Projective_Limit_Approach

49. • CommentRowNumber49.
    • CommentAuthorDavid_Corfield
    • CommentTimeNov 13th 2017
    • PermaLink
    Author: David_Corfield
    Format: MarkdownItexSince we're thinking about germs in relation to jets at the moment, perhaps the opening at [[jet bundle]] needs a word. Since 'infinitesimal' and 'germ' weren't linked in >A jet can be thought of as the infinitesimal germ of a section of some bundle, I put in such links. But maybe we should say what work 'infinitesimal' is doing in the combined term. Is that confusing at [infinitesimal object](https://ncatlab.org/nlab/show/infinitesimal+object#the_infinitesimal_neighbourhood), if it speaks of the 'infinitesimal neighbourhood' as supporting the germ, beyond the jet?

    Since we’re thinking about germs in relation to jets at the moment, perhaps the opening at jet bundle needs a word. Since ’infinitesimal’ and ’germ’ weren’t linked in

    A jet can be thought of as the infinitesimal germ of a section of some bundle,

    I put in such links. But maybe we should say what work ’infinitesimal’ is doing in the combined term.

    Is that confusing at infinitesimal object, if it speaks of the ’infinitesimal neighbourhood’ as supporting the germ, beyond the jet?

50. • CommentRowNumber50.
    • CommentAuthorUrs
    • CommentTimeNov 13th 2017
    • PermaLink
    Author: Urs
    Format: MarkdownItex> Is that confusing at [infinitesimal object](https://ncatlab.org/nlab/show/infinitesimal+object#the_infinitesimal_neighbourhood), if it speaks of the 'infinitesimal neighbourhood' as supporting the germ, beyond the jet? Yes, that was wrong. I have made it read "infinitesimal germ", but of course it would be good to expand on this...

    Is that confusing at infinitesimal object, if it speaks of the ’infinitesimal neighbourhood’ as supporting the germ, beyond the jet?

    Yes, that was wrong. I have made it read “infinitesimal germ”, but of course it would be good to expand on this…

51. • CommentRowNumber51.
    • CommentAuthorDavid_Corfield
    • CommentTimeNov 13th 2017
    • PermaLink
    Author: David_Corfield
    Format: MarkdownItexDid your addition clarify the situation? Am I right in thinking there's 1. the spaces corresponding to nilpotent infinitesimals, right up to the union of all of these, for which jet spaces are relevant. 1. the larger space supporting germs. Both occur at [infinitesimal interval](https://ncatlab.org/nlab/show/infinitesimal+object#infinitesimal_intervals). Confusion is possible, because of our using 'infinitesimal germ' in (1) (e.g., at [[jet bundle]]), and using 'infinitesimal neighbourhood in (2), (e.g., at [[infinitesimal object]]). What I was worrying about in #49, was that the shift from the previous sections on (1) to this section on (2) wasn't clear. Now I think it's mixing up (1) and (2). Bunge and Marta speak of the space of kind (2) about $0$ in the real line as an 'infinitesimal object' (but including more than nilpotent infinitesimals) as the intersection of all opens containing $0$.

    Did your addition clarify the situation?

    Am I right in thinking there’s

    1. the spaces corresponding to nilpotent infinitesimals, right up to the union of all of these, for which jet spaces are relevant.

    2. the larger space supporting germs.

    Both occur at infinitesimal interval.

    Confusion is possible, because of our using ’infinitesimal germ’ in (1) (e.g., at jet bundle), and using ’infinitesimal neighbourhood in (2), (e.g., at infinitesimal object).

    What I was worrying about in #49, was that the shift from the previous sections on (1) to this section on (2) wasn’t clear. Now I think it’s mixing up (1) and (2).

    Bunge and Marta speak of the space of kind (2) about $0$ in the real line as an ’infinitesimal object’ (but including more than nilpotent infinitesimals) as the intersection of all opens containing $0$.

52. • CommentRowNumber52.
    • CommentAuthorUrs
    • CommentTimeNov 13th 2017
    • PermaLink
    Author: Urs
    Format: MarkdownItexYes, that's right, there is the infinitesimal neighbourhoods to any finite order, then the formal neighbourhood, being of unbounded infinitesimal order, and then the germ, in increasing order. My "infinitesimal germ" was meant for "formal neighbourhood", if one wants to keep the word "germ", but we don't have to do that.

    Yes, that’s right, there is the infinitesimal neighbourhoods to any finite order, then the formal neighbourhood, being of unbounded infinitesimal order, and then the germ, in increasing order.

    My “infinitesimal germ” was meant for “formal neighbourhood”, if one wants to keep the word “germ”, but we don’t have to do that.

53. • CommentRowNumber53.
    • CommentAuthorDavid_Corfield
    • CommentTimeNov 14th 2017
    • (edited Nov 14th 2017)
    • PermaLink
    Author: David_Corfield
    Format: MarkdownItexOk so a puzzle for me. What is $$ \mathbf{H}_{/X} \stackrel{\overset{i^\ast}{\longleftarrow}}{\underset{i_\ast}{\longrightarrow}} \mathbf{H}_{/\Im_{germ}(X)} \,? $$ Can we call it the 'germ comonad'? Presumably coalgebras are locally integrable PDEs. It seems that in some situations $\Im_{germ}$ and $\Im$ coincide (complex and real analytic, some parts of algebraic geometry). Is it anywhere other than real functions, where Taylor expansions needn't converge, that we see this distinction? And would [that part](https://ncatlab.org/schreiber/show/Modern+Physics+formalized+in+Modal+Homotopy+Type+Theory#tal) of the Aufhebung story of the rise of (co)monads need to be told differently. There it just says >Continuing the process, we posit a furrther opposition of moments lifting the previous ones, and notes that Aufhebung is automatic. So does $\Im_{germ}$ have a right adjoint, something like 'locally étale'? The expression does exist. By the way, just after there is $$ X \to \cdots \to \Im_{(3)}X \to \Im_{(2)}X \to \Im_{(1)}X \to \Im X \to ʃ X \,. $$ which as I suggested elsewhere is wrong. Higher order infinitesimal neighbourhoods are larger.

    Ok so a puzzle for me. What is

    $$\mathbf{H}_{/X} \stackrel{\overset{i^\ast}{\longleftarrow}}{\underset{i_\ast}{\longrightarrow}} \mathbf{H}_{/\Im_{germ}(X)} \,?$$

    Can we call it the ’germ comonad’? Presumably coalgebras are locally integrable PDEs.

    It seems that in some situations $\Im_{germ}$ and $\Im$ coincide (complex and real analytic, some parts of algebraic geometry). Is it anywhere other than real functions, where Taylor expansions needn’t converge, that we see this distinction?

    And would that part of the Aufhebung story of the rise of (co)monads need to be told differently. There it just says

    Continuing the process, we posit a furrther opposition of moments lifting the previous ones,

    and notes that Aufhebung is automatic. So does $\Im_{germ}$ have a right adjoint, something like ’locally étale’? The expression does exist.

    By the way, just after there is

    $$X \to \cdots \to \Im_{(3)}X \to \Im_{(2)}X \to \Im_{(1)}X \to \Im X \to ʃ X \,.$$

    which as I suggested elsewhere is wrong. Higher order infinitesimal neighbourhoods are larger.

54. • CommentRowNumber54.
    • CommentAuthorUrs
    • CommentTimeNov 14th 2017
    • PermaLink
    Author: Urs
    Format: MarkdownItexGood questions, somebody should look into these! I try to find time to fix that typo with the sequence of modalities. Thanks for alerting me!

    Good questions, somebody should look into these!

    I try to find time to fix that typo with the sequence of modalities. Thanks for alerting me!

55. • CommentRowNumber55.
    • CommentAuthorDavid_Corfield
    • CommentTimeJan 21st 2018
    • PermaLink
    Author: David_Corfield
    Format: MarkdownItexI've only had a glance, but maybe if we return to the germ/jet issue, there may be something in * Dennis Borisov, Kobi Kremnizer, _Beyond perturbation 1: de Rham spaces_, ([ arXiv:1701.06278 ](https://arxiv.org/abs/1701.06278)) which uses ∞-nilpotent elements due to Moerdijk and Reyes instead of ordinary nilpotent elements. >Something completely different happens when we apply de Rham space formalism to contracting ∞-nilpotent neighbourhoods. Instead of quotients by actions of formal neighbourhoods of diagonals we get quotients by actions of germs of diagonals... Since in differential geometry there are many more orders of vanishing than just the finite ones, the infinitesimal theory we get here is much richer.

    I’ve only had a glance, but maybe if we return to the germ/jet issue, there may be something in

    • Dennis Borisov, Kobi Kremnizer, Beyond perturbation 1: de Rham spaces, ( arXiv:1701.06278 )

    which uses ∞-nilpotent elements due to Moerdijk and Reyes instead of ordinary nilpotent elements.

    Something completely different happens when we apply de Rham space formalism to contracting ∞-nilpotent neighbourhoods. Instead of quotients by actions of formal neighbourhoods of diagonals we get quotients by actions of germs of diagonals… Since in differential geometry there are many more orders of vanishing than just the finite ones, the infinitesimal theory we get here is much richer.

56. • CommentRowNumber56.
    • CommentAuthorUrs
    • CommentTimeJan 21st 2018
    • PermaLink
    Author: Urs
    Format: MarkdownItexRight, Dennis kept telling me about this when we were close by a while back. It always sounded intriguing and like the right idea. Unfortunately I haven't found the time to look into it yet.

    Right, Dennis kept telling me about this when we were close by a while back. It always sounded intriguing and like the right idea. Unfortunately I haven’t found the time to look into it yet.

57. • CommentRowNumber57.
    • CommentAuthorDavid_Corfield
    • CommentTimeJun 20th 2018
    • PermaLink
    Author: David_Corfield
    Format: MarkdownItexWasn't I right in #53 about the ordering of $\Im_n$? As $n$ gets larger, points further away are being identified. So it's still wrong at [Modern Physics formalized in Modal Homotopy Type Theory](https://ncatlab.org/schreiber/show/Modern+Physics+formalized+in+Modal+Homotopy+Type+Theory#tal)?

    Wasn’t I right in #53 about the ordering of $\Im_n$? As $n$ gets larger, points further away are being identified. So it’s still wrong at Modern Physics formalized in Modal Homotopy Type Theory?

58. • CommentRowNumber58.
    • CommentAuthorUrs
    • CommentTimeJun 20th 2018
    • (edited Jun 20th 2018)
    • PermaLink
    Author: Urs
    Format: MarkdownItexThanks for the prodding! Have fixed it now, finally. There is now also a pdf-version ([here](https://ncatlab.org/schreiber/show/Modern+Physics+formalized+in+Modal+Homotopy+Type+Theory#pdf)), kindly produced by the FOMUS organizers from the nLab source

    Thanks for the prodding! Have fixed it now, finally.

    There is now also a pdf-version (here), kindly produced by the FOMUS organizers from the nLab source

59. • CommentRowNumber59.
    • CommentAuthortimhosgood
    • CommentTimeDec 7th 2019
    • PermaLink
    Author: timhosgood
    Format: MarkdownItexAdded a small section about the role of the first jet bundle in the Atiyah exact sequence (which also means I should probably get around to creating an entry for the Atiyah class and its role in Chern-Weil theory). <a href="https://ncatlab.org/nlab/revision/diff/jet+bundle/62">diff</a>, <a href="https://ncatlab.org/nlab/revision/jet+bundle/62">v62</a>, <a href="https://ncatlab.org/nlab/show/jet+bundle">current</a>

    Added a small section about the role of the first jet bundle in the Atiyah exact sequence (which also means I should probably get around to creating an entry for the Atiyah class and its role in Chern-Weil theory).

    diff, v62, current

60. • CommentRowNumber60.
    • CommentAuthornLab edit announcer
    • CommentTimeDec 8th 2021
    • PermaLink
    Author: nLab edit announcer
    Format: MarkdownItexI changed the action in the $E$ component so that it corresponds to the one on $E$. Mauro Mantegazza <a href="https://ncatlab.org/nlab/revision/diff/jet+bundle/65">diff</a>, <a href="https://ncatlab.org/nlab/revision/jet+bundle/65">v65</a>, <a href="https://ncatlab.org/nlab/show/jet+bundle">current</a>

    I changed the action in the $E$ component so that it corresponds to the one on $E$.

    Mauro Mantegazza

    diff, v65, current

61. • CommentRowNumber61.
    • CommentAuthorUrs
    • CommentTimeAug 18th 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded this pointer: * [[Jean-François Pommaret]], Chapter II in: *Partial Differential Equations and Group Theory*, Springer (1994) &lbrack;[doi:10.1007/978-94-017-2539-2](https://doi.org/10.1007/978-94-017-2539-2)&rback; (here and in related entries) <a href="https://ncatlab.org/nlab/revision/diff/jet+bundle/67">diff</a>, <a href="https://ncatlab.org/nlab/revision/jet+bundle/67">v67</a>, <a href="https://ncatlab.org/nlab/show/jet+bundle">current</a>

    added this pointer:

    • Jean-François Pommaret, Chapter II in: Partial Differential Equations and Group Theory, Springer (1994) [doi:10.1007/978-94-017-2539-2&rback;

    (here and in related entries)

    diff, v67, current

62. • CommentRowNumber62.
    • CommentAuthorperezl.alonso
    • CommentTimeNov 28th 2023
    • PermaLink
    Author: perezl.alonso
    Format: MarkdownItexPointer regarding jet bundles of $\mathbb{Z}$-[[graded manifold|graded manifolds]] and their [[vector bundle|vector bundles]]: * [[Jan Vysoky]]. *Graded Jet Geometry*. (2023). ([arXiv:2311.15754](https://arxiv.org/abs/2311.15754)) <a href="https://ncatlab.org/nlab/revision/diff/jet+bundle/69">diff</a>, <a href="https://ncatlab.org/nlab/revision/jet+bundle/69">v69</a>, <a href="https://ncatlab.org/nlab/show/jet+bundle">current</a>

    Pointer regarding jet bundles of $\mathbb{Z}$-graded manifolds and their vector bundles:

    • Jan Vysoky. Graded Jet Geometry. (2023). (arXiv:2311.15754)

    diff, v69, current

63. • CommentRowNumber63.
    • CommentAuthorperezl.alonso
    • CommentTimeMar 3rd 2024
    • PermaLink
    Author: perezl.alonso
    Format: MarkdownItexpointer * [[Shahn Majid]], Francisco Simão. *Quantum jet bundles*. Lett.Math.Phys. 113 (2023) 6, 120. ([doi](https://doi.org/10.1007/s11005-023-01738-z)). <a href="https://ncatlab.org/nlab/revision/diff/jet+bundle/72">diff</a>, <a href="https://ncatlab.org/nlab/revision/jet+bundle/72">v72</a>, <a href="https://ncatlab.org/nlab/show/jet+bundle">current</a>

    pointer

    • Shahn Majid, Francisco Simão. Quantum jet bundles. Lett.Math.Phys. 113 (2023) 6, 120. (doi).

    diff, v72, current