space of sections in nLab
Article Images
Context
Mapping space
Contents
Idea
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.
Definition
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.
Properties
Topological vector space structure
Extension of sections
See at Whitney extension theorem (Roberts-Schmediung 18).
Examples
- The space of section of an universal associated infinity-bundle is the space of homotopy coinvariants of the corresponding infinity-action (see there for more).
References
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.