16 September 2020, 17:30 - (UTC+3)


Title: О гипотезе Чуи в пространствах Бергмана

Speaker: К. Ю. Федоровский

Organization: Mathematical colloquium in BMSTU

Abstract: В докладе будет представлено решение задачи Чуи о наипростейших дробях (т.е. суммах ядер Коши с единичными коэффициентами) в весовых (гильбертовых) пространствах Бергмана. Для широкого класса весов будет показано, что для любого натурального N наипростейшая дробь с N полюсами на единичной окружности имеет минимальную норму в том и только том случае, когда ее полюса равномерно распределены на окружности. Мы приведем точную асимптотику соответствующих норм. Кроме того, мы опишем замыкание наипростейших дробей в весовых пространствах Бергмана. Доклад основан на совместной работе Е. Абакумова, А. Боричева и К. Федоровского (см. https://arxiv.org/abs/2009.01898).

15 September 2020, 10:30 - (UTC+3)

Title: Mapping from sphere to Euclidean space

Speaker : Jun Wang (Capital Normal University)

Organization : Seminar in Moscow and Beijing by zoom

Abstract : There are many problems about map from sphere to Euclidean space, like  Borsuk-Ulam theorem, Knaster's problem and so on. This talk is related to Knaster's problem, we  obtain that  the image of  points on sphere under some special maps are equal to each other.  In some sense, the result is  also a generalization of   Borsuk-Ulam theorem.

13 September 2020, 18:30 - (UTC+3)

Title : Mathematics with a Taste of Combinatorics on Words,  THIRD PART: ALGEBRA

Speaker : Mehdi Golafshan, Alexei Kanel-Belov

Organization : Knots and representation theory 

Abstract: Abstract algebra is, in some sense, the birthplace of words. Indeed, basic algebraic objects, such as free groups for example, are defined explicitly using words. This has motivated, as we shall see here, the study of many important notions on words, such as Nielsen transformations for example. Also, we will talk about semigroup, quasigroups and so on.

9 September 2020, 10:30 - (UTC+3)

Title: On the poly-freeness of Artin groups

Speaker : Xiaolei Wu (Universität Bielefeld)

Organization : Seminar in Moscow and Beijing by zoom

Abstract : Artin group is an important class of groups under intensive study in recent years. It is a generalization of the braid group. Bestvina asks whether all Artin groups are virtually poly-free. In this talk, we first give an introduction to poly-free groups and Artin groups. We explain some connections with the Farrell-Jones Conjecture. Then we explain some recent progress of Bestvina's question. In particular, we will give a short proof of the fact that Even Artin groups of FC-type are polyfree.  Part of this is joint work with Benjamin Brück and Dawid Kielak.

07 September 2020, 18:30 - (UTC+3)

Title : Reidemeister moves for triple-crossing link diagrams

Speaker : Martin Palmer-Anghel 

Organization : Knots and representation theory 


Knots and links are classically represented by diagrams: immersed 1-manifolds in the plane where all crossings consist of exactly two strands intersecting transversely (together with over-under information). A diagram of a given link is unique up to ambient isotopy and the three classical Reidemeister moves. In 2013, Colin Adams introduced the concept of "n-diagrams" for any integer n (at least 2), which are immersed 1-manifolds in the plane where all crossings consist of exactly n strands intersecting transversely (together with over-under information). A natural question arises: are there "higher" Reidemeister moves for n-diagrams, in the sense that any two n-diagrams representing the same link are connected by a finite sequence of these moves? I will present a positive answer for n=3, describing a complete set of (five) moves for 3-diagrams. This represents joint work with Colin Adams and Jim Hoste.

2 September 2020, 10:30 - (UTC+3)

Title: Right-angled hyperbolic polyhedra and hyperbolic 3-manifolds

Speaker : Andrey Vesnin (Tomsk State University and Sobolev Institute of Mathematics, Russia)

Organization : Seminar in Moscow and Beijing by zoom

Abstract : A study of existence of bounded right-angled polyhedra in hyperbolic 3-space was started by Pogorelov [1]. These polyhedral are referred as Pogorelov polyhedra now. The methods to construct hyperbolic 3-manifolds (orientable and non-orientable) related to corresponding right-angled Coxeter groups are described in [2]. At the same time, Pogorelov polyhedra play an important role in the toric topology due to cohomological rigidity of manifolds related to them [3].  A census of bounded right-angled hyperbolic polyhedral is presented in [4]. We will survey results of Pogorelov polyhedral and construction of 3-manifolds from them. Also, we will present some results on census of finite-volume right-angled hyperbolic polyhedral with all vertices on the absolute of hyperbolic 3-space [5]. 


[1] A. Pogorelov, A regular partition of Lobachevskian space, Math. Notes, 1:1 (1967), 3–5.

[2] A. Vesnin, Right-angled polyhedra and hyperbolic 3-manifolds, Russian Math. Surveys, 72:2 (2017), 335–374. 

[3] V. Buchstaber, N. Erokhovets, M. Masuda, T. Panov, S. Park, Cohomological rigidity of manifolds defined by 3-dimensional polytopes, Russian Math. Surveys, 72:2 (2017), 199–256.  

[4] T. Inoue, Exploring the list of smallest right-angled hyperbolic polyhedra, Experimental Mathematics, Published online April 11, 2019. 

[5] A. Vesnin, A. Egorov, Ideal right-angled polyhedra in Lobachevsky space, 20 pages, Chebyshevskii Sbornik 2020, vol. 21, no. 2, pp. 65-83. Preprint version is available at arxiv:1909.11523.

31 August 2020, 18:30 - (UTC+3)

Title : Stick presentations of knots and their invariants

Speaker : Sungjong No (Kyonggi University)

Organization : Knots and representation theory 


A stick knot is a knot which consists of finite line segments. This presentation of knots can be considered to be a reasonable mathematical model of cyclic molecules or molecular chains. The stick number $s(K)$ is defined to be the minimal number of sticks required to construct a knot $K$.

A lattice knot is a stick knot in the cubic lattice. The lattice stick number $s_L(K)$ is defined to be the minimal number of sticks required to construct a knot $K$. The minimum lattice length $Len(K)$ is defined to be the minimum length to realize a knot $K$ as a lattice knot.

In this talk, we introduce upper bounds of $s(K)$, $s_L(K)$ and $Len(K)$ and show how to construct the stick knots. Furthermore, we introduce another upper bounds for some special knot types.

27 August 2020, 17:30 - (UTC+3)


Title: Mathematics with a taste of Combinatorics on word

Speaker: Mehdi Golafshan

Organization: Mathematical colloquium in BMSTU

Abstract: Word combinatorics is a branch of mathematics and theoretical computer science that applies combinatorial analysis to finite or infinite words. This branch developed from several branches of mathematics : number theory, group theory, probabilities and of course combinatorial.

 In this lecture, we will first state the main definitions and then introduce examples from different branches of mathematics related to combinatorics on word.

In the end, we will introduce some books and some open problems.

26 August 2020, 10:30 - (UTC+3)

Title: Region crossing change on surfaces

Speaker : Zhiyun Cheng

Organization : Seminar in Moscow and Beijing by zoom

Abstract : Region crossing change is a local operation on link diagrams. It was first proved by Ayaka Shimizu that region crossing change is an unknotting operation on knot diagrams. A necessary and sufficient condition for region crossing change being an unknotting operation on link diagrams was given by the speaker in 2013. In this talk, I will discuss the effect of region crossing change on oriented closed surfaces. This is a joint work with Cheng Jiawei, Xu Jinwen and Zheng Jieyao.

24 August 2020, 18:30 - (UTC+3)

Title : Noncommutative double relations

Speaker :

G.I. Sharygin

Organization : Knots and representation theory 


20 August 2020, 17:30 - (UTC+3)


Title: Geometry of Umbilics on Surfaces in the Three-space

Speaker: Gautam Gangopadhyay

Organization: Mathematical colloquium in BMSTU

Abstract: The review of the theory of umbilic points on surfaces in Euclidean three-space,their classification, local description and behavior with the variation of parameters.

A special account is devoted to the study of umbilic points on ellipsoids and surfaces of small genera (zero and one).

19 August 2020, 10:30 - (UTC+3)

Title: Geometric approach to digital problems

Speaker : Mehdi Golafshan

Organization : Seminar in Moscow and Beijing by zoom

Abstract : Digital problems of this type in Number theory are well-known to be difficult, e.g., in theliterature, least non-zero digits of $𝑛!$ in base $12$ (Deshouillers et al.) or digits of $n^n$ have been investigated.
In this lecture, we will study one of the problems of word combinations with geometric tools.
In particular, we examine the complexity function of a digital problem. Also, we are interested in the numberof factors of length n that may occur in such a sequence (i.e., the subsequences made of $𝑛$ consecutive digits). 
For example, the sequence made by powers of $2$ one the circle with an irrational angle is dense and generalization of this, i.e., powers of $2^k$. This work joint with Prof Kanel-Belov and Ivan Mitrofanov.

17 August 2020, 18:30 - (UTC+3)

Title : Milnor construction and simplicial groups 

Speaker : Wu Jie

Organization : Knots and representation theory 


13 August 2020, 17:30 - (UTC+3)

Title: Outer billiards outside regular polygons: sets of full measure and aperiodic points

Speaker: Fillip Rukhovich

Organizatinon: Mathematical colloquium in BMSTU


Draw a tangent line to $\Gamma$ through point $p$ and reflect $p$ with respect to tangency point. Such a map is called  \it outer billiard map}. In terms of consecutive applying of outer billiard,  the point can be {\it periodic} (i.e. return to itself at some moment), aperiodic (never return itself) and also {\it boundary} (outer billiard can be applied only finite number of times).


