Проект направлен на изучение инвариантов арифметических многообразий, что тесно связано с многими актуальнейшими вопросами современной теории чисел и алгебраической геометрии. Будут рассмотрены, в частности, формальные группы, их классификация и их множества деформаций, а также мотивы (которые дают явное описание универсальных когомологических инвариантов многообразий или схем конечного типа над данной базой, в т.ч. - арифметических схем). Полученные когомологические результаты будут связаны с арифметикой многообразий.