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)
$(\esh \dashv \flat \dashv \sharp )$
dR-shape modality$\dashv$ dR-flat modality
$\esh_{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)
When a multifunction is differentiated with respect to any one of its arguments alone, holding the others fixed, then we are engaged in partial differentiation.
Very generally, let $(X_i)_i$ be a family of differentiable spaces (in some sense), let $Y$ be another such space, and let $f$ be a differentiable map to $Y$ from a subspace $U$ of the cartesian product $\prod_i X_i$. Let $d$ be a relevant differential or derivative operator, and let $x_i$ be the composite
of the inclusion map of $U$ and the $i$th product projection (the $i$th coordinate). Then under good conditions, we have
for a unique family $(\partial_i{f})_i$ of linear operators, the partial derivatives of $f$ with respect to this decomposition of $U$. The term $\partial_i{f} \,d{x_i}$, which may be denoted $d_i{f}$, is similarly a partial differential of $f$.
More precisely, we choose a category of differentiable spaces and differentiable maps between them, on which there is an endofunctor that takes each space $U$ to a notion of tangent bundle $T{U}$, which is assumed to be a vector bundle over $U$, and takes a map $f\colon U \to Y$ to $d{f}\colon T{U} \to T{Y}$. (Note that this isn’t the case for generalised smooth spaces, but we could take microlinear spaces, as well as more familiar examples such as differentiable manifolds.) Then $d{x_i}\colon T{U} \to T{X_i}$, $\partial_i{f}_p\colon T_{x_i(p)}{X_i} \to T_{f(p)}{Y}$ is a linear operator between stalks (for $p$ a point in $U$), and the sum takes place in the vector space $T_{f(p)}{Y}$.
We can extend this if we work in a cartesian closed category of generalised smooth spaces. As in the above, let $(X_i)_{i \in I}$ be a family of smooth spaces and $Y$ another smooth space. For simplicity, let $f \colon \prod_i X_i \to Y$ be a smooth map (aka morphism in the category) defined on the whole product (so we take $U = \prod_i X_i$ in the above). For $i_0 \in I$ we can use the cartesian closed structure to define a morphism
Thus given a morphism $f \colon \prod_i X_i \to Y$ we get a parametrised family of morphisms $X_{i_0} \to Y$ which we could write (using parameters) as $f(x_{\widehat{i_0}})(x_{i_0})$. As taking the derivative is a smooth functor, we can partially differentiate the morphisms by applying differentiation to the morphisms $X_{i_0} \to Y$, thus yielding $d f_{i_0}(x_{\widehat{i_0}})(x_{i_0},v)$ as a morphism $\prod_{i \ne i_0} X_i \to C^\infty(T X_{i_0}, T Y)$. In full, $d f_{i_0}$ is the image of $f$ under the chain of morphisms:
This is the partial derivative of $f$ along $X_{i_0}$.
When the coordinates $x_i$ are given individual names $u, v, w, \ldots$, one usually writes $\partial{f}/\partial{u}$ for $\partial_i{f}$ (where $u$ replaces $x_i$); but $(\partial{f}/\partial{u})_{v,w,\ldots}$ is less ambiguous. Similarly, one can write $(d{f})_{v,w,\ldots}$ for the partial differential $(\partial{f}/\partial{u})_{v,w,\ldots} \,d{u}$, which is $d_i{f}$ when $u$ replaces $x_i$. (If $d{f}$ is thought of as an infinitesimal change in $f$, then $(d{f})_{v,w,\ldots}$ is an infinitesimal change subject to the condition that $v,w,\ldots$ are fixed.) Then
which explains the notation and why ‘$\partial$’ looks like ‘$d$’. (The reason for the latter equality is that $\partial_i{x_j}$ is the Kronecker delta $\delta_{i,j}$.)
The Kock-Lawvere axiom for the axiomatization of differentiation in synthetic differential geometry was introduced in
Last revised on November 4, 2017 at 23:54:35. See the history of this page for a list of all contributions to it.