Arithmetic and Groups

© MM

Research Area A

Bays, Cuntz, Deninger, Hartl, Hellmann, Hille, Hils, Jahnke, Kwiatkoswka, Nikolaus, Scherotzke (until 2020), R. Schindler, Schlutzenberg, Schneider, Scholbach, Schürmann, Tent.

Research 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.

  • A1. Arithmetic, geometry and representations.

    The Langlands programme relates representations of (the adele valued points of) reductive groups G over Q - so-called automorphic representations - with certain representations of the absolute Galois group of Q. This programme includes the study of these objects over general global fields (finite extension of Q or Fp (t)) and local fields as well. In its local form the classical programme only considered l-adic Galois representations of p-adic fields for unequal primes l neq p. In order to allow for a p-adic variation of the objects, it is absolutely crucial to extend it to the case l = p. In the global situation, the automorphic representations in question can often be realised in (or studied via) the cohomology of a tower of Shimura varieties (or related moduli spaces) attached to the group G.

    We will focus on the following directions within this programme:
    The p-adic and mod p Langlands programme asks for an extension of such a correspondence involving certain continuous representations with p-adic respectively mod p coefficients. Broadening the perspective to p-adic automorphic forms should, for example, enable us to capture all Galois representations, not just those having a particular Hodge theoretic behaviour at primes dividing p. This extended programme requires the introduction of derived categories. We will study differential graded Hecke algebras and their derived categories on the reductive group side. On the Galois side, we hope to use derived versions of the moduli spaces of p-adic Galois representations introduced by Emerton and Gee.

    The geometric Langlands programme is a categorification of the Langlands programme. We plan to unify the different approaches using motivic methods.
    In another direction, we study the geometry and arithmetic of moduli stacks of global G-shtukas over function fields. Their cohomology has been the crucial tool to establish large parts of the local and global Langlands programme over function fields. Variants of G-shtukas are also used to construct and investigate families of p-adic Galois representations.

    Cohomology theories are a universal tool pervading large parts of algebraic and arithmetic geometry. We will develop and study cohomology theories, especially in mixed characteristic, that generalise and unify étale cohomology, crystalline cohomology and de Rham cohomology as well as Hochschild cohomology in the non-commutative setting. Developing (topological) cyclic homology in new contexts is an important aim. A main goal is to construct a cohomology theory that can serve the same purposes for arithmetic schemes as the l-adic or crystalline cohomology with their Frobenius actions for varieties over finite fields. Ideas from algebraic geometry, algebraic topology, operator algebras and analysis blend in these investigations.

  • A2. Groups, model theory and sets.

    Model theory and, more generally, mathematical logic as a whole has seen striking applications to arithmetic geometry, topological dynamics and group theory. Such applications as well as fundamental questions in geometric group theory, on the foundations of model theory and in set theory are at the focus of our work.
    The research in our group reaches from group theoretic questions to the model theory of groups and valued fields as well as set theory. The study of automorphism groups of first order structures as topological groups, for examples, uses tools from descriptive set theory leading to pure set theoretic questions.

Further research projects of Research Area A members