In the **Spring 2020 and Fall 2020 semesters**, the CMSA will be hosting a lecture series on literature in the mathematical sciences, with a focus on significant developments in mathematics that have influenced the discipline, and the lifetime accomplishments of significant scholars. Talks will take place throughout the semester. All talks will take place virtually. You must register to attend. Recordings will be posted to this page.

Written articles will accompany each lecture in this series and be available as part of the publication** “The Literature and History of Mathematical Science“**

**Please note: registration for the November 2020 Talks is now open! **

Camillo De Lellis (IAS)Title: Area-minimizing integral currents and their regularityAbstract: Caccioppoli sets and integral currents (their generalization in higher codimension) were introduced in the late fifties and early sixties to give a general geometric approach to the existence of area-minimizing oriented surfaces spanning a given contour. These concepts started a whole new subject which has had tremendous impacts in several areas of mathematics: superficially through direct applications of the main theorems, but more deeply because of the techniques which have been invented to deal with related analytical and geometrical challenges. In this lecture I will review the basic concepts, the related existence theory of solutions of the Plateau problem, and what is known about their regularity. I will also touch upon several fundamental open problems which still defy our understanding. Abstract PDF | VideoTalk Chair: William Minicozzi |

William Casselman (University of British Columbia)Title: The origins of Langlands’ conjecturesAbstract: Langlands has made many contributions to number theory, but the principal one is probably his discovery in 1966–67, followed by work in subsequent years, of the role of the dual group in the theories of automorphic forms and L-functions. In order to try to understand what this amounted to, I will trace the origins of this development through work of Ramanujan, Hecke, Siegel, Maass, Selberg, and other mathematicians of the twentieth century.Slides | VideoTalk chair: Wilfried Schmid |

Harry Shum (Tsinghua University)Title: From Deep Learning to Deep UnderstandingAbstract: In this talk I will discuss a couple of research directions for robust AI beyond deep neural networks. The first is the need to understand what we are learning, by shifting the focus from targeting effects to understanding causes. The second is the need for a hybrid neural/symbolic approach that leverages both commonsense knowledge and massive amount of data. Specifically, as an example, I will present some latest work at Microsoft Research on building a pre-trained grounded text generator for task-oriented dialog. It is a hybrid architecture that employs a large-scale Transformer-based deep learning model, and symbol manipulation modules such as business databases, knowledge graphs and commonsense rules. Unlike GPT or similar language models learnt from data, it is a multi-turn decision making system which takes user input, updates the belief state, retrieved from the database via symbolic reasoning, and decides how to complete the task with grounded response.VideoTalk chair: Shing-Tung Yau |

Michael Freedman (Microsoft – Station Q)Title: A personal story of the 4D Poincare conjectureAbstract: The proof of PC4 involved the convergence of several historical streams. To get started: high dimensional manifold topology (Smale), a new idea on how to study 4-manifolds (Casson), wild “Texas” topology (Bing). Once inside the proof: there are three submodules: Casson towers come to life (in the sense of reproduction), a very intricate explicit shrinking argument (provided by Edwards), and the “blind fold” shrinking argument (which in retrospect is in the linage of Brown’s proof of the Schoenflies theorem). Beyond those mentioned: Kirby, Cannon, Ancel, Quinn, and Starbird helped me understand my proof. I will discuss the main points and how they fit together. VideoTalk Chair: Peter Kronheimer |

Claire Voisin (Collège de France)Title: Hodge structures and the topology of algebraic varietiesAbstract: We review the major progress made since the 50’s in our understanding of the topology of complex algebraic varieties. Most of the results we will discuss rely on Hodge theory, which has some analytic aspects giving the Hodge and Lefschetz decompositions, and the Hodge-Riemann relations. We will see that a crucial ingredient, the existence of a polarization, is missing in the general Kaehler context.We will also discuss some results and problems related to algebraic cycles and motives. Video | SlidesTalk chair: Joe Harris |

