Philosophical Reflections on Intrinsic Differential Geometry around the Gauss-Bonnet Theorem
Authors:
Joel Merker,
Jean-Jacques Szczeciniarz
Abstract:
The statement of the Gauss-Bonnet theorem brings up an unexpected form of reflexivity (major concept of philosophy of mathematics), so that geometry contemplates itself in it. It is therefore the revolutionary and multifaceted concept of Gaussian curvature that triggers a new conceptuality above Euclidean geometry. Here, the equality between integral of total curvature and Euler characteristic ind…
▽ More
The statement of the Gauss-Bonnet theorem brings up an unexpected form of reflexivity (major concept of philosophy of mathematics), so that geometry contemplates itself in it. It is therefore the revolutionary and multifaceted concept of Gaussian curvature that triggers a new conceptuality above Euclidean geometry. Here, the equality between integral of total curvature and Euler characteristic indicates that a concept of topological nature is equal to a number which expresses a concept of geometric nature. This further demonstrates that mathematics develops through the intervention of different disciplines on top of each other, as observation tools, formal structuring, new unifying points of view.
△ Less
Submitted 9 March, 2020;
originally announced March 2020.
Some remarks on blueprints and ${\mathbb F}_1$-schemes
Authors:
Claudio Bartocci,
Andrea Gentili,
Jean-Jacques Szczeciniarz
Abstract:
Over the past two decades several different approaches to defining a geometry over ${\mathbb F}_1$ have been proposed. In this paper, relying on Toën and Vaquié's formalism, we investigate a new category ${\mathsf{Sch}}_{\widetilde{\mathsf B}}$ of schemes admitting a Zariski cover by affine schemes relative to the category of blueprints introduced by Lorscheid. A blueprint, that may be thought of…
▽ More
Over the past two decades several different approaches to defining a geometry over ${\mathbb F}_1$ have been proposed. In this paper, relying on Toën and Vaquié's formalism, we investigate a new category ${\mathsf{Sch}}_{\widetilde{\mathsf B}}$ of schemes admitting a Zariski cover by affine schemes relative to the category of blueprints introduced by Lorscheid. A blueprint, that may be thought of as a pair consisting of a monoid $M$ and a relation on the semiring $M \otimes_{{\mathbb F}_1} \mathbb N$, is a monoid object in a certain symmetric monoidal category $\mathsf B$, which is shown to be complete, cocomplete, and closed. We prove that every $\widetilde{\mathsf B}$-scheme $Σ$ can be associated, through adjunctions, with both a classical scheme $Σ_{\mathbb Z}$ and a scheme $\underlineΣ$ over ${\mathbb F}_1$ in the sense of Deitmar, together with a natural transformation $Λ\colon Σ_{\mathbb Z}\to \underlineΣ\otimes_{{\mathbb F}_1} {\mathbb Z}$. Furthermore, as an application, we show that the category of "${\mathbb F}_1$-schemes" defined by A. Connes and C. Consani can be naturally merged with that of $\widetilde{\mathsf B}$-schemes to obtain a larger category, whose objects we call "${\mathbb F}_1$-schemes with relations".
△ Less
Submitted 5 April, 2021; v1 submitted 3 May, 2019;
originally announced May 2019.
