14:15
Forthcoming events in this series
14:15
14:15
Hessian geometry of $G_2$-moduli spaces
Abstract
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.
14:15
Loop group action on symplectic cohomology
Abstract
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.
14:15
Palais-Smale sequences for the prescribed Ricci curvature functional
Abstract
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).
14:15
Infinite-time Singularities of Lagrangian Mean Curvature Flow
Abstract
14:15
Floer cohomology for symplectic ${\mathbb C}^*$-manifolds
Abstract
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.
14:15
A special class of $k$-harmonic maps inducing calibrated fibrations
Abstract
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.
14:15
Stability conditions for line bundles on nodal curves
Abstract
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.
14:15
L-infinity liftings of semiregularity maps and deformations
Abstract
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.
14:15
A theory of type B/C/D enumerative invariants
Abstract
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.
14:15
Floer theory and cobordism classes of exact Lagrangians
Abstract
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.
14:15
The New $\mu$-Invariants: Infinite-Dimensional Morse Indices and New Invariants of $G_2$-Manifolds
Abstract
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.
14:15
Existence of harmonic maps in higher dimensions
Abstract
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.
14:15
Einstein metrics on the Ten-Sphere
Abstract
In this talk we give an introduction to the topic of Einstein metrics on spheres. In particular, we prove the existence of three non-round Einstein metrics with positive scalar curvature on $S^{10}.$ Previously, the only even-dimensional spheres known to admit non-round Einstein metrics were $S^6$ and $S^8.$ This talk is based on joint work with Jan Nienhaus.
14:15
Vertex algebras from divisors on Calabi-Yau threefolds
Abstract
We construct vertex algebras associated to divisors $S$ in toric Calabi-Yau threefolds $Y$, satisfying conjectures of Gaiotto-Rapcak and Feigin-Gukov, and in particular such that the characters of these algebras are given by a local analogue of the Vafa-Witten partition function of the underlying reduced subvariety $S^{red}$. These results are part of a broader program to establish a dictionary between the enumerative geometry of coherent sheaves on surfaces and Calabi-Yau threefolds, and the representation theory of vertex algebras and affine Yangian-type quantum groups.
14:15
How homotopy theory helps to classify algebraic vector bundles
Abstract
Classically, topological vector bundles are classified by homotopy classes of maps into infinite Grassmannians. This allows us to study topological vector bundles using obstruction theory: we can detect whether a vector bundle has a trivial subbundle by means of cohomological invariants. In the context of algebraic geometry, one can ask whether algebraic vector bundles over smooth affine varieties can be classified in a similar way. Recent advances in motivic homotopy theory give a positive answer, at least over an algebraically closed base field. Moreover, the behaviour of vector bundles over general base fields has surprising connections with the theory of quadratic forms.
15:30
Computing vertical Vafa-Witten invariants
Abstract
I'll present a computation in the algebraic approach to Vafa-Witten invariants of projective surfaces, as introduced by Tanaka-Thomas. The invariants are defined by integration over moduli spaces of stable Higgs pairs on surfaces and are formed from contributions of components. The physical notion of S-duality translates to conjectural symmetries between these contributions. One component, the "vertical" component, is a nested Hilbert scheme on a surface. I'll explain work in preparation with M. Kool and T. Laarakker in which we express invariants of this component in terms of a certain quiver variety, the instanton moduli space of torsion-free framed sheaves on $\mathbb{P}^2$. Using a recent identity of Kuhn-Leigh-Tanaka, we deduce constraints on Vafa-Witten invariants conjectured by Göttsche-Kool-Laarakker. One consequence is a formula for the contribution of the vertical component to refined Vafa-Witten invariants in rank 2.
14:15
Resolutions of finite quotient singularities and quiver varieties
Abstract
Finite quotient singularities have a long history in mathematics, intertwining algebraic geometry, hyperkähler geometry, representation theory, and integrable systems. I will highlight the correspondences at play here and how they culminate in Nakajima quiver varieties, which continue to attract interest in geometric representation theory and physics. I will motivate some recent work of G. Bellamy, A. Craw, T. Schedler, H. Weiss, and myself in which we show that, remarkably, all of the resolutions of a particular finite quotient singularity are realized by a certain Nakajima quiver variety, namely that of the 5-pointed star-shaped quiver. I will place this work in the wider context of the search for McKay-type correspondences for finite subgroups of $\mathrm{SL}(n,\mathbb{C})$ on the one hand, and of the construction of finite-dimensional-quotient approximations to meromorphic Hitchin systems and their integrable systems on the other hand. The Hitchin system perspective draws upon my prior joint works with each of J. Fisher and L. Schaposnik, respectively. Time permitting, I will speculate upon the symplectic duality of Higgs and Coulomb branches in this setting.
14:15
Ancient solutions to the Ricci flow coming out of spherical orbifolds
Abstract
Given a 4-dimensional Einstein orbifold that cannot be desingularized by smooth Einstein metrics, we investigate the existence of an ancient solution to the Ricci flow coming out of such a singular space. In this talk, we will focus on singularities modeled on a cone over $\mathbb{R}P^3$ that are desingularized by gluing Eguchi-Hanson metrics to get a first approximation of the flow. We show that a parabolic version of the corresponding obstructed gluing problem has a smooth solution: the bubbles are shown to grow exponentially in time, a phenomenon that is intimately connected to the instability of such orbifolds. Joint work with Tristan Ozuch.
14:15
Higher algebra of $A_\infty$-algebras in Morse theory
Abstract
In this talk, I will introduce the notion of $n$-morphisms between two $A_\infty$-algebras. These higher morphisms are such that 0-morphisms correspond to standard $A_\infty$-morphisms and 1-morphisms correspond to $A_\infty$-homotopies. Their combinatorics are encoded by new families of polytopes, which I call the $n$-multiplihedra and which generalize the standard multiplihedra.
Elaborating on works by Abouzaid and Mescher, I will then explain how this higher algebra of $A_\infty$-algebras naturally arises in the context of Morse theory, using moduli spaces of perturbed Morse gradient trees.
14:15
Stability of weak Cayley fibrations
Abstract
The SYZ conjecture is a geometric way of understanding mirror symmetry via the existence of dual special Lagrangian fibrations on mirror Calabi-Yau manifolds. Motivated by this conjecture, it is expected that $G_2$ and $Spin(7)$-manifolds admit calibrated fibrations as well. I will explain how to construct examples of a weaker type of fibration on compact $Spin(7)$-manifolds obtained via gluing, and give a hint as to why the stronger fibrations are still elusive. The key ingredient is the stability of the weak fibration property under deformation of the ambient $Spin(7)$-structure.
15:30
Topological recursion, exact WKB analysis, and the (uncoupled) BPS Riemann-Hilbert problem
Abstract
14:15
Degenerating conic Kähler-Einstein metrics
Abstract
I will discuss a joint work with Olivier Biquard about degenerating conic Kähler-Einstein metrics by letting the cone angle go to zero. In the case where one is given a smooth anticanonical divisor $D$ in a Fano manifold $X$, I will explain how the complete Ricci flat Tian-Yau metric on $X \smallsetminus D$ appears as rescaled limit of such conic KE metrics.
14:15
The differential geometry of four-dimensional Abelian gauge theory: a new notion of self-duality?
Abstract
I will construct the differential geometric, gauge-theoretic, and duality covariant model of classical four-dimensional Abelian gauge theory on an orientable four-manifold of arbitrary topology. I will do so by implementing the Dirac-Schwinger-Zwanziger (DSZ) integrality condition in classical Abelian gauge theories with general duality structure and interpreting the associated sheaf cohomology groups geometrically. As a result, I will obtain that four-dimensional Abelian gauge theories are theories of connections on Siegel bundles, namely principal bundles whose structure group is the generically non-abelian disconnected group of automorphisms of an integral affine symplectic torus. This differential-geometric model includes the electric and magnetic gauge potentials on an equal footing and describes the equations of motion through a first-order polarized self-duality condition for the curvature of a connection. This condition is reminiscent of the theory of four-dimensional Euclidean instantons, even though we consider a two-derivative theory in Lorentzian signature. Finally, I will elaborate on various applications of this differential-geometric model, including a mathematically rigorous description of electromagnetic duality in Abelian gauge theory and the reduction of the polarized self-duality condition to a Riemannian three-manifold, which gives as a result a new type of Bogomolny equation.
14:15
Morse theory on moduli spaces of pairs and the Bogomolov-Miyaoka-Yau inequality
Abstract
We describe an approach to Bialynicki-Birula theory for holomorphic $\mathbb{C}^*$ actions on complex analytic spaces and Morse-Bott theory for Hamiltonian functions for the induced circle actions. A key principle is that positivity of a suitably defined "virtual Morse-Bott index" at a critical point of the Hamiltonian function implies that the critical point cannot be a local minimum even when it is a singular point in the moduli space. Inspired by Hitchin’s 1987 study of the moduli space of Higgs monopoles over Riemann surfaces, we apply our method in the context of the moduli space of non-Abelian monopoles or, equivalently, stable holomorphic pairs over a closed, complex, Kaehler surface. We use the Hirzebruch-Riemann-Roch Theorem to compute virtual Morse-Bott indices of all critical strata (Seiberg-Witten moduli subspaces) and show that these indices are positive in a setting motivated by a conjecture that all closed, smooth four-manifolds of Seiberg-Witten simple type (including symplectic four-manifolds) obey the Bogomolov-Miyaoka-Yau inequality.