This entry contains one chapter of the material at geometry of physics.
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
Models
differential equations, variational calculus
Chern-Weil theory, ∞-Chern-Weil theory
Cartan geometry (super, higher)
So far we have dealt with cohesive structures for which there is a notion of smooth variation, say of the position of a particle along a trajectory in spacetime. The idea of differentiation is to measure the difference between the position of two points on a cohesive trajectory in space as the difference between their worldline coordinates “tends to 0” without actually becoming 0. One also says that differentiation is forming “infinitesimal differences” of a cohesive process – and we will make precise here what this means.
There are two stages to the theory of differentiation:
We may think of differentiation as just a means to analyze more in detail the cohesive structure already given, without adding new structure, hence without a priori refining our notion of what a “cohesive trajectory” is. Indeed, given any line object in a cohesive ∞-topos, there is canonically a homomorphism of cohesive spaces
from the line to the cohesive moduli space of closed differential 1-forms, which is such that it sends a cohesive curve on the line to the differential form on this curve whose value at each point is the differential of the curve, its rate of infinitesimal change at that point.
Below in Differentiation of smooth functions and differetial forms we discuss this construction in the standard model of smooth cohesion for smooth spaces, where it reproduces what traditionally is called the de Rham differential .
Further below in Maurer-Cartan forms – Cohesive differentiation we show how comes out from just the abstract axioms of cohesionn.
We may think of differentiation as reflecting a refinement of smooth cohesion such that infinitesimal cohesive trajectories actually exist. Here, on top of having a measure for how a cohesive trajectory changes infinitesimally at a given point, it makes sense to ask concretely if two points on a trajectory are infinitesimally close to each other. In this approach the very notion of cohesion is refined to include explicitly a way to speak not just about a “cohesive blob of points”, but to decide whether it is in fact just an “infinitesimal cohesive blob of points” – an infinitesimally thickened point.
Differential geometry with such an explicit notion of infinitesimals is known as synthetic differential geometry: the axioms here allow one to synthesize an infinitesimally thickened point and not just to reason about it as if it existed.
In such a synthetic differential context then the differential from above not just exists as a whole, but we can “take it apart and re-synthesize it” by realizing its value at each point literally as the ordinary difference between two infinitesimally close points. Similarly, various other fundamental constructions in differential geometry, such as that of tangent bundles and jet bundles have a usefully transparent axiomatic characterization in the presence of synthetic infinitesimals. (Sophus Lie, one of the founding fathers of differential geometry famously said that he indeed found his theorems using such synthetic reasoning intuitively, and just did not publish them this way due to a lack of formalization of this language – at his time. ) This we discuss in the Mod Layer in D-geometry below.
In the Differentiation semantic layer below we formalize differentiation, and these two aspects of it, by adding to the notion of cohesive topos that of an infinitesimal cohesive neighbourhood.
Recalling that a cohesive topos is an abstract cohesive blob, an infinitesimal cohesive neighbourhood is accordingly an infinitesimally thicked cohesive blob (which is itself again a cohesive blob):
We discuss
Differentiation of smooth functions and differential forms
first just on coordinate patches
and then on general smooth spaces.
By considering fiber products of smooth mapping spaces with discrete spaces of boundary configurations, we obtain from this the differentiation theory called
with the notion of Smooth functional
and Variational derivative of smooth functionals.
The central class of examples of this of interest in physics is the variation of action functionals that yields the Euler-Lagrange equations of motion in classical field theory. This we discuss in Euler-Lagrange equations.
By definition to smooth function is associated its derivative, a smooth function . And more generally to a smooth function are associated its partial derivatives, smooth functions
for .
The de Rham differential collects all partial derivatives of a function into a single differential 1-form
For one of the coordinate functions, the de Rham differential indeed coincides with the basis element of the same name according to def. , using that
The de Rham differentials for all are compatible with pullback of differential 1-forms, def. , in that for each coordinate transformation the diagram
This is equivalently the statement of the chain rule of differentiation: For any we have on the one hand, by def. and def.
and on the other hand, applying the definition in the other order,
Both expressions agree precisely if for all we have
This is precisely the statement of the chain rule for differentiation.
Notice that as smooth spaces , by prop. . Therefore the above says that
The de Rham differential, def. , constitutes a homomorphism of smooth spaces, def.
from the real line to the universal smooth moduli space of differential 1-forms, def. .
Below in Maurer-Cartan form on a Lie group we discuss a more general abstract origin of .
We now extend the de Rham differential to differential forms of higher degree.
(…)
For each the de Rham differential of def. constitutes a homomorphism of smooth spaces
form the universal smooth moduli space of differental -forms to that of differential -forms.
We now extend the notion of derivatives and de Rham differentials from smooth functions on Cartesian spaces to smooth functions on general smooth spaces.
Recall from def. that the set of differential -forms on a smooth space is .
For a smooth space and , the de Rham differential on -forms over is the function
which is the postcomposition with the homomorphism of smooth spaces of prop. :
In particular the derivative of a smooth function is the composite
Below in Variation is differentiation on smooth spaces we find that this notion of differentiation of smooth functions on smooth spaces subsumes what traditionally is called variational calculus of functionals on mapping spaces.
for instance electromagnetic potential
then the electromagnetic field strength is
with
and
etc
This are the first 2 of 4 Maxwell equations:
(the other 2 are discussed below in Riemannian geometry)
for
a gauge transformation is with
Traditionally a functional is a function which is sufficiently like a smooth function, but defined not on a manifold, but on a mapping space between manifolds. Also traditionally, a variational derivative of such a functional is something aking to a derivative, generalized to this context, and subject to the condition that all variations preserve some boundary conditions.
We formulate this classical theory in the context of smooth spaces. Here a functional is simply a homomorphism of smooth spaces out of a smooth mapping space, as in def. . We may impose respect for boundary conditions by forming the fiber product of this mapping space with a discrete smooth space inclusion, given in def. below. Then the variational derivative is simply the ordinary derivative of def. .
For a smooth space, write
for its set of points, the set of homomorphisms, def. , from the point to .
Write
for the discrete smooth space, def. , on this set of points.
For every smooth space there is a canonical homomorphism of smooth spaces
This sends a plot , which by definition of is a point in , hence a homomorphism , to the plot of .
Let be a smooth manifold. Let be a smooth manifold with boundary .
Write
for the smooth space (a diffeological space) which is the mapping space from to , hence such that for each CartSp we have
The smooth space is a diffeological space whose underlying set is and whose -plots for CartSp are smooth functions such that is the constant function for all .
A functional on the mapping space is a homomorphism of smooth spaces
Write
for the de Rham differential incarnated as a homomorphism of smooth spaces from the real line to the smooth moduli space of differential 1-forms.
The functional derivative
of a functional , def. , is simply its de Rham differential as a homomorphism of smooth spaces, hence the composite
This means that for each smooth parameter space CartSp and for each smooth -parameterized collection
of smooth functions , constant in the parameter in some neighbourhood of the boundary of ,
is the function that sends each such -collection of configurations to the -collection of their values under . Then
is the smooth differential 1-form
Let be the standard interval. Let
and consider the functional
Then for and any smooth -parameterized collection the functional derivative takes the value
Here we used integration by parts and used that the boundary term vanishes
Write
for the category of spaces which are formally dual to smooth algebras: the opposite category of that of smooth algebras. This is called the category of smooth loci.
A smooth Artin algebra (also called a “Weil algebra” in the synthetic differential geometry-literature) is a smooth algebra whose underlying -vector space is a direct sum of the form
where is of finite dimension and such that every element is nilpotent, in that there is such that the -fold product of with itself in vanishes: .
The smallest smooth Artin algebra is the ring of dual numbers, def. , for which .
Write
for the full subcategory of , def. , of those that are duals of Artin algebras, def. .
We call this the category of infinitesimally thickened points.
We have two full and faithful functors
Write CartSp for the full subcategory of that of smooth loci, def. , on those of the form
with and .
We may call this the category of infinitesimally thickened Cartesian spaces or or formal smooth Cartesian spaces.
The category carries several coverages of interest. One is this:
For say that a covering family is a set of morphisms in of the form such that is a covering family in CartSp.
The corresponding sheaf topos is known as the Cahiers topos.
The Cahiers topos , def. ,
is a cohesive topos.
We write
Write for the smooth locus formally dual to the ring of dual numbers, def. . Write
for the unique point inclusion.
For , a vector field on is a section
The smooth space of vector fields is the internal hom in the slice topos over
Recall the sites
All three functors in def. are morphisms of sites. The induced geometric morphism of sheaf toposes is of the form
where hence the morphism on the left is in particular an essential geometric embedding.
The sequence of geometric morphisms
exhibit a homotopy cofiber sequence in the (2,1)-category Topos.
By the discussion at (∞,1)Topos – Existence of limits and colimits the statement is equivalently that the inverse image functors
form a homotopy fiber sequence in (∞,1)Cat. Computing this in the model structure for quasi-categories after passing to nerves, the morphism is clearly an inner Kan fibration because of the subcategory inclusion . So by the general discussion at homotopy pullback the homotopy fiber is given by the 1-categorical fiber of in sSet. By the discussion at Left Kan extension - on representables acts as on representables. The 1-categorical fiber of is evidently . Since is a left adjoint it preserves colimits and since ever sheaf is a colimit of representables, this is sufficient to imply the claim.
We axiomatize the existence of infinitesimals by further modalities on a cohesive topos.
Given a cohesive topos over a base topos Discrete0Type, a structure of differential cohesion on is an geometric embedding into a cohesive topos with an extra left eadjoint? that preserves the terminal object:
Given differential cohesion, def. , define the monad/comonad adjunction
We call the reduced type of and the infinitesimal path ∞-groupoid of .
For the -unit we write
and call it the constant infinitesimal path inclusion on .
The -counit
we call the inclusion of the reduced part of .
Given a geometric embedding of ∞-toposes
exhibiting differential cohesion, write
for the corresponding homotopy cofiber sequence in (∞,1)-topos. The full sub-(∞,1)-category that is the kernel of the global section geometric morphism of we call the (∞,1)-category of synthetic ∞-Lie algebras
For the moment see at Synthetic differential infinity-groupoid – Lie differentiation.
For we call the de Rham space object of .
For
For , is the jet bundle of .
A morphism in is called a formally étale morphism if the naturality square of the -unit
is an (∞,1)-pullback.
If SmoothMfd then for any morphism
is formally étale morphism precisely if is a submersion of smooth manifolds;
is a formally unramified morphism precisely if it is an immersion of smooth manifolds;
is a formally smooth morphism precisely if it is a diffeomorphism.
(…)
Last revised on September 20, 2018 at 21:08:20. See the history of this page for a list of all contributions to it.