Abstract
Abstract differential geometry is a recent extension of classical differential geometry on smooth manifolds which, however, does no longer use any notion of Calculus. Instead of smooth functions, one starts with a sheaf of algebras, i.e., the structure sheaf, considered on an arbitrary topological space, which is the base space of all the sheaves subsequently involved. Further, one deals with a sequence of sheaves of modules, interrelated with appropriate ‘differentials’, i.e., suitable ‘Leibniz’ sheaf morphisms, which will constitute the ‘differential complex’. This abstract approach captures much of the essence of classical differential geometry, since it places a powerful apparatus at our disposal which can reproduce and, therefore, extend fundamental classical results. The aim of this paper is to give an indication of the extent to which this apparatus can go beyond the classical framework by including the largest class of singularities dealt with so far. Thus, it is shown that, instead of the classical structure sheaf of algebras of smooth functions, one can start with a significantly larger, and nonsmooth, sheaf of so-called nowhere dense differential algebras of generalized functions. These latter algebras, which contain the Schwartz distributions, also provide global solutions for arbitrary analytic nonlinear PDEs. Moreover, unlike the distributions, and as a matter of physical interest, these algebras can deal with the vastly larger class of singularities which are concentrated on arbitrary closed, nowhere dense subsets and, hence, can have an arbitrary large positive Lebesgue measure. Within the abstract differential geometric context, it is shown that, starting with these nowhere dense differential algebras as a structure sheaf, one can recapture the exactness of the corresponding de Rham complex, and also obtain the short exponential sequence. These results are the two fundamental ingredients in developing differential geometry along classical, as well as abstract lines. Although the commutative framework is used here, one can easily deal with a class of singularities which is far larger than any other one dealt with so far, including in noncommutative theories.
Similar content being viewed by others
References
Bell, J. L. and Slomson, A. B.: Models and Ultraproducts, An Introduction, North-Holland, Amsterdam, 1969.
Biagioni, H. A.: A Nonlinear Theory of Generalized Functions, Lecture Notes in Math. 1421, Springer, New York, 1990.
Bredon, G. E.: Sheaf Theory, Springer, New York, 1996.
Colombeau, J.-F.: New Generalized Functions and Multiplication of Distributions, Math. Stud. 84, North-Holland, Amsterdam, 1984.
Connes, A.: Noncommutative Geometry, Academic Press, New York, 1994.
Gillman, L. and Jerison, M.: Rings of Continuous Functions, Van Nostrand, New York, 1960.
Heller, M.: Algebraic foundations of the theory of differential spaces, Demonstratio Math. 24 (1991), 349-364.
Heller, M.: Einstein algebras and general relativity, Internat. J. Theoret. Phys. 31 (1992), 277-288.
Heller, M. and Sasin, W.: Structured spaces and their application to relativistic physics, J. Math. Phys. 36 (1995), 3644-3662.
Kirillov, A. A.: Elements of the Theory of Representations, Springer, New York, 1976.
Kirillov, A. A.: Geometric quantization, in: V. I. Arnold and S. P. Novikov (eds), Dynamical Systems IV. Symplectic Geometry and its Application, Springer, New York, 1990, pp. 137-172.
Loš, J.: On the categoricity in power of elementary deductive systems and some related problems, Colloq. Math. 3 (1954), 58-62.
Mallios, A.: Geometry of Vector Sheaves, An Axiomatic Approach to Differential Geometry, vols. I (Chapts. 1–5), II (Chapts. 6–11), Kluwer, Amsterdam, 1997.
Mallios, A.: On an axiomatic treatment of differential geometry via vector sheaves, (Intern. Plaza) Math. Japonica 48 (1988), 93-184.
Mallios, A.: The de Rham-Kähler complex of the Gel'fand sheaf of a topological algebra, J. Math. Anal. Appl. 175 (1993), 143-168.
Mallios, A.: On an abstract form of Weil's integrality theorem, Note Mat. 12 (1992), 167-202 (invited paper).
Mallios, A.: On an axiomatic approach to geometric prequantization: A classification scheme à la Kostant—Souriau—Kirillov, J. Math. Sci. (former J. Soviet Math.) 98–99.
Mostow, M. A.: The differentiable space structures of Milnor classifying spaces, simplicial complexes, and geometric realizations, J. Differential Geom. 14 (1979), 255-293.
Narasimhan, R.: Analysis on Real and Complex Manifolds, Masson, Paris, 1973.
Nel, L. D.: Differential calculus founded on an isomorphism, Appl. Categ. Structures 1 (1993), 51-57.
Oberguggenberger, M. B. and Rosinger, E. E.: Solution of Continuous Nonlinear PDEs through Order Completion, Norht-Holland Math. Stud. 181, North-Holland, Amsterdam, 1994, see also MR 95k:35002.
Oxtoby, J. C.: Measure and Category, Springer, New York, 1971.
Rosinger, E. E.: Embedding of the \(D'\) distributions into pseudotopological algebras, Stud. Cerc. Mat. 18(5) (1966), 687-729.
Rosinger, E. E.: Pseudotopological spaces, the embedding of the \(D'\) distributions into algebras, Stud. Cerc. Mat. 20(4) (1968), 553-582.
Rosinger, E. E.: Distributions and Nonlinear Partial Differential Equations, Lecture Notes in Math. 684, Springer, New York, 1978.
Rosinger, E. E.: Nonlinear Partial Differential Equations, Sequential and Weak Solutions, North-Holland Math. Stud. 44, North-Holland, Amsterdam, 1980.
Rosinger, E. E.: Generalized Solutions of Nonlinear Partial Differential Equations, North-Holland Math. Stud. 146, North-Holland, Amsterdam, 1987.
Rosinger, E. E.: Nonlinear Partial Differential Equations, An Algebraic View of Generalized Solutions, North-Holland Math. Stud. 164, North-Holland, Amsterdam, 1990.
Rosinger, E. E.: Parametric Lie group actions on global generalised solutions of nonlinear PDEs, including a solution to Hilbert's fifth problem. See also MR 92d:46098; Zbl. Math. 717 35001, MR 92d:46097; Bull. Amer. Math. Soc. 20(1) (1989), 96–101, MR 89g:35001.
Souriau, J.-M.: Structures des systèmes dynamiques, Dunod, Paris, 1970.
Souriau, J.-M.: Groupes différentiels, in: Differential Geometric Methods in Mathematical Physics, Lecture Notes in Math. 836, Springer, New York, 1980, pp. 91-128.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Mallios, A., Rosinger, E.E. Abstract Differential Geometry, Differential Algebras of Generalized Functions, and de Rham Cohomology. Acta Applicandae Mathematicae 55, 231–250 (1999). https://doi.org/10.1023/A:1006106718337
Issue Date:
DOI: https://doi.org/10.1023/A:1006106718337