Формы Якоби, построенные по системам корней

Как известно, для каждой решётки с определённым на ней скалярным произведением можно определить понятие форм Якоби. В 1992 году К. Виртмюллер показал, что для решёток, построенных по классическим системам корней (кроме $E_8$), соответствующее пространство форм Якоби является свободной алгеброй над кольцом модулярных форм.
Однако доказательство К. Виртмюллера весьма громоздкое и, вероятно, может содержать некоторые пробелы. В своём докладе я расскажу о другом возможном подходе к доказательству этого результата, разобрав случаи систем корней $A_n$ и $B_n$.