×

An abstract characterization of the jet spaces. (English) Zbl 0778.18008

Roughly speaking, the author shows that the \(r\)-th order jets can be characterized as homomorphic images of germs of smooth maps. – More precisely, let us denote by \(G(M,N)\) the set of all germs of smooth maps \(M\to N\). Consider a rule \(F\) transforming every pair \((M,N)\) of manifolds into a fibered manifold \(F(M,N)\) over \(M\times N\) and a system \(\varphi\) of maps \(\varphi_{M,N}:G(M,N)\to F(M,N)\) commuting with the projections \(G(M,N)\to M\times N\) and \(F(M,N)\to M\times N\). Under some quite natural requirements (“surjetiveness”, “composability”, “regularity”, “product property”), it is proved that there exists \(r\in\mathbb{N}\) such that \((F,\varphi)=(J^ r,j^ r)\), where \(J^ r\) is the \(r\)-th order jet functor and \(j^ r(\text{germ}_ xf):=j^ r_ xf\). The geometric meaning of the product property is also clarified.

MSC:

18D30 Fibered categories
58A20 Jets in global analysis

References:

[1] Eck , D.J. , Product preserving functors on smooth manifolds , J. Pure and Applied Algebra 42 ( 1986 ), 133 - 140 . MR 857563 | Zbl 0615.57019 · Zbl 0615.57019 · doi:10.1016/0022-4049(86)90076-9
[2] Ehresmann , C. , Oeuvres complètes et commentées, Parties I-1 et I-2, Suppléments au Volume XXIV ( 1983 ) des Cahiers Topo. Géom. Diff. . Zbl 0561.01027 · Zbl 0561.01027
[3] Epstein , D.B.A. ; Thurston W.P. , Transformation groups and natural bundles , Proc. London Math. Soc. 38 ( 1979 ), 219 - 236 . MR 531161 | Zbl 0409.58001 · Zbl 0409.58001 · doi:10.1112/plms/s3-38.2.219
[4] Kainz , G. ; Michor , P.W. , Natural transformations in differential geometry , Czechoslovak Math. J. 37 ( 1987 ), 584 - 607 . Article | MR 913992 | Zbl 0654.58001 · Zbl 0654.58001
[5] Kolář , I. , Covariant approach to natural transformations of Weil functors , Comment. Math. Univ. Carolin. 27 ( 1986 ), 723 - 729 . Article | MR 874666 | Zbl 0603.58001 · Zbl 0603.58001
[6] Kolář , I. ; Michor , P.W. ,; Slovák , J. , Natural operations in differential geometry , to appear. MR 1202431 · Zbl 0782.53013
[7] Luciano , O.O. , Categories of multiplicative functors and Weil’s infinitely near points , Nagoya Math. J. 109 ( 1988 ), 69 - 89 . Article | MR 931952 | Zbl 0661.58007 · Zbl 0661.58007
[8] Palais , R.S. ; Terng , C.L. , Natural bundles have finite order , Topology 16 ( 1977 ), 271 - 277 . MR 467787 | Zbl 0359.58004 · Zbl 0359.58004 · doi:10.1016/0040-9383(77)90008-8
[9] Weil , A. , Théorie des points proches sur les variétés différentielles , Colloque de topol. et géom. diff. , Strasbourg , 1953 , 111 - 117 . MR 61455 | Zbl 0053.24903 · Zbl 0053.24903
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.