{"id":"arxiv/2603.17288","url":"https://arxiv.org/abs/2603.17288","tags":["math.AG","cs.SC"],"score":0,"title":"Certifying Galois/monodromy Actions via Homotopy Graphs","domain":"math.AG","source":"arxiv","authors":["Timothy Duff","Kisun Lee"],"reviews":0,"subject":"math.AG","summary":"We develop a certified numerical algorithm for computing Galois/monodromy groups of parametrized polynomial systems. Our approach employs certified homotopy path tracking to guarantee the correctness of the monodromy action produced by the algorithm, and builds on previous ``homotopy graph\" frameworks. We conduct extensive experiments with an implementation of this algorithm, which we have used to certify properties of several notable Galois/monodromy groups which arise in several examples drawn from pure and applied mathematics.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-18","reactions":{}}