Rustam Sadykov
In [MaII] Mather proved that a smooth proper infinitesimally stable map is stable. This result is the key component of the Mather stability theorem [MaV], which can be reformulated as follows: a smooth proper map $f: M\to N$ is stable if…
The singular set of a generic map $f: M\to F$ of a manifold $M$ of dimension $m\ge 2$ to an oriented surface $F$ is a closed smooth curve $\Sigma(f)$. We study the parity of the number of components of $\Sigma(f)$. The image $f(\Sigma)$ of…
Satisfiability Modulo Theories (SMT) solvers are integral to program analysis techniques like concolic and symbolic execution, where they help assess the satisfiability of logical formulae to explore execution paths of the program under…
Kauffman virtual knots are knots in thickened surfaces $F\times R$ considered up to isotopy, stabilizations and destabilizations, and diffeomorphisms of $F\times R$ induced by orientation preserving diffeomorphisms of $F$. Similarly,…
Introduced by Seifert and Threlfall, cylindrical neighborhoods of isolated critical points of smooth functions is an essential tool in the Lusternik- Schnirelmann theory. We conjecture that every isolated critical point of a smooth function…
We formulate conjectures generalizing some known results to the category of virtual Legendrian knots. This includes statements relating virtual Legendrian knots to ordinary Legendrian knots, non-existence of positive virtual Legendrian self…
Introduced by Seifert and Threlfall, cylindrical neighborhoods is an essential tool in the Lusternik-Schnirelmann theory. We conjecture that every isolated critical point of a smooth function admits a cylindrical ball neighborhood. We show…
We find conditions under which a non-orientable closed surface S embedded into an orientable closed 4-manifold X can be represented by a connected sum of an embedded closed surface in X and an unknotted projective plane in a 4-sphere. This…
In this note we introduce and study a new class of maps called oriented colored broken submersions. This is the simplest class of maps that satisfies a version of the b-principle and in dimension 2 approximates the class of oriented…
We use the Berstein-Hilton invariant to prove the formula $\cat(M_1\sharp M_2)=\max\{\cat M_1, \cat M_2\}$ for the Lustrnik-Schnirelmann category of the connected sum of closed manifolds $M_1$ and $M_2$.
A flat virtual link is a finite collection of oriented closed curves $\mathfrak L$ on an oriented surface $M$ considered up to virtual homotopy, i.e., a composition of elementary stabilizations, destabilizations, and homotopies.…
In view of the Segal construction each category with a coherent operation gives rise to a cohomology theory. Similarly each open stable differential relation $R$ imposed on smooth maps of manifolds determines cohomology theories $k^*$ and…
We prove the formula $TC(G\ast H)=\max\{TC(G), TC(H), cd(G\times H)\}$ for the topological complexity of the free product of discrete groups with cohomological dimension >2.
The Lusternik-Schnirelmann category and topological complexity are important invariants of manifolds (and more generally, topological spaces). We study the behavior of these invariants under the operation of taking the connected sum of…
We show that for any n real periodic functions f_1,..., f_n with the same period, such that f_i>0 for i<n, and a real number e >0, there is a closed curve in R^{n+1} with curvatures k_1, ..., k_n such that |k_i(t)-f_i(t)| < e for all i and…
A singular point of a smooth map F: M -> N of manifolds is a point in M at which the rank of the differential dF is less than the minimum of dimensions of M and N. The classical invariant of the set S of singular points of F of a given type…
A complete Riemannian manifold $(M, g)$ is a $Y^x_l$-manifold if every unit speed geodesic $\gamma(t)$ originating at $\gamma(0)=x\in M$ satisfies $\gamma(l)=x$ for $0\neq l\in \R$. B\'erard-Bergery proved that if $(M^m,g), m>1$ is a…
In terms of category theory, the Gromov homotopy principle for a set valued functor $F$ asserts that the functor $F$ can be induced from a homotopy functor. Similarly, we say that the bordism principle for an abelian group valued functor…
We prove that the homotopy class of a Morin mapping f: P^p --> Q^q with p-q odd contains a cusp mapping. This affirmatively solves a strengthened version of the Chess conjecture [DS Chess, A note on the classes [S_1^k(f)], Proc. Symp. Pure…
In view of the self-linking invariant, the number $|K|$ of framed knots in $S^3$ with given underlying knot $K$ is infinite. In fact, the second author previously defined affine self-linking invariants and used them to show that $|K|$ is…