hom-set, hom-object, internal hom, exponential object, derived hom-space
loop space object, free loop space object, derived loop space
Given a bundle , then its space of sections is like a mapping space, but relative to the base space .
Formally this is given by the dependent product construction. See at section – In terms of dependent product and at dependent product – In terms of spaces of sections.
Let be a topos (for instance SmoothSet) or (∞,1)-topos (for instance Smooth∞Grpd) and consider
a bundle in , regarded as an object in the slice topos/slice (∞,1)-topos.
Then the space of sections of this bundle is the dependent product
hence the image of the bundle under the right adjoint in the base change adjoint triple
By adjunction this means that for a test object, then a -parameterized family of sections of , hence a morphism in of the form
is equivalently a morphism in of the form
This is equivalently a diagram in of the form
where the right and bottom morphisms are fixed, and where (and the 2-cell filling the diagram) is, manifestly, the -parameterized family of sections.
(Fréchet topological vector space on spaces of smooth sections of a smooth vector bundle)
Let be a smooth vector bundle. On its real vector space of smooth sections consider the seminorms indexed by a compact subset and a natural number and given by
where on the right we have the absolute values of the covariant derivatives of for any fixed choice of connection on and norm on the tensor product of vector bundles .
This makes a Fréchet topological vector space.
For any closed subset then the sub-space of sections
of sections whose support is inside becomes a Fréchet topological vector spaces with the induced subspace topology, which makes these be closed subspaces.
See at Whitney extension theorem (Roberts-Schmediung 18).
The topological vector space on spaces of smooth sections is discussed in
Romeo Brunetti, Klaus Fredenhagen, Pedro Ribeiro, around remark 2.2.1 in Algebraic Structure of Classical Field Theory I: Kinematics and Linearized Dynamics for Real Scalar Fields (arXiv:1209.2148, spire)
Christian Bär, Green-hyperbolic operators on globally hyperbolic spacetimes, Communications in Mathematical Physics 333, 1585-1615 (2014) (doi, arXiv:1310.0738)
Last revised on March 4, 2019 at 13:55:31. See the history of this page for a list of all contributions to it.