Informal Mathematical Physics Seminar

Schedule of talks for Spring 2016:

A note to the speakers: this is an informal seminar, meaning that the talks are longer than usual (1:30) and are expected to include a good introduction to the subject as well as a maximally accessible (i.e. minimally general & minimally technical) discussion of the main result. The bulk of the audience is typically formed by beginning graduate students. Blackboard talks are are particularly encouraged.

Abstracts

January 25

Joint work with Zsuzsanna Dancso and Vivek Shende. The non-abelian Hodge correspondence identifies local systems on a smooth curve with Higgs bundles on the same curve. According to the P=W conjecture, this

correspondence sends the weight filtration on the moduli of local systems to the perverse filtration on the higgs moduli. I will formulate an analogous conjecture for nodal curves with rational components, in rank one. Time permitting, I will sketch a proof.

February 1

This is a joint work with A.Kuznetsov and L.Rybnikov. We study a moduli problem on a nodal curve of arithmetic genus 1, whose solution is an open subscheme in the zastava space for projective line. This moduli space is equipped with a natural Poisson structure, and we compute it in a natural coordinate system. We compare this Poisson structure with the trigonometric Poisson structure on the transversal slices in an affine flag variety. We conjecture that certain generalized minors give rise to a cluster structure on the trigonometric zastava.

February 8

I will report the on-going joint project with Yuuya Takayama. Cherkis' bow varieties are cousins of quiver varieties, conjecturally describing moduli spaces of type A instantons on multi-Taub-NUT spaces. Our goal is to show that they are Coulomb branches of 3d N=4 framed quiver gauge theories of affine type A. This result generalizes one for unframed cases proved with Braverman and Finkelberg.

February 15, 11:40

I am going to give an overview over recent work on Pixton type formulas for the double ramification cycle, a generalization related to loci of abelian differentials with prescribed poles and zeros and a different generalization for twisted double ramification cycles over a base manifold X. This work is based on joint works with E. Clader and Pandharipande-Pixton-Zvonkine.

February 15, 5:30

Gauged linear sigma model (GLSM) is a 2d quantum
field theory invented by Witten in early 90's to give
a physical derivation of Landau-Ginzburg
(LG)/Calabi-Yau (CY) correspondence. Since then, it
has been investigated extensive in physics by Hori and
others. Recently, an GLSM algebraic-geometric theory
has been formulated by Fan-Jarvis-Ruan so that we can
start to rigorously compute its invariants and match
with physical predication. In fact, a great deal
of activities are under going right now in abelian
cases where the objects of study are complete intersection of
toric varieties. In this talk, we would like to look over the
horizon to discuss nonabelian cases where the problems are much
less understood even conjecturally. Moreover, nonabelian GLSM
exhibits the new phenomenon unavailable to abelian GLSM.

February 17

The double ramification (DR) cycle is a class on the moduli space of curves that, roughly speaking, describes the locus of curves admitting a map to the projective line with specified ramification over zero and infinity. In recent work, A. Pixton gave an explicit formula for a mixed-degree class, conjecturing that (1) its degree-g part coincides with the DR cycle, and (2) its higher-degree parts vanish. I will discuss joint work with F. Janda giving a proof of the second of these two conjectures.

February 29

March 7

An emerging field of discrete differential geometry aims at the development of discrete equivalents of notions and methods of classical differential geometry, in particular of surface theory. The latter appears as a limit of a refinement of the discretization. Current interest in discrete differential geometry derives not only from its importance in pure mathematics but also from its applications in computer graphics, theoretical physics, architecture and numerics.

These talk is about quadrilateral surfaces, i.e. surfaces built from planar quadrilaterals. They can be seen as discrete parametrized surfaces. Discrete curvatures as well as special classes of quadrilateral surfaces, in particular, discrete minimal surfaces are considered. Their relation to discrete integrable systems is clarified. Application in free form architecture will be demonstrated.

March 21, 11:40

Symplectic singularities were introduced by Beauville in 2000. These are especially nice singular Poisson algebraic varieties that include symplectic quotient singularities and the normalizations

of orbit closures in semisimple Lie algebras. Poisson deformations of conical symplectic singularities were studied by Namikawa who proved that they are classified by a points of a vector space. Recently I have

proved that quantizations of a conical symplectic singularities are still classified by the points of the same vector spaces. I will explain these results and then apply them to establish a version of Kirillov's orbit method for semisimple Lie algebras.

