Towards a geometric theory of integration
Abstract: Integration is the final key step when turning an infinitesimal argument into a result applicable to quantities of finite size. Conceptually, it is about combining infinitesimal contributions to a finite whole. We make a first step towards a geometric theory of integration in the context of Synthetic Differential Geometry (SDG) by analysing the differential aspect of the integration process. Starting from two heuristic principles that combine the idea of differential forms as infinitesimal measures while formalising the process of taking infinitesimal differences at the same time we derive a general notion of differential form as an equivariant map from infinitesimal $n$-cuboids to the base ring coordinatising a line. Besides the familiar differential forms introduced by Cartan we discover two new types. We also discover a new differential operator besides the exterior derivative. Analogous to the relationship between the exterior derivative and the Stokes-Cartan integral theorem, this new operator is linked to the generalised Fundamental Theorem of Calculus in higher dimensions, as discussed in prior research. This shows that the Fundamental Theorem is an integral theorem like Stokes-Cartan, but for one of the new types of differential forms.
- F. Bár. Extending Cartan’s theory of differential forms. (In preparation).
- F. Bár. Affine connections and second-order affine structures. Cahiers de Topologie et Géométrie Différentielle Catégoriques, LXIII(1):35–58, 2022. URL http://cahierstgdc.com/wp-content/uploads/2022/01/BAR-LXIII-1-2.pdf.
- F. Bár. Second-order infinitesimal groups and affine connections. ArXiv e-prints, arXiv:2305.04601, 2023. URL https://doi.org/10.48550/arXiv.2305.04601.
- F. Bár. The fundamental theorem of calculus in higher dimensions. ArXiv e-prints, arXiv:2402.14564, 2024. URL https://doi.org/10.48550/arXiv.2402.14564.
- J. L. Bell. The Continuous and the Infinitesimal in Mathematics and Philosophy. Polimetrica S.A., Milan, 2005.
- É. Cartan. Sur certaines expressions différentielles et le problème de Pfaff. Annales scientifiques de l’École Normale Supérieure, Serie 3, 16:239–332, 1899. doi: 10.24033/asens.467. URL http://www.numdam.org/articles/10.24033/asens.467/.
- H. Cartan. Differential Forms. Dover Publications, Mineola, New York, reprint edition, 2006.
- A. Kock. Geometric construction of the Levi-Civita parallelism. Theory and Applications of Categories, 4(9):1–16, 1998. URL http://www.tac.mta.ca/tac/volumes/1998/n9/n9.pdf.
- A. Kock. Synthetic Geometry of Manifolds. Number 180 in Cambridge Tracts in Mathematics. Cambridge University Press, Cambridge, 2009.
- A. Kock and G. E. Reyes. Models for synthetic integration theory. Mathematica Scandinavica, 48(2):145–152, 1981. ISSN 00255521, 19031807. URL http://www.jstor.org/stable/24492516.
- Forms and integration in Synthetic Differential Geometry. Aarhus Preprint Series, (31), 1979.
- R. Lavendhomme. Basic Concepts of Synthetic Differential Geometry. Springer US, Boston, MA, 1996. ISBN 978-1-4757-4588-7. doi: 10.1007/978-1-4757-4588-7. URL https://doi.org/10.1007/978-1-4757-4588-7.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.