An important case of $\Gamma$ is regular $n$-gon. In case $n=3,4,6$, a structure of points is simple (no aperiodic points); also a structure was researched by S.Tabachnikov in case $n=5$ and partially $n = 10$ (there exists an aperiodic point, but set of aperiodic points is of zero Lebesgue measure). In his Ph.D. author proved results for cases $n=8,12,10$.


Topics of report are following:


\item structure of periodic, aperiodic and boundary points;

\item what interesting fractal structures arise;

\item how to describe all possible periodic components;

\item what algorithms can be useful for search and proof of self-similarity;

\item why computer occurs necessary for full research.


12 August 2020, 15:30 - (UTC+3)

Notice that the time changes due to the time difference.

Title: Splitting cobordism orientations

Speaker Sanath Devalapurkar (Harvard University)

Organization : Seminar in Moscow and Beijing by zoom

Abstract :

The cobordism invariants given by the mod 2 Euler characteristic, signature, and A-hat genus all define maps MO -> HF_2, MSO -> HZ, and MSpin -> ko of spectra. Each of these maps of spectra admits a splitting, which implies the existence of manifolds with given cobordism invariants. In this talk, I will describe a program to reprove the splitting of the A-hat genus, by describing a universal property for mapping out of ko. This program has the advantage of also working (with some modifications) for splitting the Ando-Hopkins-Rezk orientation MString -> tmf. The methods suggest many further directions of investigation, and we hope to highlight some of them in this talk.

About the speaker: 

Sanath Devalapurkar was born in India in 2000. He is a rising star in the field of algebraic topology. Though he recently graduated from MIT, he has many publications, see his homepage: https://sanathdevalapurkar.github.io

10 August 2020, 18:30 - (UTC+3)

Title : Clasp diagrams

Speaker : J. Mostovoy

Organization : Knots and representation theory 


I will describe a new coding for knots and some of its applications.
This is a joint work with Michael Polyak.

This talk will be given by skype @knots-in-moscow.

06 August 2020, 17:30 - (UTC+3)

Title: A Khovanov stable homotopy type for links in thickened higher genus surfaces.

Speaker: Igor M. Nikonov

Organizatinon: Mathematical colloquium in BMSTU

Abstract: Khovanov homology is well known knot invariant that was enhanced in many ways. For example, M. Asaeda, J. Przytycki, and A. Sikora modified the homology construction for knots in thickened surfaces to appreciate the homotopical properties of the knot embeddings. On the other hand, for any classical knot, R. Lipschitz and S. Sarkar gave a construction of invariant topological space whose homology coincides with the Khovanov homology of the knot. In the talk we show how these two different enhancement of the Khovanov homology can be combined in one construction.

