A note on smooth forms on analytic spaces

TL;DR

This paper establishes that smooth maps between reduced analytic spaces naturally induce pullback operations on smooth differential forms, enhancing the understanding of differential geometry in complex analytic settings.

Contribution

It introduces a natural pullback operation for smooth differential forms under smooth mappings between reduced analytic spaces, a novel extension in complex geometry.

Findings

Pullback operation is well-defined for smooth maps.

Enhances the toolkit for differential forms in analytic geometry.

Provides foundational results for further geometric analysis.

Abstract

We prove that any smooth mapping between reduced analytic spaces induces a natural pullback operation on smooth differential forms.