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

24 February 2021, 10:30 - (UTC+3)

Title: Virtual knot theory methods in algebraic topology

Speaker: V.O. Manturov

Organization : Moscow-Beijing Topology Seminar (by Zoom)

Abstract:

The aim of the program is to make invariants of topological objects "non-commutative", make them valued "rather in 1-homotopy than homology" and to look at "characteristic cycles instead of characteristic classes". In this talk I discussed only a part of that program: just for usual knots, but potentially we can take whatever non simply connected manifold (or moduli space) to study it by using these methods.

The key examples come from virtual knot spaces where one can easily calculate invariants valued in "pictures" (diagrams of virtual knots) which are quite similar to free groups (from the point of view of unique minimal representative).

These pictures contain much more powerful information than "polynomial", "homological" or even "categorified" invariants.

Such structures naturally appear whenever the moduli spaces of studied objects possess "nice real codimension 1-subspaces" which is often the case.

22 February 2021, 18:30 - (UTC+3)

Title: Quaternionic conjugation spaces

Speaker: Th. Yu. Popelensky

Organization : Knots and representation theory (by Zoom)

Abstract:

There is a considerable amount of examples of spaces $X$ equipped with an involution $\tau$

such that the mod 2--cohomology rings $H^{2*}(X)$ and $H^*(X^\tau)$ are isomorphic.

Hausmann, Holm, and Puppe have shown that such an isomorphim is a part of a certain structure

on equivariant cohomology of $X$ and $X^\tau$, which is called an {\it $H$-frame}.

The simplest examples are complex Grassmannians and flag manifolds with complex conjugation.

We develop a similar notion of $Q$-frame which appears in the situation

when a space $X$ is equipped with two commuting involutions $\tau_1,\tau_2$ and

the mod 2-cohomology rings $H^{4*}(X)$ and $H^*(X^{\tau_1,\tau_2})$ are isomorphic.

Motivating examples are quaternionic Grassmannians and quaternionic flag manifolds equipped with

two complex involutions. We show naturality and uniqueness of $Q$-framing.

We prove that $Q$-framing can be defined for direct limits, products, etc. of $Q$-framed spaces.

This list of operations contains glueing a disk in $\HH^n$ with complex involutions $\tau_1$ and $\tau_2$ to a $Q$-framed space by an equivariant map of boundary sphere.

An imporant part of $H$-frame structure in paper by H.--H.--P. was so called {\em conjugation equation}.

Franz and Puppe calculated the coefficients of the conjugation equation in terms of the Steenrod squares.

As a part of a $Q$-framing we introduce corresponding structure

equation and express its coefficients by explicit formula in terms of the Steenrod operations.

18 February 2021, 17:30 - (UTC+3)

Title: On periodic solutions of the quasilinear Euler-Bernoulli equation

Speaker: Rudakov I.A.

Organization : Mathematical colloquium in BMSTU

Abstract:

The problems related to the problem of periodic solutions of the quasilinear Euler-Bernoulli equation with homogeneous boundary conditions on the segment are discussed. The asymptotic formulas of the corresponding Sturm-Liouville problem for eigenfunctions and eigenvalues, as well as the conditions for the invertibility of the differential operator of the equation, are obtained. For the quasilinear Euler-Bernoulli equation, the conditions of existence, uniqueness, non-existence, and countable solvability are obtained.

17 February 2021, 10:30 - (UTC+3)

Title: On the algebraic structures of the quantum generalized Heisenberg algebras

Speaker: Farrokh Razavinia

Organization : Moscow-Beijing Topology Seminar (by Zoom)

Abstract:

In this talk, I will present a newly defined noncommutative class of algebras which we call quantum generalized Heisenberg algebras (qGHAs for short) related to generalized Heisenberg algebras; and I will investigate some of their algebraic structures.

This talk is based on two of our recently published preprints with Arxiv identifications 2004.09301 and 2009.05270, which are joint work with Professor Samuel Lopes.

15 February 2021, 18:30 - (UTC+3)

Title: An excursion on doodles on surfaces and virtual twins

Speaker: Neha Nanda (Mohali, India)

Organization : Knots and representation theory (by Zoom)

Abstract:

Study of certain isotopy classes of a finite collection of immersed circles without triple or higher intersections on closed oriented surfaces can be thought of as a planar analogue of virtual knot theory where the genus zero case corresponds to classical knot theory. Alexander and Markov theorems for the classical setting is well-known, where the role of groups is played by twin groups, a class of right-angled Coxeter groups with only far commutativity relations. In the talk, Alexander and Markov theorems for higher genus case, where the role of groups is played by a new class of groups called virtual twin groups, will be discussed which is work in collaboration with Dr Mahender Singh. Furthermore, recent work on structural aspects of these groups will be addressed which is a joint work with Dr Mahender Singh and Dr Tushar Kanta Naik.

