The completed finite period conjecture

About 9 years old · traced to

Let \cA:=\cH/ζ\fm(2)\cH\cA:=\cH/\zeta^{\fm}(2)\cH, where \cH\cH is the ring of motivic multiple zeta values, and let \cA((T))\cA((T)) be the ring of formal Laurent series over \cA\cA. Let

Filn\cA((T))=Tn\cA[[T]].\mathrm{Fil}^n\cA((T))=T^n\cA[[T]].

Let Qp→∞\mathbb{Q}_{p\to\infty} be the quotient of families (ap)∈∏pQp(a_p)\in\prod_p\mathbb{Q}_p with valuations bounded below by families whose valuations tend to infinity, with filtration

FilnQp→∞={(ap):lim inf⁡vp(ap)≥n}.\mathrm{Fil}^n\mathbb{Q}_{p\to\infty}=\{(a_p):\liminf v_p(a_p)\geq n\}.

The completed finite period map is the continuous ring homomorphism

per^:\cA((T))→Qp→∞.\widehat{per}:\cA((T))\to\mathbb{Q}_{p\to\infty}.

Period conjecture. For every integer nn,

per^−1(FilnQp→∞)=Filn\cA((T)).\widehat{per}^{-1}(\mathrm{Fil}^n\mathbb{Q}_{p\to\infty})=\mathrm{Fil}^n\cA((T)).

In particular, per^\widehat{per} is injective. This is an analogue of the Grothendieck period conjecture: it asserts that the completed finite period map detects exactly the filtrations on its source and target. The paper presents it as an expectation, and no resolution is supplied.

References

Primary source

Julian Rosen, “The completed finite period map and Galois theory of supercongruences”, arXiv:1703.04248 (2017).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.