ﻻ يوجد ملخص باللغة العربية
In arXiv:1711.10132 a new approximating invariant ${mathsf{TC}}^{mathcal{D}}$ for topological complexity was introduced called $mathcal{D}$-topological complexity. In this paper, we explore more fully the properties of ${mathsf{TC}}^{mathcal{D}}$ and the connections between ${mathsf{TC}}^{mathcal{D}}$ and invariants of Lusternik-Schnirelmann type. We also introduce a new $mathsf{TC}$-type invariant $widetilde{mathsf{TC}}$ that can be used to give an upper bound for $mathsf{TC}$, $$mathsf{TC}(X)le {mathsf{TC}}^{mathcal{D}}(X) + leftlceil frac{2dim X -k}{k+1}rightrceil,$$ where $X$ is a finite dimensional simplicial complex with $k$-connected universal cover $tilde X$. The above inequality is a refinement of an estimate given by Dranishnikov.
The third author noticed in his 1992 PhD Thesis [Sim92] that every regular tree language of infinite trees is in a class $Game (D_n({bfSigma}^0_2))$ for some natural number $ngeq 1$, where $Game$ is the game quantifier. We first give a detailed expos
We prove that a locally compact space with an upper curvature bound is a topological manifold if and only if all of its spaces of directions are homotopy equivalent and not contractible. We discuss applications to homology manifolds, limits of Riemannian manifolds and deduce a sphere theorem.
Let $mathrm{TC}_r(X)$ denote the $r$-th topological complexity of a space $X$. In many cases, the generating function $sum_{rge 1}mathrm{TC}_{r+1}(X)x^r$ is a rational function $frac{P(x)}{(1-x)^2}$ where $P(x)$ is a polynomial with $P(1)=mathrm{cat}
We define and develop a homotopy invariant notion for the topological complexity of a map $f:X to Y$, denoted TC($f$), that interacts with TC($X$) and TC($Y$) in the same way cat($f$) interacts with cat($X$) and cat($Y$). Furthermore, TC($f$) and cat
We prove the formula $TC(Gast H)=max{TC(G), TC(H), cd(Gtimes H)}$ for the topological complexity of the free product of discrete groups with cohomological dimension >2.