Equivariant Tamagawa number conjecture for motives

About 15 years old · traced to

Let K′K' 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:Cp⊗Zpdet⁡A[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 ⁣(det⁡A[GK′](CK′,S(T)))=(R⋅L∗(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.

References

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.