11 February 2021, 17:30 - (UTC+3)

Title: Некоторые граничные и геометрические свойства решений эллиптических систем на плоскости

Speaker: Астамур Багапш

Abstract: Обсуждаются вопросы разрешимости задачи Дирихле и однолистности отображений решениями эллиптических систем на плоскости. Для исследования этих вопросов оператор системы представляется в виде возмущения оператора Лапласа по малым параметрам, а сами решения аппроксимируются функциями с кусочно постоянными данными на границе. В докладе будет описано поведение решений систем вблизи граничной точки со скачком граничных данных, а также установлен принцип аргумента и его следствия для таких решений – нужный инструмент для дальнейшего исследования вопроса однолистности.

This is the joint work with Farrokh Razavinia and Alexei Kanel-Belov.

10 February 2021, 10:30 - (UTC+3)

Title: Quantization proof of Bergman's centralizer theorem

Speaker: Wenchao Zhang

Abstract: Quantization ideas provides a new vision in some classical areas in algebra. In this talk, we will present a quantization proof of Bergman's centralizer theorem that the centralizer of any non-scalar element of the free associative algebra is isomorphic to one dimensional polynomial algebra. We first give the reduction of the free associative algebra to the algebra of generic matrices, then we proved that the "quantized commutator" of two non-singular generic matrices is non-zero which contradicts with the hypothesis. Thus, we obtain that there is non rank two commutative subalgebra in the free associative algebra.

This is the joint work with Farrokh Razavinia and Alexei Kanel-Belov.

08 February 2021, 18:30 - (UTC+3)

Title: Algebraic structures in knot theory

Speaker: Manpreet Singh (Mohali, India)

Organization : Knots and representation theory (by Zoom)

Abstract:

A virtual knot is a smooth, simple closed curve in a thickened compact oriented surfaces considered up to ambient isotopy, stabilisation/destabilisation and orientation preserving homeomorphism of surfaces. Kuperberg proves that every virtual link has a unique representative as a link up to ambient isotopy in a thickened surface of the minimal genus. A classical knot theory is the study of smooth embedding of circles in the 3-sphere up to ambient isotopy. Considering classical theory as the study of links in the thickened 2-sphere, the preceding result implies that classical knot theory is embedded inside virtual knot theory. One of the fundamental problems in knot theory is the classification of knots. In the classical case, the fundamental group of the knot complement space is a well known invariant. But there are examples where it fails to distinguish distinct knots. Around the 1980s, Matveev and Joyce introduce a complete classical knot invariant (up to the orientation of the knot and the ambient space) using distributive groupoids (quandles), known as the knot quandle.

In the talk, I will describe the construction of knot quandle given by Matveev. I will introduce the notion of residually finite quandles and prove that all link quandles are residually finite. Using this, I will prove that the word problem is solvable for link quandle. I will discuss the orderability of quandles, in particular for link quandles. Since all link groups are left-orderable, it is reasonable to expect that link quandles are left (right)-orderable. In contrast, I will show that orderability of link quandle behave quite differently than that of the corresponding link groups. I will also introduce a recent combinatorial generalisation of virtual links to which we name as marked virtual links. I will associate groups and peripheral structures to these diagrams and study their properties.

04 February 2021, 17:30 - (UTC+3)

Title: On Quantization of Coulomb Branches

Speaker: Du Pei

Organization : Mathematical colloquium in BMSTU

Abstract:

The study of Coulomb branches of supersymmetric quantum field theories has in recent years led to many interesting insights into geometry and representation theory. In this talk, I will discuss the A-models with Coulomb branch targets, and show how to use them to better understand the representation theory of double affine Hecke algebras.

03 February 2021, 10:30 - (UTC+3)

Title: On links in $S_{g} \times S^{1}$ and its lifting

Speaker: S. Kim

Organization : Moscow-Beijing topology seminar

Abstract:

A virtual knot, which is one of generalizations of knots in $\mathbb{R}^{3}$ (or $S^{3}$), is, roughly speaking, an embedded circle in thickened surface $S_{g} \times I$. In this talk we will discuss about knots in 3 dimensional $S_{g} \times S^{1}$. We introduce basic notions for knots in $S_{g} \times S^{1}$, for example, diagrams, moves for diagrams and so on. For knots in $S_{g} \times S^{1}$ technically we lose over/under information, but we will have information how many times the knot rotates along $S^{1}$. We will discuss the geometric meaning of the rotating information.

01 February 2021, 18:30 - (UTC+3)

Title: Invariants of free knots valued in free groups

Speaker: V.O. Manturov

Organization : Knots and representation theory (by Zoom)

Abstract:

