Аннотация:
Задача о плотнейшей упаковке сфер – это многомерное обобщение знаменитой гипотезы Кеплера. В 2016 году М. Вязовской удалось полностью решить эту задачу в размерностях 8 и 24, где плотнейшие упаковки соответствуют решетке E_8 и решетке Лича соответственно. В докладе мы обсудим доказательство результата Вязовской, неожиданным образом опирающееся на некоторые свойства автоморфных форм.