1: \begin{abstract}

2: We prove the two-variable anticyclotomic Iwasawa main conjecture for Hida families and discuss its arithmetic application to a definite version of the horizontal non-vanishing conjecture, which is formulated in \cite{LV-MM}.

3: Our approach is based on the two-variable anticyclotomic control theorem for Selmer groups and

4:  the relation between the two-variable anticyclotomic $L$-function for Hida families built out of $p$-adic families of Gross points on definite Shimura curves studied in \cite{CL} and \cite{CKL} and the self-dual twist of the specialisation to the anticyclotomic line of the three-variable $p$-adic $L$-function of Skinner--Urban \cite{SU}. 

5: \end{abstract}

6: