Georgia Institute of Technology College of Sciences

Galois groups embody the structure of algebraic equations arising in both enumerative geometry and various scientific applications where such equations must be solved. I will describe a line of work that aims to elucidate the role of Galois groups in applications where data taken from multiple images are used to reconstruct a 3D scene. From this perspective, I will revisit two well-known solutions to camera pose estimation problems, which originate from classical photogrammetry and are still heavily used within modern 3D reconstruction systems. I will then discuss some less-classical problems, for which the insight we gleaned from computing Galois groups led to significant practical improvements over previous solutions. A key ingredient was the use of numerical homotopy continuation methods to (heuristically) compute monodromy permutations. Time-permitting, I will explain how such methods may also be used to automatically recover certain symmetries underlying enumerative problems. 

A theorem of Bertini says that an irreducible algebraic variety remains irreducible after intersecting with a generic hyperplane.  We will discuss toric Bertini theorems for intersections with generic algebraic subtori (defined by generic binomial equations) instead of hyperplanes. As an application, we obtain a tropical Bertini theorem and a strengthening of the Structure Theorem of tropical algebraic geometry, by showing that irreducible tropical varieties remain connected through codimension one even after removing some facets.  As part of the proof of the Toric Bertini over prime characteristics, we constructed a new algebraically closed field containing the multivariate rational functions, which is smaller than previously known constructions.  This is based on joint works with Diane Maclagan, Francesca Gandini, Milena Hering, Fatemeh Mohammadi, Jenna Rajchgot, and Ashley Wheeler.

In 1964, Horrocks proved that a vector bundle on a projective space splits as a sum of line bundles if and only if it has no intermediate cohomology. Generalizations of this criterion, under additional hypotheses, have been proven for other toric varieties, for instance by Eisenbud-Erman-Schreyer for products of projective spaces, by Schreyer for Segre-Veronese varieties, and Ottaviani for Grassmannians and quadrics. This talk is about a splitting criterion for arbitrary smooth projective toric varieties, as well as an algorithm for finding indecomposable summands of sheaves and modules in the more general setting of Mori dream spaces.