arXiv research

Quaternionic frames' admissibility and homotopy proven.

We pursue the analogy of a framed flow category with the flow data of a Morse function. In classical Morse theory, Morse functions can sometimes be locally altered and simplified by the Morse moves. These moves include the Whitney trick which removes two oppositely framed flowlines between critical points of adjacent i…

Framed flow categories were introduced by Cohen-Jones-Segal as a way of encoding the flow data associated to a Floer functional. A framed flow category gives rise to a CW-complex with one cell for each object of the category. The idea is that the Floer invariant should take the form of the stable homotopy type of the r…

New invariant for 4-manifolds with framed links, stronger than existing invariants.

Revisits Pontryagin's proof of stable stems 0, 1, and 2.

We provide an alternative proof that Koschorke's $κ$-invariant is injective on the set of link homotopy classes of $n$-component homotopy Brunnian links $BLM(n)$. The existing proof (by Koschorke \cite{Koschorke97}) is based on the Pontryagin--Thom theory of framed cobordisms, whereas ours is closer in spirit to techni…

Satellite formula connects knot concordance invariants to surgery.

Researchers prove a method to upgrade Morse-Bott homology to stable homotopy invariants.

The paper is devoted to study the Dirichelet energy of moving frames on 2-dimensional tori immersed in the euclidean $3\leq m$-dimensional space. This functional, called Frame energy, is naturally linked to the Willmore energy of the immersion and on the conformal structure of the abstract underlying surface. As first …

We describe a calculus of moves for modifying a framed flow category without changing the associated stable homotopy type. We use this calculus to show that if two framed flow categories give rise to the same stable homotopy type of homological width at most three, then the flow categories are move equivalent. The proc…

Let $M$ be a smooth closed orientable surface. Let $F$ be the space of Morse functions on $M$, and $\mathbb{F}^1$ the space of framed Morse functions, both endowed with $C^\infty$-topology. The space $\mathbb{F}^0$ of special framed Morse functions is defined. We prove that the inclusion mapping $\mathbb{F}^0\hookright…

The paper finds manifold structures on complex spaces.

The framed little 2-discs operad is homotopy equivalent to a cyclic operad. We show that the derived modular envelope of this cyclic operad (i.e., the modular operad freely generated in a homotopy invariant sense) is homotopy equivalent to the modular operad made from classifying spaces of diffeomorphism groups of 3-di…

In this paper we prove a tertiary index theorem which relates a spectral geometric and a homotopy theoretic invariant of an almost complex manifold with framed boundary. It is derived from the index theoretic and homotopy theoretic versions of a complex elliptic genus and interestingly related with the structure of the…

In this paper we classify the homotopy classes of proper maps $E\rightarrow \mathbb R^k$, where $E$ is a vector bundle over a compact Hausdorff space. As a corollary we compute the homotopy classes of proper maps $\mathbb R^n\rightarrow \mathbb R^k$. We find a stability range of such maps. We conclude with some remarks…

Study of embedding spaces using homotopy theory and operads.

We provide combinatorial realizations, according to the usual objects/moves scheme, of the following three topological categories: (1) pairs (M,v) where M is a 3-manifold (up to diffeomorphism) and v is a (non-singular vector) field, up to homotopy; here possibly the boundary of M is non-empty and v may be tangent to t…

Proves loop coproduct invariance under simple homotopy equivalences.

Researchers find a Steenrod square for link Floer homology.

Proves a specific knot is not smoothly slice using real invariants.

It is proved that there exists an integer $L$ such that a framed manifold of dimension $2^l-2$, $l\le L$ has the trivial Kervaire Invariant.

Two approaches study the homotopy of blow ups in algebraic and symplectic geometry.

We develop a geometric approach to stable homotopy groups of spheres in the spirit of the work of Pontrjagin and Rokhlin. A new proof of the Hopf Invariant One Theorem by J.F.Adams is obtained in all dimensions except 15 and 31. To prove that the stable Hopf invariant H: Π_n \to Z/2 vanishes for n>31, we apply methods …

We discuss the relationship between the m-th homotopy group of the one-point union of r copies of the two-dimensional sphere and the m-th homotopy group of the one-point union of r+1 copies of the Thom space of the oriented two-dimensional universal vector bundle. Using a suitably choosen isomorphism between them a for…

Study spaces of knots and links in specific 3-manifolds.

The paper studies posets from decompositions in symmetric monoidal categories.

We compute the mapping class group orbits in the homotopy set of framings of a compact connected oriented surface with non-empty boundary. In the case $g > 1$ the computation is some modification of Johnson's results and certain arguments on the Arf invariant, while we need an extra invariant for the genus $1$ case. In…

