Inversion of Colombeau generalized functions

We introduce different notions of invertibility for generalized functions in the sense of Colombeau. Several necessary conditions for (left, right) invertibility are derived, giving rise to the concepts of compactly asymptotic injectivity and surjectivity. We analyse the extent to which these properties are also sufficient to guarantee the existence of a (left, right) inverse of a generalized function. Finally, we establish several Inverse Function Theorems in this setting and study the relation to their classical counterparts.