Topology and geometry of the general composition of formal power series - towards Fréchet-Lie group-like formalism

Dawid Bugajewski
2024-09-16
Abstract:In this article, we study the properties of the autonomous superposition operator on the space of formal power series, including those with nonzero constant term. We prove its continuity and smoothness with respect to the topology of pointwise convergence and a natural Fréchet manifold structure. A necessary and sufficient condition for the left composition inverse of a formal power series to exist is provided. We also present some properties of the Fréchet-Lie group structures on the set of nonunit formal power series.
Rings and Algebras
What problem does this paper attempt to address?