One of the main tool used there is the trace formula originating in Selberg's work and developed in the most general setting by James Arthur.
Одним из основных средств, используемых здесь, является формула следов, представленная в работе Селберга и развитая для более общих условий Джеймсом Артуром.