Langlands Program
Definition
A web of conjectures and theorems proposing deep correspondences between Galois representations and automorphic representations, organized around L‑functions, reciprocity, and functoriality for reductive groups over local and global fields.