Center for Advanced Studies **Seminar on Mondays at 14.30** at Skoltech

**August 20, 2018
Mikhail Khovanov **(Columbia Univ.)

Foam evaluation and link homology

*Link homology are functors from the category of link cobordisms to algebraic tensor categories, such as categories of abelian groups. We discuss a recent approach to the so-called sl(n) link homology theories, which categorify HOMFLYPT polynomial and its generalizations. This bottom-to-top approach, developed by Robert and Wagner, starts with a remarkable formula to evaluate closed foams, which are decorated embedded 2-dimensional CW complexes embedded in 3-space. The evaluation involves coloring facets of the complex into subsets of a finite set and counting contributions from bicolored subsurfaces of the complex via their Euler characteristics.The evaluation can be viewed as a two-dimensional state sum formula. The formula and its application to link homology will be explained in the lecture. If time allows, we’ll review a joint work in progress with Robert on the unoriented version of their formula*

**August 6, 2018
Anton Dzhamay **(Univ. of Northern Colorado)

Gap probabilities in tiling models and discrete Painleve equations

*It is well-known that gap probabilities of some discrete probabilistic models can be computed using discrete Painleve equations. However, choosing correct Painleve coordinates and matching the model with the standard Painleve dynamics is a highly non-trivial problem. In this talk we show how this can be done using the geometric tools of Sakai’s theory for the model of boxed plane partitions with generalized wights suggested by Borodin, Gorin, and Rains. An important feature of our result is its consistency with the degeneration schemes for the weights matching the degeneration scheme for discrete Painleve equations.
This is a joint work with Alisa Knizel*

**June 18, 2018
Andrei Okounkov ** (Skoltech, Columbia Univ, HSE, Kharkevich Inst)

Enumerative symplectic duality

**May 14, 2018 at 11.00
Jean-Pierre Bourguignon **(CNRS-IHES)

Geometry and physics: cross-fertilisation and missed opportunities

**May 14, 2018 at 14.30
Enrico Arbarello **(Sapienza Univ. of Rome)

Integrable systems associated to K3 surfaces

*Hyperplane sections of K3 surfaces give rise to well known integrable systems. When the genus of the fiber is equal to 11 Mukai proved that, under suitable generality conditions, the entire system is completely determined by a single general fiber.
Recently this theorem has been generalized to the cases of genus g>12 by a number of authors (EA-Bruno-Sernesi, and independently Feyzbakhsh). In this talk we will explain this circle of ideas*

Leonid Rybnikov

Poisson bracket on trigonometric Drinfeld zastava spaces

Nikita Nekrasov

Tying up instantons and anti-instantons

In quantizing classical mechanical systems one often sums over the classical trajectories as in localization formulas, but also takes into account the contributions of the “instanton gas”: a set of approximate solutions of the equations of motion. We attempt to alleviate some of the frustrations of this 40+ years old approach by finding the honest solutions of equations of motion of the complexified classical mechanical system. These ideas originate in the Bethe/gauge correspondence. We elucidate the relation between Lefschetz thimbles and the $\Omega$-deformed $B$-model. We propose the notion of the topological renormalization group. In conclusion, I will report on the progress in extending these ideas to quantum field theory, in particular in the case of 1+1 dimensional sigma models (work in progress with I.Krichever), and Yang-Mills theory

Alexey Bondal

Mutually unbiased bases and symplectic geometry

Andrei Semenov

Functional determinants and Gelfand-Yaglom theorem in quantum field theory

*Generalization of the Gel’fand-Yaglom theorem to the case of functional determinants arising in the semiclassical expansion of QFT amplitudes is proposed. It is well known that this theorem relates functional determinant of some one-dimensional second-order differential operator to the solution of the Cauchy problem. In more general case, there is the similar statement which provides the connection between functional determinant in d+1-dimensional QFT and determinant of some operator acting on d-dimensional space. In some cases, this relation might be used for numerical and analytical evaluation of semiclassical amplitudes in QFT*

Andrii Liashyk

Local form-factors in the integrable models

*We consider quantum integrable models with gl(N) symmetry solvable by nested Bethe ansatz. In this framework it is possible to get scalar products of vectors in the determinant form. I will tell how to get determinant representations for the form-factors of the local operators using these formulas*

Dmitry Yarotsky

Deep learning and some related theoretical questions

*I will explain a basic practical background of deep learning and will then discuss some theoretical questions arising when solving classification and regression problems with deep neural networks. In particular I will describe some rigorous results on function approximation showing importance of depth*

Sanjay Ramassamy

Miquel dynamics for circle patterns

