Past Algebraic and Symplectic Geometry Seminar

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.

We will start with a recollection on factorization algebras and factorization homology. We will then explain what fully extended TFTs are, after Jacob Lurie. And finally we will see how factorization homology can be turned into a fully extended TFT. This is a joint work with my student Claudia Scheimbauer.

We will explain how the result of Pantev-Toën-Vaquié-Vezzosi, about shifted symplectic structures on mapping stacks, can be extended to relative mapping stacks and Lagrangian structures. We will also provide applications in ordinary symplectic geometry and topological field theories.

The talk will focus on how the asymptotic behavior of the Riemann-Hilbert correspondence (and, conjecturally, the non-abelian Hodge correspondence) on a Riemann surface is controlled by certain harmonic maps from the Riemann surface to affine buildings. This is part of joint work with Katzarkov, Noll and Simpson, which revisits, from the perspective afforded by the theory of harmonic maps to buildings, the work of Gaiotto, Moore and Neitzke on spectral networks, WKB problems, BPS states and wall-crossing.

The classical Deligne conjecture (now a theorem with several published proofs) says that chains on the little disks operad act on Hochschild cohomology.  I'll describe a higher dimensional generalization of this result.  In fact, even in the dimension of the original Deligne conjecture the generalization has something new to say:  Hochschild chains and Hochschild cochains are the first two members of an infinite family of chain complexes associated to an arbitrary associative algebra, and there is a colored, higher genus operad which acts on these chain complexes.  The Connes differential and Gerstenhaber bracket are two of the simplest generators of the homology of this operad, and I'll show that there exist additional, independent generators.  These new generators are close cousins of Connes and Gerstenhaber which, so far as I can tell, have not been described in the literature.

In 1992 (or thereabouts) Bloch and Kriz gave the first explicit definition of the category of mixed Tate motives (MTM). Their definition relies heavily on the theory of algebraic cycles. Unfortunately, traditional methods of representing algebraic cycles (such as in terms of formal linear combinations of systems of polynomial equations) are notoriously difficult to work with, so progress in capitalizing on this description of the category to illuminate outstanding conjectures in the field has been slow. More recently, Gangl, Goncharov, and Levin suggested a simpler way to understand this category (and by extension, algebraic cycles more generally) by relating specific algebraic cycles to rooted, decorated, planar trees. In our talks, describing work in progress, we generalize this correspondence and attempt to systematize the connection between algebraic cycles and graphs. We will construct a Lie coalgebra L from a certain algebra of admissible graphs, discuss various properties that it satisfies (such as a well defined and simply described realization functor to the category of mixed Hodge structures), and relate the category of co-representations of L to the category MTM. One promising consequence of our investigations is the appearance of alternative bases of rational motives that have not previously appeared in the literature, suggesting a richer rational structure than had been previously suspected. In addition, our results give the first bounds on the complexity of computing admissibility of algebraic cycles, a previously unexplored topic.

I will explain how, given a crepant morphism with one-dimensional fibres between 3-folds, it is possible to use noncommutative deformations to run the MMP in a satisfyingly algorithmic fashion.  As part of this, a flop is viewed homologically as the solution to a universal property, and so is constructed not by changing GIT, but instead by changing the algebra. Carrying this extra information of the new algebra allows us to continue to flop, and thus continue the MMP, without having to calculate everything from scratch. Proving things in this manner does in fact have other consequences too, and I will explain some them, both theoretical and computational.

Crossed simplicial groups were introduced independently by Krasauskas and Fiedorowicz-Loday as analogues of Connes' cyclic category. In this talk, I will explain a new perspective on a certain class of crossed simplicial groups, relating them to structured surfaces. This provides a combinatorial approach to categorical invariants of surfaces which leads to known, expected, and new examples. (Based on joint work with Mikhail Kapranov.)

I will explain how to compute the symplectic cohomology of a manifold $M$ conical at infinity, whose Reeb flow at infinity arises from a Hamiltonian circle-action on $M$. For example, this allows one to compute the symplectic cohomology of negative line bundles in terms of the quantum cohomology, and (in joint work with Ivan Smith) via the open-closed string map one can determine the wrapped Fukaya category of negative line bundles over projective space. In this talk, I will show that one can explicitly compute the quantum cohomology and symplectic cohomology of Fano toric negative line bundles, which are in fact different cohomology groups, and surprisingly it is actually the symplectic cohomology which recovers the Jacobian ring of the Landau-Ginzburg superpotential.