Ralph Cohen (Stanford University)Title: Immersions of manifolds and homotopy theoryAbstract: The interface between the study of the topology of differentiable manifolds and algebraic topology has been one of the richest areas of work in topology since the 1950’s. In this talk I will focus on one aspect of that interface: the problem of studying embeddings and immersions of manifolds using homotopy theoretic techniques. I will discuss the history of this problem, going back to the pioneering work of Whitney, Thom, Pontrjagin, Wu, Smale, Hirsch, and others. I will discuss the historical applications of this homotopy theoretic perspective, going back to Smale’s eversion of the 2-sphere in 3-space. I will then focus on the problems of finding the smallest dimension Euclidean space into which every n-manifold embeds or immerses. The embedding question is still very much unsolved, and the immersion question was solved in the 1980’s. I will discuss the homotopy theoretic techniques involved in the solution of this problem, and contributions in the 60’s, 70’s and 80’s of Massey, Brown, Peterson, and myself. I will also discuss questions regarding the best embedding and immersion dimensions of specific manifolds, such has projective spaces. Finally, I will end by discussing more modern approaches to studying spaces of embeddings due to Goodwillie, Weiss, and others. This talk will be geared toward a general mathematical audience.Video | Abstract PDF Talk chair: Michael Hopkins |

Vyacheslav V. Shokurov (Johns Hopkins University)Title: Birational geometryAbstract: About main achievements in birational geometry during the last fifty years.VideoTalk chair: Caucher Birkar |

Yujiro Kawamata (University of Tokyo)Title: Kunihiko Kodaira and complex manifoldsAbstract: Kodaira’s motivation was to generalize the theory of Riemann surfaces in Weyl’s book to higher dimensions. After quickly recalling the chronology of Kodaira, I will review some of Kodaira’s works in three sections on topics of harmonic analysis, deformation theory and compact complex surfaces. Each topic corresponds to a volume of Kodaira’s collected works in three volumes, of which I will cover only tiny parts.VideoTalk chair: Baohua Fu |

Edward Witten (IAS)Title: Knot Invariants From Gauge Theory in Three, Four, and Five DimensionsAbstract: I will explain connections between a sequence of theories in two, three, four, and five dimensions and describe how these theories are related to the Jones polynomial of a knot and its categorification.VideoTalk chair: Cliff Taubes |

Andrei Okounkov (Columbia University)Title: Classical and quantum integrable systems in enumerative geometryAbstract: For more than a quarter of a century, thanks to the ideas and questions originating in modern high energy physics, there has been a very fruitful interplay between enumerative geometry and integrable system, both classical and quantum. While it impossible to summarize even the most important aspects of this interplay in one talk, I will try to highlight a few logical points with the goal to explain the place and the role of certain more recent developments.VideoTalk chair: Cumrun Vafa |

Caucher Birkar (University of Cambridge)Title: Log Calabi-Yau fibrationsAbstract: Fano and Calabi-Yau varieties play a fundamental role in algebraic geometry, differential geometry, arithmetic geometry, mathematical physics, etc. The notion of log Calabi-Yau fibration unifies Fano and Calabi-Yau varieties, their fibrations, as well as their local birational counterparts such as flips and singularities. Such fibrations can be examined from many different perspectives. The purpose of this talk is to introduce the theory of log Calabi-Yau fibrations, to remind some known results, and to state some open problems. Video |

Yuri Manin (Max Planck Institute for Mathematics)Title: Homotopy spectra and Diophantine equationsAbstract: For a long stretch of time in the history of mathematics, Number Theory and Topology formed vast, but disjoint domains of mathematical knowledge.Origins of number theory can be traced back to the Babylonian clay tablet Plimpton 322 (about 1800 BC) that contained a list of integer solutions of the “Diophantine” equation $a^2+b^2=c^2$: archetypal theme of number theory, named after Diophantus of Alexandria (about 250 BC). Topology was born much later, but arguably, its cousin — modern measure theory, — goes back to Archimedes, author of Psammites (“Sand Reckoner”), who was approximately a contemporary of Diophantus. In modern language, Archimedes measures the volume of observable universe by counting the number of small grains of sand necessary to fill this volume. Of course, many qualitative geometric models and quantitative estimates of the relevant distances precede his calculations. Moreover, since the estimated numbers of grains of sands are quite large (about $10^{64}$), Archimedes had to invent and describe a system of notation for large numbers going far outside the possibilities of any of the standard ancient systems. The construction of the first bridge between number theory and topology was accomplished only about fifty years ago: it is the theory of spectra in stable homotopy theory. In particular, it connects $Z$, the initial object in the theory of commutative rings, with the sphere spectrum $S$. This connection poses the challenge: discover a new information in number theory using the developed independently machinery of homotopy theory. In this this talk based upon the authors’ (Yu. Manin and M. Marcolli) joint research project, I suggest to apply homotopy spectra to the problem of distribution of rational points upon algebraic manifolds SlidesTalk chair: Michael Hopkins |

