Abstract:We describe singular homology of a manifold $X$ via simplices
$\sigma:\Delta_d\to X$ that satisfy Stokes' formula with respect to all differential forms. The notion is geared to the case of tame geometry (definable manifolds with respect to an o-minimal structure), where it gives a description of the period pairing with de Rham cohomology via definable $\sigma$'s.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on two aspects:
1. **Establish the definition of simplexes satisfying Stokes' formula**: In order to make the period pairing on homology groups well - defined in semi - algebraic geometry, it is necessary to ensure that Stokes' formula holds for semi - algebraic mappings. Specifically, the paper has solved the following problems:
- How to define a simplex for homology classes that satisfies Stokes' formula.
- Ensure that these simplexes still converge when integrating without relying on regularity assumptions.
2. **Compare the relationship between smooth and semi - algebraic simplexes**: In order to prove the equivalence of two different types of simplexes (smooth and semi - algebraic) in homology calculations, it is necessary to compare their performance in period pairings. Specifically, the paper has solved the following problems:
- How to unify these two types by introducing simplexes satisfying Stokes' formula and prove their consistency in homology calculations.
### Specific problem descriptions
- **Problem 1**: In order to obtain a good pairing in homology, it is necessary to verify whether semi - algebraic simplexes satisfy Stokes' formula.
\[
\int_{\Delta^d} \sigma^*(d\omega)=\int_{\partial \Delta^d} \sigma^*(\omega)
\]
- **Problem 2**: In order to show the consistency of the two pairings, it is necessary to compare smooth and semi - algebraic simplexes.
### Solutions
The author has solved the above two problems by introducing the concept of "simplexes satisfying Stokes' formula". These simplexes have the following characteristics:
- They are \(C^1\) on each open face.
- All period integrals are absolutely convergent and satisfy Stokes' formula.
In addition, the author also utilized the results of the theory of definable set structures in Czapla - Pawlucki [CP18], especially the existence of global \(C^1\) triangulations. This enables them to re - parameterize the given semi - algebraic simplexes, thus making them \(C^1\) mappings.
### Applications and significance
This paper fills a gap in the literature, especially when dealing with exponential periods, providing a conceptually clear and technically feasible solution. Through this method, the author not only solves the problems that were not solved in previous studies but also provides a solid foundation for follow - up research.
In conclusion, the main contribution of this paper is to provide a new method for homology calculations, enabling period pairings to be applied in a broader geometric context and verifying their effectiveness.