Past Geometry and Analysis Seminar

Gravitational instantons are complete 4-dimensional hyperkähler manifolds with square-integrable curvature tensor. I will address the question whether all gravitational instantons (of type ALG) can be obtained as Hitchin moduli spaces. In particular, I will explain how to compute the (hyperkähler) Torelli map for (weakly) parabolic Higgs bundles on the 4-punctured sphere. This is based on recent joint work with Fredrickson, Mazzeo and Swoboda.

We consider a class of Lagrangian sections L contained in certain Calabi-Yau Lagrangian fibrations (mirrors of toric weak Fano manifolds). We prove that a form of the Thomas-Yau conjecture holds in this case: L is isomorphic to a special Lagrangian section in this class if and only if a stability condition holds, in the sense of a slope inequality on objects in a set of exact triangles in the Fukaya-Seidel category. This agrees with general proposals by Li. On
surfaces and threefolds, under more restrictive assumptions, this result can be used to show a precise relation with Bridgeland stability, as predicted by Joyce. Based on arXiv:2505.07228 and arXiv:2508.17709.

I will discuss an ongoing joint work with Luigi Appolloni and Andrea Malchiodi concerning the above objects. Minimal surfaces are critical points of the area functional, which is analytic in this case, so we should expect critical points (minimal surfaces) to be either isolated or to belong to smooth nearby minimal foliations. On the other hand, the flat plane of multiplicity two in $\mathbb{R}^3$ can be (in compact regions) approximated by a blown-down catenoid, which will converge back to the plane with multiplicity two in the limit. Hence a plane of multiplicity two cannot be thought of as being isolated, or belonging solely to a smooth family, because there are “nearby” minimal surfaces of distinct topology weakly converging to it. We will nevertheless prove that, when the ambient manifold is closed and analytic, this type of local degeneration is impossible amongst closed and embedded minimal surfaces of bounded topology: such surfaces, even with multiplicity are either isolated or belong to smooth families of nearby minimal surfaces.  

In this talk, I will present a result proved in my recent paper arXiv:2502.13580. I will discuss biharmonic maps between (and submanifolds of) conformally compact manifolds, a large class of complete manifolds generalizing hyperbolic space. After an introduction to conformally compact geometry, I will discuss one of the main results of the paper: if S is a properly embedded sub-manifold of a conformally compact manifold (N,h), and moreover S is transverse to the boundary and (N,h) has non-positive curvature, then S must be minimal. This result confirms a conjecture known as the Generalized Chen’s Conjecture, in the conformally compact context.

I will discuss recent and ongoing work (mostly with J. Zou).

Symplectic capacities are symplectic invariants that measure the “size” of symplectic manifolds and are designed to capture phenomena of symplectic rigidity.

In this talk, I will focus on symplectic capacities of fiberwise convex domains in cotangent bundles. This setting provides a natural link to the systolic geometry of the base manifold. I will survey current results and discuss the variety of techniques used to compute symplectic capacities, ranging from billiard dynamics to pseudoholomorphic curves and symplectic homology. I will illustrate these techniques using disk tangent bundles of ellipsoids as an example.

As discovered by Perelman, the study of ancient Ricci flows which are $\kappa$-noncollapsed is a crucial prerequisite to understanding the singularity behaviour of more general Ricci flows. In dimension three, these so-called "$\kappa$-solutions" have been fully classified through the groundbreaking work of Brendle, Daskalopoulos, and Šešum. Their classification result can be extended to higher dimensions, but only for those Ricci flows that have uniformly positive isotropic curvature (PIC), as well as weakly-positive isotropic curvature of the second type (PIC2); it appears the classification result fails with only minor modifications to the curvature assumption. Indeed, with the alternative assumption of non-negative curvature operator, a rich variety of new examples emerge, as recently constructed by Buttsworth, Lai, and Haslhofer; Haslhofer himself has conjectured that this list of non-negatively curved $\kappa$-solutions is now exhaustive in dimension four. In this talk, we will discuss some recent progress towards resolving Haslhofer's conjecture, including a compactness result for non-negatively curved $\kappa$-solutions in dimension four, and a symmetry improvement result for bubble-sheet regions. This is joint work with Anusha Krishnan and Timothy Buttsworth. 

A conjecture of Holzegel, Schmelzer and Warnick states that there is a Ricci flow with surgery connecting the two Ricci flat metrics Taub-Bolt and Taub-NUT. We will present some recent progress towards proving this conjecture. This includes showing for the first time the existence of a Ricci flow with surgery with local topology change $\mathbb{CP}^2\setminus\{ \mathrm{pt}\} \rightarrow \mathbb{R}^4$.

