https://youtu.be/oiOpudgC0J4 New Technologies in Mathematics Seminar Speaker: Heather Macbeth, Fordham University Title: Approaches to the formalization of differential geometry Abstract: In the last five years, there has been early work on the computer formalization of differential geometry. I will survey the projects I am aware of. I will also describe two projects of my own, […]
CMSA Member Seminar Speaker: Iacopo Brivio (Harvard) Title: Anti-Iitaka conjecture in positive characteristic Abstract: Given a smooth projective variety, its Kodaira dimension kappa(K_X) is an important invariant that measures the rate of growth of m-pluricanonical forms as a function of m. It serves as an higher-dimensional generalization of the genus of a Riemann surface. If f : X […]
CMSA Member Seminar Speaker: Freid Tong (Harvard CMSA) Title: On complete Calabi-Yau metrics and Monge-Ampere equations Abstract: Calabi-Yau metrics are central objects in K\"ahler geometry and also string theory. The existence of Calabi-Yau metrics on compact manifolds was answered by Yau in his solution of the Calabi conjecture, but the situation in the non-compact setting is much more delicate, and many questions related to the existence […]
Arithmetic Quantum Field Theory Program Lecture Series Speaker: Minhyong Kim, University of Edinburgh Topic: Arithmetic topology and field theory Abstract: The setup of arithmetic topology as a bridge between the background of QFT to that of arithmetic (both “global” and “local”), including the “middle realm” of positive characteristic function fields. Slides (pdf)
Arithmetic Quantum Field Theory Program Lecture Series Speaker: Brian Williams, Boston University Topic: Algebraic quantum field theory Abstract: Questions and structures in arithmetic that have been / might be amenable to inspiration from QFT, in particular the theory of L-functions and the Langlands program.
Arithmetic Quantum Field Theory Program Lecture Series Speaker: David Ben-Zvi Topic: The Langlands program via arithmetic QFT Abstract: Structures in QFT (like factorization for observables and functorial QFT for states and their relation to geometric / deformation quantization) that are sufficiently algebraic and formal to allow for arithmetic analogs.
CMSA Q and A Seminar Speaker: Greg Moore, Rutgers University Question: What is supersymmetry?
Arithmetic Quantum Field Theory Program Lecture Series Speaker: Minhyong Kim, University of Edinburgh Topic: Arithmetic topology and field theory Abstract: The setup of arithmetic topology as a bridge between the background of QFT to that of arithmetic (both “global” and “local”), including the “middle realm” of positive characteristic function fields. Slides (pdf)
https://youtu.be/SPfLEZ-Ghio New Technologies in Mathematics Seminar Speaker: Jordan Ellenberg (UW Madison) Title: Large language models, mathematical discovery, and search in the space of strategies: an anecdote Abstract: I spent a portion of 2023 working with a team at DeepMind on the “cap set problem” – how large can a subset of (Z/3Z)^n be which contains no […]
Arithmetic Quantum Field Theory Program Lecture Series Speaker: Brian Williams, Boston University Topic: Algebraic quantum field theory Abstract: Questions and structures in arithmetic that have been / might be amenable to inspiration from QFT, in particular the theory of L-functions and the Langlands program.
Arithmetic Quantum Field Theory Program Lecture Series Speaker: Minhyong Kim, University of Edinburgh Topic: Arithmetic topology and field theory Abstract: The setup of arithmetic topology as a bridge between the background of QFT to that of arithmetic (both “global” and “local”), including the “middle realm” of positive characteristic function fields. Slides (pdf)
Arithmetic Quantum Field Theory Program Lecture Series Speaker: David Ben-Zvi Topic: The Langlands program via arithmetic QFT Abstract: Structures in QFT (like factorization for observables and functorial QFT for states and their relation to geometric / deformation quantization) that are sufficiently algebraic and formal to allow for arithmetic analogs.