arXiv research

Study rigidity of self-maps and classify manifolds homotopy equivalent to Stiefel manifolds.

Under mild assumptions on a group G, we prove that the class of complete Riemannian n-manifolds of uniformly bounded negative sectional curvatures and with the fundamental groups isomorphic to G breaks into finitely many tangential homotopy types. It follows that many aspherical manifolds do not admit complete negative…

We define a cobordism category of topological manifolds and prove that if $d \neq 4$ its classifying space is weakly equivalent to $Ω^{\infty -1} MTTop(d)$, where $MTTop(d)$ is the Thom spectrum of the inverse of the canonical bundle over $BTop(d)$. We also give versions with tangential structures and boundary. The pro…

For each odd integer r greater than one and not divisible by three we give explicit examples of infinite families of simply and tangentially homotopy equivalent but pairwise non-homeomorphic closed homogeneous spaces with fundamental group isomorphic to Z/r. As an application we construct the first examples of manifold…

We show that if $M$ and $N$ have the same homotopy type of simply connected closed smooth $m$-manifolds such that the integral and mod-$2$ cohomologies of $M$ vanish in odd degrees, then their homotopy inertia groups are equal. Let $M^{2n}$ be a closed $(n-1)$-connected $2n$-dimensional smooth manifold. We show that, f…

We show that any open aspherical manifold of dimension n>3 is tangentially homotopy equivalent to an n-manifold whose universal cover is not homeomorphic to the Euclidean space.

We classify up to diffeomorphism all smooth manifolds homeomorphic to the complex projective m-space $\mathbb{C}P^{m}$ for $m = 5, 6, 7$ and $8$. As an application, for $m = 7$ and $8$, we compute the smooth tangential structure set of $\mathbb{C}P^{m}$ and obtain a bound on the number of smooth homotopy complex projec…

The stable converse soul question (SCSQ) asks whether, given a real vector bundle \(E\) over a compact manifold, some stabilization \(E\times\R^k\) admits a metric with non-negative (sectional) curvature. We extend previous results to show that the SCSQ has an affirmative answer for all real vector bundles over any sim…

Given two compact n-dimensional manifolds in the smooth, piecewise linear or topological categories, basic results of B. Mazur and others give simple criteria for determining whether their products with Euclidean spaces of sufficiently large dimension are isomorphic in the given category. This paper studies such questi…

We study tangential families, i.e. systems of rays emanating tangentially from given curves. We classify, up to Left-Right equivalence, stable singularities of tangential family germs (under deformations among tangential families) and we study their envelopes. We discuss applications of our results to the case of tange…

Tangential families are 1-parameter families of rays emanating tangentially from smooth curves. We classify tangential family germs up to Left-Right equivalence: we prove that there are two infinite series and four sporadic simple singularities of tangential family germs (in addition to two stable singularities). We gi…

We study algebraic conditions on a group G under which every properly discontinuous, isometric G-action on a Hadamard manifold has a G-invariant Busemann function. For such G we prove the following structure theorem: every open complete nonpositively curved Riemannian K(G,1) manifold that is homotopy equivalent to a fi…

We extend two known existence results to simply connected manifolds with positive sectional curvature: we show that there exist pairs of simply connected positively-curved manifolds that are tangentially homotopy equivalent but not homeomorphic, and we deduce that an open manifold may admit a pair of non-homeomorphic s…

This paper deals with certain results on the number of smooth structures on quaternionic projective spaces, obtained through the computation of inertia group and its analogues, which in turn are computed using techniques from stable homotopy theory. We show that the concordance inertia group is trivial in dimension 20,…

Fix a tangential structure $θ: B \longrightarrow BO(d+1)$ and an integer $k < d/2$. In this paper we determine the homotopy type of a cobordism category $\mathbf{Cob}^{\text{mf}, k}_θ$, where morphisms are given by $θ$-cobordisms $W: P \rightsquigarrow Q$ equipped with a choice of proper Morse function $h_{W}: W \longr…

New examples of manifolds with similar homotopy but different simple homotopy types.

New examples of manifolds that are homotopy but not simple homotopy equivalent.

