Past Geometry and Analysis Seminar

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.

Introduced by Konno, hyperpolygon spaces are examples of Nakajima quiver varieties.  The simplest of these is a noncompact complex surface admitting the structure of a gravitational instanton, and therefore fits nicely into the Kronheimer-Nakajima classification of complete ALE hyperkaehler 4-manifolds, which is a geometric realization of the McKay correspondence for finite subgroups of SU(2).  For more general hyperpolygon spaces, we can speculate on how
this classification might be extended by studying the geometry of hyperpolygons at "infinity". This is ongoing work with Hartmut Weiss.

We describe the moduli space of distributions in terms of Grothendieck’s Quot-scheme for the tangent bundle. In certain cases, we show that the moduli space of codimension one distributions on the projective space is an irreducible, nonsingular quasi-projective variety.

 We study codimension one holomorphic distributions on projective three-space, analyzing the properties of their singular schemes and tangent sheaves. In particular, we provide a classification of codimension one distributions of degree at most 2. We show how the connectedness of the curves in the singular sets of foliations is an integrable phenomenon. This part of the  talk  is work joint with  M. Jardim(Unicamp) and O. Calvo-Andrade(Cimat).

We also study foliations by curves via the investigation  of their  singular schemes and  conormal  sheaves and we provide a classification  of foliations of degree at most 3 with  conormal  sheaves locally free.  Foliations of degrees  1 and 2 are aways given by a global intersection of two codimension one distributions. In the classification of degree 3 appear Legendrian foliations, foliations whose  conormal sheaves are instantons and other ” exceptional”
type examples. This part of the  talk   is  work joint with  M. Jardim(Unicamp) and S. Marchesi(Unicamp).

The Beilinson-Drinfeld Grassmannian, which classifies a G-bundle trivialised away from a finite set of points on a curve, is one of the basic objects in the geometric Langlands programme. Similar construction in higher dimensions in the algebraic and analytic settings are not very interesting because of Hartogs' theorem. In this talk I will discuss a differentiable version. I will also explain a theory of D-modules on differentiable spaces and use it
to define differentiable chiral and factorisation algebras. By linearising the Grassmannian we get examples of differentiable chiral algebras. This is joint work with Dennis Borisov.

In recent joint work with Lorenzo Foscolo and Johannes Nordstr\”om we gave an analytic construction of large families of complete circle-invariant $G_2$
holonomy metrics on the total space of circle bundles over a complete noncompact Calabi—Yau 3-fold with asymptotically conical geometry. The
asymptotic models for the geometry of these $G_2$ metrics are circle bundles with fibres of constant length $l$, so-called asymptotically local conical
(ALC) geometry. These ALC $G_2$ metrics can Gromov—Hausdorff collapse with bounded curvature to the given asymptotically conical Calabi—Yau 3-fold as the fibre length $l$ goes to $0$. A natural question is: what happens to these families of $G_2$ metrics as we try to make $l$ large? In general the answer to this question is not known, but in cases with sufficient symmetry we have recently been able to give a complete picture.  

We give an overview of all these results and discuss some analogies with the class of asymptotically locally flat (ALF) hyperkaehler 4-manifolds. In
particular we suggest that a particular $G_2$ metric we construct should be regarded as a $G_2$ analogue of the Euclidean Taub—NUT metric on the complex plane.

In this talk, we consider the question of exact (boundary) controllability of wave equations: whether one can steer their solutions from any initial state to any final state using appropriate boundary data. In particular, we discuss new and fully general results for linear wave equations on time-dependent domains with moving boundaries. We also discuss the novel geometric Carleman estimates that are the main tools for proving these controllability results

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.

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.

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.

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.

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.

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

For many moduli problems, in order to construct a moduli space as a geometric invariant theory quotient, one needs to impose a notion of (semi)stability. Using recent results in non-reductive geometric invariant theory, we explain how to stratify certain moduli stacks in such a way that each stratum admits a coarse moduli space which is constructed as a geometric quotient of an action of a linear algebraic group with internally graded unipotent radical. As many stacks are
naturally filtered by quotient stacks, this involves describing how to stratify certain quotient stacks. Even for quotient stacks for reductive group actions, we see that non-reductive GIT is required to construct the coarse moduli spaces of the higher strata. We illustrate this point by studying the example of the moduli stack of coherent sheaves over a projective scheme. This is joint work with G. Berczi, J. Jackson and F. Kirwan.

