2024 09 30

Title: Khovanov skein lasagna module detects exotic 4-manifolds

Speaker: Qiuyu Ren

Knots and representation theory

Abstract: We show that the Khovanov skein lasagna module, as defined by Morrison-Walker-Wedrich, detects the exotic pair of knot traces X_{-1}(-5_2) and X_{-1}(P(3,-3,-8)). This gives the first analysis-free proof of the existence of compact oriented exotic 4-manifolds. We also introduce a lasagna version of Rasmussen's s-invariant, which also detects the exotic pair. Time permitting, we present some proofs of our vanishing/non-vanishing theorems, or mention some other results obtained from our work. This is joint work with Michael Willis.

2024 09 28

Title: Kernel of $sl(N)$ weight systems

Speaker: Dmitry N. Hudoteplov

Abstract: In theory of Vassiliev invariants, each knot is mapped to a series of trivalent graphs (Jacobi diagrams) by the Kontsevich integral. Kontsevich intagral contains all the Vassiliev knot invariants and quantum knot polynomials (HOMFLY, Kauffman etc.) can be extracted from the Kontsevich integral by applying a corresponding Lie algebra weight system.

In this talk, the case of $sl(N)$ weight systems will be discussed. $sl(N)$ weight systems correspond to the colored HOMFLY polynomial. Jacobi diagrams in the kernel of $sl(N)$ weight systems can be associated with Vassiliev invariants missing from the HOMFLY polynomial. This kernel can be constructed explicitly using the findings of Pierre Vogel, who developed a framework to operate with Jacobi diagrams and Lie algebra weight systems.

2024 09 25

Title: Classification of knots in $S_{g} \times S^{1}$ with small number of crossings

Speaker: Seongjeong Kim

Moscow-Beijing topology seminar

Abstract: In knot theory not only classical knots, which are embedded circles in S^{3} up to isotopy, but also knots in other 3-manifolds are interesting for mathematicians. In particular, virtual knots, which are knots in thickened surface $S_{g} \times [0,1]$ with an orientable surface $S_{g}$ of genus $g$, are studied and they provide interesting properties.

In this talk, we will talk about knots in $S_{g} \times S^{1}$ where $S_{g}$ is an oriented surface of genus $g$. We introduce basic notions and properties for them. In particular, for knots in $S_{g} \times S^{1}$ one of important information is “how many times a half ot a crossing turns around $S^{1}$”, and we call it winding parity of a crossing. We extend this notion more generally and introduce a topological model. In the end we apply it to classify knots in $S_{g}\times S^{1}$ with small number of crossings.

2024 09 23

Title: Topological deep learning: The past, present, and future

Speaker: Guowei Wei (Michigan State University)

Knots and representation theory

Abstract: In the past few years, topological deep learning (TDL), a term coined by us in 2017, has become an emerging paradigm in artificial intelligence (AI). TDL is built on persistent homology (PH), an algebraic topology technique that bridges the gap between complex geometry and abstract topology through multiscale analysis. While TDL has made huge strides in a wide variety of scientific and engineering disciplines, its most compelling success was observed in biosciences with intrinsically high dimensional and intricately complex data. I will discuss the limitations/ challenges of TDL and new approaches based on algebraic topology, geometric topology and differential geometry may tackle these challenges. I will also discuss how topology is enabling AI and how AI is assisting topological reasoning.

2024 09 21

Title: Lipschitz-Sarkar Stable Homotopy Type for Planar Trivalent Graph with Perfect Matchings.

Speaker: Nilangshu Bhattacharyya

Abstract: Lipschitz-Sarkar constructed Stable Homotopy Types for the Khovanov Homology of links in $S^3$. Following that, Kauffman-Nikonov-Ogasa found a family of Stable Homotopy types for the Homotopical Khovanov homology for links in thickened surfaces. Baldridge gave a cohomology theory which categorifies 2-factor polynomial of planar trivalent graphs with perfect matchings. In this talk, I will present on the construction of the Khovanov-Lipschitz-Sarkar stable Homotopy type for the Baldridge cohomology theory.

2024 09 18

Title: Аналитическая теория циркулянтных графов и ее приложения к комбинаторному анализу

Speaker: Liliya Grunwald

Moscow-Beijing topology seminar

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

2024 09 16