March 21, 5:30

I will introduce several universal and canonical random objects that are (at least in some sense) two dimensional or planar, along with discrete analogs of these objects. In particular, I will introduce probability measures on the space of paths, the space of trees, the space of surfaces, and the space of growth processes. I will argue that these are in some sense the most natural and symmetric probability measures on the corresponding spaces.

March 23

In this talk I will discuss some combinatorial questions related to wall-crossing functors between categories O over quantizations of symplectic resolutions with different ample cones. For suitable choices of ample cones, the wall-crossing functors are perverse in the sense of Rouquier and so give rise to bijections between the sets of simples (wall-crossing bijections). I will explain what "perverse" means in this case and

discuss some interesting special cases: the cotangent bundles of flag varieties and Hilbert schemes of points on C^2. In the former case, the wall-crossing bijections define an interesting action of the so called cactus group on the Weyl group that was not known before. In the latter case, we recover the Mullineux involution arising in the modular representation theory of symmetric groups.

March 28

Topological insulators are newly discovered materials with the defining property that any boundary cut into such crystal conducts electricity like a metal even in the presence of disorder. The main conjecture in the field is that topological insulators are classified by a certain periodic table, which I will briefly discuss. In the main part of the talk, I will present recent results where Alain Connes' non-commutative geometry program was used to full throttle to prove this conjecture for more than half of the periodic table. I will try to fit the exposition in a broader context, namely, the ongoing effort towards a constructive KK-theory, particularly constructive Kasparov products.

April 4

We propose an algebraic approach to categorification of quantum groups at a prime root of unity, with the scope of eventually categorifying Witten-Reshetikhin-Turaev three-manifold invariants. This is joint work with Mikhail Khovanov

April 11

Nekrasov and Shatashvili stated a conjecture that the operators of quantum multiplication by higher Chern classes of the tautological bundle on the Grassmannian are equal to the Baxter operators. We prove this conjecture in the K-theoretic setting using the computation of the Vertex and the quantum difference equation.

Based on a work in progress joint with A. Smirnov and A. Zeitlin

April 18

Jones polynomials and WRT invariants are well-known invariants of links in S^3. Their categorification

attracts a lot of attention now. The key numerical invariant here is the Poincare polynomial of the triply

graded Khovanov-Rozansky homology, also called HOMFLYPT homology. In spite of recent developments,

this theory remains very difficult apart from the celebrated Khovanov homology (the case of sl(2)) with

very few known formulas (only for the simplest uncolored knots). Several alternative approaches to these polynomials were suggested recently (the connections are mostly conjectural). We will discuss the direction based on DAHA, which was recently extended from torus knots to arbitrary torus iterated links (including all algebraic links). The talk will be mostly focused on the DAHA-Jones polynomial of type A_1. Based on our joint works with Ivan Cherednik.

April 20

This is joint work with D. Benson, S. Iyengar and H. Krause. I’ll discuss the correct notion of support and its sibling, cosupport, for the stable module category (or the derived category of singularities) of a finite group scheme. As an application, I’ll describe classification of tensor ideal localizing subcategories in the stable module category in terms of supports.

April 25

DWG is a nice braid group action on the finite-dimensional representations of a semisimple group, that acts on the weights via the usual Weyl group. In their paper A.Braverman and M.Finkelberg obtain DWG using a geometric construction involving equivariant cohomology of the corresponding affine Grassmanian. On the other hand, such action appears in cohomology of cotangent bundles to the usual Grassmanians. According to the philosophy of the symplectic duality, there is a connection between certain resolutions of AG and T*Gr(k, n).

Using the construction of stable envelopes in the case of these resolutions of the affine Grassmanian, I try to describe operators from DWG on tensor products as corresponding R-matrices. In particular, since the varieties are smooth, this should give something in K-theory as well as in cohomology.

May 2

We give a manifestly rational formula for capped descendants in quantum K-theory of Nakajima varieties.

organized by Igor
Krichever and Andrei
Okounkov

Mondays, 5:30, Room 507

To sign up for dinner click hereSchedule of talks for Spring 2016:

A note to the speakers: this is an informal seminar, meaning that the talks are longer than usual (1:30) and are expected to include a good introduction to the subject as well as a maximally accessible (i.e. minimally general & minimally technical) discussion of the main result. The bulk of the audience is typically formed by beginning graduate students. Blackboard talks are are particularly encouraged.

