In this presentation, we will first explore a naive version of Langland's program. Following this discussion, we will introduce the embedding Galois problems of Herbrand-Ribet type. This leads to a computational project aimed at tagging normal number fields in the LMFDB database with a modular mark. We will illustrate this initiative with two detailed examples.
No files available for download