Alain Connes (Collège de France)Title: Noncommutative Geometry, the Spectral AspectAbstract: This talk will be a survey of the spectral side of noncommutative geometry, presenting the new paradigm of spectral triples and showing its relevance for the fine structure of space-time, its large scale structure and also in number theory in connection with the zeros of the Riemann zeta function.Talk chair: Peter Kronheimer |

Zhengwei Liu (Tsinghua University)Title: Subfactors–in Memory of Vaughan JonesAbstract: Jones initiated modern subfactor theory in early 1980s and investigated this area for his whole academic life. Subfactor theory has both deep and broad connections with various areas in mathematics and physics. One well-known peak in the development of subfactor theory is the discovery of the Jones polynomial, for which Jones won the Fields Metal in 1990. Let us travel back to the dark room at the beginning of the story, to appreciate how radically our viewpoint has changed.SlidesTalk chair: Arthur Jaffe |

Eduard Jacob Neven Looijenga (Tsinghua University & Utrecht University)Title: Theorems of Torelli typeAbstract: Given a closed manifold of even dimension 2n, then Hodge showed around 1950 that a kählerian complex structure on that manifold determines a decomposition of its complex cohomology. This decomposition, which can potentially vary continuously with the complex structure, extracts from a non-linear given, linear data. It can contain a lot of information. When there is essentially no loss of data in this process, we say that the Torelli theorem holds. We review the underlying theory and then survey some cases where this is the case. This will include the classical case n=1, but the emphasis will be on K3 manifolds (n=2) and more generally, on hyperkählerian manifolds. These cases stand out, since one can then also tell which decompositions occur.Talk chair: Gerard van der GeerGerard van der Geer Registration is now open. |

Arthur Jaffe (Harvard University)Title: Is relativity compatible with quantum theory?Abstract: We review the background, mathematical progress, and open questions in the effort to determine whether one can combine quantum mechanics, special relativity, and interaction together into one mathematical theory. This field of mathematics is known as “constructive quantum field theory.” Physicists believe that such a theory describes experimental measurements made over a 70 year period and now refined to 13-decimal-point precision—the most accurate experiments ever performed.Talk chair: Zhengwei LiuRegistration is now open. |

Nigel Hitchin (University of Oxford)Title: Michael Atiyah: Geometry and PhysicsAbstract: In mid career, as an internationally renowned mathematician, Michael Atiyah discovered that some problems in physics responded to current work in algebraic geometry and this set him on a path to develop an active interface between mathematics and physics which was formative in the links which are so active today. The talk will focus, in a fairly basic fashion, on some examples of this interaction, which involved both applying physical ideas to solve mathematical problems and introducing mathematical ideas to physicists.Talk chair: Peter KronheimerRegistration is now open. |

Dan Spielman (Yale University)Title: TBARegistration is now open. |

Shing-Tung Yau (Harvard) Title: Shiing-Shen Chern as a Great Geometer of 20th Century Video | Slides | Article |

Donald Rubin (Harvard)Title: Why do some universities have separate departments of statistics? And are they all anachronisms, destined to follow the path of other dinosaurs? Video | Slides |

Joe Harris (Harvard)Title: Rationality questions in algebraic geometryAbstract: Over the course of the history of algebraic geometry, rationality questions — motivated by both geometric and arithmetic problems — have often driven the subject forward. The rationality or irrationality of cubic hypersurfaces in particular have led to the development of abelian integrals (dimension one), birational geometry (dimension two) and Hodge theory (dimension 3). But there remained much we didn’t understand about the condition of rationality, such as how it behaves in families. However, there has been recent progress: work of Hassett, Tschinkel, Pirutka and others, working with examples in dimension 4, showed that it is in general neither an open condition nor a closed one, but does behave well with respect to specialization. In this talk I’ll try to give an overview of the history of rationality and the current state of our knowledge. Video |

