No label defined (Q4263192)

For a finite dimensional vector bundle connection could be defined in the following equivalent ways: as the covariant derivation or by the ~splitting of a short exact sequence. In the infinite dimensional case these approaches are not necessarily equivalent even in the Banach case [\textit{J. Vilms}, J. Differ. Geom. 1, 235-243 (1967; Zbl 0162.53603)]. Sometimes it is ~useful to consider manifolds and vector bundles modeled using projective finitely generated modules over a topological algebra \(\mathbf A\) instead of vector spaces over \(\mathbb{R}\) and \(\mathbb{C}\). These infinite dimensional \(\mathbf A\)-manifolds and \(\mathbf A\)-bundles behave rather like finite dimensional ones. The main result is to show that an \(\mathbf A\)-linear connection map given by a splitting is equivalent to an \(\mathbf A\)-linear covariant derivation as well as to an \(\mathbf A\)-connection, i.e. to an operator between the sections of suitable \(\mathbf A\)-bundles. The approach in the paper is based on the assumptions that the base space of the bundle admits differentiable \(\mathbf A\)-valued bump functions. For the entire collection see [Zbl 0903.00045].