Finiteness conjecture for Bloch–Kato Shafarevich–Tate groups
Let KKK be a number field and let ШBK(K,M)=⨁pШpBK(K,M)\text{Ш}^{\operatorname{BK}}(K,\mathcal{M})=\bigoplus_p\text{Ш}_p^{\operatorname{BK}}(K,\mathcal{M})ШBK(K,M)=⨁pШpBK(K,M) be the Bloch–Kato Shafarevich–Tate group of…