Reciprocity law I for pro-semisimple fundamental groups

Assume that dimX=1\dim X=1. Let PP be the weight group of ΔΠ^\Delta_{\hat\Pi}, let QPQ\subset P be the subgroup generated by the roots, and let uˉHom((P/Q)Gal(Q/Q),Q/Z)\bar u_\ell\in\operatorname{Hom}((P/Q)^{\operatorname{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})},\mathbb{Q}/\mathbb{Z}) and uˉHom((P/Q)Gal(Q/Q),Q/Z)\bar u_\infty\in\operatorname{Hom}((P/Q)^{\operatorname{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})},\mathbb{Q}/\mathbb{Z}) be the classes defined in the text. The sum uˉ\sum_\ell\bar u_\ell is well-defined because (uˉ,ω)=0(\bar u_\ell,\omega)=0 for almost all \ell for every ω(P/Q)Gal(Q/Q)\omega\in(P/Q)^{\operatorname{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})}. Reciprocity law I. One has

uˉ=uˉ.\sum\limits_\ell\bar u_\ell=\bar u_\infty.

This is presented as the first reciprocity law for curves and relates the local classes arising from the pro-semisimple fundamental group to the archimedean contribution; the supplied text gives no resolution status.

Sources & referencesView supporting material

Primary source

Vladimir Drinfeld, “On the pro-semisimple completion of the fundamental group of a smooth variety over a finite field”, arXiv:1509.06059 (2018).

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.