The rationality conjecture for equivariant Artin L-function leading terms

From papers

Let F/FF'/F be the finite extension and let GF/FG_{F'/F} be its Galois group. For the Tate motive Q(m)F/F\mathbb{Q}(m)_{F'/F}, let L(Q(m)F/F)L^*(\mathbb{Q}(m)_{F'/F}) be its equivariant Artin LL-function leading term, let λZ(Q[GF/F])×\lambda\in Z(\mathbb{Q}[G_{F'/F}])^{\times} be such that λL(Q(m)F/F)\lambda L^*(\mathbb{Q}(m)_{F'/F}) lies in the image of the reduced norm, and let \partial be the connecting homomorphism in the localization sequence for Q[GF/F]R[GF/F]\mathbb{Q}[G_{F'/F}]\to\mathbb{R}[G_{F'/F}]. Rationality conjecture. In K0(Q[GF/F],R[GF/F])K_0(\mathbb{Q}[G_{F'/F}],\mathbb{R}[G_{F'/F}]),

(nrdR[GF/F]1(λL(Q(m)F/F)))+[Ξ(Q(m)F/F),ϑ]=0.\partial\left(\operatorname{nrd}_{\mathbb{R}[G_{F'/F}]}^{-1}\left(\lambda L^*(\mathbb{Q}(m)_{F'/F})\right)\right)+[\Xi(\mathbb{Q}(m)_{F'/F}),\vartheta_{\infty}]=0.

This is identified with the corresponding formulation in the relative Grothendieck group via the canonical isomorphism. For negative mm, the conjecture is stated to be equivalent to Gross's central conjecture, but its general status is not specified in the supplied text.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Takashi Hara, “Inductive construction of the p-adic zeta functions for non-commutative p-extensions of totally real fields with exponent p”, arXiv:0908.2178 (2010).

Solutions 0

No solutions have been posted yet.