I will discuss an ascending filtration on the Chow group of zero-cycles on a smooth projective variety obtained roughly by considering the successive kernels of the iterates of some modified diagonal embedding of the variety. This filtration is particularly relevant in the case of abelian varieties and of hyper-Kähler varieties, where it is expected to be opposite to the conjectural Bloch-Beilinson filtration. In the case of abelian varieties, it can in fact be described explicitly in terms of the Beauville decomposition, while in the case of hyper-Kähler varieties, I conjecture (and prove in some cases) that it coincides with a filtration introduced earlier by Claire Voisin. As a by-product we obtain in joint work with Olivier Martin a criterion involving second Chern classes for two effective zero-cycles on a moduli space of stable objects on a K3 surface to be rationally equivalent, generalising a result of Marian-Zhao.

A 2-connected, rational homotopy 7-sphere is classified up to diffeomorphism by three invariants: its (finite) 4th cohomology group, its q-invariant and its Eells-Kuiper invariant.  The q-invariant is a quadratic refinement of the linking form and determines the homeomorphism type, while the Eells-Kuiper invariant then pins down the diffeomorphism type.  In this talk, I will discuss the diffeomorphism classification of a certain family of non-negatively curved, 2-connected, rational homotopy 7-spheres, discovered by Sebastian Goette, Krishnan Shankar and myself, which contains, in particular, all $S^3$-bundles over $S^4$ and all exotic 7-spheres.

Symplectic implosion is an abelianisation construction in symplectic geometry. The implosion of the cotangent bundle of a group K plays a universal role in the implosion of manifolds with a K-action.  This universal implosion, which is usually a singular variety, can also be viewed as the non-reductive Geometric Invariant Theory quotient of the complexification G of K by its maximal unipotent subgroup. 

In this talk, we describe joint work with Johan Martens and Nick Proudfoot which uses point-counting techniques to calculate the intersection cohomology of the universal implosion.

I will discuss the Brill-Noether theory of a general elliptic $K3$ surface using wall-crossing with respect to Bridgeland stability conditions. As an application, I will provide an example of a general $k$-gonal curve from the perspective of Hurwitz-Brill-Noether theory. This is joint work with Gavril Farkas and Andrés Rojas.

A Riemannian metric is said to be  Einstein if it has constant Ricci curvature. In dimensions 2 or 3, this is actually equivalent to requiring the metric to have constant sectional curvature. However,  in dimensions 4 and higher, the Einstein condition becomes significantly weaker than constant sectional curvature, and this has rather dramatic consequences. In particular, it turns out that there are  high-dimensional smooth closed manifolds that admit pairs of Einstein metrics with Ricci curvatures of opposite signs. After explaining how one constructs such examples, I will then discuss some recent results exploring the coexistence of Einstein metrics with zero and positive Ricci curvatures.

The well-known Milnor-Wood inequality gives a bound on the Toledo invariant of a representation of the fundamental group of a compact surface in a non-compact Lie group of Hermitian type. While a lot is known regarding the counting of maximal Toledo components, and their role in higher Teichmueller theory, the non-maximal case remains elusive. In this talk, I will present a strategy to count the number of such non-maximal Toledo connected components. This is joint work in progress with Brian Collier and Jochen Heinloth, building on previous work with Olivier Biquard, Brian Collier and Domingo Toledo.

In the last three decades, a fruitful way to approximate the area functional in low codimension is to interpret submanifolds as the nodal sets of maps (or sections of vector bundles), critical for suitable physical energies or well-known lagrangians from gauge theory. Inspired by the situation in codimension two, where the abelian Higgs model has provided a successful framework, we look at the non-abelian SU(2) model as a natural candidate in codimension three. In this talk we will survey the new key difficulties and some recent partial results, including a joint work with D. Parise and D. Stern and another result by Y. Li.

Contact topology and hyperbolic geometry are two well-established, yet so far largely unrelated subfields of 3-manifold topology. We will discuss a recent result relating phenomena in these two fields. Specifically, we will demonstrate that tightness of certain contact structures on hyperbolic manifolds is detected by the behaviour of geodesics in the underlying hyperbolic geometry. A key geometric tool we will discuss is the deformation theory for hyperbolic manifolds. 

