group cohomology, nonabelian group cohomology, Lie group cohomology
cohomology with constant coefficients / with a local system of coefficients
differential cohomology
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)
differential equations, variational calculus
Euler-Lagrange equation, de Donder-Weyl formalism?,
Chern-Weil theory, ∞-Chern-Weil theory
Cartan geometry (super, higher)
The Stokes theorem (also Stokes' theorem or Stokes's theorem) asserts that the integral of an exterior differential form on the boundary of an oriented manifold with boundary (or submanifold or chain of such) equals the integral of the de Rham differential of the form on the manifold itself. (The theorem also applies to exterior pseudoforms on a chain of pseudoriented submanifolds.)
Let
be the cosimplicial object of standard $k$-simplices in SmoothMfd: in degree $k$ this is the standard $k$-simplex $\Delta^k_{Diff} \subset \mathbb{R}^k$ regarded as a smooth manifold with boundary and corners. This may be parameterized as
In this parameterization the coface maps of $\Delta_{Diff}$ are
For $X$ any smooth manifold a smooth $k$-simplex in $X$ is a smooth function
The boundary of this simplex in $X$ is the chain (formal linear combination of smooth $(k-1)$-simplices)
Let $\omega \in \Omega^{k-1}(X)$ be a degree $(k-1)$-differential form on $X$.
(Stokes theorem)
The integral of $\omega$ over the boundary of the simplex equals the integral of its de Rham differential over the simplex itself
It follows that for $C$ any $k$-chain in $X$ and $\partial C$ its boundary $(k-1)$-chain, we have
More generally:
(Stokes theorem for fiber integration)
If $U$ is any smooth manifold and $\omega \in \Omega^\bullet(U \times \sigma)$ is a differential form on the Cartesian product, then with respect to fiber-wise integration of differential forms
along $U \times \sigma \overset{pr_1}{\to} U$ we have
(e.g. Gomi-Terashima 00, remark 3.1)
We discuss here a general abstract formulation of differential forms, their integration and Stokes theorem in the axiomatics of cohesive homotopy type theory (following Bunke-Nikolaus-Völkl 13, theorem 3.2).
Let $\mathbf{H}$ be a cohesive (∞,1)-topos and write $T \mathbf{H}$ for its tangent cohesive (∞,1)-topos.
Assume that there is an interval object
“exhibiting the cohesion” (see at continuum) in that there is a (chosen) equivalence between the shape modality $\Pi$ and the localization $L_{\Delta^1}$ at the the projection maps out of Cartesian products with this line $\Delta^1\times (-) \to (-)$
This is the case for instance for the “standard continuum”, the real line in $\mathbf{H} =$ Smooth∞Grpd.
It follows in particular that there is a chosen equivalence of (∞,1)-categories
between the flat modal homotopy-types and the $\Delta^1$-homotopy invariant homotopy-types.
Given a stable homotopy type $\hat E \in Stab(\mathbf{H})\hookrightarrow T \mathbf{H}$ cohesion provides two objects
which may be interpreted as de Rham complexes with coefficients in $\Pi(\flat_{dR} \Sigma \hat E)$, the first one restricted to negative degree, the second to non-negative degree. Moreover, there is a canonical map
which interprets as the de Rham differential $\mathbf{d}$. See at differential cohomology diagram for details.
Throughout in the following we leave the “inclusion” $\iota$ of “differential forms regarded as $\hat E$-connections on trivial $E$-bundles” implicit.
Integration of differential forms is the map
which is induced via the homotopy cofiber property of $\flat_{dR}\Omega \hat E$ from the counit naturality square of the flat modality on $[(\ast \coprod \ast \stackrel{(i_0, i_1)}{\to} \Delta ^1 ), -]$, using that this square exhibits a null homotopy due to the $\Delta^1$-homotopy invariance of $\flat \hat E$.
Stokes’ theorem holds:
(Bunke-Nikolaus-Völkl 13, theorem 3.2)
In early 20th-century vector analysis? (and even today in undergraduate Calculus courses), the Stokes theorem took various classical forms about vector fields in the Cartesian space $\mathbb{R}^n$:
if $n = 1$ and $k = 1$, then this is the second Fundamental Theorem of Calculus: $\int_{[a,b]} f' = f(b) - f(a)$, where $a \leq b$ are real numbers and $f$ is a continuously differentiable function on a neighbourhood of the interval $[a,b]$;
if $k = 1$ more generally, then this is a generalized form of the FTC: $\int_C grad f \cdot \mathbf{T} = f(Q) - f(P)$, where $C$ is a continuously differentiable oriented curve in $\mathbb{R}^n$, $P$ and $Q$ are the beginning and ending points (respectively) of $C$, $\mathbf{T}$ is the unit vector field on $C$ tangent to $C$ in the direction given by its orientation, and $f$ is a continuously differentiable function on a neighbourhood of $C$;
if $n = 2$ and $k = 2$, then this is Green's Theorem (see there for other forms): $\int\int_R (\partial{v}/\partial{x} - \partial{u}/\partial{y}) = \int_C (u \,\mathrm{d}x + v \,\mathrm{d}y)$, where $C$ is a continuously differentiable simple closed curve in $\mathbb{R}^2$ (oriented using the standard orientation on $\mathbb{R}^2$), $R$ is the region that it encloses (guaranteed by the Jordan Curve Theorem), and $u$ and $v$ are continuously differentiable functions of the coordinates $x$ and $y$ on a neighbourhood of $R$;
if $n = 3$ and $k = 2$, then this is the Kelvin–Stokes Theorem or Curl Theorem: $\int\int_R curl \mathbf{F} \cdot \mathbf{n} = \int_C \mathbf{F} \cdot \mathbf{T}$, where $R$ is a continuously differentiable pseudooriented? surface in $\mathbb{R}^3$ with a continuously differentiable boundary $C$ (oriented to match the pseudoorientation of $R$ using the standard orientation on $\mathbb{R}^3$), $\mathbf{n}$ is the unit normal vector field on $R$ in the direction given by the pseudoorientation of $R$, $\mathbf{T}$ is the unit tangent vector field on $C$, and $\mathbf{F}$ is a continuously differentiable vector field on a neighbourhood of $D$;
if $n = 3$ and $k = 3$, then this is the Ostrogradsky–Gauss Theorem or Divergence Theorem: $\int\int\int_D div \mathbf{F} = \int\int_R \mathbf{F} \cdot \mathbf{n}$, where $R$ is a continuously differentiable closed surface in $\mathbb{R}^3$, $D$ is the region that it encloses (guaranteed by the Jordan–Brouwer Separation Theorem), $\mathbf{n}$ is the outward-pointing unit normal vector field on $R$, and $\mathbf{F}$ is a continuously differentiable vector field on a neighbourhood of $D$;
if $k = n$ more generally, then this is the generalized Divergence Theorem: $\int_D div \mathbf{F} = \int_R \mathbf{F} \cdot \mathbf{n}$, where $R$ is a continuously differentiable closed hypersurface? in $\mathbb{R}^n$, $D$ is the region that it encloses, $\mathbf{n}$ is the outward-pointing unit normal vector field on $R$, and $\mathbf{F}$ is a continuously differentiable vector field on a neighbourhood of $D$.
Stokes theorem
a special case is Cauchy's integral theorem
A standard account is for instance in
Discussion of chains of smooth singular simplices
Discussion of Stokes theorem on manifolds with corners is in
Discussion for manifolds with more general singularities on the boundary is in
Discussion in cohesive homotopy type theory is in
Last revised on September 17, 2018 at 05:18:50. See the history of this page for a list of all contributions to it.