On the fiber product preserving bundle functors (Q1807640): Difference between revisions
From MaRDI portal
Created claim: Wikidata QID (P12): Q115337417, #quickstatements; #temporary_batch_1704767531357 |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 10:28, 1 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the fiber product preserving bundle functors |
scientific article |
Statements
On the fiber product preserving bundle functors (English)
0 references
4 May 2000
0 references
Let \(Mf\) be the category of all manifolds and all smooth maps, \(Mf_m\) be the category of \(m\)-dimensional manifolds and their local diffeomorphisms and \(FM_m\) be the category of fibered manifolds with \(m\)-dimensional bases and fiber preserving maps with the base map in \(Mf_m\). The authors deduce a complete description of all fiber product preserving bundle functors on \(FM_m\) in terms of Weil algebras. The main result reads that every such functor has finite order and all such functors of order \(r\) are in bijection with triples \((A,H,t)\), where \(A\) is a Weil algebra of order \(r\), \(H\) is a group homomorphism from the \(r\)-th jet group \(G^r_m\) into the group of all algebra automorphisms of \(A\) and \(t\) is a \(G^r_m\)-invariant algebra homomorphism from the jet algebra \(J^r_0(\mathbb{R}^m,\mathbb{R})\) into \(A\). The proof is based on several properties of the bundle functors on the product category \(Mf_m\times Mf\) that are deduced in the first part of the paper.
0 references
Weil bundle
0 references
jet bundle
0 references
natural transformation
0 references
bundle functors
0 references