31
$\begingroup$

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.
$\endgroup$
3
  • $\begingroup$ 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.) $\endgroup$
    – Gil Kalai
    Aug 10, 2010 at 15:05
  • $\begingroup$ 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. $\endgroup$ Aug 10, 2010 at 16:32
  • 1
    $\begingroup$ @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. $\endgroup$ Aug 28, 2012 at 2:36

3 Answers 3

14
$\begingroup$

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.

$\endgroup$
1
  • 1
    $\begingroup$ Very interesting. If anyone writes this up formally, please let us know! $\endgroup$
    – Romeo
    Sep 28, 2010 at 0:05
8
$\begingroup$

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.

$\endgroup$
1
  • 2
    $\begingroup$ 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. $\endgroup$ Aug 11, 2010 at 3:02
2
$\begingroup$

I discussed this complex with a few folks, a while back (perhaps including Ben Burton and Jonathan Spreer?). We decided that its "coarse geometry" is not very nice.

Suppose that $M$ is a surface. Let $P(M)$ be its Pachner graph. We perform Pachner moves to ensure that there are $k$ disjoint disks in the current triangulation. We now subdivide independently inside of these disks. We deduce that $P(M)$ contains "quasi-$k$-orthants": subgraphs quasi-isometric to $\mathbb{N}^k$. This is true for all $k$.

If we fix the number of zero-cells in dimension two (that is, disallow (3,1) and (1,3) moves) then the "flip graph" is very interesting, and appears in Teichmuller theory. Fixing the number of zero-cells does not save us in dimension three - the graph again has quasi-orthants of all dimensions. This suggests the following question:

What if we restrict our attention to a compact, triangulated, four-manifold $X^4$, and only allow $(3, 3)$ moves?

Can we hope that this graph has some sensible connection to the mapping class group of $X^4$?

$\endgroup$
3
  • 1
    $\begingroup$ Hi Sam. I think this question had its origin in some conversations with Ben Burton and Hyam Rubinstein, 10+ years ago. 3-3 moves have a pleasant finitary nature to them, so I don't see how one could get to mapping class groups being not finitely generated. $\endgroup$ Dec 29, 2020 at 18:31
  • $\begingroup$ @RyanBudney - I did not previously know that the mapping class group of a four-manifold could be infinitely generated. How completely terrifying! I suppose that the natural guess is that the graph above (where only (3,3) moves are allowed) may have infinitely many components. What is the stabiliser of a connected component? $\endgroup$
    – Sam Nead
    Dec 29, 2020 at 22:14
  • 1
    $\begingroup$ It appears to be closely connected to the fundamental group of the manifolds. For example, if the 4-manifold has a finite fundamental group it could very well have a finite mapping-class group. But for manifolds like $S^1 x D^3$ the mapping class group is infinite -- I'm taking diffeomorphisms that are the identity on the boundary. It's quite the contrast with dimension 3 where all diffeomorphisms of a handlebody that are identity on the boundary are isotopic to the identity. It has more in common with what happens in high dimensions. $\endgroup$ Dec 31, 2020 at 3:03

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.