Abstracts

January 25

Joint work with Zsuzsanna Dancso and Vivek Shende. The non-abelian Hodge correspondence identifies local systems on a smooth curve with Higgs bundles on the same curve. According to the P=W conjecture, this

correspondence sends the weight filtration on the moduli of local systems to the perverse filtration on the higgs moduli. I will formulate an analogous conjecture for nodal curves with rational components, in rank one. Time permitting, I will sketch a proof.

February 1

This is a joint work with A.Kuznetsov and L.Rybnikov. We study a moduli problem on a nodal curve of arithmetic genus 1, whose solution is an open subscheme in the zastava space for projective line. This moduli space is equipped with a natural Poisson structure, and we compute it in a natural coordinate system. We compare this Poisson structure with the trigonometric Poisson structure on the transversal slices in an affine flag variety. We conjecture that certain generalized minors give rise to a cluster structure on the trigonometric zastava.

February 8

I will report the on-going joint project with Yuuya Takayama. Cherkis' bow varieties are cousins of quiver varieties, conjecturally describing moduli spaces of type A instantons on multi-Taub-NUT spaces. Our goal is to show that they are Coulomb branches of 3d N=4 framed quiver gauge theories of affine type A. This result generalizes one for unframed cases proved with Braverman and Finkelberg.

February 15, 11:40

I am going to give an overview over recent work on Pixton type formulas for the double ramification cycle, a generalization related to loci of abelian differentials with prescribed poles and zeros and a different generalization for twisted double ramification cycles over a base manifold X. This work is based on joint works with E. Clader and Pandharipande-Pixton-Zvonkine.

February 15, 5:30

February 17

The double ramification (DR) cycle is a class on the moduli space of curves that, roughly speaking, describes the locus of curves admitting a map to the projective line with specified ramification over zero and infinity. In recent work, A. Pixton gave an explicit formula for a mixed-degree class, conjecturing that (1) its degree-g part coincides with the DR cycle, and (2) its higher-degree parts vanish. I will discuss joint work with F. Janda giving a proof of the second of these two conjectures.

February 29

This work is in collaboration with L. Chekhov. The
famous Greek astronomer Ptolemy created his well-known table of
chords in order to aid his astronomical observations. This table
was based on the renowned relation between the four sides and
the two diagonals of a quadrilateral whose vertices lie on a
common circle. In 2002, the mathematicians Fomin and Zelevinsky
generalised this relation to introduce a new structure called
cluster algebra. This is a set of clusters, each cluster made of
n numbers called cluster variables. All clusters are obtained
from some initial cluster by a sequence of transformations
called mutations. Cluster algebras appear in a variety of
topics, including total positivity, number theory, Teichm\”uller
theory and many others.

In this talk we propose a new class of generalised cluster algebras for which the problem of quantum ordering can be solved explicitly. We start by introducing the notion of bordered cusps. This new notion arises when colliding holes in a Riemann surface. In the limit of two colliding holes, the geodesics that originally passed through the domain between colliding holes become arcs between two bordered cusps decorated by horocycles. The lengths of these arcs are $\lambda$-lengths in Thurston--Penner terminology, or cluster variables by Fomin and Zelevinsky. We then obtain new class of geodesic laminations comprising both closed curves in the interior of a Riemann surface and arcs passing between bordered cusps. We formulate the Poisson and quantum algebras of these laminations. From the physical point of view, our construction provides an explicit coordinatization of moduli spaces of open/closed string worldsheets.

An emerging field of discrete differential geometry aims at the development of discrete equivalents of notions and methods of classical differential geometry, in particular of surface theory. The latter appears as a limit of a refinement of the discretization. Current interest in discrete differential geometry derives not only from its importance in pure mathematics but also from its applications in computer graphics, theoretical physics, architecture and numerics.

These talk is about quadrilateral surfaces, i.e. surfaces built from planar quadrilaterals. They can be seen as discrete parametrized surfaces. Discrete curvatures as well as special classes of quadrilateral surfaces, in particular, discrete minimal surfaces are considered. Their relation to discrete integrable systems is clarified. Application in free form architecture will be demonstrated.

March 21, 11:40

Symplectic singularities were introduced by Beauville in 2000. These are especially nice singular Poisson algebraic varieties that include symplectic quotient singularities and the normalizations

