Title: GIT versus Baily-Borel compactification for $K3$'s which are double covers of $\mathbb P^1\times\mathbb P^1$

Abstract: In previous work, we have introduced a program of studying the birational geometry of locally symmetric varieties of Type IV with the purpose of understanding the tautological models of the moduli space of polarized K3 surfaces. For instance, a concrete goal is to understand the relationship between GIT and Baily-Borel compactifications for quartic K3 surfaces. In our first paper (arXiv:1607.01324), based on arithmetic considerations, we have given a conjectural decomposition into simple birational transformations of the period map from the GIT of quartic surfaces to the corresponding Baily-Borel compactification. In our second paper (arXiv:1612.07432), we have given geometric content to this decomposition (parts of it still conjectural). Here, we close the loop and prove that the conjectures of our previous papers are completely accurate in the case of hyperelliptic quartic K3 surfaces. The main new tool here is VGIT for (2,4) complete intersection curves.