Spahn étale types (Rev #4, changes)

Showing changes from revision #3 to #4: Added | Removed | Changed

Π inf\mathbf{\Pi}_inf-closed morphisms

Definition

Let \dagger be a monad on a presentable (,1)(\infty,1)-category CC. A morphism f:XYf:X\to Y is called \dagger-closed if

X X f f Y Y\array{ X&\to &\dagger X \\ \downarrow^f &&\downarrow^{\dagger f} \\ Y&\to& \dagger Y }

is a pullback square.

Theorem

The class of \dagger-closed morphisms CC satisfies the following closure properties:

(1) Every equivalence is \dagger-closed.

(2) The composite of two \dagger-closed morphisms is \dagger-closed.

(3) The left cancellation property is satisfied: If h=gfh=g\circ f and hh and gg are \dagger-closed, then so is ff.

(4) Any retract of a \dagger-closed morphism is \dagger-closed.

(5) The class is closed under pullbacks which are preserved by \dagger.

Lemma Remark

A class of \dagger-closed morphism which is closed under pullback is an admissible structure defining a geometry in the sense of Lurie’s DAG.

Theorem (Formally étale subslices are coreflecive)

Let C/XC/X be a slice of CC. The full sub-(,1)(\infty,1)-category (C/X) ιC/X(C/X)_\dagger\stackrel{\iota}{\hookrightarrow} C/X on those morphisms into XX which are \dagger-closed is reflective and coreflective; i.e. ι\iota fits into an adjoint triple

(C/X) EtL(C/X). (C/X)_\dagger \stackrel{\overset{L}{\leftarrow}}{\stackrel{\hookrightarrow}{\underset{Et}{\leftarrow}}} (C/X) \,.

In particular C :=(C/*) CC_\dagger:=(C/*)_\dagger\hookrightarrow C is reflective and coreflective.

Example (Π inf\mathbf{\Pi}_inf-closed morphism)

Let HH be a cohesive (,1)(\infty,1)-topos equipped with infinitesimal cohesion

(i !i *i *):Hi *H th(i_!\dashv i^*\dashv i_*):H\stackrel{i_*}{\to} H_th

Then the class of formally étale morphisms in HH equals the class of Π inf:=i *i * \mathbf{\Pi}_inf \mathbf{\Pi}_inf:=i_*i^*-closed morphisms in H thH_th which happen to lie in HH.

Definition Theorem (Π inf\mathbf{\Pi}_inf-closed object)

An For object the of classs H E H E is of calledformally étale objectΠ inf\mathbf{\Pi}_inf -closed if morphisms there in is a formally étale effective epimorphism (calledatlasCC ) from we a have in addition to the above closure properties also the following ones:00-truncated object into XX.

(1) If in a pullback square in CC the left arrow is in EE and the bottom arrow is an effective epimorphism, then the right arrow is in EE.

(2) Every morphism D*D\to * from a discrete object to the terminal object is in EE.

(3) EE is closed under colimit (taken in the arrow category).

(4) EE is closed under forming diagonals.

Definition (Π inf\mathbf{\Pi}_inf-closed object)

An object of HH is called formally étale object if there is a formally étale (effective) epimorphism (called atlas) from a 00-truncated object into XX.

Theorem (De Rham theorem for formally étale objects)

The de Rham theorem holds for any formally étale object for which the de Rham theorem holds level-wise in regard to the Cech nerve induced from the atlas.

Models

Étale groupoids

Theorem (Classical étale groupoids)
Theorem (Formally étale \infty-groupoids are étale simplicial manifolds)

\infty-orbifolds

Definition (\infty-orbifold)
Corollary (De Rham theorem for \infty-orbifolds)
Observation (Inertia \infty-orbifold)

UU-modelled higher manifolds

Theorem (Hausdorff manifold)

(1) XX is a paracompact if there is a set of monomorphisms ϕ i: nX\phi_i:\mathbb{R}^n\to X such that the corresponding Cech groupoid ζ ϕ\zeta_\phi is degree-wise a coproduct of copies of n\mathbb{R}^n.

(2) XX is hausdorff if ζ ϕ\zeta_\phi is moreover étale.

Definition (UU-modelled \infty-manifold)

Revision on December 3, 2012 at 20:33:03 by Stephan Alexander Spahn?. See the history of this page for a list of all contributions to it.