I will overview some directions and recent progress in the study of groups definable in NIP structures (a common generalization of stable and o-minimal structures). This includes questions around external definability, connections to tame topological dynamics (e.g.~the revised Newelski's conjecture), and the study of the convolution semigroup of measures.
Angelegt am 15.05.2026 von Alexander Domke
Geändert am 08.06.2026 von Alexander Domke
[Edit | Vorlage]
Wilhelm Killing Kolloquium: Prof. Dr. Martin Bauer (Florida State University): A Tour of Infinite Dimensional Riemannian Geometries, Their Geodesics and Applications
Thursday, 11.06.2026 14:15 im Raum M4
Over the past decades, infinite-dimensional Riemannian geometry has developed into a vibrant area of research. Interest in the field has been driven by its emergence in a wide range of applications, notably in geometric data science, mathematical shape analysis, and geometric hydrodynamics. Although the fundamental definitions of Riemannian geometry extend almost effortlessly to infinite-dimensional spaces, many classical results from the finite-dimensional theory are known to fail in the infinite setting. In this talk, I will survey several phenomena unique to infinite dimensions and discuss conditions under which certain finite-dimensional properties can be partially recovered, including the non-degeneracy of the geodesic distance and Hopf-Rinow-type results. While the results will be illustrated using simple examples modeled on spaces of sequences, I will also discuss applications to the aforementioned areas of mathematical shape analysis and geometric hydrodynamics.
Angelegt am 14.04.2026 von Claudia Lückert
Geändert am 16.04.2026 von Claudia Lückert
[Edit | Vorlage]
Mittagsseminar zur Arithmetik: Alexandre Maksoud (MPIM Bonn): On the local geometry of the eigencurve near classical weight one points, and R=T theorems
Tuesday, 09.06.2026 10:15 im Raum SRZ 216/217
The study of p-adic deformations of automorphic forms was initiated by Hida in the 1980s, following his discovery of systematic congruences between the Fourier coefficients of modular forms. The eigencurve, introduced by Coleman and Mazur, offers a geometric framework for understanding these congruences, and has since become a central tool in tackling deep number-theoretic conjectures, such as the Birch and Swinnerton-Dyer conjecture.
At non-critical classical points of integer weight k>1, the eigencurve is known to be smooth, thanks to the classicality theorems of Hida and Coleman. In contrast, the structure of the eigencurve at weight k=1 is significantly more subtle and intricate.
In this talk, after reviewing the seminal work of Bellaïche and Dimitrov in the so-called p-regular case (i.e. when crystalline Frobenius does not act by a scalar), I will present joint work with Adel Betina and Alice Pozzi giving a complete description of the local geometry in the more delicate p-irregular case.
Time permitting, I will also discuss ongoing work comparing the completed local rings of the eigencurve at p-irregular weight one points with suitable Galois deformation rings.
Angelegt am 01.06.2026 von Heike Harenbrock
Geändert am 01.06.2026 von Heike Harenbrock
[Edit | Vorlage]
Andrei Konovalov: Algebraic K-theory of singular hypersurfaces. Oberseminar Topologie.
Monday, 08.06.2026 14:15 im Raum SRZ 216/217
Recent years have seen substantial progress in understanding algebraic K-theory of singular varieties. Still, computations of (higher) K-theory of singular varieties are quite rare, especially in dimension >1. In this talk, I will explain some techniques that allow one to perform computations in higher dimensions, with a particular focus on cubic surfaces and threefolds, where complete computations can be obtained in many cases.
Angelegt am 05.06.2026 von Elke Enning
Geändert am 05.06.2026 von Elke Enning
[Edit | Vorlage]
Paula Verdugo (MPIM Bonn): On the equivalence invariance of formal category theory. Oberseminar Topologie.
Monday, 15.06.2026 14:15 im Raum SRZ 216/217
Equipments, a special kind of double categories, have shown to be a powerful environment to express formal category theory. We build a model structure on the category of double categories and double functors whose fibrant objects are the equipments, and combine this together with Makkai?s early approach to equivalence invariant statements in higher category theory via FOLDS (First Order Logic with Dependent Sorts) and Henry?s recent connection between model structures and formal languages, to show a result on the equivalence invariance of formal category theory.
Angelegt am 13.04.2026 von Elke Enning
Geändert am 09.06.2026 von Elke Enning
[Edit | Vorlage]
Mittagsseminar zur Arithmetik: Claus Sorensen (San Diego): Derived variants of the Bernstein center mod p
Tuesday, 16.06.2026 10:15 im Raum SRZ 216/217
The Bernstein decomposition makes precise how the category of smooth complex representations of a p-adic reductive group G is built from supercuspidals. The center of the category factors accordingly and is largely well-understood. If one replaces the complex numbers by a coefficient field of characteristic p, the analogous category has strikingly different features. For one, the (Bernstein) center is rather small and often determined by the center of G. This was shown by Ardakov and Schneider for a general locally pro-p group G (under a mild hypothesis). In this talk, I will discuss the corresponding question in the derived setting.
I will present various results related to the graded center of the derived category of smooth mod p representations. The talk is based on joint work (in progress) with Peter Schneider.
Angelegt am 26.05.2026 von Heike Harenbrock
Geändert am 26.05.2026 von Heike Harenbrock
[Edit | Vorlage]