4
$\begingroup$

Like explained in this passage that a period is a complex number whose real and imaginary parts are integrations of rational functions over $\mathbb{Q}$ on some $\mathbb{Q}$-semi-algebra set in $\mathbb R^n$. Or equivalently, or $X$ is a smooth variety over $\mathbb{Q}$ with a normal crossing divisor $D$. Periods are the matrix coefficients of the period isomorphisms for all $i$ $$H_{dR}^i(X,D)\otimes\mathbb C\to H_{sing}^i(X,D)\otimes\mathbb C.$$

Can we actually get all periods without using this normal crossing divisor, i.e., just using all period isomorphisms

$$H_{dR}^i(X)\otimes\mathbb C\to H_{sing}^i(X)\otimes\mathbb C.$$

My intuition is we can not. Although we could still generated $\pi$ by $\mathbf{G}_m$ and the unit circle. However, it seems impossible to generate $\log(n)$ where we need the segment $[1,n]$ (a non-closed chain), whereas in the second one we can only use closed chains.

$\endgroup$
1
  • 2
    $\begingroup$ Kontsevich-Zagier discuss this in section 4.2 and conjecture (Problem 5) that $\log(2)$ has no such representation. Of course proving such a theorem is very difficult, roughly equivalent to the Hodge conjecture, but they propose working in the ring of formal periods, that is, the ring of formal integrals modulo elementary equivalence. $\endgroup$ Commented Nov 30, 2022 at 3:24

0

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.