Abstract:Derivations are linear operators which satisfy the Leibniz rule, while integrations are linear operators which satisfy the Rota-Baxter rule. In this paper, we introduce the notion of an FTC-pair, which consists of an algebra and module with a derivation and integration between them which together satisfy analogues of the two Fundamental Theorems of Calculus. In the special case of when an algebra is seen as a module over itself, we show that this sort of FTC-pair is precisely the same thing as an integro-differential algebra. We provide various constructions of FTC-pairs, as well as numerous examples of FTC-pairs including some based on polynomials, smooth functions, Hurwitz series, and shuffle algebras. Moreover, it is well known that integrations are closely related to Zinbiel algebras. The main result of this paper is that the category of FTC-pairs is equivalent to the category of Zinbiel algebras.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to establish the algebraic relationship between derivative and integral operators, and by introducing the concept of FTC pairs (i.e., pairs of derivatives and integrals that satisfy the fundamental theorem of calculus), to explore the applications of these relationships in a broader algebraic structure. Specifically, the author hopes:
1. **Define and study FTC pairs**: An FTC pair is a pair consisting of a derivative and an integral, which together satisfy properties similar to the fundamental theorem of calculus. This not only extends the concepts of traditional differential algebras and Rota - Baxter algebras but also provides a new framework for studying the relationship between derivatives and integrals.
2. **Establish the connection between FTC pairs and Zinbiel algebras**: Zinbiel algebras are a special class of algebraic structures related to the dual concept of Leibniz algebras. The author proves that the category of FTC pairs is equivalent to the category of Zinbiel algebras, thus establishing a profound connection between these two fields.
3. **Provide specific constructions and examples**: The author provides multiple methods for constructing FTC pairs and gives specific examples based on polynomials, smooth functions, Hurwitz series, and shuffle algebras, demonstrating the practical applications of these concepts.
4. **Explore broader applications**: The author also discusses the potential applications of these results in the theory of differential categories, especially how to re - express antiderivatives using FTC pairs in differential categories with antiderivatives.
### Main contributions of the paper
- **Introducing the concept of FTC pairs**: This is the core innovation of this paper. Through this concept, the author is able to generalize the algebraization of the fundamental theorem of calculus to more general algebraic structures.
- **Proving the categorical equivalence between FTC pairs and Zinbiel algebras**: This result not only deepens the understanding of these two algebraic structures but also provides a new perspective for future research.
- **Providing rich constructions and examples**: Through specific examples, the author demonstrates the applications of FTC pairs in different mathematical fields, enhancing the practicality and operability of the theory.
### Specific problem analysis
#### 1. **Definition of FTC pairs**
An FTC pair consists of a derivative \(D: A\rightarrow M\) and an integral \(P: M\rightarrow A\) that satisfy the following two conditions:
- **First fundamental theorem of calculus (FTC1)**: \(D\circ P = \text{id}_M\), that is, \(D(P(m)) = m\) for all \(m\in M\).
- **Second fundamental theorem of calculus (FTC2)**: For each \(a\in A\), there exists a \(D\)-constant \(c_a\in\ker(D)\) such that \(P(D(a)) = a - c_a\), and \(c_{ab}=c_a c_b\).
#### 2. **Relationship between FTC pairs and Zinbiel algebras**
- **Zinbiel algebras**: A Zinbiel algebra is a special algebraic structure whose binary operation \(\triangleright\) satisfies the Zinbiel associative law: \((x\triangleright y)\triangleright z = x\triangleright(y\triangleright z)+x\triangleright(z\triangleright y)\).
- **Equivalence**: The author proves that the category of FTC pairs is equivalent to the category of Zinbiel algebras, which means that each FTC pair can be corresponded to a Zinbiel algebra, and vice versa.
#### 3. **Specific constructions and examples**
- **Polynomial ring**: For example, for the polynomial ring \(k[x]\) over a field \(k\) of characteristic zero, the standard differential and integral operations form an FTC pair.
- **Smooth functions**: The algebra of smooth functions \(C^{\infty}(\mathbb{R})\) on the real number field also forms an FTC pair.
- **Hurwitz series**: Hurwitz series...