Diffeomorphism invariant Colombeau algebras. Part III: Global theory
Abstract
Description
We present the construction of an associative, commutative algebra $\hat {\mathcal G}$ of generalized functions on a manifold $X$ satisfying the following optimal set of permanence properties:
(i)The space of distributions on $X$ is linearly embedded into $\hat {\mathcal G}$, $f(p)\equiv 1$ is the unity in the algebra.
(ii) For every smooth vector field $ξ$ on $X$ there exists a derivation operator $\hat L_ξ: \hat {\mathcal G} \to \hat {\mathcal G}$ which is linear and satisfies the Leibniz rule.
(iii) $L_ξ$ restricted to the space of distributions on $X$ is the usual Lie derivative.
(iv) Multiplication in the algebra restricted to the space of smooth functions is the usual (pointwise) product of functions.
Moreover, the basic building blocks of $\hat {\mathcal G}$ are defined in purely intrinsic terms of the manifold $X$.
9 pages. Contribution to Proceedings of ICGF 2000
9 pages. Contribution to Proceedings of ICGF 2000