Universal Analytic Gröbner Bases and Tropical Geometry

• Published in: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation
• Main Authors: Vaccon, Tristan, Verron, Thibaut
• Other Authors: Université de Limoges (UNILIM), Johannes Kepler Universität (JKU), FWF standalone project P34872
• Format: Conference Object
• Language: English
• Published: HAL CCSD 2023
• Subjects: Algorithms; Gröbner bases; Tate algebra; Tropical Geometry; Universal Gröbner basis; [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]; [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG]; [MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT]; Tromsø
• Online Access: https://hal.science/hal-04386590; https://hal.science/hal-04386590/document; https://hal.science/hal-04386590/file/UniversalAnalyticGB.pdf; https://doi.org/10.1145/3597066.3597110

International audience A universal analytic Gröbner basis (UAGB) of an ideal of a Tate algebra is a set containing a local Gröbner basis for all suitable convergence radii. In a previous article, the authors proved the existence of finite UAGB's for polynomial ideals, leaving open the question of how to compute them. In this paper, we provide an algorithm computing a UAGB for a given polynomial ideal, by traversing the Gröbner fan of the ideal. As an application, it offers a new point of view on algorithms for computing tropical varieties of homogeneous polynomial ideals, which typically rely on lifting the computations to an algebra of power series. Motivated by effective computations in tropical analytic geometry, we also examine local bases for more general convergence conditions, constraining the radii to a convex polyhedron. In this setting, we provide an algorithm to compute local Gröbner bases and discuss obstacles towards proving the existence of finite UAGBs. CCS CONCEPTS • Computing methodologies → Algebraic algorithms.