Scholarlink

<p>This is the first paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In this paper, we lay the foundations for this study by introducing the notion of formal manifolds in the context of differential geometry, inspired by the notion of formal schemes in algebraic geometry. We develop the basic theory for formal manifolds and establish a fully faithful contravariant functor from the category of formal manifolds to the category of topological ℂ-algebras. We also prove the existence of finite products in the category of formal manifolds by studying vector-valued formal functions.</p>

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Formal manifolds: Foundations

  • 期刊论文

  • 发表日期：

    2025年4月24日

查看全文
  • Fulin Chen,
  • Binyong Sun,
  • Chuyun Wang

摘要

This is the first paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In this paper, we lay the foundations for this study by introducing the notion of formal manifolds in the context of differential geometry, inspired by the notion of formal schemes in algebraic geometry. We develop the basic theory for formal manifolds and establish a fully faithful contravariant functor from the category of formal manifolds to the category of topological ℂ-algebras. We also prove the existence of finite products in the category of formal manifolds by studying vector-valued formal functions.