Simon Donaldson (Stony Brook)Title: The ADHM construction of Yang-Mills instantonsAbstract: In 1978 (Physics Letters 65A) Atiyah, Hitchin, Drinfeld and Manin (ADHM) described a construction of the general solution of the Yang-Mills instanton equations over the 4-sphere using linear algebra. This was a major landmark in the modern interaction between geometry and physics, and the construction has been the scene for much research activity up to the present day. In this lecture we will review the background and the original ADHM proof, using Penrose’s twistor theory and results on algebraic vector bundles over projective 3-space. As time permits, we will also discuss some further developments, for example the work of Nahm on monopoles and connections to Mukai duality for bundles over complex tori.Video | Slides |

Lydia Bieri (University of Michigan)Title: Black Hole FormationAbstract: Can black holes form through the focusing of gravitational waves? This was an outstanding question since the early days of general relativity. In his breakthrough result of 2008, Demetrios Chrstodoulou answered this question with “Yes!” In order to investigate this result, we will delve deeper into the dynamical mathematical structures of the Einstein equations. Black holes are related to the presence of trapped surfaces in the spacetime manifold. Christodoulou proved that in the regime of pure general relativity and for arbitrarily dispersed initial data, trapped surfaces form through the focusing of gravitational waves provided the incoming energy is large enough in a precisely defined way. The proof combines new ideas from geometric analysis and nonlinear partial differential equations as well as it introduces new methods to solve large data problems. These methods have many applications beyond general relativity. D. Christodoulou’s result was generalized in various directions by many authors. It launched mathematical activities going into multiple fields in mathematics and physics. In this talk, we will discuss the mathematical framework of the above question. Then we will outline the main ideas of Christodoulou’s result and its generalizations, show relations to other questions and give an overview of implications in other fields. Video |

Pavel Etingof (MIT)Title: Quantum GroupsAbstract: The theory of quantum groups developed in mid 1980s from attempts to construct and understand solutions of the quantum Yang-Baxter equation, an important equation arising in quantum field theory and statistical mechanics. Since then, it has grown into a vast subject with profound connections to many areas of mathematics, such as representation theory, the Langlands program, low-dimensional topology, category theory, enumerative geometry, quantum computation, algebraic combinatorics, conformal field theory, integrable systems, integrable probability, and others. I will review some of the main ideas and examples of quantum groups and try to briefly describe some of the applications. Video | Slides |

Robert Griess (University of Michigan)Title: My life and times with the sporadic simple groupsAbstract: Five sporadic simple groups were proposed in 19th century and 21 additional ones arose during the period 1965-1975. There were many discussions about the nature of finite simple groups and how sporadic groups are placed in mathematics. While in mathematics grad school at University of Chicago, I became fascinated with the unfolding story of sporadic simple groups. It involved theory, detective work and experiments. During this lecture, I will describe some of the people, important ideas and evolution of thinking about sporadic simple groups. Most should be accessible to a general mathematical audience.Video | Slides |

Ciprian Manolescu (Stanford)Title: Four-dimensional topologyAbstract: I will outline the history of four-dimensional topology. Some major events were the work of Donaldson and Freedman from 1982, and the introduction of the Seiberg-Witten equations in 1994. I will discuss these, and then move on to what has been done in the last 20 years, when the focus shifted to four-manifolds with boundary and cobordisms. Floer homology has led to numerous applications, and recently there have also been a few novel results (and proofs of old results) using Khovanov homology. The talk will be accessible to a general mathematical audience.Video |

Bong Lian (Brandeis)Title: From string theory and Moonshine to vertex algebrasAbstract: This is a brief survey of the early historical development of vertex algebras, beginning in the seventies from Physics and Representation Theory. We shall also discuss some of the ideas that led to various early formulations of the theory’s foundation, and their relationships, as well as some of the subsequent and recent developments. The lecture is aimed for a general audience.Slides | Video |