This talk is a part of the project of creating ``non-commutative'' invariants in topology. The main idea is to replace ``characteristic classes'' of moduli spaces with ``characteristic loops''. We discuss ``the last stage'' of the talk devoted to the abstract objects we get in the end: the free knots, an discuss their invariants valued in free groups.

These invariants allow one to detect easily mutations, invertibility, and other phenomena.

28 January 2021, 17:30 - (UTC+3)

Title: Geometrization, integrability and knots

Speaker: A.P. Veselov (Loughborough University, UK and Moscow State University, Russia)

Organization : Mathematical colloquium in BMSTU

Abstract: I will discuss the coexistence of the chaos and Liouville integrability in relation with Thurston’s geometrization programme, using as the main example the geodesic flows on the 3-folds with SL(2,R)-geometry.

A particular case of such manifold SL(2,R)/SL(2,Z) is known after Milnor and Quillen to be topologically equivalent to the complement of the trefoil knot in 3-sphere. I will explain that the remarkable results of Ghys about modular and Lorenz knots can be naturally extended to the integrable region, where in the limit we have only the cable knots of trefoil.

The talk is based on a joint work with Alexey Bolsinov and Yiru Ye.

27 January 2021, 10:30 - (UTC+3)

Title: Alexander Polynomial of Ribbon Knots

Speaker: Bai Sheng

Organization : Moscow-Beijing topology seminar

Abstract: We will show that Conway-normalized Alexander polynomial of ribbon knots depend only on their ribbon diagrams. Here ribbon diagram means a ribbon spanning the ribbon knot marked with the information of singularities. This work is inspired by Chapter VIII in L. H. Kauffman's On knots.

25 January 2021, 18:30 - (UTC+3)

Title: Links in $S_{g} \times S^{1}$ and its lifting

Speaker: Seongjeong Kim

Organization : Knots and representation theory (by Zoom)

Abstract: A virtual knot, which is one of generalizations of knots in $\mathbb{R}^{3}$ (or $S^{3}$), is, roughly speaking, an embedded circle in thickened surface $S_{g} \times I$. In this talk we will discuss about knots in 3 dimensional $S_{g} \times S^{1}$. We introduce basic notions for knots in $S_{g} \times S^{1}$, for example, diagrams, moves for diagrams and so on. For knots in $S_{g} \times S^{1}$ technically we lose over/under information, but we will have information how many times the knot rotates along $S^{1}$. We will discuss the geometric meaning of the rotating information.

21 January 2021, 17:30 - (UTC+3)

Title: On disproving 4-dimensional Smale Conjecture

Speaker: Selman Akbulut (Michigan State University)

Organization : Mathematical colloquium in BMSTU

Abstract: We present the construction of a self diffeomorphism of S^4 which is not isotopic to identity. This disproves a 4-dimensional version of the Smale Conjecture.

18 January 2021, 18:30 - (UTC+3)

Title : Unexpected applications of homotopical algebra to knot theory.

Speaker : Victoria Lebed

Organization : Knots and representation theory (by Zoom)

Abstract: Interactions between knot theory and homotopical algebra are numerous and natural. But the connections unveiled in this talk are rather unexpected. Following a recent preprint with Markus Szymik, I will explain how homotopy can help one to compute the full homology of racks and quandles. These are certain algebraic structures, useful in knot theory and other areas of mathematics. Their homology plays a key role in applications. Although very easy to define, it is extremely difficult to compute. Complete computations have been done only for a few families of racks. Our methods add a new family to this list, the family of permutation racks. The necessary background on racks and quandles, and their role in braid and knot theories, will be given.

14 January 2021, 17:30 - (UTC+3)

Title: Algebraic constructions of link homology

Speaker: Lev Rozansky (Professor, Department of Mathematics, University of North Carolina at Chapel Hill)

Organization: Mathematical colloquium in BMSTU

