Reciprocity law I for pro-semisimple fundamental groups

At least 10 years old · documented by

Assume that dim⁡X=1\dim X=1. Let PP be the weight group of ΔΠ^\Delta_{\hat\Pi}, let Q⊂PQ\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.

References

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.