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

A theorem of Pachner's states that if two triangulated PL-manifolds are PL-homeomorphic, the two triangulations are related via a finite sequence of moves, nowadays called "Pachner moves".

A Pachner move has a very simple picture. If $N$ is a triangulated $n$-manifold and $C \subset N$ is a co-dimension zero subcomplex of $N$ which is equivalent to a subcomplex $D'$ of $\partial \Delta_{n+1}$ where $\Delta_{n+1}$ is an $(n+1)$-simplex equipped with its standard triangulation, then you can replace $N'$ in $N$ by $(\partial \Delta_{n+1}) \setminus D'$ from $\partial \Delta_{n+1}$, the gluing maps being the only ones available to you.

One way to say Pachner's theorem is that there is a ''graph'' of triangulations of $N$, and it is connected. Specifically, the vertices of this graph consist of triangulations of $N$ taken up to the equivalence that two triangulations are equivalent if there is an automorphism of $N$ sending one triangulation to the other. The edges of this graph are the Pachner moves.

This formulation hints at an idea. Is there a useful notion of "Pachner complex"?

Of course this would lead to many further questions such as what geometric / topological properties does such a complex have, is it contractible for instance, are there "short" paths connecting any two points in the complex, and so on.

I'm curious if people have a sense for what such a Pachner complex should be. For example, some Pachner moves commute in the sense that the subcomplexes $C_1, C_2 \subset N$ are disjoint, so you can apply the Pachner moves independantly of each other. Presumably this should give rise to a "square" in any reasonable Pachner complex.

This feels related to the kind of complexes that Waldhausen and Hatcher used to use in the 70's but it's also a little different.

  • Udo Pachner, P.L. homeomorphic manifolds are equivalent by elementary shellings, European J. Combin. 12 (1991), 129–145.
share|improve this question
    
Very nice problem. I think the length of the Pachner path can be terribly lerribly large since deciding PL-equivalence in high dimensions is not decidable (to the best of my memory). Do you have a suggestion for the 2-cells? (not just squares, but I am not sure if we should regard every commuting moves as 2-cells.) –  Gil Kalai Aug 10 '10 at 15:05
    
One could make it into a cubical complex by only considering collections of commuting Pachner moves but I doubt this will have many rewarding properties. I suspect Walker's suggestion, below is more or less on the right track. –  Ryan Budney Aug 10 '10 at 16:32
1  
@Gil: yes, I'm discovering that paths can be terribly large. For example, there are triangulated homotopy 4-spheres with only 8 four-dimensional simplices in them, yet it takes no less than 80 Pachner 3-3 moves to go from one to the other! And this isn't rare. –  Ryan Budney Aug 28 '12 at 2:36
add comment

2 Answers 2

My vague recollection is that the way one proves Pachner's theorem is to prove the existence of a shellable triangulation of $M\times I$ extending the given triangulations on $M\times \{0,1\}$. Here "shellable" means that we can add $(n+1)$-simplices to $M\times\{0\}$ one at a time (eventually adding all of them to reach $M\times \{1\}$) so that the interface between what we've added and what we haven't is always a triangulated manifold homeomorphic to $M$.

This suggests the following definition of a "Pachner complex". The 0- and 1-cells are of course triangulations of $M$ and Pachner moves, as you describe. There are two classes of 2-cells. The first class corresponds to changing the order in which $(n+1)$-simplices are added in the previous paragraph. It suffices (I think) to consider swapping the order of two $(n+1)$-simplices which are adjacent in "time". There are still many possibilities, since these two simplices could be adjacent (or disjoint) in $M$ in various ways, and also intersect the already-added simplices in various ways.

The second class of 2-cell corresponds to changing the triangulation of $M\times I$ from the first paragraph above. In some sense, we do a higher order Pachner move on $M\times I$. More specifically, divide the boundary of an $(n+2)$-simplex into two $(n+1)$-balls $B_1$ and $B_2$ which intersect in an $n$-sphere $E$, then similarly divide $E$ into a pair of $n$-balls $C_1$ and $C_2$. After choosing orderings of $(n+1)$-simplices, $B_1$ and $B_2$ correspond to two different sequences of Pachner moves, $s_1$ and $s_2$, connecting the triangulated $n$-balls $C_1$ and $C_2$. Corresponding to all the above data we have a 2-cell in the Pachner complex whose boundary is $s_1 s_2^{-1}$.

In general, the $k$-cells of the Pachner complex would correspond to higher order syzygies of the symmetric group, or ways of dividing the boundaries of higher dimensional simplices, or combinations of these.

There are many details missing from the above sketch of a definition of a "Pachner complex", and even with those details nailed down one would have to show that the complex is contractible. But it seems to me this is the correct general idea for such a complex.

share|improve this answer
    
Very interesting. If anyone writes this up formally, please let us know! –  Romeo Sep 28 '10 at 0:05
add comment

I think this is a really neat idea. If you haven't already, you might want to look at

Nabutovsky, A. Geometry of the space of triangulations of a compact manifold. Comm. Math. Phys. 181 (1996), no. 2, 303--330. MR1414835

This paper discusses the metric properties of the "graph of triangulations" you mention.

share|improve this answer
    
Thanks, I didn't know about this reference. –  Ryan Budney Aug 11 '10 at 0:37
2  
If a "good" Pachner complex was shown to be contractible, it would allow for a rather full analogy to the type Nabutovsky mentions -- the space of Riemann metrics is contractible since it's an affine space. –  Ryan Budney Aug 11 '10 at 3:02
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.