Abstract
AbstractPeriods are defined as integrals of semialgebraic functions defined over the rationals. Periods form a countable ring not much is known about. Examples are given by taking the antiderivative of a power series which is algebraic over the polynomial ring over the rationals and evaluate it at a rational number. We follow this path and close these algebraic power series under taking iterated antiderivatives and nearby algebraic and geometric operations. We obtain a system of rings of power series whose coefficients form a countable real closed field. Using techniques from o-minimality we are able to show that every period belongs to this field. In the setting of o-minimality we define exponential integrated algebraic numbers and show that exponential periods and the Euler constant is an exponential integrated algebraic number. Hence they are a good candiate for a natural number system extending the period ring and containing important mathematical constants.
Publisher
Springer Science and Business Media LLC
Reference32 articles.
1. Bakker, B., Brunebarbe, Y., Tsimerman, J.: o-minimal GAGA and a conjecture of Griffiths. Invent. Math. 232(1), 163–228 (2023)
2. Bochnak, J., Coste, M., Roy, M.-F.: Real Algebraic Geometry. Ergebnisse der Mathematik und ihrer Grenzgebiete 36. Springer, Berlin (1998)
3. Cluckers, R., Miller, D.: Stability under integration of sums of products of real globally subanalytic functions and their logarithms. Duke Math. J. 156(2), 311–348 (2011)
4. Commelin, J., Habegger, P., Huber, A.: Exponential periods and o-minimality. arXiv:2007.08280
5. Comte, G., Lion, J.-M., Rolin, J.-P.: Nature log-analytique du volume des sous-analytiques. Ill. J. Math. 44(4), 884–888 (2000)