at 17.00 via Zoom

Samuel Grushevsky

Differentials on Riemann surfaces and the geometry of the moduli spaces of curves

Nikita Nekrasov

Towards Lefschetz thimbles in sigma models

*The talk is based on joint work with Igor Krichever (arXiv:2010.15575)*

Alexei Penskoi

Isoperimetric inequalities for eigenvalues of the Laplace–Beltrami operator

*Lord Rayleigh asked in his famous book «Theory of Sound» (1877–78) the following question: what shape of the drum membrane provides the lowest possible sound among all membranes of a given fixed area? The answer (the disc) was obtained by Lord Rayleigh using physical heuristics and rigorously proven later by Faber and Krahn in 1921. The contemporary analogue of this problem in Riemannian geometry is the following one: given a surface and a natural number k, find the supremum of the k-th eigenvalue of the Laplace-Beltrami operator (depending on a Riemannian metric) over the space of all Riemannian metrics of given fixed area. This difficult problem turns out to be very rich and related to such classical domains as Differential and Algebraic Geometry, Geometric Analysis, PDEs, Topology etc.*

Mykola Semenyakin

Solution of tetrahedron equation from cluster algebras, 2

Mykola Semenyakin

Solution of tetrahedron equation from cluster algebras, 1

*The language of cluster algebras is known to be convenient for the description of various different phenomenons in mathematical physics, and sometimes serves for the demystification of those. In the talk I will demonstrate one example of this kind: how the mysterious solution of tetrahedron equation (3d generalization of Yang-Baxter equation) explicitly constructed by Bazhanov and Sergeev, appears to be the basic and very well known building block in the theory of cluster algebras.
I will start with an explanation of what the tetrahedron equation is, how it is related to the Yang – Baxter equation, and present the Bazhanov-Sergeev solution of it. Then I will introduce the planar networks, the Poisson algebra related to the paths on them, and recall how they and their ‘isomorphisms’ fit into the theory of cluster algebras. Finally, I will show how the simplest four-gonal planar network gives the Bazhanov-Sergeev Lax operator, and composition of the four network transformations, known as ‘spider moves’, gives tetrahedron relation for those. If the time will permit, I will also explain how using this block one can construct an integrable system, whose spectral curve is an arbitrary symmetric Newton polygon*

Petr Kravchuk

Conformal blocks in d=3 and higher (continuation)

Petr Kravchuk

Conformal blocks in d=3 and higher

*Recent advances in numerical conformal bootstrap have renewed the practical interest in conformal blocks in d=3 and higher. Owing to the non-trivial structure of the Lorentz group, the number of different conformal blocks that need to be computed is much larger in d>=3 than in d=2 and new techniques are required. I will first review the main properties and the approaches used for computing the simplest scalar conformal blocks. Then I will discuss some of the modern techniques used to compute conformal blocks for operators with non-trivial spin. If time permits, I will also present the recent derivation of Zamolodchikov-like recursion relations for general d=3 blocks*

Petr Dunin-Barkowski

Topological recursion for general weighted double Hurwitz number

partition functions (a.k.a. KP tau-functions of hypergeometric type)

The talk is devoted to outlining the proof of spectral curve topological recursion for n-point functions corresponding to a wide class of general weighted Hurwitz number partition functions (also known as KP tau-functions of hypergeometric type). This class, in particular, covers all known Hurwitz-type problems for which there already exist proofs of topological recursion (including simple, monotone, strictly monotone and r-spin Hurwitz numbers, as well as Bousquet-Mélou–Schaeffer numbers, hypermap numbers and coefficients of the Ooguri-Vafa partition function for HOMFLY polynomials of torus knots), and, in fact, most known cases of spectral curve topological recursion in general. The spectral curve we study comes from the work of Alexandrov-Chapuy-Eynard-Harnad (where they proved topological recursion for polynomially weighted double Hurwitz numbers), but our proof of topological recursion is completely different and is applicable in a considerably more general situation.