of orbit closures in semisimple Lie algebras. Poisson deformations of conical symplectic singularities were studied by Namikawa who proved that they are classified by a points of a vector space. Recently I have

proved that quantizations of a conical symplectic singularities are still classified by the points of the same vector spaces. I will explain these results and then apply them to establish a version of Kirillov's orbit method for semisimple Lie algebras.

March 21, 5:30

I will introduce several universal and canonical random objects that are (at least in some sense) two dimensional or planar, along with discrete analogs of these objects. In particular, I will introduce probability measures on the space of paths, the space of trees, the space of surfaces, and the space of growth processes. I will argue that these are in some sense the most natural and symmetric probability measures on the corresponding spaces.

March 23

In this talk I will discuss some combinatorial questions related to wall-crossing functors between categories O over quantizations of symplectic resolutions with different ample cones. For suitable choices of ample cones, the wall-crossing functors are perverse in the sense of Rouquier and so give rise to bijections between the sets of simples (wall-crossing bijections). I will explain what "perverse" means in this case and

discuss some interesting special cases: the cotangent bundles of flag varieties and Hilbert schemes of points on C^2. In the former case, the wall-crossing bijections define an interesting action of the so called cactus group on the Weyl group that was not known before. In the latter case, we recover the Mullineux involution arising in the modular representation theory of symmetric groups.

March 28

Topological insulators are newly discovered materials with the defining property that any boundary cut into such crystal conducts electricity like a metal even in the presence of disorder. The main conjecture in the field is that topological insulators are classified by a certain periodic table, which I will briefly discuss. In the main part of the talk, I will present recent results where Alain Connes' non-commutative geometry program was used to full throttle to prove this conjecture for more than half of the periodic table. I will try to fit the exposition in a broader context, namely, the ongoing effort towards a constructive KK-theory, particularly constructive Kasparov products.

April 4

We propose an algebraic approach to categorification of quantum groups at a prime root of unity, with the scope of eventually categorifying Witten-Reshetikhin-Turaev three-manifold invariants. This is joint work with Mikhail Khovanov

April 11

Nekrasov and Shatashvili stated a conjecture that the operators of quantum multiplication by higher Chern classes of the tautological bundle on the Grassmannian are equal to the Baxter operators. We prove this conjecture in the K-theoretic setting using the computation of the Vertex and the quantum difference equation.

Based on a work in progress joint with A. Smirnov and A. Zeitlin

April 18

Jones polynomials and WRT invariants are well-known invariants of links in S^3. Their categorification

attracts a lot of attention now. The key numerical invariant here is the Poincare polynomial of the triply

graded Khovanov-Rozansky homology, also called HOMFLYPT homology. In spite of recent developments,

this theory remains very difficult apart from the celebrated Khovanov homology (the case of sl(2)) with

very few known formulas (only for the simplest uncolored knots). Several alternative approaches to these polynomials were suggested recently (the connections are mostly conjectural). We will discuss the direction based on DAHA, which was recently extended from torus knots to arbitrary torus iterated links (including all algebraic links). The talk will be mostly focused on the DAHA-Jones polynomial of type A_1. Based on our joint works with Ivan Cherednik.

April 20

This is joint work with D. Benson, S. Iyengar and H. Krause. I’ll discuss the correct notion of support and its sibling, cosupport, for the stable module category (or the derived category of singularities) of a finite group scheme. As an application, I’ll describe classification of tensor ideal localizing subcategories in the stable module category in terms of supports.

April 25

DWG is a nice braid group action on the finite-dimensional representations of a semisimple group, that acts on the weights via the usual Weyl group. In their paper A.Braverman and M.Finkelberg obtain DWG using a geometric construction involving equivariant cohomology of the corresponding affine Grassmanian. On the other hand, such action appears in cohomology of cotangent bundles to the usual Grassmanians. According to the philosophy of the symplectic duality, there is a connection between certain resolutions of AG and T*Gr(k, n).

Using the construction of stable envelopes in the case of these resolutions of the affine Grassmanian, I try to describe operators from DWG on tensor products as corresponding R-matrices. In particular, since the varieties are smooth, this should give something in K-theory as well as in cohomology.

May 2

We give a manifestly rational formula for capped descendants in quantum K-theory of Nakajima varieties.

Seminar arxiv: Fall
2015 Spring
2015 Fall
2014 Spring
2014 Fall
2013 Spring
2013 Fall
2012 Spring
2012