
Derived Algebraic Geometry
Organizers: Julie Bergner (University of Virginia), LEAD Bhargav Bhatt (University of Michigan), Dennis Gaitsgory (Harvard University), David Nadler (University of California, Berkeley), Nikita Rozenblyum (University of Chicago), Peter Scholze (Universität Bonn), Gabriele Vezzosi (Università di Firenze)Derived algebraic geometry is an extension of algebraic geometry that provides a convenient framework for directly treating nongeneric geometric situations (such as nontransverse intersections in intersection theory), in lieu of the more traditional perturbative approaches (such as the “moving” lemma). This direct approach, in addition to being conceptually satisfying, has the distinct advantage of preserving the symmetries of the situation, which makes it much more applicable. In particular, in recent years, such techniques have found applications in diverse areas of mathematics, ranging from arithmetic geometry, mathematical physics, geometric representation theory, and homotopy theory. This semester long program will be dedicated to exploring these directions further, and finding new connections.
Updated on Jan 02, 2019 03:00 PM PST 
Birational Geometry and Moduli Spaces
Organizers: Antonella Grassi (University of Pennsylvania), LEAD Christopher Hacon (University of Utah), Sándor Kovács (University of Washington), Mircea Mustaţă (University of Michigan), Martin Olsson (University of California, Berkeley)Birational Geometry and Moduli Spaces are two important areas of Algebraic Geometry that have recently witnessed a flurry of activity and substantial progress on many fundamental open questions. In this program we aim to bring together key researchers in these and related areas to highlight the recent exciting progress and to explore future avenues of research.This program will focus on the following themes: Geometry and Derived Categories, Birational Algebraic Geometry, Moduli Spaces of Stable Varieties, Geometry in Characteristic p>0, and Applications of Algebraic Geometry: Elliptic Fibrations of CalabiYau Varieties in Geometry, Arithmetic and the Physics of String TheoryUpdated on Jan 31, 2017 07:46 PM PST 
Holomorphic Differentials in Mathematics and Physics
Organizers: LEAD Jayadev Athreya (University of Washington), Steven Bradlow (University of Illinois at UrbanaChampaign), Sergei Gukov (California Institute of Technology), Andrew Neitzke (University of Texas, Austin), Anna Wienhard (RuprechtKarlsUniversität Heidelberg), Anton Zorich (Institut de Mathematiques de Jussieu)Holomorphic differentials on Riemann surfaces have long held a distinguished place in low dimensional geometry, dynamics and representation theory. Recently it has become apparent that they constitute a common feature of several other highly active areas of current research in mathematics and also at the interface with physics. In some cases the areas themselves (such as stability conditions on Fukayatype categories, links to quantum integrable systems, or the physically derived construction of socalled spectral networks) are new, while in others the novelty lies more in the role of the holomorphic differentials (for example in the study of billiards in polygons, special  Hitchin or higher Teichmuller  components of representation varieties, asymptotic properties of Higgs bundle moduli spaces, or in new interactions with algebraic geometry).
It is remarkable how widely scattered are the motivating questions in these areas, and how diverse are the backgrounds of the researchers pursuing them. Bringing together experts in this wide variety of fields to explore common interests and discover unexpected connections is the main goal of our program. Our program will be of interest to those working in many different elds, including lowdimensional dynamical systems (via the connection to billiards); differential geometry (Higgs bundles and related moduli spaces); and different types of theoretical physics (electron transport and supersymmetric quantum field theory).
Updated on Apr 10, 2018 10:50 AM PDT 
Microlocal Analysis
Organizers: Pierre Albin (University of Illinois at UrbanaChampaign), Nalini Anantharaman (Université de Strasbourg), Kiril Datchev (Purdue University), Raluca Felea (Rochester Institute of Technology), Colin Guillarmou (Université de Paris XI (ParisSud)), LEAD Andras Vasy (Stanford University)Microlocal analysis provides tools for the precise analysis of problems arising in areas such as partial differential equations or integral geometry by working in the phase space, i.e. the cotangent bundle, of the underlying manifold. It has origins in areas such as quantum mechanics and hyperbolic equations, in addition to the development of a general PDE theory, and has expanded tremendously over the last 40 years to the analysis of singular spaces, integral geometry, nonlinear equations, scattering theory… This program will bring together researchers from various parts of the field to facilitate the transfer of ideas, and will also provide a comprehensive introduction to the field for postdocs and graduate students.
Updated on Apr 13, 2018 11:42 AM PDT 
Complementary Program 201920
The Complementary Program has a limited number of memberships that are open to mathematicians whose interests are not closely related to the core programs; special consideration is given to mathematicians who are partners of an invited member of a core program.
Updated on Nov 27, 2018 12:28 PM PST 
Quantum Symmetries
Organizers: Vaughan Jones (Vanderbilt University), LEAD Scott Morrison (Australian National University), Victor Ostrik (University of Oregon), Emily Peters (Loyola University), Eric Rowell (Texas A & M University), LEAD Noah Snyder (Indiana University), Chelsea Walton (University of Illinois at UrbanaChampaign)Symmetry, as formalized by group theory, is ubiquitous across mathematics and science. Classical examples include point groups in crystallography, Noether's theorem relating differentiable symmetries and conserved quantities, and the classification of fundamental particles according to irreducible representations of the Poincaré group and the internal symmetry groups of the standard model. However, in some quantum settings, the notion of a group is no longer enough to capture all symmetries. Important motivating examples include Galoislike symmetries of von Neumann algebras, anyonic particles in condensed matter physics, and deformations of universal enveloping algebras. The language of tensor categories provides a unified framework to discuss these notions of quantum symmetry.Updated on Mar 22, 2018 11:21 AM PDT 
Higher Categories and Categorification
Organizers: David Ayala (Montana State University), Clark Barwick (University of Edinburgh), David Nadler (University of California, Berkeley), LEAD Emily Riehl (Johns Hopkins University), Marcy Robertson (University of Melbourne), Peter Teichner (MaxPlanckInstitut für Mathematik), Dominic Verity (Macquarie University)Though many of the ideas in higher category theory find their origins in homotopy theory — for instance as expressed by Grothendieck’s “homotopy hypothesis” — the subject today interacts with a broad spectrum of areas of mathematical research. Unforeseen descent, or localtoglobal formulas, for familiar objects can be articulated in terms of higher invertible morphisms. Compatible associative deformations of a sequence of maps of spaces, or derived schemes, can putatively be represented by higher categories, as Koszul duality for E_nalgebras suggests. Higher categories offer unforeseen characterizing universal properties for familiar constructions such as Ktheory. Manifold theory is natively connected to higher category theory and adjunction data, a connection that is most famously articulated by the recently proven Cobordism Hypothesis.
In parallel, the idea of "categorification'' is playing an increasing role in algebraic geometry, representation theory, mathematical physics, and manifold theory, and higher categorical structures also appear in the very foundations of mathematics in the form of univalent foundations and homotopy type theory. A central mission of this semester will be to mitigate the exorbitantly high "cost of admission'' for mathematicians in other areas of research who aim to apply higher categorical technology and to create opportunities for potent collaborations between mathematicians from these different fields and experts from within higher category theory.Updated on Oct 05, 2018 12:21 PM PDT 
Random and Arithmetic Structures in Topology
Organizers: Nicolas Bergeron (Université de Paris VI (Pierre et Marie Curie)), Jeffrey Brock (Brown University), Alexander Furman (University of Illinois at Chicago), Tsachik Gelander (Weizmann Institute of Science), Ursula Hamenstädt (Rheinische FriedrichWilhelmsUniversität Bonn), Fanny Kassel (Institut des Hautes Études Scientifiques (IHES)), LEAD Alan Reid (Rice University)The use of dynamical invariants has long been a staple of geometry and topology, from rigidity theorems, to classification theorems, to the general study of lattices and of the mapping class group. More recently, random structures in topology and notions of probabilistic geometric convergence have played a critical role in testing the robustness of conjectures in the arithmetic setting. The program will focus on invariants in topology, geometry, and the dynamics of group actions linked to random constructions.
Updated on Nov 16, 2017 02:50 PM PST 
Decidability, definability and computability in number theory
Organizers: Valentina Harizanov (George Washington University), Moshe Jarden (TelAviv University), Maryanthe Malliaris (University of Chicago), Barry Mazur (Harvard University), Russell Miller (Queens College, CUNY), Jonathan Pila (University of Oxford), LEAD Thomas Scanlon (University of California, Berkeley), Alexandra Shlapentokh (East Carolina University), Carlos Videla (Mount Royal University)This program is focused on the twoway interaction of logical ideas and techniques, such as definability from model theory and decidability from computability theory, with fundamental problems in number theory. These include analogues of Hilbert's tenth problem, isolating properties of fields of algebraic numbers which relate to undecidability, decision problems around linear recurrence and algebraic differential equations, the relation of transcendence results and conjectures to decidability and decision problems, and some problems in anabelian geometry and field arithmetic. We are interested in this specific interface across a range of problems and so intend to build a semester which is both more topically focused and more mathematically broad than a typical MSRI program.
Updated on Oct 05, 2018 09:07 AM PDT 
Mathematical problems in fluid dynamics
Organizers: Thomas Alazard (École Normale Supérieure; Centre National de la Recherche Scientifique (CNRS)), Hajer Bahouri (Université ParisEst Créteil ValdeMarne; Centre National de la Recherche Scientifique (CNRS)), Mihaela Ifrim (University of WisconsinMadison), Igor Kukavica (University of Southern California), David Lannes (Université de Bordeaux I; Centre National de la Recherche Scientifique (CNRS)), LEAD Daniel Tataru (University of California, Berkeley)Fluid dynamics is one of the classical areas of partial differential equations, and has been the subject of extensive research over hundreds of years. It is perhaps one of the most challenging and exciting fields of scientific pursuit simply because of the complexity of the subject and the endless breadth of applications.
The focus of the program is on incompressible fluids, where water is a primary example. The fundamental equations in this area are the wellknown Euler equations for inviscid fluids, and the NavierStokes equations for the viscous fluids. Relating the two is the problem of the zero viscosity limit, and its connection to the phenomena of turbulence. Water waves, or more generally interface problems in fluids, represent another target area for the program. Both theoretical and numerical aspects will be considered.
Updated on Jan 24, 2018 10:14 AM PST

Upcoming Programs 