Kobayashi's signed Iwasawa main conjecture for supersingular modular forms

Suppose that $a_p(f)=0$ and $\psi=\mathbf{1}$. Let $\mathrm{Sel}^{\pm}(\mathbb{Q}_\infty,A_f(1))^\vee$ be the Pontryagin duals of the signed Selmer groups, let $L_p^{\mp}(\mathbb{Q}_\infty,f_\alpha)$ be the corresponding signed $p$-adic $L$-functions, and let $\Lambda=\mathbb{Z}_{f,\lambda}\llbracket\mathrm{Gal}(\mathbb{Q}_\infty/\mathbb{Q})\rrbracket$. Kobayashi's signed main conjecture. As ideals of $\Lambda$,

$$\left(L_p^{\mp}(\mathbb{Q}_\infty,f_\alpha)\right)=\operatorname{char}_{\Lambda}\left(\mathrm{Sel}^{\pm}(\mathbb{Q}_\infty,A_f(1))^\vee\right).$$

This is the plus/minus analogue of the Mazur–Greenberg main conjecture in the supersingular case, relating signed analytic functions to signed Selmer groups; the source gives no resolution of the equality.