Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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?

share|improve this question
1  
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". –  Ralph Jun 25 '12 at 18:44
    
Thanks Ralph... –  Benjamin Steinberg Jun 25 '12 at 19:11
add comment

1 Answer

up vote 3 down vote accepted

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.

share|improve this answer
    
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. –  Benjamin Steinberg Jun 25 '12 at 19:12
    
Thanks for the answer! –  Benjamin Steinberg Jun 25 '12 at 20:06
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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