Geometry and Analysis Seminar

When a complex reductive group acts linearly on a projective variety, the GIT quotient can be identified with an appropriate symplectic quotient. The aim of this talk is to discuss an analogue of this description for GIT quotients by suitable non-reductive actions. In general GIT for non-reductive linear algebraic group actions is much less well behaved than for reductive actions. However when the unipotent radical U of a linear algebraic group is graded, in the sense that a Levi subgroup has a central one-parameter subgroup which acts by conjugation on U with all weights strictly positive, then GIT for a linear action of the group on a projective variety has better properties than in the general case, and (at least under some additional conditions) we can ask for moment map descriptions of the quotients.

A C^infinity scheme is a version of a scheme that uses a maximal spectrum. The category of C^infinity schemes contains the category of Manifolds as a full subcategory, as well as being closed under fibre products. In other words, this category is equipped to handle intersection singularities of smooth spaces.

While originally defined in the set up of Synthetic Differential Geometry, C^infinity schemes have more recently been used to describe derived manifolds, for example, the d-manifolds of Joyce. There are applications of this in Symplectic Geometry, such as the describing the moduli space of J-holomorphic forms.

In this talk, I will describe the category of C^infinity schemes, and how this idea can be extended to manifolds with corners. If time, I will mention the applications of this in derived geometry.

I will explain our recent description of the fundamental degrees of freedom underlying a generalized Kahler structure. For a usual Kahler
structure, it is well-known that the geometry is determined by a complex structure, a Kahler class, and the choice of a positive(1,1)-form in this class, which depends locally on only a single real-valued function: the Kahler potential. Such a description for generalized Kahler geometry has been sought since it was discovered in1984. We show that a generalized Kahler structure of symplectic type is determined by a pair of holomorphic Poisson manifolds, a
holomorphic symplectic Morita equivalence between them, and the choice of a positive Lagrangian brane bisection, which depends locally on
only a single real-valued function, which we call the generalized Kahler potential. To solve the problem we make use of, and generalize,
two main tools: the first is the notion of symplectic Morita equivalence, developed by Weinstein and Xu to study Poisson manifolds;
the second is Donaldson's interpretation of a Kahler metric as a real Lagrangian submanifold in a deformation of the holomorphic cotangent bundle.

 

A C^k-extension of a smooth and connected Lorentzian manifold (M,g) is an isometric embedding of M into a proper subset of a connected Lorentzian manifold (N,h) of the same dimension, where the Lorentzian metric h is C^k regular. If no such extension exists, then we say that (M,g) is C^k-inextendible. The study of low-regularity inextendibility criteria for Lorentzian manifolds is motivated by the strong cosmic censorship conjecture in general relativity.

The Schwarzschild spacetime is manifestly inextendible as a Lorentzian manifold with a C^2 regular metric. In this talk I will describe how one
proves the stronger statement that the maximal analytic Schwarzschild spacetime is inextendible as a Lorentzian manifold with a continuous metric.

We study Brownian motion and stochastic parallel transport on Perelman's almost Ricci flat manifold,  whose dimension depends on a parameter $N$ unbounded from above. By taking suitable projections we construct sequences of space-time Brownian motion and stochastic parallel transport whose limit as $N\to \infty$ are the corresponding objects for the Ricci flow. In order to make precise this process of passing to the limit, we study the martingale problems for the Laplace operator on Perelman’s manifold and for the horizontal Laplacian on the corresponding orthonormal frame bundle.

As an application, we see how the characterizations of two-sided bounds on the Ricci curvature established by A. Naber applied to Perelman's manifold lead to the inequalities that characterize solutions of the Ricci flow discovered by Naber and Haslhofer.

This is joint work with Robert Haslhofer.

 

Lagrangian Floer cohomology can be enriched by using local coefficients to record some homotopy data about the boundaries of the holomorphic disks counted by the theory. In this talk I will explain how one can do this under the monotonicity assumption and when the Lagrangians are equipped with local systems of rank higher than one. The presence of holomorphic discs of Maslov index 2 poses a potential obstruction to such an extension. However, for an appropriate choice of local systems the obstruction might vanish and, if not,
one can always restrict to some natural unobstructed subcomplexes. I will showcase these constructions with some explicit calculations for the Chiang Lagrangian in CP^3 showing that it cannot be disjoined from RP^3 by a Hamiltonian isotopy, answering a question of Evans-Lekili. Time permitting, I will also discuss some work-in-progress on the topology of monotone Lagrangians in CP^3, part of which follows from more general joint work with Jack Smith on the topology of monotone Lagrangians of maximal Maslov number in
projective spaces.

 

Stability conditions on derived categories of algebraic varieties and their wall-crossings have given algebraic geometers a number of new tools to study the geometry of moduli spaces of stable sheaves. In work in progress with Macri, Lahoz, Nuer, Perry and Stellari, we are extending this toolkit to a the "relative" setting, i.e. for a family of varieties. Our construction comes with relative moduli spaces of stable objects; this gives additional ways of constructing new families of varieties from a given family, thereby potentially relating different moduli spaces of varieties.

 

I present recently developed iterated residue formulas for tautological integrals over Hilbert schemes of points on  smooth  manifolds. Applications include curve and hypersurface counting formulas. Joint work with Andras Szenes.

 

Symplectic reduction is the natural quotient construction for symplectic manifolds. Given a free and proper action of a Lie group G on a symplectic manifold M, this process produces a new symplectic manifold of dimension dim(M) - 2 dim(G). For non-free actions, however, the result is usually fairly singular. But Sjamaar-Lerman (1991) showed that the singularities can be understood quite precisely: symplectic reductions by non-free actions are partitioned into smooth symplectic manifolds, and these manifolds fit nicely together in the sense that they form a stratification.

Symplectic reduction has an analogue in hyperkähler geometry, which has been a very important tool for constructing new examples of these special manifolds. In this talk, I will explain how Sjamaar-Lerman’s results can be extended to this setting, namely, hyperkähler quotients by non-free actions are stratified
spaces whose strata are hyperkähler.

 

3d N=4 supersymmetric gauge theories provide a method for constructing HyperK\”ahler singularities, known as the Coulomb branch.
This method is complementary to the more traditional way of construction using HyperK\”ahler quotients, known in physics as the “Higgs branch”.
Out of all possible gauge theories there is an interesting subclass of quiver varieties, where the Coulomb branch has been studied in some detail.
Some examples are moduli spaces of classical and exceptional instantons and closures of nilpotent orbits. An interesting feature of Coulomb and Higgs branches is the phenomenon of "3d mirror symmetry” where for a pair of gauge theories, the Higgs branch and Coulomb branch exchange.
There is a large class of “mirror pairs” which I will discuss in some detail.

A topic of recent interest is the notion of implosions. I will argue that there is a simple operation on the quiver which leads to implosion. In other words, given a quiver such that its Coulomb branch is moduli space A, a simple operation of the quiver (making a bouquet) provides the implosion of A.
This has been tested on closures of nilpotent orbits of A type and on nilpotent cones of orthogonal groups and found to agree with the expected results.
If time permits, I will discuss isometries of Coulomb branches