Study on topological complexity and homotopy cofiber for non-orientable surfaces.
problem Understanding topological properties of non-orientable surfaces.
method Analysis of Lusternik-Schnirelmann category and topological complexity.
result Topological complexity of non-orientable surfaces of genus >3 is four.
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…
New method computes first Vassiliev derivative of Khovanov homology.
problem Computing Vassiliev derivatives of Khovanov homology.
method Developed a crux complex to compute the first derivative.
result Direct computation of the first derivative of Khovanov homology.
Novel cohomology theories for operadic algebras and spaces.
problem Formulating cohomology theories for operadic algebras.
method Using cotangent complex formalism and spectral Hochschild cohomology.
result Controlled cohomologies of operads and their algebras.
The paper introduces knot invariants using stratified homotopy groups.
problem Defining knot invariants in stratified spaces.
method Introducing stratified homotopy groups and proving their properties.
result Stratified Whitehead's theorem holds for these groups.
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…
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.
Study on coarse homotopy groups, proving equivalence and matching with usual homotopy groups.
problem Understanding coarse homotopy groups in abstract coarse structures.
method Developed geometric triangulation techniques for cones to prove the equivalence and matching of coarse homotopy groups with usual homotopy groups.
result Coarse homotopy groups of the cone of a compact simplicial complex coincide with the usual homotopy groups of the underlying compact simplicial complex.
Classifies colored links and spatial graphs up to colored link-homotopy.
problem Classifying colored links and spatial graphs up to colored link-homotopy.
method Using Habegger-Lin theory for colored string links, and extending to colored links and spatial graphs.
result Classification of colored links and spatial graphs up to colored link-homotopy.
Paper proves homotopy braid group properties over integers and three strands.
problem Understanding homotopy braid group properties.
method Proved linearity over integers and torsion freeness for three strands.
result Homotopy braid group on three strands is torsion free.
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.
V. Turaev introduced the theory of topology of words and phrases in 2005. This is a combinatorialy extension of the theory of virtual knots and links. In this paper we generalize the notion of homotopy of words and phrases and we give geometric meanings of the generalized homotopy of words. Moreover using the generaliz…
The study shows how stabilizing manifolds with projective spaces affects their homotopy structure.
problem Understanding the homotopy of manifolds stabilized by projective spaces.
method Trace the effect of surgery on product manifolds, showing a loop homotopy decomposition after localization.
result A loop homotopy decomposition of a manifold after stabilization by a projective space is provided.
New shadow homotopy invariant defined for links.
problem Homotopy invariants for classical links.
method Defined extended quandle spaces and constructed shadow homotopy invariant.
result Shadow homotopy invariant equals quandle homotopy invariant times quandle order.
New polynomials detect non-rotatable knotoid shapes.
problem Detecting non-rotatable knotoid shapes.
method Defined homotopy index polynomials for knotoids.
result Homotopy polynomials detect non-rotatable spherical knotoids.
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.
Edge-homotopy and vertex-homotopy are equivalence relations on spatial graphs which are generalizations of Milnor's link-homotopy. We introduce some edge (resp. vertex)-homotopy invariants of spatial graphs by applying the Sato-Levine invariant for the 2-component constituent algebraically split links and show examples…
Two approaches study the homotopy of blow ups in algebraic and symplectic geometry.
problem Investigate the homotopy of blow ups in algebraic and symplectic geometry.
method Develops fibrewise surgery theory and a purely homotopy theoretic approach.
result Obtained homotopy decompositions of the based loop space on blow ups.
Characterizes compact complex surfaces with finite homotopy rank-sum.
problem Compact complex surfaces with finite homotopy rank-sum.
method Characterization and proof of Steinness of universal cover.
result Smooth compact complex Kaehler surfaces with finite homotopy rank-sum.
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.
We explore homotopies in quantum field theory formalism.
problem Constructing homotopies in Batalin-Vilkovisky formalism.
method Review and construction of homotopies from renormalization group flow and gauge fixing changes.
result Constructing spans of quantum master actions with isomorphic effective actions using homotopies.
Characterizes Stein surfaces with finite homotopy rank-sum.
problem Finite homotopy rank-sum in Stein spaces.
method Rational homotopy theory, classification of Stein surfaces.
result Affine Stein surfaces with finite fundamental group are either simply connected or of order 2.
The paper studies homotopy inertia groups and tangential structures of manifolds.
problem Understanding the homotopy inertia groups and tangential structures of manifolds.
method Analyzing the homotopy type and cohomology of manifolds to determine homotopy inertia groups and tangential structures.
result The homotopy inertia groups of certain manifolds are shown to be trivial under specific conditions.
Introduces homotopy momentum sections on multisymplectic manifolds.
problem No specific problem stated; focuses on introducing a new concept.
method Introduces a new concept of homotopy momentum sections on multisymplectic manifolds.
result Shows that a gauged nonlinear sigma model with Wess-Zumino term has homotopy momentum section structure.
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.
New invariants for handlebody-links using Milnor's invariants.
problem Classifying HL-homotopy classes of handlebody-links.
method Constructing invariants using Milnor's link-homotopy invariants.
result A bijection between HL-homotopy classes and tensor product space.
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.
Simplified proofs for splitting homotopy idempotents.
problem Understanding the splitting of homotopy idempotents.
method Simplified proofs for both pointed and unpointed cases.
result Homotopy idempotents split in specific categories.
Quasi-holomorphic homotopies of immersions of 3-manifolds into 5-manifolds
problem The study of homotopies of immersions of 3-manifolds into 5-manifolds
method Describing the local form of quasi-holomorphic homotopies and connections with holomorphic map germs
result A complete description of how the fundamental group of the complement of the image of an immersion changes under a quasi-holomorphic homotopy
This paper describes a method to construct standard 4-balls from homotopy 4-balls in C2.
problem The problem is whether every homotopy 4-ball in S4 is standard. method The approach is to use Stein surfaces and pseudoconvex domains to construct a diffeomorphic domain that is the union of three pseudoconvex domains, ensuring it is a standard 4-ball.
result The construction method ensures that the domain is a standard 4-ball, providing a compelling reimbedding construction for homotopy 4-balls in C2. Link homotopy has been an active area of research for knot theorists since its introduction by Milnor in the 1950s. We introduce a new equivalence relation on spatial graphs called component homotopy, which reduces to link homotopy in the classical case. Unlike previous attempts at generalizing link homotopy to spatial…
The paper classifies links up to link-homotopy using claspers.
problem Classifying links up to link-homotopy.
method Using Habiro's clasper calculus, defining a linear representation of the homotopy braid group, and providing a geometric proof.
result Geometric proof of Levine's classification of 4-component links and further classification of 5-component links in the algebraically split case.
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.
Edge-homotopy and vertex-homotopy are equivalence relations on spatial graphs which are generalizations of Milnor's link-homotopy. Fleming and the author introduced some edge (resp. vertex)-homotopy invariants of spatial graphs by applying the Sato-Levine invariant for the constituent 2-component algebraically split li…
Surveying A1-homotopy theory and contractible varieties.
problem Understanding the relationship between A1-homotopy theory and contractible varieties. method Exploring the interplay between A1-homotopy theory and affine algebraic geometry. result Highlighting the connection between A1-homotopy theory and contractible varieties. New homotopy 4-spheres and real projective 4-spaces created.
problem Creating new homotopy 4-spheres and real projective 4-spaces.
method Extending Cappell-Shaneson's construction to produce new sets of smooth 4-manifolds.
result Produces new collections of homotopy 4-spheres and real projective 4-spaces.
This paper improves bounds on how many Delta-moves are needed to trivialize a link.
problem Counting the minimum number of Delta-moves to make a link homotopy trivial.
method Classification of link homotopy and extremal graph theory.
result Quadratic and cubic upper bounds on the homotopy trivializing numbers of links.
The paper proves conditions for converting homotopies to monotone homotopies in Riemannian discs and spheres.
problem Conditions for converting homotopies to monotone homotopies in Riemannian discs and spheres.
method Analyzing the boundary of Riemannian discs and spheres to determine if they can be contracted monotonously.
result A monotone homotopy can be constructed for a Riemannian disc and sphere under certain length constraints.
Almost complex structures found on many homotopy complex projective spaces.
problem Finding almost complex structures on homotopy complex projective spaces.
method New proof using Chern classes and homotopy properties.
result Classification of almost complex structures on homotopy CPn for 3≤n≤6. This paper refines homotopy theory for cubical sets and uniform spaces.
problem Classical homotopy theory limitations in cubical sets and uniform spaces.
method Develops a uniform-theoretic refinement for cubical sets and uniform spaces, lifting to a full and faithful embedding.
result Lifts classical homotopy categories to new uniform homotopy categories, generalizing cohomology theories.
Standard S4 proved to be diffeomorphic to a curious homotopy sphere.
problem Determining the diffeomorphism of a curious homotopy sphere to the standard S4. method Proof based on properties of homotopy spheres and loose corks.
result The curious homotopy sphere is diffeomorphic to the standard S4. Injective map proven in knot Floer homology for strong homotopy-ribbon concordances.
problem Injectivity of knot Floer homology maps under strong homotopy-ribbon concordances.
method Knot Floer homology and properties of strongly homotopy-ribbon concordances.
result Injective map proven in knot Floer homology for strong homotopy-ribbon concordances.
Proves loop coproduct invariance under simple homotopy equivalences.
problem Invariance of loop coproduct under simple homotopy equivalences.
method Transformation formula involving Whitehead torsion.
result Loop coproduct is invariant under simple homotopy equivalences.
Affirms link homotopy invariant definition and adapts Schneiderman-Teichner's invariant.
problem Defining and adapting link homotopy invariants.
method Adapting Schneiderman-Teichner's invariant to link maps and affirming Li's invariant.
result Adapted invariant τ coincides with Li's invariant ω. 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…
Homotopy equivalence of cotangent bundles' function algebras is shown.
problem Understanding homotopy equivalence in cotangent bundles and their function algebras.
method Using shifted Poisson algebras and homotopy equivalence of bundles.
result Homotopy equivalent bundles have equivalent Poisson algebras.
Study connects Morin singularities to sphere homotopy groups.
problem Computing stable homotopy groups of spheres.
method Apply Morin singularities to sphere homotopy groups.
result Differentials in spectral sequence linked to sphere homotopy groups.
Classifies compact spaces by shape, finite spaces by weak homotopy.
problem Classifying compact Hausdorff spaces and finite topological spaces.
method Constructs a category that classifies spaces by shape and weak homotopy.
result Classifies compact spaces by shape, finite spaces by weak homotopy.