Extends Khovanov cohomology to colored links using stable homotopy types.
problem Extending Khovanov cohomology to colored links.
method Defining a stable homotopy type X_col(L_c) for colored links L, using categorified Jones-Wenzl projectors and infinite torus braids.
result Computes stable homotopy types for specific colored links and makes a conjecture for others.
Defines a new Steenrod square for virtual links, linking to Khovanov-Lipshitz-Sarkar stable homotopy type.
problem Studying Steenrod squares for virtual links.
method Defines a second Steenrod square for virtual links.
result First meaningful nontrivial example of the second Steenrod square on Khovanov homology.
A calculus modifies flow categories without changing their homotopy type.
problem Modifying flow categories without altering their homotopy type.
method A calculus of moves to modify framed flow categories.
result Two flow categories with stable homotopy type give move equivalent categories.
Study homotopy types of free racks and quandles, proving analogs of Milnor's theorem.
problem Understanding the homotopy types of free racks and quandles.
method Proved analogs of Milnor's theorem for racks and quandles and their pointed variants.
result Identified the homotopy types of free racks and quandles on spaces of generators.
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…
Constructs odd Khovanov homotopy types for links, linking them to even types.
problem Understanding and constructing odd Khovanov homotopy types for links.
method Constructs stable homotopy types X^j_o(L) for links L, with cohomology matching odd Khovanov homology.
result Odd Khovanov homotopy types carry a Z/2 action whose fixed points are related to even Khovanov homotopy types.
Refines Khovanov homology using signed Burnside categories.
problem Stable homotopy refinement of Khovanov homology.
method Signed Burnside category approach to compare Blanchet and Khovanov chain complexes.
result Stable homotopy type construction for link diagrams.
Notes on Khovanov and knot Floer theories' stable homotopy types.
problem Understanding stable homotopy types in Khovanov and knot Floer theories.
method Introduction to Khovanov and knot Floer theories' stable homotopy types.
result Introduction of stable homotopy types in Khovanov and knot Floer theories.
New invariant constructed using stable homotopy methods.
problem Constructing a new link invariant.
method Stable homotopy theory and Khovanov's method.
result A Khovanov slk-stable homotopy type constructed. Article constructs jet-structures in homotopy type theory.
problem Formalizing jet-structures in homotopy type theory.
method Constructs moduli stack of torsionfree jet-structures in homotopy type theory with one monadic modality.
result Formalization yields construction of moduli stack for any ∞-topos with stable factorization systems.
New homotopy theory reveals the structure of stable curves.
problem Understanding the structure of the moduli stack of stable curves.
method Using stratified homotopy theory, the category of stable curves captures the stratified homotopy type of the moduli stack.
result The category of stable curves classifies constructible sheaves via an exodromy equivalence.
Defines homotopy type for links in thickened surfaces.
problem Homotopical Khovanov homology of links in higher genus surfaces.
method Stable homotopy type for links in thickened torus and higher genus surfaces.
result Definition of Khovanov-Lipshark-Sarkar homotopy type for links in thickened surfaces.
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…
Researchers prove a method to upgrade Morse-Bott homology to stable homotopy invariants.
problem Proving a method to upgrade Morse-Bott homology to stable homotopy invariants rigorously.
method Rigorous construction of stable normal framings and proof of stable homotopy type recovery.
result The stable homotopy type recovers Σ∞+M and Thom spectra for all reduced KO-theory classes.
New homotopy types defined for links in thickened surfaces with higher genus.
problem Defining stable homotopy types for links in surfaces with higher genus.
method Defined Khovanov-Lipshitz-Sarkar homotopy types and Steenrod squares for links in thickened surfaces with genus > 1.
result First meaningful Khovanov-Lipshitz-Sarkar stable homotopy types for links in 3-manifolds other than the 3-sphere.
Generalizes Floer homotopy via Morse-Bott theory.
problem Constructing equivariant models in Floer theory.
method Morse-Bott theory, flow categories, stable homotopy types.
result Equivalence of Borel equivariant spectra for certain Lagrangians.
Paper introduces moves to simplify framed flow categories.
problem Simplifying framed flow categories for easier study.
method Inspired by Morse-Smale moves, introduces moves to change framed flow categories without altering their stable homotopy type.
result Finite sequence of moves can connect two framed flow categories representing the same stable homotopy type.
We will define a version of Seiberg-Witten-Floer stable homotopy types for a closed, oriented 3-manifold Y with b1(Y)>0 and a spin-c structure c on Y with c1(c) torsion under an assumption on Y. Using the Seiberg-Witten-Floer stable homotopy type, we will construct a gluing formula…
The paper refines 2-factor homology to a stable homotopy type for planar trivalent graphs with perfect matchings.
problem Developing a stable homotopy type for planar trivalent graphs with perfect matchings.
method Defining a cover functor from the 2-factor flow category to the cube flow category, realizing the 2-factor spectrum, and showing it's an invariant.
result The stable homotopy type of the 2-factor spectrum is an invariant of planar trivalent graphs with perfect matchings.
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…
Study of embedding spaces using homotopy theory and operads.
problem Understanding the stable homotopy type of embedding spaces.
method Analysis of cubes of framed configuration spaces, homotopy theory of presheaves, operadic structures.
result Induced action of the Poisson operad on the homology of configuration spaces is a homotopy invariant.
New algorithm calculates Steenrod squares in Khovanov cohomology.
problem Computing Steenrod squares in Khovanov cohomology.
method Flow category simplification techniques to calculate second Steenrod square and Bockstein homomorphisms.
result Observation of new homotopy types and evidence against CP2 summands. The paper constructs multiple manifolds with similar properties.
problem Finding multiple distinct manifolds with stable diffeomorphism.
method Constructing n pairwise homotopically inequivalent manifolds. result Each constructed manifold is stably diffeomorphic to one another.
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 invariant for 4-manifolds with framed links, stronger than existing invariants.
problem Distinguishing 4-manifolds with framed links.
method Introducing a new invariant called KLS lasagna homotopy type.
result The new invariant is stronger than existing invariants.
Given a link diagram L we construct spectra X^j(L) so that the Khovanov homology Kh^{i,j}(L) is isomorphic to the (reduced) singular cohomology H^i(X^j(L)). The construction of X^j(L) is combinatorial and explicit. We prove that the homotopy type of X^j(L) depends only on the isotopy class of the corresponding link.
Study the topology of stable vector fields and Lyapunov functions on R^n.
problem Topology of stable vector fields and Lyapunov functions on R^n.
method Differential topology, Lyapunov theory, and results on diffeomorphism groups of discs.
result Path-connected and simply connected spaces of stable vector fields for n≠4,5 and weakly contractible for n≤3.
Classifies non-linear Fredholm maps linking to stable homotopy groups of spheres.
problem Classifying non-linear proper Fredholm maps between Hilbert spaces.
method Using stable homotopy groups of spheres to classify maps up to proper homotopy.
result Determines the non-trivial kernel of the map from stable homotopy groups to non-linear proper Fredholm maps.
We prove a nearly optimal bound on the number of stable homotopy types occurring in a k-parameter semi-algebraic family of sets in Rℓ, each defined in terms of m quadratic inequalities. Our bound is exponential in k and m, but polynomial in ℓ. More precisely, we prove the following. Let R be a real close…
Computes homology of an obstruction chain complex in grid homology.
problem Computing the homology of an obstruction chain complex in grid homology.
method Defined and computed the homology of the obstruction chain complex of the full grid.
result Results about the existence of sign assignments in grid homology.
Refines Khovanov homology using stable homotopy theory.
problem Khovanov homology needs refinement.
method Stable homotopy refinement approach.
result Stable homotopy refinement of Khovanov homology constructed.
Using Furuta's idea of finite dimensional approximation in Seiberg-Witten theory, we refine Seiberg-Witten Floer homology to obtain an invariant of homology 3-spheres which lives in the S^1-equivariant graded suspension category. In particular, this gives a construction of Seiberg-Witten Floer homology that avoids the …
Spatial refinement of Bar-Natan homology constructed.
problem Link invariants and their homotopy types.
method CW-spectrum construction and stable homotopy type.
result Stable homotopy type of constructed CW-spectrum is a link invariant.
Proves stable properties of proper maps between manifolds.
problem Stability of homotopy classes of proper maps and Pontryagin-Thom construction.
method Explicit construction and proof of bijection in a stable range.
result Stabilization of homotopy classes of proper maps and Pontryagin-Thom type bijection.
Study constraints on diffeomorphisms and homeomorphisms of 4-manifolds with boundary.
problem Constraints on smooth families of 4-manifolds with boundary.
method Use Manolescu's Seiberg-Witten Floer stable homotopy type.
result Inclusion map between diffeomorphisms and homeomorphisms is not a weak homotopy equivalence.
Study determines scalar curvature invariants for 3-spheres embedded in 4-manifolds.
problem Positive scalar curvature metrics on specific 4-manifolds.
method Relative Bauer-Furuta-type invariant on periodic-end 4-manifolds.
result Obstructions to positive scalar curvature metrics on rational homology S1imesS3. Study stable equivalence relations on 4-manifolds, proving homotopy equivalent manifolds with abelian fundamental group are stably diffeomorphic.
problem Classifying stable equivalence relations on 4-manifolds.
method Combination of modified and classical surgery, focusing on homotopy equivalence up to stabilisation.
result Closed oriented homotopy equivalent 4-manifolds with abelian fundamental group are stably diffeomorphic.
Study calculates homotopy groups and derivatives for disc diffeomorphisms.
problem Understanding the homotopy groups of diffeomorphisms of discs.
method Computes rational homotopy groups and uses Weiss' orthogonal calculus.
result Determines optimal rational concordance stable range for high-dimensional discs.
Computes Steenrod squares on Khovanov homology for knots up to 11 crossings.
problem Computing Steenrod squares on Khovanov homology.
method Spatial refinements of even and odd Khovanov homology, computation of Sq^2.
result Steenrod squares Sq^2 on Khovanov homology spaces are determined for knots up to 11 crossings.
Given a semisimple, compact, connected Lie group G with complexification G^c, we show there is a stable range in the homotopy type of the universal moduli space of flat connections on a principal G-bundle on a closed Riemann surface, and equivalently, the universal moduli space of semistable holomorphic G^c-bundles. Th…
The paper establishes a new pseudoisotopy result for embedding spaces, leading to computations of homotopy groups of long knots.
problem Computing homotopy groups of spaces of long knots in high codimension.
method Using pseudoisotopy results and algebraic K-theory, the paper describes the difference in homotopy types of block and ordinary embeddings of a codimension at least three embedding.
result The homotopy type of spaces of long knots of codimension at least 3 is determined explicitly, including torsion information.
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 …
Refines quantum annular homology using stable homotopy methods.
problem Quantum annular homology lacks a stable homotopy refinement.
method Equivariant Burnside category approach, cyclic group action.
result Stable homotopy refinement of quantum annular homology constructed.
New infinite family of 4-manifolds with same stable properties but not homotopy equivalent.
problem Finding infinite homotopy stable classes of 4-manifolds with boundary.
method Construction of an infinite family of topological 4-manifolds with specific properties.
result Infinite family of 4-manifolds that are stably homeomorphic but not homotopy equivalent.
Researchers find a Steenrod square for link Floer homology.
problem Computing the second Steenrod square for link Floer homology.
method Explicitly framing moduli spaces and constructing a framed 1-flow category.
result An algorithm for computing the second Steenrod square for all grid homology versions.
Study investigates metrics on manifolds with stable curvature conditions.
problem Investigating the space of Riemannian metrics with surgery stable curvature conditions.
method Utilized surgery stability condition and Gromov-Lawson construction.
result Homotopy type of the space of metrics is invariant under surgeries.
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.
problem Computing stable stems in dimensions 0, 1, and 2.
method Introduction of homotopy theory concepts, framed cobordism, and Pontryagin-Thom construction.
result Corrects the result of \(\pi_2^S\) from \cite{Pont2} and computes stable stems in dimensions 0, 1, and 2.