Past Geometry and Analysis Seminar

Conical Symplectic Resolutions form a broad family of holomorphic symplectic manifolds that are of interest to mathematical physicists, algebraic geometers, and representation theorists; Nakajima Quiver Varieties and Hypertoric Varieties are known as their special cases. In this talk, I will be focused on the Symplectic Geometry of Conical Symplectic Resolutions, and its non-symplectic applications. More precisely, I will talk about my work on finding Exact Lagrangian Submanifolds inside CSRs, and work in progress (joint with Alexander Ritter) about the construction of Symplectic Cohomology on CSRs.

The aim of this talk is to describe joint work with Gergely Berczi using a recent extension to non-reductive actions of geometric invariant theory, and its links with moment maps in symplectic geometry, to study hyperbolicity of generic hypersurfaces in a projective space. Using intersection theory for non-reductive GIT quotients applied to  compactifications of bundles of invariant jet differentials over complex manifolds leads to a proof of the Green-Griffiths-Lang conjecture for a generic projective hypersurface of dimension n whose degree is greater than n^6. A recent result of Riedl and Yang then implies the Kobayashi conjecture for generic hypersurfaces of degree greater than (2n-1)^6.

In this talk we will discuss a new approach to non rationality of projective varieties based on HMS. Examples will be discussed.

In this talk I will discuss a new proposal for constructing quantizations of holomorphic Poisson structures, and generalized complex manifolds more generally, which is based on using the A model of an associated symplectic manifold known as a Morita equivalence. This construction will be illustrated through the example of toric Poisson structures.

The Green's function of the Laplace operator has been widely studied in geometric analysis. Manifolds admitting a positive Green's function are called nonparabolic. By Li and Yau, sharp pointwise decay estimates are known for the Green's function on nonparabolic manifolds that have nonnegative Ricci
curvature. The situation is more delicate when curvature is not nonnegative everywhere. While pointwise decay estimates are generally not possible in this
case, we have obtained sharp integral decay estimates for the Green's function on manifolds admitting a Poincare inequality and an appropriate (negative) lower bound on Ricci curvature. This has applications to solving the Poisson equation, and to the study of the structure at infinity of such manifolds.

In the talk I will discuss the  following result and related analytic and geometric questions:   On the boundary of any convex body in the Euclidean space there exists at least one infinite geodesic.

The notion of a higher Segal object was introduces by Dyckerhoff and Kapranov as a general framework for studying (higher) associativity inherent
in a wide range of mathematical objects. Most of the examples are related to Hall algebra type constructions, which include quantum groups. We describe a construction that assigns to a simplicial object S a datum H(S)  which is naturally interpreted as a "d-lax A-infinity algebra” precisely when S is a (d+1)-Segal object. This extends the extensively studied d=2 case.

The first examples of complete holonomy G2 metrics were constructed by Bryant-Salamon and are thus of central importance in geometry, but also in physics, appearing for example in the work of Atiyah-Witten, Acharya-Witten and Acharya-Gukov.   I will describe joint work in progress with Spiro Karigiannis which realises Bryant-Salamon manifolds in dimension 7 as coassociative fibrations.  In particular, I will discuss the relationship of this study to gravitational instantons, conical singularities, and to recent work of Donaldson and Joyce-Karigiannis.

Moduli spaces of polarised varieties (varieties together with an ample line bundle) are not Hausdorff in general. A basic goal of algebraic geometry is to construct a Hausdorff moduli space of some nice class of polarised varieties. I will discuss how one can achieve this goal using the theory of canonical Kähler metrics. In addition I will discuss some fundamental properties of this moduli space, for example the existence of a Weil-Petersson type Kähler metric. This is joint work with Philipp Naumann.

Partition Lie algebras are generalisations of rational differential graded Lie algebras which, by a recent result of Mathew and myself, govern the formal deformation theory of algebro-geometric objects in finite and mixed characteristic. In this talk, we will take a closer look at these new gadgets and discuss some of their applications in algebra and topology

