«Shimura Varieties» utgjør det andre bindet i en serie som hovedsakelig inneholder ekspositoriske artikler om den aritmetiske teorien for automorfe former. Dette bindet følger opp «On the Stabilization of the Trace Formula», som ble utgitt i 2011. Bøkene henvender seg primært til to grupper lesere: de som er interessert i strukturen til automorfe former på reduserbare grupper over tallfelter, med særlig fokus på kvalitativ informasjon om multiplikiteter av automorfe representasjoner; samt de som er opptatt av klassifisering av I-adiske representasjoner av Galois-grupper til tallfelter. Langlands' konjekturer utforsker ideen om at disse to problemene i stor grad overlapper. Disse volumene presenterer overbevisende bevis som støtter denne ideen, formulert på en klar og kortfattet måte, slik at leserne enkelt kan navigere mellom de to perspektivene. Med mer enn tiårs fremgang mot stabiliseringen av Arthur-Selberg sporfomel, kulminert i Ngô Bảo Châu's bevis av den Fundamentale Lemma, er denne serien svært aktuell.