Hexagon cohomologies and polynomial TQFT actions

Hexagon relations are combinatorial or algebraic realizations of four-dimensional Pachner moves. We introduce some simple set-theoretic hexagon relations and then quantize' them using what we call polynomial hexagon cohomologies’. Based on this, topological quantum field theories are proposed with polynomial `discrete Lagrangian densities’ taking values in finite fields. First calculations of the resulting manifold invariants, arising from polynomial cocycles of degree three and in characteristic two, show their nontriviality.