-
Manturov Projection for Virtual Legendrian Knots in $ST^*F$
Authors:
Vladimir Chernov,
Rustam Sadykov
Abstract:
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, virtual Legendrian knots, introduced by Cahn and Levi~\cite{CahnLevi}, are Legendrian knots in $ST^*F$ with the natural contact structure. Virtual Legendrian knots ar…
▽ More
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, virtual Legendrian knots, introduced by Cahn and Levi~\cite{CahnLevi}, are Legendrian knots in $ST^*F$ with the natural contact structure. Virtual Legendrian knots are considered up to isotopy, stabilization and destabilization of the surface away from the front projection of the Legendrian knot, as well as up to contact isomorphisms of $ST^*F$ induced by orientation preserving diffeomorphisms of $F$.
We show that there is a projection operation $proj$ from the set of virtual isotopy classes of Legendrian knots to the set of isotopy classes of Legendrian knots in $ST^*S^2$. This projection is obtained by substituting some of the classical crossings of the front diagram for a virtual crossing. It restricts to the identity map on the set of virtual isotopy classes of classical Legendrian knots. In particular, the projection $proj$ extends invariants of Legendrian knots to invariants of virtual Legendrian knots. Using the projection $proj$, we show that the virtual crossing number of every classical Legendrian knot equals its crossing number. We also prove that the virtual canonical genus of a Legendrian knot is equal to the canonical genus.
The construction of $proj$ is inspired by the work of Manturov.
△ Less
Submitted 8 February, 2025; v1 submitted 24 December, 2024;
originally announced December 2024.
-
Meander diagrams of virtual knots
Authors:
Y. Belousov,
V. Chernov,
A. Malyutin,
R. Sadykov
Abstract:
For classical knots, there is a concept of (semi)meander diagrams; in this short note we generalize this concept to virtual knots and prove that the classes of meander and semimeander diagrams are universal (this was known for classical knots). We also introduce a new class of invariants for virtual knots -- virtual $k$-arc crossing numbers and we use Manturov projection to show that for all class…
▽ More
For classical knots, there is a concept of (semi)meander diagrams; in this short note we generalize this concept to virtual knots and prove that the classes of meander and semimeander diagrams are universal (this was known for classical knots). We also introduce a new class of invariants for virtual knots -- virtual $k$-arc crossing numbers and we use Manturov projection to show that for all classical knots the virtual $k$-arc crossing number equals to the classical $k$-arc crossing number.
△ Less
Submitted 8 December, 2024; v1 submitted 9 July, 2024;
originally announced July 2024.
-
Alon-Boppana-type bounds for weighted graphs
Authors:
Alexandr Polyanskii,
Rinat Sadykov
Abstract:
The unraveled ball of radius $r$ centered at a vertex $v$ in a weighted graph $G$ is the ball of radius $r$ centered at $v$ in the universal cover of $G$. We present a general bound on the maximum spectral radius of unraveled balls of fixed radius in a weighted graph.
The weighted degree of a vertex in a weighted graph is the sum of weights of edges incident to the vertex. A weighted graph is ca…
▽ More
The unraveled ball of radius $r$ centered at a vertex $v$ in a weighted graph $G$ is the ball of radius $r$ centered at $v$ in the universal cover of $G$. We present a general bound on the maximum spectral radius of unraveled balls of fixed radius in a weighted graph.
The weighted degree of a vertex in a weighted graph is the sum of weights of edges incident to the vertex. A weighted graph is called regular if the weighted degrees of its vertices are the same. Using the result on unraveled balls, we prove a variation of the Alon-Boppana theorem for regular weighted graphs.
△ Less
Submitted 12 May, 2023;
originally announced May 2023.
-
Conjectures about virtual Legendrian knots and links
Authors:
Vladimir Chernov,
Rustam Sadykov
Abstract:
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 isotopy for the class of the fiber of $ST^*M$ and the conjectural relation of virtual Legendrian isotopy to causality in generalized spacetimes. We prove the c…
▽ More
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 isotopy for the class of the fiber of $ST^*M$ and the conjectural relation of virtual Legendrian isotopy to causality in generalized spacetimes. We prove the conjectures in the case of $2$-dimensional $M$ and $(2+1)$-dimensional spacetimes. We also formulate and prove the version of the Arnold's $4$ cusp conjecture for virtual isotopies.
△ Less
Submitted 2 July, 2023; v1 submitted 7 February, 2023;
originally announced February 2023.
-
The minimal number of critical points of a smooth function on a closed manifold and the ball category
Authors:
Rustam Sadykov,
Stanislav Trunov
Abstract:
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 admits a cylindrical ball neighborhood. We show that the conjecture is true for cone-like critical points, Cornea reasonable critical points, and critical poin…
▽ More
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 admits a cylindrical ball neighborhood. We show that the conjecture is true for cone-like critical points, Cornea reasonable critical points, and critical points that satisfy the Rothe H hypothesis. In particular, the conjecture holds true at least for those critical points that are not infinitely degenerate. If, contrary to the assertion of the conjecture, there are isolated critical points that do not admit cylindrical ball neighborhoods, then we say that such critical points are exotic. We prove a Lusternik-Schnirelmann type theorem asserting that the minimal number of critical points of smooth functions without exotic critical points on a closed manifold of dimension at least 6 is the same as the minimal number of elements in a Singhof-Takens filling of M by smooth balls with corners.
△ Less
Submitted 17 August, 2023; v1 submitted 21 August, 2022;
originally announced August 2022.
-
A homotopy invariant of stable maps to oriented surfaces
Authors:
Liam Kahmeyer,
Rustam Sadykov
Abstract:
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 $Σ(f)$. We study the parity of the number of components of $Σ(f)$. The image $f(Σ)$ of the singular set inherits canonical local orientations via so-called chessboard functions. Such a local orientation gives rise to the cumulative winding number…
▽ More
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 $Σ(f)$. We study the parity of the number of components of $Σ(f)$. The image $f(Σ)$ of the singular set inherits canonical local orientations via so-called chessboard functions. Such a local orientation gives rise to the cumulative winding number $ω(f)\in \frac{1}{2}\mathbb{Z}$ of $Σ(f)$. When the dimension of the manifold $M$ is even we also define an invariant $I(f)$ which is the residue class modulo $4$ of the sum of the number of components of $Σ(f)$, the number of cusps, and twice the number of self-intersection points of $f(Σ)$. Using the cumulative winding number and the invariant $I(f)$, we show that the parity of the number of connected components of $Σ(f)$ does not change under homotopy of $f$ provided that one of the following conditions is satisfied: (i) the dimension of $M$ is even, (ii) the singular set of the homotopy is an orientable manifold, or (iii) the image of the singular set of the homotopy does not have triple self-intersection points.
△ Less
Submitted 5 October, 2022; v1 submitted 15 August, 2022;
originally announced August 2022.
-
Isolated singularities of hypersurfaces
Authors:
Rustam Sadykov,
Stanislav Trunov
Abstract:
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 that the conjecture is true for cone-like critical points, Cornea reasonable critical points, and critical points that satisfy the Rothe H hypothesis. In partic…
▽ More
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 that the conjecture is true for cone-like critical points, Cornea reasonable critical points, and critical points that satisfy the Rothe H hypothesis. In particular, the conjecture holds true at least for those critical points that are not infinitely degenerate.
△ Less
Submitted 12 June, 2023; v1 submitted 20 July, 2022;
originally announced July 2022.
-
Disjoint edges in geometric graphs
Authors:
Nikita Chernega,
Alexandr Polyanskii,
Rinat Sadykov
Abstract:
A geometric graph is a graph drawn in the plane so that its vertices and edges are represented by points in general position and straight line segments, respectively. A vertex of a geometric graph is called pointed if it lies outside of the convex hull of its neighbours. We show that for a geometric graph with $n$ vertices and $e$ edges there are at least $\frac{n}{2}\binom{2e/n}{3}$ pairs of disj…
▽ More
A geometric graph is a graph drawn in the plane so that its vertices and edges are represented by points in general position and straight line segments, respectively. A vertex of a geometric graph is called pointed if it lies outside of the convex hull of its neighbours. We show that for a geometric graph with $n$ vertices and $e$ edges there are at least $\frac{n}{2}\binom{2e/n}{3}$ pairs of disjoint edges provided that $2e\geq n$ and all the vertices of the graph are pointed. Besides, we prove that if any edge of a geometric graph with $n$ vertices is disjoint from at most $ m $ edges, then the number of edges of this graph does not exceed $n(\sqrt{1+8m}+3)/4$ provided that $n$ is sufficiently large.
These two results are tight for an infinite family of graphs.
△ Less
Submitted 30 August, 2022; v1 submitted 9 November, 2021;
originally announced November 2021.
-
The weak b-principle: Mumford conjecture
Authors:
Rustam Sadykov
Abstract:
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 submersions well in the sense that every oriented colored broken submersion of dimension 2 to a closed simply connected manifold is bordant to a submersion.
We show…
▽ More
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 submersions well in the sense that every oriented colored broken submersion of dimension 2 to a closed simply connected manifold is bordant to a submersion.
We show that the Madsen-Weiss theorem (the standard Mumford Conjecture) fits a general setting of the b-principle. Namely, a version of the b-principle for oriented colored broken submersions together with the Harer stability theorem and Miller-Morita theorem implies the Madsen-Weiss theorem.
△ Less
Submitted 7 January, 2021;
originally announced January 2021.
-
The Lusternik-Schnirelmann category of connected sum
Authors:
Alexander Dranishnikov,
Rustam Sadykov
Abstract:
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$.
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$.
△ Less
Submitted 27 September, 2019;
originally announced September 2019.
-
On non-orientable surfaces in 4-manifolds
Authors:
David Auckly,
Rustam Sadykov
Abstract:
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 allows us to extend the Gabai 4-dimensional light bulb theorem and the Auckly-Kim-Melvin-Ruberman-Schwartz "one is enough" theorem to the case of non-orientable…
▽ More
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 allows us to extend the Gabai 4-dimensional light bulb theorem and the Auckly-Kim-Melvin-Ruberman-Schwartz "one is enough" theorem to the case of non-orientable surfaces.
△ Less
Submitted 12 April, 2021; v1 submitted 26 August, 2018;
originally announced August 2018.
-
The topological complexity of the free product
Authors:
Alexander Dranishnikov,
Rustam Sadykov
Abstract:
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.
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.
△ Less
Submitted 1 November, 2017; v1 submitted 12 October, 2017;
originally announced October 2017.
-
Minimizing intersection points of curves under virtual homotopy
Authors:
Vladimir Chernov,
David Freund,
Rustam Sadykov
Abstract:
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. Specializing to a pair of curves $(L_1,L_2)$, we show that the minimal number of intersection points of curves in the virtual homotopy class of $(L_1, L_2)$ equals to the…
▽ More
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. Specializing to a pair of curves $(L_1,L_2)$, we show that the minimal number of intersection points of curves in the virtual homotopy class of $(L_1, L_2)$ equals to the number of terms of a generalization of the Anderson--Mattes--Reshetikhin Poisson bracket. Furthermore, considering a single curve, we show that the minimal number of self-intersections of a curve in its virtual homotopy class can be counted by a generalization of the Cahn cobracket.
△ Less
Submitted 3 September, 2018; v1 submitted 9 August, 2017;
originally announced August 2017.
-
On LS-category and topological complexity of connected sum
Authors:
Alexander Dranishnikov,
Rustam Sadykov
Abstract:
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 manifolds. We give a complete answer for the LS-categoryof orientable manifolds, $\cat(M\# N)=\max\{\cat M,\cat N\}$. For topological complexity we prove the inequa…
▽ More
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 manifolds. We give a complete answer for the LS-categoryof orientable manifolds, $\cat(M\# N)=\max\{\cat M,\cat N\}$. For topological complexity we prove the inequality $\TC (M\# N)\ge\max\{\TC M,\TC N\}$ for simply connected manifolds.
△ Less
Submitted 21 July, 2017;
originally announced July 2017.
-
Virtual Legendrian Isotopy
Authors:
V. Chernov,
R. Sadykov
Abstract:
An elementary stabilization of a Legendrian link $L$ in the spherical cotangent bundle $ST^*M$ of a surface $M$ is a surgery that results in attaching a handle to $M$ along two discs away from the image in $M$ of the projection of the link $L$. A virtual Legendrian isotopy is a composition of stabilizations, destabilizations and Legendrian isotopies.
In contrast to Legendrian knots, virtual Lege…
▽ More
An elementary stabilization of a Legendrian link $L$ in the spherical cotangent bundle $ST^*M$ of a surface $M$ is a surgery that results in attaching a handle to $M$ along two discs away from the image in $M$ of the projection of the link $L$. A virtual Legendrian isotopy is a composition of stabilizations, destabilizations and Legendrian isotopies.
In contrast to Legendrian knots, virtual Legendrian knots enjoy the property that there is a bijective correspondence between the virtual Legendrian knots and the equivalence classes of Gauss diagrams.
We study virtual Legendrian isotopy classes of Legendrian links and show that every such class contains a unique irreducible representative. In particular we get a solution to the following conjecture of Cahn, Levi and the first author: two Legendrian knots in $ST^*S^2$ that are isotopic as virtual Legendrian knots must be Legendrian isotopic in $ST^*S^2.$
△ Less
Submitted 19 October, 2014; v1 submitted 3 June, 2014;
originally announced June 2014.
-
The number of framings of a knot in a 3-manifold
Authors:
Patricia Cahn,
Vladimir Chernov,
Rustam Sadykov
Abstract:
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 infinite for every knot in an orientable manifold unless the manifold contains a connected sum factor of $S^1\times S^2$; the knot $K$ need not be zero-homologous…
▽ More
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 infinite for every knot in an orientable manifold unless the manifold contains a connected sum factor of $S^1\times S^2$; the knot $K$ need not be zero-homologous and the manifold is not required to be compact.
We show that when $M$ is orientable, the number $|K|$ is infinite unless $K$ intersects a non-separating sphere at exactly one point, in which case $|K|=2$; the existence of a non-separating sphere implies that $M$ contains a connected sum factor of $S^1\times S^2$.
For knots in nonorientable manifolds we show that if $|K|$ is finite, then $K$ is disorienting, or there is an isotopy from the knot to itself which changes the orientation of its normal bundle, or it intersects some embedded $S^2$ or $\mathbb R P^2$ at exactly one point, or it intersects some embedded $S^2$ at exactly two points in such a way that a closed curve consisting of an arc in $K$ between the intersection points and an arc in $S^2$ is disorienting.
△ Less
Submitted 23 April, 2014;
originally announced April 2014.
-
The space of non-degenerate closed curves in a Riemannian manifold
Authors:
Jacob Mostovoy,
Rustam Sadykov
Abstract:
Let LM be the semigroup of non-degenerate based loops with a fixed initial/final frame in a Riemannian manifold M of dimension at least three. We compare the topology of LM to that of the loop space Omega FTM on the bundle of frames in the tangent bundle of M. We show that Omega FTM is the group completion of LM, and prove that it is obtained by localizing LM with respect to adding a "small twist"…
▽ More
Let LM be the semigroup of non-degenerate based loops with a fixed initial/final frame in a Riemannian manifold M of dimension at least three. We compare the topology of LM to that of the loop space Omega FTM on the bundle of frames in the tangent bundle of M. We show that Omega FTM is the group completion of LM, and prove that it is obtained by localizing LM with respect to adding a "small twist".
△ Less
Submitted 18 September, 2012;
originally announced September 2012.
-
Approximations of periodic functions to R^n by curvatures of closed curves
Authors:
Jacob Mostovoy,
Rustam Sadykov
Abstract:
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 t. This neither holds for closed curves in the hyperbolic space H^{n+1}, nor for parametric families of closed curves in R^{n+1}.
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 t. This neither holds for closed curves in the hyperbolic space H^{n+1}, nor for parametric families of closed curves in R^{n+1}.
△ Less
Submitted 26 May, 2012;
originally announced May 2012.
-
On the connectivity of finite subset spaces
Authors:
Jacob Mostovoy,
Rustam Sadykov
Abstract:
We show that for an m-connected cell complex X the space exp_k X of non-empty subsets of X of cardinality at most k is (m + k - 2)-connected
We show that for an m-connected cell complex X the space exp_k X of non-empty subsets of X of cardinality at most k is (m + k - 2)-connected
△ Less
Submitted 29 April, 2012; v1 submitted 23 March, 2012;
originally announced March 2012.
-
Topological properties of manifolds admitting a $Y^x$-Riemannian metric
Authors:
Vladimir Chernov,
Paul Kinlaw,
Rustam Sadykov
Abstract:
A complete Riemannian manifold $(M, g)$ is a $Y^x_l$-manifold if every unit speed geodesic $γ(t)$ originating at $γ(0)=x\in M$ satisfies $γ(l)=x$ for $0\neq l\in \R$. Bérard-Bergery proved that if $(M^m,g), m>1$ is a $Y^x_l$-manifold, then $M$ is a closed manifold with finite fundamental group, and the cohomology ring $H^*(M, \Q)$ is generated by one element.
We say that $(M,g)$ is a $Y^x$-manif…
▽ More
A complete Riemannian manifold $(M, g)$ is a $Y^x_l$-manifold if every unit speed geodesic $γ(t)$ originating at $γ(0)=x\in M$ satisfies $γ(l)=x$ for $0\neq l\in \R$. Bérard-Bergery proved that if $(M^m,g), m>1$ is a $Y^x_l$-manifold, then $M$ is a closed manifold with finite fundamental group, and the cohomology ring $H^*(M, \Q)$ is generated by one element.
We say that $(M,g)$ is a $Y^x$-manifold if for every $ε>0$ there exists $l>ε$ such that for every unit speed geodesic $γ(t)$ originating at $x$, the point $γ(l)$ is $ε$-close to $x$. We use Low's notion of refocussing Lorentzian space-times to show that if $(M^m, g), m>1$ is a $Y^x$-manifold, then $M$ is a closed manifold with finite fundamental group. As a corollary we get that a Riemannian covering of a $Y^x$-manifold is a $Y^x$-manifold. Another corollary is that if $(M^m,g), m=2,3$ is a $Y^x$-manifold, then $(M, h)$ is a $Y^x_l$-manifold for some metric $h.$
△ Less
Submitted 27 May, 2010;
originally announced May 2010.
-
Invariants of singular sets of smooth maps
Authors:
Rustam Sadykov
Abstract:
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 is defined by taking the fundamental class [\bar{S}]\in H_*(M) of the closure of S. We introduce and study new invariants of singular sets for which the classi…
▽ More
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 is defined by taking the fundamental class [\bar{S}]\in H_*(M) of the closure of S. We introduce and study new invariants of singular sets for which the classical invariants may not be defined, i.e., for which \bar{S} may not possess the fundamental class. The simplest new invariant is defined by carefully choosing the fundamental class of the intersection of \bar{S} and its slight perturbation in M. Surprisingly, for certain singularity types such an invariant is well-define (and not trivial) despite the fact that \bar{S} does not possess the fundamental class.
We determine new invariants for maps with Morin singularities---i.e., singularities of types A_k for k>0 in the ADE-classification of simple singularities by Dynkin diagrams---and, as an application, show that these invariants together with generalized Miller-Morita-Mumford classes form a commutative graded algebra of characteristic classes that completely determine the cobordism groups of maps with at most A_k-singularities for each k>0.
△ Less
Submitted 3 April, 2010;
originally announced April 2010.
-
Obstructions to the existence of fold maps
Authors:
Rustam Sadykov,
Osamu Saeki,
Kazuhiro Sakuma
Abstract:
We study smooth maps between smooth manifolds with only fold points as their singularities, and clarify the obstructions to the existence of such a map in a given homotopy class for certain dimensions. The obstructions are described in terms of characteristic classes, which arise as Postnikov invariants, and can be interpreted as primary and secondary obstructions to the elimination of certain sin…
▽ More
We study smooth maps between smooth manifolds with only fold points as their singularities, and clarify the obstructions to the existence of such a map in a given homotopy class for certain dimensions. The obstructions are described in terms of characteristic classes, which arise as Postnikov invariants, and can be interpreted as primary and secondary obstructions to the elimination of certain singularities. We also discuss the relationship between the existence problem of fold maps and that of vector fields of stabilized tangent bundles.
△ Less
Submitted 13 March, 2010;
originally announced March 2010.
-
The bordism version of the h-principle
Authors:
Rustam Sadykov
Abstract:
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 $h^*$; the cohomology theory $k^*$ describes invariants of solutions of $R$, while $h^*$ describes invariants of so-called stable formal solutions of $R$. We pro…
▽ More
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 $h^*$; the cohomology theory $k^*$ describes invariants of solutions of $R$, while $h^*$ describes invariants of so-called stable formal solutions of $R$. We prove the bordism version of the h-principle: The cohomology theories $k^*$ and $h^*$ are equivalent for a fairly arbitrary open stable differential relation $R$. Furthermore, we determine the homotopy type of $h^*$. Thus, we show that for a fairly arbitrary open stable differential relation $R$, the machinery of stable homotopy theory can be applied to perform explicit computations and determine invariants of solutions.
In the case of the differential relation whose solutions are all maps, our construction amounts to the Pontrjagin-Thom construction. In the case of the covering differential relation our result is equivalent to the Barratt-Priddy-Quillen theorem asserting that the direct limit of classifying spaces $BΣ_n$ of permutation groups $Σ_n$ of finite sets of n elements is homology equivalent to each path component of the infinite loop space $Ω^{\infty}S^{\infty}$. In the case of the submersion differential relation imposed on maps of dimension $d=2$ the cohomology theories $k^*$ and $h^*$ are not equivalent. Nevertheless, our methods still apply and can be used to recover the Madsen-Weiss theorem (the Mumford Conjecture).
△ Less
Submitted 16 January, 2018; v1 submitted 8 February, 2010;
originally announced February 2010.
-
Stable characteristic classes of smooth manifold bundles
Authors:
Rustam Sadykov
Abstract:
Characteristic classes of oriented vector bundles can be identified with cohomology classes of the disjoint union of classifying spaces BSO_n of special orthogonal groups SO_n with n=0,1,... A characteristic class is stable if it extends to a cohomology class of a homotopy colimit BSO of classifying spaces BSO_n.
Similarly, characteristic classes of smooth oriented manifold bundles with fibers…
▽ More
Characteristic classes of oriented vector bundles can be identified with cohomology classes of the disjoint union of classifying spaces BSO_n of special orthogonal groups SO_n with n=0,1,... A characteristic class is stable if it extends to a cohomology class of a homotopy colimit BSO of classifying spaces BSO_n.
Similarly, characteristic classes of smooth oriented manifold bundles with fibers given by oriented closed smooth manifolds of a fixed dimension d\ge 0 can be identified with cohomology classes of the disjoint union of classifying spaces BDiff M of orientation preserving diffeomorphism groups of oriented closed manifolds of dimension d. A characteristic class is stable if it extends to a cohomology class of a homotopy colimit of spaces BDiff M. We show that each rational stable characteristic class of oriented manifold bundles of even dimension d is tautological, e.g., if d=2, then each rational stable characteristic class is a polynomial in terms of Miller-Morita-Mumford classes.
△ Less
Submitted 25 October, 2009;
originally announced October 2009.
-
Singular cobordism categories
Authors:
Rustam Sadykov
Abstract:
Recently Galatius, Madsen, Tillmann and Weiss identified the homotopy type of the classifying space of the cobordism category of embedded d-dimensional manifolds [7] for each positive integer d. Their result lead to a new proof of the generalized standard Mumford conjecture. We extend the main theorem of [7] to the case of cobordism categories of embedded d-dimensional manifolds with prescribed…
▽ More
Recently Galatius, Madsen, Tillmann and Weiss identified the homotopy type of the classifying space of the cobordism category of embedded d-dimensional manifolds [7] for each positive integer d. Their result lead to a new proof of the generalized standard Mumford conjecture. We extend the main theorem of [7] to the case of cobordism categories of embedded d-dimensional manifolds with prescribed singularities, and explain the relation of singular cobordism categories to the bordism version of the Gromov h-principle.
△ Less
Submitted 28 January, 2010; v1 submitted 8 April, 2008;
originally announced April 2008.
-
Fold maps, framed immersions and smooth structures
Authors:
Rustam Sadykov
Abstract:
For each integer q>0 there is a cohomology theory such that the zero cohomology group of a manifold N of dimension n is a certain group of cobordism classes of proper fold maps of manifolds of dimension n+q into N. We prove a splitting theorem for the spectrum representing the cohomology theory of fold maps. For even q, the splitting theorem implies that the cobordism group of fold maps to a manif…
▽ More
For each integer q>0 there is a cohomology theory such that the zero cohomology group of a manifold N of dimension n is a certain group of cobordism classes of proper fold maps of manifolds of dimension n+q into N. We prove a splitting theorem for the spectrum representing the cohomology theory of fold maps. For even q, the splitting theorem implies that the cobordism group of fold maps to a manifold N is a sum of q/2 cobordism groups of framed immersions to N and a group related to diffeomorphism groups of manifolds of dimension q+1. Similarly, in the case of odd q, the cobordism group of fold maps splits off (q-1)/2 cobordism groups of framed immersions.
The proof of the splitting theorem gives a partial splitting of the homotopy cofiber sequence of Thom spectra in the Madsen-Weiss approach to diffeomorphism groups of manifolds.
△ Less
Submitted 8 October, 2010; v1 submitted 26 March, 2008;
originally announced March 2008.
-
Bordism groups of solutions to differential relations
Authors:
Rustam Sadykov
Abstract:
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 $F$ holds if the functor $F$ can be induced from a (co)homology functor. We examine the bordism principle in the case of functors given by (co)bordism groups of…
▽ More
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 $F$ holds if the functor $F$ can be induced from a (co)homology functor. We examine the bordism principle in the case of functors given by (co)bordism groups of maps with prescribed singularities. Our main result implies that if a family $R$ of prescribed singularity types satisfies certain mild conditions, then there exists an infinite loop space $B(R)$ such that for each smooth manifold $N$ the cobordism group of maps into $N$ with only $R$-singularities is isomorphic to the group of homotopy classes of maps $[N, B(R)]$.
△ Less
Submitted 30 November, 2009; v1 submitted 18 August, 2006;
originally announced August 2006.
-
The Chess conjecture
Authors:
Rustam Sadykov
Abstract:
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 Math., 40 (1983) 221-224] and [VI Arnol'd, VA Vasil'ev, VV Goryunov, OV Lyashenko, Dynamical systems VI. Singularities, local and global theory, Encyclopedia…
▽ More
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 Math., 40 (1983) 221-224] and [VI Arnol'd, VA Vasil'ev, VV Goryunov, OV Lyashenko, Dynamical systems VI. Singularities, local and global theory, Encyclopedia of Mathematical Sciences - Vol. 6 (Springer, Berlin, 1993)]. Also, in view of the Saeki-Sakuma theorem [O Saeki, K Sakuma, Maps with only Morin singularities and the Hopf invariant one problem, Math. Proc. Camb. Phil. Soc. 124 (1998) 501-511] on the Hopf invariant one problem and Morin mappings, this implies that a manifold P^p with odd Euler characteristic does not admit Morin mappings into R^{2k+1} for p > 2k not equal to 1,3 or 7.
△ Less
Submitted 31 August, 2003; v1 submitted 31 January, 2003;
originally announced January 2003.
-
Elimination of singularities of smooth mappings of 4-manifolds into 3-manifolds
Authors:
Rustam Sadykov
Abstract:
This paper has been withdrawn. Its new version has been published.
This paper has been withdrawn. Its new version has been published.
△ Less
Submitted 29 May, 2006; v1 submitted 11 January, 2003;
originally announced January 2003.
-
Simple singularities of multigerms of curves
Authors:
Pavel A. Kolgushkin,
Rustam R. Sadykov
Abstract:
We classify stably simple reducible curve singularities in complex spaces of any dimension. This extends the same classification of of irreducible curve singularities obtained by V.I.Arnold. The proof is essentially based on the method of complete transversals by J.W.Bruce et al.
We classify stably simple reducible curve singularities in complex spaces of any dimension. This extends the same classification of of irreducible curve singularities obtained by V.I.Arnold. The proof is essentially based on the method of complete transversals by J.W.Bruce et al.
△ Less
Submitted 6 December, 2000;
originally announced December 2000.
