Related papers: Classification of Engel Knots
In this text we expose basic cases of some fundamental ideas and methods of topology. Namely, of homotopy, degree, fundamental group, covering, Whitehead invariant, etc. This is done by considering the elementary example: closed polygonal…
We present two models for the space of knots which have endpoints at fixed boundary points in a manifold with boundary, one model defined as an inverse limit of spaces of maps between configuration spaces and another which is cosimplicial.…
We construct a family of rings. To a plane diagram of a tangle we associate a complex of bimodules over these rings. Chain homotopy equivalence class of this complex is an invariant of the tangle. On the level of Grothendieck groups this…
We construct a category that classifies compact Hausdorff spaces by their shape and finite topological spaces by their weak homotopy type.
We exhibit the first examples of links which are homologically thin but not quasi-alternating. To show that they are not quasi-alternating, we argue that none of their branched double-covers bounds a negative definite 4-manifold with…
We reformulate entanglement wedge reconstruction in the language of operator-algebra quantum error correction with infinite-dimensional physical and code Hilbert spaces. Von Neumann algebras are used to characterize observables in a…
Let $R$ be a ring with Gwgldim$(R)<\infty$. We obtain a triangle-equivalence $\mathrm{K}(R\text{-}\mathrm{GProj})\simeq \mathrm{K}(R\text{-}\mathrm{GInj})$ which restricts to a triangle-equivalence $\mathrm{K}(R\text{-}\mathrm{Proj})$…
Gerbes are locally connected presheaves of groupoids. They are classified up to local weak equivalence by path components in a 2-cocycle category taking values in all sheaves of groups, their isomorphisms and homotopies. If F is a full…
We give a new description of Rosenthal's generalized homotopy fixed point spaces as homotopy limits over the orbit category. This is achieved using a simple categorical model for classifying spaces with respect to families of subgroups.
We demonstrate that the proper homotopy equivalence relation for locally finite graphs is Borel complete. Furthermore, among the infinite graphs, there is a comeager equivalence class. As corollaries, we obtain the analogous results for the…
A knot projection is an image of a generic immersion from a circle into a two-dimensional sphere. We can find homotopies between any two knot projections by local replacements of knot projections of three types, called Reidemeister moves.…
This article presents a simple characterization for entangled vectors in a finite dimensional Hilbert space $H$. The characterization is in terms of the coefficients of an expansion of the vector relative to an orthonormal basis for $H$.…
It is an old conjecture, that finite $H$-spaces are homotopy equivalent to manifolds. Here we prove that this conjecture is true for loop spaces. Actually, we show that every quasi finite loop space is equivalent to a stably parallelizable…
In this short work we prove that the Hilbert Grassmannians endowed with the weak topology are models for the classifying spaces of the unitary groups. As application of this result one can use Hilbert Grassmannians for the presentation of…
Given pointed cellular spaces $X$ and $Y$, $X$ compact, and an integer $r\ge0$, we define a relation $\overset r\approx$ on $[X,Y]$ and argue for the conjecture that it always coincides with the $r$-similarity $\overset r\sim$.
For any $n\geq k\geq l\in\mathbb{N},$ let $S(n,k,l)$ be the set of all those non-negative definite matrices $a\in M_{n}(\mathbb{C})$ with $l\leq\text{rank }a\leq k$. Motivated by applications to $C^{*}$-algebra theory, we investigate the…
A cardinal is weakly Reinhardt if it is the critical point of an elementary embedding from the universe of sets into a model that contains the double powerset of every ordinal. This note establishes the equiconsistency of a proper class of…
We consider a gravity theory coupled to matter, where the matter has a higher-dimensional holographic dual. In such a theory, finding quantum extremal surfaces becomes equivalent to finding the RT/HRT surfaces in the higher-dimensional…
We say that an element $g$ of a group $G$ is almost right Engel if there is a finite set ${\mathscr R}(g)$ such that for every $x\in G$ all sufficiently long commutators $[...[[g,x],x],\dots ,x]$ belong to ${\mathscr R}(g)$, that is, for…
In the present paper we show a dichotomy theorem for the complexity of polynomial evaluation. We associate to each graph H a polynomial that encodes all graphs of a fixed size homomorphic to H. We show that this family is computable by…