Is it known that the ring of periods is not a field? - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-20T04:27:22Z http://mathoverflow.net/feeds/question/20497 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/20497/is-it-known-that-the-ring-of-periods-is-not-a-field Is it known that the ring of periods is not a field? Franz Lemmermeyer 2010-04-06T13:20:35Z 2012-08-27T00:49:51Z <p>I have just learned <a href="http://mathoverflow.net/questions/20430/is-there-an-explicit-example-of-a-complex-number-which-is-not-a-period" rel="nofollow">here</a> that we know numbers that are not periods; is it known meanwhile that the ring of periods is not a field? I know that it is conjectured that $1/\pi$ is not a period, but the existence of a period whose inverse is not a period seems to be still open. Is this correct?</p> <p>More generally: is it believed that the unit group of the ring of periods is bigger than the nonzero algebraic numbers?</p> http://mathoverflow.net/questions/20497/is-it-known-that-the-ring-of-periods-is-not-a-field/20541#20541 Answer by Marty for Is it known that the ring of periods is not a field? Marty 2010-04-06T20:00:55Z 2010-04-06T20:00:55Z <p>Maybe I can sketch an argument for your first question. </p> <p>Let $P$ be the ring of effective "formal" periods, generated by quadruples $[X,D,\omega,\gamma]$ consisting of a smooth projective $Q$-variety $X$, a normal crossing divisor $D$, top-form $\omega$, and singular cycle $\gamma$, as discussed in Kontsevich-Zagier.</p> <p>Let $\omega: P \rightarrow C$ be the ring homomorphism obtained by integration, whose image is the ring of periods that you mention. You ask whether the image $\omega(P)$ could be a field.</p> <p>If it were, then the induced map $Spec(C) \rightarrow Spec(P)$ would be a $C$-point of the scheme $Spec(P)$, whose image is a closed point of the scheme. As $P$ is the inductive limit of finitely-generated subrings $P_M$, we find that the induced map $Spec(C) \rightarrow Spec(P_M)$ has image a <em>closed point</em> of $Spec(P_M)$ for any motive $M$ which generates a sufficiently large ring of periods (or am I making a mistake about projective limits of affine varieties?).</p> <p>This, incidentally, is opposite to the expectations of Grothendieck's period conjecture, which states that the image of $Spec(C) \rightarrow Spec(P_M)$ should be a <em>generic</em> point! </p> <p>If the map $Spec(C) \rightarrow Spec(P_M)$ has image a closed point, then (since $Spec(P_M)$ is defined over $Q$), its image is a point defined over $\bar Q$. It follows that the dimension of the $Q$-Zariski closure of this point is zero.</p> <p>But this dimension (zero) is equal (as remarked by Yves Andre in his paper "Galois Theory, Motives, and Transcendental Numbers") to the transcendence degree $TrDeg_Q[Per(M)]$, where $Per(M)$ is the set of periods of the motive $M$. </p> <p>So, if one chooses a motive whose periods generate a transcendental extension of $Q$ (e.g., whose periods include $2 \pi i$), one should find a contradiction.</p> <p>As for the second question... I'll try to say something when I'm not about to meet with students.</p> http://mathoverflow.net/questions/20497/is-it-known-that-the-ring-of-periods-is-not-a-field/105576#105576 Answer by YBL for Is it known that the ring of periods is not a field? YBL 2012-08-26T21:56:35Z 2012-08-27T00:49:51Z <p>I think the questions were about unconditional proofs or counter examples. I don't have an answer to any of those questions but I think it is still interesting to understand how the yoga of motives suggests natural answers to theses questions. Even though this may seem trivial to people familiar with the subject. </p> <p>Let's work in the setting of Voevodsky's $\otimes$-triangulated categories $DM^{eff}(\mathbb{Q}):= DM_{gm}^{eff}(Spec(\mathbb{Q});\mathbb{Q}) \subset DM_{gm}(Spec(\mathbb{Q});\mathbb{Q}) =: DM(\mathbb{Q})$. Remember that the latter is obtained by formally inverting $\mathbb{Q}(1)$ and that it is a rigid $\otimes$-triangulated category. </p> <p><strong>Question 1</strong>: Is the ring of (effective) periods a field?</p> <p>Following Beilinson's "Remarks on Grothendieck's standard conjecctures", let's assume</p> <p><strong>Motivic conjecture:</strong> There exists a non degenerate t-structure on Voevodsky's category $DM(\mathbb{Q}) := DM(Spec(\mathbb{Q});\mathbb{Q})$ and such that the Betti realization function $\omega_B: DM(\mathbb{Q}) \to D^bMod_f(\mathbb{Q})$ is a $t$-exact $\otimes$-functor.</p> <p>This is an extremely strong conjecture as it implies the standard conjectures in characteristic 0.</p> <p>Under this conjecture, the heart of the motvitic $t$-structure is a tannakian category $MM(\mathbb{Q})$. We have Betti and Rham realization functors $\omega_B,\omega_{dR}: MM(\mathbb{Q}) \rightrightarrows Mod_f(\mathbb{Q})$. And we can define $$Per := Isom^\otimes(\omega_{dR},\omega_{B})$$ This is a fpqc-torsor under the motivic Galois group $G_B := Aut^\otimes(\omega_B)$. </p> <p>Define the algebra of motivic periods as the ring of regular functions on the Betti/de Rham torsor: $$P_{mot} := \mathcal{O}(Per)$$ Integration of differential forms (or more generally the Riemann-Hilbert correspondance) defines an $\mathbb{C}$-point $$Spec(\mathbb{C}) \longrightarrow Per$$ The image of the corresponding morphism $P_{mot} \to \mathbb{C}$ is the ring of periods $P$.</p> <p>Note: I think this whole part is actually known unconditionnally in the setting of Nori's motives (see arXiv:1105.0865v4). </p> <p><strong>Period conjecture:</strong> The morphism $P_{mot} \to P$ is an isomorphism.</p> <p>Now based on these tiny little conjectures we can say </p> <p><strong>Prop:</strong> $P_{mot}$ is not a field so $P$ isn't either.</p> <p>Proof: Indeed in his comment <a href="http://mathoverflow.net/questions/104584/g-torsor-whose-ring-of-regular-functions-is-a-field" rel="nofollow">http://mathoverflow.net/questions/104584/g-torsor-whose-ring-of-regular-functions-is-a-field</a> @quasi-coherent explained how faithfull flatness would imply that if $P_{mot}$ were a field then it would be algebraic over $\mathbb{Q}$ which contradicts the fact that $2\pi i$ belongs to the image of $P_{mot}\to \mathbb{C}$.</p> <p><strong>Question 2</strong> Is it true that $(P_{mot}^{eff})^\times = \overline{\mathbb{Q}}^\times$? </p> <p>This post is getting too long already so I'll try and write down the rest later but the basic idea is that invertible effective motives are Artin motives. This can be proved in terms of weights or niveau (level). </p>