Georgia Institute of Technology College of Sciences

The classical theory of complex multiplication predicts the existence of certain points called Heegner points defined over quadratic imaginary fields on elliptic curves (the curves themselves are defined over the rational numbers). Henri Darmon observed that under certain conditions, the Birch and Swinnerton-Dyer conjecture predicts the existence of points of infinite order defined over real quadratic fields on elliptic curves, and under such conditions, came up with a conjectural construction of such points, which he called Stark-Heegner points. Later, he and others (especially Greenberg and Gartner) extended this construction to many other number fields, and the points constructed have often been called Darmon points. We will outline a general construction of Stark-Heegner/Darmon points defined over quadratic extensions of totally real fields (subject to some mild restrictions) that combines past constructions; this is joint work with Mak Trifkovic.

Rota's conjecture predicts that the coefficients of the characteristic polynomial of a matroid form a log-concave sequence. I will talk about Rota's conjecture and several related topics: the proof of the conjecture for representable matroids, a relation to the missing axiom, and a search for a new discrete Riemannian geometry based on the tropical Laplacian. This is an ongoing joint effort with Eric Katz.

Matroids are widely used objects in combinatorics; they arise naturally in many situations featuring vector configurations over a field. But in some contexts the natural data are elements in a module over some other ring, and there is more than simply a matroid to be extracted. In joint work with Luca Moci, we have defined the notion of matroid over a ring to fill this niche. I will discuss two examples of situations producing these enriched objects, one relating to subtorus arrangements producing matroids over the integers, and one related to tropical geometry producing matroids over a valuation ring. Time permitting, I'll also discuss the analogue of the Tutte invariant.

I will explain and draw connections between the following two theorems: (1) Classification of varieties of minimal degree by Del Pezzo and Bertini and (2) Hilbert's theorem on nonnegative polynomials and sums of squares. This will result in the classification of all varieties on which nonnegative polynomials are equal to sums of squares. (Joint work with Greg Smith and Mauricio Velasco)