BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

A. Skopenkov

A. Skopenkov contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.GTmath.ATmath.HOComputational Geometrymath.CODiscrete Mathematicsmath.GRMachine Learningmath.AGmath.FAmath.GM

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
22works
0followers
11topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

22 published item(s)

preprint2025arXiv

Cycles in graphs and in hypergraphs: towards homology theory

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

0 citations0 reviewsNo code linkedOpen access
preprint2025arXiv

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

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

0 citations0 reviewsNo code linkedOpen access
preprint2023arXiv

On embeddability of joins and their `factors'

We present a short and clear proof of the following particular case of a 2006 result of Melikhov-Schepin: Let $K$ be a $k$-dimensional simplicial complex and $K*[3]$ the union of three cones over $K$ along their common bases. If $2d\ge3k+3$ and $K*[3]$ embeds into $\mathbb R^{d+2}$, then $K$ embeds into $\mathbb R^d$. We also present a generalization of this theorem. The proofs are based on the Haefliger-Weber `configuration spaces' embeddability criterion, equivariant suspension theorem and simple properties of joins and cones.

0 citations0 reviewsNo code linkedOpen access
preprint2023arXiv

Stronger counterexamples to the topological Tverberg conjecture

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

A structured proof of Kolmogorov's Superposition Theorem

We present a well-structured detailed exposition of a well-known proof of the following celebrated result solving Hilbert's 13th problem on superpositions. For functions of 2 variables the statement is as follows. Kolmogorov Theorem. There are continuous functions $φ_1,\ldots,φ_5 : [\,0, 1\,]\to [\,0,1\,]$ such that for any continuous function $f: [\,0,1\,]^2\to\mathbb R$ there is a continuous function $h: [\,0,3\,]\to\mathbb R$ such that for any $x,y\in [\,0, 1\,]$ we have $$f(x,y)=\sum\limits_{k=1}^5 h\left(φ_k(x)+\sqrt{2}\,φ_k(y)\right).$$ The proof is accessible to non-specialists, in particular, to students familiar with only basic properties of continuous functions.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

A user's guide to the topological Tverberg conjecture

The topological Tverberg conjecture was considered a central unsolved problem of topological combinatorics. The conjecture asserts that for any integers $r,d>1$ and any continuous map $f:Δ\to\mathbb R^d$ of the $(d+1)(r-1)$-dimensional simplex there are pairwise disjoint faces $σ_1,\ldots,σ_r\subsetΔ$ such that $f(σ_1)\cap \ldots \cap f(σ_r)\ne\emptyset$. The conjecture was proved for a prime power $r$. Recently counterexamples for other $r$ were found. Analogously, the $r$-fold van Kampen-Flores conjecture holds for a prime power $r$ but does not hold for other $r$. The arguments form a beautiful and fruitful interplay between combinatorics, algebra and topology. We present a simplified exposition accessible to non-specialists in the area. We also mention some recent developments and open problems.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Extendability of simplicial maps is undecidable

We present a short proof of the Čadek-Krčál-Matoušek-Vokřínek-Wagner result from the title (in the following form due to Filakovský-Wagner-Zhechev). For any fixed even $l$ there is no algorithm recognizing the extendability of the identity map of $S^l$ to a PL map $X\to S^l$ of given $2l$-dimensional simplicial complex $X$ containing a subdivision of $S^l$ as a given subcomplex. We also exhibit a gap in the Filakovský-Wagner-Zhechev proof that embeddability of complexes is undecidable in codimension $>1$.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Invariants of embeddings of 2-surfaces in 3-space

Let $M$ be a sphere with handles and holes, $f:M\to\mathbb R^3$ an embedding, and $H_1=H_1(M;\mathbb Z)$. We study a simple isotopy invariant of $f$, the Seifert bilinear form $L(f):H_1\times H_1\to\mathbb Z$. Let $\cap:H_1\times H_1\to\mathbb Z$ be the intersection form of $M$. Then the Seifert form is $\cap$-symmetric, i.e., $L(f)(β,γ)-L(f)(γ,β)=β\capγ$ for any $β,γ\in H_1$. If $M$ has non-empty boundary, then any $\cap$-symmetric bilinear form $H_1\times H_1\to\mathbb Z$ is realizable as $L(f)$ for some embedding $f$. We present a characterization of realizable forms for the torus $M$. The results are simple and presumably known in folklore. We present a simplified exposition accessible to non-specialists.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Simple proofs of estimations of Ramsey numbers and of discrepancy

