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. 

Image for theorem about 9 point on cubic curve, the special case of Cayley–Bacharach theorem.

Commutative algebra is, in its essence, the study of algebraic objects, such as rings and modules over them, arising from polynomials and integral numbers.     It has numerous connections to other fields of mathematics including algebraic geometry, algebraic number theory, algebraic topology and algebraic combinatorics. Commutative Algebra has witnessed a number of spectacular developments in recent years, including the resolution of long-standing problems, with new techniques and perspectives leading to an extraordinary transformation in the field. The main focus of the program will be on these developments. These include the recent solution of Hochster's direct summand conjecture in mixed characteristic that employs the theory of perfectoid spaces, a new approach to the Buchsbaum--Eisenbud--Horrocks conjecture on the Betti numbers of modules of finite length, recent progress on the study of Castelnuovo--Mumford regularity, the proof of Stillman's conjecture and ongoing work on its effectiveness, a novel strategy to Green's conjecture on the syzygies of canonical curves based on the study of Koszul modules and their generalizations, new developments in the study of various types of multiplicities, theoretical and computational aspects of Gröbner bases, and the implicitization problem for Rees algebras and its applications.

Optical illusion staircase

Derived categories of coherent sheaves on algebraic varieties were originally conceived as technical tools for studying cohomology, but have since become central objects in fields ranging from algebraic geometry to mathematical physics, symplectic geometry, and representation theory. Noncommutative algebraic geometry is based on the idea that any category sufficiently similar to the derived category of a variety should be regarded as (the derived category of) a “noncommutative algebraic variety”; examples include semiorthogonal components of derived categories, categories of matrix factorizations, and derived categories of noncommutative dg-algebras. This perspective has led to progress on old problems, as well as surprising connections between seemingly unrelated areas. In recent years there have been great advances in this domain, including new tools for constructing semiorthogonal decompositions and derived equivalences, progress on conjectures relating birational geometry and singularities to derived categories, constructions of moduli spaces from noncommutative varieties, and instances of homological mirror symmetry for noncommutative varieties. The goal of this program is to explore and expand upon these developments.