Rational Stark conjecture for a character at s = 0

About 7 years old · traced to

Keep the setting and notation above for K/FK/F, SS, and vv. Let χ\chi be a character of Gal⁡(K/F)\operatorname{Gal}(K/F) such that ord⁡s=0(LS(χ,s))=1\operatorname{ord}_{s=0}(L_S(\chi,s))=1, and let kk be the field obtained by adjoining the values of χ\chi to Q\mathbb{Q}. Extend log⁡∣⋅∣v\log|\cdot|_v from Uv,SU_{v,S} to k⊗ZUv,Sk\otimes_{\mathbb{Z}}U_{v,S} by kk-linearity, and define

(k⊗ZUv,S)χ−1={u∈k⊗ZUv,S:σ(u)=χ−1(σ)u, ∀σ∈Gal⁡(K/F)}.(k\otimes_{\mathbb{Z}}U_{v,S})^{\chi^{-1}}=\{u\in k\otimes_{\mathbb{Z}}U_{v,S}:\sigma(u)=\chi^{-1}(\sigma)u,\ \forall\sigma\in\operatorname{Gal}(K/F)\}.

Rational Stark conjecture. There exists an element uχ∈(k⊗ZUv,S)χ−1u_\chi\in(k\otimes_{\mathbb{Z}}U_{v,S})^{\chi^{-1}} such that

LS′(χ,0)=log⁡∣uχ∣v.L'_S(\chi,0)=\log|u_\chi|_v.

This is the characterwise rational formulation of the rank one abelian Stark conjecture, obtained after restricting to a character whose LL-function has a simple zero at s=0s=0. The source gives no resolution beyond presenting it as a conjecture.

References

Primary source

Joseph Ferrara, “A p-adic Stark conjecture in the rank one setting”, arXiv:1904.10561 (2019).

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.