05 August 2020, 10:30 - (UTC+3)

Title: Unoriented tribrackets of surface-links

Speaker Jieon Kim (Pusan National University)

Abstract : By a surface link, or knotted surface, $\mathcal L$ of $n$ components ($n \geq 1$) we mean $n$ mutually disjoint connected and closed (possibly orientable or nonorientable) 2-manifolds $F_1, \ldots, F_n$ smoothly (or piecewise linearly and locally flatly) embedded in the standardly oriented $4$-space $\mathbb R^4$ (or $S^4$). In the case when each component $F_i$ is oriented, $\mathcal L$ is called an oriented surface link. 


In 2018, myself and S. Nelson defined invariants for oriented surface-links by using a biquasile, which

is used to define invariants of oriented classical links via their dual graph diagrams. Biquasiles can be understood as a special case of the ternary algebraic structures. Here we call it a vertical tribracket.


In this talk, we introduce a special case of vertical tribrackets, called an unoriented tribracket. By using unoriented tribrackets, we define an invariant of unoriented surface-links.

03 August 2020, 18:30 - (UTC+3)

Title : The Alexander polynomial as a universal invariant

Speaker : R. Kashaev

Organization : Knots and representation theory by zoom


I will explain an interpretation of the Alexander polynomial as a universal invariant of long knots associated to the complex Hopf algebra of regular functions on the affine linear algebraic group  of complex invertible upper triangular 2-by-2 matrices of the form 


a b 

0 1


Preprint: arXiv:2007.11036

30 July 2020, 17:30 - (UTC+3)

Title : Generalised Knot theories and Markov and Alexander theorems
Speaker :  Roger Fenn

Organization : Математический коллоквиум


This is joint work with Andrew Bartholomew. We show which generalised knot theories can accommodate a version of the Alexander and Markov braid theorems

29 July 2020, 10:30 - (UTC+3)

Title : Towards a categorical boson-fermion correspondence via contact topology
Speaker :  Yin Tian (YMSC)

Organization : Moscow-Beijing topology seminar (by Zoom)


The boson-fermion correspondence is an isomorphism between the bosonic Fock space and the fermionic Fock space. We present a  categorification of the fermionic Fock space based on Honda's category studying contact topology in dimension three. The bosonic counterpart is a modification of Khovanov's Heisenberg category. 

27 July 2020, 18:30 - (UTC+3)

Title : An introduction to the normalized homology for the set-theoretic Yang–Baxter equation

Speaker : Seung Yeop Yang (Kyungpook National University)

Organization : Knots and representation theory by zoom


Biracks and biquandles, which are useful for studying the knot theory, are special families of solutions to the set-theoretic Yang-Baxter equation. In 2002, a homology theory for the set-theoretic Yang-Baxter equation was introduced by Carter, Elhamdadi, and Saito.

We construct a normalized homology theory of certain set-theoretic solutions to the Yang-Baxter equation, such as cycle sets, biquandles, etc., which is a modified form of their set-theoretic Yang-Baxter homology. We, moreover, introduce homological and homotopical knot invariants obtained from the normalized homology theory.

22 July 2020, 10:30 - (UTC+3)

Title : Evaluations of noncommutative polynomials on finite dimensional algebras
Speaker :  Sergey Malev (Ariel University of Samaria (Israel)) and Alexei Kanel-Belov (Bar-Ilan University (Israel))

Organization : Moscow-Beijing topology seminar (by Zoom)


Let $p$ be a polynomial in several non-commuting variables with coefficients in an algebraically closed field $K$ of arbitrary characteristic. It has been conjectured that for any $n$, for $p$ multilinear, the image of $p$ evaluated on the set $M_n(K)$ of $n$ by $n$ matrices is either zero, or the set of scalar matrices, or the set $sl_n(K)$ of matrices of trace 0, or all of $M_n(K)$. This expository paper describes research on this problem and related areas. We discuss the solution of this conjecture for $n=2$, some decisive results for $n=3$, and partial information for $n\geq 3$, also for non-multilinear polynomials. In addition we consider the case of $K$ not algebraically closed, and polynomials evaluated on other finite dimensional simple algebras (in particular the algebra of the quaternions).

20 July 2020, 18:30 - (UTC+3)

Title : From SL(2) to GL(N) foam evaluation

Speaker : M. Khovanov

Organization : Knots and representation theory by zoom


The talk is based on joint wrks with L.-H. Robert, L.-H. Robert and E. Wagner, N. Kitchloo, N. Kitchloo and Y. Kononov, plus on the idea of Y. Kononov for non-closed surface evaluation.

16 July 2020, 15:30 - (UTC+3)

Title : Colouring bracket invariants of links
Speaker :  D.A. Fedoseev

Organization : Математический коллоквиум


 In the present talk we shall discuss the generalisation and variations on the picture-valued parity-biquandle bracket proposed by D.P. Ilyutko and V.O. Manturov as a natural combination of parity bracket (Manturov) and biquandle bracket (Nelson et al.).
We concentrate on the stadying what happens if one forfeits the (bi)quandle structure and allows arbitrary colourings of the arcs of a link diagram. It turns out, that this approach needs certain subtleties to work: the lack of the (bi)quandle structure makes the number of colourings not invariant under the Reidemeister moves. To make the construction of bracket invariant, one needs to involve additional structures. One of them, the connection operator, is interesting also from the viewpoint of state model topology and its applications to the bracket invariants of links.
The talk is based on a joint work with I.M. Nikonov and V.O. Manturov.

Join Zoom Meeting
Meeting ID: 819 2361 6916
Password: 780822

15 July 2020, 10:30 - (UTC+3)

Title : Relation between group extension and quandle extension on a group
Speaker :  Byeorhi Kim (Kyungpook National University)

Organization : Moscow-Beijing topology seminar (by Zoom)


