arXiv research

The study examines the realizability of a 4-manifold invariant for homeomorphisms.

We show that two closed, connected $4$-manifolds with finite fundamental groups are $\mathbb{CP}^2$-stably homeomorphic if and only if their quadratic $2$-types are stably isomorphic and their Kirby-Siebenmann invariant agrees.

New homeomorphism found in Klein bottle group.

The abstract explains counterexamples in 4-manifold topology.

Suppose $X$ and $Y$ are compact connected topological 4-manifolds with fundamental group $π$. For any $r \geqslant 0$, $Y$ is $r$-stably homeomorphic to $X$ if $Y \# r(S^2 \times S^2)$ is homeomorphic to $X \# r(S^2\times S^2)$. How close is stable homeomorphism to homeomorphism? When the common fundamental group $π$ i…

New stable exotic 4-manifolds found with specific topological properties.

We define a new finite type invariant for stably homeomorphic class of curves on compact oriented surfaces without boundaries and extend to a regular homotopy invariant for spherical curves.

In the paper \cite{wall_1}, C.T.C. Wall proved that two smooth closed simply connected 4-manifolds which are homeomorphic are in fact stably diffeomorphic. We prove a similar result which states that two smooth closed 4-manifolds satisfying certain properties are stably diffeomorphic if and only if their signatures agr…

We construct a covariant functor from the topological torus bundles to the so-called Cuntz-Krieger algebras; the functor maps homeomorphic bundles into the stably isomorphic Cuntz-Krieger algebras. It is shown, that the K-theory of the Cuntz-Krieger algebra encodes torsion of the first homology group of the bundle. We …

Algorithm decides homeomorphism of 4-manifolds.

Study stable equivalence relations on 4-manifolds, proving homotopy equivalent manifolds with abelian fundamental group are stably diffeomorphic.

The absolute Galois group of 3-manifolds determines their structure up to homeomorphism.

Study rules out exotic $S^4$ and $\# n \mathbb{CP}^2$ construction using zero surgery homeomorphisms.

New infinite family of 4-manifolds with same stable properties but not homotopy equivalent.

We consider ribbon $R^4$'s, that is, smooth open 4-manifolds, homeomorphic to $R^4$ and associated to $h$-cobordisms between closed 4-manifolds. We show that any generalized ribbon $R^4$ associated to a sequence of $h$-cobordisms between non-diffeomorphic 4-manifolds is exotic. Notion of a positive ribbon $R^4$ is defi…

The paper constructs infinitely many stably diffeomorphic but non-homotopy equivalent manifolds.

Characterizes stably elliptic elements in Lie groups and their properties.

Two link diagrams on compact surfaces are strongly equivalent if they are related by Reidemeister moves and orientation preserving homeomorphisms of the surfaces. They are stably equivalent if they are related by the two previous operations and adding or removing handles. Turaev and Turner constructed a link homology f…

In this paper we introduce the notion of almost flatness for (stably) relative bundles on a pair of topological spaces and investigate basic properties of it. First, we show that almost flatness of topological and smooth sense are equivalent. This provides a construction of an almost flat stably relative bundle by usin…

Calculates cobordism ring of stably almost complex C_p-manifolds.

The study finds stably free modules and distinct 2-complexes for large ranks.

The monoids l_{2q+1}(Z[π]) detect s-cobordisms amongst certain bordisms between stably diffeomorphic 2q-dimensional manifolds and generalise the Wall simple surgery obstruction groups, L_{2q+1}^s(Z[π]) \subset l_{2q+1}(Z[π]). In this paper we give exact sequences which completely describe l_{2q+1}(Z[π]) as a set and wh…

We show that any $(\C ^*)^n$-invariant stably complex structure on a topological toric manifold of dimension $2n$ is integrable. We also show that such a manifold is weakly $(\C ^*)^n$-equivariantly isomorphic to a toric manifold.

New method finds non-orientable knotted surfaces in 4D.

Regular sliceness implies once-stably decomposable sliceness in symplectizations.

We construct examples of robustly transitive and stably ergodic partially hyperbolic diffeomorphisms $f$ on compact $3$-manifolds with fundamental groups of exponential growth such that $f^n$ is not homotopic to identity for all $n>0$. These provide counterexamples to a classification conjecture of Pujals.

