arXiv research

Classifies non-linear Fredholm maps linking to stable homotopy groups of spheres.

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

New homotopy theory reveals the structure of stable curves.

We set up foundations of representation theory over $S$, the sphere spectrum, which is the `initial ring' of stable homotopy theory. In particular, we treat $S$-Lie algebras and their representations, characters, $gl_n(S)$-Verma modules and their duals, Harish-Chandra pairs and Zuckermann functors. As an application, w…

Study homotopy types of free racks and quandles, proving analogs of Milnor's theorem.

We establish an interesting connection between Morin singularities and stable homotopy groups of spheres. We apply this connection to computations of cobordism groups of certain singular maps. The differentials of the spectral sequence computing these cobordism groups are given by the composition multiplication in the …

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

Refines Khovanov homology using signed Burnside categories.

In this paper a geometric approach toward stable homotopy groups of spheres, based on the Pontrjagin-Thom construction is proposed. From this approach a new proof of Hopf Invariant One Theorem by J.F.Adams for all dimensions except $15,31,63,127$ is obtained. It is proved that for $n>127$ in the stable homotopy group o…

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

Stable approach solves equivariant Hopf theorem for G-manifolds.

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

Study of embedding spaces using homotopy theory and operads.

We extend Lipshitz-Sarkar's definition of a stable homotopy type associated to a link L whose cohomology recovers the Khovanov cohomology of L. Given an assignment c (called a coloring) of positive integer to each component of a link L, we define a stable homotopy type X_col(L_c) whose cohomology recovers the c-colored…

Notes on Khovanov and knot Floer theories' stable homotopy types.

There exists a simplified Bar-Natan Khovanov complex for open 2-braids. The Khovanov cohomology of a knot diagram made by gluing tangles of this type is therefore often amenable to calculation. We lift this idea to the level of the Lipshitz-Sarkar stable homotopy type and use it to make new computations. Similarly, the…

We establish a connection between Morin singularities and stable homotopy groups of spheres. This connection allows us to describe how the images of singularity strata behave around the image of a more complicated stratum.

New stable homotopy refinement of quantum annular Khovanov homology.

For each link L in S^3 and every quantum grading j, we construct a stable homotopy type X^j_o(L) whose cohomology recovers Ozsvath-Rasmussen-Szabo's odd Khovanov homology, H_i(X^j_o(L)) = Kh^{i,j}_o(L), following a construction of Lawson-Lipshitz-Sarkar of the even Khovanov stable homotopy type. Furthermore, the odd Kh…

We show that the cobordism groups of negative codimensional folds maps contain direct sums of stable homotopy groups of Thom spaces of vector bundles like the circle and the infinite dimensional projective space. We give geometrical invariants which detect these direct summands.

Cobordism groups of cooriented fold maps of codimension 1 are computed completely. Namely their odd torsion part coincides with that of the stable homotopy group of spheres in the same dimension, while the 2-primary part is the kernel of the Kahn-Priddy map. (The Kahn-Priddy map is an epimorhism of the stable homotopy …

Homotopy theory for $(2n+1)$-dimensional manifold triads with fixed boundary.

The paper constructs multiple manifolds with similar properties.

Generalizes Floer homotopy via Morse-Bott theory.

For a complex projective space the inertia group, the homotopy inertia group and the concordance inertia group are isomorphic. In complex dimension 4n+1, these groups are related to computations in stable cohomotopy. Using stable homotopy theory, we make explicit computations to show that the inertia group is non-trivi…

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…

The purpose of these notes is to show that the methods introduced by Bauer and Furuta in order to refine the Seiberg-Witten invariants of smooth 4-dimensional manifolds can also be used to obtain stable homotopy classes from Riemann surfaces, using the vortex equations on the latter.

Novikov theorem extended to rational Pontryagin classes for cyclic group $C_4$.

We construct a stable homotopy refinement of quantum annular homology, a link homology theory introduced by Beliakova, Putyra and Wehrli. For each $r\geq 2$ we associate to an annular link $L$ a naive $\mathbb{Z}/r\mathbb{Z}$-equivariant spectrum whose cohomology is isomorphic to the quantum annular homology of $L$ as …

We will define a version of Seiberg-Witten-Floer stable homotopy types for a closed, oriented 3-manifold $Y$ with $b_1(Y) > 0$ and a spin-c structure $\mathfrak{c}$ on $Y$ with $c_1(\mathfrak{c})$ torsion under an assumption on $Y$. Using the Seiberg-Witten-Floer stable homotopy type, we will construct a gluing formula…

In this paper, we discuss two topics: first, we show how to convert 1+1-topological quantum field theories valued in symmetric bimonoidal categories into stable homotopical data, using a machinery by Elmendorf and Mandell. Then, we discuss, in this framework, two recent results (independent of each other) on refinement…

New homotopy types defined for links in thickened surfaces with higher genus.

The paper shows plentiful non-homotopy finite Poincaré duality spaces.

Defines homotopy type for links in thickened surfaces.

We define a second Steenrod square for virtual links, which is stronger than Khovanov homology for virtual links, toward constructing Khovanov-Lipshitz-Sarkar stable homotopy type for virtual links. This induces the first meaningful nontrivial example of the second Steenrod square operator on the Khovanov homology for …

New tools prove smooth actions on exotic spheres.

New actions found on exotic spheres using group theory.

The paper refines 2-factor homology to a stable homotopy type for planar trivalent graphs with perfect matchings.

Computes homotopy groups of diffeomorphism spaces for high-dimensional manifolds.

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…

New mathematical framework connects M-theory charges to stable homotopy groups.

Study the topology of stable vector fields and Lyapunov functions on R^n.

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…

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…

Study homotopy groups in GIT quotients using transversality methods.

We define stable homotopy refinements of Khovanov's arc algebras and tangle invariants.

We introduce a framework, twisted parametrized stable homotopy theory, for describing semi-infinite homotopy types. A twisted parametrized spectrum is a section of a bundle whose fibre is the category of spectra. We define these bundles in terms of modules over a stack of parametrized spectra and in terms of diagrams o…

The geometric Hopf invariant of a stable map F is a stable Z_2-equivariant map h(F) such that the stable Z_2-equivariant homotopy class of h(F) is the primary obstruction to F being homotopic to an unstable map. In this paper we express the geometric Hopf invariant of the Umkehr map F of an immersion f:M^m \to N^n in t…