Рухи Пахнера

Рухи Пахнера, названі ім'ям Удо Пахнера, — це методи заміни тріангуяції кусково-лінійного многовиду іншою тріангуляцією гомеоморфного многовиду. Рухи Пахнера називають також бізірковими перебудовами. Будь-які дві тріангуляції кусково-лінійного многовиду пов'язані скінченною послідовністю рухів Пахнера.

2-3 рух Пахнера: об'єднання 2 тетраедрів розбивається на 3 тетраедри.

Визначення

Нехай $\Delta _{n+1}$ — $(n+1)$-симплекс, а $\partial \Delta _{n+1}$ — комбінаторна n-сфера з тріангуляцією у вигляді межі n+1-симплекса.

Якщо задано тріангульований кусково-лінійний n-многовид $N$ і підкомплекс $C\subset N$ з корозмірністю 0 разом зі симпліційним ізоморфізмом $\phi :C\to C'\subset \partial \Delta _{n+1}$, рух Пахнера на N, асоційований із C, це тріангульований многовид $(N\setminus C)\cup _{\phi }(\partial \Delta _{n+1}\setminus C')$. За побудовою цей многовид PL-ізоморфний $N$, але ізоморфізм не зберігається тріангуляції.

Література

• Udo Pachner. P.L. homeomorphic manifolds are equivalent by elementary shellings // European Journal of Combinatorics. — 1991. — Т. 12, вип. 2 (21 квітня). — С. 129–145. — DOI:10.1016/s0195-6698(13)80080-7.