Geometry and Analysis Seminar

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

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

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.

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

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.