Complex dynamics is the study of the behaviour, under iteration, of complex polynomials and rational functions. This talk is about an application of combinatorial algebraic geometry to complex dynamics. The n-th Gleason polynomial G_n is a polynomial in one variable with Z-coefficients, whose roots correspond to degree-2 polynomials with an n-periodic critical point. Per_n is a (nodal) Riemann surface parametrizing degree-2 rational functions with an n-periodic critical point. Two long-standing open questions are: (1) Is G_n is irreducible over Q? (2) Is Per_n connected? I will sketch an argument showing that if G_n is irreducible over Q, then Per_n is connected. In order to do this, we find a special degeneration of degree-2 rational maps that tells us that Per_n has smooth point with Q-coordinates "at infinity”.

Namikawa has shown that the functor of flat graded Poisson deformations of a conic symplectic singularity is unobstructed and pro-representable. In a subsequent work, Losev showed that the universal Poisson deformation admits, a quantization which enjoys a rather remarkable universal property. In a recent work, we have repackaged the latter theorem as an expression of the representability of a new functor: the functor of quantizations. I will describe how this theorem leads to an easy proof of the existence of a universal equivariant quantizations, and outline a work in progress in which we describe a presentation of a rather complicated quantum Hamiltonian reduction: the finite W-algebra associated to a nilpotent element in a classical Lie algebra. The latter result hinges on new presentations of twisted Yangians.

I will describe a generalisation of the Seiberg-Witten equations to a Spin-c manifold of any dimension. The equations are for a U(1) connection A and spinor \phi and also an odd-degree differential form b (of inhomogeneous degree). Clifford action of the form is used to perturb the Dirac operator D_A. The first equation says that (D_A+b)(\phi)=0. The second equation involves the Weitzenböck remainder for D_A+b, setting it equal to q(\phi), where q(\phi) is the same quadratic term which appears in the usual Seiberg-Witten equations. This system is elliptic modulo gauge in dimensions congruent to 0,1 or 3 mod 4. In dimensions congruent to 2 mod 4 one needs to take two copies of the system, coupled via b. I will also describe a variant of these equations which make sense on manifolds with a Spin(7) structure. The most important difference with the familiar 3 and 4 dimensional stories is that compactness of the space of solutions is, for now at least, unclear. This is joint work with Partha Ghosh and, in the Spin(7) setting, Ragini Singhal.

The fundamental group of a complex variety is finitely presented. The talk will survey algebraic variants (in fact, distant corollaries) of this fact, in the context of variants of the etale fundamental group. We will then zoom in on "tame" etale fundamental groups of p-adic analytic spaces. Our main result is that it is (topologically) finitely generated (for a quasi-compact and quasi-separated rigid space over an algebraically closed field).  The proof uses logarithmic geometry beyond its usual scope of finitely generated monoids to (eventually) reduce the problem to the more classical one of finite generation of tame fundamental groups of algebraic varieties over the residue field. This is joint work with Katharina Hübner, Marcin Lara, and Jakob Stix.

It is a long-standing open problem to generalize sheaf-counting invariants of complex projective three-folds to symplectic manifolds of real dimension six. One approach to this problem involves counting  J-holomorphic curves  C, for a generic almost complex structure J, with weights depending on J. Various existing symplectic invariants (Gromov-Witten, Gopakumar-Vafa, Bai-Swaminathan) can be expressed as such weighted counts. In this talk, based on joint work with Thomas Walpuski, I will discuss a new construction of weights associated with curves and a closely related problem about the structure of the space of Cauchy-Riemann operators on  C.

I’ll tell you about some of my favorite algebraic varieties, which are beautiful in their own right, and also have some dramatic applications to algebraic combinatorics.  These include the top-heavy conjecture (one of the results for which June Huh was awarded the Fields Medal), as well as non-negativity of Kazhdan—Lusztig polynomials of matroids.

ALF gravitational instantons, of which the Taub-NUT and Atiyah-Hitchin metrics are prototypes, are the complete non-compact hyperkähler 4-manifolds with cubic volume growth. Examples have been known since the 1970's, but a complete classification was only given around 10 years ago. In this talk, I will present joint work with Haskins and Nordström where we extend some of these results to complete non-compact 7-manifolds with holonomy G2 and an asymptotic geometry, called ALC (asymptotically locally conical), that generalises to higher dimension the asymptotic geometry of ALF spaces.

In this talk, we will make an explicit link between self-dual Yang-Mills instantons on the Taub-NUT space, and G2-instantons on the BGGG space, by displaying the latter space as a fibration by the former. In doing so, we will discuss analysis on non-compact manifolds, circle symmetries, and a new method of constructing solutions to quadratically singular ODE systems. This talk is based on joint work with Matt Turner: https://arxiv.org/pdf/2409.03886. 

