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…
Study rational homotopy types of embedding spaces of manifolds.
problem Understanding the rational homotopy types of embedding spaces of manifolds.
method Express rational homotopy types through combinatorially defined L-infinity algebras of diagrams.
result Expressed the rational homotopy type of connected components of embedding spaces.
Study shows equivariant Khovanov homotopy types are equivalent.
problem Understanding equivariant structures in Khovanov homotopy types.
method Investigates group actions on homotopy coherent diagrams to prove equivalence.
result Equivariant Khovanov homotopy types are equivariantly stably homotopy equivalent.
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.
4-manifolds with specific groups have unique homotopy types.
problem Classifying 4-manifolds with finite abelian 2-generator fundamental groups.
method Showed homotopy type is determined by quadratic 2-type.
result Homotopy type of 4-manifolds is determined by their quadratic 2-type.
We compute the homotopy type of the space of proper d-dimensional submanifolds of Rn with a smooth version of the Fell topology. Our methods allow us to compute the homotopy type of the space of submanifolds with summable labels too, and to give a new proof of the Galatius--Randal-Williams theorem on the h…
Study determines homotopy types of specific 6-manifolds.
problem Identify homotopy types of triple suspended 6-manifolds.
method Assumes trivial action of certain cohomology operation and uses triple suspension.
result Determines homotopy types of triple suspended 6-manifolds.
Bar-Natan used Chinese characters to show that finite type invariants classify string links up to homotopy. In this paper, I construct the correct spaces of chord diagrams and Chinese characters for links up to homotopy. I use these spaces to show that the only rational finite type invariants of link homotopy are the p…
Paper calculates homotopy types of non-compact surfaces using groupoids.
problem Computing homotopy types of non-compact foliated surfaces.
method Application of van Kampen theorem for groupoids.
result Computation of homotopy types for specific non-compact surfaces.
Homotopy types of 4-manifolds tied to their fundamental groups.
problem Determining the homotopy type of 4-manifolds based on their fundamental groups.
method Uses the fundamental group, second homotopy group, first Stiefel-Whitney class, and equivariant intersection pairing.
result Homotopy type of 4-manifolds is determined by given group properties.
The paper defines a new equivalence relation for knot projections and finds an infinite number of distinct classes.
problem Classifying knot projections based on weak homotopy equivalence.
method Defining weak (1, 2, 3) homotopy and using it to find an invariant.
result There are an infinite number of weak (1, 2, 3) homotopy equivalence classes of knot projections.
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.
Homotopy commutativity in quasitoric manifolds depends on polytope structure and characteristic matrix type.
problem Conditions for homotopy commutativity in quasitoric manifolds.
method Analyzing characteristic matrices and polytope structures.
result Homotopy commutativity is determined by specific polytope and matrix conditions.
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.
We prove that if M is a CW-complex, then the homotopy type of the skeletal filtration of M does not depend on the cell decomposition of M up to wedge products with n-disks Dn, when the later are given their natural CW-decomposition with unique cells of order 0, (n−1) and n; a result resembling J.H.C. Whi…
New examples of manifolds that are homotopy but not simple homotopy equivalent.
problem Characterizing simple homotopy types of even dimensional manifolds.
method Using algebraic K-theory, surgery obstruction map, and homotopy automorphisms.
result Construction of infinite families of manifolds that are homotopy equivalent but not simple homotopy equivalent.
Proves PL cobordism category's homotopy type, analogous to smooth case.
problem Describes the homotopy type of PL cobordism category.
method Introduces PL Madsen-Tillmann spectrum and proves weak equivalence.
result Weak homotopy equivalence between PL cobordism category and Ω^∞-1 MTPL(d).
Let p be a fibration over a finite simplicial complex, whose fibers have the homotopy type of finite simplicial complexes. Then p is equivalent to an approximate fibration whose total space is a compact ENR. The proof uses homotopy coherent diagrams and their homotopy colimits. We also comment on the simple homotopy ty…
We show that the spectrum constructed by Everitt and Turner as a possible Khovanov homotopy type is a product of Eilenberg-MacLane spaces and is thus determined by Khovanov homology. By using the Dold-Thom functor it can therefore be obtained from the Khovanov homotopy type constructed by Lipshitz and Sarkar.
We define a notion of finite type invariants for links with a fixed linking matrix. We show that Milnor's triple link homotopy invariant is a finite type invariant, of type 1, in this sense. We also generalize the approach to Milnor's higher order homotopy invariants and show that they are also, in a sense, of finite t…
We study the homotopy types of complements of arrangements of n transverse planes in R^4, obtaining a complete classification for n <= 6, and lower bounds for the number of homotopy types in general. Furthermore, we show that the homotopy type of a 2-arrangement in R^4 is not determined by the cohomology ring, thereby …
Homotopy types of curve and arc complexes are studied.
problem Understanding the homotopy types of curve and arc complexes.
method Proving homotopy equivalence and contractibility of complexes.
result Fine curve complex is homotopy equivalent to curve complex, fine arc complex is contractible.
Study homotopy types of 4-manifolds, finding decompositions and conditions for desuspension.
problem Determine homotopy types of double suspensions of 4-manifolds with 2-torsion.
method Use Postnikov square and analyze homology groups to find decompositions and conditions for desuspension.
result Homotopy decompositions of double suspensions as wedge sums of specific complexes.
Computes homotopy types of embedding spaces in tight contact 3-manifolds.
problem Understanding the structure of embedding spaces in tight contact 3-manifolds.
method Analyzes convex disks and spheres with Legendrian boundaries, using homotopy equivalence and Thurston-Bennequin invariant.
result Homotopy types of embedding spaces determined for various configurations in tight contact 3-manifolds.
Abstract: Study gyrations of sphere products and connected sums, generalizing Fico's Lemmata.
problem Understanding the homotopy type of gyrations of sphere products and connected sums.
method Recasting Fico's Lemmata into modern homotopy theoretic setting.
result Generalization of Fico's Lemmata to sphere products and connected sums.
We discuss a question by Felix, Oprea, and Tanre concerning nonnegative curvature and (rational) homotopy type.
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 show that for links with at most 5 components, the only finite type homotopy invariants are products of the linking numbers. In contrast, we show that for links with at least 9 components, there must exist finite type homotopy invariants which are not products of the linking numbers. This corrects previous errors of…
Study realizes symplectic algebras and homotopy types on manifolds.
problem Realizing symplectic algebras and homotopy types on manifolds.
method Addressing questions on realizability of symplectic algebras and rational homotopy types by closed symplectic manifolds.
result Realization of symplectic algebras and homotopy types in various dimensions.
New examples of manifolds with similar homotopy but different simple homotopy types.
problem Characterizing groups for which high-dimensional manifolds can be homotopy equivalent but not simple homotopy equivalent.
method Construction of doubles of thickenings and use of a formula for Whitehead torsion.
result Examples of high-dimensional manifolds exist for any finitely presented group with a nontrivial Whitehead group involution.
Study the space of embeddings of split links in 3D and 4D.
problem Homotopy type of embedding spaces of split links.
method Semi-simplicial space of separating systems, homotopy equivalence.
result Simple description of fundamental group of embedding space.
New findings show infinitely many non-homeomorphic manifolds with same proper homotopy type.
problem Characterizing nonrigidity of open contractible manifolds.
method Construction of infinitely many pairwise nonhomeomorphic smooth open contractible manifolds.
result Existence of infinitely many pairwise nonhomeomorphic smooth open contractible manifolds with same proper homotopy type.
Satellite formula connects knot concordance invariants to surgery.
problem Understanding knot concordance invariants.
method Excision theorem for real Floer homotopy types.
result Concordance invariants depend only on zero-framed surgery.
In this paper, we give a new construction of a Khovanov homotopy type. We show that this construction gives a space stably homotopy equivalent to the Khovanov homotopy types constructed in [LS14a] and [HKK] and, as a corollary, that those two constructions give equivalent spaces. We show that the construction behaves w…
Exotic diffeomorphism survives stabilizations on a contractible 4-manifold.
problem Finding exotic diffeomorphisms on contractible 4-manifolds.
method Developed a Pin(2) × Z_2-equivariant refinement for computing Seiberg-Witten Floer homotopy types.
result Constructed an exotic diffeomorphism that survives two stabilizations.
Study stabilizers of smooth functions on surfaces, focusing on Morse-Bott functions.
problem Understanding the homotopy type of stabilizers of smooth functions on surfaces.
method Analyzing the homotopy properties of stabilizers for a specific class of smooth functions.
result The homotopy type of the connected component of the identity map of the stabilizer is completely described for Morse-Bott functions.
Finite type and finitely generated homotopy groups for manifold automorphisms.
problem Finite type and homotopy group properties of manifold automorphism spaces.
method Analyzing the classifying space of diffeomorphism groups and using simple homotopy theory.
result The classifying space of diffeomorphism groups has finitely generated homotopy groups.
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.
The paper defines when surfaces are homotopy equivalent to graphs and explores their mapping class groups.
problem Understanding when surfaces are homotopy equivalent to graphs.
method Analyzes second-countable orientable surfaces with noncompact boundary.
result Defines a necessary and sufficient condition for surfaces to be homotopy equivalent to graphs.
We show that the Prüfer surface, which is a separable non-metrizable 2-manifold, has not the homotopy type of a CW-complex. This will follow easily from J. H. C. Whitehead's result: if one has a good approximation of an arbitrary space by a CW-complex, which fails to be a homotopy equivalence, then the given space is n…
Paper studies spaces of flattenings of simplicial spheres and their homotopy type.
problem Existence and uniqueness of differentiable structures on simplicial spheres.
method Analyzes spaces of flattenings of simplicial spheres and their homotopy type.
result Spaces of flattenings have the homotopy type of the orthogonal group.
Homotopy theory of differentiable sheaves connects manifold properties to underlying homotopy types.
problem Understanding the homotopy type of manifolds using differentiable sheaves.
method Developed model structures and homotopical calculi on the ∞-category Diff∞ to compute and compare shapes. result The shape of any manifold coincides with various other notions of underlying homotopy types.
Homotopy classification for certain 4-manifolds with dihedral fundamental groups.
problem Classifying the homotopy types of specific 4-manifolds with dihedral fundamental groups.
method Using quadratic 2-type and combining with results from Hambleton-Kreck and Bauer.
result Homotopy types of finite oriented Poincaré 4-complexes are determined by their quadratic 2-type when fundamental group is dihedral.
We explain how to relate the problem of finding a mirror manifold for a Calabi-Yau manifold to the problem of characterizing the rational homotopy types of closed Kähler manifolds.
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…
We define a Khovanov homotopy type for sl2(C) colored links and quantum spin networks and derive some of its basic properties. In the case of n-colored B-adequate links, we show a stabilization of the homotopy types as the coloring n→∞, generalizing the tail behavior of the colored Jones …
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.
Proves a connectivity conjecture for free groups, showing homotopy type of spheres.
problem Establishing a connectivity conjecture for free groups.
method Provided homotopy-equivalent models of the common basis complex using free factors and sphere systems.
result The common basis complex of a free group of rank n has the homotopy type of a wedge of spheres of dimension 2n-3.