Prolongations of convenient Lie algebroids (Q2156276)

A Lie algebroid is a quadruple \((A,\pi,M,\rho)\) where \(\pi:A\to M\) is a vector bundle with a Lie bracket \([\cdot,\cdot]_{A}\) on its space of sections \(\Gamma(A)\) and a vector bundle morphism \(\rho:A\to TM\), satisfying a Leibniz rule. In finite dimension, for a fibered manifold \(p:\mathcal{M}\to M\), the Lie bracket on \(A\) induces a Lie bracket on \(T\mathcal{M}\) through the prolongation of \((A,\pi,M,\rho)\) over \(p:\mathcal{M}\to M\), but not true in infinite dimension. To overcome such difficulties, the authors adapt the notion of prolongation of a Lie algebroid over a fibered manifold to the convenient setting. Roughly speaking, considering a convenient Lie algebroid over a fibered manifold means that we use a weaker topology, where we can relax the condition for a function to be continuous but gain a mild completeness requirement and etc. The authors build the prolongation of a convenient anchored bundle and define a Lie bracket on local projectable sections of the total space of the prolongation. They prove that if a Banach Lie algebroid is split and the range of its anchor (bundle morphism) is closed, the same is true for its prolongation and the range of the anchor defines also a foliation even if its Lie bracket is not defined on the set of all local sections. They show that a convenient Lie algebroid over a fibered manifold is stable under projective and direct limits, quoted as follows: Consider a direct sequence of Banach-Lie algebroid bundles \[ \Big ((A_{i},\pi_{i},M_{i},\rho_{i},[\cdot,\cdot]_{A_{i}},(\eta_{i}^{j},\xi^{j}_{i},\epsilon^{j}_{i}))\Big)_{(i,j)\in \mathbb{N}^{2},j\geq i} \] and a sequence of open fibered manifolds \(\mathcal{M}_{i}\) of \(\mathcal{E}_{i}\) compatible with algebroid prolongations. Then \(\big(\varinjlim T\mathcal{M}_{i}, \varinjlim \hat{p}_{i}, \varinjlim \mathcal{M}_{i},\varinjlim \hat{\rho}_{i}\big)\) is a convenient anchored bundle which is the prolongation of \(\big (\varinjlim A_{i},\varinjlim \pi_{i},M_{i}\big )\) over \(\varinjlim \mathcal{M}_{i}\).