Effective Convergence Bounds for Frobenius Structures on Connections
We give explicit formulas for reducing the problem of determining whether a given 2-cocycle is a coboundary and if so finding a lifting 1-cochain to a system of norm equations.
Let be polynomials in variables without a common zero. Hilbert’s Nullstellensatz says that there are polynomials such that . The effective versions of this result bound the degrees of the in terms of the degrees of the . The aim of this paper is to generalize this to the case when the are replaced by arbitrary ideals. Applications to the Bézout theorem, to Łojasiewicz–type inequalities and to deformation theory are also discussed.