The study of higher tangential structures, arising from higher connected covers of Lie groups (String, Fivebrane, Ninebrane structures), require considerable machinery for a full description, especially for connections to geometry and applications. With utility in mind, in this paper we study these structures at the ra…

Finding examples of tangentially degenerate submanifolds (submanifolds with degenerate Gauss mappings) in an Euclidean space $R^4$ that are noncylindrical and without singularities is an important problem of differential geometry. The first example of such a hypersurface was constructed by Sacksteder in 1960. In 1995 W…

Complex equivalence classes found in graph homotopy.

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

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

Study shows equivariant Khovanov homotopy types are equivalent.

Groups of homotopy equivalences of graphs help realize compact subgroups.

Homotopy equivalences of 3-manifolds have a bounded power.

Proves loop coproduct invariance under simple homotopy equivalences.

Given a bundle of chain complexes, the algebra of functions on its shifted cotangent bundle has a natural structure of a shifted Poisson algebra. We show that if two such bundles are homotopy equivalent, the corresponding Poisson algebras are homotopy equivalent. We apply this result to $L_\infty$-algebroids to show th…

Paper compares five surface Navier-Stokes derivations and finds some are equivalent.

Homotopy equivalence between formalities with different covariant derivatives.

Paper generalizes wrinkled embedding concept to jet spaces.

Homotopy on nanophrases is an equivalence relation defined using some data called a homotopy data triple. We define a product on homotopy data triples. We show that any homotopy data triple can be factorized into a product of prime homotopy data triples and this factorization is unique up to isomorphism and order. If a…

The paper finds manifold structures on complex spaces.

The paper defines when surfaces are homotopy equivalent to graphs and explores their mapping class groups.

By defining combinatorial moves, we can define an equivalence relation on Gauss words called homotopy. In this paper we define a homotopy invariant of Gauss words. We use this to show that there exist Gauss words that are not homotopically equivalent to the empty Gauss word, disproving a conjecture by Turaev. In fact, …

A K(pi,1)-foliation is one for which the universal covers of all leaves are contractible (thus all leaves are K(pi,1)'s for some pi). In the first part of the paper we show that the tangential Lusternik--Schnirelmann category cat F of a K(pi,1)-foliation F on a manifold M is bounded from below by t-codim F for any t wi…

Study of embedding spaces using homotopy theory and operads.

Link-homotopy and self Delta-equivalence are equivalence relations on links. It was shown by J. Milnor (resp. the last author) that Milnor invariants determine whether or not a link is link-homotopic (resp. self Delta-equivalent) to a trivial link. We study link-homotopy and self Delta-equivalence on a certain componen…

A neighborhood homotopy is an equivalence relation on spatial graphs which is generated by crossing changes on the same component and neighborhood equivalence. We give a complete classification of all 2-component spatial graphs up to neighborhood homotopy by the elementary divisor of a linking matrix with respect to th…

New invariant detects non-homotopy equivalent 4-manifolds.

Our objective is to develop a stratified Morse theory with tangential conditions. We define a continuous strata-wise smooth Morse function on an abstract stratified space by using control conditions and radiality assumptions on the gradient vector field. For critical points of a Morse function one can show that the loc…

Constructs Lepage equivalents for arbitrary-order Lagrangians.

The paper studies obstructions to homotopy invariance of loop coproducts.

Survey on finite group actions on CW-complexes homotopy to spheres.

Paper defines weak (1, 3) homotopy for knot projections and classifies trivial knots.

Equivalence relations can be defined on Gauss phrases using combinatorial moves. In this paper we consider two closely related equivalence relations on Gauss phrases, homotopy and open homotopy. In particular, in each case, we define a new invariant and determine the values that it can attain.

We give a variant of Naef's formula for the failure of invariance of the string topology coproduct under homotopy equivalences, using an obstruction class build from the higher homotopy data one can associate to a homotopy equivalence as well as the ``fake diagonal''. The vanishing of our obstruction class can be seen …

Embeddings of mapping tori for end-periodic graph maps are proven.

The paper characterizes $G$-ANR spaces and their properties.