# nLab integration axiom

### Context

#### Differential geometry

synthetic differential geometry

Introductions

from point-set topology to differentiable manifolds

Differentials

V-manifolds

smooth space

Tangency

The magic algebraic facts

Theorems

Axiomatics

cohesion

• (shape modality $\dashv$ flat modality $\dashv$ sharp modality)

$(ʃ \dashv \flat \dashv \sharp )$

• dR-shape modality$\dashv$ dR-flat modality

$ʃ_{dR} \dashv \flat_{dR}$

• tangent cohesion

• differential cohomology diagram
• differential cohesion

• (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{&#233;tale}}{} \ && \vee && \vee \ &\stackrel{cohesive}{}& &#643; &\dashv& \flat & \stackrel{discrete}{} \ && \bot && \bot \ &\stackrel{discrete}{}& \flat &\dashv& \sharp & \stackrel{continuous}{} \ && \vee && \vee \ && \emptyset &\dashv& \ast }

</semantics>[/itex]</div>

Models

Lie theory, ∞-Lie theory

differential equations, variational calculus

Chern-Weil theory, ∞-Chern-Weil theory

Cartan geometry (super, higher)

# Idea

In the axiomatic formulation of differential geometry given by synthetic differential geometry the standard Kock-Lawvere axiom provides a notion of differentiation. In general this need not come with an inverse operation of integration. The additional integration axiom on a smooth topos does ensure this.

# Definition

###### Definition

(integration axiom)

Let $(\mathcal{T}, R)$ be a smooth topos and let the line object $R$ be equipped with the structure of a partial order $(R, \leq)$ compatible with its ring structure $(R, +, \cdot)$ in the obvious way.

Then for any $a, b\in R$ write

$[a,b] := \{x \in R | a \leq x \leq b\}$

We say that $(\mathcal{T},(R,+,\cdot,\leq))$ satisfies the integration axiom if for all such intervals, all functions on the interval arise uniquely as derivatives on functions on the interval that vanish at the left boundary:

$\forall f \in R^{[a,b]} : \exists ! \int_a^{-} f \in R^{[a,b]} : (\int_a^{-} f)(a) = 0 \wedge (\int_a^{-} f)' = f \,.$

… need to say more …

# Examples

The axiom holds for all the smooth topos presented in MSIA, listed in appendix 2 there. See appendix 3 for the proof.

# References

page 49 of

appendix 3 of

Last revised on July 31, 2016 at 20:28:18. See the history of this page for a list of all contributions to it.