Computational and Commutative Algebra Seminar

Matthew BallardUniversity of South Carolina
Geometry and homological algebra of GLSMs

Tuesday, December 2, 2014 - 10:15am
Malott 532

Over the past 30 years, ideas from theoretical physics, string theory in particular, have served as a catalyst for deep advances in Algebraic Geometry. In 1993, Witten presented a powerful idea that admits a simple mathematical package — the gauged linear sigma model or GLSM. At its basic level, a GLSM consists of a complex vector space $C^n$, an action of a group on $C^n$, and a homogeneous polynomial $f$ in $n$ variables. The GLSM also contains an auxiliary parameter. Witten noted that varying the value of this parameter leaves unchanged the physical theory but drastically affects the mathematical objects under consideration. In the particular case where we take $C^x$ to act by scaling and $f$ to have degree $n$, one should see ties between the geometry of the hypersurface $Y_f$ in the projective space $CP^{n-1}$ determined by the vanishing of $f$ and how one can factor $f$, viewed as a diagonal matrix with polynomial entries, as product of matrices. To properly capture the physical implications as mathematics, guided by insight of Kontsevich, one must turn to categories. In the simple case of $C^x$ acting, Witten is stating the existence of an equivalence between categories of (equivariant) matrix factorizations of $f$ and coherent sheaves on $Y_f$. In this talk, I will discuss a more general result due to myself, Favero, and Katzarkov. Instead of focusing on the categorical aspects, I will take them mostly as a black box and turn attention to the rich geometry, a complex analog of Morse Theory, underpinning the result. If time allows, I will also mention work in progress with Diemer, Favero, Katzarkov and Kontsevich recasting the previous result in a more geometric and canonical way.