Abstract: Almost 25 years ago M. Khovanov introduced link homology and interpreted the previously known `quantum' polynomial invariants of links as its graded Euler characteristic. I will review the algebraic methods of constructing the triply-graded and SL(n) link homologies, the emergence of matrix factorizations and the quantum theory interpretation of these constructions.

13 January 2021, 10:30 - (UTC+3)

Title: Interlocking structures

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

Organization : Seminar in Moscow and Beijing by zoom

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 it to $R^3$ have been unsuccessful and finely quite unexpectedly of convex bodies were found. Author proposed a follows 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 a geometric beauty.

The talk is devoted to the different structures.

This is the work by A.Ya.Kanel-Belov (jointly with Estrin, Dyskin, Ivanov-Pogodaev, Pesin, E. Pasternak).

11 January 2021, 18:30 - (UTC+3)

Title : On noncommutative geometry

Speaker : I.M. Nikonov

Organization : Knots and representation theory (by Zoom)

Abstract:

Noncommutative (differential) geometry was introduced by Alain Connes about forty years ago. It is based on the correspondence between topological and geometrical objects (manifolds, bundles, differential forms etc.) and algebraic ones (algebras, modules, Hochschild homology etc.)In the talk we review the basic constructions of noncommutative geometry: C*-algebras, cyclic homology and Chern character.

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

Title: The existence of contact structures on 9-manifolds

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

Title : Arithmetic and quasi-arithmetic hyperbolic reflection groups

Speaker : Nikolay Bogachev (Skoltech & MIPT)

Organization : Knots and representation theory (by Zoom)

Abstract:

In 1967, Vinberg started a systematic study of hyperbolic reflection groups. In particular, he showed that Coxeter polytopes are natural fundamental domains of hyperbolic reflection groups and developed practically efficient methods that allow to determine compactness or volume finiteness of a given Coxeter polytope by looking at its Coxeter diagram. He also proved a (quasi-)arithmeticity criterion for hyperbolic lattices generated by reflections. In 1981, Vinberg showed that there are no compact Coxeter polytopes in hyperbolic spaces H^n for n>29. Also, he showed that there are no arithmetic hyperbolic reflection groups H^n for n>29, either. Due to the results of Nikulin (2007) and Agol, Belolipetsky, Storm, and Whyte (2008) it became known that there are only finitely many maximal arithmetic hyperbolic reflection groups in all dimensions. These results give hope that maximal arithmetic hyperbolic reflection groups can be classified.

A very interesting moment is that compact Coxeter polytopes are known only up to H^8, and in H^7 and H^8 all the known examples are arithmetic. Thus, besides the problem of classification of arithmetic hyperbolic reflection groups (which remains open since 1970-80s) we have another very natural question (which is again open since 1980s): do there exist compact (both arithmetic and non-arithmetic) hyperbolic Coxeter polytopes in H^n for n>8 ?

This talk will be devoted to the discussion of these two related problems. One part of the talk is based on the recent preprint https://arxiv.org/abs/2003.11944 where some new geometric classification method is described. The second part is based on a joint work with Alexander Kolpakov https://arxiv.org/abs/2002.11445 where we prove that each lower-dimensional face of a quasi-arithmetic Coxeter polytope, which happens to be itself a Coxeter polytope, is also quasi-arithmetic. We also provide a few illustrative examples.

23 December 2020, 10:30 - (UTC+3)

Title: On topological representation theory from quivers

Speaker: Fang Li (Zhejiang University, China)

Organization : Seminar in Moscow and Beijing by zoom

Abstract :

In this work, we introduce topological representations of a quiver as a system consisting of topological spaces and its relationships determined by the quiver. Such a setting gives a natural connection between topological representations of a quiver and diagrams of topological spaces.

First, we investigate the relation between the category of topological

representations and that of linear representations of a quiver via $P(\Gamma)$-$\mathcal{TOP}^o$ and $k\Gamma$-Mod, concerning (positively) graded or vertex (positively) graded modules.

Second, we discuss the homological theory of topological

representations of quivers via $\Gamma$-limit $Lim^{\Gamma}$ and using it, define the homology groups of topological

representations of quivers via $H_n$. It is found that some properties

of a quiver can be read from homology groups.

Third, we investigate the homotopy theory of topological representations of quivers.

We define the homotopy equivalence between two morphisms in $\textbf{Top}\mathrm{-}\textbf{Rep}\Gamma$ and show that the parallel Homotopy Axiom also holds for top-representations based on the homotopy equivalence.

Last, we mainly obtain the functor $At^{\Gamma}$ from $\textbf{Top}\mathrm{-}\textbf{Rep}\Gamma$ to

$\textbf{Top}$ and show that $At^{\Gamma}$ preserves homotopy equivalence between morphisms. The relationship is established between the homotopy groups of a top-representation $(T,f)$ and the homotopy groups of $At^{\Gamma}(T,f)$.

This is a joint work with Zhihao Wang, Jie Wu, Bin Yu.

21 December 2020, 18:30 - (UTC+3)

Title : Virtual Knots, Index Polynomials and the Sawollek Polynomial

Speaker : Louis H Kauffman, UIC

Organization : Knots and representation theory (by Zoom)

Abstract:

This talk will discuss the Affine Index Polynomial and its relationship with the Sawollek Polynomial for virtual knots and links.

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

Title: On triangulations of polyhedra, monotone sequences of flips, and decompisitions of 3d embedded prismatoids.Speaker: Hang Si

Organization: Mathematical colloquium in BMSTU

Abstract: A fundamental fact exploited in computational geometry is that one can actually flip between regular triangulations monotonically, in a generalization of what happens for Lawson’s result in the planar Delaunay triangulation. However, the same is not true for non-regular triangulations, in dimensions three and higher.

16 December 2020, 10:30 - (UTC+3)

Title: AN EXCURSION ON DOODLES ON SURFACES AND VIRTUAL TWINS

14 December 2020, 18:30 - (UTC+3)

Title : The homology cobordism group

Speaker : C. Manolescu

Organization : Knots and representation theory (by Zoom)

Abstract:

The three-dimensional homology cobordism group is a fundamental object in the study of triangulations of manifolds. Its precise structure is still unknown, but significant progress has been made in recent years using Floer homology. I will present a survey of these developments.

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

Title:Устойчивость порядка и типа при возмущении спектральной меры

Speaker: А. Д. Баранов

Organization: Mathematical colloquium in BMSTU

Abstract: В 2011 году А. Боричев и М. Содин показали, что экспоненциальный тип меры устойчив относительно возмущений, состоящих из экспоненциально малого перераспределения массы и добавления экспоненциально малых слагаемых. Этот факт можно рассматривать как устойчивость цепочек пространств де Бранжа в соответствующих L^2-пространствах. Мы исследуем устойчивость цепочек де Бранжа в L^2-пространствах относительно возмущений той же структуры, допустимый размер которых связан с максимальным ростом функций в цепочке. При этом допустимые возмущения могут оказаться больше, чем в случае экспоненциального типа. Наш основной результат состоит в том, что при переходе к возмущенной мере имеет место альтернатива: либо исходная цепочка де Бранжа остается плотной, либо ее замыкание должно содержать функции с более быстрым ростом. Введено понятие порядка меры и доказаны свойства устойчивости и монотонности для него. Особую роль играют случаи экспоненциального типа (порядок 1) и очень медленного роста (логарифмический порядок не выше 2). Доклад основан на совместной работе с Харальдом Ворачеком (Technische Universität Wien).

09 December 2020, 10:30 - (UTC+3)

Title: Distinguishing 4-dimensional geometries via profinite completions

Speaker: Jiming Ma (Fudan University)

Organization : Seminar in Moscow and Beijing by zoom

Abstract :

It is well-known that there are 19 classes of geometries for 4-dimensional manifolds in the sense of Thurston. We could ask that to what extent the geometric information is revealed by the profinite completion of the fundamental group of a closed smooth geometric 4-manifold. In this paper, we show that the geometry of a closed orientable 4-manifold in the sense of Thurston could be detected by the profinite completion of its fundamental group except when the geometry is $ \mathbb{H}^{4}$, $\mathbb{H}^{2}_{\mathbb{C}}$ or $\mathbb{H}^2 \times \mathbb{H}^2$.

Moreover, despite the fact that not every smooth 4-manifold could admit one geometry in the sense of Thurston, some 4-dimensional manifolds with Seifert fibred structures are indeed geometric. For a closed orientable Seifert fibred 4-manifold $M$, we show that whether $M$ is geometric could be detected by the profinite completion of its fundamental group.

This is a joint work with Zixi Wang.

This represents joint work with Cristina Anghel and is based on http://arxiv.org/abs/2011.02388.

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

Title : Parity theories for links

Speaker : W. Rushworth

Organization : Knots and representation theory (by Zoom)

Abstract:

Parity is an extremely powerful construction in the study of virtual knots. However, many of the most useful parity theories do not naturally extend to virtual links. I shall discuss some parity theories for virtual links, and give a number of applications. I'll also advertise some interesting open problems.

02 December 2020, 10:30 - (UTC+3)

Title: On the different flavours of Lawrence-Bigelow representations

Speaker: Martin Palmer (IMAR, Romania)

Organization : Seminar in Moscow and Beijing by zoom

Abstract : The family of Lawrence-Bigelow representations of the braid groups are of central importance in the study of the braid groups themselves, as well as their connections with quantum invariants of knots and links. They are an example of a wider class of homological representations of mapping class groups of surfaces, arising from twisted homology of configuration spaces. These homological representations come in many different flavours, depending on the kind of homology theory used, whether we forget part of the boundary or consider homology relative to part of the boundary, and whether we consider twisted homology or instead the homology of an associated covering space.

We will describe these different constructions of homological representations, and then explain the fundamental relationships between them in terms of non-degenerate pairings, embeddings and isomorphisms. In many cases, the representations are free (as modules), and we will also describe, pictorially, explicit bases for these representations.

This represents joint work with Cristina Anghel and is based on http://arxiv.org/abs/2011.02388.

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

Title : Comparing a new homology theory for trivalent graphs with Khovanov homology for virtual links

Speaker : Scott Baldridge

Organization : Knots and representation theory (by Zoom)

Abstract: In this lecture, I will show how to categorify the 2-factor polynomial to get a homology theory of trivalent ribbon graphs with perfect matchings. The 2-factor polynomial is useful in graph theory because it counts certain 3-edge colorings of a graph. I will then introduce the notion of a graphene, which is an equivalence class of ribbon graphs that behaves like a virtual link. Finally, I will compare the homology theory to Khovanov homology of virtual links using graphenes and show that, while the two share many similarities, they are different theories.

The work on graphenes is joint with Lou Kauffman and Will Rushworth.

26 November 2020, 17:30 - (UTC+3)

Title:

Speaker:

Organization: Mathematical colloquium in BMSTU

Abstract:

25 November 2020, 10:30 - (UTC+3)

Title: Projective elliptic genera and applications

Speaker: Fei Han (National University of Singapore)

Organization : Seminar in Moscow and Beijing by zoom

Abstract :

Projective vector bundles (or gerbe modules) are generalizations of vector bundles in the presence of a gerbe on manifolds. Given a projective vector bundle, we will first show how to use it to twist the Witten genus to get modular invariants, which we call projective elliptic genera. Then we will give two applications around this construction: (1) given any pseudodifferential operator, we will construct modular invariants generalizing the Witten genus, which corresponds to the Dirac operator; (2) we will enhance the Hori map in T-duality to the graded Hori map and show that it sends Jacobi forms to Jacobi forms. This represents our joint works with Mathai.

23 November 2020, 18:30 - (UTC+3)

Title : Introduction to Relations between Trivalent Graphs and Virtual Knot Theory

Speaker : Louis H Kauffman

Organization : Knots and representation theory (by Zoom)

Abstract: This talk will begin by discussing the Penrose formula for counting the number of proper edge three colorings of a trivalent (planar) graph and its relationships with both perfect matchings of trivalent graphs and with structures in virtual knot theory. We then build a natural functor from the category of virtual trivalent graphs and the category of virtual knot and link diagrams, showing how virtual link invariants inform the structure of the graphs and how the structure of the graphs informs the virtual knot theory. This is joint work with Scott Baldridge, Ben McCarty and William Rushworth.

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

Title: Hyperbolic invariants and some diagrammatic coordinates for SL(2,C) representations

Speaker: Seonhwa Kim (Korean Institute for Advanced Study)

Organization : Seminar in Moscow and Beijing by zoom

Abstract :

Hyperbolic invariants are knot invariants obtained by the hyperbolic structure of the knot complement.

I will introduce various diagrammatic (arc-, region-, segment- ) variables and colorings for a knot diagram, which are related to SL(2,C) representation of the knot group.

These coordinates are grown out of the study of Kashaev volume conjecture and the essential idea is a decomposition of a knot complement into ideal octahedra.

Although the conjecture turned out to be very difficult to prove, we can obtain a useful formula of hyperbolic invariants in terms of those diagrammatic coordinates.

16 November 2020, 18:30 - (UTC+3)

Title : On the monopole Lefschetz number

Speaker : N. Saveliev

Organization : Knots and representation theory (by Zoom)

Abstract: Let f be a finite order diffeomorphism of a rational homology 3-sphere M making it into an n-fold cyclic branched cover of a knot in an integral homology sphere. We prove a formula for the Lefschetz number of the map induced by f on the reduced monopole homology of M. This formula is motivated by a variant of Witten's conjecture relating the Donaldson and Seiberg-Witten invariants of 4-manifolds. It has various applications in low-dimensional topology, gauge theory, knot theory, and contact geometry. This is a joint project with Jianfeng Lin and Daniel Ruberman.

05 November 2020, 17:30 - (UTC+3)

Title: Khovanov homology and causality in spacetimes

Speaker: В. В. Чернов

Organization: Mathematical colloquium in BMSTU

Abstract: Мы показываем что гомологии Хованова полностью определяют причинность в случае (2+1)-мерного глобально гиперболического пространства-времени в случае когда поверхность Коши гомеоморфна плоскости. Мы используем этот результат чтобы сделать вывод, что гомологии Хованова могут быть использованы для того чтобы полностью узнать причинность в случае когда поверхность Коши не является двумерной сферой или проективной плоскостью.

Доклад основан на совместной работе докладчика с Г. Мартином (Boston College) и И. Петковой (Dartmouth College), и базируется на технике связывающей Причинность и Лежандрову зацепленность разработанной Стефаном Немировским и докладчиком.

02 November 2020, 18:30 - (UTC+3)

Title : A volumish theorem for alternating virtual links

Speaker : I. Kofman

Organization : Knots and representation theory (by Zoom)

Abstract:

Dasbach and Lin proved a “volumish theorem” for alternating links. We prove the analogue for alternating link diagrams on surfaces, which provides bounds on the hyperbolic volume of a link in a thickened surface in terms of coefficients of its reduced Jones-Krushkal polynomial. Joint work with Abhijit Champanerkar.

My main topic will be the Voronoi conjecture, a century old conjecture which is, while stated in very simple terms, is still open in general.

The conjecture states that every convex polytope that tiles $\mathbb{R}^d$ with translations can be obtained as an affine image of the Voronoi domain for some lattice.

I plan to survey several known results on the Voronoi conjecture and give an insight on a recent proof of the Voronoi conjecture in the five-dimensional case. The talk is based on a joint work with Alexander Magazinov.

22 October 2020, 17:30 - (UTC+3)

Title: Non-real zeroes of homogeneous differential polynomials and a generalisation of the Laguerre and Newton inequalities

Speaker: Mikhail Tyaglov (Shanghai Jiao Tong University)

Organization: Mathematical colloquium in BMSTU

Abstract: See here

21 October 2020, 10:30 - (UTC+3)

Title: Torsion in Khovanov homology of links with smoothing number one

Speaker: Xiao Wang (Jilin University)

Organization : Seminar in Moscow and Beijing by zoom

Abstract :

Khovanov homology as a categorification of the Jones polynomial is an important link invariant. In this talk, I will briefly introduce the definition of Khovanonv homology(Viro's version), and then show some infinite families of links with smoothing number one, whose Khovanov homology contain 3-8 torsion. Then, we explore some connections between Hochschild homology and Khovanov homology. In particular, we can show that after certain i grading, the Khovanov homology of torus links are zero.

19 October 2020, 18:30 - (UTC+3)

Title : Voronoi conjecture for five-dimensional parallelohedra

Speaker : Alexey Garber (The University of Texas Rio Grande Valley)

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

Abstract:

In this talk I am going to discuss a well-known connection between lattices in $\mathbb{R}^d$ and convex polytopes that tile $\mathbdd{R}^d$ with translations only.

My main topic will be the Voronoi conjecture, a century old conjecture which is, while stated in very simple terms, is still open in general.

The conjecture states that every convex polytope that tiles $\mathbb{R}^d$ with translations can be obtained as an affine image of the Voronoi domain for some lattice.

I plan to survey several known results on the Voronoi conjecture and give an insight on a recent proof of the Voronoi conjecture in the five-dimensional case. The talk is based on a joint work with Alexander Magazinov.

15 October 2020, 17:30 - (UTC+3)

Title: Reconstruction of the values of algebraic function via polynomial HermitePade m-system

Speaker: A.B. Komlov(Математический институр им. В. А. Стеклова Российской академики наук

Organization: Mathematical colloquium in BMSTU

Abstract: See here.

14 October 2020, 10:30 - (UTC+3)

Title: Braid group actions on the n-adic integers

Speaker: Benjamin Bode (Osaka University)

Organization : Seminar in Moscow and Beijing by zoom

Abstract :

Braids can be studied as loops in the space of monic complex polynomials with distinct roots. We use this to construct an infinite tower of covering spaces over the configuration space of $n$ unmarked points, which results in an action of the braid group $\mathbb{B}_n$ on the n-adic integers $\mathbb{Z}_n$, which play a prominent role in number theory. In this talk, I am going to prove several properties of this action and discuss possible applications and connections to other areas of braid and knot theory.

12 October 2020, 18:30 - (UTC+3)

Title : Envy-free divisions, equivariant maps, and mapping degrees

Speaker : R. Karasev

Organization : Knots and representation theory (by Zoom)

Abstract:

We consider problems that are inspired by questions of economy and game theory. In mathematical terms, we want to partition the segment into $n$ segments and give the parts to the players so that every player is satisfied and does not envy any other player.

This problem has several mathematically stated variants, for some of them we have a positive answer, for some negative, some of them remain open. We also review two-dimensional and other versions of envy-free partition or equipartition problems and the related abstract results in equivariant topology.

07 October 2020, 10:30 - (UTC+3)

Title: Deformed hypertoric algebras and Fukaya categories of complexified hyperplane complements

Speaker: Andrew Manion (University of Southern California)

Organization : Seminar in Moscow and Beijing by zoom

Abstract : I will discuss joint work with Aaron Lauda and Tony Licata giving a conjectural description of certain algebras \tilde{B}(V), deforming algebras B(V) that conjecturally describe Fukaya categories of hypertoric varieties, in terms of wrapped Fukaya categories of complexified hyperplane complements. I will also discuss our proof of this conjecture when V is a cyclic hyperplane arrangement, which makes use of known results describing the Fukaya category of the complement in this case in terms of algebras first introduced by Ozsvath-Szabo in 2016. If time permits, I will discuss relationships with the m=1 amplituhedron, a recent topic of interest in the physics of scattering amplitudes.

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

Title : Adequate Links In Thickened Surfaces And The Generalized Tait Conjectures

Speaker : Adam Sikora

Organization : Knots and representation theory (by Zoom)

Abstract:

We develop a theory of adequacy for link diagrams on surfaces and show that any alternating link diagram on a surface is adequate. We apply our theory to establish the first and second Tait conjectures for adequate link diagrams on surfaces, stating that any adequate link diagram has minimal crossing number, and any two adequate diagrams of the same link have the same writhe.

Let us denote the (Kauffman) skein bracket of a diagram D on a surface Σ by [D]. If D has minimal genus, we show that

span([D]) ≤ 4c(D) + 4|D| − 4g(Σ),

where |D| is the number of connected components of D, c(D) is the number of crossings, and g(Σ) is the genus of Σ. This extends a classical result of Kauffman,

Murasugi, and Thistlethwaite. We further show that the above inequality is an equality if and only if D is alternating. This generalizes a well-known result for classical links and it implies that the skein bracket detects the crossing number for alternating links. As an application, we show that the crossing number is additive under connected sum for adequate links in thickened surfaces. This is joint work with H. Boden and H. Karimi.

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

Title: Envy-free division problem, old and new

Speaker : Gaiane Panina (St.Petersburg State University)

Organization : Seminar in Moscow and Beijing by zoom

Abstract : Imagine that $r$ friends are going to divide a birthday cake (represented by the unit segment).

For every division of the cake into $r$ tiles each of the friends prefers some of the tiles, according to his personal hidden reasons.

Gale's theorem states that under some natural conditions on preferences, there exists a partition of the cake such that each person gets a preferred tile. One of these conditions is that all the friends are hungry, and therefore nobody prefers a degenerate tile, if any.

We will discuss a natural extension of this problem: what happens if it is allowed to choose a degenerate tile?

(based on papers by Gale, Meunier, Zerbib, Avvakumov, Karasev, Jojic, P., Zivaljevic)

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

Title : The Gordon-Litherland pairing for knots and links in thickened surfaces

Speaker : Hans U. Boden

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

Abstract:

We introduce the Gordon-Litherland pairing for knots and links in thickened surfaces that bound unoriented spanning surfaces. Using the GL pairing, we define signature and determinant invariants for such links. We relate the invariants to those derived from the Tait graph and Goeritz matrices. These invariants depend only on the $S^*$ equivalence class of the spanning surface, and the determinants give a simple criterion to check if the knot or link is minimal genus. We apply the GL pairing to give a topological characterization of alternating links in thickened surfaces, extending the results of J. Greene and J. Howie. This is joint work with M. Chrisman and H. Karimi.

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

Title: On distribution of primes and divisor functions in arithmetic progressions

Speaker : Fei Wei (YMSC)

Organization : Seminar in Moscow and Beijing by zoom

Abstract : In this talk, we first give a brief introduction to Zhang's work on bounded gaps between primes. He showed that there are infinitely many pairs of primes such that their difference is bounded by a positive constant. Then we introduce the joint work with Zhang and Xue on general divisor functions in arithmetic progressions.

[1] Yitang Zhang, Bounded gaps between primes, Annals of Mathematics, 179(2014), 1121-1174.

[2] Fei Wei, Boqing Xue and Yitang Zhang, General divisor functions in arithmetic progressions to large moduli, Science China Mathematics, vol. 59, issue 9, pp. 1663-1668

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

Title : Mathematics with a taste of Combinatorics on Words FOURTH PART: MATHEMATICAL LOGIC

Speaker : Mehdi Golafshan

Organization : Knots and representation theory

Abstract:

First, we will review the concepts of first-order logic. Then we will talk about Logical characterization of words. Topics such as Presburger's theorem, Buchi's theorem and Characterization of k-automatic sequences. The application of the subject appears in the Thue-Morse word.

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

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

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

Organization: Mathematical colloquium in BMSTU

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

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

Abstract:

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].

References:

[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

Abstract:

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

Abstract:

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

Abstract:

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

Abstract:

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:

\begin{itemize}

\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.

\end{itemize}

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

Abstract:

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

Abstract:

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 : Математический коллоквиум

Abstract:

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)

Abstract:

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

Abstract:

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)

Abstract:

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

Abstract:

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 : Математический коллоквиум

Abstract:

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

https://us02web.zoom.us/j/81923616916?pwd=ZmRTbjhLNm0rdk5FK2NuV1YzaTBRZz09

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)

Abstract:

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)

Abstract:

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 : Математический коллоквиум

Abstract:

Теорема Мажуги говорит, что фундаментальная группа $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)

Abstract:

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

Abstract:

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)

Abstract:

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

Abstract:

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

Abstract:

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

Organization : COMBINATORICS AND GEOMETRY DAYS II by Zoom

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.

Download

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.

Download

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

Download

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.