This roadmap surveys mathematical and scientific challenges for hypergraphs and simplicial complexes, including spectral theory, discrete topology, higher-order dynamics, and applications across complex systems.