In 1980s, Joyce and Matveev introduced quandle which is an algebraic structure related to knot theory. In the papers, they also showed that for given a group $G$ and an automorphism $\varphi$, there is a quandle structure on the underlying set of $G$. When the automorphism is an innerautomorphism by $\zeta\in G$, we denote this quandle structure by $(G,\triangleleft_{\zeta})$.

 In this talk, we show a relationship between group extensions of a group $G$ and quandle extensions of the quandle $(G, \triangleleft_{\zeta})$. In fact, there exists a group homomorphism from $H_{gp}^{2}(G;A) \to H_{q}^{2}((G,\triangleleft_{\zeta});A)$. Also, we show a relationship between quandle extensions of a quandle $Q$ and quandle extensions of the quandle on the inner automorphism group of $Q$. Indeed, there exists a group homomorphism from $H_{q}^{2}(Q;A) \to H_{q}^{2}(({\rm Inn}(Q),\triangleleft_{\zeta});A)$. Finally, we introduce some interesting examples which is an observation for a relationship between extensions of a quandle and extensions of the inner automorphism group of the quandle. This is a joint work with Y. Bae and J. S. Carter.

The seminar will be held during 15:30--17:00 (Beijing time) on Zoom.

Meeting ID: 831 5020 0580

Password: 141592

13 July 2020, 18:30 - (UTC+3)

Title : Studying complex manifolds by using groups G_n^k and \Gamma_n^k

Speaker : Zheyan Wan (YMSC, Tsinghua University)

Organization : Knots and representation theory(@knots-in-moscow)


In this talk, we study several complex manifolds by using the following idea. First, we construct a certain moduli space and study the fundamental group of this space. This fundamental group is naturally mapped to the groups G_n^k and \Gamma_n^k. This is the step towards ``complexification'' of the G_n^k and \Gamma_n^k approach first developed in arXiv: 1905.08049.

This is my joint work with Vassily O. Manturov (arXiv: 2001.02791).

09 July 2020, 15:30 - (UTC+3)

Title : Чем фундаментальная группа бутылки Клейна отличается от всех остальных групп поверхностей?
Speaker :  Клячко А. А.

Organization : Математический коллоквиум


Теорема Мажуги говорит, что фундаментальная группа $H$ любой связной поверхности, кроме, быть может, бутылки Клейна, является ретрактом всякой конечно порождённой группы, содержащей $H$ в качестве вербально замкнутой подгруппы. Я расскажу об этой теореме и о других подобных фактах, а также о том, что происходит с бутылкой Клейна в действительности.

08 July 2020, 10:30 - (UTC+3)

Title : The strong homotopy fusion number of ribbon knots
Speaker :  Sungkyung Kang (IMS, CUHK)

Organization : Moscow-Beijing topology seminar (by Zoom)


The fusion number of a ribbon knot K is the minimal number of 1-handles needed to construct a ribbon disk for K. The strong homotopy fusion number of a ribbon knot K is the minimal number of 2-handles in a handle decomposition of a ribbon disk complement. The strong homotopy fusion number is a lower bound for the fusion number. We give examples of ribbon knots with strong homotopy fusion number one and arbitrarily large fusion number. Our main tools are Juhasz-Miller-Zemke’s bound on fusion number coming from the torsion order of knot Floer homology and Hanselman-Watson’s cabling formula for immersed curves.

06 July 2020, 18:30 - (UTC+3)

Title : Foams and Surface Braids as Higher Categories and Generalizations

Speaker : Scott Carter

Organization : Knots and representation theory


Five Categorical Principles are articulated: (1) Different things are not equal. (2) Arrows are used to compare things. (3) Doing followed by un-doing may, or may not, be the same as not doing. (4) Simultaneity is illusory, (5) Change followed by exchange is comparable to exchange followed by change. Then starting from a modification of algebraic axioms (multiplication, comultiplication, (co)associativity,  and pairing) embedded foams are formulated as quadruple arrows in a certain multi-category. Briefly, quintuple arrows will be discussed in this context, and then we'll move to surface braids, braided 3-manifolds and illustrate a few braided 4-manifolds.

1 July 2020, 10:30 - (UTC+3)

Title : 3Domino tilings, Legendrian knots, braid action on knots and relatives of groups G_{n}^{4} and \Gamma_{n}^{4}
Speaker :  Vassily O. Manturov

Organization : Moscow-Beijing topology seminar (by Zoom)


I will discuss a generalization of groups G_{n}^{k} and \Gamma_{n}^{k} which appears when studying 

the group action of domino tilings of R^{2} and 2-surfaces. This allows one to get a purely combinatorial generalisation of groups G_{n}^{4} and \Gamma_{n}^{4} acting on surfaces and action of braids on (Legendrian) knot diagrams. Many unsolved problems will be suggested.


This work is partially joint with Denis A. Fedoseev.

29June 2020, 18:30 - (UTC+3)

Title : Encoding and Computation on Textiles 

Speaker : Matt Bright

Organization : Knots and representation theory


We model a textile as an infinite collection of lines and circles whose embedding in a thickened plane maps to itself under periodic translation in two linearly independent directions.  Selection of a fixed unit cell allows a finite representation of a textile in a fixed thickened torus, from which we derive an abstract encoding of its structure based on the Gauss Code for knots. 


This enables an algorithmic approach to enumerating viable real world textile structures, and we will present our application of this approach to enumerating all oriented textiles with a given number of crossings, which is our main result to date on textile structures. 


However, unit cell selection in periodic structures is not unique, and topological classification should therefore be up to both deformation of the ambient space and changes in unit cell selection – this notion of periodic isotopy will be the key tool used to study real world examples of periodic structures.  We will discuss our preliminary approach to this topic, which has not to date received much study.

25 June 2020, 17:30 - (UTC+3)

Title : Classification of compact complex surfaces
Speaker : Каледин Дмитрий Борисович

Organization : Mathematical colloquium in BMSTU

Abstract : 

I will give a brief overview of the classic results on the classification of compact complex surfaces, both Kaehler and non-Kaehler.  

24 June 2020, 10:30 - (UTC+3)

Title : 3-manifolds, q-series, and topological strings
Speaker : Sunghyuk Park (California Institute of Technology)

Organization : Moscow-Beijing topology seminar (by Zoom)

Abstract:  Is there an analog of Khovanov homology for 3-manifolds? Is there an analog of HOMFLY-PT polynomial for 3-manifolds? 