Title: Lie Superalgebra generalizations of the JKS-invariant]{Lie Superalgebra generalizations of the Jaeger-Kauffman-Saleur Invariant

Speaker: Anup Poudel

Knots and representation theory seminar

Abstract: Jaeger-Kauffman-Saleur (JKS) identified the Alexander polynomial with the $U_q(\mathfrak{gl}(1|1))$ quantum invariant of classical links and extended this to a 2-variable invariant of links in thickened surfaces. Here we generalize this story for every Lie superalgebra of type $\mathfrak{gl}(m|n)$. First, we define a $U_q(\mathfrak{gl}(m|n))$ Reshetikhin-Turaev invariant for virtual tangles. When $m=n=1$, this recovers the Alexander polynomial of almost classical knots, as defined by Boden-Gaudreau-Harper-Nicas-White. Next, an extended $U_q(\mathfrak{gl}(m|n))$ Reshetikin-Turaev invariant of virtual tangles is obtained by applying the Bar-Natan Zh-construction. This is equivalent to the 2-variable JKS-invariant when $m=n=1$, but otherwise our invariants are new whenever $n>0$. Furthermore, in contrast with the classical case, the virtual and extended $U_q(\mathfrak{gl}(m|n))$ invariants are not entirely determined by the difference $m-n$. For example, the invariants from $U_q(\mathfrak{gl}(2|0))$ (i.e. the classical Jones polynomial) and $U_q(\mathfrak{gl}(3|1))$ are distinct, as are the extended invariants from $U_q(\mathfrak{gl}(1|1))$ and $U_q(\mathfrak{gl}(2|2))$. Further applications and conjectures based on calculations will be discussed. This is a joint work with Micah Chrisman.

2024 09 14

Title: The Mobius Function and the Riemann Hypothesis

Speaker: Louis H. Kauffman

Knots, graphs and groups

Abstract: This is an elementary talk. It is well known that the the Riemann Hypothesis is equivalent to asymptotic properties of the cumulative Mobius function, $M(n)= \sum_{k=1}^{n} mu(k).$ The Mobius function, m(n), is defined to be (-1)^k(n) where k(n) is the number of distinct prime factors of n, when all prime factors occur only once. The Mobius function is zero for all n with repeated prime factors. We will develop the basic properties of the Mobius function and we’ll prove a very elegant formula due to George Spencer-Brown that gives mu(n) as a negative weighted sum of previous values of mu(n). This formula (a negative feedback) shows clearly that mu(n) is far from random. If you want to think of mu(n) as a “coin toss”, then it is a magic coin whose present behavior depends strongly on its past behavior. We then point out, with graphical computations, the consequences of this non-random behavior and speculate about how it should prove the Riemann Hypothesis.

2024 09 11

Title: Alterfold Topological Quantum Field Theory

Speaker: Zhengwei Liu

Moscow-Beijing topology seminar

Abstract: We will introduce the n-sphere function on n-dimensional lattice models and derive a spherical n-category from it. Then we introduce the alterfold construction of the n+1 topological quantum field theory from an n-sphere function with reflection positivity and finite entanglement rank. The alterfold TQFT has two colors A and B for the n+1 cell. The A-color theory contains a higher analogue of the Turaev TQFT and the B color theory contains a higher analogue of the Drinfeld center and the Reshetihkin-Turaev TQFT. In particular, we construct a 3-sphere function and a 3+1 alterfold TQFT of Ising type from it.

2024 09 09

Title: Polyhedra inscribed in a quadric

Speaker: Jean-Marc Schlenker

Knots and representation theory seminar

Abstract: Steiner asked in 1832 what are the combinatorial types of polyhedra with vertices on a quadric. We will survey what is known on this question, and show how recent results are based on studying ideal polyhedra in different geometries. Hodgson, Rivin and Smith characterized the combinatorics of polyhedra inscribed in a sphere using properties of ideal hyperbolic polyhedra. More recently we described the combinatorics of polyhedra inscribed in a one-sheeted hyperboloid or cone, using properties of ideal polyhedra in the anti-de Sitter and Half-pipe spaces. Further results describe the combinatorial types of polyhedra "weakly inscribed" in a two-sheeted hyperboloid (that is, with their vertices on it but not entirely on one side), using a natural extension of hyperbolic space by the de Sitter space. The same question for the one-sheeted hyperboloid remains open.

Joint work with Jeff Danciger and Sara Maloni.

2024 09 07

Title: From quiver representations to cluster variables

Speaker: Bernhard Keller

Knots, graphs and groups

Abstract: In this expository talk, we will recall Gabriel's theorem on quiver representations and Fomin-Zelevinsky's theorem on cluster-finite cluster algebras. Then we will link the two theorems using Caldero-Chapoton's formula, which assigns a Laurent polynomial to a quiver representation using the Euler characteristics of its varieties of subrepresentations (quiver Grassmannians). This link is the beginning of the theory of "additive categorification" of cluster algebras.

2024 09 04

Title: Sufficient conditions for amalgamated 3-manifolds to be $\partial$-irreducible and irreducible

Speaker: Bing Fang

Moscow-Beijing topology seminar

Abstract: Let $M=M_1\cup_F M_2$ be an amalgamation of two 3-manifolds $M_1$ and $M_2$ along a compact connected surface $F$. In this talk, we first give some sufficient conditions for $M$ to be $\partial$-irreducible in terms of distances between certain vertex subsets of the curve complex $C(F)$ and the arc complex $A(F)$. Then we introduce the extended curve complex $\widetilde{C}(F)$ of a compact connected surface $F$. In the case that $F$ is bi-compressible in the amalgamated 3-manifold $M$ and in the case that $F$ is compressible only in one of $M_1$ and $M_2$, we give some sufficient conditions in terms of distance between some vertex subsets of $\widetilde{C}(F)$ for $M$ to be irreducible, respectively.

2024 09 02

Title: Flat-virtual knot: introduction and some invariants

Speaker: Jean-Marc Schlenker

Knots and representation theory seminar

Abstract: In attempts to construct a map from classical knots to virtual ones, we define a series of maps from knots in the full torus (thickened torus) to flat-virtual knots. We give definition of flat-virtual knots and presents Alexander-like polynomial and Kauffman bracket for them. We also discuss a possible extension of the notion of flat-virtual knots — so-called multi-flat knots.

2024 08 28

Title: Alterfold invariants and alterfold TQFT

Speaker: Yilong Wang

Moscow-Beijing topology seminar

Abstract: In this talk, we introduce the notion of alterfold invariants and their associated TQFTs. Then we will give several applications including the topological description of the Drinfeld center, the equivalence between the RT- and TV-TQFTs, and the equivariance of the generalized Frobenius-Schur indicators. Finally, we will discuss how to obtain families of Morita invariants as generalizations of the indicators, and speculate some of the potential applications. This is based on joint work with Zhengwei Liu, Shuang Ming and Jinsong Wu.

2024 08 26

Title: On Automorphisms of Tame Polynomial Automorphism Ind-Schemes in Positive Characteristic

Speaker: Andrey M. Elishev

Knots and representation theory seminar

Abstract: Let $n\geq 3$ and let $K$ be an algebraically closed field. When the characteristic of $K$ is zero, a classical theorem of Anick states that tame $K$-algebra automorphisms of $K[x_1,\ldots, x_n]$ approximate polynomial endomorphisms with constant non-zero Jacobian in the power series topology. This fact has been at the center of one of the more promising approaches to the Jacobian Conjecture and, in a related development (cf. https://www.worldscientific.com/doi/abs/10.1142/S0218196718400040), has allowed for a description of the set $\Aut_{Ind}\Aut K[x_1,\ldots, x_n]$ of automorphisms of $\Aut K[x_1,\ldots, x_n]$ preserving the Ind-scheme structure. My talk will focus on a few finer details of the positive-characteristic extension of the aforementioned work, compiled in https://arxiv.org/abs/2103.12784, together with its implications for some of the tougher open problems in the area. Joint work with A. Kanel-Belov and J.-T. Yu.

2024 08 24

Title: Empty Knots and Negative Dimensions in Combinatorics and Topology

Speaker: Louis H Kauffman, UIC

Knots, graphs and groups

Abstract: Notions of topological structures remain significant as we approach zero dimensions or even go below them.

We are all familiar with the significance of the empty set for mathematics as a whole - since the empty set { } is the beginning of set construction and indeed stands for the concept of a set as a container. Similarly there are empty knots in the circle S^{1}. Note that we may, by analogy, take an empty knot in S^{1} as having dimension -1 since it should be two dimensions down from the dimension of its containing sphere. And the empty knots in S^{1} have Milnor fiberings psi_{a} : S^{1} —> S^{1} defined by psi_{a}(z) = z^{a} where z = exp(I Theta) is an S^{1} parameter. We shall explain and show how the Kauffman-Neumann notion of Knot Products (circa 1978) produces first, torus knots from products of empty knots, and then all Brieskorn varieties as products of empty knots, hence exotic spheres and much more, including recent work of Kauffman and Ogasa. That is part one of this talk. Part two considers how the “negative dimensional tensors” of Roger Penrose are related to the Kauffman bracket polynomial and the Jones polynomial and how negative dimensions become generalized to arbitrary parameters in the subject of quantum link invariants. Is there a relationship between the negative dimensions of empty knots and quantum invariants of knots? This can be a topic for discussion after the talk.

2024 08 21

Title: The band connected sum and the second Kirby move for higher-dimensional links

Speaker: Arkadiy Skopenkov

Moscow-Beijing topology seminar

Abstract: Let $f:S^q\sqcup S^q\to S^m$ be an (ordered oriented) link (i.e. an embedding).

How does (the isotopy class of) the knot $S^q\to S^m$ obtained by embedded connected sum of the components of $f$ depend on $f$?

Define a link $\sigma f:S^q\sqcup S^q\to S^m$ as follows.
The first component of $\sigma f$ is the `standardly shifted' first component of $f$.
The second component of $\sigma f$ is the embedded connected sum of the components of $f$.
How does (the isotopy class of) $\sigma f$ depend on $f$?

How does (the isotopy class of) the link $S^q\sqcup S^q\to S^m$ obtained by embedded connected sum of the last two components of a link $g:S^q_1\sqcup S^q_2\sqcup S^q_3\to S^m$ depend on $g$?

We give the answers for the `first non-trivial case' $q=4k-1$ and $m=6k$.
The first answer was used by S. Avvakumov for classification of linked 3-manifolds in $S^6$.

2024 08 19

Title: Cylindrical structures arising from quantum symmetric pairs

Speaker: Bart Vlaar

Knots and representation theory seminar

Abstract: R-matrices (solutions of the Yang-Baxter equation) and quantum groups are intimately connected and find applications in mathematical physics, representation theory, low-dimensional topology and algebraic geometry. K-matrices (solutions of the reflection equation) and quantum deformations of symmetric pairs form a vast generalization, under development since the 1990s. We survey this and discuss some results on the case of quantum groups and quantum symmetric pairs of affine type (joint work with Andrea Appel).

2024 08 17

Title: Approaches to realisability of Gauss diagrams

Speaker: Alexei Vernitski

Knots, graphs and groups

Abstract: The shape of a closed curve can be summarised by a chord diagram called the Gauss diagram of the curve. Not every chord diagram is the Gauss diagram of a curve; if it is, it is called realisable. I will present a number of elegant constructions which were introduced in the context of describing realisable Gauss diagrams. These constructions include graphs summarising Gauss diagrams and moves transforming Gauss diagrams. I will discuss some open problems. The talk is partially based on paper https://www.worldscientific.com/doi/10.1142/S0218216523500591 and preprint https://arxiv.org/pdf/2407.09144

2024 08 14

Title: Applications of GLMY theory in metabolomic networks of complex diseases

Speaker: Shuang Wu

Moscow-Beijing topology seminar

Abstract: Human diseases involve metabolic alterations. Metabolomic profiles have served as a biomarker for the early identification of high-risk individuals and disease prevention. However, current approaches can only characterize individual key metabolites, without taking into account their interactions.This work have leveraged a statistical physics model to combine all metabolites into bDSW networks and implement GLMY homology theory to analyze and interpret the topological change of health state from symbiosis to dysbiosis.The application of this model to real data allows us to identify several hub metabolites and their interaction webs, which play a part in the formation of inflammatory bowel diseases.

2024 08 12

Title: Virtual index cocycles and invariants of virtual links

Speaker: Igor Nikonov

Knots and representation theory seminar

Abstract: Virtual index cocycle is the 1-cochain that counts virtual crossings in the arcs of a virtual link diagram. We show how this cocycle can be used to reformulate and unify some known invariants of virtual links.

2024 08 10

Title: Теория Морса

Speaker: Алена Жукова

Knots, graphs and groups

Abstract: Теория Морса - инструмент, позволяющий исследовать топологию дифференцируемого многообразия с помощью введения функций на нем. Ясно расскажу самые базовые понятия и приемы в этой области и рассмотрю элементарные примеры.

2024 08 07

Title: Tensor categories and alterfold theory

Speaker: Dr. Shuang Ming, BIMSA

Moscow-Beijing topology seminar

Abstract: In this talk, I will introduce a partition function defined on bi-colored three-manifolds decorated by tensor diagrams from a spherical fusion category \mathcal{C}. We called them 3 dimensional alterfold. This partition function yields three-manifold invariants and three-dimensional topological quantum field theories (TQFTs). I will discuss how well-known invariants and TQFTs, such as Turaev-Viro theory and Reshetikhin-Turaev theory, can be naturally embedded within our framework. Furthermore, our bi-colored theory provides topological interpretations for fundamental concepts in tensor categories, including the Drinfeld center and Frobenius-Schur indicators. We expect the theory could generalizes to higher dimensions, and could produce new identities for (higher) tensor categories.

2024 08 05

Title: Disconnected common graphs via supersaturation and beyond

Speaker: Jae-baek Lee

Knots and representation theory

Abstract: A graph $H$ is said to be \emph{common} if the number of labelled monochromatic copies of $H$ in a $2$-colouring of the edges of a large complete graph is asymptotically minimized by a random colouring. It is well known that the disjoint union of two common graphs may not be common; e.g., $K_2$ and $K_3$ are common, but their disjoint union is not. We find the first pair of uncommon graphs whose disjoint union is common and a common graph and an uncommon graph whose disjoint union is common. Our approach is to reduce the problem of showing that certain disconnected graphs are common to a constrained optimization problem, in which the constraints are derived from supersaturation bounds related to Razborov's Triangle Density Theorem.

In addition, we will introduce the recent results related to Ramsey multiplicity constant.

This is joint work with Joseph Hyde and Jonathan Noel.

2024 08 03

Title: Шифрования на эллиптических кривых

Speaker: Petr Pital

Knots, graphs and groups

Abstract: Я расскажу о нескольких классических системах шифрования основанных на свойствах сложения в группе точек эллиптической кривой над конечным полем; кратко опишу принципы выбора параметров шифрования. В частности мы рассмотрим схемы Эль-Гамаля и Месси-Омуры.

2024 07 31

Title: Seifert surfaces for virtual knots

Speaker: Eiji Ogasa

Moscow-Beijing topology seminar

Abstract: We introduce Seifert surfaces for virtual knots.

Virtual knots are represented by knots in thickened oriented surfaces,

which may be a non-zero cycle. Although it may be a non-zero cycle,

we can define Seifert surfaces for virtual knots.

We also define Seifert matrices associated with our new Seifert surfaces.

Furthermore, by using our new Seifert matrices,

we introduce the Alexander polynomials and the signature.

Our Alexander polynomial of virtual knots can obstruct from being classical knots.It is mirror sensitive as isotopy invariants.

Our signature is mirror sensitive as diffeomorphic invariants.

This talk is based on the paper,

New invariants for virtual knots via spanning surfaces

2024 07 29

Title: On torsion in the Kauffman bracket skein modules of 3-manifolds

Speaker: Renaud Detcherry

Knots and representation theory seminar

Abstract: The Kauffman bracket skein module S(M) of an oriented 3-manifold M is an object that describes the combinatorics of links in M, and which is closely related to Jones polynomials of links in S^3 and to SL2(C)-character varieties of 3-manifolds.

An old question of Przytycki asks whether for M a 3-manifold that admits a non-boundary parallel essential surface, there is torsion in S(M). We will present new criterions for the presence of torsion in S(M). In particular, we give the first examples of closed 3-manifolds without spheres or tori such that S(M) has torsion. We also show that if a Seifert manifold M has a non-boudnary parallel essential surface, then S(M) has torsion.

2024 07 27

Title: Knot in $S_{g}\times S^{1}$ of degree one and long knot invariants

Speaker: Seongjeong Kim

Knots, graphs and groups

Abstract: In this talk we construct invariants for knots in $S_{g}\times S^{1}$ of degree one by using long knot invariants.

2024 07 20

Title: The photography method. The state of the art. Review and unsolved problem

Speaker: V.O. Manturov

Knots, graphs and groups

Abstract: In 2023, the author formulated the photography method which allows one to solve various equations and calculate invariants of various objects. One starts with some object (say, pentagon) with a state (say, triangulation) and data (say, edge lengths) a data transformation rule (say, a flip of a triangulation). Then by using some geometrical considerations, one can prove "for free" that such data transformation rules give rise to solutions to some equation [say, Ptolemy transformation satisfies the Pentagon equation] and construct invariants of many objects [say, braids]. The formula can be taken from any geometrical considerations (say, formulas in the hyperbolic space); having such a formula "for free" one can prove it algebraically and pass to the more abstract objects (say, formal variables instead of lengths).

This method is very broad. Here we mention just some directions of (further research):

invariants of knots, braids, manifolds, solutions to the pentagon, hexagon, YBE equations and formulate relations to cluster algebras, tropical geometry, and many other areas of mathematics.

2024 07 15

Title: Hilbert basis theorem for $S$-Noetherian modules and $S$-strong Mori modules

Speaker: Hyungtae Baek

Knots and representation theory seminar

Abstract: Let $R$ be a commutative ring with identity, $D$ an integral domain, and $M$ a module over $R$ or $D$.

In 1899, David Hilbert proved the Hilbert basis theorem:

$R$ is a Noetherian ring if and only if $R[X]$ is a Noetherian ring.

This theorem is a fundamental result in commutative algebra and algebraic geometry.

Many ring theorists have generalized Noetherian rings and the Hilbert basis theorem to such generalizations.

In this talk, we investigate $S$-Noetherian modules and $S$-strong Mori modules, and explore the Hilbert basis theorem for such modules. To do this, we delve into the concept of star-operations (specifically $w$-operations).

The main goal of this talk is to address the following problems:

\begin{enumerate}

\item[(1)] When is $M$ an $S$-Noetherian module?

\item[(2)] When is $M$ an $S$-strong Mori module?

\end{enumerate}

2024 07 13

Title: Compact linear groups with quotient space homeomorphic to a cell

Speaker: O.G. Styrt

Knots, graphs and groups

Abstract: The main part of my research is devoted to the following question: when the quotient space of a linear representation of a compact Lie group is homeomorphic to a vector space.

The first result for finite linear groups was obtained in 1984 by M.A. Michailova: it should be generated by pseudoreflections.

I have investigated the cases of groups with commutative connected components and of irreducible simple groups of classical types. I am going to speak in detail on the first of these cases. The condition is hardly formulated in terms of the weight system of the torus and requires a special procedure of reducing a general case to that with indecomposable and «$2$-stable» weight system; further, the criterion for namely this particular case is obtained (but still hard even to formulate). This reducing procedure uses a construction provided by one key example of a representation when the quotient is a vector space. For more understanding, I plan to describe this key representation whose weights have exactly one (up to constants) nontrivial linear relation without zero coefficients and to construct explicitly a factorization mapping onto a space.

2024 07 10

Title: Spectral synthesis for systems of exponentials and reproducing kernels

Speaker: Yurii Belov

Moscow-Beijing topology seminar

Abstract: Let $x_n$ be a complete and minimal system of vectors in a Hilbert space $H$. We say that this system is hereditarily complete or admits spectral synthesis if any vector in $H$ can be approximated in the norm by linear combinations of partial sums of the Fourier series with respect to $x_n$. It was a long-standing problem whether any complete and minimal system of exponentials in $L^2(-a,a)$ admits spectral synthesis. Several years ago A. Baranov, A. Borichev and myself managed to give a negative answer to this question which implies, in particular, that there exist non-harmonic Fourier series which do not admit a linear summation method. We also showed that any exponential system admits the synthesis up to a one-dimensional defect. Apart from this, I will discuss related problems for systems of reproducing kernels in Hilbert spaces of entire functions. In particular, I will talk about a counterexample to the Newman-Shapiro conjecture posed in 1966 (joint work with A. Borichev).

2024 07 08

Title: Biquandloids of knots in thickened surfaces

Speaker: Igor Nikonov

Knots and representation theory

Abstract: We define a modification of biquandle construction for knots in a fixed thickened surface and give several examples of the new invariant.

2024 07 06

Title: Non-bipartite knots

Speaker: Alina Pital

Knots, graphs and groups

Abstract: The existence of non-bipartite knot was conjectured in 1987 by J. Przytycki and proven by S.V. Duzhin
in 2011. We will disprove the conjecture that bipartite knots should have trivial second Alexander ideal. We will
construct a family inside the class of bipartite knots that contains all rational knots and has trivial second
Alexander ideal. We will present a matched diagram of the knot 818. Also we will demonstrate a combinatorial
techniques that could be useful for further research on bipartite knots.

2024 07 03

Title: Mystery of point charges after Gauss-Maxwell-Morse

Speaker: Boris Shapiro

Moscow-Beijing topology seminar

Abstract: In his 2 volume chef-d'oeuvre “Treatise of electricity and Magnetism” J.C.Maxwell (among thousands of much more important claims) formulated the following statement.

 Given any configurations of N fixed point charges in R^3, the electrostatic field created by them has at most (N-1)^2 points of equilibrium.

 Maxwell’s arguments are incomplete and this problem was considered much later by M.Morse and revitalised about two decades ago. However Maxwell’s original claim is still open already in case of N=3 charges. In my talk I will survey what is known in this direction and, in particular, formulate a calculus 1 problem which currently still remains unsolved.

2024 07 01

Title: On a smoothing strategy for topological surfaces in 4-manifolds

Speaker: Byeorhi Kim

Knots and representation theory seminar

Abstract. In this talk, I will talk about a new smoothing technique for topologically embedded surfaces or disks in smooth 4-manifolds that provides topological isotopies to smooth surfaces. This result is motivated from recent David Gabai's Light bulb theorem. As an application, we can get some results which leading us to "topological = smooth" in dimension 4 for isotopy classifications of certain disks and spheres. This is a joint work with J. C. Cha.

2024 06 29

Title: Tug-the-hook symmetry for quantum 6j-symbols

Speaker: Elena Lanina

Knots, graphs and groups

Abstract: In this talk, I will introduce a symmetry for quantum 6j-symbols, which I call the tug-the-hook symmetry. This symmetry has been discovered in a publication arXiv:2210.07874 (a joint work by Elena Lanina and Alexey Sleptsov). Unlike other known symmetries, it is applicable for any representations, including ones with non-unit multiplicities. I will provide several evidences in favour of the tug-the-hook symmetry. First, this symmetry follows from the eigenvalue conjecture. Second, it is verificated by several new examples of explicit coincidence of 6j-symbols with non-unit multiplicities. Third, the tug-the-hook symmetry for the colored HOMFLY knot polynomials implies the tug-the-hook symmetry for quantum 6j-symbols. An important implication of the analysis is the generalization of the tug-the-hook symmetry for the colored HOMFLY polynomials to the case of links.

2024 06 26

Title: Moduli spaces of quadratic differentials: Abel-Jacobi maps and deformation

Speaker: Prof. Yu Qiu (YMSC)

Moscow-Beijing topology seminar

Abstract: We give correspondences between: 1. deformation of 3-Calabi-Yau categories; 2. partial compactification with orbifolding of moduli spaces and 3. taking sub-quotient of mapping class groups.

2024 06 24

Title: Parity functors

Speaker: Igor Nikonov

Knots and representation theory seminar

Abstract. A parity is a rule to assign labels to the crossings of knot diagrams in a way compatible with Reidemeister moves. Parity functors can be viewed as parities which provide to each knot diagram its own coefficient group that contains parities of the crossings. In the talk we describe parity functors for free knots.

2024 06 22

Title: New quantum invariants from braiding Verma modules

Speaker: Sergei Gukov

Knots, graphs and groups

Abstract: In this talk, I will describe recent construction of new link and 3-manifold invariants associated with Verma modules of $U_q (sl_N)$ at generic $q$. The resulting invariants can be combined into a Spin$^c$-decorated TQFT and have a nice property that, for links in general 3-manifolds, they have integer coefficients. In particular, they are expected to admit a categorification and, if time permits, I will outline various ingredients that may go into a construction of 3-manifold homology categorifying these $U_q (sl_N)$ invariants at generic $q$.

2024 06 19

Title: Cohomology of partial quotients

Speaker: Xin Fu (BIMSA)

Moscow-Beijing topology seminar

Abstract: Buchstaber and Panov introduced the notion of the moment-angle complex Z. This space is defined as a union of specific product spaces of discs and circles, equipped with a natural action of a torus T. Topologically, a moment-angle complex provides a way to understand a simplicial toric variety through its quotient Z/H, where H is a closed subgroup of T. The computation of the cohomology groups and cup products for these quotient spaces involves techniques from combinatorics, algebra, and homotopy theory. These techniques have applications in various fields. This talk summarizes known results for computing such cohomology and presents our new progress. Our new approach uses digraphs to describe the weights that encode how the torus is twisted in the quotient space.

2024 06 17

Title: Sedrakyan-Mozayeni theorem and pentagon equestion calculations

Speaker: Hayk Sedrakyan

Knots and representation theory seminar

Abstract. In the present work, we prove the long-standing and important open research question: the consistency for the general case discussed in the paper Photography principle, data transmission, and invariants of manifolds. Ptolemy's theorem works only for a particular case and does not work for a general case, we prove the general case using Sedrakyan-Mozayeni theorem and Sedrakyan-Gandhi theorem.

Description. The consistency for the particular case discussed in the paper Photography principle, data transmission, and invariants of manifolds is proved using Ptolemy's theorem. Ptolemy's theorem is not a strong enough theorem to be applied to the general case and no other stronger theorem is known that can be used to prove the consistency for the general case. We use the novel Sedrakyan-Mozayeni theorem and Sedrakyan-Gandhi theorem to prove the consistency for the most general case. It leads to an elegant proof of this long-standing and important open research question.

2024 06 15

Title: Interaction homotopy and interaction homology

Speaker: Jian Liu

Knots, graphs and groups

Abstract: Interactions in complex systems are widely observed across various fields, drawing increased attention from researchers. In mathematics, efforts are made to develop various theories and methods for studying the interactions between spaces. In this talk, we present an algebraic topology framework to explore interactions between spaces. We introduce the concept of interaction spaces and investigate their homotopy, singular homology, and simplicial homology. Furthermore, we demonstrate that interaction singular homology serves as an invariant under interaction homotopy. We believe that the proposed framework holds potential for practical applications.

2024 06 12

Title: Flat virtual links and knot invariants

Speaker: Darya Popova

Moscow-Beijing topology seminar

Abstract: In the talk I will review a way of constructing invariants of knots in S^3, thickened torus and thickened cylinder that was introduced by V. O. Manturov and I. M. Nikonov. The idea is to map the knots to flat virtual diagrams and use invariants of flat virtual diagrams. Besides I will talk about my findings on the diagrams which we get by this approach and how they lead to a hypothesis that the potential of this approach for getting very strong invariants of knots is small.

2024 06 10

Title: Compact linear groups with quotient space homeomorphic to a cell

Speaker: O.G. Styrt

Knots, graphs and groups

Abstract: The main part of my research is devoted to the following question: when the quotient space of a linear representation of a compact Lie group is homeomorphic to a vector space.

The first result for finite linear groups was obtained in 1984 by M.A. Michailova: it should be generated by pseudoreflections.

I have investigated the cases of groups with commutative connected components and of irreducible simple groups of classical types. I am going to speak in detail on the first of these cases. The condition is hardly formulated in terms of the weight system of the torus and requires a special procedure of reducing a general case to that with indecomposable and «$2$-stable» weight system; further, the criterion for namely this particular case is obtained (but still hard even to formulate). This reducing procedure uses a construction provided by one key example of a representation when the quotient is a vector space. For more understanding, I plan to describe this key representation whose weights have exactly one (up to constants) nontrivial linear relation without zero coefficients and to construct explicitly a factorization mapping onto a space.

2024 06 08

Title: Compact linear groups with quotient space homeomorphic to a cell

Speaker: O.G. Styrt

Knots, graphs and groups

Abstract: The main part of my research is devoted to the following question: when the quotient space of a linear representation of a compact Lie group is homeomorphic to a vector space.

The first result for finite linear groups was obtained in 1984 by M.A. Michailova: it should be generated by pseudoreflections.

I have investigated the cases of groups with commutative connected components and of irreducible simple groups of classical types. I am going to speak in detail on the first of these cases. The condition is hardly formulated in terms of the weight system of the torus and requires a special procedure of reducing a general case to that with indecomposable and «$2$-stable» weight system; further, the criterion for namely this particular case is obtained (but still hard even to formulate). This reducing procedure uses a construction provided by one key example of a representation when the quotient is a vector space. For more understanding, I plan to describe this key representation whose weights have exactly one (up to constants) nontrivial linear relation without zero coefficients and to construct explicitly a factorization mapping onto a space.

2024 06 05

Title: Webs from circles and lines

Speaker: Fedor Nilov

Moscow-Beijing topology seminar

Abstract: We give an overview of known results related to webs from circles and  lines in Blaschke-Bol problem and discuss an idea to construct some new  examples

2024 06 03

Title: The groups $G_{n}^{3}$ and rhombi tilings of 2n-gons

Speaker: Seongjeong Kim

Knots, graphs and groups

Abstract: In this talk we will consider a map from the set of rhombi tilings of 2n-gon to the group $G_{n}^{3}$ and will discuss our further researches.

2024 06 01

Title: The groups $G_{n}^{3}$ and rhombi tilings of 2n-gons

Speaker: Seongjeong Kim

Knots, graphs and groups

Abstract: In this talk we will consider a map from the set of rhombi tilings of 2n-gon to the group $G_{n}^{3}$ and will discuss our further researches.

2024 05 29

Title: Novel Sedrakyan-Mozayeni theorem, and its applications in scientific research in topology and geometry

Speaker: Hayk Sedrakyan

Moscow-Beijing topology seminar

Abstract: In this presentation, we consider several applications of  the  Sedrakyan-Mozayeni theorem. In particular, we investigate how it  can be  applied in novel mathematical scientific research in topology  and  geometry to generalize the pentagon case  of the photography  principle, data transmission and invariants of  manifolds. We will also  go in depth on the derivation of Sedrakyan-Mozayeni theorem,  and explain current issues with the pentagon case  of the photography  principle. Besides having theoretical applications,  the formula can be  used in applied mathematics and lead to new  real-world results. We will  implement the formula into a code and  generate several computer  simulations applied in novel mathematical  scientific research in  topology and geometry.

​

2024 05 27

Title: Мозаики, замощения и их преобразования

Speaker: Романов Николай Алексеевич

Knots and representation theory seminar

Abstract: Объект внимания - мозаики, замощения и их преобразования. Соотношения в группе можно с помощью диаграмм Ван Кампена представить как выкладывание мозаики, а соотношения между соотношениями - преобразования этой мозаики. Например, в замощении доминошками прямоугольника взять квадратик 2 на 2 из двух доминошек и развернуть его на пол оборота. Оказывается, для некоторого набора фигур можно найти такой набор преобразований (флипов), что любое допустимое замощение любой фигуры переводится этими флипами в любое другое допустимое замощение. В работе были исследованы некоторые фигуры и наборы флипов, получены универсальные инварианты и найдены многомерные аналоги мозаик, преобразований и соотношений, получены оценки на минимальное количество флипов, необходимое для перевода любого состояния в любое, а так же рассмотрены обобщения на графы.

2024 05 25

Title: How Should We Interpret Space Dimenion?

Speaker: Euich Miztani

Knots, graphs and groups

Abstract: In modern physics we could say that space dimension is derived from some physical conditions. Kaluza-Klein theory and D-brane are typical examples. However, not only by such conditions, we should also think about space dimension with insights from known facts possibly without physical conditions. In this talk we rethink space dimensionality from scratch.

2024 05 22

Title: Partial-dual polynomial as a framed weight system

Speaker: Qingying Deng

Moscow-Beijing topology seminar

Abstract: Recently, Chmutov proved that the partial-dual polynomial considered as a function on chord diagrams satisfies the four-term relation. In this talk, I will introduce two generalization results about it (Communications in Mathematics 31 (2023), no. 3, 151–160, and arXiv:2404.10216).

2024 05 20

Title: Why the Vertex Polynomial counts Tait colorings of a plane trivalent graph when evaluated at two

Speaker: Scott Baldridge

Knots and representation theory seminar

Abstract: The vertex polynomial was introduced in our 2024 paper but can be inferred from Penrose’s 1971 paper on abstract tensor systems. In this talk, we give a gentle introduction to the vertex polynomial: what it means, how to compute it, why it counts Tait colorings (3-edge colorings) of a plane trivalent graph at n=2, and what it means when evaluated at n>2. In particular, the four color theorem is true if and only if the vertex polynomial is nonzero when evaluated at n=2 for all bridgeless planar trivalent graphs. Along the way, we will see how the homology that it categorifies can be used to count the number of perfect matchings of a trivalent plane graph. This is joint work with Ben McCarty.

2024 05 15

Title: Welded graphs, Wirtinger presentations and knotted punctured spheres

Speaker: Benjamin Audoux

Moscow-Beijing topology seminar

Abstract: In this talk, I will introduce welded graphs, that can be seen as combinatorial objects lying between 3-dimensional knots and 4-dimensional knotted surfaces. For these objects, I will define a notion of peripheral system from which I will extract Milnor invariants. This will lead to a complete classification of knotted punctured spheres (with trivially embedded boundary) up to link-homotopy.

2024 05 13

Title: On stated $SL(n)$-skein modules

Speaker: Zhihao Wang

Knots and representation theory seminar

Abstract: We mainly focus on Classical limit, Splitting map, and Frobenius homomorphism for stated $SL(n)$-skein modules, and Unicity Theorem for stated $SL(n)$-skein algebras.

Let $(M,N)$ be a marked three manifold. We use $S_n(M,N,v)$ to denote the stated $SL(n)$-skein module of $(M,N)$ where $v$ is a nonzero complex number.

We build a surjective algebra homomorphism from $S_n(M,N,1)$ to the coordinate ring of some algebraic set, and prove it's Kernal consists of all nilpotents. We prove the universal representation algebra of $\pi_1(M)$ is isomorphic to $S_n(M,N,1)$ when $N$ has only one component and $M$ is connected. Furthermore we show $S_n(M,N^{'},1)$ is isomorphic to

