Related papers: Data and homotopy types

We give p-local homotopy decompositions of the loop spaces of compact, simply-connected symmetric spaces for quasi-regular primes. The factors are spheres, sphere bundles over spheres, and their loop spaces. As an application, upper bounds…

Methods are developed to relate the action of a principal fibration to relative Whitehead products in order to determine the homotopy type of certain spaces. The methods are applied to thoroughly analyze the homotopy type of the based loops…

We suggest a homotopical description of the Poisson bracket invariants for tuples of closed sets in symplectic manifolds. It implies that these invariants depend only on the union of the sets along with topological data.

This paper presents a classification of the total spaces of $S^3$-bundles over $\mathbb{C}P^2$ up to orientation-preserving homotopy equivalence. Our approach proceeds in two steps: we first derive the PL-homeomorphism classification for…

Topological complexity is a homotopy invariant that measures the minimal number of continuous rules required for motion planning in a space. In this work, we introduce persistent analogs of topological complexity and its cohomological lower…

Hypergraphs are mathematical models for many problems in data sciences. In recent decades, the topological properties of hypergraphs have been studied and various kinds of (co)homologies have been constructed (cf. [3, 4, 12]). In this…

The homotopy group $\pi_{n-k} ({\bf C}^{n+1}-V)$ where $V$ is a hypersurface with a singular locus of dimension $k$ and good behavior at infinity is described using generic pencils. This is analogous to the van Kampen procedure for finding…

In this paper we establish a natural definition of Lusternik-Schnirelmann category for simplicial complexes via the well known notion of contiguity. This category has the property of being homotopy invariant under strong equivalences, and…

This paper is part of a series of papers about homotopy theory of strict $n$-categories. In the first paper of this series, we gave conditions that guarantee the existence of a Thomason model category structure on the category of strict…

Let $X,Y$ be $(n-1)$-connected finite pointed CW-complexes of dimension at most $n+2$, $n\geq 3$. In this paper we give elementary proofs of the abelian group structure of $[X,Y]$ of homotopy classes of based maps from $X$ to $Y$, which was…

We generalize results of Hattori on the topology of complements of hyperplane arrangements, from the class of generic arrangements, to the much broader class of hypersolvable arrangements. We show that the higher homotopy groups of the…

We study the relation of two frameworks for multiplicative homotopy theories: Presentably symmetric monoidal $\infty$-categories and combinatorial symmetric monoidal model categories. Our main theorem establishes an equivalence of their…

We show that the well known {\em homotopy complementation formula} of Bj\"orner and Walker admits several closely related generalizations on different classes of topological posets (lattices). The utility of this technique is demonstrated…

The study of homotopy theoretic phenomena in the language of type theory is sometimes loosely called `synthetic homotopy theory'. Homotopy theory in type theory is only one of the many aspects of homotopy type theory, which also includes…

Partially ordered sets labeled with k labels (k-posets) and their homomorphisms are examined. We give a representation of directed graphs by k-posets; this provides a new proof of the universality of the homomorphism order of k-posets. This…

Persistence diagrams are useful displays that give a summary information regarding the topological features of some phenomenon. Usually, only one persistence diagram is available, and replicated persistence diagrams are needed for…

Using standard calculus, explicit formulas for the one-dimensional continuous and discrete homotopy operators are derived. It is shown that these formulas are equivalent to those in terms of Euler operators obtained from the variational…

We show that discrete and classical homotopy theories are equivalent after localizing at n-equivalences for any non-negative integer n. By constructing an explicit homotopy inverse to the graph nerve functor associating an n-fibrant cubical…

Convergence spaces are a generalization of topological spaces. The category of convergence spaces is well-suited for Algebraic Topology, one of the reasons is the existence of exponential objects provided by continuous convergence. In this…

We study the interplay between the recently defined concept of minimum homotopy area and the classical topic of self-overlapping curves. The latter are plane curves which are the image of the boundary of an immersed disk. Our first…