structures in a cohesive (∞,1)-topos
infinitesimal cohesion?
typical contexts
In a context of synthetic differential geometry/differential cohesion a reduced object is one “without purely infinitesimal extension”.
For instance in the context of formal schemes/formal smooth manifolds the reduced objects are the genuine schemes and the genuine smooth manifold, those without formal extension.
Accordingly, an anti-reduced object is one consisting entirely of infinitesimal extension, hence is an infinitesimally thickened point.
Beware that reduced objects in general do “contain infinitesimals in between their classical points”, in that not every map from an anti-reduced object into them is necessarily constant. The objects “without any infinitesimals” in the sense that all such maps are constant are instead the coreduced objects.
A context of differential cohesion is determined by the existence of an adjoint triple of modalities
where $\Re$ and $\&$ are idempotent comonads and $\Im$ is an idempotent monad.
A reduced object or reduced type is one in the full subcategory defined by the leftmost modality $\Re$.
Consider the Cahiers topos
as a model of synthetic differential geometry/differential cohesion (where $W$ denotes Weil algebras/Artin algebras). The sub-topos of reduced obects
is the topos of smooth spaces
An object $D \in \mathbf{H}$ with is an anti-reduced object, hence whose reduction coreflection is the terminal object, $\Re(D) \simeq \ast$ is an infinitesimally thickened point.
For instance the formal dual $D^1 = Spec(\mathbb{R}[\epsilon](\epsilon^2))$ of the ring of dual numbers is such that its reduction is the point $\Re(D) \simeq \ast$.
Under Yoneda embedding every smooth manifold is in $\mathbf{H}_{reduced}$ and is hence a reduced object in $\mathbf{H}$. More generally there are formal smooth manifolds in $\mathbf{H}$ and they are generally not reduced.
For example for $\Sigma \in SmoothMfd \hookrightarrow \mathbf{H}_{reduced}\hookrightarrow \mathbf{H}$ an ordinary smooth manifold (hence reduced) the object
is a formal smooth manifold which is not reduced. It reduction is
In particular the real line which is the smooth line object of the smooth topos $\mathbf{H}$
is reduced, $\Re(\mathbb{R}) \simeq \mathbb{R}$.
Observe from these examples that reduced objects do “contain infinitesimal points in between their classical points”, which just means that there are non-constant morphisms of the form
The objects $X \in \mathbf{H}$ for which all maps out of anti-reduced objects $D$ are constant maps are instead the coreduced objects.
The coreduced objects are the ones with “no infinitesimal behavior”, and the reduced objects are the ones “whose infinitesimal behavior is determined by their non-infinitesimal behavior”. A reduced object does contain infinitesimal points; what it lacks are “purely infinitesimal directions” while a coreduced object has no infinitesimal points.
A reduced scheme is one all whose local rings of functions have no non-zero nilpotent elements.
(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)$