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.
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.
Study on descent properties of complex affine surfaces under proper morphisms.
problem Understanding descent behavior of homotopy-theoretic properties of smooth affine surfaces.
method Examined Eilenberg-MacLane property and introduced finite homotopy rank-sum property. Proved descent under proper morphisms for surfaces of log Kodaira dimension ≤0.
result Finite homotopy rank-sum property descends under proper morphisms for smooth affine surfaces of log Kodaira dimension ≤0.
New gossip algorithms improve robustness of rank-based statistics in decentralized systems.
problem Ensuring robustness in decentralized AI and edge intelligence systems, especially in the presence of corrupted or adversarial data.
method Developed asynchronous gossip algorithms for computing rank-based statistics.
result First convergence rate bound for asynchronous gossip-based rank estimation.
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.
By considering homotopies that preserve the stratification, one obtains a natural notion of homotopy for stratified spaces. In this short note, we introduce invariants of stratified homotopy, the stratified homotopy groups. We show that they satisify a stratified version of Whitehead's theorem. As an example, we introd…
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 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.
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.
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.
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
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…
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. 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…
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.
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.
In this note on coarse geometry we revisit coarse homotopy. We prove that coarse homotopy indeed is an equivalence relation, and this in the most general context of abstract coarse structures. We introduce (in a geometric way) coarse homotopy groups. The main result is that the coarse homotopy groups of cone of a compa…
In 1993, Fenn, Rourke and Sanderson introduced rack spaces and rack homotopy invariants, and modifications to quandle spaces and quandle homotopy invariants were introduced by Nosaka in 2011. In this paper, we define the Cayley-type graph and the extended quandle space of a quandle in analogy to rack and quandle 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.
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. 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. 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.
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…
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.
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.
The study connects hypergraphs to strong homotopy Lie algebras.
problem Characterizing hypergraphs with a system of distinct representatives.
method Describing a procedure to attach nilpotent strong homotopy Lie algebras to hypergraphs.
result Isomorphic hypergraphs correspond to isomorphic strong homotopy Lie algebras.
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.
Study homotopy groups of spaces of long links and knots, finding new generators.
problem Understanding homotopy groups of spaces of long links and knots.
method Graphing map increases dimensions, split injections from homotopy groups of spheres, and analyzing knotting effects.
result Generators for homotopy groups in a new degree for spaces of equidimensional long links.
A handlebody-link is a disjoint union of embeddings of handlebodies in S3 and an HL-homotopy is an equivalence relation on handlebody-links generated by self-crossing changes. The second author and Ryo Nikkuni classified the set of HL-homotopy classes of 2-component handlebody-links completely using the linking numb…
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 of area minimizing surfaces in homotopy classes of maps.
problem Existence and regularity of area minimizing surfaces in metric spaces.
method Introducing relative 1-homotopy type for Sobolev maps, using local quadratic isoperimetric inequality, and analog for closed surfaces.
result Existence and local Hölder regularity of area minimizing surfaces in proper geodesic metric spaces.
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.
Curved 10-manifolds with torus symmetry are spheres or complex projective spaces.
problem Characterizing positively curved manifolds with torus symmetry.
method Analyzing actions of 3-dimensional tori on closed, simply connected 10-manifolds. result Closed, simply connected, positively curved 10-manifolds with T3-symmetry are homotopy spheres or complex projective spaces. Assume that all spaces and maps are localised at a fixed prime p. We study the possibility of generating a universal space U(X) from a space X which is universal in the category of homotopy associative, homotopy commutative H-spaces in the sense that any map f:X->Y to a homotopy associative, homotopy commutative …
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…
Smooth actions of infinite groups linked to homotopy theory.
problem Connecting infinite-dimensional smooth groups to homotopy theory.
method Two computations: diffeological homotopy groups and localization of a strict category.
result Natural constructions yield homotopically coherent group actions of G.