Could not include Categorical analysis - contents
One can base analysis on functional analysis, i.e., on the use of topological vector spaces of (generalized) functions. Completeness hypothesis give theorems like the fixed point theorem, the implicit function theorem which are fundamental tools to prove the existence and unicity of perturbatively small (small parameter) solutions of non-linear problems (e.g., partial differential equations). One also sometimes (more rarely) use related methods (compactness, etc…) to extend the local solutions to global ones. However, functional analytic methods introduce sometimes too much technical restrictions on the allowed functionals, which makes hard the presentation to mathematicians of the physicists’ methods in quantum field theory.
Another approach to analysis is given by functorial analysis, that is based on the functor of point approach to differential geometry on functional spaces. The basic idea of this approach is to use a very general class of partially defined function on functional spaces. It has the advantage of being adaptable to any non-linear (also fermionic) situation and seems particularly well suited to the study of non-perturbative quantum field theories.
The flexibility of this approach does not mean that one can avoid writing down inequalities and estimates, like in standard analysis: these are exactly the necessary steps to compute the definition domains of the objects in play.
A lot of works of physicists use a yoga of the type of categorical analysis, without computing the definition domains of the functionals in play: they just write down the formulas and compute with them. This could be a reason why mathematician often think that (perturbative) quantum field theory is not well grounded mathematically.
Consider spaces modeled on smooth open subsets for varying , given by sheaves . Let be a trivial bundle with coordinates corresponding to euclidean time and space coordinates. Let be a lagrangian density. The formula
defines a partially defined functional
whose definition domain is given by Lebesgue’s dominated derivation theorem
that is imposed to make a smooth function of the parameter .
Functor of points?