Speaker: Xiao-Gang Wen (MIT) Title: A solution to the chiral fermion problem Abstract: Motivated by the relation between anomaly and topological/SPT order in one higher dimension, we propose a solution to the chiral fermion problem. In particular, we find several sufficient conditions, such that a chiral fermion field theory can be regularized by an interacting […]
Speaker: Yu-Shen Lin (Boston University) Title: Full SYZ Conjecture for del Pezzo Surfaces and Rational Elliptic Surfaces Abstract: Strominger-Yau-Zaslow conjecture predicts the existence of special Lagrangian fibrations on Calabi-Yau manifolds. The conjecture inspires the development of mirror symmetry while the original conjecture has little progress. In this talk, I will confirm the conjecture for the […]
Kenji Fukaya (Simons Center for Geometry and Physics) Title: Homological (homotopical) algebra and moduli spaces in Topological Field theories Abstract: Moduli spaces of various gauge theory equations and of various versions of (pseudo) holomorphic curve equations have played important role in geometry in these 40 years. Started with Floer’s work people start to obtain more […]
Speaker: Thomas Hales, Univ. of Pittsburgh Dept. of Mathematics Title: A Mathematical Language Abstract: A controlled natural language for mathematics is an artificial language that is designed in an explicit way with precise computer-readable syntax and semantics. It is based on a single natural language (which for us is English) and can be broadly […]
Speaker: Carlos S. Shahbazi (Hamburg University) Title: Mathematical supergravity and its applications to differential geometry Abstract: I will discuss the recent developments in the mathematical theory of supergravity that lay the mathematical foundations of the universal bosonic sector of four-dimensional ungauged supergravity and its Killing spinor equations in a differential-geometric framework. I will provide the […]
https://youtu.be/EXpmbAfBNnw Speaker: Jason Rute, CIBO Technologies Title: Neural Theorem Proving in Lean using Proof Artifact Co-training and Language Models Abstract: Labeled data for imitation learning of theorem proving in large libraries of formalized mathematics is scarce as such libraries require years of concentrated effort by human specialists to be built. This is particularly challenging when applying […]