The Fermat functors

MaRDI QIDQ2826241zbMATH OpenFDO

Authors Enxin Wu

Publication date 11 October 2016

Published in Theory and Applications of Categories (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1603.09266, http://www.emis.de/journals/TAC/volumes/31/28/31-28abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

diffeological spacesFermat realsFermat spacesthe adding infinitesimal functorthe deleting infinitesimal functor

Mathematics Subject Classification ID

Categories in geometry and topology (18F99) Generalized manifolds (57P99)

Abstract: In this paper, we use some basic quasi-topos theory to study two functors: one adding infinitesimals of Fermat reals to diffeological spaces (which generalize smooth manifolds including singular spaces and infinite dimensional spaces), and the other deleting infinitesimals on Fermat spaces. We study the properties of these functors, and calculate some examples. These serve as fundamentals for developing differential geometry on diffeological spaces using infinitesimals in a future paper.

Review text

The theory of Fermat reals [\textit{P. Giordano}, Adv.\ Math.\ 225, No. 4, 2050--2075 (2010; Zbl 1205.26051)] is a theory of infinitesimal numbers in which infinitesimals are nilpotent (as in synthetic differential geometry), but is still compatible with classical logic. The paper under review provides some fundamentals for doing differential geometry using diffeological spaces and infinitesimals.NEWLINENEWLINEThe author defines a Grothendieck site, called the Fermat site, where objects are open subsets of \(\mathbb R^n\) enlarged with Fermat infinitesimals. Then the goal is to construct comparison functors between concrete sheaves on this site, called \textit{Fermat spaces}, and diffeological spaces in the sense of Souriau. These functors are called ``adding infinitesimals and ``deleting infinitesimals. The author establishes the basic properties of these functors and computes some examples, showing in particular that in his approach a \(1\)-dimensional irrational torus yields an interesting Fermat space, solving a deficiency of Giordano's earlier approach.

Recommendations

• scientific article; zbMATH DE number 6292239
• Topological and algebraic structures on the ring of Fermat reals
• Infinitesimals without logic
• The ring of Fermat reals
• scientific article; zbMATH DE number 2172782

Cited in

(9)

• The ring of Fermat reals
• Functorial differential spaces and the infinitesimal structure of space-time
• Frobenius-Perron theory of endofunctors
• Differential Geometry of Microlinear Frolicher Spaces I
• scientific article; zbMATH DE number 1789959 (Why is no real title available?)
• Infinitesimals without logic
• A functorial approach to differential calculus
• Functors in Lorentzian geometry: three variations on a theme
• Calculus in the ring of Fermat reals. I: Integral calculus

This page was built for publication: The Fermat functors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2826241)