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

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