LJKA.M.A.C: CASC Seminar

On Thursday February 25 2021 at 9h30 in waiting for a room

Seminary of Thibaut VERRON (Johannes Kelper Universität Linz)

Gröbner bases in Tate algebras

Summary

Tate series are a generalization of polynomials introduced by John
Tate in 1962, when defining a padic analogue of the correspondence
between algebraic geometry and analytic geometry. This padic analogue
is called rigid geometry, and Tate series, similar to analytic
functions in the complex case, are its fundamental objects. Tate
series are defined as multivariate formal power series over a padic
ring or field, with a convergence condition on a closed ball.
Tate series are naturally approximated by multivariate polynomials
over F_p or Z/p^n Z, and it is possible to define a theory of Gröbner
bases for ideals of Tate series, which follows very closely that
approximation. The implementation of such a theory then opens the way
towards effective rigid geometry.
In this talk, I will explain how to define and compute Gröbner bases
for ideals of Tate series, with adapted versions of algorithms such as
Buchberger's algorithm and the FGLM algorithm.
(Joint work with Xavier Caruso and Tristan Vaccon)
*
Link for the video: https://meetljk.imag.fr/b/piesxgkmz6fm