$S_n(M,N,1)\otimes O(SLn)$, where $N\neq \emptyset$, $M$ is connected, and $N^{'}$ is obtained from $N$ by adding one extra marking.

We also prove the splitting map is injective for any marked three manifold when $v=1$, and show that the splitting map is injective (for general $v$) if there exists at least one component of $N$ such that this component and the boundary of the splitting disk belong to the same component of $\partial M$.

We also establish the Frobenius homomorphism for $SL(n)$, which is map from $S_n(M,N,1)$ to $S_n(M,N,v)$ when $v$ is a primitive $m$-th root of unity with $m$ being coprime with $2n$ and every component of $M$ contains at least one marking. We also show the commutativity between Frobenius homomorphism and splitting map. When $(M,N)$ is the thickening of an essentially bordered pb surface, we prove the Frobenius homomorphism is injective and it's image lives in the center. We prove the stated $SL(n)$-skein algebra $S_n(\Sigma,v)$ is

affine almost Azumaya when $\Sigma$ is an essentially bordered pb surface and $v$ is a primitive $m$-th root of unity with $m$ being coprime with $2n$, which implies the Unicity Theorem for $S_n(\Sigma,v)$.

2024 05 11

Title: Stability of large cuts in random graphs

Speaker: Максим Е. Жуковский

Knots, graphs and groups

Abstract: We prove that the family of largest cuts in the binomial random graph exhibits the following stability property: with high probability, there is a set of (1-o(1))n vertices that is partitioned in the same manner by all maximum cuts. We also show some applications of this property - in particular, to the validity of Simonovits's property in binomial random graphs.

The talk is based on joint work with Ilay Hoshen and Wojciech Samotij

2024 05 08

Title: The magnitude for algebras is a generalization of the Euler characteristic

Speaker: Professor Shen Dawei

Abstract: We investigate the magnitude for Nakayama algebras. Using Ringel’s resolution quiver, the existence and the value of rational magnitude is given. As a result, we show directly that two finite global dimension criteria for Nakayama algebras are equivalent. This is a joint work with Yaru Wu.

2024 05 06

Title: DR-иерархии: от пространств модулей кривых к интегрируемым системам.

Speaker: Александр Юрьевич Буряк

Knots and representation theory seminar

Abstract: Мы постараемся продемонстрировать как DR-иерархии, введённые докладчиком в одной из работ, позволяют очень ясным образом установить связь между топологией компактификации Делиня-Мамфорда пространства модулей гладких алгебраических кривых рода g с n отмеченными точками и интегрируемыми системами математической физики. Эта связь основывается на соотношении коммутативности между циклами двойных ветвлений (DR-циклами) в пространстве модулей кривых произвольного рода, которое является обобщением соотношения ассоциативности в пространстве модулей кривых рода 0, которое в свою очередь тесно связано с теорией многообразий Дубровина-Фробениуса.

2024 05 04

Title: Multiple Virtual Knot Theory

Speaker: Louis H Kauffman, UIC

Knots, graphs and groups

Abstract: This talk is an introduction to Multiple Virtual Knot Theory (MVKT) where one has classical crossings, flat crossings, singular crossings and a multiplicity of virtual crossings.

All virtual crossings can make detour moves over all the other crossing types including the other virtuals. We will discuss a number of different invariants in this theory and also its relationship with coloring problems and Penrose evaluations and Penrose perfect matching polynomials (as related to joint work with Scott Baldrige and Ben McCarty). We will discuss relationships of MVKT with virtual knot theories on surfaces of genus greater than zero, with welded MVTK and braid groups for these theories.

2024 05 01

Title: Symbolic dynamics, First and Second digits of sequences

Speaker: Margarita Shevtsova, Ivan Vorobiev

Moscow-Beijing topology seminar

Abstract: The talk will be devoted to an introduction to the word theory and the description of several problems that it is concerned with. We will call a ”word” an infinite sequence of symbols that is generated from a dynamical system.$M$ --- a compact metric space$U$ --- open subspace of M$f : M \rightarrow M$ is a homeomorphism of the compact into itself$x_0 \in M$ — an initial point. It determine{s a sequence of symbols

$$

w_n = \begin{cases} a, f^{(n)}(x_0)\in U \\ b, f^{(n)}(x_0)\not \in U \end{cases}

$$

We will be investigating the different combinations of m consecutive symbols (”subwords”) that can be found in such words depending on which dynamic system was used to generate them. We will be looking at the famous Sturmian sequences, some of their generalizations and their Rauzy graphs in more detail. Several dynamic systems and their implications will be discussed in more detail. Namely, circle rotation, interval exchange transformation, billiards, the first digit of $2^n$, $n!$, $2^{n^2}$ , the second digit of $2^n$.

2024 04 29

Title: On universal parity on free two-dimensional knots

Speaker: Igor M. Nikonov

Knots and representation theory seminar

Abstract: In the talk we review the definition of parity on 2-knots, and prove that the Gaussian parity is universal on free two-dimensional knots.

2024 04 27

Title: Проблема Шпехта, гипотеза Гельфанда и некоммутативная алгебраическая геометрия.

Speaker: Канель-Белов Алексей Яковлевич

Knots, graphs and groups

Abstract: {\it Тождеством} алгебры $A$ называется многочлен, тождественно обращающейся в ноль на ней. В коммутативных алгебрах выполняется тождество $[x,y]=xy-yx=0$, в алгебре матриц второго порядка - тождество $[[x,y]^2,z]=0$ и т.д. Тождество $g$ следует из набора $f_i$ если в любой алгебре где выполняется система тождеств $f_i$ выполняется тождество $g$. Проблема Шпехта состоит в том, что верно ли, что любая система тождеств в некоммутативном ассоциативном кольце следует из конечной подсистемы?

Решение этой проблемы приводит к задачам комбинаторики слов (в том числе элементарным), к новой точки зрения на некоммутативную алгебраическую геометрию. Недавно А.Хорошкин, И.Воробьев и А.Я.Белов вывели из одного из версий доказательства гипотезу Гельфанда о нетеровости действия полиномиальных векторных полей без свободного члена на тензорных представлениях.

Комбинаторное идейное ядро заключается в следующей элементарной задаче. Рассмотрим кольцо многочленов от хватит двух переменных $x,y$ . Рассмотрим подстановку $x\to P(x), y\to P(y)$. Многочлен $P$ один и тот же. Тогда любое подпространство, замкнутое относительно такой подстановки выводится из конечной подсистемы (подстановками и линейными действиями). Ей и будет уделено основное внимание.

2024 04 24

Title: On Nash resolution of (singular) Lie algebroids

Speaker: Ruben Louis

Moscow-Beijing topology seminar

Abstract: We show that any Lie algebroid A admits a Nash-type blow-up Nash(A) that sits in a nice short exact sequence of Lie algebroids 0–>K–>p*A–>D–>0 with K a Lie algebra bundle and D a Lie algebroid whose anchor map is injective on an open dense subset. The base variety is a blowup determined by the singular foliation of A. We provide concrete examples. Moreover, we extend the construction following Mohsen’s to singular subalgebroids in the sense of Androulidakis-Zambon.

2024 04 22

Title: Invariant of braids by using Ptolemy relation and failure for knots

Speaker: Seongjeong Kim

Knots and representation theory seminar

Abstract: In this talk, we will talk about an old work with prof. V.O. Manturov on the construction of an invariant for braids by using Ptolemy relation and remind why it fails to be an invariant for links.

2024 04 20

Title: Обобщенные факториалы и p-упорядочения

Speaker: Питаль Петя

Knots, graphs and groups

Abstract: В докладе будет рассказано об интересном обобщении понятия факториала, предложенном М. Бхаргавой для дедекиндовых колец.

​

2024 04 17 recording

Title: Knotted surfaces and their profile curves

Speaker: Joel Hass

Moscow-Beijing topology seminar

Abstract: The profile curve of a surface in R3 is formed from the points whose tangent plane is vertical.  This is the "outline" of a surface.  When a surface is transparent, this curve is what is most visible to the eye.  Profile curves play a role in surface reconstruction, the problem of reconstructing a surface from photographs. In this talk I will investigate the relationship between the knot type of a profile curve and that of the surface it lies on.  For example, I will answer the following question:  Is there an unknotted torus whose profile curves contain a component that is the standard trefoil knot?

2024 04 15 recording

Конференция "Ломоносов"

Конференция происходит на русском языке.

Список докладчиков. (Подробнее: https://disk.yandex.com/d/XyvJNm3i_LmjHw)

1) Жихарева Екатерина Сергеевна (студент, кафедра дифференциальной геометрии и приложений, механико-математический факультет, МГУ им. М. В. Ломоносова), "Трехмерные алгебры Ли, допускающие полупростые алгебраические операторы Нейенхейса" .

2) Левин Виктор Анатольевич (студент, кафедра дифференциальной геометрии и приложений, механико-математический факультет, МГУ им. М. В. Ломоносова), "Слоение Лиувилля интегрируемых биллиардов с острыми углами" .

3) Михайлов Иван Николаевич (студент, кафедра дифференциальной геометрии и приложений, механико-математический факультет, МГУ им. М. В. Ломоносова), "Расстояние Громова-Хаусдорфа между нормированными пространствами" .

