Processing math: 100%

Friday, April 20, 2018

Exit paths and entry paths through -categories

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 a0an in A such that f(σ(t0,,ti,0,,0))=ai for ti0. An entry path is a continuous map τ:|Δn|X for which there exists a chain b0bn in A such that f(τ(0,,0,ti,,tn))=bi for ti0.

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 ΔopSet.
  • A Kan complex is a simplicial set satisfying the inner horn condition for all 0kn. 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.
Moreover, if the lift is unique, then the Kan complex is the nerve of some category. Recall also the category Sing(X)={continuous σ:|Δn|X}, which can be combined with the stratification f:XA of X

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(0i<jnΔn20inikΔn1). 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 ΔopSC).
For example, the 0th 2-horn Λ20 can be filled in if there exists a simplicial map h:S1S2 in SC (that is, an element of N(SC)1) such that hf=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:AB is a morphism of the simplicial sets A,B. That is, F:AB is a natural transformation for A,BFun(Δ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:sSetCat: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