Euclidean 4-simplices and invariants of four-dimensional manifolds: III. Moves 1 <-> 5 and related structures

Abstract

We conclude the construction of the algebraic complex, consisting of spaces of differentials of Euclidean metric values, for four-dimensional piecewise-linear manifolds. Assuming that the complex is acyclic, we investigate how its torsion changes under rebuildings of the manifold triangulation. First, we write out formulas for moves 3 -> 3 and 2 <-> 4 based on the results of our two previous works, and then we study in detail moves 1 <-> 5. On this basis, we obtain the formula for a four-dimensional manifold invariant. As an example, we present a detailed calculation of our invariant for sphere S^4; in particular, the complex turns out, indeed, to be acyclic.

LaTeX2e, 18 pages

References in corpus (4)

• Invariants of PL manifolds from metrized simplicial complexes. Three-dimensional case
• Euclidean 4-simplices and invariants of four-dimensional manifolds: II. An algebraic complex and moves 2 <-> 4
• Euclidean 4-simplices and invariants of four-dimensional manifolds: I. Moves 3 -> 3
• Distinguishing three-dimensional lens spaces L(7,1) and L(7,2) by means of classical pentagon equation

Cited by in corpus (9)

• Hidden Quantum Gravity in 4d Feynman diagrams: Emergence of spin foams
• Quantum geometry from higher gauge theory
• A 2-categorical state sum model
• A Euclidean Geometric Invariant of Framed (Un)Knots in Manifolds
• SL(2)-solution of the pentagon equation and invariants of three-dimensional manifolds
• Discretization of 4d Poincaré BF theory: from groups to 2-groups
• Geometric torsions and an Atiyah-style topological field theory
• Geometric torsions and invariants of manifolds with triangulated boundary
• Pachner Move 3->3 and Affine Volume-Preserving Geometry in R^3