nLab smooth natural numbers

Contents

Context

Synthetic differential geometry

synthetic differential geometry

Introductions

from point-set topology to differentiable manifolds

geometry of physics: coordinate systems, smooth spaces, manifolds, smooth homotopy types, supergeometry

Differentials

V-manifolds

smooth space

Tangency

The magic algebraic facts

Theorems

Axiomatics

cohesion

infinitesimal cohesion

tangent cohesion

differential cohesion

graded differential cohesion

singular cohesion

id id fermionic bosonic bosonic Rh rheonomic reduced infinitesimal infinitesimal & étale cohesive ʃ discrete discrete continuous * \array{ && id &\dashv& id \\ && \vee && \vee \\ &\stackrel{fermionic}{}& \rightrightarrows &\dashv& \rightsquigarrow & \stackrel{bosonic}{} \\ && \bot && \bot \\ &\stackrel{bosonic}{} & \rightsquigarrow &\dashv& \mathrm{R}\!\!\mathrm{h} & \stackrel{rheonomic}{} \\ && \vee && \vee \\ &\stackrel{reduced}{} & \Re &\dashv& \Im & \stackrel{infinitesimal}{} \\ && \bot && \bot \\ &\stackrel{infinitesimal}{}& \Im &\dashv& \& & \stackrel{\text{étale}}{} \\ && \vee && \vee \\ &\stackrel{cohesive}{}& \esh &\dashv& \flat & \stackrel{discrete}{} \\ && \bot && \bot \\ &\stackrel{discrete}{}& \flat &\dashv& \sharp & \stackrel{continuous}{} \\ && \vee && \vee \\ && \emptyset &\dashv& \ast }

Models

Lie theory, ∞-Lie theory

differential equations, variational calculus

Chern-Weil theory, ∞-Chern-Weil theory

Cartan geometry (super, higher)

Contents

Idea

In every smooth topos there is a notion of infinitesimal object and of infinitesimal number. The most common such infinitesimal numbers are nilpotent, but in some special smooth toposes, there is in addition a notion of invertible infinitesimal. In these toposes there is likewise an object of smooth natural numbers, which contains infinite or nonstandard natural numbers? (and whose inverses are invertible infinitesimals).

Some examples of such smooth toposes are discussed at Models for Smooth Infinitesimal Analysis.

The central mechanism

The phenomenon of “smooth” nonstandard natural numbers in a Grothendieck topos arises from the following simple general principle:

Consider any sheaf topos 𝒯=Sh(C)\mathcal{T} = Sh(C) such that

  1. the category Set embeds full and faithfully into 𝒯\mathcal{T}.

    (For smooth toposes we have, if they are “well adapted”, even a full and faithful inclusion of Diff and then the one of Set is the one induced by the inclusion SetDiffSet \hookrightarrow Diff.)

  2. the Grothendieck topology on CC is on each object given by finite covering families.

In such a case there are two objects in 𝒯\mathcal{T} that both look like they should qualify as the internal object of natural number, but that are different:

  1. The image NN of the set \mathbb{N} under the given full and faithful embedding.

    This yields, trivially, a sheaf such that morphisms from any other set into it are given by arbitrary \mathbb{N}-valued functions on this set.

  2. The abstractly defined natural numbers object Δ()\Delta(\mathbb{N}):

    this is the sheafification of the presheaf that is constant on the set \mathbb{N}. A morphism into this presheaf is a constant \mathbb{N}-valued function. And since we are sheafifying, by assumption, with respect to finite covers, a morphism from a set into its sheafification is a function into \mathbb{N} that is constant on each patch of a finite cover of that set and hence is a bounded \mathbb{N}-valued function.

The unbounded functions thus represent infinite or non-standard? “smooth natural numbers.” In particular, a generalized element nΔ()n \in \Delta(\mathbb{N}) with domain of definition \mathbb{N} (regarded as an object of 𝒯\mathcal{T}) is a bounded sequence of integers, whereas a similarly defined generalized element νN\nu \in N is a possibly unbounded sequence of integers. This is intuitively similar to the unbounded sequences of numbers that represent infinitely large numbers in the ultrafilter approach to nonstandard analysis (a different way of making infinitesimal numbers precise).

The generic nonstandard number

The generic non-standard natural number is the generalized element of NN on the domain of definition C ()/NullTail\ell C^\infty(\mathbb{N})/{NullTail} given by the canonical injection C ()/NullTailN\ell C^\infty(\mathbb{N})/NullTail \to N that is dual to the canonical projection of the ring onto its quotient. Here NullTailNullTail is the ideal of sequences of real numbers that vanish above some integer.

The ring C ()/NullTailC^\infty(\mathbb{N})/NullTail here is a quotient ring of sequences as above, where two sequences are identified if they agree above some integer. So C ()/NullTail\ell C^\infty(\mathbb{N})/NullTail is the smooth locus whose function algebra is similar to a nonstandard extension of \mathbb{R}.

The generic non-standard natural number is discussed on page 252 of the Moerdijk-Reyes book below.

References

See in

chapter VI – there section 1.6 section 2 – and chapter VII.

Last revised on December 29, 2015 at 05:37:01. See the history of this page for a list of all contributions to it.