Work on the quest for a good homotopy type for the section conjecture, over global fields?
nLab page on Ambrus homotopy types