Yamazaki's generalized Birch–Tate conjecture for tori

Let KK be a totally real number field and let TT be a torus over KK that is split by a totally real field. Let X(T)=Hom(Gm,T)X(T)=\operatorname{Hom}(\mathbb{G}_m,T) be the cocharacter group, let LK(X(T),s)L_K(X(T),s) be the Artin LL-function attached to the resulting finite-image representation of the absolute Galois group of KK, let WT(K)=H0(K,X(T)Q/Z(2))W^T(K)=H^0(K,X(T)\otimes\mathbb{Q}/\mathbb{Z}(2)), and let KT(OK)K^T(O_K) be the subgroup of Somekawa's Milnor KK-group KT(K)=K(K;T,Gm)K^T(K)=K(K;T,\mathbb{G}_m) defined in the source. Generalized Birch–Tate conjecture. The equality

LK(X(T),1)=KT(OK)WT(K)|L_K(X(T),-1)|=\frac{|K^T(O_K)|}{|W^T(K)|}

should hold. This generalizes the classical Birch–Tate conjecture, since for T=GmT=\mathbb{G}_m the three terms specialize to the Dedekind zeta function, W2(K)W_2(K), and K2(OK)K_2(O_K), respectively. The paper states that it proves the conjecture for a certain class of tori.

Sources & referencesView supporting material

Primary source

Takao Yamazaki, “Milnor K-group attached to a torus and Birch-Tate conjecture”, arXiv:0804.3260 (2008).

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.