Universal Analytic Gröbner Bases and Tropical Geometry - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Universal Analytic Gröbner Bases and Tropical Geometry

Tristan Vaccon
  • Fonction : Auteur
  • PersonId : 1000544
Thibaut Verron

Résumé

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.
Fichier principal
Vignette du fichier
UniversalAnalyticGB.pdf (606.41 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04386590 , version 1 (10-01-2024)

Identifiants

Citer

Tristan Vaccon, Thibaut Verron. Universal Analytic Gröbner Bases and Tropical Geometry. ISSAC 2023: International Symposium on Symbolic and Algebraic Computation 2023, Jul 2023, Tromsø, Norway. pp.517-525, ⟨10.1145/3597066.3597110⟩. ⟨hal-04386590⟩

Collections

UNILIM
14 Consultations
9 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More