4) Цыганков Дмитрий Александрович (студент, кафедра высшей геометрии и топологии, механико-математический факультет, МГУ им. М. В. Ломоносова), "Гиперболические многообразия, соответствующие прямоугольным многогранникам, и их расслоения над окружностью".

2024 04 15 recording

Title: Построение многоугольников Понселе

Speaker: Федор Нилов

Математический кружок

Теорема Понселе утверждает, что если для пары окружностей существует один $n$-угольник, вписанный в одну из них и описанный около другой,

то таких многоугольников существует бесконечно много. Возникает естественный вопрос: для каких n можно построить циркулем и линейкой пару окружностей, для которых существует соответствующий $n$-угольник? Хорошо известна теорема Гаусса-Ванцеля, которая говорит, когда можно построить циркулем и линейкой правильный $n$-угольник. Для правильных многоугольников центры вписанной и описанной окружностей совпадают и теорема Понселе становится тривиальной. А что если мы дополнительно потребуем, чтобы центры окружностей были различными? Мы дадим соответствующие построения для $n=2^k, 3\cdot  2^k, 5\cdot 2^k$, продемонстрируем анимации в Geogebra и обсудим некоторые другие значения n.

2024 04 13 recording

Title: Non-Reidemeister Knot Theory and pure braids invariants