Motivated by the first question, Gukov, Pei, Putrov and Vafa conjectured the existence of an invariant of 3-manifolds valued in power series in q with integer coefficients. This talk will be roughly in two parts: In the first half of the talk, I will give an overview of what is known about this conjectural invariant and some recent developments. The second half of the talk, partly motivated by the second question, will be on the "HOMFLY-PT version" of this invariant and (if time permits) its connection to holomorphic curve counts.  The second part of the talk is based on the joint work with Tobias Ekholm, Angus Gruen, Sergei Gukov, Piotr Kucharski and Piotr Sulkowski. 

22June 2020, 18:30 - (UTC+3)

Title : Об обходе пространства Роботом снабженным датчиком случайных чисел

Speaker : А.Канель-Белов, Е.Кондакова 

Organization : Knots and representation theory

Abstract:  Доклад посвящен поведению Робота (конечного автомата) в лабиринте, снабженного датчиком случайных чисел и одним камешком. Цель 

Робота - обойти весь лабиринт. Это значит, что для любой его комнаты найдется момент времени (с вероятностью 1), когда Робот там побывает. Робот может оставлять камешек в комнате (вершине графа), проверять наличие камешка и уносить с собой. В качестве Лабиринта нас интересует целочисленная решетка. 


Без камешков, но с датчиком случайных чисел Робот может обойти двумерную решетку, но не может обойти решетку высшей размерности. С двумя камешками (и с датчиком случайных чисел) он может эмулировать машину Минского и тем самым обойти решетку произвольной размерности. В случае одного камешка он может обойти решетку размерности не выше 4, но не может обойти решетку высшей размерности. 


Удивительно, что если зафиксировать «кирпич», - который нельзя таскать, но можно распознавать клетку с ним, - то с помощью кирпича и камешка можно обойти решетку размерности 6, а если зафиксировать плоскость из кирпичей, то размерности 8.  Для большей размерности 

фиксация подпространства кирпичей коразмерности 6, по всей видимости, не помогает. 


Однако, если при этом случайно расставить в клетках пространства числа 0 и 1 то осуществить обход уже можно. 


Доклад посвящен обсуждению возникающих вопросов. 

18 June 2020, 17:30 - (UTC+3)

Title : Групповые структуры и их приложения
Speaker : Р. Н. Гумеровв

Organization : Mathematical colloquium in BMSTU

Abstract : Рассматриваются свойства накрытий компактных групп, в частности, P-адических соленоидов. Обсуждается теорема о накрывающей группе и ее приложения. Показывается, что накрытия тесно связаны с многочленами Вейерштрасса над банаховыми алгебрами непрерывных функций. Обсуждаются свойства ∗-автоморфизмов полугрупповых C∗-алгебр для полугрупп в группах характеров P-адических соленоидов.

17 June 2020, 10:30 - (UTC+3)

Title : Multidimensional matrices in hypergraph matching and other combinatorial problems
Speaker : Anna Taranenko