In this expository note we present simple proofs of the lower bound of Ramsey numbers (Erdös theorem), and of the estimation of discrepancy. Neither statements nor proofs require any knowledge beyond high-school curriculum (except a minor detail). Thus they are accessible to non-specialists, in particular, to students. Our exposition is simpler than the standard exposition because no probabilistic language is used. In order to prove the existence of a `good' object we prove that the number of `bad' objects is smaller than the number of all objects.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Some `converses' to intrinsic linking theorems

A low-dimensional version of our main result is the following `converse' of the Conway-Gordon-Sachs Theorem on intrinsic linking of the graph $K_6$ in 3-space: For any integer $z$ there are 6 points $1,2,3,4,5,6$ in 3-space, of which every two $i,j$ are joined by a polygonal line $ij$, the interior of one polygonal line is disjoint with any other polygonal line, the linking coefficient of any pair of disjoint 3-cycles except for $\{123,456\}$ is zero, and for the exceptional pair $\{123,456\}$ is $2z+1$. We prove a higher-dimensional analogue, which is a `converse' of a lemma by Segal-Spież.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

A short elementary proof of the insolvability of the equation of degree 5

We present short elementary proofs of the well-known Ruffini-Abel-Galois theorems on insolvability of algebraic equations in radicals. These proofs are obtained from existing expositions by stripping away material not required for the proofs (but presumably required elsewhere). In particular, we do not use the terms `Galois group' and even `group'. However, our presentation is a good way to learn (or to recall) a starting idea of Galois theory: the symmetry of a polynomial of several variables is decreased when a radical is extracted. So the note provides a bridge (by showing that there is no gap) between elementary mathematics and Galois theory. The note is accessible to students familiar with polynomials, complex numbers and permutations; so the note might be interesting easy reading for professional mathematicians.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

A short exposition of the Levine-Lidman example of spineless 4-manifolds

A 2018 paper by A. Levine and T. Lidman outlines a proof of the following interesting result in topology of manifolds: there is a compact smooth 4-manifold $W$ with boundary such that $W$ is homotopy equivalent to $S^2$ but there does not exist an embedding $S^2\to W$ which is a homotopy equivalence and is simplicial for some triangulations of $W$ and of $S^2$. We present a shorter (and hopefully clearer) exposition. We reveal that some parts of the proof are missing, and that some results are used in that paper without proof or reference, or even without explicit statement.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Embeddings of non-simply-connected 4-manifolds in 7-space. II. On the smooth classification

We work in the smooth category. Let $N$ be a closed connected orientable 4-manifold with torsion free $H_1$, where $H_q := H_q(N; \mathbb Z)$. Our main result is a readily calculable classification of embeddings $N\to\mathbb R^7$ up to isotopy, with an indeterminancy. Such a classification was only known before for $H_1=0$ by our earlier work from 2008. Our classification is complete when $H_2=0$ or when the signature of $N$ is divisible neither by 64 nor by 9. The group of knots $S^4\to\mathbb R^7$ acts on the set of embeddings $N\to\mathbb R^7$ up to isotopy by embedded connected sum. In Part I we classified the quotient of this action. The main novelty of this paper is the description of this action for $H_1\ne0$, with an indeterminancy. Besides the invariants of Part I, detecting the action of knots involves a refinement of the Kreck invariant from our work of 2008. For $N=S^1\times S^3$ we give a geometrically defined 1--1 correspondence between the set of isotopy classes of embeddings and a certain explicitly defined quotient of the set $\mathbb Z\oplus\mathbb Z\oplus\mathbb Z_{12}$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

On some results of S. Abramyan and T. Panov

This note is purely expository and is an extended version of math review to the paper [AP19]=arXiv:1901.07918v3 by S. Abramyan and T. Panov published in Proc. of Steklov Math. Inst. 305 (2019). The authors construct simplicial complexes for whose moment-angle complexes certain homotopy classes are non-trivial. I present in a shorter and clearer way the main definition and the statement of Theorem 5.1 from [AP19]. The clarification reveals that the main definition used in the statements of the main results is not given [AP19].

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Elements of mathematics in problems. Through olympiads and circles to profession