Speaker: Rogozhkin Illia

Knots, graphs and groups

Abstract: In this seminar I will talk about the non-Reidemeister knots theory  suggested by Manturov V.O. We will consider the invariant of pure braids  $\Gamma_n^4$, that is constructed by considering the braid as a  dynamical system and which gives representations for braids in the form  of words and in the form of 2x2 matrices. Finally, I will propose  another pure braid invariant in matrices of (2n-4)x(2n-4) size, which is  naturally obtained from the Delaunay triangulation of a sphere.

2024 04 10 recording

Title: An embedding of the Kauffman bracket skein algebra of a surface into a localized quantum torus

Speaker: Ramanujan Santharoubane

Moscow-Beijing topology seminar

Abstract: I will explain how to build a new embedding of the Kauffman bracket skein algebra of a surface into a localized quantum torus via Dehn-Thurston coordinates. The quantum torus is said to be localized because certain extra elements need to be inverted. An important property is that the localized quantum torus is somehow a finite extension of the skein algebra. As an application I will show how to recover a proof of the unicity conjecture already proved by Frohman, Kania-Bartoszynska and Lê. An explicit description of most irreducible representations of the skein algebra at root of unity will be possible.

This is joint work with Renaud Detcherry.

2024 04 08 recording

Title: On biquandles for the groups $G^k_n$ and surface singular braid monoid

