A+ CATEGORY SCIENTIFIC UNIT

PDF files of articles are only available for institutions which have paid for the online version upon signing an Institutional User License.

A Grothendieck topos of generalized functions I: basic theory

Volume 592 / 2024

Paolo Giordano, Michael Kunzinger, Hans Vernaeve Dissertationes Mathematicae 592 (2024), 74 pp MSC: Primary 46-XX; Secondary 46Fxx, 30Gxx, 46Txx, 46F30, 26E30, 58A03. DOI: 10.4064/dm230920-7-3 Published online: 27 March 2024

Abstract

The main aim of the present work is to arrive at a mathematical theory close to the historically original conception of generalized functions, i.e. set-theoretical functions defined on, and with values in, a suitable ring of scalars and sharing a number of fundamental properties with smooth functions, in particular with respect to composition and nonlinear operations. This is how they are still used in informal calculations in physics. We introduce a category of generalized functions as smooth set-theoretical maps on (multidimensional) points of a ring of scalars containing infinitesimals and infinities. This category extends Schwartz distributions. The calculus of these generalized functions is closely related to classical analysis, with point values, composition, nonlinear operations and the generalization of several classical theorems of calculus. Finally, we extend this category of generalized functions to a Grothendieck topos of sheaves over a concrete site. This topos hence provides a suitable framework for the study of spaces and functions with singularities. In this first paper, we present the basic theory; subsequent ones will be devoted to the resulting theory of ODE and PDE.

Authors

  • Paolo GiordanoUniversity of Vienna, Austria
    e-mail
  • Michael KunzingerUniversity of Vienna, Austria
    e-mail
  • Hans VernaeveGhent University, Belgium
    e-mail

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image