We present a geometric approach to diffeomorphism invariant full Colombeau algebras which allows a particularly clear view of the construction of the intrinsically defined algebra on the manifold M given in [gksv].
We introduce the notion of generalized function taking values in a smooth manifold into the setting of full Colombeau algebras. After deriving a number of characterization results we also introduce a corresponding concept of generalized vector bundle homomorphisms and, based on this, provide a definition of tangent map for such generalized functions.
In this paper sufficient conditions are given in order that every distribution invariant under a Lie group extend from the set of orbits of maximal dimension to the whole of the space. It is shown that these conditions are satisfied for the n-point action of the pure Lorentz group and for a standard action of the Lorentz group of arbitrary signature.
Over the past few years there has been considerable progress in the structural understanding of special Colombeau algebras. We present some of the main trends in this development: non-smooth differential geometry, locally convex theory of modules over the ring of generalized numbers, and algebraic aspects of Colombeau theory. Some open problems are given and directions of further research are outlined.
Extending the construction of the algebra of scalar valued Colombeau functions on a smooth manifold M (cf. [4]), we present a suitable basic space for eventually obtaining tensor valued generalized functions on M, via the usual quotient construction. This basic space canonically contains the tensor valued distributions and permits a natural extension of the classical Lie derivative. Its members are smooth functions depending-via a third slot-on so-called transport operators, in addition to slots...