Towards the Atiyah-Sutcliffe conjectures for coplanar hyperbolic points

The Atiyah-Sutcliffe normalized determinant function $D$ is a smooth complex-valued function on $C_n(H^3)$, where $C_n(H^3)$ denotes the configuration space of $n$ distinct points in hyperbolic $3$-space $H^3$. The hyperbolic version of the Atiyah-Sutcliffe conjecture $1$ (AS conjecture $1$) states that $D$ is nowhere vanishing. AS conjecture $2$ (hyperbolic version) is the stronger statement that $|D(\mathbf{x})| \geq 1$ for any $\mathbf{x} \in C_n(H^3)$. In this short article, we prove AS conjecture $2$ for hyperbolic convex coplanar quadrilaterals, that is for configurations of $4$ points in $H^2$ with none of the points in the configuration lying in the convex hull of the other three. We also obtain Y. Zhang and J. Ma's result, namely AS conjecture $1$ for non-convex quadrilaterals in $H^2$. Finally, we find an explicit lower bound for $|D|$ depending on $n$ only for the natural ``star-based'' variant of the AS problem, for convex coplanar hyperbolic configurations. The latter result holds for any $n \geq 2$. The proofs for $n=4$ make use of the symbolic library of Python. The proof of the general result follows from a general formula for the determinant. In all these cases, $D$ can be expanded as a linear combination of non-negative rational functions with positive coefficients.