Termine

Abstract

The seminar takes place online via Zoom. The Zoom links and announcements are sent out through our mailing list. You can find the link for the mailing list here: https://www.uni-muenster.de/MathematicsMuenster/ai-math/ Abstract: Mathematics is entering a period of remarkable promise and significant unease. AI systems are beginning to contribute to mathematical discovery, research-level reasoning, and formal verification, while also raising serious questions about reliability, attribution, access, education, and the future role of mathematicians. This talk surveys these developments through recent examples, including AI-guided search, advances in longstanding problems, and Lean formalization. The central theme is that AI is most powerful when it complements rather than replaces mathematical judgment: broadening discovery, accelerating exploration, and strengthening trust through machine-checkable proof.

Abstract: Embedding group rings into division rings provides methods for tackling problems which superficially seem unrelated. One way of constructing such embeddings (in characteristic 0) is by proving that they satisfy the Atiyah Conjecture. I will give a survey of the status of the Atiyah Conjecture, as well as applications to other problems, and discuss joint work with Sam Fisher on proving the conjecture for congruence subgroups of mapping class groups and outer automorphism groups of RAAGs.

Abstract: It is now well-known that two birationally equivalent hyperkähler manifolds must belong to the same deformation family, as complex manifolds. This property is known to fail for other classes of varieties with trivial first Chern class, such as Calabi?Yau threefolds. In this talk, I will report on joint work in progress with Isabel Stenger and Long Wang, where we investigate a rather dramatic failure of that property. I?ll introduce a specific Calabi?Yau threefold introduced by Schoen and studied by Namikawa and Grassi?Morrison in the early 90s. I will then recount how this threefold has many non-isomorphic birational models with interesting geometric features. At last, my goal is to explain how these birational geometric features can be used to distinguish between many deformation types.

Real rank was introduced by Brown and Pedersen in 1991 as a variant of stable rank, generalizing a characterization of covering dimension in terms of the instability of tuples of continuous functions. Nuclear dimension, introduced by Winter and Zacharias in 2010, generalizes a different characterization of covering dimension, based on the colorability of refinements of open covers. The two notions agree for commutative C*-algebras, where they coincide with the covering dimension of the spectrum, but differ already for homogeneous C*-algebras. In this talk, I will recall both notions of dimension, discuss examples illustrating their differences, and sketch the proof of the main result: the real rank of a C*-algebra is bounded above by its nuclear dimension.

A day for MM postdocs to prepare for the next step, exchange and connect with other postdocs on career-and maths-related matters.

(1) Research Statements and Proposals (with Eugen Hellmann and Angela Stevens) - A session on preparing a research statement for applications or proposals for grant applications or permanent positions: What is important, tips+tricks, which level of specificity is needed, ...

(2) Scientific Profile (with Shirly Geffen and Hendrik Weber) - A session on what is important in the postdoc profiling phase.

More information and registration in September....