"Summer" 2020

The course meets Tuesdays 10:30--12:00 New York time in cyberspace here. Note the daylight saving time starts November 1 (so much for "summer" course).

For the course announcements, see course Telegram channel, which also has an attached chat group. Announcements can also be found on the Skoltech website for the course. The videos of the lectures are below, they can be also found on the Informal Mathematical Physics Seminar YouTube channel playlist.

I recommend setting the playback speed to a value >> 1 when watching the videos.

goals

Let X be the Hilbert scheme of points in C^2, or a more general Nakajima quiver variety, or a more general moduli space of vacua in a 2+1 dimensional supersymmetric gauge theory with 4 times the minimal amount of supersymmetry. In this course, I plan to explain:

  • the construction of certain remarkable correspondences, called stable envelopes, in the equivariant elliptic cohomology of X, and hence in K(X) and H(X);

  • the construction of a quantum group that act in the elliptic cohomology, the K-theory, and the cohomology of X, from these stable envelopes;

  • enumerative K-theory of (quasi)maps from curves to X and its particular building blocks --- certain remarkable operators between K(X) and itself, or K(X) and the K-theory of the ambient stack;

  • the formulas for these building blocks obtained from the geometric representation theory of our quantum groups.

references:

Summer2020_lecture1.pdf

an introductory discussion of: indices of supersymmetric operators, their relation to topological K-theory, K-theoretic Field Theories, moduli of vacua/Gibbs states, 3-dimensional mirror symmetry

Summer2020_lecture2.pdf

q-hypergeometric functions and Macdonald polynomials as examples of vertex functions, quantum groups and their categories of modules, R-matrices, reconstruction of a quantum group from R-matrices

Summer2020_lecture3.pdf

more on R-matrices, comultiplication in Yangians, relations in a quantum group, R-matrix as an interface, geometric construction of the R-matrix for Y(sl_2), geometric meaning of the Yang-Baxter equation

Summer2020_lecture4.pdf

moduli of vacua in QFTs with extended supersymmetry, their response to variation of external parameters, general idea of "stable envelopes", equivariant cohomology theories, introduction to equivariant K-theory, equivariant K-theory of the projective space

Summer2020_lecture5.pdf

Lecture by I. Krichever: equivariant cobordism

Summer2020_lecture6.pdf

Koszul resolutions, localization, first steps in elliptic cohomology, Chern classes, equivariant K-theory and equivariant elliptic cohomology of Hilb(C^2), Thom spaces

Summer2020_lecture7.pdf

Modification of the Thom isomorphism in elliptic cohomology, Theta bundles and theta functions, Bott periodicity, pushforwards in elliptic cohomology, change of groups in equivariant elliptic cohomology

Summer2020_lecture8.pdf

equivariant elliptic cohomology from the cell decomposition point of view, cofibration sequence, examples

Summer2020_lecture9.pdf

Attracting manifolds, strategy for inductive construction of elliptic stable envelopes, stable envelopes as an interpolation problem, interpolation and its relations to cohomology vanishing, cohomology vanishing for line bundles on abelian varieties, Picard and Neron-Severi groups of an abelian variety

Summer2020_lecture10.pdf

Attractive line bundles, definition of elliptic stable envelopes, existence and uniqueness of elliptic stable envelopes

Summer2020_lecture11.pdf

Elliptic stable envelopes for projective spaces, and for hypertoric varieties, Felder's elliptic R-matrix

Summer2020_lecture12.pdf

Cohomology of the Grassmannian, Schubert classes and interpolation Schur functions, elliptic stable envelopes for Grassmannians, abelianization of stable envelopes

Summer2020_lecture13.pdf

triangle lemma, polarization and index of a component of the fixed locus, dynamical Yang-Baxter equation for elliptic stable envelopes

Summer2020_lecture14.pdf

duality for stable envelopes, rigidity in elliptic cohomology, coproduct in quantum groups in terms of R-matrices, various factorizations of R-matrices, operators of cup product as vacuum-vacuum matrix elements of geometric R-matrices

Summer2020_lecture15.pdf

Nakajima quiver varieties, Hilbert schemes of points and Heisenberg algebra, stable envelopes in K-theory and cohomology, unitarity of R-matrices, classical Yang-Baxter equation, the Lie algebra corresponding to a classical r-matrix, Langrangian correspondences, Steinberg correspondences

Summer2020_lecture16.pdf

equivariant symplec resolutions, Lagrangian residues, Lagrangian Steinberg correspondences commute with R-matrices in cohomology, Nakajima-Baranovsky operators and classical r-matrix for instanton moduli spaces, general properies of the Maulik-Okounkov Lie algebras

Summer2020_lecture17.pdf

cup product by divisor in cohomology of instanton moduli spaces, its relation to quantum Calogero-Sutherland and Benjamin-Ono integrable systems, full R-matrix for instanton moduli spaces, Yangian of \hat gl(1) and its relation to the Virasoro algebra and W-algebras, Kac determinant from R-matrices, the R-matrix for the Hilbert scheme of points as the reflection operator in Liouville CFT, slices and relations in quantum groups,

