physics, mathematical physics, philosophy of physics
theory (physics), model (physics)
experiment, measurement, computable physics
Axiomatizations
Tools
Structural phenomena
Types of quantum field thories
synthetic differential geometry
Introductions
from point-set topology to differentiable manifolds
geometry of physics: coordinate systems, smooth spaces, manifolds, smooth homotopy types, supergeometry
Differentials
Tangency
The magic algebraic facts
Theorems
Axiomatics
(shape modality $\dashv$ flat modality $\dashv$ sharp modality)
$(ʃ \dashv \flat \dashv \sharp )$
dR-shape modality $\dashv$ dR-flat modality
$ʃ_{dR} \dashv \flat_{dR}$
(reduction modality $\dashv$ infinitesimal shape modality $\dashv$ infinitesimal flat modality)
$(\Re \dashv \Im \dashv \&)$
fermionic modality $\dashv$ bosonic modality $\dashv$ rheonomy modality
$(\rightrightarrows \dashv \rightsquigarrow \dashv Rh)$
Models
Models for Smooth Infinitesimal Analysis
smooth algebra ($C^\infty$-ring)
differential equations, variational calculus
Chern-Weil theory, ∞-Chern-Weil theory
Cartan geometry (super, higher)
This entry one chapter of geometry of physics.
previous chapters: categories and toposes
next chapters: supergeometry, smooth homotopy types
$\,$
$\,$
This chapter introduces a generalized kind of sets equipped with smooth structure, to be called smooth sets or, with an eye towards their generalization to smooth homotopy types, smooth h-sets or smooth 0-types^{1}.
The definition (Def. 10 below) subsumes that of smooth manifolds, Fréchet manifolds and diffeological spaces but is both simpler and more powerful: smooth sets are simply sheaves on the gros site of Cartesian Spaces (Prop. 3 below) and as such form a nice category – a topos – and this contains as full subcategories the more “tame” objects such as smooth manifolds and diffeological spaces.
In fact smooth sets are an early stage in a long sequence of generalized smooth spaces appearing in higher differential geometry:
$\,$
$\;\;\;\;$ $\{$coordinate systems$\}$
$\hookrightarrow$ $\{$smooth manifolds$\}$
$\hookrightarrow$ $\{$Hilbert manifolds$\}$
$\hookrightarrow$ $\{$Banach manifolds$\}$
$\hookrightarrow$ $\{$Fréchet manifolds$\}$
$\hookrightarrow$ $\{$diffeological spaces$\}$
$\hookrightarrow$ $\{$smooth sets$\}$
$\hookrightarrow$ $\{$smooth orbifolds$\}$
$\hookrightarrow$ $\{$smooth groupoids$\}$
$\hookrightarrow$ $\{$smooth 2-groupoids$\}$
$\hookrightarrow$ $\cdots$
$\hookrightarrow$ $\{$smooth ∞-groupoids$\}$
$\hookrightarrow$ $\{$formal smooth ∞-groupoids$\}$
$\hookrightarrow$ $\{$super formal smooth ∞-groupoids$\}$
$\,$
As discussed in the chapter categories and toposes, every kind of geometry is modeled on a collection of archetypical basic spaces and geometric homomorphisms between them. In differential geometry the archetypical spaces are the abstract standard Cartesian coordinate systems, denoted $\mathbb{R}^n$ (in every dimension $n \in \mathbb{N}$). The geometric homomorphism between them are smooth functions $\mathbb{R}^{n_1} \to \mathbb{R}^{n_2}$, hence smooth (and possibly degenerate) coordinate transformations.
Here we introduce the basic concept, organizing them in the category CartSp of Cartesian spaces (Prop. 3 below.) We highlight three classical theorems about smooth functions in Prop. 2 below, which look innocent but play a decisive role in setting up synthetic differential supergeometry based on the concept of abstract smooth coordinate systems.
At this point these are not yet coordinate systems on some other space. But by applying the general machine of categories and toposes to these, a concept of generalized spaces modeled on these abstract coordinate systems is induced. These are the smooth sets discussed in the next chapter geometry of physics -- smooth sets.
The fundamental premise of differential geometry as a model of geometry in physics is the following.
Premise. The abstract worldline of any particle is modeled by the continuum real line $\mathbb{R}$.
This comes down to the following sequence of premises.
There is a linear ordering of the points on a worldline: in particular if we pick points at some intervals on the worldline we may label these in an order-preserving way by integers
$\mathbb{Z}$.
These intervals may each be subdivided into $n$ smaller intervals, for each natural number $n$. Hence we may label points on the worldline in an order-preserving way by the rational numbers
$\mathbb{Q}$.
This labeling is dense: every point on the worldline is the supremum of an inhabited bounded subset of such labels. This means that a worldline is the real line, the continuum of real numbers
$\mathbb{R}$.
The adjective “real” in “real number” is a historical shadow of the old idea that real numbers are related to observed reality, hence to physics in this way. The experimental success of this assumption shows that it is valid at least to very good approximation.
A function of sets $f : \mathbb{R} \to \mathbb{R}$ is called a smooth function if, coinductively:
the derivative $\frac{d f}{d x} : \mathbb{R} \to \mathbb{R}$ exists;
and is itself a smooth function.
We write $C^\infty(\mathbb{R}) \in Set$ for the set of all smooth functions on $\mathbb{R}$.
The superscript “${}^\infty$” in “$C^\infty(\mathbb{R})$” refers to the order of the derivatives that exist for smooth functions. More generally for $k \in \mathbb{N}$ one writes $C^k(\mathbb{R})$ for the set of $k$-fold differentiable functions on $\mathbb{R}$. These will however not play much of a role for our discussion here.
For $n \in \mathbb{N}$, the Cartesian space $\mathbb{R}^n$ is the set
of $n$-tuples of real numbers. For $1 \leq k \leq n$ write
for the function such that $i^k(x) = (0, \cdots, 0,x,0,\cdots,0)$ is the tuple whose $k$th entry is $x$ and all whose other entries are $0 \in \mathbb{R}$; and write
for the function such that $p^k(x^1, \cdots, x^n) = x^k$.
A homomorphism of Cartesian spaces is a smooth function
hence a function $f : \mathbb{R}^{n_1} \to \mathbb{R}^{n_2}$ such that all partial derivatives exist and are continuous.
Regarding $\mathbb{R}^n$ as an $\mathbb{R}$-vector space, every linear function $\mathbb{R}^{n_1} \to \mathbb{R}^{n_2}$ is in particular a smooth function.
But a homomorphism of Cartesian spaces in def. 2 is not required to be a linear map. We do not regard the Cartesian spaces here as vector spaces.
A smooth function $f : \mathbb{R}^{n_1} \to \mathbb{R}^{n_2}$ is called a diffeomorphism if there exists another smooth function $\mathbb{R}^{n_2} \to \mathbb{R}^{n_1}$ such that the underlying functions of sets are inverse to each other
and
There exists a diffeomorphism $\mathbb{R}^{n_1} \to \mathbb{R}^{n_2}$ precisely if $n_1 = n_2$.
We will also say equivalently that
a Cartesian space $\mathbb{R}^n$ is an abstract coordinate system;
a smooth function $\mathbb{R}^{n_1} \to \mathbb{R}^{n_2}$ is an abstract coordinate transformation;
the function $p^k : \mathbb{R}^{n} \to \mathbb{R}$ is the $k$th coordinate of the coordinate system $\mathbb{R}^n$. We will also write this function as $x^k : \mathbb{R}^{n} \to \mathbb{R}$.
for $f : \mathbb{R}^{n_1} \to \mathbb{R}^{n_2}$ a smooth function, and $1 \leq k \leq n_2$ we write
$f^k \coloneqq p^k\circ f$
$(f^1, \cdots, f^n) \coloneqq f$.
It follows with this notation that
Hence an abstract coordinate transformation
may equivalently be written as the tuple
Below we encounter generalizations of ordinary differential geometry that include explicit “infinitesimals” in the guise of infinitesimally thickened points, as well as “super-graded infinitesimals”, in the guise of superpoints (necessary for the description of fermion fields such as the Dirac field). As we discuss below, these structures are naturally incorporated into differential geometry in just the same way as Grothendieck introduced them into algebraic geometry (in the guise of “formal schemes”), namely in terms of formally dual rings of functions with nilpotent ideals. That this also works well for differential geometry rests on the following three basic but important properties, which say that smooth functions behave “more algebraically” than their definition might superficially suggest:
(the three magic algebraic properties of differential geometry)
embedding of Cartesian spaces into formal duals of R-algebras
For $X$ and $Y$ two Cartesian spaces, the smooth functions $f \colon X \longrightarrow Y$ between them (def. \ref{CartesianSpacesAndSmoothFunctionsBetweenThem}) are in natural bijection with their induced algebra homomorphisms $C^\infty(X) \overset{f^\ast}{\longrightarrow} C^\infty(Y)$ (example \ref{AlgebraOfSmoothFunctionsOnCartesianSpaces}), so that one may equivalently handle Cartesian spaces entirely via their $\mathbb{R}$-algebras of smooth functions.
Stated more abstractly, this means equivalently that the functor $C^\infty(-)$ that sends a smooth manifold $X$ to its $\mathbb{R}$-algebra $C^\infty(X)$ of smooth functions (example \ref{AlgebraOfSmoothFunctionsOnCartesianSpaces}) is a fully faithful functor:
(Kolar-Slovak-Michor 93, lemma 35.8, corollaries 35.9, 35.10)
embedding of smooth vector bundles into formal duals of R-algebra modules
For $E_1 \overset{vb_1}{\to} X$ and $E_2 \overset{vb_2}{\to} X$ two vector bundle (def. \ref{VectorBundle}) there is then a natural bijection between vector bundle homomorphisms $f \colon E_1 \to E_2$ and the homomorphisms of modules $f_\ast \;\colon\; \Gamma_X(E_1) \to \Gamma_X(E_2)$ that these induces between the spaces of sections (example \ref{ModuleOfSectionsOfAVectorBundle}).
More abstractly this means that the functor $\Gamma_X(-)$ is a fully faithful functor
(Nestruev 03, theorem 11.29heorem#Nestruev03))
Moreover, the modules over the $\mathbb{R}$-algebra $C^\infty(X)$ of smooth functions on $X$ which arise this way as sections of smooth vector bundles over a Cartesian space $X$ are precisely the finitely generated free modules over $C^\infty(X)$.
(Nestruev 03, theorem 11.32heorem#Nestruev03))
vector fields are derivations of smooth functions.
For $X$ a Cartesian space (example \ref{CartesianSpacesAndSmoothFunctionsBetweenThem}), then any derivation $D \colon C^\infty(X) \to C^\infty(X)$ on the $\mathbb{R}$-algebra $C^\infty(X)$ of smooth functions (example \ref{AlgebraOfSmoothFunctionsOnCartesianSpaces}) is given by differentiation with respect to a uniquely defined smooth tangent vector field: The function that regards tangent vector fields with derivations from example \ref{TangentVectorFields}
is in fact an isomorphism.
(This follows directly from the Hadamard lemma.)
Actually all three statements in prop. 2 hold not just for Cartesian spaces, but generally for smooth manifolds (def./prop. \ref{SmoothManifoldInsideDiffeologicalSpaces} below; if only we generalize in the second statement from free modules to projective modules. However for our development here it is useful to first focus on just Cartesian spaces and then bootstrap the theory of smooth manifolds and much more from that, which we do below.
$\,$
Much of the above disucssion is usefully summarized by saying that abstract coordinate systems with smooth functions between them form a category (Prop. 3 below). Equipped with the information of how one abstract coordinate system may be covered by other coordinate systems (Def. 6 below), this becomes a site (Prop. 5) below.
$\,$
(the category CartSp of abstract coordinate systems/Cartesian spaces)
Abstract coordinate systems according to prop. 4 form a category (this def.) – to be denoted CartSp – whose
objects are the abstract coordinate systems $\mathbb{R}^{n}$ (the class of objects is the set $\mathbb{N}$ of natural numbers $n$);
morphisms $f : \mathbb{R}^{n_1} \to \mathbb{R}^{n_2}$ are the abstract coordinate transformations = smooth functions.
Composition of morphisms is given by composition of functions.
Under this identification
The identity morphisms are precisely the identity functions.
The isomorphisms are precisely the diffeomorphisms.
We discuss a standard structure of a site on the category CartSp. Following Johnstone -- Sketches of an Elephant, it will be useful and convenient to regard a site as a (small) category equipped with a coverage. This generates a genuine Grothendieck topology, but need not itself already be one.
For $n \in \mathbb{N}$ the standard open n-ball is the subset
(differentially good open covers)
A differentially good open cover of a Cartesian space $\mathbb{R}^n$ is a set $\{U_i \hookrightarrow \mathbb{R}^n\}$ of open subset inclusions of Cartesian spaces such that these cover $\mathbb{R}^n$ and such for each non-empty finite intersection there exists a diffeomorphism
that identifies the $k$-fold intersection with a Cartesian space itself.
Differentiably good covers are useful for computations. Their full impact is however on the homotopy theory of simplicial presheaves over CartSp. This we discuss in the chapter on smooth homotopy types, around this prop.omotopy types#DifferentiablyGoodCoverGivesSPlitHyperCoverOverCartSp).
(every open cover has refinement by a differentially good open cover)
Every open cover of a smooth manifold has a refinement by a differentially good open cover, according to Def. 6.
For proof see FSS10, Prop. A1, or see at good open cover.
Lemma 1 is not quite a classical statement. The classical statement is only that every open cover is refined by a topologically good open cover. See the comments here in the references-section at open ball for the situation concerning this statement in the literature.
The good open covers do not yet form a Grothendieck topology on CartSp. One of the axioms of a Grothendieck topology is that for every covering family also its pullback along any morphism in the category is a covering family. But while the pullback of every open cover is again an open cover, and hence open covers form a Grothendieck topology on CartSp, not every pullback of a good open cover is again good.
Let $\{\mathbb{R}^2\stackrel{\phi_{i}}{\hookrightarrow}\mathbb{R}^2\}_{i \in \{1,2\}}$ be the open cover of the plane by an open left half space
and a right open half space
The intersection of the two is the open strip
So this is a good open cover of $\mathbb{R}^2$.
But consider then the smooth function
which sends the line to a curve in the plane that periodically goes around the circle of radius 2 in the plane.
Then the pullback of the above good open cover on $\mathbb{R}^2$ to $\mathbb{R}^1$ along this function is an open cover of $\mathbb{R}$ by two open subsets, each being a disjoint union of countably many open intervals in $\mathbb{R}$. Each of these open intervals is an open 1-ball hence diffeomorphic to $\mathbb{R}^1$, but their disjoint union is not contractible (it does not contract to the point, but to many points!).
So the pullback of the good open cover that we started with is an open cover which is not good anymore. But it has an evident refinement by a good open cover.
This is a special case of what the following statement says in generality.
(the site of Cartesian spaces with differentially good open covers)
The differentially good open covers, Def. 6, constitute a coverage (this Def.) on the category CartSp (from Prop. 3).
Hence CartSp equipped with this coverage is a site (this def.).
By definition of coverage we need to check that for $\{U_i \hookrightarrow \mathbb{R}^n\}_{i \in I}$ any good open cover and $f \colon \mathbb{R}^k \to \mathbb{R}^n$ any smooth function, we can find a good open cover $\{K_j \to \mathbb{R}^k\}_{j \in J}$ and a function $J \to I$ such that for each $j \in J$ there is a smooth function $\phi \colon K_j \to U_{\rho(j)}$ that makes this diagram commute:
To obtain this, let $\{f^* U_i \to \mathbb{R}^k\}$ be the pullback of the original covering family, in that
This is evidently an open cover, albeit not necessarily a good open cover. But by Lemma 1 there does exist a good open cover $\{\tilde K_{\tilde j} \hookrightarrow \mathbb{R}^k\}_{\tilde j \in \tilde J}$ refining it, which in turn means that for all $\tilde j$ there is
Therefore then the pasting composite of these commuting squares
solves the condition required in the definition of coverage.
By example 2 this good open cover coverage is not a Grothendieck topology. But as any coverage, it uniquely completes to one which has the same sheaves:
(completing good open covers to all open covers)
The Grothendieck topology induced on CartSp by the differentially good open cover coverage of def. 5 has as covering families the ordinary open covers.
Hence if we explicitly write $CartSp_{good}$ and $CartSp_{Groth}$ for $CartSp$ equipped with the coverage of differentially good open covers as and that of all open covers, respectively, then there is an equivalence of categories (this Def.) between their categories of sheaves (this Def.)
Prop. 6 means that for every sheaf-theoretic construction to follow we may just as well consider the Grothendieck topology of open covers on $CartSp$, and hence we may and will suppress the subscripts in (1).
While the sheaves of the open cover topology are the same as those of the good open cover coverage. But the latter is (more) useful for several computational purposes in the following. It is the good open cover coverage that makes manifest, below, that sheaves on $CartSp$ form a locally connected topos and in consequence then a cohesive topos. This kind of argument becomes all the more pronounced as we pass further below to (∞,1)-sheaves on CartSp. This will be discussed in Smooth n-groupoids – Semantic Layer – Local Infinity-Connectedness below.
There are further sites in use, which induce the same categories of sheaves:
(sites of smooth manifolds and open subsets of Euclidean spaces)
We write
SmthMfd for the category of smooth manifolds of any finite dimension, with smooth functions between them;
$EuclOp$ for the category of open subsets of Euclidean spaces of any finite dimension, with smooth functions between them.
Both of these carry the respective coverage of good open covers and as such become sites (this Def.)
Consider the canonical full subcategory-inclusion functors
which regard, in turn, a Cartesian space (Def. 3) as an open subset of itself, and regard every open subset of Euclidean space (Def. 7) as a smooth manifold (this Example[this Example] and (differentiable+manifold#OpenSubsetsOfDifferentiableManifoldsAreDifferentiableManifolds)).
Then the induced pre-composition functors induce equivalences of categories (this Def.) between the corresponding categories of sheaves:
By Prop. 6 we may identify $Sh(CartSp) = Sh(CartSp_{\text{good open cov}})$. With that, both inclusions are evidently dense subsite-inclusions (this Def.). Therefore the statement follows by the comparison lemma (this prop.).
In the section Coordinate systems we have set up the archetypical spaces of differential geometry. Here we now define in terms of these the most general smooth sets that differential geometry can deal with.
The general kind of “smooth space” that we want to consider is a something that can be probed by laying out coordinate systems inside it, as in this definition, and which may be reconstructed by gluing all the possible coordinate systems in it together.
At this point we want to impose no further conditions on a “space” than this. In particular we do not assume that we know beforehand a set of points underlying $X$. Instead, we define smooth sets $X$ (Def. 10, below) entirely operationally as something about which we may ask “Which ways are there to lay out $\mathbb{R}^n$ inside $X$?” and such that there is a self-consistent answer to this question.
By the discussion in the chapter categories and toposes, this means that we should define a smooth set to be a sheaf on a site of Cartesian spaces. The following definitions spell this out.
The idea of the following definitions may be summarized like this:
a generalized smooth set is something that may be probed by laying out coordinate systems into it, in a way that respects transformation of coordinate patches and gluing of coordinate patches;
the Yoneda lemma says that this is consistent in that coordinate systems themselves as well as smooth manifolds may naturally be regarded as generalized smooth sets themselves and that under this identification “laying out a coordinate system” in a smooth set means having a map of smooth sets from the coordinate system to the smooth set.
The first set of consistency conditions on plots of a space is that they respect coordinate transformations. This is what the following definition formalises.
(pre-smooth set)
A pre-smooth set $X$ is
a collection of sets: for each Cartesian space $\mathbb{R}^n$ (hence for each natural number $n$) a set
– to be thought of as the set of ways of laying out $\mathbb{R}^n$ inside $X$, also called the set of plots of $X$, for short;
for each smooth function $f : \mathbb{R}^{n_1} \to \mathbb{R}^{n_2}$ (to be thought of as an abstract coordinate transformation) a function between the corresponding sets of plots
– to be thought of as the function that sends a plot of $X$ by $\mathbb{R}^{n_2}$ to the correspondingly transformed plot by $\mathbb{R}^{n_1}$ induced by laying out $\mathbb{R}^{n_1}$ inside $\mathbb{R}^{n_2}$.
such that this is compatible with coordinate transformations:
the identity coordinate transformation does not change the plots:
changing plots along two consecutive coordinate transformations $f_1 \colon \mathbb{R}^{n_1} \to \mathbb{R}^{n_2}$ and $f_2 \colon \mathbb{R}^{n_2} \to \mathbb{R}^{n_3}$ is the same as changing them along the composite coordinate transformation $f_2 \circ f_1$:
But there is one more consistency condition for a collection of plots to really be probes of some space: it must be true that if we glue small coordinate systems to larger ones, then the plots by the larger ones are the same as the plots by the collection of smaller ones that agree where they overlap. We first formalize this idea of “plots that agree where their coordinate systems overlap.”
(differentially good open cover)
For $\mathbb{R}^n$ a Cartesian space, then
an open cover
is a set of open subsets of $X$, such that their union is $X$; hence $\underset{i \in I}{\cup} U_i = X$;
this is a good open cover if all the $U_i$ as well as all their non-empty finite intersections are homeomorphic to open balls, hence to $\mathbb{R}^n$ itself;
this is a differentially good open cover if all the $U_i$ as well as all their non-empty finite intersections are diffeomorphic to open balls, hence to $\mathbb{R}^n$ itself.
(glued plots)
Let $X$ be a pre-smooth set, def. 8. For $\{U_i \to \mathbb{R}^n\}_{i \in I}$ a differentially good open cover (def. 6) let
be the set of $I$-tuples of $U_i$-plots of $X$ which coincide on all double intersections
(also called the matching families of $X$ over the given cover):
(interpretation of the gluing condition)
says in words:
The plot $p_i$ of $X$ by the coordinate system $U_i$ inside the bigger coordinate system $\mathbb{R}^n$ coincides with the plot $p_j$ of $X$ by the other coordinate system $U_j$ inside $X$ when both are restricted to the intersection $U_i \cap U_j$ of $U_i$ with $U_j$ inside $\mathbb{R}^n$.
(comparing global plots to glued plots)
For each differentially good open cover $\{U_i \to \mathbb{R}^n\}_{i \in I}$ (def. 6) and each pre-smooth set $X$, def. 8, there is a canonical function
from the set of $\mathbb{R}^n$-plots of $X$ to the set of tuples of glued plots, which sends a plot $p \in X(\mathbb{R}^n)$ to its restriction to all the $\phi_i \colon U_i \hookrightarrow \mathbb{R}^n$:
If $X$ is supposed to be consistently probable by coordinate systems, then it must be true that the set of ways of laying out a coordinate system $\mathbb{R}^n$ inside it coincides with the set of ways of laying out tuples of glued coordinate systems inside it, for each good cover $\{U_i \to \mathbb{R}^n\}$ as above. Therefore:
A pre-smooth set $X$, def. 8 is a smooth set if for all differentially good open covers $\{U_i \to \mathbb{R}^n\}$ (def. 6) the canonical comparison function of remark 9 from plots to glued plots is a bijection
We may think of a smooth set as being a kind of space whose local models (in the general sense discussed at geometry) are Cartesian spaces:
while definition 10 explicitly says that a smooth set is something that is consistently probeable by such local models; by a general abstract fact – which we discuss in more detail below in smooth sets - Semantic Layer – that is sometimes called the co-Yoneda lemma it follows in fact that smooth sets are precisely the objects that are obtained by gluing coordinate systems together.
For instance we will see that two open 2-balls $\mathbb{R}^2 \simeq D^2$ along a common rim yields the smooth set version of the sphere $S^2$, a basic example of a smooth manifold. But before we examine such explicit constructions, we discuss here for the moment more general properties of smooth sets. The reader instead wishing to see more of these concrete examples at this point should jump ahead to smooth sets - Outlook.
But the following most basic example we consider right now:
(Cartesian spaces and smooth manifold as smooth sets)
For $n \in \mathbb{R}^n$, there is a smooth set, def. 10, whose set of plots over the abstract coordinate systems $\mathbb{R}^k$ is the set
of smooth functions from $\mathbb{R}^k$ to $\mathbb{R}^n$.
Clearly this is the rule for plots that characterize $\mathbb{R}^n$ itself as a smooth set, and so we will just denote this smooth set by the same symbols “$\mathbb{R}^n$”:
In particular the real line $\mathbb{R}$ is this way itself a smooth set.
More generally, if the reader already knows what a smooth manifold $X$ is; these become smooth sets by taking their plots to be the ordinary smooth functions between smooth manifolds, from Cartesian spaces:
Some smooth sets are far from being like smooth manifolds:
(smooth moduli space of differential forms)
Let $k \in \mathbb{N}$. Then there is a smooth set (def. 3) to be denoted $\mathbf{\Omega}^k$ given as follows:
The set $\mathbf{\Omega}^k(\mathbb{R}^n)$ of plots from $\mathbb{R}^n$ is the set of smooth differential k-forms on $\mathbb{R}^n$
for $f \colon \mathbb{R}^{n_1} \to \mathbb{R}^{n_2}$ a smooth function, then the corresponding change-of-plots function is the operation of pullback of differential forms along $f$:
We introduce and discuss this example in detail in the chapter geometry of physics -- differential forms.
A smooth set (def. 10) need not have an underlying set, for instance the smooth set $\mathbf{\Omega}^k$ from example 4 for $k \geq 1$ has only a single plot from the point (corresponding to the zero differential form on the point), and yet it is far from being the point. If a smooth set does have an underlying set, then it is called a diffeological space:
A smooth set $X$ (def. 10) is called a concrete smooth set or a diffeological space if there exists
a set $X_s \in Set$;
for each $n \in \mathbb{N}$ a natural identification of the set of plots $X(\mathbb{R}^n)$ with a subset of the set of functions $\mathbb{R}^n_s \to X_s$ from the underlying set $\mathbb{R}^n_s$ of $\mathbb{R}^n$ (forgetting all smooth structure) to that set $X_s$:
Key examples of diffeological spaces are mapping spaces between smooth manifolds, which we turn to below (def. 16).
For $S \in$ Set a set, write
for the smooth set whose set of $U$-plots for every $U \in CartSp$ is always $S$.
and which sends every coordinate transformation $f \colon \mathbb{R}^{n_1} \to \mathbb{R}^{n_2}$ to the identity function on $S$.
A smooth set of this form we call a discrete smooth set.
More examples of smooth sets can be built notably by intersecting images of two smooth sets inside a bigger one. In order to say this we first need a formalization of homomorphism of smooth sets. This we turn to now.
We discuss “functions” or “maps” between smooth sets, def. 10, which preserve the smooth set structure in a suitable sense. As with any notion of function that preserves structure, we refer to them as homomorphisms.
The idea of the following definition is to say that whatever a homomorphism $f : X \to Y$ between two smooth sets is, it has to take the plots of $X$ by $\mathbb{R}^n$ to a corresponding plot of $Y$, such that this respects coordinate transformations.
Let $X$ and $Y$ be two smooth sets, def. 10. Then a homomorphism $f \colon X \to Y$ is
for each abstract coordinate system $\mathbb{R}^n$ (hence for each $n \in \mathbb{N}$) a function
$f_{\mathbb{R}^n} : X(\mathbb{R}^n) \to Y(\mathbb{R}^n)$
that sends $\mathbb{R}^n$-plots of $X$ to $\mathbb{R}^n$-plots of $Y$
such that
for each smooth function $\phi : \mathbb{R}^{n_1} \to \mathbb{R}^{n_2}$ we have
hence a commuting diagram
For $f_1 : X \to Y$ and $f_2 : X \to Y$ two homomorphisms of smooth sets, their composition $f_2 \circ f_1 \colon X \to Y$ is defined to be the homomorphism whose component over $\mathbb{R}^n$ is the composite of functions of the components of $f_1$ and $f_2$:
(the category SmoothSet of smooth sets with smooth functions)
Write SmoothSet or $SmoothSet$ for the category (this def.) whose objects are smooth sets, def. 10, and whose morphisms are homomorphisms of smooth sets according to def. 11.
At this point it may seem that we have now two different notions for how to lay out a coordinate system in a smooth set $X$: on the hand, $X$ comes by definition with a rule for what the set $X(\mathbb{R}^n)$ of its $\mathbb{R}^n$-plots is. On the other hand, we can now regard the abstract coordinate system $\mathbb{R}^n$ itself as a smooth set, by example 3, and then say that an $\mathbb{R}^n$-plot of $X$ should be a homomorphism of smooth sets of the form $\mathbb{R}^n \to X$.
The following proposition says that these two superficially different notions actually naturally coincide.
Let $X$ be any smooth set, def. 10, and regard the abstract coordinate system $\mathbb{R}^n$ as a smooth set, by example 3. There is a natural bijection
between the postulated $\mathbb{R}^n$-plots of $X$ and the actual $\mathbb{R}^n$-plots given by homomorphism of smooth sets $\mathbb{R}^n \to X$.
This is a special case of the Yoneda lemma, as will be made more explicit below in The topos of smooth sets. The reader unfamiliar with this should write out the simple proof explicitly: use the defining commuting diagrams in def. 11 to deduce that a homomorphism $f : \mathbb{R}^n \to X$ is uniquely fixed by the image of the identity element in $\mathbb{R}^n(\mathbb{R}^n) \coloneqq CartSp(\mathbb{R}^n, \mathbb{R}^n)$ under the component function $f_{\mathbb{R}^n} : \mathbb{R}^n(\mathbb{R}^n) \to X(\mathbb{R}^n)$.
Let $\mathbb{R} \in SmoothSet$ denote the real line, regarded as a smooth set by example 3. Then for $X \in SmoothSet$ any smooth set, a homomorphism of smooth sets
is a smooth function on $X$. Prop. 9 says here that when $X$ happens to be an abstract coordinate system regarded as a smooth set by def. 3, then this general notion of smooth functions between smooth sets reproduces the basic notion of this def.ystems#CartesianSpaceAndHomomorphism)
The 0-dimensional abstract coordinate system $\mathbb{R}^0$ we also call the point and regarded as a smooth set we will often write it as
For any $X \in SmoothSet$, we say that a homomorphism
is a point of $X$.
By prop. 9 the points of a smooth set $X$ are naturally identified with its 0-dimensional plots, hence with the “ways of laying out a 0-dimensional coordinate system” in $X$:
Let $X, Y \in SmoothSet$ by two smooth sets. Their product is the smooth set $X \times Y \in SmoothSet$ whose plots are pairs of plots of $X$ and $Y$:
The projection on the first factor is the homomorphism
which sends $\mathbb{R}^n$-plots of $X \times Y$ to those of $X$ by forming the projection of the cartesian product of sets:
Analogously for the projection to the second factor
Let $* = \mathbb{R}^0$ be the point, regarded as a smooth set, def. 13. Then for $X \in SmoothSet$ any smooth set the canonical projection homomorphism
is an isomorphism.
Let $f \colon X \to Z$ and $g \colon Y \to Z$ be two homomorphisms of smooth sets, def. 11. There is then a new smooth set to be denoted
(with $f$ and $g$ understood), called the fiber product of $X$ and $Y$ along $f$ and $g$, and defined as follows:
the set of $\mathbb{R}^n$-plots of $X \times_Z Y$ is the set of pairs of plots of $X$ and $Y$ which become the same plot of $Z$ under $f$ and $g$, respectively:
Let $\Sigma, X \in SmoothSet$ be two smooth sets, def. 10. Then the smooth mapping space
is the smooth set defined by saying that its set of $\mathbb{R}^n$-plots is
Here in $\Sigma \times \mathbb{R}^n$ we first regard the abstract coordinate system $\mathbb{R}^n$ as a smooth set by example 3 and then we form the product smooth set by def. 14.
This means in words that a $\mathbb{R}^n$-plot of the mapping space $[\Sigma,X]$ is a smooth $\mathbb{R}^n$-parameterized family of homomorphisms $\Sigma \to X$.
There is a natural bijection
for every smooth set $K$.
With a bit of work this is straightforward to check explicitly by unwinding the definitions. It follows however from general abstract results once we realize that $[-,-]$ is of course the internal hom of smooth sets. This we come to below in Smooth sets - Semantic Layer.
This says in words that a smooth function from any $K$ into the mapping space $[\Sigma,X]$ is equivalently a smooth function from $K \times \Sigma$ to $X$. The latter we may regard as a $K$-parameterized smooth family of smooth functions $\Sigma \to X$. Therefore in view of the previous remark 12 this says that smooth mapping spaces have a universal property not just over abstract coordinate systems, but over all smooth sets.
We will therefore also say that $[\Sigma,X]$ is the smooth moduli space of smooth functions from $\Sigma \to X$, because it is such that smooth maps $K \to [\Sigma,X]$ into it modulate, as we move around on $K$, a family of smooth functions $\Sigma\to X$, depending on $K$.
First interesting examples of such smooth moduli spaces are discussed in Differential forms – Model Layer below. Many more interesting examples follow once we pass from smooth 0-types to smooth $n$-types below in Smooth n-groupoids.
We will see many more examples of smooth moduli spaces, starting below in Differential forms - Model Layer.
The set of points, def. 13, of a smooth mapping space $[\Sigma,X]$ is the bare set of homomorphism $\Sigma \to X$: there is a natural isomorphism
Given a smooth set $X \in SmoothSet$, its smooth path space is the smooth mapping space
By prop. 12 the points of $P X$ are indeed precisely the smooth trajectories $\mathbb{R}^1 \to X$. But $P X$ also knows how to smoothly vary such smooth trajectories.
This is central for variational calculus which determines equations of motion in physics. This we turn to below in Variational calculus.
In physics, if $X$ is a model for spacetime, then $P X$ may notably be interpreted as the smooth set of worldlines in $X$, hence the smooth set of paths or trajectories of a particle in $X$.
If in the above example 8 the path is constraind to be a loop in $X$, one obtains the smooth loop space
In example 7 we saw that a smooth function on a general smooth set $X$ is a homomorphism of smooth sets, def. 11
The collection of these forms the hom-set $Hom_{SmoothSet}(X, \mathbb{R})$. But by the discussion in Smooth mapping spaces such hom-sets are naturally refined to smooth sets themselves.
For $X \in SmoothSet$ a smooth set, we say that the moduli space of smooth functions on $X$ is the smooth mapping space (def. 16), from $X$ into the standard real line $\mathbb{R}$
We will also denote this by
since in the special case that $X$ is a Cartesian space this is the smooth refinement of the set $C^\infty(X)$ of smooth functions on $X$.
We call this a moduli space because by prop. 11 above and in the sense of remark 13 it is such that smooth functions into it modulate smooth functions $X \to \mathbb{R}$.
By prop. 12 a point $* \to [X,\mathbb{R}^1]$ of the moduli space is equivalently a smooth function $X \to \mathbb{R}^1$.
In the language of categories and toposes, we may summarize the concept of smooth sets by saying that they form the sheaf topos over the site of Cartesian spaces (Prop. 13 below).
This perspective allows to see good abstract properties enjoyed by the smooth sets. The key such property is that the topos which they form is a cohesive topos (Prop. 14 below).
$\,$
(equivalence of categories between smooth sets and sheaves on CartSp)
There is a canonical equivalence of categories (this def.) between the category SmoothSet of smooth sets from def. 12, and the category of sheaves (this def.) on the category CartSp (this def.) equipped with the coverage (this def.) of differentiably good open covers (def. 6)
This is a straightforward matter of matching definitions. We spell it out:
A pre-smooth set, def. 8 is equivalently a presheaf (this Example) on CartSp (this prop.), hence a functor (this def.) $X : CartSp^{op} \to Set$ from the category CartSp to the category of sets (this Example);
a smooth set, def. 10, is equivalently a presheaf on CartSp (this prop.) which is a sheaf (this def.) with respect to the coverage (this def.) of differentially good open cover (def. 6):
the set of “glued plots” (def. 9) is the set of matching families (this def.)
the comparison morphism from global plots to glued plots of remark 9 is the comparison map from to matching families (here);
the condition (2) that this be a bijection is the sheaf condition (here).
$\,$
(smooth sets form a cohesive topos)
The site CartSp (Prop. 5) is a cohesive site this Def., hence its sheaf topos is a cohesive topos (by this Prop.). Under the identification of Prop. 13, this means that:
The category $SmoothSet$ of smooth sets (Def. 12) is a cohesive topos (this Def.)
The category $CartSp$ clearly has finite products: The terminal object is the point, given by the 0-dimensional Cartesian space
and the Cartesian product of two Cartesian spaces is the Cartesian space whose dimension is the sum of the two separate dimensions:
This establishes the first clause in the definition of cohesive site (this def.)
For the second clause, consider a differentiably-good open cover $\{U_i \overset{}{\to} \mathbb{R}^n\}$ (Def. 6). This being a good cover implies that its Cech groupoid is, as an internal groupoid (via this remark), of the form
where we used the defining property of good open covers to identify $y(U_i) \times_X y(U_j) \simeq y( U_i \cap_X U_j )$.
The colimit of (4), regarded just as a presheaf of reflexive directed graphs (hence ignoring composition for the moment), is readily seen to be the graph of the colimit of the components (the universal property follows immediately from that of the component colimits):
Here we first used that colimits commute with colimits, hence in particular with coproducts (this prop.) and then that the colimit of a representable presheaf is the singleton set (this Lemma).
This colimiting graph carries a unique composition structure making it a groupoid, since there is at most one morphism between any two objects, and every object carries a morphism from itself to itself. This implies that this groupoid is actually the colimiting groupoid of the Cech groupoid: hence the groupoid obtained from replacing each representable summand in the Cech groupoid by a point.
Precisely this operation on Cech groupoids of good open covers of topological spaces is what Borsuk's nerve theorem is about, a classical result in topology/homotopy theory. This theorem implies directly that the set of connected components of the groupoid (6) is in bijection with the set of connected components of the Cartesian space $\mathbb{R}^n$, regarded as a topological space. But this is evidently a connected topological space, which finally shows that, indeed
The second item of the second clause in Def. \ref{OneCohesiveSite} follows similarly, but more easily: The limit of the Cech groupoid is readily seen to be, as before, the unique groupoid structure on the limiting underlying graph of presheaves. Since $CartSp$ has a terminal object $\ast = \mathbb{R}^0$, which is hence an initial object in the opposite category $CartSp^{op}$, limits over $CartSp^{op}$ yield simply the evaluation on that object:
Here we used that colimits (here coproducts) of presheaves are computed objectwise, and then the definition of the Yoneda embedding $y$.
But the equivalence relation induced by this graph on its set of objects $\underset{i}{\coprod} Hom_{CartSp}( \ast, U_i )$ precisely identifies pairs of points, one in $U_i$ the other in $U_j$, that are actually the same point of the $\mathbb{R}^n$ being covered. Hence the set of equivalence classes is the set of points of $\mathbb{R}^n$, which is just what remained to be shown:
$\,$
The cohesiveness of smooth sets (Prop. 14) implies in particular that there is a concept of concrete objects among the smooth sets (this Def.). We show here (Prop. 15 below) that these concrete smooth sets are equivalent to a kind of generalized smooth spaces that are known as Chen smooth spaces (Chen 77) or diffeological spaces (Souriau 79, Iglesias-Zemmour 85), which we recall as Def. 18 below.
A comprehensive development of differential geometry in terms of diffeological spaces is spelled out in (Iglesias-Zemmour 13).
Since the concrete objects in any cohesive topos, and hence the diffeological spaces among all smooth sets, form a reflective subcategory (…), every smooth set has a concretification to a concrete smooth set, hence to a diffeological space. An important example of this construction are moduli spaces of differential forms, this we turn to in Def. 30 below.
$\,$
(diffeological space (e.g. Iglesias Zemmour 18, def. 2 and 5))
A diffeological space $\mathbf{X}$ is
a set $X \in Set$, called the underlying set of the diffeological space;
for each open subset $U \subset E^n$ of some Euclidean space $E^n$, for any $n \in \mathbb{N}$, a subset
of the function set of functions of sets from $U$ to $X$, called the set of plots of $\mathbf{X}$ by $U$;
such that for every open subset $U$ as above the following conditions hold:
the set of plots $\mathbf{X}(U)$ contains all the constant functions
for every function $\phi \;\colon\; U \to X$ and for every open cover $\{U_i \overset{\iota_i}{\to} U\}$, if each restriction is a plot, $\phi\vert_{U_i} \in \mathbf{X}(U_i)$, then $\phi$ itself is a plot: $\phi \in \mathbf{X}(U)$;
for all plots $\phi \in \mathbf{X}(U)$, all open subsets $V$ of any Euclidean space, and all smooth functions $V \overset{f}{\to} U$, we have, the composition is again a plot
Moreover, for $\mathbf{X}$ and $\mathbf{Y}$ two diffeological spaces, as above, then a smooth map between them
is a function of underlying sets
such that for each plot $\phi \in \mathbf{X}(U)$ of $\mathbf{X}$ the composition with that function is a plot of $\mathbf{Y}$:
This defines a category $DiffeologicalSpace$ (this def.) whose objects are the diffeological spaces, whose morphisms are the smooth maps between them, with composition of morphisms the ordinary composition of functions of underlying sets.
(diffeological spaces are the concret smooth sets)
The category of diffeological spaces (Def. 18) is a full subcategory of the category of smooth sets (Def. 12).
Moreover, in terms of the cohesive structure on the category of smooth sets from Prop. 14, the diffeological spaces are precisely the concrete objects (this def.) among the smooth sets:
First observe that the assignment of sets of plots
of a diffeological space $\mathbf{X}$, according to Def. 18 constitutes a sheaf (this Def.) on the site $EuclOp$ of open subsets of Euclidean spaces, by the same unwinding of Definitions as in Prop. 13:
the third clause in the list of properties in Def. 18 says that the assignment of sets of plots is a presheaf,
the second clause in the list of properties says that this presheaf satisfies the sheaf condition,
while the first clause in the list of properties is an extra condition, singling out diffeological spaces among all sheaves.
Under this identification, the definition of a smooth map of diffeological spaces in Def. 18 says that it is equivalently a morphism of presheaves of sets of plots between sheaves of sets of plots, and hence a morphism of sheaves. This establishe a full subcategory-inclusion
But by Prop. 7 the restriction from the site $EuclOp$ of all open subsets of Euclidean spaces to that of just the site CartSp of Cartesian spaces is an equivalence of categories between the corresponding sheaf toposes. This yields the full subcategory inclusion
where the last equivalence is Prop. 13.
It remains to see that under this inclusion, the diffeological spaces are identified with the concrete objects among the smooth set.
By definition (this Def.), a smooth set $\mathbf{X} \in SmoothSet$ is concrete, precisely if its sharp-unit is a monomorphism
which is the adjunction unit (this Def.) of the $(\Gamma \dashv coDisc)$-adjunction
Now a morphism of sheaves is a monomorphism, precisely if for each object $U \in CartSp$ in the site, its component function
is an injective function (this Prop.). The codomain of this function may be re-identified as follows:
where we first used the Yoneda lemma (this Prop.), then the adjunction isomorphism (here) of $(\Gamma \dashv coDisc)$. In the final step we used that the cohesive structure on $SmoothSet$ comes from $CartSp$ being a cohesive site (Prop. 14) and that in this case $\Gamma$ is given by evaluation on the point (here), and we wrote
for the set of points in $\mathbf{X}$. Notice that if $\mathbf{X}$ is indeed a diffeological space, then this set is indeed its underlying set, by the first clause in the list of conditions on a diffeological space in Def. 18.
This shows that (6) being an injection means equivalently that we have an injection of the form
Hence that $\mathbf{X}(U)$ is always a subset of the function set from $U$ to the set $X$, as in the second clause in Def. 18.
This shows that every concrete smooth set is a diffeological space. For the converse, it remains to check that if we start with a diffeological space $\mathbf{X}$ with prescribed inclusion function
then (8) indeed reproduces this inclusion.
To see this, first notice that, by the Yoneda lemma and the definition of smooth maps between diffeological spaces, this inclusion function equals the function
which is the component function of the functor $\Gamma \;\colon\; SmoothSet \to Set$, that acts by point evaluation.
Hence we need to show that this function is equal to that given by postcomposition with the $(\Gamma \dashv coDisc)$-adjunction unit, followed by forming the $(\Gamma \dashv coDisc)$-adjunct:
For this, let $f \in Hom_{SmoothSet}( y(U), \mathbf{X} )$ be any element, and consider the following naturality square for the adjunction hom-isomorphism (this Def.):
and chase the identity morphism in the top left set through this diagram, as shown on the right. This gives rise to the adjunction unit as shown in the top right (by this def.), and hence to the composite $\eta_{\mathbf{X}}\circ f$ in the bottom right. The image of that in the bottom left is, by definition, the adjunct, and hence the commutativity of this square yields (9).
$\,$
We have seen above in The continuum real line that that real line $\mathbb{R}$ is the basic kinematical structure in the differential geometry of physics. Notably the smooth path spaces $[\mathbb{R}, X]$ from example 8 are to be thought of as the smooth spaces of trajectories (for instance of some particle) in a smooth space $X$, hence of smooth maps $\mathbb{R} \to X$.
But moreover, dynamics in physics is encoded by functionals on such trajectories: by “action functionals”. In the simplest case these are for instance homomorphisms of smooth spaces
where $I \hookrightarrow \mathbb{R}$ is the standard unit interval.
Such action functionals we discuss in their own right in Variational calculus below. Here we first examine in detail a fundamental property they all have: they are supposed to be local.
Foremost this means that the value associated to a trajectory is built up incrementally from small contributions associated to small sub-trajectories: if a trajectory $\gamma$ is decomposed as a trajectory $\gamma_1$ followed by a trajectory $\gamma_2$, then the action functional is additive
As one takes this property to the limit of iterative subdivision, one finds that action functionals are entirely determined by their value on infinitesimal displacements along the worldline. If $\gamma \colon \mathbb{R} \to X$ denotes a path and “$\dot \gamma(x)$” denotes the corresponding “infinitesimal path” at worldline parameter $x$, then the value of the action functional on such an infinitesimal path is traditionally written as
to be read as “the small change $\mathbf{d}S$ of $S$ along the infinitesimal path $\dot \gamma_x$”.
This function $\mathbf{d}S$ that assigns numbers to infinitesimal paths is called a differential form. Etymologically this originates in the use of “form” as in bilinear form: something that is evaluated. Here it is evaluated on infinitesimal differences, referred to as differentials.
$\,$
For $n \in \mathbb{N}$ a smooth differential 1-form $\omega$ on a Cartesian space $\mathbb{R}^n$ is an $n$-tuple
of smooth functions, which we think of equivalently as the coefficients of a formal linear combination
on a set $\{\mathbf{d}x^1, \mathbf{d}x^2, \cdots, \mathbf{d}x^n\}$ of cardinality $n$.
Write
for the set of smooth differential 1-forms on $\mathbb{R}^k$.
We think of $\mathbf{d} x^i$ as a measure for infinitesimal displacements along the $x^i$-coordinate of a Cartesian space. This idea is made precise below in Differential 1-forms are smooth increnemental path measures.
If we have a measure of infintesimal displacement on some $\mathbb{R}^n$ and a smooth function $f \colon \mathbb{R}^{\tilde n} \to \mathbb{R}^n$, then this induces a measure for infinitesimal displacement on $\mathbb{R}^{\tilde n}$ by sending whatever happens there first with $f$ to $\mathbb{R}^n$ and then applying the given measure there. This is captured by the following definition.
For $\phi \colon \mathbb{R}^{\tilde k} \to \mathbb{R}^k$ a smooth function, the pullback of differential 1-forms along $\phi$ is the function
between sets of differential 1-forms, def. 19, which is defined on basis-elements by
and then extended linearly by
The term “pullback” in pullback of differential forms is not really related, certainly not historically, to the term pullback in category theory. One can relate the pullback of differential forms to categorical pullbacks, but this is not really essential here. The most immediate property that both concepts share is that they take a morphism going in one direction to a map between structures over domain and codomain of that morphism which goes in the other direction, and in this sense one is “pulling back structure along a morphism” in both cases.
Even if in the above definition we speak only about the set $\Omega^1(\mathbb{R}^k)$ of differential 1-forms, this set naturally carries further structure.
The set $\Omega^1(\mathbb{R}^k)$ is naturally an abelian group with addition given by componentwise addition
The abelian group $\Omega^1(\mathbb{R}^k)$ is naturally equipped with the structure of a module over the ring $C^\infty(\mathbb{R}^k,\mathbb{R}) = CartSp(\mathbb{R}^k, \mathbb{R})$ of smooth functions, where the action $C^\infty(\mathbb{R}^k,\mathbb{R}) \times\Omega^1(\mathbb{R}^k) \to \Omega^1(\mathbb{R}^k)$ is given by componentwise multiplication
More abstractly, this just says that $\Omega^1(\mathbb{R}^k)$ is the free module over $C^\infty(\mathbb{R}^k)$ on the set $\{\mathbf{d}x^i\}_{i = 1}^k$.
The following definition captures the idea that if $\mathbf{d} x^i$ is a measure for displacement along the $x^i$-coordinate, and $\mathbf{d}x^j$ a measure for displacement along the $x^j$ coordinate, then there should be a way te get a measure, to be called $\mathbf{d}x^i \wedge \mathbf{d} x^j$, for infinitesimal surfaces (squares) in the $x^i$-$x^j$-plane. And this should keep track of the orientation of these squares, whith
being the same infinitesimal measure with orientation reversed.
For $k,n \in \mathbb{N}$, the smooth differential forms on $\mathbb{R}^k$ is the exterior algebra
over the ring $C^\infty(\mathbb{R}^k)$ of smooth functions of the module $\Omega^1(\mathbb{R}^k)$ of smooth 1-forms, prop. 21.
We write $\Omega^n(\mathbb{R}^k)$ for the sub-module of degree $n$ and call its elements the smooth differential n-forms.
Explicitly this means that a differential n-form $\omega \in \Omega^n(\mathbb{R}^k)$ on $\mathbb{R}^k$ is a formal linear combination over $C^\infty(\mathbb{R}^k)$ of basis elements of the form $\mathbf{d} x^{i_1} \wedge \cdots \wedge \mathbf{d}x^{i_n}$ for $i_1 \lt i_2 \lt \cdots \lt i_n$:
The pullback of differential 1-forms of def. 19 extends as an $C^\infty(\mathbb{R}^k)$-algebra homomorphism to $\Omega^n(-)$, given for a smooth function $f \colon \mathbb{R}^{\tilde k} \to \mathbb{R}^k$ on basis elements by
$\,$
So far we have defined differential $n$-form on abstract coordinate systems. Here we extend this definition to one of differential $n$-forms on arbitrary smooth sets. We start by observing that the space of all differential $n$-forms on cordinate systems themselves naturally is a smooth set.
The assignment of differential $n$-forms
of def. 23 together with the pullback of differential forms-functions of def. 24
defines a smooth set in the sense of def. 10:
We call this
the universal smooth moduli space of differential $n$-forms.
The reason for this terminology is that homomorphisms of smooth sets into $\Omega^1$ modulate differential $n$-forms on their domain, by prop. 9 (and hence by the Yoneda lemma):
For the Cartesian space $\mathbb{R}^k$ regarded as a smooth set by example 3, there is a natural bijection
between the set of smooth $n$-forms on $\mathbb{R}^n$ according to def. 19 and the set of homomorphism of smooth set, $\mathbb{R}^k \to \Omega^1$, according to def. 11.
In view of this we have the following elegant definition of smooth $n$-forms on an arbitrary smooth set.
For $X \in SmoothSet$ a smooth set, def. 10, a differential n-form on $X$ is a homomorphism of smooth sets of the form
Accordingly we write
for the set of smooth $n$-forms on $X$.
We may unwind this definition to a very explicit description of differential forms on smooth sets. This we do in a moment in remark 19.
Notice that differential 0-forms are equivalently smooth $\mathbb{R}$-valued functions.
$\Omega^0 \simeq \mathbb{R}$
For $f \colon X \to Y$ a homomorphism of smooth sets, def. 11, the pullback of differential forms along $f$ is the function
given by the hom-functor into the smooth set $\Omega^n$ of def. 25:
This means that it sends an $n$-form $\omega \in \Omega^n(Y)$ which is modulated by a homomorphism $Y \to \Omega^n$ to the $n$-form $f^* \omega \in \Omega^n(X)$ which is modulated by the composite $X \stackrel{f}{\to} Y \to \Omega^n$.
For $X = \mathbb{R}^{\tilde k}$ and $Y = \mathbb{R}^{k}$ definition 27 reproduces def. 24.
Again by the Yoneda lemma.
Using def. 27
Unwinding def. 26 yields the following explicit description:
a differential $n$-form $\omega \in \Omega^n(X)$ on a smooth set $X$ is
for each way $\phi \colon \mathbb{R}^k \to X$ of laying out a coordinate system $\mathbb{R}^k$ in $X$ a differential $n$-form
on the abstract coordinate system, as given by def. 23;
for each abstract coordinate transformation $f \colon \mathbb{R}^{k_2} \to \mathbb{R}^{k_1}$ a corresponding compatibility condition between local differential forms $\phi_1 \colon \mathbb{R}^{k_1} \to X$ and $\phi_2 \colon \mathbb{R}^{k_2} \to X$ of the form
Hence a differential form on a smooth set is simply a collection of differential forms on all its coordinate systems such that these glue along all possible coordinate transformations.
The following adds further explanation to the role of $\Omega^n \in Smooth0Tye$ as a moduli space. Notice that since $\Omega^n$ is itself a smooth set, we may speak about differential $n$-forms on $\Omega^n$ itsefl.
The universal differential $n$-forms is the differential $n$-form
which is modulated by the identity homomorphism $id \colon \Omega^n \to \Omega^n$.
With this definition we have:
For $X \in Smooth0Type$ any smooth set, every differential $n$-form on $X$, $\omega \in \Omega^n(X)$ is the pullback of differential forms, def. 27, of the universal differential $n$-form, def. 29, along a homomorphism $f$ from $X$ into the moduli space $\Omega^n$ of differential $n$-forms:
This statement is of course in a way a big tautology. Nevertheless it is a very useful tautology to make explicit. The whole concept of differential forms on smooth sets here may be thought of as simply a variation of the theme of the Yoneda lemma.
This ends the Model-layer discussion of differential forms. We now pass to a more advanced discussion of this topic in the Semantics layer below. The reader wishing to stick to more elementary discussion for the time being should skip ahead to the Model-layer discussion of differentiation below.
$\,$
We discuss the smooth space of differential forms on a fixed smooth space $X$.
For $X$ a smooth space, the smooth mapping space $[X, \Omega^n] \in Smooth0Type$ is the smooth space whose $\mathbb{R}^k$-plots are differential $n$-forms on the product $X \times \mathbb{R}^k$
This is not quite what one usually wants to regard as an $\mathbb{R}^k$-parameterized of differential forms on $X$. That is instead usually meant to be a differential form $\omega$ on $X \times \mathbb{R}^k$ which has “no leg along $\mathbb{R}^k$”. Another way to say this is that the family of forms on $X$ that is represented by some $\omega$ on $X \times \mathbb{R}^k$ is that which over a point $v \colon * \to \mathbb{RR}^k$ has the value $(id_X,v)^* \omega$. Under this pullback of differential forms any components of $\omega$ with “legs along $\mathbb{R}^k$” are identified with the 0 differential form
This is captured by the following definition.
(concrete moduli space of differential forms on a smooth set)
For $X \in SmoothSet$ any smooth set and $n \in \mathbb{N}$, the smooth space of differential $n$-forms $\mathbf{\Omega}^n(X)$ on $X$ is the concretification, def. \ref{ConcreteObjectsAndConcretification}, of the smooth mapping space $[X, \Omega^n]$, def. 16, into the smooth moduli space of differential $n$-forms, def. 25:
The $\mathbb{R}^k$-plots of $\mathbf{\Omega}^n(\mathbb{R}^k)$ are indeed smooth differential $n$-forms on $X \times \mathbb{R}^k$ which are such that their evaluation on vector fields tangent to $\mathbb{R}^k$ vanish.
By def. \ref{Decohese}, def. \ref{ConcreteObjectsAndConcretification} and prop. \ref{DecohesOverASiteWithTerminalObject} the set of plots of $\mathbf{\Omega}^n(X)$ over $\mathbb{R}^k$ is the image of the function
where on the right $\mathbb{R}^k_s$ denotes, just for emphasis, the underlying set of $\mathbb{R}^k$. This function manifestly sends a smooth differential form $\omega \in \Omega^n(X \times \mathbb{R}^k)$ to the function from points $v$ of $\mathbb{R}^k$ to differential forms on $X$ given by
Under this function all components of differential forms with a “leg along” $\mathbb{R}^k$ are sent to the 0-form. Hence the image of this function is the collection of smooth forms on $X \times \mathbb{R}^k$ with “no leg along $\mathbb{R}^k$”.
For $n = 0$ we have (for any $X\in Smooth0Type$)
by prop. 17.
(…)
(…)
In view of the smooth homotopy types to be discussed in geometry of physics -- smooth homotopy types, the structures discussed now are properly called smooth 0-types or maybe smooth h-sets or just smooth sets. While this subsumes smooth manifolds which are indeed sets equipped with (particularly nice) smooth structure, it is common in practice to speak of manifolds as “spaces” (indeed as topological spaces equipped with smooth structure). Historically the Cartesian space and Euclidean space of Newtonian physics are the archetypical examples of smooth manifolds and modern differential geometry developed very much via motivation by the study of the spaces in general relativity, namely spacetimes. Unfortunately, in a parallel development the word “space” has evolved in homotopy theory to mean (just) the homotopy types represented by an actual topological space (their fundamental infinity-groupoids). Ironically, with this meaning of the word “space” the original Euclidean spaces become equivalent to the point, signifying that the modern meaning of “space” in homotopy theory is quite orthogonal to the original meaning, and that in homotopy theory therefore one should better stick to “homotopy types”. Since historically grown terminology will never be fully logically consistent, and since often the less well motivated terminology is more widely understood, we will follow tradition here and take the liberty to use “smooth sets” and “smooth spaces” synonymously, the former when we feel more formalistic, the latter when we feel more relaxed. ↩
Last revised on June 16, 2018 at 11:04:54. See the history of this page for a list of all contributions to it.