Georgia Institute of Technology College of Sciences

Polynomial systems can be effectively solved by exploiting structure present in their Galois group. Esterov determined two conditions for which the Galois group of a sparse polynomial system is imprimitive, and showed that the Galois group is the symmetric group otherwise. A system with an imprimitive Galois group can be decomposed into simpler systems, which themselves may be further decomposed. Esterov's conditions give a stopping criterion for decomposing these systems and leads to a recursive algorithm for efficient solving.

Let G be a graph. Backman, Baker, and Yuen have constructed a family of bijections between spanning trees of G and the equivalence classes of orientations up to cycle-cocycle reversal, called the geometric bijections. Their proof makes use of zonotopal subdivisions. Recently we have extended the geometric bijections to subgraph-orientation correspondences. Moreover, we have also constructed a larger family of bijections, which contains the geometric bijections and the Bernardi bijections. Most of our work is inspired by geometry but proved combinatorially.  

This is joint work with Aaron Landesman. There are a number of difficult open questions around representations of free and surface groups, which it turns out are accessible to methods from Hodge theory and arithmetic geometry. For example, I'll discuss applications of these methods to the following concrete theorem about surface groups, whose proof relies on non-abelian Hodge theory and the Langlands program:

Theorem. Let $\rho: \pi_1(\Sigma_{g,n})\to GL_r(\mathbb{C})$ be a representation of the fundamental group of a compact orientable surface of genus $g$ with $n$ punctures, with $r<\sqrt{g+1}$. If the conjugacy class of $\rho$ has finite orbit under the mapping class group of $\Sigma_{g,n}$, then $\rho$ has finite image.

This answers a question of Peter Whang. I'll also discuss closely related applications to the Putman-Wieland conjecture on homological representations of mapping class groups. 

For polynomials in 1 variable, Matt Baker and Oliver Lorschied were able to connect results about roots of polynomials over valued
fields (Newton polygons) and over real fields (Descartes's rule) by looking at factorization of polynomials over the tropical and signed
hyperfields respectively. In this talk, I will describe some ongoing work with Andreas Gross about extending these ideas to two or more
variables. Our main tool is the use of resultants to transform questions about 0-dimensional systems of equations to factoring a single
homogeneous polynomial.