Gröbner bases over Tate algebras

01/28/2019
by   Xavier Caruso, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/11/2020

Signature-based algorithms for Gröbner bases over Tate algebras

Introduced by Tate in [Ta71], Tate algebras play a major role in the con...
research
03/19/2019

Minimizing polynomial functions on quantum computers

This expository paper reviews some of the recent uses of computational a...
research
02/10/2021

On FGLM Algorithms with Tate Algebras

Tate introduced in [Ta71] the notion of Tate algebras to serve, in the c...
research
12/13/2002

Computing Conformal Structure of Surfaces

This paper solves the problem of computing conformal structures of gener...
research
08/20/2004

Notes on information geometry and evolutionary processes

In order to analyze and extract different structural properties of distr...
research
12/10/2019

Modelling curvature of a bent paper leaf

In this article, we briefly describe various tools and approaches that a...
research
07/26/2023

Finding roots of complex analytic functions via generalized colleague matrices

We present a scheme for finding all roots of an analytic function in a s...

Please sign up or login with your details

Forgot password? Click here to reset