Gröbner bases over polytopal affinoid algebras
Résumé
Polyhedral affinoid algebras have been introduced by Einsiedler, Kapranov and Lind to connect rigid analytic geometry (analytic geometry over non-archimedean fields) and tropical geometry.
In this article, we present a theory of Gröbner bases for polytopal affinoid algebras that extends both Caruso et al.’s theory of Gröbner bases on Tate algebras and Pauer et al.’s theory of Gröbner bases on Laurent polynomials.
We provide effective algorithms to compute Gröbner bases for both ideals of Laurent polynomials and ideals in polytopal affinoid algebras. Experiments with a Sagemath implementation are provided.
Mots clés
Algebraic algorithms
Gröbner bases
Tate algebra
Laurent polynomials
Tropical analytic geometry
Algorithms
CCS CONCEPTS Computing methodologies → Algebraic algorithms Algorithms Gröbner bases Tate algebra Laurent polynomials Tropical analytic geometry
CCS CONCEPTS
Computing methodologies → Algebraic algorithms Algorithms
Origine : Fichiers produits par l'(les) auteur(s)