We give complete geometric invariants of cobordisms of fold maps with oriented singular set and cobordisms of even codimensional fold maps. These invariants are given in terms of cobordisms of stably framed manifolds and cobordisms of immersions with prescribed normal bundles defined by the author in his earlier works.

The paper defines a Chern-Simons invariant for stably trivial vector bundles and uses it to obstruct conformal immersions.

There is a question asking whether a handle-irreducible summand of every stable-ribbon surface-link is a unique ribbon surface-link. This question for the case of a trivial surface-link is affirmatively answered. That is, a handle-irreducible summand of every stably trivial surface-link is only a trivial 2-link. By com…

New invariant detects non-homotopy equivalent 4-manifolds.

The notion of a (stably) decomposable fiber bundle is introduced. In low dimensions, for torus fiber bundles over a circle the notion translates into a property of elements of the special linear group of integral matrices. We give a complete characterization of the stably decomposable torus fiber bundle of fiber-dimens…

In [D.A. Fedoseev, V.O. Manturov, A sliceness criterion for odd free knots,arXiv:1707.04923], the authors proved a sliceness criterion for odd free knots: free knots with odd chords. In the present paper we give a similar criterion for stably odd free knots. Some additional results on knot sliceness and cobordism are g…

Explicit formulas for Hattori-Stong integrability conditions and manifolds' signature properties.

Is a given map between compact topological manifolds homotopic to the projection map of a fiber bundle? In this paper obstructions to this question are introduced with values in higher algebraic K-theory. Their vanishing implies that the given map fibers stably. The methods also provide results for the corresponding un…

Stable unactivated neurons reduce expressiveness in ReLU networks.

We study closed, oriented 4-manifolds whose fundamental group is that of a closed, oriented, aspherical 3-manifold. We show that two such 4-manifolds are stably diffeomorphic if and only if they have the same w_2-type and their equivariant intersection forms are stably isometric. We also find explicit algebraic invaria…

The paper verifies stable handleslide triviality of some R-links and shows many are stably equivalent.

Two Heegaard Floer knot complexes are called stably equivalent if an acyclic complex can be added to each complex to make them filtered chain homotopy equivalent. Hom showed that if two knots are concordant, then their knot complexes are stably equivalent. Invariants of stable equivalence include the concordance invari…

The paper constructs infinitely many $G$-smoothings of a $G$-manifold.

We develop a new approach to the existence of time functions on Lorentzian manifolds, based on Conley's work regarding Lyapunov functions for dynamical systems. We recover Hawking's result that a stably causal admits a time function through a more general result giving the existence of a continuous function that is non…

We introduce the notion of a general cup product bundle gerbe and use it to define the Weyl bundle gerbe on T x SU(n)/T. The Weyl map from T x SU(n)/T to SU(n) is then used to show that the pullback of the basic bundle gerbe on SU(n) defined by the second two authors is stably isomorphic to the Weyl bundle gerbe as SU(…

We discuss the relationship between two analogues in a 3-manifold of the set of prime ideals in a number field. We prove that if $(K_i)_{i\in \mathbb{N}_{>0}}$ is a sequence of knots obeying the Chebotarev law in the sense of Mazur and McMullen, then $\mathcal{K}=\cup_i K_i$ is a stably generic link in the sense of Mih…

Solves double coset problem for braid group H_n.

We define a new invariant $w$ for hyperelliptic Lefschetz fibrations over closed oriented surfaces, which counts the number of Dirac braids included intrinsically in the monodromy, by using chart description introduced by the second author. As an application, we prove that two hyperelliptic Lefschetz fibrations of genu…

A strategy for constructing an embedded sphere in a 4-manifold realizing a given homology class which has been successfully applied in the past is to represent the class as a first step stably by an embedded sphere, i.e. after adding products of 2-spheres, and to move that sphere back into the original manifold. In thi…

We prove that the spectrum constructed by González-Meneses, Manchón and the second author is stably homotopy equivalent to the Khovanov spectrum of Lipshitz and Sarkar at its extreme quantum grading.

We complete our recent classification of compact inner symmetric spaces with weakly complex tangent bundle by filling up a case which was left open, and extend this classification to the larger category of compact homogeneous spaces with positive Euler characteristic. We show that a simply connected compact equal rank …

We prove a folklore result which gives a sequence of necessary and sufficient conditions for a stably symplectic manifold to define a nilpotent element in the symplectic bordism ring.