The stack of Higgs bundles of a given rank and degree over a non-singular projective curve can be stratified in two ways: according to its Higgs Harder-Narasimhan type (its instability type) and according to the Harder-Narasimhan type of the underlying vector bundle (instability type of the underlying bundle). The semistable stratum is an open stratum of the former and admits a coarse moduli space, namely the moduli space of semistable Higgs bundles. It can be constructed using Geometric Invariant Theory (GIT) and is a widely studied moduli space due to its rich geometric structure.

In this talk I will explain how recent advances in Non-Reductive GIT can be used to refine the Higgs Harder-Narasimhan and Harder-Narasimhan stratifications in such a way that each refined stratum admits a coarse moduli space. I will explicitly describe these refined stratifications and their intersection in the case of rank 2 Higgs bundles, and discuss the topology and geometry of the corresponding moduli spaces

In this talk we discuss new effective methods to test pairwise containment of arbitrary (possibly singular) subvarieties of any smooth projective toric variety and to determine algebraic multiplicity without working in local rings. These methods may be implemented without using Gröbner bases; in particular any algorithm to compute the number of solutions of a zero-dimensional polynomial system may be used. The methods arise from techniques developed to compute the Segre class s(X,Y) of X in Y for X and Y arbitrary subschemes of some smooth projective toric variety T. In particular, this work also gives an explicit method to compute these Segre classes and other associated objects such as the Fulton-MacPherson intersection product of projective varieties.
These algorithms are implemented in Macaulay2 and have been found to be effective on a variety of examples. This is joint work with Corey Harris (University of Oslo).

I will describe joint work with Bruno Premoselli which gives a new existence theorem for negatively curved Einstein 4-manifolds, which are obtained by smoothing the singularities of hyperbolic cone metrics. Let (M_k) be a sequence of compact 4-manifolds and let g_k be a hyperbolic cone metric on M_k with cone angle \alpha (independent of k) along a smooth surface S_k. We make the following assumptions:

1. The injectivity radius i(k) of M_k tends to infinity (where in defining injectivity radius we ignore those geodesics which hit the cone singularity)

2. The normal injectivity radius of S_k is at least i(k)/2.

3. The area of the singular locii satisfy A(S_k)\leq C \exp(5 i(k)/2) for some C independent of k.

When these assumptions hold, we prove that for all large k, M_k carries a smooth Einstein metric of negative curvature. The proof involves a gluing theorem and a parameter dependent implicit function theorem (where k is the parameter). As I will explain, negative curvature plays an essential role in the proof. (For those who may be aware of our arxiv preprint, https://arxiv.org/abs/1802.00608 [arxiv.org], the work
I will describe has a new feature, namely we now treat all cone angles, and not just those which are greater than 2\pi. This gives lots more examples of Einstein 4-manifolds.)

I will discuss results relating different partially wrapped Fukaya categories.  These include a K\"unneth formula, a `stop removal' result relating partially wrapped Fukaya categories relative to different stops, and a gluing formula for wrapped Fukaya categories.  The techniques also lead to generation results for Weinstein manifolds and for Lefschetz fibrations.  The methods are mainly geometric, and the key underlying Floer theoretic fact is an exact triangle in the Fukaya category associated to Lagrangian surgery along a short Reeb chord at infinity.  This is joint work with Sheel Ganatra and Vivek Shende.

In this talk, we will explain how to construct embedded closed Lagrangian submanifolds in mirror quintic threefolds using tropical curves and the toric degeneration technique. As an example, we will illustrate the construction for tropical curves that contribute to the Gromov–Witten invariant of the line class of the quintic threefold. The construction will in turn provide many homologous and non-Hamiltonian isotopic Lagrangian
rational homology spheres, and a geometric interpretation of the multiplicity of a tropical curve as the weight of a Lagrangian. This is a joint work with Helge Ruddat.

