Gröbner bases over Tate algebras

Abstract : Tate algebras are fundamental objects in the context of analytic geometry over the p-adics. Roughly speaking, they play the same role as polynomial algebras play in classical algebraic geometry. In the present article, we develop the formalism of Gröbner bases for Tate algebras. We prove an analogue of the Buchberger criterion in our framework and design a Buchberger-like and a F4-like algorithm for computing Gröbner bases over Tate algebras. An implementation in SM is also discussed.
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01995881
Contributor : Xavier Caruso <>
Submitted on : Sunday, January 27, 2019 - 11:55:45 PM
Last modification on : Wednesday, February 27, 2019 - 1:13:50 AM

Files

tate_algebra-hal.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01995881, version 1
  • ARXIV : 1901.09574

Collections

Citation

Xavier Caruso, Tristan Vaccon, Thibaut Verron. Gröbner bases over Tate algebras. 2019. ⟨hal-01995881⟩

Share

Metrics

Record views

43

Files downloads

25