Summer2020_lecture18.pdf

slices in quiver varieties and more general moduli problems, slices for Grassmannians and instanton moduli spaces, slices as quantum group intertwiners, screening operators and Plücker relations, quantum integrable systems from R-matrices, their relation to quantum multiplication for Nakajima varieties

Summer2020_lecture19.pdf

classical and quantum integrable systems in enumerative geomety, Plücker relations and Toda equations, Toda equations in the Gromov-Witten theory of P^1, the corresponding quantum integrable system and free fermions, free fermions as the Yangian of \hat gl(1) at \hbar=0, Donaldson-Thomas theory and its relation to GW theory, the full Yangian in the GW/DT theory of local curves in 3-folds

Summer2020_lecture20.pdf

Lecture by Melissa Liu: virtual fundamental classes in enumerative geometry

Summer2020_lecture21.pdf

exact and approximate self-duality of obstruction theories, symmetrized virtual structure sheaf, the quest for proper moduli spaces with self-dual obstruction theory, quasimaps to GIT quotients, quasimaps to projective spaces and to the Hilbert schemes of points

Summer2020_lecture22.pdf

Donaldson-Thomas counts of subschemes in 3-folds, quasimaps to Hilb(C^2) and Pandharipande-Thomas counts for rank 2 bundles over curves, torus fixed points in the Hilbert scheme of curves and it the PT spaces, twisted quasimaps, evaluation maps, relative quasimaps, accordions, nodes and generation formula, the glue matrix

Summer2020_lecture23.pdf

diagrammatic notation for different flavors of insertions/boundary conditions in enumerative problems, relative moduli spaces in DT theory, expanded degenerations, degeneration formulas, correspondence between different boundary condition, degeneration and algebraic cobordism, relative counts in GW theory, their correspondence with relative DT counts

Summer2020_lecture24.pdf

basic building blocks of quasimap counts, vertex with descendants, its expression as an elliptic stable envelope, relative counts and q-difference equations, q-Gamma functions, vertex with descendants and integral solutions to quantum difference equations, integral solutions and Bethe Ansatz, residues in the integral vs. localization formulas for vertices with descendants

Summer2020_lecture25.pdf

difference equations in equivariant variables, twisted quasimaps, equivariant localization, formula for the K-theory class of the virtual tangent bundle, edge and vertex contributions in localization formulas, pure edge and q-Gamma functions, q-analog of the Iritani class, the degree of a twisted map, its relation to Kähler line bundles in elliptic cohomology . For a theoretical discussion of localization in DT theory, see e.g. Section 6 of my Takagi lectures. For a tutorial on computer-aided localization, see the talk by Henry Liu

Summer2020_lecture26.pdf

Geometric meaning of the operator in the q-difference equation in equivariant variables, q-difference equations in Kähler variables, quantum Knizhnik-Zamolodchikov equations

Summer2020_lecture27.pdf

Singularities of the difference equations in equivariant variables, minuscule cocharacters and their geometric meaning, quantum Knizhnik-Zamolodchikov equations for shifts by minuscule cocharacters

Summer2020_lecture28.pdf

q-difference equations in Kähler variables, Dubrovin connection for Nakajima varieties, dynamical groupoids, slope R-matrices in equivariant K-theory, Khoroshkin-Tolstoy factorization of R-matrices, slope subalgebras in quantum loop groups, fusion operators J for slope subalgebras, dynamical groupoid associated to slope subalgebras and quantum q-difference equiations for Nakajima varieties.

Summer2020_lecture29.pdf

Tube=Glue, the glue matrix in terms of the dynamical groupoid, varieties X' associated to strata in Pic(X) \otimes R, conjectural formula for the wall operators in terms of these X', what it says for rank r framed sheaves on C^2, capped vertex with descendants, large framing vanishing, Smirnov's formula for the capped vertex with descendants, the fusion operator J again

Summer2020_lecture30.pdf

Capped vertex with descendants as a correspondence between X and the ambient quotient stack, stable and unstable loci in GIT, stratification of the unstable locus, inductive construction of stable envelopes for quotient stacks

Summer2020_lecture31.pdf

Nonabelian stable envelopes for algebraic symplectic reductions, the relation between abelian and nonabelian stable envelopes, K-theoretic stable envelopes and equivalence between descendant and relative insertions, integral solutions of the quantum difference equations, Bethe equations, K-theoretic stable envelopes as the off-shell Bethe eigenfunction

Summer2020_lecture32.pdf

Nonabelian stable envelopes for G=\prod GL(V_i), algebraic Bethe Ansatz, vertex with descendents and nonabelian stable envelopes, maps from the formal disk and q-Gamma functions, integral solutions of the quantum difference equations and the monodromy of the vertex functions

video defective

Summer2020_lecture33.pdf

Monodromy of vertex functions and elliptic stable envelopes, K-theory limit and the monodromy of the quantum differential equations, categorification thereof and relation with quantization in characteristic p >> 0, a-solutions and z-solutions, 3d mirror symmetry, duality interface, categorification of the duality interface, q-difference equations and multiplicative quantizations in roots of unity

BasicNotions.pdf