nLab
shape modality

Idea

In a locally ∞-connected (∞,1)-topos with fully faithful inverse image (such as a cohesive (∞,1)-topos), the extra left adjoint $\Pi$ to the inverse image $Disc$ of the global sections geometric morphism $\Gamma$ induces a higher modality $ʃ \coloneqq Disc \circ \Pi$, which sends an object to something that may be regarded equivalently as its geometric realization or its fundamental ∞-groupoid (see at fundamental ∞-groupoid of a locally ∞-connected (∞,1)-topos). In either case $ʃ X$ may be thought of as the shape of $X$ and therefore one may call $ʃ$ the shape modality. It forms an adjoint modality with the flat modality $\flat \coloneqq Disc \circ \Gamma$.

Properties

Relative shape and factorization system

Generally, given an (∞,1)-topos $\mathbf{H}$ (or just a 1-topos) equipped with an idempotent monad $ʃ \colon \mathbf{H} \to \mathbf{H}$ (a (higher) modality/closure operator) which preserves (∞,1)-pullbacks over objects in its essential image, one may call a morphism $f \colon X \to Y$ in $\mathbf{H}$ $ʃ$-closed if the unit-diagram

$$\array{ X &\stackrel{\eta_X}{\to}& ʃ(X) \\ \downarrow^{\mathrlap{f}} && \downarrow^{\mathrlap{ʃ(f)}} \\ Y &\stackrel{\eta_Y}{\to}& ʃ(Y) }$$

is an (∞,1)-pullback diagram. These $ʃ$-closed morphisms form the right half of an orthogonal factorization system, the left half being the morphisms that are sent to equivalences in $\mathbf{H}$.

Definition

Let $(\Pi\dashv \Disc\dashv \Gamma):H\to\infty\Grpd$ be an infinity-connected (infinity,1)-topos, let $ʃ:=\Disc \Pi$ be the geometric path functor / geometric homotopy functor, let $f:X\to Y$ be a $H$-morphism, let $c_{ʃ} f$ denote the ∞-pullback

$$\array{c_{ʃ} f&\to& {ʃ} X\\\downarrow&&\downarrow^{{ʃ}_f}\\Y&\xrightarrow{1_{(\Pi\dashv \Disc)}}&{ʃ}Y}$$

$c_{ʃ} f$ is called $ʃ$-closure of $f$.

$f$ is called $ʃ$-closed if $X\simeq c_{ʃ}f$.

If a morphism $f:X\to Y$ factors into $f=g\circ h$ and $h$ is a $ʃ$-equivalence then $g$ is $ʃ$-closed; this is seen by using that $ʃ$ is idempotent.

$\Pi$-closed morphisms are a right class of an orthogonal factorization system (in an (∞,1)-category) and hence, as discussed there, are closed under limits, composition, retracts and satisfy the left cancellation property.

As open maps

A consequence of the previous property is that the class of $ʃ$-closed morphisms gives rise to an admissible structure in the sense of structured spaces on an (∞,1)-connected (∞,1)-topos, hence they serve as a class of a kind of open maps.

Shape via cohesive path ∞-groupoid

See at shape via cohesive path ∞-groupoid.

Examples

Internal locally constant $\infty$-stacks

In a cohesive (∞,1)-topos $\mathbf{H}$ with an ∞-cohesive site of definition, the fundamental ∞-groupoid-functor $ʃ$ satisfies the above assumptions (this is the example gives this entry its name). The $ʃ$-closed morphisms into some $X \in \mathbf{H}$ are canonically identified with the locally constant ∞-stacks over $X$. The correspondence is effectively what is called categorical Galois theory.

Proposition

Let $H$ be a cohesive (∞,1)-topos possessing a ∞-cohesive site of definition. Then for $X\in H$ the locally constant ∞-stacks $E\in \L\Const(X)$, regarded as ∞-bundle morphisms $p:E\to X$ are precisely the $ʃ$-closed morphisms into $X$

Formally étale morphisms

If a differential cohesive (∞,1)-topos $\mathbf{H}_{th}$, the de Rham space functor $\Im$ satisfies the above assumptions. The $\Im$-closed morphisms are precisely the formally étale morphisms.

Related entries

• shape

• shape via cohesive path ∞-groupoid

• reflective subuniverse

cohesion

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

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

  • discrete object, codiscrete object, concrete object

  • points-to-pieces transform

  • structures in cohesion

• 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 \&)$

  • reduced object, coreduced object, formally smooth object

  • formally étale map

  • structures in differential cohesion

graded differential cohesion

• 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& \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}{}& ʃ &\dashv& \flat & \stackrel{discrete}{} \\ && \bot && \bot \\ &\stackrel{discrete}{}& \flat &\dashv& \sharp & \stackrel{continuous}{} \\ && \vee && \vee \\ && \emptyset &\dashv& \ast }$$

• differential cohesion - cotangent bundles

References

The examples of locally constant $\infty$-stacks and of formally étale morphisms are discussed in sections 3.5.6 and 3.7.3 of

• Urs Schreiber, differential cohomology in a cohesive topos

See also

• David Carchedi, On The Homotopy Type of Higher Orbifolds and Haefliger Classifying Spaces (arXiv:1504.02394)

for further discussion of the smooth shape modality of cohesion (the etale homotopy type operation in the context of smooth infinity-stacks) as applied to orbifolds and étale groupoids and generally étale ∞-groupoids.