Past Algebraic and Symplectic Geometry Seminar

Tropicalization replaces a variety by a polyhedral complex that is a "combinatorial shadow" of the original variety.  This allows algebraic geometric problems to be attacked using combinatorial and
polyhedral techniques.  While this idea has proved surprisingly effective over the last decade, it has so far been restricted to the study of varieties and algebraic cycles.  I will discuss joint work with Felipe Rincon, building on work of Jeff and Noah Giansiracusa, to understand tropicalizing schemes, and more generally the concept of a tropical scheme.

We describe the cohomology of moduli spaces of points on schemes over Abelian varieties and give explicit calculations for schemes in dimensions less that three. The construction of Gulbrandsen allows one to consider virtual motives in dimension three. In particular we see a new proof of his conjectures on the Euler numbers of generalized Kummer schemes recently proven by Shen. Joint work in progress with Junliang Shen.

I will talk about recent joint work with Amin Gholampour, Richard Thomas and Yukinobu Toda, on an algebraic-geometric proof of the S-duality conjecture in superstring theory, made formerly by physicists Gaiotto, Strominger, Yin, regarding the modularity of DT invariants of sheaves supported on hyperplane sections of the quintic Calabi-Yau threefold. Our strategy is to first use degeneration and localization techniques to reduce the threefold theory to a certain intersection theory over relative Hilbert scheme of points on surfaces and then prove modularity; More precisely, together with Gholampour we have proven that the generating series, associated to the top intersection numbers of the Hibert scheme of points, relative to an effective divisor, on a smooth quasi-projective surface is a modular form. This is a generalization of the result of Okounkov-Carlsson for absolute Hilbert schemes. These intersection numbers, together with the generating series of Noether-Lefschetz numbers, will provide the ingrediants to prove modularity of the above DT invariants over the quintic threefold.

Donaldson-Thomas theory for Calabi-Yau 3-folds is a complexification of Chern-Simons theory. In this talk, I will discuss joint work with Naichung Conan Leung on the complexification of Donaldson theory.

Given a Lagrangian submanifold invariant under a Hamiltonian loop, we partially compute the image of the loop's Seidel element under the closed-open string map into the Hochschild cohomology of the Lagrangian. This piece captures the homology class of the loop's orbits on the Lagrangian and can help to prove that the closed-open map is injective in some examples. As a corollary we prove that $\mathbb{RP}^n$ split-generates the Fukaya category of $\mathbb{CP}^n$ over a field of characteristic 2, and the same for real loci of some other toric  varieties.

I will speak about weak Fano 3-folds, K3 surfaces and their Picard lattices, and explain how to solve the matching problem in various situations.

In recent years, some powerful tools for computing semi-orthogonal decompositions of derived categories of algebraic varieties have been developed: Kuznetsov's theory of homological projective duality and the closely related technique of VGIT for LG models. In this talk I will explain how the latter works and how it can be used to understand the derived categories of complete intersections in Sym^2(P^n). As a consequence, we obtain a new proof of result of Hosono and Takagi, which says that a certain pair of non-birational Calabi-Yau 3-folds are derived equivalent.

The goal of this talk is to discuss a link between the Homogeneous Monge Ampere Equation in complex geometry, and a certain flow in the plane motivated by some fluid mechanics.   After discussing and motivating the Dirichlet problem for this equation I will focus to what is probably the first non-trivial case that one can consider, and prove that it is possible to understand regularity of the solution in terms of what is known as the Hele-Shaw flow in the plane. As such we get, essentially explicit, examples of boundary data for which there is no regular solution, contrary to previous expectation.  All of this is joint work with David Witt Nystrom.

Donaldson-Thomas invariants are fundamental deformation invariants of Calabi-Yau threefolds. We describe a recent conjecture of Oberdieck and Pandharipande which predicts that the (three variable) generating function for the Donaldson-Thomas invariants of K3xE is given by the reciprocal of the Igusa cusp form of weight 10. For each fixed K3 surface of genus g, the conjecture predicts that the corresponding (two variable) generating function is given by a particular meromorphic Jacobi form. We prove the conjecture for K3 surfaces of genus 0 and genus 1. Our computation uses a new technique which mixes motivic and toric methods.

Rationally and polynomially convex domains in ${\mathbb C}^n$ are fundamental objects of study in the theory of functions of several complex variables. After defining and illustrating these notions, I will explain joint work with Y.Eliashberg giving a complete characterization of the possible topologies of such domains in complex dimension at least three. The proofs are based on recent progress in symplectic topology, most notably the h-principles for loose Legendrian knots and Lagrangian caps.

 In a previous work, we introduced a refinement of Juhasz’s sutured Floer homology, and constructed a minus theory for sutured manifolds, called sutured Floer chain complex. In this talk, we introduce a new description of sutured manifolds as “tangles” and describe a notion of cobordism between them. Using this construction, we define a cobordism map between the corresponding sutured Floer chain complexes. We also discuss some possible applications. This is a joint work with Eaman Eftekhary.

I will explain an approach to Hamiltonian reduction using derived
symplectic geometry. Roughly speaking, the reduced space can be
presented as an intersection of two Lagrangians in a shifted symplectic
space, which therefore carries a natural symplectic structure. A slight
modification of the construction gives rise to quasi-Hamiltonian
reduction. This talk will also serve as an introduction to the wonderful
world of derived symplectic geometry where statements that morally ought
to be true are indeed true.

Using the fact that certain exotic spheres do not admit Lagrangian embeddings into $T^*{\mathcal S}^{n+1}$, as proven by Abouzaid and Ekholm-Smith, we produce non-trivial homotopy classes of the group of compactly supported symplectomorphisms of $T^*{\mathcal S}^n$. In particular, we show that the Hamiltonian isotopy class of the symplectic Dehn twist depends on the parametrisation used in the construction.  Related results are also obtained for $T^*({\mathcal S}^n \times {\mathcal S}^1)$.

