# Arithmetic and Groups (Area A)

Area A will focus on problems of algebraic nature with methods ranging from representation and cohomology theory to model theory and mathematical logic. The p-adic and characteristic p Langlands correspondences that relate arithmetic invariants with automorphic representations are major research topics. We also aim at developing new powerful cohomology theories in algebra and arithmetic geometry. One of the long-term goals is to understand Hasse-Weil zeta functions cohomologically.

In group theory, we plan to develop new techniques for small cancellation theory in order to construct sharply 2-transitive groups in sufficiently large finite characteristic. On the model theoretic side, the focus will be on understanding and classifying NIP groups and fields as well as on classifying and constructing ample strongly minimal structures. In set theory and descriptive set theory, we will be studying Varsovian models as well as Polish group actions.