Let X be a topological space, (A,⩽) a poset, and f:X→(A,⩽) a continuous map.
Definition: An exit path in an A-stratified space X is a continuous map σ:|Δn|→X for which there exists a chain a0⩽⋯⩽an in A such that f(σ(t0,…,ti,0,…,0))=ai for ti≠0. An entry path is a continuous map τ:|Δn|→X for which there exists a chain b0⩽⋯⩽bn in A such that f(τ(0,…,0,ti,…,tn))=bi for ti≠0.
Up to reordering of vertices of Δn and induced reordering of the realization |Δn|, an exit path is the same as an entry path. The next example describes this equivalence.
Example: The standard 2-simplex |Δ2| is uniquely an exit path and an entry path with a chain of 3 distinct elements, stratfied in the ways described below.
Recall the following algebraic constructions, through Joyal's quasi-category model:
Remark: The subcategory SingA(X) of exit paths and the subcategory SingA(X) of entry paths are full subcategories of Sing(X), with (SingA(X))op=SingA(X). If the stratification is conical, then these two categories are ∞-categories.
Recall the nerve construction of a category. Here we are interested in the nerve of the category SC of simplicial complexes, so N(SC)n={sequences of n composable simplicial maps}. Recall the kth n-horns, which are compatible diagrams of elements of N(SC)n. In general, they are colimits of a diagram in the category Δ. That is, Λnk:=colim(⨆0⩽i<j⩽nΔn−2⇉⨆0⩽i⩽ni≠kΔn−1). Example: The images of the 3 different types of 2-horns and 4 different types of 3-horns in SC are given below. Note that they are not unique, and depend on the choice of simplices Si (equivalently, on the choice of functor Δop→SC).
For example, the 0th 2-horn Λ20 can be filled in if there exists a simplicial map h:S1→S2 in SC (that is, an element of N(SC)1) such that h∘f=g. Similarly, the 1st 3-horn Λ31 can be filled in if there exists a functor F:[0<1<2]→SC for which F(0<1)=f02, F(0<2)=f03, and F(1<2)=f23 (equivalently, a compatible collection of elements of N(SC)2).
Definition: Let A,B be ∞-categories. A functor F:A→B is a morphism of the simplicial sets A,B. That is, F:A→B is a natural transformation for A,B∈Fun(Δop,Set).
A functor of simplicial sets of a particular type can be identified with a functor of 1-categories. Recall the nerve of a 1-category, which turns it into an ∞-category. This construction has a left adjoint.
Definition: Let C be an ∞-category. The homotopy category hC of C has objects C0 and morphisms HomhC(X,Y)=π0(MapC(X,Y)).
By Lurie, h is left-adjoint to N. That is, h:sSet⇄Cat:N, or MapsSet(C,N(D))≅MapCat(hC,D), for any ∞-category C and any 1-category D. Our next goal is to describe a functor SingA(X)→N(SC), maybe through this adjunction, where SC is the 1-category of simplicial complexes and simplicial maps.
References: Lurie (Higher topos theory, Sections 1.1.3 and 1.2.3), Lurie (Higher algebra, Appendix A.6), Goerss and Jardine (Simplicial homotopy theory, Section I.3), Joyal (Quasi-categories and Kan complexes)
Definition: An exit path in an A-stratified space X is a continuous map σ:|Δn|→X for which there exists a chain a0⩽⋯⩽an in A such that f(σ(t0,…,ti,0,…,0))=ai for ti≠0. An entry path is a continuous map τ:|Δn|→X for which there exists a chain b0⩽⋯⩽bn in A such that f(τ(0,…,0,ti,…,tn))=bi for ti≠0.
Up to reordering of vertices of Δn and induced reordering of the realization |Δn|, an exit path is the same as an entry path. The next example describes this equivalence.
Example: The standard 2-simplex |Δ2| is uniquely an exit path and an entry path with a chain of 3 distinct elements, stratfied in the ways described below.
Recall the following algebraic constructions, through Joyal's quasi-category model:
- A simplicial set is a functor Δop→Set.
- A Kan complex is a simplicial set satisfying the inner horn condition for all 0⩽k⩽n. That is, the kth n-horn lifts (can be filled in) to a map on Δn.
- An ∞-category is a simplicial set satisfying the inner horn condition for all 0<k<n.
Remark: The subcategory SingA(X) of exit paths and the subcategory SingA(X) of entry paths are full subcategories of Sing(X), with (SingA(X))op=SingA(X). If the stratification is conical, then these two categories are ∞-categories.
Recall the nerve construction of a category. Here we are interested in the nerve of the category SC of simplicial complexes, so N(SC)n={sequences of n composable simplicial maps}. Recall the kth n-horns, which are compatible diagrams of elements of N(SC)n. In general, they are colimits of a diagram in the category Δ. That is, Λnk:=colim(⨆0⩽i<j⩽nΔn−2⇉⨆0⩽i⩽ni≠kΔn−1). Example: The images of the 3 different types of 2-horns and 4 different types of 3-horns in SC are given below. Note that they are not unique, and depend on the choice of simplices Si (equivalently, on the choice of functor Δop→SC).
For example, the 0th 2-horn Λ20 can be filled in if there exists a simplicial map h:S1→S2 in SC (that is, an element of N(SC)1) such that h∘f=g. Similarly, the 1st 3-horn Λ31 can be filled in if there exists a functor F:[0<1<2]→SC for which F(0<1)=f02, F(0<2)=f03, and F(1<2)=f23 (equivalently, a compatible collection of elements of N(SC)2).
Definition: Let A,B be ∞-categories. A functor F:A→B is a morphism of the simplicial sets A,B. That is, F:A→B is a natural transformation for A,B∈Fun(Δop,Set).
A functor of simplicial sets of a particular type can be identified with a functor of 1-categories. Recall the nerve of a 1-category, which turns it into an ∞-category. This construction has a left adjoint.
Definition: Let C be an ∞-category. The homotopy category hC of C has objects C0 and morphisms HomhC(X,Y)=π0(MapC(X,Y)).
By Lurie, h is left-adjoint to N. That is, h:sSet⇄Cat:N, or MapsSet(C,N(D))≅MapCat(hC,D), for any ∞-category C and any 1-category D. Our next goal is to describe a functor SingA(X)→N(SC), maybe through this adjunction, where SC is the 1-category of simplicial complexes and simplicial maps.
References: Lurie (Higher topos theory, Sections 1.1.3 and 1.2.3), Lurie (Higher algebra, Appendix A.6), Goerss and Jardine (Simplicial homotopy theory, Section I.3), Joyal (Quasi-categories and Kan complexes)
No comments:
Post a Comment