Georgia Institute of Technology College of Sciences

Grothendieck's anabelian conjectures say that hyperbolic curves over certain fields should be K(pi,1)'s in algebraic geometry. It follows that points on such a curve are conjecturally the sections of etale pi_1 of the structure map. These conjectures are analogous to equivalences between fixed points and homotopy fixed points of Galois actions on related topological spaces. This talk will start with an introduction to Grothendieck's anabelian conjectures, and then present a 2-nilpotent real section conjecture: for a smooth curve X over R with negative Euler characteristic, pi_0(X(R)) is determined by the maximal 2-nilpotent quotient of the fundamental group with its Galois action, as the kernel of an obstruction of Jordan Ellenberg. This implies that the set of real points equipped with a real tangent direction of the smooth compactification of X is determined by the maximal 2-nilpotent quotient of Gal(C(X)) with its Gal(R) action, showing a 2-nilpotent birational real section conjecture.

Let k be a field (not of characteristic 2) and let t be an indeterminate. Legendre's elliptic curve is the elliptic curve over k(t) defined by y^2=x(x-1)(x-t). I will discuss the arithmetic of this curve (group of solutions, heights, Tate-Shafarevich group) over the extension fields k(t^{1/d}). I will also mention several variants and open problems which would make good thesis topics.

I will discuss some recent results, obtained jointly with Sam Payne and Joe Rabinoff, on tropicalizations of elliptic curves.

A smooth quartic curve in the projective plane has 36 representations as a symmetric determinant of linear forms and 63 representations as a sum of three squares. We report on joint work with Daniel Plaumann and Cynthia Vinzant regarding the explicit computation of these objects. This lecture offers a gentle introduction to the 19th century theory of plane quartics from the current perspective of convex algebraic geometry.