nLab
shape modality

Context

Cohesive \infty-Toposes

cohesive topos

cohesive (∞,1)-topos

cohesive homotopy type theory

Backround

Definition

Presentation over a site

Structures in a cohesive (,1)(\infty,1)-topos

structures in a cohesive (∞,1)-topos

Structures with infinitesimal cohesion

infinitesimal cohesion?

Models

Modalities, Closure and Reflection

Contents

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 DiscDisc of the global sections geometric morphism Γ\Gamma induces a higher modality DiscΠ\int \coloneqq Disc \circ \Pi, which sends an object to something that may be regarded equivalently as its geometric realization or its fundamental ∞-groupoid. In either case X\int X may be thought of as the shape of XX and therefore one may call \int the shape modality. It forms an adjoint modality with the flat modality DiscΓ\flat \coloneqq Disc \circ \Gamma.

Generally, given an (∞,1)-topos H\mathbf{H} (or just a 1-topos) equipped with an idempotent monad Π:HH\mathbf{\Pi} \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:XYf \colon X \to Y in H\mathbf{H} Π\mathbf{\Pi}-closed if the unit-diagram

X η X Π(X) f Π(f) Y η Y Π(Y) \array{ X &\stackrel{\eta_X}{\to}& \mathbf{\Pi}(X) \\ \downarrow^{\mathrlap{f}} && \downarrow^{\mathrlap{\mathbf{\Pi}(f)}} \\ Y &\stackrel{\eta_Y}{\to}& \mathbf{\Pi}(Y) }

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

Definition

Definition

Let (ΠDiscΓ):HGrpd(\Pi\dashv \Disc\dashv \Gamma):H\to\infty\Grpd be an infinity-connected (infinity,1)-topos, let Π:=DiscΠ{\mathbf{\Pi}}:=\Disc \Pi be the geometric path functor / geometric homotopy functor, let f:XYf:X\to Y be a HH-morphism, let c Πfc_{\mathbf{\Pi}} f denote the ∞-pullback

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

c Πfc_{\mathbf{\Pi}} f is called Π{\mathbf{\Pi}}-closure of ff.

ff is called Π{\mathbf{\Pi}}-closed if Xc ΠfX\simeq c_{\mathbf{\Pi}}f.

If a morphism f:XYf:X\to Y factors into f=ghf=g\circ h and hh is a Π\mathbf{\Pi}-equivalence then gg is Π\mathbf{\Pi}-closed; this is seen by using that Π{\mathbf{\Pi}} is idempotent.

Properties

General

Π\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 Π\mathbf{\Pi}-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.

Examples

Internal locally constant \infty-stacks

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

Proposition

Let HH be a cohesive (∞,1)-topos possessing a ∞-cohesive site of definition. Then for XHX\in H the locally constant ∞-stacks ELConst(X)E\in \L\Const(X), regarded as ∞-bundle morphisms p:EXp:E\to X are precisely the Π\mathbf{\Pi}-closed morphisms into XX

Formally étale morphisms

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

cohesion

tangent cohesion

differential cohesion

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

Revised on April 25, 2014 23:06:56 by David Corfield (46.208.3.134)