Organization : Moscow-Beijing topology seminar (by skype https://join.skype.com/kbnO7QRZL8B8)

The talk aims to draw attention to the interplay between the hypergraph matching theory and the theory of diagonals in multidimensional matrices. We overview some classical or just nice results on existence and counting matchings in hypergraphs and see how the matrix approach works for them. At last, we consider applications of multidimensional permanents for transversals in latin squares and hypercubes. 

15 June 2020, 18:30 - (UTC+3)

Title : Knot quandle decompositions
Speaker : Eva Horbat

Organization : Knots and representation theory (by skype @knots-in-moscow)

Abstract : download

11 June 2020, 17:30 - (UTC+3)

Title : Тождества производных многообразий алгебр
Speaker : П. С. Колесников

Organization : Mathematical colloquium in BMSTU

Abstract : Пусть A — неассоциативная алгебра с дифференцированием d. Производными операциями назовем новые "произведения" (x>y) и (x<y), заданные правилом x>y=d(x)y, x<y=xd(y). Мы изучим связь тождеств, которым удовлетворяют производные операции, с конструкцией произведений Манина для операд, а также рассмотрим близкие по смыслу задачи с операторами Роты–Бакстера и усреднения.

10 June 2020, 10:30 - (UTC+3)

Title : The generalized Kummer construction and cohomology rings
Speaker : Iskander Taimanov (Novosibirsk State University)

Organization : Moscow-Beijing seminar

Abstract: We discuss the formality problem for manifolds with special holonomy and demonstrate ow to apply the Poincare-Lefschetz-Pontryagin intersection theory to computing the cohomology rings of G_2 manifolds constructed by Joyce by using the generalized Kummer construction

08 June 2020, 18:30 - (UTC+3)

Title : Skeins and algebras

Speaker : Hugh Morton

Organization : Knots and representation theory

Abstract: I will look at some algebras based on braids with a quadratic relation, which are natural candidates for Homfly skein theory models.  

The main theme will be the use of braids in thickened surfaces to construct algebras. These readily produce the Hecke algebras and the affine Hecke algebras of type A. I will point out a problem in doing the same for the double affine Hecke algebras, along with a way round it, which also allows for extensions to the algebras by the use of closed curves and tangles in addition to braids. This is part of recent work with Peter Samuelson.

03 June 2020, 10:30 - (UTC+3)

Title : More stable stems

Speaker: Guozhen Wang (Shanghai Center for Mathematical Sciences, Fudan University)

Organization : Moscow-Beijing seminar

Abstract: Computation of stable homotopy groups of spheres has been a long standing problem in algebraic topology. Many questions can be reduced to computations of stable homotopy groups, such as the classification of manifolds up to various notions of cobordism, and the classification of smooth structures. Using motivic methods, we made breakthroughs on the stemwise computations of the stable homotopy groups of spheres, extending the knowledge from the range around 60 to the range up to 90. I will give an account of our new methods and show the resulting charts of the classical and motivic Adams spectral sequences.

About the speaker: Prof. Guozhen Wang received his bachelor's degree and master's degree from Peking University, and his PhD from MIT. He and his collaborators published a paper on Annals of Mathematics in 2017, which solved the problems of computation of 61-stem in the stable homotopy groups of spheres and smooth structures of odd dimensional spheres. 

28 May 2020, 18:30 - (UTC+3)

Title : Hardy inequality on the tree and bi-tree and some (unexpected) combinatorial properties of planar measures.
Speaker : Pavel A. Mojolyako (Saint Peterburg state university)

Organization : Mathematical colloquium in BMSTU

Abstract : We consider embeddings of various spaces of analytic functions in polydisc into Lebesgue spaces with respect to a measure in the polydisc. These problems can be often moved to a discrete setting, by considering weighted Dirichlet spaces on (poly-) trees and weighted dyadic multi-parameter Hardy operator. We find the necessary and sufficient condition for this operator to be bounded in n-parameter case, when n is 1, 2, or 3. The answer is quite unexpected—it is a certain combinatorial property of all measures in dimension 2 and 3 --- and seemingly goes against the well known difference between box and Chang–Fefferman condition that was given by Carleson quilts example of 1974.

27 May 2020, 10:30 - (UTC+3)

Title : Cubic forms, anomaly cancellation and modularity
Speaker :  Ruizhi Huang (Academy of Mathematics and Systems Sciences, Chinese Academy of Sciences)

Organization : Moscow-Beijing seminar

Abstract: Motivated by the cubic forms and anomaly cancellation formulas of Witten-Freed-Hopkins, we give some new cubic forms on spin, spin$^c$, spin$^{w_2}$ and orientable 12-manifolds. We relate them to $\eta$-invariants when the manifolds are with boundary, and mod 2 indices on 10 dimensional characteristic submanifolds when the manifolds are spin$^c$ or spin$^{w_2}$. 

This is a joint work with Fei Han, Kefeng Liu and Weiping Zhang. 

25 May 2020, 18:30 - (UTC+3)

Title : The Jones-Krushkal polynomial and minimal diagrams of surface links
Speaker : Hans U. Boden (McMaster University) 

Organization : Knots and representation theory

Abstract: We prove an analogue of the Kauffman-Murasugi-Thistlethwaite theorem for alternating links in surfaces. It states that any reduced alternating diagram of a link in a thickened surface has minimal crossing number, and any two reduced alternating diagrams of the same link have the same writhe. The proof holds more generally for links admitting adequate diagrams and the key ingredient is a two-variable generalization of the Jones polynomial for surface links defined by Krushkal. This result extends the first and second Tait conjectures to alternating links in thickened surfaces and also to alternating virtual links. This is joint work with Homayun Karimi.
   Time permitting, we will discuss a new invariant of link in surfaces called the homotopy Kauffman bracket. We give several examples to show the homotopy Kauffman bracket is stronger than the homological Kauffman braket, and we use it to extend the first and second Tait conjectures to weakly reduced alternating diagrams in surfaces. This part is work in progress and is joint with Homayun Karimi and Adam Sikora.

21 May 2020, 17:30 - (UTC+3)

Title :  On 3-free links
Speaker :  V.O. Manturov, D.A. Fedoseev and S. Kim.

Organization : Mathematical colloquium in BMSTU

Abstract : In this talk, we combinatorially define free 3-links and construct well defined mapping from oriented classical links in R^3 to free 3-links (with end points). And then, we will talk about possible modifications and invariants of free 3-links, which are related with free knots and invariant valued in pictures.



20 May 2020, 10:30 - (UTC+3)


Title: Stability of persistent homology for hypergraphs.

Speaker: Shiquan Ren

Organization : Seminar in Moscow and Beijing

Abstract: In this talk, we review the TDA method of persistent homology and its stability. We generalize the stability of persistent homology and study the stability of persistent homomorphisms between persistent homology. We discuss about the stability of the persistent homology for hypergraphs. 

18 May 2020, 18:30 - (UTC+3)

Title : Logarithmic invariants of knots and q-series invariants of 3-manifolds
Speaker : Sergey Gukov

Organization : Knots and representation theory


14 May 2020, 17:30 - (UTC+3)

Title :  Extremal questions for geometric graphs. Экстремальные задачи о геометрических графах.
Speaker : Андрей Купавский (IAS, Princeton, CNRS, France и МФТИ, Москва) и Нора Франкл (London School of Economics и МФТИ, Москва

Organization : Mathematical colloquium in BMSTU

Abstract : In this talk, we will cover some of the developments in the area of geometric graphs, related to the famous Erdos' unit distance problem. We will give a brief broad overview of the field and the techniques, as well as present some of our results.


В этом докладе мы расскажем о некоторых продвижениях в области геометрических графов вокруг известной проблемы Эрдеша о единичных расстояниях. Мы дадим краткий обзор области и используемых методов, а также расскажем о некоторых наших результатах.

13 May 2020, 10:30 - (UTC+3)

Title : Discrete Morse theory for weighted simplicial complexes
Speaker : Chengyuan Wu (National University of Singapore)

Organization : Seminar in Moscow and Beijing

Abstract :  In this talk, we discuss Forman's discrete Morse theory in the context of weighted homology. We develop weighted versions of classical theorems in discrete Morse theory. A key difference in the weighted case is that simplicial collapses do not necessarily preserve weighted homology. We work out some sufficient conditions for collapses to preserve weighted homology, as well as study the effect of elementary removals on weighted homology. We also give a brief introduction to weighted (persistent) homology.

11 May 2020, 18:30 - (UTC+3)

Title : Minor's concordance invariants for virtual knots and welded links.
Speaker : Micah Chrisman

Organization : Knots and representation theory

Abstract: Milnor's $\bar{\mu}$-invariants for links in the 3-sphere vanish on any link concordant to a boundary link. In particular, they are are trivial for any classical knot. Here we define an analogue of Milnor's concordance invariants for knots in thickened surfaces $\Sigma \times [0,1]$, where $\Sigma$ is closed and oriented. The invariants are constructed from the nilpotent quotients of an extension of the group of a virtual knot due to Boden-Gaudreau-Harper-Nicas-White. These invariants, called $\overline{\text{zh}}$-invariants, vanish on any knot concordant to a homologically trivial knot in $\Sigma \times [0,1]$. Three applications are given. First, we use the $\overline{\text{zh}}$-invariants to give new examples of non-slice virtual knots having trivial Rasmussen invariant, graded genus, writhe polynomial, and generalized Alexander polynomial. Moreover, we complete the slice status classification of the 2564 virtual knots having at most five classical crossings and reduces to four (of 90235) the number of virtual knots with six classical crossings having unknown slice status. As a second application, we prove that in contrast to the classical knot concordance group, the virtual knot concordance group is not abelian. Thirdly, as a byproduct of the construction of the $\overline{\text{zh}}$-invariants, we obtain a generalization of the $\bar{\mu}$-invariants of classical links to concordance invariants of welded links.

07 May 2020, 17:45 - (UTC+3)

Title : Наследственно полные системы в пространствах функций 
Speaker : Баранов Антон Дмитриевич (Санкт-Петербургский государственный университет)

Organization : Mathematical seminars in BMSTU

Abstract: Пусть система векторов $x_n$ полна и минимальна в гильбертовом пространстве $H$. Будем говорить, что эта система наследственно полна, если каждый вектор в $H$ может быть аппроксимирован по норме линейными комбинациями частичных сумм его ряда Фурье по системе $x_n$. В течение многих лет оставалась открытой задача о наследственной полноте для систем экспонент в пространстве $L^2(-a,a)$. Несколько лет назад эта задача была решена в отрицательном смысле в совместной работе с Ю. Беловым и А. Боричевым. Таким образом,  существуют негармонические ряды Фурье, не допускающие линейного метода суммирования. В то же время, любая экспоненциальная система наследственно полна с точностью до одномерного дефекта. В докладе мы обсудим также сходные задачи для систем воспроизводящих ядер в гильбертовых пространствах целых функций (таких как пространства Пэли-Винера, де Бранжа, Фока). Доклад основан на совместных работах с Ю. Беловым (С.-Петербург) и А. Боричевым (Марсель).

6 May 2020, 10:30 - (UTC+3)

Title : New criteria and Constructions of Brunnian Links
Speaker : Sheng Bai

Organization : Seminar in Moscow and Beijing

Abstract : We present two practical and widely applicable methods, including some criteria and a general procedure, to detect Brunnian property of a link, if each component is known to be unknot. The methods are based on observation and handwork, significantly different from invariants. They are used successfully for all Brunnian links known so far. Typical examples and extensive experiments illustrate their efficiency. The flexibility of the new methods often leads us to create infinite families of new Brunnian links from a given Brunnian link. This is a joint work with Wang Weibiao.

29 April 2020, 10:30 - (UTC+3)

Title :Higher dimensional structures of graphs, and a unified topological approach to data science
Speaker : Jie Wu (Hebei Normal University)

Organization : Seminar in Moscow and Beijing

Abstract: In this talk, we will report our current research for exploring topology of subgraphs and its applications. After reviewing the classical work by Lovasz and some recent work by S. T. Yau and others for exploring higher dimensional structures of graphs, we propose a general question concerning higher dimensional topological structures of graphs. Then we introduce the notion of super-hypergraph, which can be briefly described as Delta set with missing faces, as a model for topological structure of subgraphs. The applications are given by providing a unified topological approach to data science. This is a joint work with Professor Jelena Grbic from Southampton.

27 April 2020, 18:30 - (UTC+3)

Title : About algorithmic unsolvability of the embeddins problem for algebraic manifolds over field of zero characteristics
Speaker : Aleksey Chilikov

Organization : Knots and representation theory

Abstract: Let A and B be affine manifolds over fields of zero characteristics. Is exist an embedding from A to B? In this works we prove that there is no algorithm which can check this. We set this for manifolds which are defined by generators and defining relations. Moreover, this is true if A is an affine space and if A is an affine line over R.

23 April 2020, 17:30 - (UTC+3)

Title : The volume of polytopes and the tight frames.
Speaker : Grigory Ivanov

Organization : Mathematical seminars in BMSTU

Abstract :  The projection of an orthonormal basis of $\R^n$ onto $\R^k$ is called a \textit{tight frame}. This object appears in different areas of mathematics starting with quantum mechanics and convex analysis.

In this talk, we will discuss the use of tight frames in the volume extrema problems for centrally-symmetric polytopes. Namely, we will consider zonotopes, sections of the $n$-cube, projections of the $n$-cross-polytope, and then we will discuss how to reformulate the volume extrema problems for these classes of polytopes in terms of tight frames.

The volume extrema problems for these polytopes has been study intensively.

Yet there are a lot of open questions in the area.

We will show how to write a 'naive' variational principle for such problems, and then we will use it to obtain the geometric necessary conditions for extremizers and some new bounds on the volume of centrally-symmetric polytopes.

22 April 2020, 10:30 - (UTC+3)

Title : The volume and Chern-Simons invariant of a 3-manifold.
Speaker : Seokbeom Yoon

Organization : Seminar in Moscow and Beijing

Abstract :  For a hyperbolic 3-manifold with cusps, a decomposition into ideal tetrahedra allows us to compute its volume and Chern-Simons invariant. In this talk, we briefly recall such computation and present its generalization.

20 April 2020, 18:30 - 20:10 (UTC+3)

Title : Over then Under Tangles
Speaker : Dror Bar-Nartan

Organization : Knots and representation theory by Zoom

Abstract : Brilliant wrong ideas should not be buried and forgotten. Instead, they should be mined for the gold that lies underneath the layer of wrong. In this paper we explain how "over then under tangles" lead to an easy classification of knots, and under the surface, also to some valid mathematics: a separation theorem for braids and virtual braids, a topological understanding of the Drinfel'd double construction of quantum group theory, and more.

You may find the video recording in http://www.math.toronto.edu/~drorbn/Talks/

16 April 2020, 17:30 - (UTC+3)

Title : Introduction to Arakelov Geometry
Speaker : Denis Osipov

Organization : Mathematical colloquium in BMSTU by Zoom

Abstract : Геометрия Аракелова - это способ "компактифицировать" арифметические объекты при помощи эрмитовых метрик, чтобы работать с этими объектами как с проективными алгебраическими многообразиями над полем. Я расскажу про основные понятия геометрии Аракелова в размерности один и два, то есть для арифметических кривых и арифметических поверхностей.

15 April 2020, 16:20 - 16:50 (UTC+3)

Title : An Introduction to Framed 4-Graph Minor Theory
Speaker : V.O. Manturov


Abstract : The well-known Pontrjagin-Kuratowski Theorem says that a graph is non-planar if it does not contain K5 and K3,3 (in the modern formulation we can say does not contain as a minor). In the talk we deal with regular 4-graphs with an additional structure of opposite edges at each vertex (we call them framed 4-graphs) . A theorem due to the speaker (conjectured by V.A.Vassiliev) says that such a graph is non-planar if it does not contain two cycles with no common edges having exactly one transverse intersection. The equivalence of the Pontrjagin-Kuratowski Theorem and Vassiliev's conjecture was proved by I.M.Nikonov.

In the talk we prove that for framed 4-graphs (with source-sink structure) there is a unique graph which plays the role of planarity abstraction as well as intrinsic linkedness obstruction as well as obstruction of crossing number no more than two.


15 April 2020, 10:30 - (UTC+3)

Title : SL(3,C)-representations of two-generator groups
Speaker : Haimiao Chen, 

Organization : Skype seminar of Moscow and Beijing

Abstract : SL(3,C)-representations of fundamental groups of 3-manifolds are interesting in low-dimensional topology, due to their close connections to geometric and topological structures. But till now few computations are seen in the literature. After a brief survey on background, I will present an efficient method for computing SL(3,C)-representations of any two-generator group. In particular, the SL(3,C)-character variety of each rational link can be written down. 


13 April 2020, 18:30 - (UTC+3)

Title : Topological Quantum Computing and Untary Representations of the Artin Braid Group
Speaker : Louis H. Kauffman, 

Organization : Knots and representation theory by skype (@knots-in-moscow)

Abstract : This talk will review the basics of quantum theory and quantum computation. Then we discuss how unitary braid group representations
associated with the Temperley Lieb Recoupling theory for the Jones polynomial can in theory give universal quantum computation.


09 April 2020, 16:00 - (UTC+3)

Title : An Upper Bound for Weak Bk–Sets
Speaker : Ilya D. Shkredov, 

Organization : Mathematical colloqbium by Zoom

Abstract : Please read the file. (see abstract)

08 April 2020, 10:30 - (UTC+3)

Title : On generalized configuration space and its homotopy groups
Speaker : Jun Wang

Organization : Skype seminar in Moscow and Beijing

Abstract : Let $M$ be a subset of vector space or projective space. The authors define  \emph{generalized configuration space} of $M$ which is formed by $n$-tuples of elements of $M$ where any $k$ elements  of each $n$-tuple are linearly independent. The \emph{generalized configuration space}  gives a generalization of  Fadell's classical configuration space, and Stiefel manifold. Denote  \emph{generalized configuration space} of $M$  by $W_{k,n}(M)$.
For studying topological property of the generalized configuration spaces, the authors calculate homotopy groups for some special cases. This article gives the fundamental groups of  generalized configuration spaces of  $\mathbb{R}P^m$  for some special cases, and the connections between the homotopy groups of generalized configuration spaces of $S^m$  and the homotopy groups of Stiefel manifolds. It is  also proved that the higher homotopy groups of generalized configuration spaces $W_{k,n}(S^m)$ and $W_{k,n}(\mathbb{R}P^m)$ are isomorphic.


06 April 2020, 18:30 - (UTC+3)

Title : On the geometry of polynomial automorphism $\Ind$-schemes
Speaker : Andrey Elishev (joint work with Alexei Kanel-Belov and Yu Jie-Tai)

Organization : Knots and representation theory by skype (@knots-in-moscow)

Abstract : My talk concerns certain topological and algebraic-geometric properties of $\Ind$-schemes $\Aut K[x_1,\ldots, x_n]$, $n>2$, of polynomial automorphisms, defined over an algebraically closed field $K$ of characteristic zero, together with their free algebra counterparts $\Aut K\langle x_1,\ldots, x_n\rangle$. In particular, I will explain the proof of the theorem which states that all $\Ind$-automorphisms of $\Aut K[x_1,\ldots, x_n]$ are inner, as well as comment on the embedding problem of $\Aut K[x_1,\ldots, x_n]$ into $\Aut K\langle x_1,\ldots, x_n\rangle$. The proof of the main result is based on Anick's theory of approximation of polynomial automorphisms and constitutes a rather curious case of interaction between adic topology and algebraic geometry. We will also consider the connection of this theory with the Jacobian conjecture.


01 April 2020, 10:30 - (UTC+3)

Title : Steenrod square for virtual links toward Khovanov-Lipshitz-Sarkar stable homotopy type for virtual links

Speaker : Eiji Ogasa

Organization : Skype seminar in Moscow and Beijing


30 March 2020, 18:30 - 20:05 (UTC+3)

Title : Quantum toroidal algebras and quantum field theory

Speaker : Egor Zenkevich

Organization : Knots and representation theory by skype


30 March 2020, 16:40 - 18:15 (UTC+3)

Title : Spin x_{Z_2} Spin (d) cobordism groups: Spin, Spin^c, Spin^h and so on

Speaker : Zheyan Wan

Organization : Knots and representation theory by skype


16 March 2020, 18:30 - 20:05 (UTC+3)

Title : Interlocking structures
Speaker : A.J. Kanel-Belov, I.A. Ivanov-Pogodaev

Organization : Knots and representation theory by skype

Abstract :

Consider a set of contacting convex figures in $R^2$. It can be proven that one of these figures can be moved out of the set by translation without disturbing others. Therefore, any set of planar figures can be disassembled by moving all figures one by one. 


However, attempts to generalize this statement to $R^3$ have been unsuccessful. The author proposed a following mechanical use of this effect. In a small grain there is no room for cracks, and crack propagation should be arrested on the boundary of the grain. On the other hand, grains keep each other. So it is possible to get "materials without crack propagation" and get new use of sparse materials, say ceramics. Quite unexpectedly, such structures can be assembled with any type of platonic polyhedra, and they have geometric beauty. 


The talk is devoted to different structures.


Recording video from seminars "Knots and representation theory" and "Moscow-Beijing seminar".

Time line

Chicago -8h

Moscow +0h

Beijing +5h

Seoul +6h

Tokyo +6h

Kim, Seongjeong,

e-mail :ksj19891120@gmail.com