nLab distributions are the smooth linear functionals

Redirected from "compactly supported distributions are the smooth linear functionals".
Contents

Context

Differential geometry

synthetic differential geometry

Introductions

from point-set topology to differentiable manifolds

geometry of physics: coordinate systems, smooth spaces, manifolds, smooth homotopy types, supergeometry

Differentials

V-manifolds

smooth space

Tangency

The magic algebraic facts

Theorems

Axiomatics

cohesion

infinitesimal cohesion

tangent cohesion

differential cohesion

graded differential cohesion

singular cohesion

id id fermionic bosonic bosonic Rh rheonomic reduced infinitesimal infinitesimal & étale cohesive ʃ discrete discrete continuous * \array{ && id &\dashv& id \\ && \vee && \vee \\ &\stackrel{fermionic}{}& \rightrightarrows &\dashv& \rightsquigarrow & \stackrel{bosonic}{} \\ && \bot && \bot \\ &\stackrel{bosonic}{} & \rightsquigarrow &\dashv& \mathrm{R}\!\!\mathrm{h} & \stackrel{rheonomic}{} \\ && \vee && \vee \\ &\stackrel{reduced}{} & \Re &\dashv& \Im & \stackrel{infinitesimal}{} \\ && \bot && \bot \\ &\stackrel{infinitesimal}{}& \Im &\dashv& \& & \stackrel{\text{étale}}{} \\ && \vee && \vee \\ &\stackrel{cohesive}{}& \esh &\dashv& \flat & \stackrel{discrete}{} \\ && \bot && \bot \\ &\stackrel{discrete}{}& \flat &\dashv& \sharp & \stackrel{continuous}{} \\ && \vee && \vee \\ && \emptyset &\dashv& \ast }

Models

Lie theory, ∞-Lie theory

differential equations, variational calculus

Chern-Weil theory, ∞-Chern-Weil theory

Cartan geometry (super, higher)

Functional analysis

Contents

Idea

Historically, the theory of distributional densities (or just distributions, for short), conceived in functional analysis, was phrased in terms of continuous linear functionals on topological vector spaces of smooth functions. However, since smooth functions on smooth manifolds are the subject of differential geometry, and since spaces of smooth functions are naturally themselves generalized smooth spaces, it makes sense to ask whether distribution theory is actually a native topic to differential geometry.

In particular we may ask how distributions in the functional analytic sense relate to the smooth linear functions on smooth spaces of smooth functions. Indeed, with respect to the natural formulation of differential geometry via functorial geometry (topos theory) in terms of diffeological spaces, smooth sets etc. it turns out that distributional densities are equivalently the smooth linear functionals on smooth spaces of smooth functions.

This we discuss in the section

below. To set the scene we briefly recall some concepts in

Finally we discuss some

Preliminaries

Definition

(generalized smooth spaces)

In the following we write H\mathbf{H} for the category of diffeological spaces rather for the toposes of smooth sets or formal smooth set or super formal smooth sets etc. These form a sequence of full subcategory inclusions

SmoothManifoldsDiffeologicalSpacesSmoothSetsFormalSmoothSetsSuperFormalSmoothSets. SmoothManifolds \hookrightarrow DiffeologicalSpaces \hookrightarrow SmoothSets \hookrightarrow FormalSmoothSets \hookrightarrow SuperFormalSmoothSets \,.

The smallest of these categories of generalized smooth spaces that is needed for accomodating the spaces of smooth functions that distributions are defined on are diffeological spaces, and the reader may want to just focus on these. We mention these more general ambient categories mostly to amplify that the identificatin of distributions with smooth linear functionals remains true in these more general contexts.

Example

(smooth mapping spaces)

For XHX \in \mathbf{H} any object, we write [X,][X,\mathbb{R}] for the mapping space (the internal hom). The underlying set is C (X)C^\infty(X). If XX itself has \mathbb{R}-linear structure, we write

[X,] [X,] [X,\mathbb{R}]_{\mathbb{R}} \hookrightarrow [X,\mathbb{R}]

for the subobject of \mathbb{R}-linear maps.

Concretely, for UU a smooth manifold (or just a Cartesian space), then the sheaf [X,][X,\mathbb{R}] assigns (see at closed monoidal structure on presheaves for details)

[X,](U)=C (U×X) [X,\mathbb{R}](U) = C^\infty(U \times X)

and [X,](U)C (U×X)[X,\mathbb{R}](U) \subset C^\infty(U \times X) is the subset of those functions Φ ()()\Phi_{(-)}(-) such that for all uUu \in U the function Φ u:X\Phi_u \colon X \to \mathbb{R} is \mathbb{R}-linear. The global elements Γ()\Gamma(-) of the mapping space constitute the ordinary hom set

Γ[X,]H(X,). \Gamma [X,\mathbb{R}] \simeq \mathbf{H}(X,\mathbb{R}) \,.

If XX happens to be a compact smooth manifold then C (X)C^\infty(X) carries the structure of a Fréchet manifold (see at manifold structure of mapping spaces). Under the full embdding of Fréchet manifolds into diffeological spaces, this coincides with [X,][X,\mathbb{R}] (see there).

