Johan Commelin: Exponential periods and o-minimality
Time: Wed 2020-09-02 13.15 - 14.15
Location: Zoom, Meeting ID: 657 9019 8929
Participating: Johan Commelin, Albert-Ludwigs-Universität Freiburg
Let α ∈ ℂ be an exponential period. In this talk I will present on joint work with Philipp Habegger and Annette Huber. We show that the real and imaginary part of α are up to signs volumes of sets definable in the o-minimal structure generated by ℚ, the real exponential function and sin|_[0,1]. This is a weaker analogue of the precise characterisation of ordinary periods as numbers whose real and imaginary part are up to signs volumes of ℚ-semialgebraic sets; and it points to a relation between the theory of periods and o-minimal structures. No prior knowledge of o-minimality is assumed.
Furthermore, we compare the definition of naive exponential periods to the existing definitions of cohomological exponential periods and periods of Nori motives and show that they all lead to the same notion. In particular, naive exponential periods are the same as periods of exponential Nori motives, which justifies that the definition of naive exponential periods singles out the correct set of complex numbers to be called exponential periods.
(Joint work with Philipp Habegger and Annette Huber.)
Zoom Notes: The Meeting ID and Passcode will be recurring and should work every Wednesday. The password has been sent out on the department mailing lists. Please email Wushi Goldring if you are not on these mailing lists and are interested in attending.