This is a collection of teaching materials used in several Russian universities, schools, and mathematical circles. Most problems are chosen in such a way that in the course of the solution and discussion a reader learns important mathematical ideas and theories. The materials can be used by pupils and students for self-study, and by teachers. This is an abridged pre-copyedit version of the published book submitted with the permission of the publisher. Each included individual material is self-contained and ready-for-use. Solutions to problems are not included intentionally. This collection consolidates updates of several arXiv submissions, e.g., arXiv:1305.2598.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Embeddings of non-simply-connected 4-manifolds in 7-space. I. Classification modulo knots

We work in the smooth category. Let $N$ be a closed connected orientable 4-manifold with torsion free $H_1$, where $H_q:=H_q(N;Z)$. Our main result is a complete readily calculable classification of embeddings $N\to R^7$, up to the equivalence relation generated by isotopy and embedded connected sum with embeddings $S^4\to R^7$. Such a classification was already known only for $H_1=0$ by the work of Boéchat, Haefliger and Hudson from 1970. Our classification involves the Boéchat-Haefliger invariant $\varkappa(f)\in H_2$, Seifert bilinear form $λ(f):H_3\times H_3\to Z$ and $β$-invariant $β(f)$ which assumes values in a quotient of $H_1$ defined by values of $\varkappa(f)$ and $λ(f)$. In particular, for $N=S^1\times S^3$ we give a geometrically defined 1-1 correspondence between the set of equivalence classes of embeddings and an explicit quotient of the set $Z\oplus Z$. Our proof is based on development of Kreck modified surgery approach, involving some simpler reformulations, and also uses parametric connected sum.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

Eliminating Higher-Multiplicity Intersections, III. Codimension 2

We study conditions under which a finite simplicial complex $K$ can be mapped to $\mathbb R^d$ without higher-multiplicity intersections. An almost $r$-embedding is a map $f: K\to \mathbb R^d$ such that the images of any $r$ pairwise disjoint simplices of $K$ do not have a common point. We show that if $r$ is not a prime power and $d\geq 2r+1$, then there is a counterexample to the topological Tverberg conjecture, i.e., there is an almost $r$-embedding of the $(d+1)(r-1)$-simplex in $\mathbb R^d$. This improves on previous constructions of counterexamples (for $d\geq 3r$) based on a series of papers by M. Özaydin, M. Gromov, P. Blagojević, F. Frick, G. Ziegler, and the second and fourth present authors. The counterexamples are obtained by proving the following algebraic criterion in codimension 2: If $r\ge3$ and if $K$ is a finite $2(r-1)$-complex then there exists an almost $r$-embedding $K\to \mathbb R^{2r}$ if and only if there exists a general position PL map $f:K\to \mathbb R^{2r}$ such that the algebraic intersection number of the $f$-images of any $r$ pairwise disjoint simplices of $K$ is zero. This result can be restated in terms of cohomological obstructions or equivariant maps, and extends an analogous codimension 3 criterion by the second and fourth authors. As another application we classify ornaments $f:S^3 \sqcup S^3\sqcup S^3\to \mathbb R^5$ up to ornament concordance. It follows from work of M. Freedman, V. Krushkal and P. Teichner that the analogous criterion for $r=2$ is false. We prove a lemma on singular higher-dimensional Borromean rings, yielding an elementary proof of the counterexample.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

When Any Group of N Elements is Cyclic?

We give a simple proof of the well-known fact: any group of n elements is cyclic if and only if n and ϕ(n) are coprime. This note is accessible for students familiar with permutations and basic number theory. No knowledge of abstract group theory is required; a few necessary notions are introduced in the course of the proof. The note could also be an interesting easy reading for mature mathematicians.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Some more proofs from the Book: solvability and insolvability of equations in radicals

This paper is purely expository. We present short elementary proofs of * the Gauss Theorem on constructibility of regular polygons; * the existence of a cubic equation unsolvable in real radicals; * the existence of a quintic equation unsolvable in complex radicals (Galois Theorem). The statements of these celebrated results are simple and well-known. However, their proofs given in most textbooks rely upon much unmotivated material and are far from being economic. We do not use the terms `Galois group' or even `group'. The paper is accessible for students familiar with polynomials and complex numbers, and could be an interesting easy reading for professional mathematicians. Short English version is followed by an extended Russian version where before presenting the proofs we illustrate the main ideas by sequences of problems with hints or solutions.

0 citations0 reviewsNo code linkedOpen access