*Circle patterns are one of the ways to uniformize graphs on surfaces, by embedding them in such a way that every face admits a circumcircle. In this talk I will describe a discrete-time dynamical system on circle patterns with the combinatorics of the square grid. This dynamics, based on the classical six-circles theorem of Miquel, is called Miquel dynamics. It was introduced by Richard Kenyon as an attempt to find a connection between circle patterns and the dimer model. I will present some properties of this dynamics which suggest its integrability.
Partly joint work with Alexey Glutsyuk (École normale supérieure de Lyon / Higher School of Economics)*

Misha Verbitsky

Special Kahler manifolds and algebraic Hamiltonian systems

*A holomorphically symplectic manifold X is called an algebraic completely integrable Hamiltonian system if X admits a proper projection with Lagrangian fibers to a manifold B, and a line bundle L which is ample on each fiber. Examples of algebraic Hamiltonian systems include the Hitchin fibrations on the moduli of Higgs bundles and the projective hyperkahler manifolds. Algebraic Hamiltonian systems were studied by Donagi-Markman and Donagi-Witten, who discovered that the base B acquires a flat connection and a cubic form which satisfies a version of WDVV equation. Moreover, this cubic form (with the WDVV-like constraints) is sufficient to recover the algebraic Hamiltonian system. A manifold $B$ with such geometry is called “special Kahler manifold”. I will define this notion and state some of the results in the subject.
= = Literature:
= Daniel S. Freed, “Special Kahler Manifolds”, hep-th/9712042
= Ron Donagi, Eyal Markman, “Cubics, Integrable Systems, and Calabi-Yau Threefolds”, alg-geom/9408004
= Ron Donagi, Eyal Markman, “Spectral curves, algebraically completely integrable Hamiltonian systems, and moduli of bundles”, arXiv:alg-geom/9507017
= Ron Donagi, Edward Witten, Supersymmetric Yang-Mills Systems And Integrable Systems, arXiv:hep-th/9510101
= Hitchin, Nigel, “Quaternionic Kahler moduli spaces”, Riemannian topology and geometric structures on manifolds, 49-61, Progr. Math., 271, Birkhauser Boston, Boston, MA, 2009.
= Vicente Cortes, “Special Kaehler manifolds: a survey”, math/0112114
*

Valery Gritsenko

Kac-Moody algebras and automorphic forms

*The problem of describing of the structure of hyperbolic Kac-Moody algebras is one of the most interesting unsolved mathematical problems of the twentieth century. It is well known that affine KM algebras are defined by special automorphic forms, Jacobi modular forms of classical root systems. In 1983, Igor Frenkel suggested that Siegel modular forms can be used to describe the simplest hyperbolic Kac-Moody algebra. In 1995, as part of the solution of the Moonshine problem, Richard Borchers discovered a new class of Lorentzian Kac-Moody algebras defined by automorphic forms. Siegel’s automorphic correction of the simplest hyperbolic KM-algebra was proposed by Valery Gritsenko and Vyacheslav Nikulin in 1996.
In this talk I present the latest results on the theory of Lorentzian Kac-Moody algebras, obtained by the author with V. Nikulin, as well as a review of the main achievements and open questions in this field*

Pavlo Gavrylenko

Cluster Toda chains and Nekrasov functions, II

Pavlo Gavrylenko

Cluster Toda chains and Nekrasov functions, I

*My talk will be devoted to the close relatives of relativistic Toda chain. Main series of such systems is labeled by two integer numbers, N (length of the chain) and k=0,..,N. We will be mostly interested in the cluster discrete flows in these systems and in their deautonomizations. We consider hyperelliptic curves such that their Newton polygons contain only four boundary points. We construct cluster integrable systems corresponding to these curves and identify their discrete automorphism flows with some reductions of Hirota difference equation. We also find deautonomizations of such equations and express their solutions in the non-autonomous case in terms of Nekrasov functions with Chern-Simons term, and in the autonomous case in terms of Riemann theta-functions*

Andrei Mikhailov

Introduction to Batalin-Vilkovisky (BV) formalism

Leonid Petrov

Particle systems in inhomogeneous space

I will discuss stochastic interacting particle systems evolving in one-dimensional inhomogeneous space. The inhomogeneity means that the speed of a particle depends on its location. I will focus on integrable examples of such systems, i.e., for which certain observables can be written in exact form suitable for asymptotic analysis. Examples include a continuous-space version of TASEP (totally asymmetric simple exclusion process), and the pushTASEP (=long-range TASEP). For integrable systems, density limit shapes can be described in an explicit way. We also obtain asymptotics of fluctuations, in particular, around infinite traffic jams caused by slowdowns

Igor Krichever

Periodic solutions of nonlinear sigma-models