Algebraic Geometry

A classical question in polytope theory is whether an abstract polytope can be realized as a concrete convex object. Beyond dimension 3, there seems to be no concise answer to this question in general. In specific instances, answering the question in the negative is often done via “final polynomials” introduced by Bokowski and Sturmfels. This method involves finding a polynomial which, based on the structure of a polytope if realizable, must be simultaneously zero and positive, a clear contradiction. The search space for these polynomials is ideal of Grassmann-Plücker relations, which quickly becomes too large to efficiently search, and in most instances where this technique is used, additional assumptions on the structure of the desired polynomial are necessary.

In this talk, I will describe how by changing the search space, we are able to use linear programming to exhaustively search for similar polynomial certificates of non-realizability without any assumed structure. We will see that, perhaps surprisingly, this elementary strategy yields results that are competitive with more elaborate alternatives and allows us to prove non-realizability of several interesting polytopes.

This is a guest lecture in the PIMS Network Wide Graduate Course in Differential Equations in Algebraic Geometry.

This is a guest lecture in the PIMS Network Wide Graduate Course in Differential Equations in Algebraic Geometry.

This is a guest lecture in the PIMS Network Wide Graduate Course in Differential Equations in Algebraic Geometry.

This series of lectures covers a brief introduction into some algebro-geometric techniques used in the construction of BPS algebras. The starting point of our construction is a physical picture of D0-branes bound to D-branes of higher dimension. Using methods of the derived category of coherent sheaves, we are going to derive a framed quiver with potential describing supersymmetric quantum mechanics capturing the low-energy behavior of such D0-branes. For a large class of quivers, we are going to identify the space of BPS states with different melted-crystal configurations. Finally, by employing correspondences, we are going to construct an action of a BPS algebra known as the affine Yangian on the space of BPS states. The action of the affine Yangian factors through the action of various vertex operator algebras, Cherednik algebras, and more. This construction leads to an enormously rich interplay between physics, geometry and representation theory.

1. Lecture 1
2. Lecture 2
3. Lecture 3
4. Lecture 4