{"title":"形式幂级数一般组成的拓扑学和几何学--走向类似弗雷谢特-李群的形式主义","authors":"Dawid Bugajewski","doi":"arxiv-2409.09853","DOIUrl":null,"url":null,"abstract":"In this article, we study the properties of the autonomous superposition\noperator on the space of formal power series, including those with nonzero\nconstant term. We prove its continuity and smoothness with respect to the\ntopology of pointwise convergence and a natural Fr\\'echet manifold structure. A\nnecessary and sufficient condition for the left composition inverse of a formal\npower series to exist is provided. We also present some properties of the\nFr\\'echet-Lie group structures on the set of nonunit formal power series.","PeriodicalId":501136,"journal":{"name":"arXiv - MATH - Rings and Algebras","volume":"8 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Topology and geometry of the general composition of formal power series - towards Fréchet-Lie group-like formalism\",\"authors\":\"Dawid Bugajewski\",\"doi\":\"arxiv-2409.09853\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this article, we study the properties of the autonomous superposition\\noperator on the space of formal power series, including those with nonzero\\nconstant term. We prove its continuity and smoothness with respect to the\\ntopology of pointwise convergence and a natural Fr\\\\'echet manifold structure. A\\nnecessary and sufficient condition for the left composition inverse of a formal\\npower series to exist is provided. We also present some properties of the\\nFr\\\\'echet-Lie group structures on the set of nonunit formal power series.\",\"PeriodicalId\":501136,\"journal\":{\"name\":\"arXiv - MATH - Rings and Algebras\",\"volume\":\"8 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-09-15\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - MATH - Rings and Algebras\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2409.09853\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - MATH - Rings and Algebras","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2409.09853","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Topology and geometry of the general composition of formal power series - towards Fréchet-Lie group-like formalism
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\'echet 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\'echet-Lie group structures on the set of nonunit formal power series.