From Problems to Structures: the Cousin Problems and the Emergence of the Sheaf Concept

Archive for History of Exact Sciences 64 (1):1-73 (2009)
  Copy   BIBTEX

Abstract

Historical work on the emergence of sheaf theory has mainly concentrated on the topological origins of sheaf cohomology in the period from 1945 to 1950 and on subsequent developments. However, a shift of emphasis both in time-scale and disciplinary context can help gain new insight into the emergence of the sheaf concept. This paper concentrates on Henri Cartan’s work in the theory of analytic functions of several complex variables and the strikingly different roles it played at two stages of the emergence of sheaf theory: the definition of a new structure and formulation of a new research programme in 1940–1944; the unexpected integration into sheaf cohomology in 1951–1952. In order to bring this two-stage structural transition into perspective, we will concentrate more specifically on a family of problems, the so-called Cousin problems, from Poincaré (1883) to Cartan. This medium-term narrative provides insight into two more general issues in the history of contemporary mathematics. First, we will focus on the use of problems in theory-making. Second, the history of the design of structures in geometrically flavoured contexts—such as for the sheaf and fibre-bundle structures—which will help provide a more comprehensive view of the structuralist moment, a moment whose algebraic component has so far been the main focus for historical work.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,897

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Sheaf-theoretic representation of quantum measure algebras.Elias Zafiris - 2006 - Journal of Mathematical Physics 47 (9).
Compact representations of BL-algebras.Antonio Di Nola & Laurentiu Leustean - 2003 - Archive for Mathematical Logic 42 (8):737-761.
Constructive Sheaf Semantics.Erik Palmgren - 1997 - Mathematical Logic Quarterly 43 (3):321-327.
Generalized topological covering systems on quantum events' structures.Elias Zafiris - 2006 - Journal of Physics A: Mathematics and Applications 39 (6):1485-1505.
What Is the Validity Domain of Einstein’s Equations? Distributional Solutions over Singularities and Topological Links in Geometrodynamics.Elias Zafiris - 2016 - 100 Years of Chronogeometrodynamics: The Status of the Einstein's Theory of Gravitation in Its Centennial Year.
The associated sheaf functor theorem in algebraic set theory.Nicola Gambino - 2008 - Annals of Pure and Applied Logic 156 (1):68-77.
Boolean information sieves: a local-to-global approach to quantum information.Elias Zafiris - 2010 - International Journal of General Systems 39 (8):873-895.
Representations of MV-algebras by sheaves.Anna R. Ferraioli & Ada Lettieri - 2011 - Mathematical Logic Quarterly 57 (1):27-43.

Analytics

Added to PP
2020-02-03

Downloads
6 (#1,461,295)

6 months
4 (#790,314)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

“Local–Global”: the first twenty years.Renaud Chorlay - 2011 - Archive for History of Exact Sciences 65 (1):1-66.

Add more citations

References found in this work

Languages of Art.Nelson Goodman - 1970 - Philosophy and Rhetoric 3 (1):62-63.
General Theory of Natural Equivalences.Saunders MacLane & Samuel Eilenberg - 1945 - Transactions of the American Mathematical Society:231-294.
L'avenir des mathématiques.H. PoincarÉ - 1975 - Scientia 69 (10):357.
L'avenir Des Mathématiques.H. Poincaré - 1908 - Scientia 2 (4):1.

View all 10 references / Add more references