Speaker: Igor M. Nikonov

Knots and representation theory seminar

Abstract: The groups $G^k_n$ were defined by V. O. Manturov in order to describe dynamical systems in configuration systems. In the talk we will consider two applications of this theory: we define a biquandle structure on the groups $G^k_n$, and construct a homomorphism from the surface singular braid monoid to the group $G^2_n$.

2024 04 08 recording

Title: Теорема Абеля и дискриминант

Speaker: Ваня Яковлев

Математический кружок

Поиск выражения для решений полиномиального уравнения имеет богатую историю: от формулы корней квадратного трёхчлена, известной в древности, до открытий Кардано и Феррари в эпоху Возрождения для уравнений 3 и 4 степени. 

Теорема, доказанная Нильсом Абелем и Эваристом Галуа, утверждает отсутствие общей формулы для уравнений пятой степени и выше с использованием радикалов. Мы разберём версию доказательства Абеля, использующая геометрию пространства многочленов без кратных корней.

Это неформальное продолжение серии из двух лекций, прочитанных недавно на кружке 179 школы (первая и вторая). Но эта лекция от них не зависима — мы обсуждали дискриминант для многочленов степени 3, а сейчас сразу займёмся общим случаем. 

Доклад рассчитан на студентов младшекурсников и всех заинтересованных слушателей. Понадобятся перестановки, комплексные числа, теорема о неявной функции.