Statement

Compactly supported distributions

Proposition

(compactly supported distributions are the smooth linear functionals)

For nn \in \mathbb{N}, there is a natural bijection between the underlying sets of compactly supported distributions on n\mathbb{R}^n (this def.) and the \mathbb{R}-linear mapping space formed in the category H\mathbf{H} of generalized smooth spaces from def. :

()˜:( n)H([ n,],) \widetilde{(-)} \;\colon\; \mathcal{E}'(\mathbb{R}^n) \overset{\simeq}{\longrightarrow} \mathbf{H}([\mathbb{R}^n, \mathbb{R}], \mathbb{R})_{\mathbb{R}}

given by sending μ( n)\mu \in \mathcal{E}'(\mathbb{R}^n) to the natural transformation which on a test space UU \in CartSp takes a smoothly UU-parameterized function Φ ()():U× n\Phi_{(-)}(-) \colon U \times \mathbb{R}^n \to \mathbb{R} to its evaluation in μ\mu pointwise in UU:

μ˜(Φ ())(u)μ,Φ u. \tilde \mu(\Phi_{(-)})(u) \;\coloneqq\; \langle \mu, \Phi_{u}\rangle \,.

(Moerdijk-Reyes 91, chapter II, prop. 3.6)

Proof

First consider this for the case that H=\mathbf{H} = SmoothSet (which immediately subsumes the case that H=\mathbf{H} = DiffelogicaSpace).

To see that ()˜\widetilde{(-)} is well defined, we need to check that the function

U μ˜(Φ ()) u μ,Φ u \array{ U &\overset{ \tilde \mu(\Phi_{(-)})}{\longrightarrow}& \mathbb{R} \\ u &\mapsto& \langle \mu, \Phi_u\rangle }

is smooth. But this follows immediately since μ,\langle \mu,-\rangle by definition is linear and continuous.

To see that ()˜\widetilde{(-)} is indeed a bijection for each UU it remains that every \mathbb{R}-linear smooth functional (morphisms of smooth sets) of the form

A:[ n,] A \;\colon\; [\mathbb{R}^n,\mathbb{R}] \longrightarrow \mathbb{R}

when restricted on global elements to a function of sets

A(*):C ( n) A(\ast) \;\colon\; C^\infty(\mathbb{R}^n) \longrightarrow \mathbb{R}

is continuous with respect to the topological vector space structure from def. on the left.

Now by definition of the internal hom AA is actually “path-smooth” (this def.) and hence the statement is implied by this prop.

Finally to see that this argument generalizes to H=\mathbf{H} = FormalSmoothSet observe that the Weil algebra of every infinitesimally thickened point is a quotient ring of an algebra of smooth functions on some Cartesian space (by the Hadamard lemma). The previous argument now applies to representatives under this quotient coprojection and one checks that it is independent of the representative chosen.

General distributions

For general distributions in the sense of continuous linear functionals on the space 𝒟( n)\mathcal{D}(\mathbb{R}^n) of compactly supported smooth functions (bump functions) their equivalence to smooth linear functionals is discussed in (Kock-Reyes 04, section 2, esp. paragraph above theorem 2.3).

(…)

Applications

In quantum field theory

This has some interesting consequences. For instance a major application of distribution theory is perturbative quantum field theory, which, together with the rest of quantum physics is traditionally regarded to be a subject that makes heavy use of functional analysis. However, the development of algebraic quantum field theory with its emphasis of the abstract operator algebra of observables and de-emphasis of Hilbert spaces of quantum states (which is sometimes a convenient representation of the abstract operator algebra but more often just a distraction) combined with the development of perturbative quantum field theory, where even these operator algebras are replaced by formal star algebras of smooth functionals, has diminished the fundamental role of functional analysis in field theory. The theory of distributions survives as the tool of choice for understanding the singularity structure (or rather its absence) in the construction of the Wick algebra of quantum observables of the free fields and then in the process of renormalization via extension of distributions to the locus of coincident interaction points. But the quantum observables which are represented by these distributions are most naturally thought of as smooth functions on the space of field histories. Therefore the fact that distributions in fact are the smooth linear functionals shows that their appearance in perturbative quantum field theory is a tool for studying smooth functionals, not a concept fundamental to the theory as such.

Generalization to extensive quantities

The conception of distributions simply as elements of a double mapping space (internal hom) makes immediate that this concept exists in more generality than the traditional context. In Lawvere 86 it was suggested that distribution theory should be considered more abstractly from such a point of general “extensive quantities”. This is developed further in (Kock 11).

References

Discussion of distributions in terms morphisms out of internal homs in the smooth topos over the site of smooth loci is in

Discussion for the Cahiers topos is in

using results of

and following the general conception of “intensive and extensive” in

Similar sheaf theoretic discussion of distributions as morphisms of smooth spaces is in

Last revised on January 15, 2023 at 05:16:16. See the history of this page for a list of all contributions to it.