G. S. H. Cruttwell,J.-S. P. Lemay,R. B. B. Lucyshyn-Wright
Abstract:Integral categories were recently developed as a counterpart to differential categories. In particular, integral categories come equipped with an integration operator, known as an integral transformation, whose axioms generalize the basic integration identities from calculus such as integration by parts. However, the literature on integral categories contains no example that captures integration of arbitrary smooth functions: the closest are examples involving integration of polynomial functions. This paper fills in this gap by developing an example of an integral category whose integral transformation operates on smooth 1-forms. We also provide an alternative viewpoint on the differential structure of this key example, investigate derivations and coderelictions in this context, and prove that free $C^{\infty}$-rings are Rota-Baxter algebras.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to establish an integral category structure on the free \(C^\infty\)-ring modality, making it compatible with the known differential structure. Specifically, the paper aims to fill a gap in the existing literature: providing an example of an integral category that can integrate any smooth function, not just polynomial functions.
### Specific description of the main problem
1. **Lack of integral category structure**:
- Existing integral category literature lacks an example that can handle the integration of arbitrary smooth functions. The closest are examples that deal with the integration of polynomial functions.
- The goal of the paper is to construct an integral category structure such that its integral transformation can act on smooth 1 - forms, thus covering a wider class of functions.
2. **Compatibility of differential and integral structures**:
- The paper also explores how to define differential and integral structures simultaneously under the same algebra modality and ensure their compatibility, especially by describing this compatibility through the fundamental theorem of calculus.
3. **Proof of Rota - Baxter algebras**:
- As a by - product, the paper proves that the free \(C^\infty\)-ring is a Rota - Baxter algebra. This result not only verifies the definition of the integral category but also reveals the connection between \(C^\infty\)-rings and Rota - Baxter algebras.
### Key points of the solution
- **Definition of integral transformation**:
- The paper defines the integral structure on the free \(C^\infty\)-ring modality by the method of left Kan extension, starting from the integral formula on finite - dimensional real vector spaces.
- **Alternative representation of differential structure**:
- In order to better handle the integral structure, the paper provides an alternative representation method of the differential structure, especially the differential structure on real vector spaces.
- **Study of derivations and coderelictions**:
- The paper studies the properties of derivations and coderelictions in this context and shows the correspondence between these structures and the derivations in Fermat's theory.
### Conclusion
Through the above work, the paper not only fills an important gap in the integral category structure but also provides new insights into the relationship between \(C^\infty\)-rings and Rota - Baxter algebras. This lays the foundation for further research on the application of differential and integral structures in a wider range of mathematical fields.