This talk reports on two projects. The first work (in progress), joint  with Amanda Hirschi, constructs (genus 0) open Gromov-Witten invariants for any Lagrangian submanifold using a global Kuranishi chart construction. As an application we show open Gromov-Witten invariants are invariant under Lagrangian cobordisms. I will then describe how open Gromov-Witten invariants fit into mirror symmetry, which brings me to the second project: obtaining open Gromov-Witten invariants from the Fukaya category.

A well-known problem in algebraic geometry is to construct smooth projective Calabi--Yau varieties $Y$. In the smoothing approach, we construct first a degenerate (reducible) Calabi--Yau scheme $V$ by gluing pieces. Then we aim to find a family $f\colon X \to C$ with special fiber $X_0 = f^{-1}(0) \cong V$ and smooth general fiber $X_t = f^{-1}(t)$. In this talk, we see how infinitesimal logarithmic deformation theory solves the second step of this approach: the construction of a family out of a degenerate fiber $V$. This is achieved via the logarithmic Bogomolov--Tian--Todorov theorem as well as its variant for pairs of a log Calabi--Yau space $f_0\colon X_0 \to S_0$ and a line bundle $\mathcal{L}_0$ on $X_0$.
 

I will discuss recent and ongoing work with Davesh Maulik that explains how Gromov-Witten invariants behave under simple normal crossings degenerations. The main outcome of the study is that if a projective manifold $X$ undergoes a simple normal crossings degeneration, the Gromov-Witten theory of $X$ is determined, via universal formulas, by the Gromov-Witten theory of the strata of the degeneration. Although the proof proceeds via logarithmic geometry, the statement involves only traditional Gromov-Witten cycles. Indeed, one consequence is a folklore conjecture of Abramovich-Wise, that logarithmic Gromov-Witten theory “does not contain new invariants”. I will also discuss applications of this to a conjecture of Levine and Pandharipande, concerning the relationship between Gromov-Witten theory and the cohomology of the moduli space of curves.

I will present a notion of spin structure on a perfect complex in characteristic zero, generalizing the classical notion for an (algebraic) vector bundle. For a complex $E$ on $X$ with an oriented quadratic structure one obtains an associated ${\mathbb Z}/2{\mathbb Z}$-gerbe over X which obstructs the existence of a spin structure on $E$. This situation arises naturally on moduli spaces of coherent sheaves on Calabi-Yau fourfolds. Using spin structures as orientation data, we construct a categorical refinement of a K-theory class constructed by Oh-Thomas on such moduli spaces.

I will discuss how some ideas from Geometric Langlands can be used to obtain new results in birational geometry and on the topology of algebraic varieties.

Given a singularity with a crepant resolution, a symmetry of the derived 
category of coherent sheaves on the resolution may often be constructed 
using the formalism of spherical functors. I will introduce this, and 
new work (arXiv:2409.19555) on general constructions of such symmetries 
for hypersurface singularities. This builds on previous results with 
Segal, and is inspired by work of Bodzenta-Bondal.

Joint work with Paul Hacking (U Mass Amherst). We first explain how to 
prove homological mirror symmetry for a maximal normal crossing 
Calabi-Yau surface Y with split mixed Hodge structure. This includes the 
case when Y is a type III K3 surface, in which case this is used to 
prove a conjecture of Lekili-Ueda. We then explain how to build on this 
to prove an HMS statement for K3 surfaces. On the symplectic side, we 
have any K3 surface (X, ω) with ω integral Kaehler; on the algebraic 
side, we get a K3 surface Y with Picard rank 19. The talk will aim to be 
accessible to audience members with a wide range of mirror symmetric 
backgrounds.

A number of moduli problems are, via Hodge theory, closely related to 
ball quotients. In this situation there is often a choice of possible 
compactifications such as the GIT compactification´and its Kirwan 
blow-up or the Baily-Borel compactification and the toroidal 
compactificatikon. The relationship between these compactifications is 
subtle and often geometrically interesting. In this talk I will discuss 
several cases, including cubic surfaces and threefolds and 
Deligne-Mostow varieties. This discussion links several areas such as 
birational geometry, moduli spaces of pointed curves, modular forms and 
derived geometry. This talk is based on joint work with S. 
Casalaina-Martin, S. Grushevsky, S. Kondo, R. Laza and Y. Maeda.