Joint work with Jonny Evans.

The goal of this second talk is to study the existence of global jet differentials. Thanks to the algebraic Morse inequalities, the problem reduces to the computation of a certain Chern number on the Demailly tower of projectivized jet bundles. We will describe the significant simplification due to Berczi consisting in integrating along the fibers of this tower by mean of an iterated residue formula. Beside the original argument coming from equivariant geometry, we will explain our alternative proof of such a formula and we will particularly be interested in the interplay between the two approaches.

Hyperbolicity is the study of the geometry of holomorphic entire curves $f:\mathbb{C}\to X$, with values in a given complex manifold $X$. In this introductary first talk, we will give some definitions and provide historical examples motivating the study of the hyperbolicity of complements $\mathbb{P}^{n}\setminus X_{d}$ of projective hypersurfaces $X_{d}$ having sufficiently high degree $d\gg n$.

Then, we will introduce the formalism of jets, that can be viewed as a coordinate free description of the differential equations that entire curves may satisfy, and explain a successful general strategy due to Bloch, Demailly, Siu, that relies in an essential way on the relation between entire curves and jet differentials vanishing on an ample divisor.

We will give an idea of derived algebraic geometry and sketch a number of more or less recent directions, including derived symplectic geometry, derived Poisson structures, quantizations of moduli spaces, derived analytic geometry, derived logarithmic geometry and derived quadratic structures.

Auctioneers may wish to sell related but different indivisible goods in

a single process. To develop such techniques, we study the geometry of

how an agent's demanded bundle changes as prices change. This object

is the convex-geometric object known as a `tropical hypersurface'.

Moreover, simple geometric properties translate directly to economic

properties, providing a new taxonomy for economic valuations. When

considering multiple agents, we study the unions and intersections of

the corresponding tropical hypersurfaces; in particular, properties of

the intersection are deeply related to whether competitive equilibrium

exists or fails. This leads us to new results and generalisations of

existing results on equilibrium existence. The talk will provide an

introductory tour to relevant economics to show the context of these

applications of tropical geometry. This is joint work with Paul

Klemperer.

Hamiltonian reduction arose as a mechanism for reducing complexity of systems in mechanics, but it also provides a tool for constructing complicated but interesting objects from simpler ones. I will illustrate how this works in representation theory and algebraic geometry via examples. I will describe a new structure theory, motivated by Hamiltonian reduction (and in particular the Morse theory that results), for some categories (of D-modules) of interest to representation theorists. I will then explain how this implies a modified form of "hyperkahler Kirwan surjectivity" for the cohomology of certain Hamiltonian reductions. The talk will not assume that members of the audience know the meaning of any of the above-mentioned terms. The talk is based on joint work with K. McGerty.

After Gromov's foundational work in 1985, problems of symplectic embeddings lie in the heart of symplectic geometry. The Gromov width of a symplectic manifold

$(M, \omega)$ is a symplectic invariant that measures, roughly speaking, the size of the biggest ball we can symplectically embed in it. I will discuss tecniques to compute the Gromov width of a special family of symplectic manifolds, the moduli spaces of polygons in real $3$-space. Under some genericity assumptions on the edge lengths, the polygon space is a symplectic manifold; in fact, it is a symplectic reduction of Grassmannian of 2-planes in complex $n$-space. After introducing this family of manifolds we will concentrate on the spaces of 5-gons and calculate for their Gromov width. This is joint work with Milena Pabiniak, IST Lisbon.

Mirror Symmetry predicts a surprising relationship between the virtual numbers of degree-d rational curves in a target space X and variations of Hodge structure on a different space X’, called the mirror to X.  Concretely, it predicts that one can compute genus-zero Gromov–Witten invariants (which are the virtual numbers of rational curves) in terms of hypergeometric functions (which are the solutions to a differential equation that controls the variation of Hodge structure).  Existing proofs of this rely on beautiful but fearsomely complicated localization calculations in equivariant cohomology.  I will describe a new proof of the Mirror Theorem, for a broad range of target spaces X, which is much simpler and more conceptual. This is joint work with Cristina Manolache.

Counting curves with given topological properties in a variety is a very old question. Example questions are: How many conics pass through five points in a plane, how many lines are there on a Calabi-Yau 3-fold? There are by now several ways to count curves and the numbers coming from different curve counting theories may be different. We would then like to have methods to compare these numbers. I will present such a general method and show how it works in the case of stable maps and stable quasi-maps.

I will discuss some very well studied cohomology groups that turn out to be captured by the machinery of critical CoHAs, for example the compactly supported cohomology of singular quiver varieties and untwisted character varieties. I will explain the usefulness of this extra CoHA structure on these groups, starting with a new proof of the Kac conjecture, and discuss a conjectural form for the CoHA associated to untwisted character varieties that provides a new way to think about the conjectures of Hausel and Rodriguez-Villegas. Finally I will discuss an approach to purity for the compactly supported cohomology of quiver varieties and a related approach to a conjecture of Shiffmann and Vasserot, analogous to Kirwan surjectivity for the stack of commuting matrices.

The cohomological Hall algebra of vanishing cycles associated to a quiver with potential is a categorification of the refined DT invariants associated to the same data, and also a very powerful tool for calculating them and proving positivity and integrality conjectures. This becomes especially true if the quiver with potential is "self dual" in a sense to be defined in the talk. After defining and giving a general introduction to the relevant background, I will discuss the main theorem regarding such CoHAs: they are free supercommutative.