Empezó entonces a trabajar en análogos geométricos de teoría de campos de clase y en geometría diofantina y teoría trascendente.