Chromatic subdivision of a simplicial complex

摘要

We prove that the protocol complex of the immediate snapshot read/write complex for $n+1$ processors is a simplicial subdivision of the input complex. Our proof is purely geometric, using the Schlegel diagram construction.