Sage Days: Arithmetics over discrete valuation rings (e.g. p-adics)

September 2–September 6, 2013, Université Rennes 1, France

The aim of this workshop is to contribute to the development of p-adics rings in Sage - and more generally discrete valuation rings (DVR). It includes basic arithmetics, linear algebra and analysis (e.g. analytic functions) over these rings.

Registration

Registration is free. There is limited funding for travel and lodging.

Please contact Xavier Caruso at xavier.caruso (at) normalesup.org to register. Please indicate if you will be requesting funding.

Schedule

Coming soon.

Projects

The specific problems addressed at this workshop will be decided upon the interests of the participants. The following general topics are proposed:

• Implement basic functions for matrices over DVR (e.g. Hermite and Smith decomposition)
• Implement extensions of p-adics (currently only unramified and totally ramified extensions are available)
• Write classes for series over DVR
• Design a general framework for precision
• Review several tickets related to p-adics

Location

Université Rennes 1, France. See location on Google Maps.

Participants (first tentative)

Jean-François Biasse^*

Cécile Breilly

Xavier Caruso

Gilles Christol^*

Luca De Feo^*

Jean-Pierre Flori^*

Muhammad Imran

Kiran Kedlaya

Jérémy Le Borgne^*

David Lubicz

David Roe

Julian Rüth

Jeroen Sijsling

Olivier Taïbi^*

Arnaud Tisserand

Jan Tuitman

Tristan Vaccon

^* To be confirmed

Organizers

• Xavier Caruso, Université Rennes 1, France
• David Lubicz, Université Rennes 1, France

Last Updated

June 4, 2013