Equivariant Tamagawa number conjecture for motives

Let KK' be a finite extension of KK, let ε\varepsilon be an idempotent of A[GK]A[\mathcal{G}_{K'}], and let R\mathcal{R} be a Zp\mathbb{Z}_p-order in A[GK]εA[\mathcal{G}_{K'}]\varepsilon. Let CK,S(T)C_{K',S}(T) be the compactly supported cohomological complex, let L(MK/K,0)L^\ast(M_{K'/K}^\vee,0) be the leading term at s=0s=0 of the equivariant LL-function, and let

ϑM,K,SBK:CpZpdetA[GK](CK,S(T))(ACp[GK],0)\vartheta_{M,K',S}^{\rm BK}:\mathbb{C}_p\otimes_{\mathbb{Z}_p}\det_{\mathcal{A}[\mathcal{G}_{K'}]}(C_{K',S}(T))\simeq(A_{\mathbb{C}_p}[\mathcal{G}_{K'}],0)

be the canonical isomorphism. Equivariant Tamagawa number conjecture. In (ACp[GK]ε,0)(A_{\mathbb{C}_p}[\mathcal{G}_{K'}]\varepsilon,0), there is an equality of graded invertible R\mathcal{R}-modules

RϑM,K,SBK ⁣(detA[GK](CK,S(T)))=(RL(MK/K,0),0).\mathcal{R}\cdot\vartheta_{M,K',S}^{\rm BK}\!\left(\det_{\mathcal{A}[\mathcal{G}_{K'}]}(C_{K',S}(T))\right)=(\mathcal{R}\cdot L^\ast(M_{K'/K}^\vee,0),0).

This is the equivariant Tamagawa number conjecture for (MK,R)(M_{K'}^\vee,\mathcal{R}). The paper also notes that the construction of the isomorphism can depend on motivic-cohomology conjectures in general, although it is unconditional in the principal settings considered.

Sources & referencesView supporting material

Primary source

David Burns, Ryotaro Sakamoto and Takamichi Sano, “On the theory of higher rank Euler, Kolyvagin and Stark systems, III: applications”, arXiv:1902.07002 (2019).

Additional references

2 papers in this index state this conjecture (2011–2019). The statement above is taken from the most recent of them; the others are arXiv:1108.1062.

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.