Perturbative invariants of cusped hyperbolic 3-manifolds

We prove that a formal power series associated to an ideally triangulated cusped hyperbolic 3-manifold (together with some further choices) is a topological invariant. This formal power series is conjectured to agree to all orders in perturbation theory with two important topological invariants of hyperbolic knots, namely the Kashaev invariant and the Andersen–Kashaev invariant (also known as the state-integral) of Teichmüller TQFT.