arXiv subjects
Publications and source records attributed to A. Skopenkov.
We recall definitions of linking numbers and Wu--Simon numbers for spatial graphs. We expose a `converse' to the Conway--Gordon--Sachs theorem (i.e. description of linking functions for embeddings $K_6\to\mathbb{R}^3$), and some results on Wu--Simon numbers. We conjecture and discuss a generalization of the Conway--Gordon--Sachs theorem to multiple linking. The exposition is based on plane diagrams, so no knowledge of spatial geometry is required.
Let $K$ be a $k$-dimensional simplicial complex having $n$ faces of dimension $k$, and $M$ a closed $(k-1)$-connected PL $2k$-dimensional manifold. We prove that for $k\ge3$ odd $K$ embeds into $M$ if and only if there are $\bullet$ a skew-symmetric $n\times n$-matrix $A$ with integer entries, whose rank over $\mathbb Q$ does not exceed $rk H_k(M;\mathbb Z)$, $\bullet$ a general position PL map $f:K\to\mathbb R^{2k}$, and $\bullet$ orientations on $k$-faces of $K$ such that for any nonadjacent $k$-faces $σ,τ$ of $K$ the entry $A_{σ,τ}$ equals to the algebraic intersection of $fσ$ and $fτ$. We prove some analogues of this result (for any parity of $k$), including those for $\mathbb Z_2$- and $\mathbb Z$-embeddability. Our results generalize the Bikeev-Fulek-Kyn\v cl criteria for the $\mathbb Z_2$- and $\mathbb Z$-embeddability of graphs to surfaces, and are related to the Harris-Krushkal-Johnson-Paták-Tancer criteria for the embeddability of $k$-complexes into $2k$-manifolds. The main novelty of this paper is passing from the cohomology condition of Paták-Tancer to the simpler extendability of some intersection function to a low-rank matrix (defined in the paper using the idea of Fulek-Kyn\v cl).
In this text we expose basic cases of some fundamental ideas and methods of topology. Namely, of homotopy, degree, fundamental group, covering, Whitehead invariant, etc. This is done by considering the elementary example: closed polygonal lines in a subset of the plane. Although these ideas and methods are parts of topology, they are used in other areas including computer science. This text is expository and is accessible to mathematicians not specialized in the area (and to students). The English version mostly consists of results and problems, and is followed by a more narrative Russian version having a different set of authors.
In this expository note we present an elementary direct rigorous definition and the simplest properties of the winding number. This definition is simpler than the one given in some textbooks. We show how to compute the winding number easily: using additivity or counting the (signed) intersection points. In the language of the winding number, we present an elementary formulation and proof of the low-dimensional case of the Borsuk--Ulam theorem. An English version is followed by a Russian version.
This paper shares some experience in advanced mathematical education. We show how a high school student can be naturally and gradually introduced to basic steps of scientific research: developing intuition by finding and correcting mistakes through discussions and writing a paper, (transparent) anonymous peer review, recognition and award. We show that most of this can be done in research projects not aiming at scientific novelty. We share the experience (both principles and examples) of the Moscow Mathematical Conference of High School Students.
A graph drawing in the plane is called an almost embedding if the images of any two non-adjacent simplices (i.e. vertices or edges) are disjoint. Almost embeddings (more precisely, their higher-dimensional analogues) naturally appear in combinatorial geometry, in topological combinatorics, and in studies of embeddings. We prove some relations between the invariants. We demonstrate the connection of some of these relations to homology of the deleted product of a graph. We construct almost embeddings realizing some values of these invariants. We present some ideas of algebraic and geometric topology in a language accessible to non-topologists (in particular, to students). All the necessary definitions are recalled. However elementary, this paper is motivated by frontline of research; there are some conjectures and open problems.
A general position map $f:K\to M$ of a $k$-dimensional simplicial complex to a $2k$-dimensional manifold (for $k=1$, of a graph to a surface) is a $\mathbb Z_2$-embedding if $|fσ\cap fτ|$ is even for any non-adjacent $k$-faces $σ,τ$. We present criteria for $\mathbb Z_2$-embeddability of certain $k$-dimensional complex (for $k=1$, of any graph) to $2k$-dimensional manifolds. These criteria are $\bullet$ a `Kuratowski-type' version of the Fulek-Kynčl-Bikeev criteria (for $k=1$), and $\bullet$ a converse to the Dzhenzher-Skopenkov necessary condition (for $k>1$). Our higher-dimensional criterion allows us to reduce the modulo 2 Kühnel problem on embeddings to a purely algebraic problem. Our proof is interplay between geometric topology, combinatorics and linear algebra. It is based on calculation of generators in the homology of certain configuration space (the deleted product) of certain complex (joinpower).
In 2019 P. Patak and M. Tancer obtained the following higher-dimensional generalization of the Heawood inequality on embeddings of graphs into surfaces. We present a short well-structured proof accessible to non-specialists in the field. Let $Δ_n^k$ be the union of $k$-dimensional faces of the $n$-dimensional simplex. Theorem. (a) If $Δ_n^k$ PL embeds into the connected sum of $g$ copies of the Cartesian product $S^k\times S^k$ of two $k$-dimensional spheres, then $g\ge\dfrac{n-2k-1}{k+2}$. (b) If $Δ_n^k$ PL embeds into a closed $(k-1)$-connected PL $2k$-manifold $M$, then $(-1)^k(χ(M)-2)\ge\dfrac{n-2k-1}{k+1}$.
In this note I describe reliability standards for writing and reviewing mathematical papers; these standards are (in my opinion) vital for the progress of mathematics. I give examples of applying the described or other reliability standards.
Let $f:S^q\sqcup S^q\to S^m$ be a 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 $σf:S^q\sqcup S^q\to S^m$ as follows. The first component of $σf$ is the `standardly shifted' first component of $f$. The second component of $σf$ is the embedded connected sum of the components of $f$. How does (the isotopy class of) $σ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$.
The classical Heawood inequality states that if the complete graph $K_n$ on $n$ vertices is embeddable in the sphere with $g$ handles, then $g \ge\dfrac{(n-3)(n-4)}{12}$. A higher-dimensional analogue of the Heawood inequality is the Kühnel conjecture. In a simplified form it states that for every integer $k>0$ there is $c_k>0$ such that if the union of $k$-faces of $n$-simplex embeds into the connected sum of $g$ copies of the Cartesian product $S^k\times S^k$ of two $k$-dimensional spheres, then $g\ge c_k n^{k+1}$. For $k>1$ only linear estimates were known. We present a quadratic estimate $g\ge c_k n^2$. The proof is based on beautiful and fruitful interplay between geometric topology, combinatorics and linear algebra.
In this expository paper we present some ideas of algebraic topology (more precisely, of homology theory) in a language accessible to non-specialists in the area. A $1$-cycle in a graph is a set $C$ of edges such that every vertex is contained in an even number of edges from $C$. It is easy to check that the sum (modulo $2$) of $1$-cycles is a $1$-cycle. We start from the following problems: to find $\bullet$ the number of all $1$-cycles in a given graph; $\bullet$ a small number of $1$-cycles in a given graph such that any $1$-cycle is the sum of some of them. We consider generalizations (of these problems) to graphs with symmetry, to $2$-cycles in $2$-dimensional hypergraphs, and to certain configuration spaces of graphs (namely, to the square and the deleted square).
The Netflix problem (from machine learning) asks the following. Given a ratings matrix in which each entry $(i,j)$ represents the rating of movie $j$ by customer $i$, if customer $i$ has watched movie $j$, and is otherwise missing, we would like to predict the remaining entries in order to make good recommendations to customers on what to watch next. The remaining entries are predicted so as to minimize the {\it rank} of the completed matrix. In this survey we study a more general problem, in which instead of knowing specific matrix elements, we know linear relations on such elements. We describe applications of these results to embeddings of graphs in surfaces (more precisely, embeddings with rotation systems, and embeddings modulo 2).
A graph drawing in the plane is called an almost embedding if images of any two non-adjacent simplices (i.e. vertices or edges) are disjoint. We introduce integer invariants of almost embeddings: winding number, cyclic and triodic Wu numbers. We construct almost embeddings realizing some values of these invariants. We prove some relations between the invariants. We study values realizable as invariants of some almost embedding, but not of any embedding. This paper is expository and is accessible to mathematicians not specialized in the area (and to students). However elementary, this paper is motivated by frontline of research.
This is an expository paper. A $1$-cycle in a graph is a set $C$ of edges such that every vertex is contained in an even number of edges from $C$. E.g., a cycle in the sense of graph theory is a $1$-cycle, but not vice versa. It is easy to check that the sum (modulo $2$) of $1$-cycles is a $1$-cycle. In this text we study the following problems: to find $\bullet$ the number of all 1-cycles in a given graph; $\bullet$ a small number of 1-cycles in a given graph such that any 1-cycle is the sum of some of them. We also consider generalizations (of these problems) to graphs with symmetry, and to $2$-cycles in $2$-dimensional hypergraphs.
For a smooth manifold $N$ denote by $E^m(N)$ the set of smooth isotopy classes of smooth embeddings $N\to\mathbb R^m$. A description of the set $E^m(S^p\times S^q)$ was known only for $p=q=0$ or for $p=0$, $m\ne q+2$ or for $2m\ge 2(p+q)+\max\{p,q\}+4$. (The description was given in terms of homotopy groups of spheres and of Stiefel manifolds.) For $m\ge2p+q+3$ we introduce an abelian group structure on $E^m(S^p\times S^q)$ and describe this group `up to an extension problem'. This result has corollaries which, under stronger dimension restrictions, more explicitly describe $E^m(S^p\times S^q)$. The proof is based on relations between sets $E^m(N)$ for different $N$ and $m$, in particular, on a recent exact sequence of M. Skopenkov.
In this expository note we show how combinatorial Nullstellensatz by N. Alon naturally appears in solutions of elementary problems. Simple ideas gradually and naturally appear in such solutions, thus bringing a reader to generalizations. The note is accessible to mathematicians not specialized in the area, and to students familiar with polynomials.
Denote by $Δ_M$ the $M$-dimensional simplex. A map $f\colon Δ_M\to\mathbb R^d$ is an almost $r$-embedding if $fσ_1\cap\ldots\cap fσ_r=\emptyset$ whenever $σ_1,\ldots,σ_r$ are pairwise disjoint faces. A counterexample to the topological Tverberg conjecture asserts that if $r$ is not a prime power and $d\ge2r+1$, then there is an almost $r$-embedding $Δ_{(d+1)(r-1)}\to\mathbb R^d$. This was improved by Blagojević-Frick-Ziegler using a simple construction of higher-dimensional counterexamples by taking $k$-fold join power of lower-dimensional ones. We improve this further (for $d$ large compared to $r$): If $r$ is not a prime power and $N:=(d+1)r-r\Big\lceil\dfrac{d+2}{r+1}\Big\rceil-2$, then there is an almost $r$-embedding $Δ_N\to\mathbb R^d$. For the $r$-fold van Kampen-Flores conjecture we also produce counterexamples which are stronger than previously known. Our proof is based on generalizations of the Mabillard-Wagner theorem on construction of almost $r$-embeddings from equivariant maps, and of the Özaydin theorem on existence of equivariant maps.