In this talk, we are going to talk about the Type I singularity on 4-dimensional manifolds foliated by homogeneous S3 evolving under the Ricci
flow. We review the study on rotationally symmetric manifolds done by Angenent and Isenberg as well as by Isenberg, Knopf and Sesum. In the latter, a global frame for the tangent bundle, called the Milnor frame, was used to set up the problem. We shall look at the symmetries of the manifold, derived from Lie groups and its ansatz metrics, and this global tangent bundle frame developed by Milnor and Bianchi. Numerical simulations of the Ricci flow on these manifolds are done, following the work by Garfinkle and Isenberg, providing insight and conjectures for the main problem. Some analytic results will be proven for the manifolds S1×S3 and S4 using maximum principles from parabolic PDE theory and some sufficiency conditions for a neckpinch singularity will be provided. Finally, a problem from general relativity with similar metric symmetries but endowed on a manifold with differenttopology, the Taub-Bolt and Taub-NUT metrics, will be discussed.

We consider the two-dimensional Euler flow for an incompressible fluid confined to a smooth domain. We construct smooth solutions with concentrated vorticities around $k$ points which evolve according to the Hamiltonian system for the Kirkhoff-Routh energy,  using an outer-inner solution gluing approach. The asymptotically singular profile  around each point resembles a scaled finite mass solution of Liouville's equation.
We also discuss the {\em vortex filament conjecture} for the three-dimensional case. This is joint work with Juan D\'avila, Monica Musso and Juncheng Wei.

After discussing a general excision technique for constructing canonical orientations for moduli spaces that derive from an elliptic equation, I shall
explain how to carry out this program in the case of G2-instantons and the 7-dimensional real Dirac operator. In many ways our approach can
be regarded as a categorification of the Atiyah-Singer index theorem. (Based on joint work with Dominic Joyce.)

This talk is based on joint work with Dominic Joyce and Markus Upmeier. Issues we'd like to talk about are a) the orientability of moduli spaces that
appear in various gauge-theoretic problems; and b) how to orient those moduli spaces if they are orientable. We begin with briefly mentioning backgrounds and motivation, and recall basics in gauge theory such as the Atiyah-Hitchin-Singer complex and the Kuranishi model by taking the anti-self-dual instanton moduli space as an example. We then describe the orientability and canonical orientations of the anti-self-dual instanton moduli space, and other
gauge-theoretic moduli spaces which turn up in current research interests.

Einstein metrics are fixed points (up to scaling) of Hamilton's Ricci flow. A natural question to ask is whether a given metric is stable in the sense that the flow returns to the Einstein metric under a small perturbation. I'll give a brief survey of this area focussing on the case when the Einstein constant is positive. An interesting class of metrics where this question is not completely resolved are the compact symmetric spaces. I'll report on some recent progress with Tommy Murphy and James Waldron where we have been able to use a criterion due to Kroencke to show the Kaehler-Einstein metric on some Grassmannians and the bi-invariant metric on the Lie group G_2 are unstable.

Amplituhedra are mathematical objects generalising the notion of polytopes into the Grassmannian. Proposed as a geometric construction encoding scattering amplitudes in the four-dimensional maximally supersymmetric Yang-Mills theory, they are mathematically interesting objects on their own. In my talk I strengthen the relation between scattering amplitudes and geometry by linking the amplituhedron to the Jeffrey-Kirwan residue, a powerful concept in symplectic and algebraic geometry. I focus on a particular class of amplituhedra in any dimension, namely cyclic polytopes, and their even-dimensional
conjugates. I show how the Jeffrey-Kirwan residue prescription allows to extract the correct amplituhedron canonical differential form in all these cases. Notably, this also naturally exposes the rich combinatorial structures of amplituhedra, such as their regular triangulations

The goal of the talk will be to introduce a class of functions that answer a question in topology, can be computed via analytic methods more common in the theory of dynamical systems, and in the end turn out to enjoy beautiful modular properties of the type first observed by Ramanujan. If time permits, we will discuss connections with vertex algebras and physics of BPS states which play an important role, but will be hidden "under the hood" in much of the talk.