Gradient descent constructs tight fusion frames.

Generalizes Floer homotopy via Morse-Bott theory.

Detecting exotic spheres involves analyzing framed configuration spaces.

We give a method for obtaining infinitely many framed knots which represent a diffeomorphic 4-manifold. We also study a relationship between the $n$-shake genus and the 4-ball genus of a knot. Furthermore we give a construction of homotopy 4-spheres from a slice knot with unknotting number one.

Extends knotted defect classification to bounded domains using handlebodies.

The paper characterizes when a 2-sphere can be embedded in a knot trace.

The homotopy fiber of the inclusion from the long embedding space to the long immersion space is known to be an iterated based loop space (if the codimension is greater than two). In this paper we deloop the homotopy fiber to obtain the topological Stiefel manifold, combining results of Lashof and of Lees. We also give…

We use topological surgery in dimension four to give sufficient conditions for the zero framed surgery manifold of a 3-component link to be homology cobordant to the 3-torus, which arises from zero framed surgery on the Borromean rings, via a topological homology cobordism preserving the homotopy classes of the meridia…

Researchers parametrize spaces of positive representations for Lie groups.

By a theorem of Kirchhoff if the six sphere admits an almost complex structure then the seven sphere is parallelizable, more crucial, he exhibited an explicit global frame constructed out of the given almost complex structure. This result implicitly equips the seven sphere with a definite H-space multiplication. We pro…

We study in this paper the rational homotopy type of the space of symplectic embeddings of the standard ball $B^4(c) \subset \R^4$ into 4-dimensional rational symplectic manifolds. We compute the rational homotopy groups of that space when the 4-manifold has the form $M_λ= (S^2 \times S^2, μω_0 \oplus ω_0)$ where $ω_0$…

Given smooth manifolds $V^n$ and $M^m$, an integer $k$, and an immersion $f:V\looparrowright M$, we have constructed an obstruction for existence of regular homotopy of $f$ to an immersion $f':V\looparrowright M$ without $k$-fold points. This obstruction takes values in certain framed bordism group, and for $(k+1)(n+1)…

The notion of the geometrical $\Z/2 \oplus \Z/2$--control of self-intersection of a skew-framed immersion and the notion of the $\Z/2 \oplus \Z/4$-structure (the cyclic structure) on the self-intersection manifold of a $\D_4$-framed immersion are introduced. It is shown that a skew-framed immersion $f:M^{\frac{3n+q}{4}…

We show that Kervaire invariant one elements in the homotopy groups of spheres exist only in dimensions at most 126. By Browder's Theorem, this means that smooth framed manifolds of Kervaire invariant one exist only in dimensions 2, 6, 14, 30, 62, and possibly 126. With the exception of dimension 126 this resolves a lo…

A smooth curve $γ: [0,1] \to \Ss^2$ is locally convex if its geodesic curvature is positive at every point. J. A. Little showed that the space of all locally convex curves $γ$ with $γ(0) = γ(1) = e_1$ and $γ'(0) = γ'(1) = e_2$ has three connected components $L_{-1,c}$, $L_{+1}$, $L_{-1,n}$. The space $\cL_{-1,c}$ is kn…

In 1995 the author, Jones, and Segal introduced the notion of "Floer homotopy theory". The proposal was to attach a (stable) homotopy type to the geometric data given in a version of Floer homology. More to the point, the question was asked, "When is the Floer homology isomorphic to the (singular) homology of a natural…

We define homotopy-theoretic invariants of knots in prime 3-manifolds. Fix a knot J in a prime 3-manifold M. Call a knot K in M concordant to J if it cobounds a properly embedded annulus with J in MxI, and call K J-characteristic if there is a degree-one map f:M --> M throwing K onto J and mapping M-K to M-J. These inv…

We introduce coordinates on the spaces of framed and decorated representations of the fundamental group of a surface with nonempty boundary into the symplectic group $Sp(2n,\mathbf R)$. These coordinates provide a noncommutative generalization of the parametrizations of the spaces of representations into $SL(2,\mathbf …

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…

Let $LHT$ be a left handed trefoil knot and $K$ be any knot. We define $M_n(K)$ to be the homology $3$-sphere which is represented by a simple link of $LHT$ and $LHT \sharp K$ with framings $0$ and $n$ respectively. Starting with this link, we construct homotopy $K3$ and spin rational homology $K3$ surfaces containing …

Constructs a spectrum for knot Floer homology without holomorphic geometry.