I will talk about recent work, joint with M. Gröchenig and D. Wyss, on two related results involving the cohomology of moduli spaces of Higgs bundles. The first is a positive answer to a conjecture of Hausel and Thaddeus which predicts the equality of suitably defined Hodge numbers of moduli spaces of Higgs bundles with SL(n)- and PGL(n)-structure. The second is a new proof of Ngô's geometric stabilization theorem which appears in the proof of the fundamental lemma. I will give an introduction to these theorems and outline our argument, which, inspired by work of Batyrev, proceeds by comparing the number of points of these moduli spaces over finite fields via p-adic integration.

In real dimension two, the symplectic mapping class group of a surface agrees with its `classical' mapping class group, whose properties are well-understood. To what extend do these generalise to higher-dimensions? We consider specific pairs of symplectic manifolds (S, M), where S is a surface, together with collections of Lagrangian spheres in S and in M, say v_1, ...,v_k and V_1, ...,V_k, that have analogous intersection patterns, in a sense that we will make precise. Our main theorem is that any relation between the Dehn twists in the V_i must also hold between Dehn twists in the v_i. Time allowing, we will give some corollaries, such as embeddings of certain interesting groups into auto-equivalence groups of Fukaya categories.

First, we will discuss sequences of closed minimal hypersurfaces (in closed Riemannian manifolds of dimension up to 7) that have uniformly bounded index and area. In particular, we explain a bubbling result which yields a bound on the total curvature along the sequence and, as a consequence, topological control in terms of index and area. We then specialise to minimal surfaces in ambient manifolds of dimension 3, where we use the bubbling analysis to obtain smooth multiplicity-one convergence under bounds on the index and genus. This is joint work with Lucas Ambrozio, Alessandro Carlotto, and Ben Sharp

 The basic algebra-geometry dictionary for finitely generated k-algebras is one of the triumphs of 19th and early 20th century mathematics.  However, classes of related rings, such as their k-subalgebras, lack clean general properties or organizing principles, even when they arise naturally in problems of smooth projective geometry.  “Stabilization” in smooth topology and symplectic geometry, achieved by products with Euclidean space, substantially simplifies many
problems.  We discuss an analog in the more rigid setting of algebraic and arithmetic geometry, which, among other things (e.g., applications to counting rational points), gives some structure to the study of k-subalgebras.  We focus on the case of the moduli space of stable rational n-pointed curves to illustrate.

A bold conjecture of Boyer-Gorden-Watson and others posit that for any irreducible rational homology 3-sphere M the following three conditions are equivalent: (1) the fundamental group of M is left-orderable, (2) M has non-minimal Heegaard Floer homology, and (3) M admits a co-orientable taut foliation. Very recently, this conjecture was established for all graph manifolds by the combined work of Boyer-Clay and Hanselman-Rasmussen-Rasmussen-Watson. I will discuss a computational survey of these properties involving half a million hyperbolic 3-manifolds, including new or at least improved techniques for computing each of these properties.
 

In this talk two different methods for constructing complete steady and expanding Ricci solitons of cohomogeneity one will be discussed. The first is based on an estimate on the growth of the soliton potential and holds for large classes of cohomogeneity one manifolds. The second approach is specific to the two summands case and uses a Lyapunov function. This method also carries over to the Einstein case and as an application, a simplified construction of B\"ohm's Einstein metrics of positive scalar curvature on spheres will be explained.

Associated to a finite graph without loops is the Kac-Moody Lie algebra for the Cartan matrix whose off diagonal entries are (minus) the adjacency matrix for the graph.  Two famous conjectures of Kac, proved by Hausel, Letellier and Villegas, hint that there may be some larger cohomologically graded algebra associated to the graph (even if there are loops), providing "higher" Kac moody Lie algebras, or at least their positive halves.  Using work with Sven Meinhardt, I will give a geometric construction of the (full) Kac-Moody algebra for a general finite graph, using cohomological DT theory.  Along the way we'll see a proof of the positivity conjecture for the modified Kac polynomials of Bozec, Schiffmann and Vasserot counting various types of representations of quivers.

A generic surface homeomorphism (up to isotopy) is what we call it pseudo-Anosov. These maps come equipped with an algebraic integer that measures
how much the map stretches/shrinks in different direction, called the stretch factor. Given a surface homeomorsphism, one can ask if it is the lift (by a branched or unbranched cover) of another homeomorphism on a simpler surface possibly of small genus. Farb conjectured that if the algebraic degree of the stretch factor is bounded above, then the map can be obtained by lifting another homeomorphism on a surface of bounded genus.
This was known to be true for quadratic algebraic integers by a Theorem of Franks-Rykken. We construct counterexamples to Farb's conjecture.