3
$\begingroup$

What is the (transcendence) degree of the field $\mathbb{Q}^*$ generated by Kontsevich-Zagier periods over $\overline{\mathbb{Q}}$? What is its algebraic closure, $\overline{\mathbb{Q}^*}$?

What are the automorphism groups $Gal(\mathbb{Q}^*|\overline{\mathbb{Q}}$), $Gal(\overline{\mathbb{Q}^*}|\mathbb{Q}^*)$ and $Gal(\overline{\mathbb{Q}^*}|\overline{\mathbb{Q}})$?

How are these related to the motivic Galois group?

$\endgroup$
2
  • 2
    $\begingroup$ What references have you read before? $\endgroup$
    – A_S
    Commented Mar 30, 2021 at 9:36
  • 2
    $\begingroup$ Hi Pyrrho. The transcendence degree of your $\mathbb{Q}^\ast$ is certainly at most countable, and it should be infinite (see my next comment below), but the latter statement is most likely open. Not much known about algebraic independence of periods. $\endgroup$
    – P.E.
    Commented Mar 30, 2021 at 12:15

1 Answer 1

4
$\begingroup$

I was going to write this as a comment, but it turned out too long so I am posting it as an answer. The Kontsevich-Zagier periods include periods of motives over $\overline{\mathbb{Q}}$ (well at least, they include periods of cohomology groups of varieties): The periods of $H^n(X)$ of a smooth variety $X$ over $\overline{\mathbb{Q}}$ are the numbers that appear as the image of the pairing between algebraic de Rahm cohomology and singular homology, i.e. roughly speaking just the integrals of closed algebraic $n$-forms over closed singular $n$-chains. I will consider your question about periods of motives instead of your $\mathbb{Q}^\ast$ (in fact, it might be that every Kontsevich-Zagier period is a period of a motive too - you should check the literature).

For periods of motives, instead of asking for the transcendence degree of the full space of periods of motives we can ask about transcendence degree of the field $Per(M)$ generated by the periods of a given motive $M$ over $\overline{\mathbb{Q}}$. Grothendieck's period conjecture predicts that the transcendence degree of $Per(M)$ should be equal to the dimension of the motivic Galois group of M (the hypothesis that $M$ is over $\overline{\mathbb{Q}}$ or more generally a field of transcendence degree zero is crucial here). That the former is bounded from above by the latter follows from a standard argument (see for instance, Deligne's paper on absolute Hodge cycles in LNM 900). But the reverse inequality is a very deep statement and one of the most important conjectures in arithmetic geometry. I would suggest reading Ayoub's short and introductory article in the European Math. Soc. Newsletter (2014). The article might also answer your follow-up questions about motivic Galois groups.

$\endgroup$
3
  • 2
    $\begingroup$ Kontsevich-Zagier periods coincide with periods of Nori motives. A reference is Huber and Müller-Stach's Periods and Nori Motives. $\endgroup$ Commented Mar 30, 2021 at 13:21
  • $\begingroup$ What lower bound do you think is currently provable for this transcendence degree? The field should contain $\pi$ so that's at least $1$. Can we show it's at least $2$? $\endgroup$
    – Will Sawin
    Commented Apr 1, 2021 at 4:22
  • $\begingroup$ By a theorem of Chudnovsky the transcendence degree of the periods of an elliptic curve over $\overline{\mathbb{Q}}$ is at least 2. Not sure if anything better is known. You may want to consult this survey article of Waldschmidt: hal.archives-ouvertes.fr/hal-00407231/document $\endgroup$
    – P.E.
    Commented Apr 1, 2021 at 12:55

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .