Diffeology
The category of smooth manifolds and smooth maps is by no means an adequate category for differential geometry. One of the crucial defects is that it fails to be Cartesian closed. Several enlarged categories are proposed in [Zbl 0501.58010; Zbl 0427.58005; Zbl 0498.58004; Zbl 0146.19402; Zbl 0389.58001; Zbl 0301.58006; Zbl 0227.58003]. These categories are thoroughly investigated with due regard to the relationship of one with another by [Zbl 1220.18013]. The category of Chen spaces and that of Souriau's diffeological spaces as well as the category of simplicial complexes are shown to be concrete sheaves on a concrete site in [Zbl 1237.58006], so that they enjoy many nice properties such as locally cartesian closedness, which the category of Frölicher spaces fails to enjoy.NEWLINENEWLINEThe present book aims to propagate differential geometry on Souriau-Chen lines. It covers a wide range of differential geometry such as diffeological vector spaces, homotopy of diffeological spaces, differential forms and de Rham cohomology, diffeological groups, diffeological fiber bundles, and even symplectic diffeology. The book is undoubtedly to be welcomed by the general mathematical community. The author was once a student of Jean-Marie Souriau.NEWLINENEWLINEThe book [The convenient setting of global analysis. Providence, RI: American Mathematical Society (AMS) (1997; Zbl 0889.58001)] by \textit{A. Kriegl} and \textit{P. W. Michor} is written under the strong influence of Frölicher spaces, though the authors are too contained to develop differential geometry of Frölicher spaces in full detail, succumbing easily to the orthodox philosophy of smooth manifolds. They have discussed convenient vector spaces (i.e., vector spaces within the category of Frölicher spaces enjoying some sort of completeness) only as building blocks for constructing infinite-dimensional manifolds. \textit{A. Kock} and \textit{G. E. Reyes} [Zbl 0596.18005; Zbl 0601.18006; Zbl 0634.18007] have investigated the relationship between the category of convenient vector spaces and a well-adapted model of synthetic differential geometry. Differential geometry of Frölicher spaces in the sense of the present book under review is being developed in [Zbl 1186.51007; Zbl 1193.51017; Zbl 1232.58001; Zbl 1242.58001; Zbl 1263.58001].NEWLINENEWLINEHomotopy theory is the study of the category of topological spaces and equivalence classes of continuous maps with respect to the relation of homotopy. As is well known, it is axiomatized by the notion of a model category. If this axiomatics is applied to the category of chain complexes over some commutative ring \(R\), we get the derived category of \(R\)-modules. Differential geometry should be axiomatized in the same spirit, and it is being developed by \textit{H. Nishimura} [Math. Appl., Brno 1, No. 2, 183--195 (2012; Zbl 1285.51010); ibid. 1, No. 2, 171--182 (2012; Zbl 1285.51009)].
- \(C^\infty\)-differentiable spaces
- The diffeology of Milnor's classifying space
- Pseudo-bundles of exterior algebras as diffeological Clifford modules
- A Hilbert bundle description of differential \(K\)-theory
- Noncommutative geometry and diffeology: the case of orbifolds
- The group of diffeomorphisms of a non-compact manifold is not regular
- On the pseudo-manifold of quantum states
- Hierarchies of holonomy groupoids for foliated bundles
- The Maslov cycle as a Legendre singularity and projection of a wavefront set
- The derivative of global surface-holonomy for a non-abelian gerbe
- Smooth classifying spaces
- Smooth functorial field theories from B-fields and D-branes
- The holonomy groupoids of singularly foliated bundles
- Smooth 2-group extensions and symmetries of bundle gerbes
- On the Chern character in higher twisted \(K\)-theory and spherical T-duality
- Gerbes in geometry, field theory, and quantisation
- Quasifolds, diffeology and noncommutative geometry
- A rigorous construction of the supersymmetric path integral associated to a compact spin manifold
- Fusion of implementers for spinors on the circle
- A framework for differential calculus on persistence barcodes
- Smooth constructions of homotopy-coherent actions
- On the notion of noncommutative submanifold
- Well-posedness of the Kadomtsev-Petviashvili hierarchy, Mulase factorization, and Frölicher Lie groups
- On the domain of implicit functions in a projective limit setting without additional norm estimates
- Correctness of automatic differentiation via diffeologies and categorical gluing
- Quantum (non-commutative) toric geometry: foundations
- Reverse AD at higher types: pure, principled and denotationally correct
- Suitable spaces for shape optimization
- Transgressive loop group extensions
- A novel approach to sheaves on diffeological spaces
- Differential forms on manifolds with boundary and corners
- Duality and helicity: a symplectic viewpoint
- Local well-posedness of the EPDiff equation: a survey
- Basic forms and orbit spaces: a diffeological approach
- Diffeological vector pseudo-bundles
- Model category of diffeological spaces
- Orbifolds as stratified diffeologies
- The \(\mathbb{R}\)-local homotopy theory of smooth spaces
- Exterior bundles in diffeology
- Example of singular reduction in symplectic diffeology
- Axiomatic differential geometry. III-2 -- its landscape. II: Model theory. II
- On families in differential geometry
- Tangent spaces of bundles and of filtered diffeological spaces
- Parallel transport on principal bundles over stacks
- Convenient categories of smooth spaces
- Smooth Lie group actions are parametrized diffeological subgroups
- New spaces in mathematics. Formal and conceptual reflections
- Manifolds of mappings for continuum mechanics
- scientific article; zbMATH DE number 3874250 (Why is no real title available?)
- A note on Weyl invariance in gravity and the Wess-Zumino functional
- Orbifolds as diffeologies
- scientific article; zbMATH DE number 3959732 (Why is no real title available?)
- scientific article; zbMATH DE number 720877 (Why is no real title available?)
- HOMOLOGY AND COHOMOLOGY VIA ENRICHED BIFUNCTORS
- On the notion of scalar product for finite-dimensional diffeological vector spaces
- Mackey-complete spaces and power series -- a topological model of differential linear logic
- Constructing buildings and harmonic maps
- Weil diffeology. I: Classical differential geometry
- DIFFERENTIAL FORMS ON STRATIFIED SPACES II
- DIFFERENTIAL FORMS ON STRATIFIED SPACES
- scientific article; zbMATH DE number 1859650 (Why is no real title available?)
- scientific article; zbMATH DE number 881164 (Why is no real title available?)
- Diffeological controlled pseudomanifolds
- A comparison between two de Rham complexes in diffeology
- scientific article; zbMATH DE number 7255212 (Why is no real title available?)
- Watts spaces and smooth maps
- On the geometry of \(\operatorname{Diff}(S^1)\)-pseudodifferential operators based on renormalized traces
- Nonparametric Estimations and the Diffeological Fisher Metric
- Characterization of codimension one foliations on complex curves by connections
- Symplectic induction, prequantum induction, and prequantum multiplicities
- Every symplectic manifold is a (linear) coadjoint orbit
- Whitney approximation for smooth CW complex
- Higher order automatic differentiation of higher order functions
- Hypergroups and polygroups in diffeology
- On the differential geometry of numerical schemes and weak solutions of functional equations
- An introduction to diffeology
- Diffeological gluing of vector pseudo-bundles and pseudo-metrics on them
- Clebsch-Lagrange variational principle and geometric constraint analysis of relativistic field theories
- Diffeological Clifford algebras and pseudo-bundles of Clifford modules
- The Cauchy problem of the Kadomtsev-Petviashvili hierarchy with arbitrary coefficient algebra
- The Lusternik-Schnirelmann category for a differentiable stack
- Algebraic formulation of higher gauge theory
- Pushforwards and gauge transformations for categorical connections
- Singularities in dynamics: a catastrophic viewpoint
- Mayer-Vietoris sequence for generating families in diffeological spaces
- Frölicher structures, diffieties, and a formal KP hierarchy
- On diffeological principal bundles of non-formal pseudo-differential operators over formal ones
- Smooth Homotopy of Infinite-Dimensional 𝐶^{∞}-Manifolds
- Product-type classes for vertex algebra cohomology of foliations on complex curves
- On diffeologies from infinite dimensional geometry to PDE constrained optimization
- Elastic diffeological spaces
- A remark on stability and the D-topology of mapping spaces
- Smooth maps on convex sets
- A survey on diffeological vector spaces and applications
- Finite-dimensional diffeological vector spaces being and not being coproducts
- Singular foliations through diffeology
- Diffeological coarse moduli spaces of stacks over manifolds
- Smooth 𝐴_{∞}-form on a diffeological loop space
- Smooth homotopy of diffeological spaces: theory and applications to infinite-dimensional 𝐶^{∞}-manifolds
- Natural differentiable structures on statistical models and the Fisher metric
This page was built for publication: Diffeology
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2920081)
