Isomorphisms of algebras of generalized functions

From MaRDI portal



Abstract: We show that for smooth manifolds X and Y, any isomorphism between the special algebra of Colombeau generalized functions on X, resp. Y is given by composition with a unique Colombeau generalized function from Y to X. We also identify the multiplicative linear functionals from the special algebra of Colombeau generalized functions on X to the ring of Colombeau generalized numbers. Up to multiplication with an idempotent generalized number, they are given by an evaluation map at a compactly supported generalized point on X.


Let \(\mathcal{G}(X)\) (resp. \(\mathcal{G}(Y)\)) denote the algebra of complex-valued Colombeau generalized functions on a smooth paracompact Hausdorff manifold \(X\) (resp. \(Y\)). The author characterizes the multiplicative \(\widetilde{\mathbb{C}}\)-linear functionals on \(\mathcal{G}(X)\), where \(\widetilde{\mathbb{C}}\) denotes the ring of Colombeau generalized complex numbers. Up to multiplication with an idempotent element of \(\widetilde{\mathbb{C}}\), these functionals turn out to coincide with the evaluation maps at compactly-supported generalized points in \(\mathcal{G}(X)\). Using such a characterization, he proves that, up to multiplication with an idempotent element of \(\mathcal{G}(Y)\) (which must be locally constant on \(Y\)), algebra homomorphisms \(\mathcal{G}(X)\rightarrow \mathcal{G}(Y)\) are characterized as compositions with locally defined Colombeau generalized functions from \(X\) to \(Y\). When the homomorphism is an isomorphism the idempotent element must equal 1, so that the generalized function from \(X\) into \(Y\) is uniquely determined. This extends the well-known theorem in commutative Banach algebra theory that the isomorphisms between algebras of complex-valued continuous functions on compact Hausdorff topological spaces \(E\), resp. \(F\), are given by composition with a unique homeomorphism from \(F\) to \(E\). A final section is appended where some results known in the special case that \(X\) is an open subset of \(\mathbb{R}^d\) are established for submanifolds of \(\mathbb{R}^d\).



Cites work









This page was built for publication: Isomorphisms of algebras of generalized functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q629863)