Lagrangian Floer theory and Applications Program Dates: September 15–November 21, 2026 Location: CMSA G10, 20 Garden St., Cambridge MA 02138 This thematic program will focus on recent developments in Lagrangian Floer theory and applications. These include the development of family Floer theory, degeneration techniques, Floer homotopy theory in the Lagrangian case, Floer theory in prime […]
CMSA Special Seminar Speaker: Michael Brenner Title: A physical interpretation of recent singularity theorems Abstract: We present a physical interpretation of recent mathematical proofs (Córdoba and Martínez-Zoroa; Buckmaster and Apogee; OpenAI) for singularity formation in nonlinear partial differential equations with smooth forcing. In our formulation, singularity formation is driven by a forward in time process whereby […]
Colloquium Speaker: Subhabrata Sen, Harvard Statistics Title: Spectral Methods for signal recovery in multi-modal problems Abstract: Motivated by multi-modal estimation, we will study a multi-view spiked random matrix model in which several noisy matrix observations contain correlated spikes. We will introduce a new spectral method for signal recovery in this setting and characterize the behavior […]
Joint Math/CMSA Geometry and Quantum Theory Seminar Speaker: Ahsan Khan, HarvardCMSA Title: Markov processes and path integrals continued Abstract: I will continue the discussion of chapter two, in particular focusing on vacuum expectation values and reflection positivity.
CMSA Q&A Seminar Speaker: Shaoyun Bai, MIT Title: What is a virtual fundamental cycle? (ICM Series: On the work of John Pardon) Abstract: One of Pardon’s important contribution to symplectic topology is a new approach to constructing virtual fundamental cycles/chains for moduli spaces of pseudo-holomorphic maps. As a former PhD student of John, my own […]
Geometry and Mathematical Physics Seminar Speaker: John Alexander Cruz Morales, Universidad Nacional de Colombia
Member Seminar Speaker: Lorenzo Riva
AI for the Working Mathematician Speaker: Jordan Ellenberg, University of Wisconsin-Madison Title: Large Hypercubes Abstract: I'll talk about this paper: Bruhat intervals that are large hypercubes <arxiv.org/abs/2601.01235> in which we use a tool from Google, AlphaEvolve, to discover unexpected combinatorial structures inside the symmetric group (to be precise, a large hypercube in the Bruhat order.) I'll […]
Joint Math/CMSA Geometry and Quantum Theory Seminar
New Technologies in Mathematics Seminar Speaker: Tianyi Peng, Decision, Risk, and Operations Division, Columbia Business School Title: Prove2Me: Formalizing Fermat Last Theorem and Beyond Abstract: Proof assistants such as Lean 4 promise the paradigm of formally verified mathematics, but large-scale formalization projects have faced major barriers to entry, including the need for expertise in formal verification […]
AI for the Working Mathematician Speaker: Lauren Williams, Harvard Title: First Proof Batch 3: Mathematicians putting AI to the test Abstract: First Proof is an initiative that aims to obtain a nuanced, objective assessment about the capabilities of large language models to prove specified mathematical statements. I will report on the results of First Proof's third […]
Geometry and Mathematical Physics Seminar Speaker: Spiro Karigiannis, University of Waterloo