代数拓扑

We characterize the actions of compact tori on smooth manifolds for which the orbit space is a topological manifold (either closed or with boundary). For closed manifolds the result was originally proved by Styrt in 2009. We give a new…

We prove that the mapping class group is not an $h$-cobordism invariant of high-dimensional manifolds by exhibiting $h$-cobordant manifolds whose mapping class groups have different cardinalities. In order to do so, we introduce a moduli…

For an equivariantly formal action of a compact torus $T$ on a smooth manifold $X$ with isolated fixed points we investigate the global homological properties of the graded poset $S(X)$ of face submanifolds. We prove that the condition of…

In this paper we introduce and study the topology of clique complexes of multigraphs without loops. These clique complexes generalize tournaplexes, which were recently introduced by Govc, Levi, and Smith for the topological study of brain…

Let a compact torus $T=T^{n-1}$ act on an orientable smooth compact manifold $X=X^{2n}$ effectively, with nonempty finite set of fixed points, and suppose that stabilizers of all points are connected. If $H^{odd}(X)=0$ and the weights of…

We prove the formula \begin{equation*} \text{cat}_G(X\vee Y)=\max\{\text{cat}_G(X),\text{cat}_G(Y)\} \end{equation*} for the equivariant category of the wedge $X\vee Y$. As a direct application, we have that the wedge $\bigvee_{i=1}^m X_i$…

In this note we gather and review some facts about existence of toric spaces over 3-dimensional simple polytopes. First, over every combinatorial 3-polytope there exists a quasitoric manifold. Second, there exist combinatorial 3-polytopes,…

For a Hausdorff space $Y$, a topological space $X$ and a map $g:X\to Y$, we present a connection between the relative sectional number of the first coordinate projection $\pi_{2,1}^Y:F(Y,2)\to Y$ with respect to $g$, and the coincidence…

In this article, we expand upon the concepts introduced by David Spivak about the relationship between the category $\mathbf{UM}$ of uber metric spaces and the category $\mathbf{sFuz}$ of fuzzy simplicial sets. We show that fuzzy simplicial…

We introduce the concept of injective category number $\text{IC}(f)$ for a continuous map $f\colon X\to~Y$, and present fundamental results concerning this numerical invariant. The value $\text{IC}(f)$ quantifies the \aspas{complexity} or…

Many structured systems admit locally consistent descriptions that nevertheless fail to globalize when constrained by an ambient reference or feasibility condition. Diagnosing such failures is naturally an evaluative problem: given a fixed…

Using the notion of short natural directed path, we introduce the homotopy branching space of a precubical set. It is unique only up to homotopy equivalence. We prove that, for any precubical set, it is homotopy equivalent to the branching…

Using the notion of short directed path, we introduce the branching space of a multipointed $d$-space. We prove that for any q-cofibrant multipointed $d$-space, it is homeomorphic to the branching space of the q-cofibrant flow obtained by…

We establish a strong, geometric lower bound on the (sequential) topological complexity of the unordered configuration spaces of a general graph. As an application, we show that, for most graphs, the topological complexity eventually…

In this work we provide an explicit cdga that controls the rational homotopy type of the complement $X-\cup_i Z_i$, where $X$ is a smooth compact algebraic variety and $\{Z_i\}$ is a collection of subvarieties such that all set-theoretical…

A central problem in data-driven scientific inquiry is how to interpret structure in noisy, high-dimensional data. Topological data analysis (TDA) provides a solution via persistent homology, which encodes features of interest as…

By the introduction of locally constant prefactorization algebras at a fixed scale, we show a mathematical incarnation of the fact that observables at a given scale of a topological field theory propagate to every scale over euclidean…

We introduce two definitions of $G$-equivariant partitions of a finite $G$-set, both of which yield $G$-equivariant partition complexes. By considering suitable notions of equivariant trees, we show that $G$-equivariant partitions and…

Topological Hochschild homology (THH) is an invariant of ring spectra developed by B\"okstedt. In recent years many equivariant analogues to THH have emerged. One example is twisted THH which is an invariant of $C_n$-equivariant ring…

Let $K$ be a finite simplicial complex, let $g\colon K\to K$ be a simplicial map and let $f$ be a discrete Morse-Bott function on $K$ satisfying $f(g(\sigma))\leq f(\sigma)$ for all simplices $\sigma$ in $K$. We establish a set of…