2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/219413This is an expository article on the theory of formal group laws in homotopy theory, with the goal of leading to the connection with higher-dimensional abelian varieties and automorphic forms. These are roughly based on a talk at the conference "New Topological Contexts for Galois Theory and Algebraic Geometry."36 pages, minor corrections, repaired errors in final formulasAlgebraic Topology55N20text