Georgia Institute of Technology College of Sciences

Given a graph X and a group G, a G-cover of X is a morphism of graphs X’ --> X together with an invariant G-action on X’ that acts freely and transitively on the fibers. G-covers are classified by their monodromy representations, and if G is a finite abelian group, then the set of G-covers of X is in natural bijection with the first simplicial cohomology group H1(X,G).

In tropical geometry, we are naturally led to consider more general objects: morphisms of graphs X’ --> X admitting an invariant G-action on X’, such that the induced action on the fibers is transitive, but not necessarily free. A natural question is to classify all such covers of a given graph X. I will show that when G is a finite abelian group, a G-cover of a graph X is naturally determined by two data: a stratification S of X by subgroups of G, and an element of a cohomology group H1(X,S) generalizing the simplicial cohomology group H1(X,G). This classification can be viewed as a tropical version of geometric class field theory, and as an abelianization of Bass--Serre theory.

I will discuss the realizability problem for tropical abelian covers, and the relationship between cyclic covers of a tropical curve C and the corresponding torsion subgroup of Jac(C). The realizability problem for cyclic covers of prime degree turns out to be related to the classical nowhere-zero flow problem in graph theory.

Joint work with Yoav Len and Martin Ulirsch.

Matroids are combinatorial gadgets that reflect properties of linear algebra in situations where this latter theory is not available. This analogy prescribes that the moduli space of matroids should be a Grassmannian over a suitable base object, which cannot be a field or a ring; in consequence usual algebraic geometry does not provide a suitable framework. In joint work with Matt Baker, we use algebraic geometry over F1, the so-called field with one element, to construct such moduli spaces. As an application, we streamline various results of matroid theory and find simplified proofs of classical theorems, such as the fact that a matroid is regular if and only if it is binary and orientable.

We will dedicate the first half of this talk to an introduction of matroids and their generalizations. Then we will outline how to use F1-geometry to construct the moduli space of matroids. In a last part, we will explain why this theory is so useful to simplify classical results in matroid theory.

In this talk, we discuss about methods for proving existence and uniqueness of a root of a square analytic system in a given region. For a regular root, Krawczyk method and Smale's $\alpha$-theory are used. On the other hand, when a system has a multiple root, there is a separation bound isolating the multiple root from other roots. We define a simple multiple root, a multiple root whose deflation process is terminated by one iteration, and establish its separation bound. We give a general framework to certify a root of a system using these concepts.