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)$
\array{ && id &\dashv& id \ && \vee && \vee \ &\stackrel{fermionic}{}& \rightrightarrows &\dashv& \rightsquigarrow & \stackrel{bosonic}{} \ && \bot && \bot \ &\stackrel{bosonic}{} & \rightsquigarrow &\dashv& Rh & \stackrel{rheonomic}{} \ && \vee && \vee \ &\stackrel{reduced}{} & \Re &\dashv& \Im & \stackrel{infinitesimal}{} \ && \bot && \bot \ &\stackrel{infinitesimal}{}& \Im &\dashv& \& & \stackrel{\text{étale}}{} \ && \vee && \vee \ &\stackrel{cohesive}{}& ʃ &\dashv& \flat & \stackrel{discrete}{} \ && \bot && \bot \ &\stackrel{discrete}{}& \flat &\dashv& \sharp & \stackrel{continuous}{} \ && \vee && \vee \ && \emptyset &\dashv& \ast }
</semantics></math></div>
Models
Models for Smooth Infinitesimal Analysis
smooth algebra ($C^\infty$-ring)
formal smooth ∞-groupoid?
differential equations, variational calculus
Chern-Weil theory, ∞-Chern-Weil theory
Cartan geometry (super, higher)
On a smooth manifold $X$ the smooth tangent vector fields $v \in \Gamma_X(T X)$ are geometrically defined as smoothly varying collections of smooth paths $\gamma_x \colon \mathbb{R}^1 \to X$ through every point $x \in X$ (i.e. $\gamma(0) = x$), with two such paths regarded as equivalent if their first derivative $v_x \in T_x X$ at $x$, seen in any chart, coincides.
By pre-composing a smooth function $f \colon X \longrightarrow \mathbb{R}^1$ which such a path, we obtain a function $f\circ \gamma_x \;\colon\; \mathbb{R}^1 \to \mathbb{R}^1$ from the real line to itself. Therefore its derivative
may be identified with a real number (measuring the rate of change of $f$ along $\gamma$ at $x$ to first order). Since $\gamma_x$, or rather its derivative $v_x \in T_x X$, is assumed to depend smoothly on $x$, this defines a new smooth function
Due to the product rule of differentiation, this assignment $f \mapsto D_v f$ is such that for $f,g \in C^\infty(X)$ two smooth functions, with pointwise product function $f \cdot g$ then
This means that $D_v \;\colon\; C^\infty(C) \to C^\infty(X)$ is a derivation on the algebra of smooth functions.
Remarkably, all derivations on $C^\infty(X)$ arise this way, and for a unique vector field $v \in \Gamma_X(T X)$:
This is prop. below. What makes this work is the Hadamard lemma, see the proof below for details.
Notice that the concept of derivations is purely a concept of algebra, with no input from the topology and differential geometry that goes into the definition and construction of smooth manifolds and their tangent bundles. Therefore the identification of smooth vector fields with derivations is an algebraic incarnation of an aspect of differential geometry, an identification comparable two two other such phenomena:
the embedding of smooth manifolds into formal duals of R-algebras – which identifies smooth manifolds themselves with the formal dual of their real algebras of smooth functions;
the smooth Serre-Swan theorem which identifies smooth vector bundles over a smooth manifold with the projective modules of the algebra of smooth functions.
These statements mean that differential geometry has more in common with algebraic geometry than is manifest from the traditional definitions. This serves as the bases for the definition of formal smooth manifolds and the theory of synthetic differential geometry. For more exposition of this relation see at geometry of physics – supergeometry.
Beware however that related algebraic properties familiar from affine schemes may break in differential geometry: For the Kähler differential forms of $C^\infty(X)$ to come out as the expected smooth differential forms one needs to refine the plain $\mathbb{R}$-commutative algebra $C^\nfty(X)$ to the structure of a smooth algebra. See at Kähler differential forms for discussion of this issue.
Let $X$ be a smooth manifold.
Write
$C^\infty(X)$ for its real algebra of smooth functions $X \to \mathbb{R}^1$ (under pointwise multiplication);
$\Gamma_X(T X)$ for the real vector space of smooth tangent vector fields on $X$, hence the space of smooth sections of the tangent bundle $T X$ of $X$, regarded as a smooth vector bundle.
1, $Der(C^\infty(X))$ for the real vector space of $\mathbb{R}$-linear derivations of the $\mathbb{R}$-algebra $C^\infty(X)$
Then:
The operation of differentiation with respect to a vector field is a derivation of $C^\infty(X)$.
Every derivation on $C^\infty(X)$ arises this way, for a unique vector field.
Hence there is an isomorphism
First to discuss that vector fields induce derivations. Let $v \in \Gamma_X(T X)$ be a smooth tangent vector field.
This means first of all that for each $x \in X$ there is a smooth function $\gamma_x \;\colon\; \mathbb{R}^1 \longrightarrow X$ such that
$\gamma_x(0) = x$
$d \gamma_x_0 = v_x \in T_x X$.
Then for $f \colon X \to \mathbb{R}^1$ a smooth function, define a new function
by
By the linearity of differentation we have for $c \in \mathbb{R}$ that $D_v(c \cdot f) = c \cdot D_v(f)$. Moreover, by the product rule for differentiation we have for $f,g \in C^\infty(X)$ two smooth functions, that
Therefore it only remains to check that the function $D_v(f)$ is a smooth function in the first place.
Let
be an atlas that exhibits the smooth structure of $X$, hence an open cover by subsets equipped with a diffeomorphism $\phi_i$ from a Cartesian space $\mathbb{R}^n$ with its standard smooth structure.
By definition of the tangent bundle $T X$, its restriction to any chart of this atlas is given by a diffeomorphism $\psi_i$ as in the following diagram
For $D_v(f) \colon X \to \mathbb{R}^1$ to be continuous and smooth, it is sufficient to see that its restrictions
are continuous and smooth, for all $i \in I$. (For continuity this follows by this example and for differentiability this is clear from the fact that derivatives at any point may be computed in an arbitrary open neighbourhood).
With respect to this chart the tangent vector field $v \in \Gamma_X(T X)$ is given by a smooth function
By the identification of tangent vectors on $\mathbb{R}^n$ with elements of $\mathbb{R}^n$, these tangent vectors are represented by straight smooth curves (this remark):
and for $f_i \coloneqq f \circ \phi_i \;\colon\; \mathbb{R}^n \to \mathbb{R}^1$ the restriction of the given smooth function, we have, by the chain rule
(Here and in the following we are writing $(-)^k$ for the $k$th component of an element of $\mathbb{R}^n$.)
This is the value of a function at $x$ with is the sum over the product of two smooth functions, namely the component functions $(v_i)^k$ of the smooth section in the given chart, and the derivatives of $f_i$ (which are functions by the assumption that $f$ is smooth).
This shows that $D_v(f)$ is a smooth function.
Now for the converse. Let $D \in Der(\C^\infty(X))$ be a derivation, we need to show that it arises on each chart $\phi_i$ from smooth vector field $v_i$ as above.
The Hadamard lemma gives that every smooth function $f_i \colon \mathbb{R}^n \to \mathbb{R}^1$ may be written for each point $x \in \mathbb{R}^n$ as
for smooth functions
satisfying
Now by the derivation property we have
Here in the last step we defined
to be the value at $x$ of the function which the derivation produces when applied to the $k$th coordinate function (which is a smooth function of $x$ by definition of $D$), and we used the above property of the $g_{x,k}$ as well as that $(-)^k - x^k$ vanishes at $x$.
This shows that the derivation $D$ comes, in the chart $\phi_i$, from the vector field $v_i$ as above.
e.g.:
Last revised on July 5, 2017 at 11:36:46. See the history of this page for a list of all contributions to it.