2000 character limit reached
Gr{ö}bner bases over polytopal affinoid algebras (2403.13382v2)
Published 20 Mar 2024 in cs.SC, math.AC, and math.NT
Abstract: 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{\"o}bner bases for polytopal affinoid algebras that extends both Caruso et al.'s theory of Gr{\"o}bner bases on Tate algebras and Pauer et al.'s theory of Gr{\"o}bner bases on Laurent polynomials. We provide effective algorithms to compute Gr{\"o}bner bases for both ideals of Laurent polynomials and ideals in polytopal affinoid algebras. Experiments with a Sagemath implementation are provided.
- Xavier Caruso, Tristan Vaccon and Thibaut Verron “Gröbner bases over Tate algebras” In ISSAC 2019 - International Symposium on Symbolic and Algebraic Computation, 2019 URL: https://hal.science/hal-01995881
- Xavier Caruso, Tristan Vaccon and Thibaut Verron “On FGLM Algorithms with Tate Algebras” In Proceedings of the 2021 on International Symposium on Symbolic and Algebraic Computation, ISSAC ’21 Virtual Event, Russian Federation: Association for Computing Machinery, 2021, pp. 67–74
- Xavier Caruso, Tristan Vaccon and Thibaut Verron “On Polynomial Ideals and Overconvergence in Tate Algebras” In Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation, ISSAC ’22 Villeneuve-d’Ascq, France: Association for Computing Machinery, 2022, pp. 489–497
- Xavier Caruso, Tristan Vaccon and Thibaut Verron “Signature-Based Algorithms for Gröbner Bases over Tate Algebras”, ISSAC ’20 Kalamata, Greece: Association for Computing Machinery, 2020
- Manfred Einsiedler, Mikhail Kapranov and Douglas Lind “Non-archimedean amoebas and tropical varieties” In Journal für die reine und angewandte Mathematik 2006.601, 2006, pp. 139–157 URL: https://doi.org/10.1515/CRELLE.2006.097
- “Tropical adic spaces I: The continuous spectrum of a topological semiring”, 2023 arXiv:2209.15116
- Walter Gubler “The Bogomolov conjecture for totally degenerate abelian varieties” In Inventiones mathematicae 169.2 Springer, 2007, pp. 377–400
- Walter Gubler “Tropical varieties for non-Archimedean analytic spaces” In Inventiones mathematicae 169.2 Springer, 2007, pp. 321–376
- “Gröbner bases for ideals in Laurent polynomial rings and their application to systems of difference equations” In Applicable Algebra in Engineering, Communication and Computing 9 Springer, 1999, pp. 271–291
- Joseph Rabinoff “Tropical analytic geometry, Newton polygons, and tropical intersections” In Advances in Mathematics 229.6, 2012, pp. 3192–3255
- Michel Raynaud “Revêtements de la droite affine en caractéristique p¿ 0 et conjecture d’Abhyankar” In Inventiones mathematicae 116 Springer, 1994, pp. 425–462
- The Sage Developers “SageMath, the Sage Mathematics Software System (Version 10.3)” https://www.sagemath.org, 2024
- John Tate “Rigid analytic spaces” In Inventiones mathematicae 12.4 Springer, 1971, pp. 257–289
- “Universal Analytic Gröbner Bases and Tropical Geometry”, ISSAC ’23 Tromsø, Norway: Association for Computing Machinery, 2023, pp. 517–525