9
$\begingroup$

An oriented simplicial complex is a simplicial complex K equipped with a partial ordering on its vertices that restricts to a linear ordering on each simplex. I am wondering if there is a standard name for simplicial maps $f\colon K\to K$ which preserve the partial order on vertices. I would have liked to call them orientation preserving but I think this is usually used to just mean that the linear ordering on each simplex is preserved up to an even permutation. I had no luck with Google.

Example: If P is a poset, then the order complex (=nerve) of the poset is naturally oriented by the original ordering on P and any order preserving map on P induces a simplicial map preserving orientation in the strong sense I described above. In particular, after a barycentric subdivision one always can get my property.

Also an oriented simplicial complex can be viewed as a simplicial set in a natural way but not all simplicial morphisms translate into morphisms of simplicial sets. The ones I am considering do.

Question: Is there a standard terminology for a simplicial map on an oriented simplicial complex that preserves the ordering on the vertices?

$\endgroup$
1
  • 1
    $\begingroup$ I like the terminology in Brown's group cohomology book where such complexes are called "ordered simplicial complexes" and group actions preserving the order are called "order preserving simplicial actions". In this context one could call your maps "order preserving simplicial maps". $\endgroup$
    – Ralph
    Jun 25, 2012 at 18:44

1 Answer 1

5
$\begingroup$

A simplicial complex with partially ordered vertices such that the vertex set of each simplex is a chain of the poset is called an ordered simplicial complex. This avoids the confusion with orientability, etc. The terminology is not new, you can find it in this paper from 1969. So, your maps are just maps of ordered simplicial complexes. Regarding the paragraph just before your question, if a map $f:K\to K$ of ordered simplicial complexes is injective on simplices, then it can be realized as a map of $\Delta$-sets. I think this is covered Friedman's wonderful notes, but it's been a while since I went through those.

$\endgroup$
1
  • $\begingroup$ You do not need injectivity if you want to work with simplicial sets. If an order preserving map crushes to vertices of a simplex, then you get a degenerate simplex. This is why in my opinion it is preferable to work with simplicial sets rather than $\Delta$-sets. $\endgroup$ Jun 25, 2012 at 19:12

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.