
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 (École Normale Supérieure), Jeffrey Brock (Yale University), Alexander Furman (University of Illinois at Chicago), Yizhaq 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 Apr 22, 2019 01:56 PM PDT 
Decidability, definability and computability in number theory
Organizers: Valentina Harizanov (George Washington University), Maryanthe Malliaris (University of Chicago), Barry Mazur (Harvard University), Russell Miller (Queens College, CUNY; CUNY, Graduate Center), 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 03, 2019 03:52 PM PDT 
Complementary Program 202021
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 20, 2019 01:47 PM PST 
Mathematical problems in fluid dynamics
Organizers: Thomas Alazard (Ecole Normale Supérieure ParisSaclay; 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 Apr 25, 2019 02:32 PM PDT 
Universality and Integrability in Random Matrix Theory and Interacting Particle Systems
Organizers: LEAD Ivan Corwin (Columbia University), Percy Deift (New York University, Courant Institute), Ioana Dumitriu (University of Washington), Alice Guionnet (École Normale Supérieure de Lyon), Alexander Its (Indiana UniversityPurdue University Indianapolis), Herbert Spohn (Technische Universität München), HorngTzer Yau (Harvard University)The past decade has seen tremendous progress in understanding the behavior of large random matrices and interacting particle systems. Complementary methods have emerged to prove universality of these behaviors, as well as to probe their precise nature using integrable, or exactly solvable models. This program seeks to reinforce and expand the fruitful interaction at the interface of these areas, as well as to showcase some of the important developments and applications of the past decade.
Updated on Apr 24, 2019 03:08 PM PDT 
The Analysis and Geometry of Random Spaces
Organizers: LEAD Mario Bonk (University of California, Los Angeles), Joan Lind (University of Tennessee), Steffen Rohde (University of Washington), Eero Saksman (University of Helsinki), Fredrik Viklund (Royal Institute of Technology), JangMei Wu (University of Illinois at UrbanaChampaign)This program is devoted to the investigation of universal analytic and geometric objects that arise from natural probabilistic constructions, often motivated by models in mathematical physics. Prominent examples for recent developments are the SchrammLoewner evolution, the continuum random tree, Bernoulli percolation on the integers, random surfaces produced by Liouville Quantum Gravity, and Jordan curves and dendrites obtained from random conformal weldings and laminations. The lack of regularity of these random structures often results in a failure of classical methods of analysis. One goal of this program is to enrich the analytic toolbox to better handle these rough structures.
Updated on Nov 20, 2019 02:12 PM PST 
Complex Dynamics: from special families to natural generalizations in one and several variables
Organizers: LEAD Sarah Koch (University of Michigan), Jasmin Raissy (Institut de Mathématiques de Toulouse), Dierk Schleicher (Jacobs University Bremen), Mitsuhiro Shishikura (Kyoto University), Dylan Thurston (Indiana University)Holomorphic dynamics is a vibrant field of mathematics that has seen profound progress over the past 40 years. It has numerous interconnections to other fields of mathematics and beyond.
Our semester will focus on three selected classes of dynamical systems: rational maps (postcritically finite and beyond); transcendental maps; and maps in several complex variables. We will put particular emphasis on the interactions between each these, and on connections with adjacent areas of mathematics.
Updated on Nov 20, 2019 02:12 PM PST 
Floer Homotopy Theory
Organizers: Mohammed Abouzaid (Columbia University), Andrew Blumberg (University of Texas, Austin), Kristen Hendricks (Rutgers University), Robert Lipshitz (University of Oregon), LEAD Ciprian Manolescu (Stanford University), Nathalie Wahl (University of Copenhagen)The development of Floer theory in its early years can be seen as a parallel to the emergence of algebraic topology in the first half of the 20th century, going from counting invariants to homology groups, and beyond that to the construction of algebraic structures on these homology groups and their underlying chain complexes. In continuing work that started in the latter part of the 20th century, algebraic topologists and homotopy theorists have developed deep methods for refining these constructions, motivated in large part by the application of understanding the classification of manifolds. The goal of this program is to relate these developments to Floer theory with the dual aims of (i) making progress in understanding symplectic and lowdimensional topology, and (ii) providing a new set of geometrically motivated questions in homotopy theory.
Updated on Nov 25, 2019 01:27 PM PST

Upcoming Programs 