Past Geometry and Analysis Seminar

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).

We introduce a notion of refined Harder-Narasimhan filtration, defined abstractly for algebraic stacks satisfying natural conditions. Examples include moduli stacks of objects at the heart of a Bridgeland stability condition, moduli stacks of K-semistable Fano varieties, moduli of principal bundles on a curve, and quotient stacks. We will explain how refined Harder-Narasimhan filtrations are closely related both to stratifications and to the asymptotics of certain analytic flows, relating and expanding work of Kirwan and Haiden-Katzarkov-Kontsevich-Pandit, respectively. In the case of quotient stacks by the action of a torus, the refined Harder-Narasimhan filtration can be computed in terms of convex geometry.

The moduli space of torsion-free $G_2$-structures on a compact $7$-manifold $M$ is a smooth manifold, locally diffeomorphic to an open subset of $H^3(M)$. It is endowed with a natural metric which arises as the Hessian of a potential, the properties of which are still poorly understood. In this talk, we will review what is known of the geometry of $G_2$-moduli spaces and present new formulae for the fourth derivative of the potential and the curvatures of the associated metric. We explain some interesting consequences for the simplest examples of $G_2$-manifolds, when the universal cover of $M$ is $\mathbb{R}^7$ or $\mathbb{R}^3 \times K3$. If time permits, we also make some comments on the general case.

For a compact Lie group $G$, its massless Coulomb branch algebra is the $G$-equivariant Borel-Moore homology of its based loop space. This algebra is the same as the algebra of regular functions on the BFM space. In this talk, we will explain how this algebra acts on the equivariant symplectic cohomology of Hamiltonian $G$-manifolds when the symplectic manifolds are open and convex. This is a generalization of the closed case where symplectic cohomology is replaced with quantum cohomology. Following Teleman, we also explain how it relates to the Coulomb branch algebra of cotangent-type representations. This is joint work with Eduardo González and Dan Pomerleano.

On homogeneous spaces, solutions to the prescribed Ricci curvature equation coincide with the critical points of the scalar curvature functional subject to a constraint. We provide a complete description of Palais--Smale sequences for this functional. As an application, we obtain new existence results for the prescribed Ricci curvature equation, which enables us to observe previously unseen phenomena. Joint work with Wolfgang Ziller (University of Pennsylvania).

In this joint work with Filip Zivanovic, we construct symplectic cohomology for a class of symplectic manifolds that admit ${\mathbb C}^*$-actions and which project equivariantly and properly to a convex symplectic manifold. The motivation for studying these is a large class of examples known as Conical Symplectic Resolutions, which includes quiver varieties, resolutions of Slodowy varieties, and hypertoric varieties. These spaces are highly non-exact at infinity, so along the way we develop foundational results to be able to apply Floer theory. Motivated by joint work with Mark McLean on the Cohomological McKay Correspondence, our goal is to describe the ordinary cohomology of the resolution in terms of a Morse-Bott spectral sequence for positive symplectic cohomology. These spectral sequences turn out to be quite computable in many examples. We obtain a filtration on ordinary cohomology by cup-product ideals, and interestingly the filtration can be dependent on the choice of circle action.

Let $(M, g)$ be a Riemannian manifold equipped with a calibration $k$-form $\alpha$. In earlier work with Cheng and Madnick (AJM 2021), we studied the analytic properties of a special class of $k$-harmonic maps into $M$ satisfying a first order nonlinear PDE, whose images (away from a critical set) are $\alpha$-calibrated submanifolds of $M$. We call these maps Smith immersions, as they were originally introduced in an unpublished preprint of Aaron Smith. They have nice properties related to conformal geometry, and are higher-dimensional analogues of the $J$-holomorphic map equation. In new joint work (arXiv:2311.14074) with my PhD student Anton Iliashenko, we have obtained analogous results for maps out of $M$. Slightly more precisely, we define a special class of $k$-harmonic maps out of $M$, satisfying a first order nonlinear PDE, whose fibres (away from a critical set) are $\alpha$-calibrated submanifolds of $M$. We call these maps Smith submersions. I will give an introduction to both of these sets of equations, and discuss many future questions.

Mathematicians have been interested in the problem of compactifying the Jacobian variety of curves since the mid XIX century. In this talk we will discuss how all 'reasonable' compactified Jacobians of nodal curves can be classified combinatorically. This suffices to obtain a combinatorial classification of all 'reasonable' compactified universal (over the moduli spaces of stable curves) Jacobians. This is a joint work with Orsola Tommasi.

After a brief introduction to the semiregularity maps of Severi, Kodaira and Spencer, and Bloch, I will focus on the Buchweitz-Flenner semiregularity map and on its importance for the deformation theory of coherent sheaves.
The subject of this talk is the construction of a lifting of each component of the Buchweitz-Flenner semiregularity map to an L-infinity morphism between DG-Lie algebras, which allows to interpret components of the semiregularity map as obstruction maps of morphisms of deformation functors.

As a consequence, we obtain that the semiregularity map annihilates all obstructions to deformations of a coherent sheaf on a complex projective manifold. Based on a joint work with R. Bandiera and M. Manetti.

We propose a theory of enumerative invariants for structure groups of type B/C/D, that is, for the orthogonal and symplectic groups. For example, we count orthogonal or symplectic principal bundles on projective varieties, and there is also a quiver analogue called self-dual quiver representations. We discuss two different flavours of these invariants, namely, motivic invariants and homological invariants, the former of which can be used to define Donaldson–Thomas invariants in type B/C/D. We also discuss algebraic structures arising from the relevant moduli spaces, including Hall algebras, Joyce's vertex algebras, and modules for these algebras, which are used to write down wall-crossing formulae for our invariants.

We apply recent ideas in Floer homotopy theory to some questions in symplectic topology. We show that Floer homology can detect smooth structures of certain Lagrangians, as well as using this to find restrictions on symplectic mapping class groups. This is based on joint work-in-progress with Ivan Smith.

There are two main methods of constructing compact manifolds with holonomy $G_2$, viz. resolution of singularities (first applied by Joyce) and twisted connect sum (first applied by Kovalev).  In the second case, there is a known invariant (the $\overline{\nu}$-invariant, introduced by Crowley–Goette–Nordström) which can, in many cases, be used to distinguish between different examples.  This invariant, however, has limitations; in particular, it cannot be computed on the $G_2$-manifolds constructed by resolution of singularities.

In this talk, I shall begin by discussing the notion of a $G_2$-manifold and the $\overline{\nu}$-invariant and its limitations.  In the context of this, I shall then introduce two new invariants of $G_2$-manifolds, termed $\mu$-invariants, and explain why these promise to overcome these limitations, in particular being well-suited to, and computable on, Joyce's examples of $G_2$-manifolds.  These invariants are related to $\eta$- and $\zeta$-invariants and should be regarded as the Morse indices of a $G_2$-manifold when it is viewed as a critical point of certain Hitchin functionals.  Time permitting, I shall explain how to prove a closed formula for the invariants on the orbifolds used in Joyce's construction, using Epstein $\zeta$-functions.

Harmonic maps from surfaces to other manifolds is a fundamental object of geometric analysis with many applications, for example to minimal surfaces. In particular, there are many available methods of constructing them such, such as using complex geometry, min-max methods or flow techniques. By contrast, much less is known for harmonic maps from higher dimensional manifolds. In the present talk I will explain the role of dimension in this problem and outline the recent joint work with D. Stern, where we provide a min-max construction for higher-dimensional harmonic maps. If time permits, an application to eigenvalue optimisation problems will be discussed. Based on joint work with D. Stern.