Algorithmic canonical stratifications of simplicial complexes (Q2125177)

The main goal of the authors of this paper is to develop an efficient algorithm for stratifying a simplicial complex according to the local homology of interior points of its simplices. For that the simplices of a simplicial complex are considered as a poset with inclusion as the order relation. Assigning the a simplex the local homology at one of its interior points can then be considered as a sheaf on the simplicial complex regarded as a poset. The stratification obtained by the algorithm from the paper indeed is the coarsest for which this sheaf is locally constant. For establishing the algorithm and proving its correctness the authors need to prove some general facts in the context of \(\infty\)-categories. The results partly are based on results of MacPherson and Treuman and lead to different prespectives of sheafes on posets in general. Finally in the last section the algorithm is presented and it is shown that its correctness follows from the results of the preceding sections.