On the mass of initial data with positive cosmological constant / Arithmetic is topology in disguise: Grothendieck's section conjecture