The completed finite period conjecture

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 infvp(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.

Sources & referencesView supporting material

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.