Xavier Caruso, Tristan Vaccon, Thibaut Verron,
"Signature-based algorithms for Gröbner bases over Tate algebras"
: Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation, Seite(n) 70, 7-2020
Signature-based algorithms for Gröbner bases over Tate algebras
Sprache des Titels:
Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation
Introduced by Tate in [Ta71], Tate algebras play a major role in the context of analytic geometry over the p-adics, where they act as a counterpart to the use of polynomial algebras in classical algebraic geometry. In [CVV19] the formalism of Gröbner bases over Tate algebras has been introduced and effectively implemented. One of the bottlenecks in the algorithms was the time spent on reduction, which are significantly costlier than over polynomials. In the present article, we introduce two signature-based Gröbner bases algorithms for Tate algebras, in order to avoid many reductions. They have been implemented in SageMath. We discuss their superiority based on numerical evidence.