Bases de Gröbner sur les algèbres de Tate

par Dr Tristan Vaccon (Université de Limoges)

jeudi 20 juin 2019, 10:30 → 11:00 Europe/Paris

Salle XR203 (Bâtiment XLIM)

Les algèbres de Tate sont un objet fondamental dans le contexte de la géométrie analytique sur les p-adiques. Elles jouent essentiallement le même rôle que celui joué par les algèbres de polynômes dans le cas de la géométrie algébrique classique.

Dans ce travail en commun avec X.Caruso (Univ. Bordeaux) et T.Verron (JKU, Linz), nous développons le formalisme des bases de Gröbner pour les algèbres de Tate, ainsi qu'un algorithme de Buchberger et un algorithme F4 pour les calculer.