Special Lagranigian submanifolds are area-minimizing Lagrangian submanifolds of Calabi--Yau manifolds. One can define the moduli space of compact special Lagrangian submanifolds of a (fixed) Calabi--Yau manifold. Mclean proves it has a structure of manifold (of dimension finite). It isn't compact in general, but one can compactify it by using geometric measure theory.

Kontsevich conjectured a mirror symmetry, and special Lagrangians should be "mirror" to holomorphic vector bundles. By using algebraic geometry one can compactify the moduli space of holomorphic vector bundles. By "counting" holomorphic vector bundles in Calabi--Yau 3-folds Richard Thomas defined holomorphic Casson invariants (Donaldson-Thomas invariants).

So far as I know it's an open question (probably very difficult) whether one can "count" special Lagrangians, or define a nice structure on the (compactified) moduli space of special Lagrangians.

To do it one has to study singularities of special Lagrangians.

One can smooth singularities in suitable situations: given a singular special Lagrangian, one can construct smooth special Lagrangians tending to it (by the gluing technique). I've proved a uniqueness theorem in a "symmetric" situation: given a symmetric singularity, there's only one way to smooth it (the point of the proof is that the symmetry reduces the problem to an ordinary differential equation).

More recently I've studied a non-symmetric situation together with Dominic Joyce and Joana Oliveira dos Santos Amorim. Our method is based on Lagrangian Floer theory, and is effective at least for pairs of two (special) Lagrangian planes intersecting transversely.

I'll give the details in the talk.

The instanton corrections to the hyperkähler metric on moduli spaces of meromorphic flat SL(2,C)-connections on a Riemann surface with prescribed singularities have recently been studied by Gaiotto, Moore and Neitzke. The instantons are given by certain special trajectories of the meromorphic quadratic differentials which form the base of Hitchin's integrable system structure on the moduli space. Bridgeland and Smith interpret such quadratic differentials as defining stability conditions on an associated 3-Calabi-Yau triangulated category whose stable objects correspond to these special trajectories.

The smallest non-trivial examples are provided by the moduli spaces of quaternionic dimension one. In these cases it is possible to study explicitly the periods of the Seiberg-Witten differential on the fibres of the Hitchin system which define the central charge of the stability condition and lift the period map to the space of stability conditions. This provides in particular a new categorical perspective on the original Seiberg-Witten gauge theories.

I will start by introducing Somos sequences, defined by innocent-looking quadratic recursions which, surprisingly, always return integer values. I will then explain how they can be viewed in a much larger context, that of the Laurent phenomenon in the theory of cluster algebras. Some further steps take us to the the quantum cluster positivity conjecture of Berenstein and Zelevinski. I will finally explain how, following Nagao and Efimov, cohomological Donaldson-Thomas theory leads to a proof of this conjecture in some, perhaps all, cases. This is joint work with Davison, Maulik, Schuermann.

In this talk we aim to study periodic orbits on the energy levels of a symplectic magnetic flow on the two-sphere using methods from contact geometry. In particular we show that, if the energy is low enough, we either have two or infinitely many closed orbits. The second alternative holds if there exists a prime contractible periodic orbit. Finally we present some generalisations and work in progress for closed orientable surfaces of higher genus.

Rabinowitz Floer homology (RFH) is the Floer theory associated to the Rabinowitz action functional. One can think of this functional as a Lagrange multiplier functional of the unperturbed action functional of classical mechanics. Its critical points are closed orbits of arbitrary period but with fixed energy.

This fixed energy problem can be transformed into a fixed period problem on an enlarged phase space. This provides a way to see RFH as a "standard" Hamiltonian Floer theory, and allows one to treat RFH on an equal footing to other related Floer theories. In this talk we explain how this is done and discuss several applications.

Joint work with Alberto Abbondandolo and Alexandru Oancea.

In 2000 Eliashberg-Polterovich introduced the natural notion of orderability of contact manifolds; that is, the existence of a natural partial order on the group of contactomorphisms. I will explain how one can study orderability questions using the machinery of Rabinowitz Floer homology. We establish a link between orderable and hypertight contact manifolds, and show that the Weinstein Conjecture holds (i.e. there exists a closed Reeb orbit) whenever there exists a positive (not necessarily contractible) loop of contactomorphisms.

Joint work with Peter Albers and Urs Fuchs.