Greatest common divisors near S-units, applications, and conjectures on arithmetic abelian surfaces