A general principle, discovered by Robert Langlands and named by him the "functoriality principle," predicts relations between automorphic forms on arithmetic subgroups of different reductive groups. Langlands functoriality relates the eigenvalues of Hecke operators acting on the automorphic forms on two groups (or the local factors of the "automorphic representations" generated by them). In the few instances where such relations have been probed,...