2024 04 06 recording

Title: Cut Locus of Submanifolds: A Geometric Property of the Manifold

Speaker: Sachchidanand Prasad

Knots, graphs and groups

Abstract: The cut locus of a point in a Riemannian manifold is the collection of all points beyond which a distance minimal geodesics fails to be distance minimal. In this talk, we will briefly discuss the cut locus of a point and submanifolds. We will also review some recent results related to this.

2024 04 03 recording

Title: Homological and quantum representations of mapping class groups

Speaker: Marco De Renzi

Moscow-Beijing topology seminar

Abstract: For a connected surface Σ with connected boundary, there exist two very different constructions of the same family of representations of the mapping class group Mod(Σ): one comes from the non-semisimple TQFT associated with the quantum group of sl(2), while the other arises from twisted homology groups of configuration spaces of  Σ. I will explain the equivalence between the two actions, and how this is expected to generalize in the presence of cohomology classes. This is based on joint works with Jules Martel and Bangxin Wang.

2024 04 01 recording

Title: Dendriform algebras

Speaker: Marı́a Ronco, Instituto de Matemáticas, Universidad de Talca, Chile

Knots and representation theory seminar

Abstract: Dendriform algebras are a special type of associative algebras whose product is the sum of two binary products, satisfying certain conditions, they were introduced by J.-L. Loday as Koszul dual of the enveloping algebras of a Leibniz algebra, with the aim of developing a theory of noncommutative Lie algebras (see [4]). The main examples of this type of algebra are associative algebras whose product is given by the shuffle product, and associative algebras equipped with a Rota-Baxter operator.