In this talk, I will describe recent work in the application of machine learning to explore questions in algebraic geometry, specifically in the context of the study of Q-Fano varieties. These are Q-factorial terminal Fano varieties, and they are the key players in the Minimal Model Program. In this work, we ask and answer if machine learning can determine if a toric Fano variety has terminal singularities. We build a high-accuracy neural network that detects this, which has two consequences. Firstly, it inspires the formulation and proof of a new global, combinatorial criterion to determine if a toric variety of Picard rank two has terminal singularities. Secondly, the machine learning model is used directly to give the first sketch of the landscape of Q-Fano varieties in dimension eight. This is joint work with Tom Coates and Al Kasprzyk.

Bryant’s Laplacian flow is an analogue of Ricci flow that seeks to flow an arbitrary initial closed $G_2$-structure on a 7-manifold toward a torsion-free one, to obtain a Ricci-flat metric with holonomy $G_2$. This talk will give an overview of joint work with Mark Haskins and Rowan Juneman about complete self-similar solutions on the anti-self-dual bundles of ${\mathbb CP}^2$ and $S^4$, with cohomogeneity one actions by SU(3) and Sp(2) respectively. We exhibit examples of all three classes of soliton (steady, expander and shrinker) that are asymptotically conical. In the steady case these form a 1-parameter family, with a complete soliton with exponential volume growth at the boundary of the family. All complete Sp(2)-invariant expanders are asymptotically conical, but in the SU(3)-invariant case there appears to be a boundary of complete expanders with doubly exponential volume growth.

Let $S$ be a smooth projective surface with $p_g>0$ and $H^1(S,{\mathbb Z})=0$. 
We consider the moduli spaces $M=M_S^H(r,c_1,c_2)$ of $H$-semistable sheaves on $S$ of rank $r$ and 
with Chern classes $c_1,c_2$. Associated a suitable class $v$ the Grothendieck group of vector bundles
on $S$ there is a deteminant line bundle $\lambda(v)\in Pic(M)$, and also a tautological sheaf $\tau(v)$ on $M$.

In this talk we derive a conjectural generating function for the virtual Verlinde numbers, i.e. the virtual holomorphic 
Euler characteristics of all determinant bundles $\lambda(v)$ on M, and for Segre invariants associated to $\tau(v)$ . 
The argument is based on conjectural blowup formulas and a virtual version of Le Potier's strange duality. 
Time permitting we also sketch a common refinement of these two conjectures, and their proof for Hilbert schemes of points.
 

The Lagrange multipliers method relates critical points on a submanifold with those on an enlarged space. In derived algebraic geometry, we are allowed to consider a more general type of functions called shifted functions and thus a shifted version of the Lagrange multipliers method. If we start with quasi-smooth derived stacks, the Borisov-Joyce-Oh-Thomas virtual Lagrangian cycle of the critical locus coincides with the cosection localized virtual fundamental cycle of the enlarged space. This immediately implies the quantum Lefschetz principle of Chang-Li and an analogous result for branched covers. Based on a joint work with Hyeonjun Park. 

The relationship between the topological or homotopy-invariant properties of a symplectic manifold X and the set of possible immersed or embedded Lagrangian submanifolds of X is rich and mostly mysterious.  In 2020, D. Alvarez-Gavela, Y. Eliashberg, and D. Nadler proved that any Weinstein manifold (e.g. an affine variety) admitting a Lagrangian plane field retracts onto a Lagrangian submanifold with arboreal singularities (a certain class of singularities which can be described combinatorially). I will discuss work in progress with D. Alvarez-Gavela and T. Large investigating the other direction, in which we prove a partial converse to the AGEN result and show that most Weinstein manifolds do not admit such skeleta. This suggests that the Floer-theoretic invariants of some well-known open symplectic manifolds may be more complicated than expected.

The quadratic Euler characteristic of an algebraic variety is a (virtual) symmetric bilinear form which refines the topological Euler characteristic and contains interesting arithmetic information when the base field is not algebraically closed. For smooth projective varieties, it has a quite concrete expression in terms of the cup product and Serre duality for Hodge cohomology. However, for singular varieties, it is defined abstractly (using either cut and paste relations or motivic homotopy theory) and is still rather mysterious. I will first introduce this invariant and place it in the broader context of quadratic enumerative geometry. I will then explain some progress on concrete computations, first for symmetric powers (joint with Lenny Taelman) and second for conductor formulas for hypersurface singularities (older results with Marc Levine and Vasudevan Srinivas on the one hand, and joint work in progress with Ran Azouri, Niels Feld, Yonathan Harpaz and Tasos Moulinos on the other).