The talk is based on joint work with Boris Bychkov, Maxim Kazarian and Sergey Shadrin (part 1: arXiv:2008.13123, part 2: in progress

Alexander Gaifullin

On homology of Torelli group of genus 3

*The Torelli group of a genus $g$ oriented surface $S_g$ is the subgroup $I_g$ of the mapping class group $Mod(S_g)$ consisting of all mapping classes that act trivially on the homology of $S_g$. It is known that $I_2$ is an infinitely generated free group (Mess, 1992), but $I_g$ is finitely generated for $g>2$ (Johnson, 1983). One of the most interesting open problems concerning Torelli groups is the question of whether the groups $I_g$ ($g>2$) are finitely presented or not. One of the likely possibilities is that $I_g$ is finitely presented whenever $g>3$, but $I_3$ is not. A possible approach to this problem relies upon the study of the second homology group of $I_3$ using the spectral sequence for the action of $I_3$ on certain convenient cell complex. Up to now, the best cell complex for this purpose seems to be the complex of cycles constructed by Bestvina, Bux, and Margalit in 2007. The study of the corresponding spectral sequence has already led to several results on homology of Torelli groups. However, none of them concerned the most interesting case of the second homology group. For genus $3$, it is possible to study the spectral sequence in more details, in particular, to compute several non-trivial differentials of it. In the talk, we present a partial result towards the conjecture that the group $H_2(I_3)$ is not finitely generated and hence $I_3$ is not finitely presented. Namely, we prove that the term $E^3_{0,2}$ of the spectral sequence is infinitely generated, that is, the group $E^1_{0,2}$ remains infinitely generated after taking quotients by images of the differentials $d^1$ and $d^2$. If one proceeded with the proof that it also remains infinitely generated after taking quotient by the image of the third differential $d^3$, he would complete the proof of the fact that $I_3$ is not finitely presented*

Bernhard Keller

Bases for cluster algebras: an introductory survey

*We will give an introduction to cluster algebras and report on recent progress concerning the construction of vector space bases for such algebras. We will start with the combinatorics of quiver mutation, maximal green sequences and the g-vector fan. Then we will introduce cluster algebras and present the main facts about them: Laurent phenomenon, positivity and the classification of cluster-finite cluster algebras. We will then review some milestones in the construction of bases: the cluster-finite case, the Fock-Goncharov duality conjectures, the work of Gross-Hacking-Keel and Gross-Hacking-Keel-Kontsevich culminating in the construction of the theta-basis. We will then briefly touch on the Lie-theoretic bases: the dual canonical basis and the dual semi-canonical basis. We will end with an explicit description of the theta basis, the dual canonical and the dual semi-canonical basis for the Kronecker quiver. The moral is that beyond the cluster monomials, introduced by Fomin-Zelevinsky, these bases are not so canonical after all*

Artem Prikhodko

p-adic cohomology of stacks

*p-adic Hodge theory studies relations between various cohomology theories of schemes over p-adic base. In the talk I will review the Integral version of the theory developed by Bhatt-Morrow-Scholze and explain how to extend it to the setting of algebraic stacks. As the main application we will establish Totaro’s conjectural inequalities. If time permits, we will also discuss how to use p-adic methods to deduce Hodge-to-de Rham degeneration for stacks in characteristic zero. This is joint work with Dmitry Kubrak*

Slava Rychkov

Introduction to the conformal bootstrap and non-gaussianity of the critical 3d Ising model

*Some critical indices of the 3D Ising are close to zero (eta), while others differ substantially from the free theory predictions. The conformal bootstrap provides the means to compute the critical indices. Moreover, one can get the four-point function, and its behavior shows the non-Gaussian nature of the critical point*

Yakov Kononov

Towards geometric construction of quantum difference equations

*The monodromy of quantum difference equations is closely related to elliptic stable envelopes invented by M.Aganagic and A.Okounkov. In the talk I will explain how to extract these equations from the monodromy using the geometry of the variety X and of its symplectic dual Y. In particular, I will discuss how to extend the action of representation-theoretic objects on K(X), such as quantum groups, quantum Weyl groups, R-matrices, etc, to their action on K(Y). As an application, we will consider the example of the Hilbert scheme of points in the complex plane, where these results allow us to prove the conjectures of E.Gorsky and A.Negut about the infinitesimal change of the stable basis. Based on joint work with A.Smirnov*

Ilya Vilkoviskiy

Universal description of q-\mathcal{W} algebras of B,C,D types via quantum toroidal algebras

*The deformed W algebras of type A have a uniform description in terms of the quantum toroidal gl(1) algebra. In this talk I will introduce a comodule algebra K over toroidal gl(1) which gives a uniform construction of basic deformed W currents and screening operators in types B,C,D including twisted and super algebras. I will also explain that a completion of algebra K contains three commutative subalgebras, it allows us to obtain a commutative family of integrals of motion associated with affine Dynkin diagrams of all non-exceptional types except D^2_{l+1}.
Based on joint work with B. Feigin, M. Jimbo, E. Mukhin arXiv:2003.04234*