Date/Time Date(s) - 24/01/20232:00 pm - 3:00 pm
Abstract. Periods are defined as integrals of semialgebraic functions defined over the rationals.Periods form a countable ring not much is known about. Examples are given bytaking the antiderivative of a power series which is algebraic over the polynomial ring overthe rationals and evaluate it at a rational number. We follow this path and close these algebraicpower series under taking iterated antiderivatives and nearby algebraic and geometricoperations. We obtain a system of rings of power series whose coefficients form a countablereal closed field. Using techniques from o-minimality we are able to show that every periodbelongs to this field. In the setting of o-minimality we define exponential integrated algebraicnumbers and show that exponential periods and the Euler constant are exponentialintegrated algebraic number. Hence they are a good candiate for a natural number systemextending the period ring and containing important mathematical constants.
Dr. Tobias Kaiser is from the University of Passau, Germany
Location: Fields Institute