Shimura showed that while initially defined analytically, they are arithmetic objects, in the sense that they admit models defined over a number field, the reflex field of the Shimura variety.
Шимура показал, что первоначально определённые аналитически, объекты являются арифметическими в том смысле, что они удовлетворяют моделям, определенным над числовым полем, полем отражения многообразия Шимуры.