May be the first example of a dendriform algebra was described by S. Eilenberg and S. MacLane in [3]. They defined a half product on the simplicial complex of singular cochains of a topological space X, and described its relationship with the cup product.

Their result, and the idea of defining an algebraic theory whose free object is described by the vector space generated by the faces of the associahedra, motivated the introduction of two different types of dendriform algebras, equipped with an extra associative product: tridendriform algebras (see [5]), and K algebras. We unified both definitions by introducing q-tridendriform algebras, the case q = 1 corresponds to the tridendriform algebras defined in [5], while for q = 0 we recover Chapoton’s K algebras.

We will give a detailed description of tridendriform algebras, as well as of their Koszul dual algebras called triassociative. Many interesting examples of 1-triassociative algebra were introduced in algebras of words by J.-C. Novelli and J.-Y. Thibon, while the main example of 0-tridendriform algebra is given by Eilenberg-MacLane constructions on simplicial complexes.

Afterwards, we want to explain the notion of tridendriform bialgebra, that is a tridendriform algebra equipped with a coassociative coproduct. The main result is that there exist a funtor from the category of 0-tridendriform bialgebras to the category of S_2 algebras, where an S_2 algebra is a differential algebra equipped with an associative cup product and a structure of brace algebra, as described by J. McClure and J. H. Smith in [6]. Our last result is a structure theorem for conilpotent tridendriform bialgebras, which states that such a bialgebra is an enveloping algebra of its subspace of primitive elements, which has a natural structure of S2 -algebra in the differential case of 0-tridendriform algebras, and a non-differential S2 -algebra for 1-tridendriform algebras. These last results were described in [1]

References

[1] E. Burgunder, M. Ronco, Tridendriform structure on combinatorial Hopf algebras, J of Algebra 324 (2010) 2860-2883

[2] F. Chapoton, Opérades Différentielles Graduées sur les Simplexes et les Permutoèdres, Bull. Soc. Math. France 130 (2) (2002) 233-251.

[3] S. Eilenberg and S. MacLane, Cohomology theory in abstract groups. I, Ann. of Math. 48 (1947), 51-78.

[4] J.-L. Loday, Algèbres ayant deux opérations associatives (digèbres), C. R. Acad. Sci. Paris Sér. I Math. 321 (2) (1995) 141-146.

[5] J.-L. Loday, M. Ronco, Trialgebras and families of polytopes, in: Homotopy Theory: Relations with Algebraic Geometry, Group Cohomology, and Algebraic K -Theory, in: Contemp. Math., vol. 346, 2004, pp. 369-398.

[6] J E McClure, J H Smith, A solution of Deligne’s Hochschild cohomology conjecture, in: Recent progress in homotopy theory (Baltimore, MD, 2000), Contemp. Math. 293, Amer. Math. Soc., Providence, RI (2002) 153-193

[7] J.-C. Novelli, J.-Y. Thibon, Hopf algebras and dendriform structures aris- ing from the parking functions, Fund. Math. 193 (2007) 189-241.

2024 04 01 recording

Title: Классификация платоновских тел (через классификацию конечных подгрупп вращений сферы)

Speaker: Алексей В. Савватеев

Математический кружок

На основе анализа орбит и неподвижных точек у элементов подгруппы вращений многогранника выводится чисто комбинаторная формула 2(1-1/n) = \sum_C (1-1/n_C), где n - порядок группы, C перечисляет классы сопряжённости нетривиальных неподвижных точек, n_C - количество вращений в подгруппах, оставляющих оные на месте.

Аккуратный анализ этой формулы позволяет затем заключить, что платоновских тел бывает только пять (в трёхмерном пространстве).

2024 03 30 recording

Title: Hidden structures in (higher) Euler characteristic invariants

Speaker: Soohyun Park

Knots, graphs and groups

Abstract: We will discuss the gamma vector, which was originally considered in the context of the combinatorics of Eulerian polynomials and later resurfaced in a special case of the Hopf conjecture on Euler characteristics of (piecewise Euclidean) nonpositively curved manifolds in work of Gal. Since then, it has appeared in many different combinatorial applications. We find explicit formulas which give a local-global interpretation and complement/contrast lower bound properties stated earlier by Gal. In addition, a formula involving Catalan numbers and binomial coefficients hints at connections to noncrossing partitions and Coxeter groups in existing positivity examples. Finally, we note considering characteristic classes directly lead to log concavity and Schur positivity properties.

2024 03 27 recording

Title: Connectedness and combinatorial interplay in the moduli space of line arrangements.

Speaker: Benoît Guerville-Ballé

Moscow-Beijing topology seminar

Abstract: The moduli space of a line arrangement (also known as the realization space) captures important topological and geometric information about the arrangement. Due to Mnëv’s Universality Theorem, such moduli spaces can behave as wild as one can imagine. Furthermore, the Pappus configuration shows that unexpected collinearity can appear among the singular points of an arrangements. In this talk, and despite these results, we focus on extracting topological information on the moduli space of line arrangements using only combinatorial techniques. In the first part, we investigate the combinatorial class of inductively connected line arrangements defined by Nazir and Yoshinaga. These arrangements are characterized by a recursive structure that ensures their moduli space to be an open Zariski subset of an irreducible algebraic variety, and so to be path-connected. The second part will be devoted to a continuation of their work. For any fixed line arrangement, we inductively compute a combinatorial upper-bound of the number of connected components of the moduli space. Our bound is based on a fine study of the equations governing the incidence relations, and more particularly of their degrees. It is shown to be sharp even for moduli space with an arbitrary large number of connected components. This is a joint work with Juan Viu-Sos.

2024 03 25 recording

Title: Multiplication in Kauffman bracket skein algebra of a 1-hole torus

Speaker: Helen Wong

Knots and representation theory

Abstract: The Kauffman bracket skein algebra of a surface is a generalization of the Jones polynomial for links and is one of few constructions from quantum topology that is clearly related to hyperbolic geometry. To further understand the relationship, it is important to understand the multiplicative structure of the skein algebra. In this talk, we present a recursion relation and fast algorithm for multiplication in the skein algebra in the case of a 1-hole torus.

2024 03 25 recording

Title: Слова Штурма и Фибоначчи

Speaker: Тунёв И.В.

Математический кружок

Слова Штурма представляют собой воистину восхитительный математический  объект, который можно определить пятью разными способами используя  понятийный аппарат разных математических наук от абстрактной алгберы до  теории формальных языков. Особый интерес из себя представляет частный  случай слова Штурма — слово Фибоначчи, являющееся к тому же обобщением  чисел Фибоначчи на случай работы со строками. Доклад направлен на  ознакомление слушателей с многообразием слов Штурма и особенностями  слова Фибоначчи в контексте современной математики.

2024 03 23 recording

Title: Ideal tetrahedra, photography principle and invariants of manifolds

Speaker: Roman Dribas

Knots, graphs and groups

Abstract: We apply the photography principle for hyperbolic 2-3 Pacner move to construct invariants of 4-manifolds.

2024 03 20 recording

Title: Free circle actions on highly connected (2n+1)-manifolds

Speaker: Jiang Yi

Moscow-Beijing topology seminar

Abstract: A natural problem in topology is to determine which manifolds admit certain group actions. The problem we concern in this talk is to determine which highly connected (2n+1)-manifolds admit free circle actions. I will introduce some previous work and our progress on this problem. This is a joint work with Yang Su.v