Maximal closed ideals of the Colombeau algebra of generalized functions (Q2220387): Difference between revisions

For a Hausdorff topological vector space \(E\), let \({\mathcal G}[E]\) denote the so-called Colombeau extension of \(E\). When, in addition, \(E\) is a topological algebra on \(\mathbb{K}\) then \({\mathcal G}[E]\) is a topological algebra on \(\overline {\mathbb{K}}\), where \(\overline {\mathbb{K}}\) denotes the Colombeau extension of \(\mathbb{K}\). The paper under review is concerned with \({\mathcal G}[C^\infty(\Omega)]\) the algebra of Colom\-beau generalized functions on the open set \(\Omega\subset {\mathbb R}^d\), denoted in short by \({\mathcal G}(\Omega)\). More precisely, it is devoted to the study of the prime and the maximal ideals of \({\mathcal G}(\Omega)\). In order to use, in this context, the ideas contained in the famous book [\textit{L. Gillman} and \textit{M. Jerison}, Rings of continuous functions. The University Series in Higher Mathematics. Princeton-Toronto-London-New York: D. Van Nostrand Company, Inc. ix, 300 p. (1960; Zbl 0093.30001)], the authors consider the \(m\)-reduction procedure for a maximal ideal \(m\) of \(\overline {\mathbb{K}}\), and consider as well a very large class of maximal ideals called \textit{regular} maximal ideals. This long paper contains several sections (and one appendix) presenting all the necessary ingredients in order to establish as the main result Theorem 3.30. This theorem says: ``The family of regular maximal ideals \(\mathcal M\) of \({\mathcal G}(\Omega)\) is in a one to one correspondence with couples \((m,\xi)\) where \(m={\mathcal M}\cap \overline {\mathbb{K}}\) is a maximal ideal of \(\overline{\mathbb{K}}\) and \(\xi\) is an element of \(\gamma(\widehat{\Omega}_{m,c})\)''. Here, \(\widehat\Omega_{m,c}\) denotes the set of compactly supported \(m\)-reduced generalized points and \(\gamma(\widehat{\Omega}_{m,c})\) is the so-called g-\textit{compactification} of \(\widehat \Omega_{m,c}\). Note that this new compactification turns out to be smaller than the classical Stone-Čech compactification.