Related papers: Remarks on pointed digital homotopy
For each positive integer Q there exists a path connected metric compactum X such that the Qth-homotopy group of X is compactly generated but not a topological group (with the quotient topology).
We algorithmically compute integral Eilenberg-MacLane homology of all semigroups of order at most $8$ and present some particular semigroups with notable classifying spaces, refuting conjectures of Nico. Along the way, we give an…
Steenrod homotopy theory is a framework for doing algebraic topology on general spaces in terms of algebraic topology of polyhedra; from another viewpoint, it studies the topology of the lim^1 functor (for inverse sequences of groups). This…
We show that ||u*u - v*v|| \leq ||u - v|| for partial isometries u and v. There is a stronger inequality if both u and v are extreme points of the unit ball of a C*-algebra, and both inequalities are sharp. If u and v are partial isometries…
Let $M, N$ the be smooth manifolds, $\mathcal{C}^{r}(M,N)$ the space of ${C}^{r}$ maps endowed with weak $C^{r}$ Whitney topology, and $\mathcal{B} \subset \mathcal{C}^{r}(M,N)$ an open subset. It is proved that for $0\leq r<s\leq\infty$…
We consider \'etale Hausdorff groupoids in which the interior of the isotropy is abelian. We prove that the norms of the images under regular representations, of elements of the reduced groupoid $C^*$-algebra whose supports are contained in…
This paper contributes to the characterization of a certain class of commutative Hopf algebroids. It is shown that a commutative flat Hopf algebroid with a non zero base ring and a nonempty character groupoid is geometrically transitive if…
This paper proves that the two homotopy theories for orbispaces given by Gepner and Henriques and by Schwede, respectively, agree by providing a zig-zag of Dwyer-Kan equivalences between the respective topologically enriched index…
This paper presents a discrete homotopy theory and a discrete homology theory for finite posets. In particular, the discrete and classical homotopy groups of finite posets are always isomorphic. Moreover, this discrete homology theory is…
Over 50 years ago, Lov\'{a}sz proved that two graphs are isomorphic if and only if they admit the same number of homomorphisms from any graph [Acta Math. Hungar. 18 (1967), pp. 321--328]. In this work we prove that two graphs are quantum…
We construct a space $\mathbb{P}$ for which the canonical homomorphism $\pi_1(\mathbb{P},p) \rightarrow \check{\pi}_1(\mathbb{P},p)$ from the fundamental group to the first \v{C}ech homotopy group is not injective, although it has all of…
We continue the work of [5] and [3], in which are considered papers in the literature that discuss fixed point assertions in digital topology. We discuss published assertions that are incorrect or incorrectly proven; that are severely…
In this paper, we are interested in short homologically and homotopically independent loops based at the same point on Riemannian surfaces and metric graphs. First, we show that for every closed Riemannian surface of genus $g \geq 2$ and…
A family of algebras, which we call topological conjugacy algebras, is associated with each proper continuous map on a locally compact Hausdorff space. Assume that $\eta_i:\X_i\to \X_i$ is a continuous proper map on a locally compact…
Symbolic dynamics is partly the study of walks in a directed graph. By a walk, here we mean a morphism to the graph from the Cayley graph of the monoid of non-negative integers. Sets of these walks are also important in other areas, such as…
We are presenting proofs of fundamental results related to homotopy idempotents, proofs that are sufficiently simple so that even the author can understand them. The first one is that homotopy idempotents in the category of pointed…
The celebrated holographic entanglement entropy triggered investigations on the connections between quantum information theory and quantum gravity. An important achievement is that we have gained more insights into the quantum states. It…
For any tangle $T$ (up to isotopy) and integer $k\geq 1$ we construct a group $F(T)$ (up to isomorphism). It is the fundamental group of the configuration space of $k$ points in a horizontal plane avoiding the tangle, provided the tangle is…
A homotopy analogue of the notion of a triangular Lie bialgebra is proposed with a goal of extending the basic notions of theory of quantum groups to the context of homotopy algebras and, in particular, introducing a homotopical…
This paper continues a series discussing flaws in published assertions concerning fixed points in digital images.