St Andrews Geometry seminar

For the first semester of 2025-2026, the seminar will run on Fridays, 13:00 to 14:00. The talks are in Lecture Theatre A unless specified otherwise.

September 5: Amanda Hirschi (Sorbonne)

On stabilisations of symplectic 4-manifolds

Two simply-connected smooth 4-manifolds are homeomorphic if and only if their stabilisations, i.e. products with S^2, are diffeomorphic. The Donaldson 4-6 question asks whether this fact can be lifted to the symplectic category. It asks whether the underlying smooth manifolds of two (simply-connected) symplectic manifolds are diffeomorphic if and only if their products with S^2, equipped with the standard area form, are symplectic deformation equivalent. I will describe one example of a smooth 4-manifold admitting two symplectic forms that remain deformation inequivalent after taking the product with S^2, giving counterexamples to one implication of the conjecture. On the other hand, I will explain why two symplectic manifolds, whose stabilisations are deformation equivalent, have the same Gromov-Witten invariants. This is joint work with Luya Wang. 

September 19: Violeta Lopez (St Andrews)

Brill-Noether general tropical curves

Brill–Noether theory provides a way to study smooth algebraic curves and their moduli space. In 2012, Cools, Draisma, Payne and Robeva “tropicalized” this theory by showing that the tropical curve known as the chain of loops is “Brill–Noether general”. In this talk I will review some concepts and results related to tropical Brill–Noether theory and I will present a new tropical curve that is Brill–Noether general. This is my current research work.

September 26: Alison La Porta (St Andrews)

The connection between Maximum Likelihood Thresholds and Rigidity Theory

The MLT of a graph

Any graph G=([n],E) has an associated Gaussian graphical model, i.e. a statistical model of n-variate normal distributions such that two random variables x and y are conditionally independent given the other random variables whenever the vertices representing x and y in G do not share an edge.

Given d independent samples X1,...,Xd, we then ask if the Maximum Likelihood Estimator (MLE) of G exists. An important piece of information lies in the Maximum Likelihood Threshold (MLT) of G, i.e. the minimum d such that the MLE of G exits almost surely.

Rigidity theory

A (bar-joint) framework is a geometric structure composed of stiff bars, linked together by freely rotational joints. A framework is flexible if it can be deformed continuously into a non-congruent framework without changing its bar-lengths, and it is rigid otherwise. There are variations to the definition of rigidity, such as continuous, infinitesimal and global rigidity, amongst others.

Independently of the various notions, the main goal in rigidity theory is to determine when a framework is rigid or flexible. This is a relatively new area of research, which uses a wide range of mathematical tools, and find applications in a variety of applied sciences.

The MLT of a graph and geometric rigidity

In particular, research from recent years connects rigidity theory to the MLT problem. In this talk, we explore how this connection can be exploited. We will see recent results which use techniques from rigidity theory to find new and significantly improved bounds for the MLT of a graph.

October 17: Two talks - Diane Maclagan (Warwick) and Alexia Corradini (Cambridge)

Diane Maclagan: Tropical vector bundles

I will describe a new definition, joint with Bivas Khan, for a tropical toric vector bundle on a tropical toric variety. This builds on the tropicalizations of toric vector bundles, and can be used to define tropicalizations of vector bundles on subvarieties of toric varieties.  I will discuss when these bundles do and do not behave as in the classical setting. 

Alexia Corradini: The Lagrangian Ceresa cycle

I will introduce an equivalence relation on Lagrangians in a symplectic manifold called algebraic Lagrangian cobordism. Its purpose is to mirror algebraic equivalence of cycles, in the same way Sheridan—Smith observed that cylindrical Lagrangian cobordisms are “mirror” to rational equivalences of cycles. I then show that this equivalence relation captures non-trivial symplectic geometry through a Lagrangian version of the Ceresa cycle story. The Ceresa cycle of a curve is a 1-cycle in its Jacobian; it provided one of the first examples of a cycle proven to be homologically, but not algebraically trivial. The Lagrangian construction builds upon on Zharkov’s tropical version of this story.

October 31: Rachael Boyd (Glasgow)

Diffeomorphisms of reducible 3-manifolds

I will talk about joint work with Corey Bregman and Jan Steinebrunner, in which we study the moduli space B Diff(M), for M a compact, connected, reducible 3-manifold. We prove that when M is orientable and has non-empty boundary, B Diff(M rel ∂M) has the homotopy type of a finite CW-complex. This was conjectured by Kontsevich and previously proved in the case where M is irreducible by Hatcher and McCullough. The theory we develop to prove this theorem has other applications, and I’ll provide an overview of these.

November 7: Ruadhai Dervan (Warwick)

November 14: Aporva Varshney (UCL)

November 21: Elliot Gathercole (Lancaster)

November 28: Darragh Glynn (Warwick)