arXiv research

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

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

New invariant detects non-homotopy equivalent 4-manifolds.

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

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…

Two 4-manifolds are stably diffeomorphic if they become diffeomorphic after connected sum with S^2 x S^2's. This paper shows that two closed, orientable, homotopy equivalent, smooth 4-manifolds are stably diffeomorphic, provided a certain map from the second homology of the fundamental group with coefficients in Z/2 to…

Extended surgery theory proves diffeomorphism for simply-connected 4k-manifolds.

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

The paper constructs multiple manifolds with similar properties.

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

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…

This paper is concerned with the problem of stable diffeomorphism classification of 4-manifolds obtained using the surgery on loops. The main theorem states that under the assumption that the normal 1-type of two 4-manifolds in question is the same, the only classifying invariant is the signature. In particular, in som…

Let $n \geq 2$. We prove a homological stability theorem for the diffeomorphism groups of $(4n+1)$-dimensional manifolds, with respect to forming the connected sum with $(2n-1)$-connected, $(4n+1)$-dimensional manifolds that are stably parallelizable. Our techniques involve the study of the action of the diffeomorphism…

Study on topological pseudo-isotopies of 4-manifolds, proving some cases and finding counterexamples.

Algorithm decides homeomorphism of 4-manifolds.

The paper introduces a new method to create stable ergodic actions on higher-dimensional manifolds.

Novel discretization of Euler equations for incompressible fluids.

Study on Morse homology for reflection actions on manifolds.

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…

Characterizes stably elliptic elements in Lie groups and their properties.

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.

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.

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 method finds non-orientable knotted surfaces in 4D.

Regular sliceness implies once-stably decomposable sliceness in symplectizations.

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…

The paper explores slice disks and their properties using satellite operations and knot Floer homology.

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.

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

The abstract explains counterexamples in 4-manifold topology.

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.