arXiv++ Combinatorics

The aim of this note is to share the observation that the set of elementary operations of Turing on lattice knots can be reduced to just one type of simple local switches.

We prove a conjecture of Ian Agol: all isometric realizations of a polyhedral surface with boundary sweep out an isotropic subset in the Kapovich-Millson moduli space of polygons isomorphic to the boundary. For a generic polyhedral disk we show that boundaries of its isometric realizations make up a Lagrangian subset. As an application of this result, we obtain a new solution to the problem of Richard Kenyon about spanning domes of piecewise linear curves comprised of unit intervals in R^3.