The syntomic regulator formula for discrete valuation subfields

About 25 years old · traced to

Let K⊂CpK\subset\mathbb C_p be a discrete valuation subfield, meaning that its valuation is induced from the valuation on Cp\mathbb C_p, and let RR be the valuation ring of KK. Assume the Beilinson–Soulé conjecture holds in characteristic zero when n≥3n\geq 3. Let M~n(K)\widetilde{\mathcal M}_n(K) be the complex whose cohomology maps to K2n−1(n)(K)K_{2n-1}^{(n)}(K), and identify K2n−1(n)(K)≅K2n−1(n)(R)K_{2n-1}^{(n)}(K)\cong K_{2n-1}^{(n)}(R). Regulator formula conjecture. For all n≥2n\geq 2, the regulator map

H1(M~n(K))⟶K2n−1(n)(K)≅K2n−1(n)(R)⟶KH^1(\widetilde{\mathcal M}_n(K))\longrightarrow K_{2n-1}^{(n)}(K)\cong K_{2n-1}^{(n)}(R)\longrightarrow K

is given by the same formula as before: it maps {x}n\{x\}_n to ±(n−1)! Li⁡n(x)\pm (n-1)!\,\operatorname{Li}_n(x). This would extend the explicit cyclotomic regulator formula to arbitrary discrete valuation subfields of Cp\mathbb C_p; the source states the claim conditionally on the Beilinson–Soulé conjecture but gives no evidence of a proof or disproof.

References

Primary source

Amnon Besser and Rob de Jeu, “The syntomic regulator for K-theory of fields”, arXiv:math/0110334 (2001).

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.