A surface and a threefold with equivalent singularity categories
Friday, 11.6.21, 10:30-11:30, virtueller Raum Lasker
Liquid Tensor Experiment -- a Progress Report
Thursday, 17.6.21, 14:15-15:15, online: vGK1821
In December 2020, Peter Scholze posed a challenge to formally verify\nthe main theorem on liquid R-vector spaces,\nwhich is part of his joint work with Dustin Clausen on condensed\nmathematics.\nI took up this challenge with a team of mathematicians\nto verify the theorem in the Lean proof assistant.\nHalf a year later, we have finished the main technical ingredient of\nthis challenge. In this talk I will report on the progress we've made\nand what remains to be done and discuss our experience formalizing\ncutting edge research. No prior knowledge of Lean or liquid mathematics\nis assumed.
On the Boucksom-Zariski decomposition for irreducible symplectic varieties and bounded negativity
Friday, 25.6.21, 11:00-12:00, virtueller Raum Lasker