Related papers: Homotopy relations for digital images
In this short note we answer some questions of Bergman regarding homomorphic images of (ultra)products of groups.
The following questions are germane to our understanding of gauge-(in)variant quantities and physical possibility: how are gauge transformations and spacetime diffeomorphisms understood as symmetries, in which ways are they similar, and in…
In quantum geometry, we consider a set of loops, a compact orientable surface and a solid compact spatial region, all inside $\mathbb{R} \times \mathbb{R}^3 \equiv \mathbb{R}^4$, which forms a triple. We want to define an ambient isotopic…
In this paper, we generalize the equivariant homotopy groups or equivalently the Rhodes groups. We establish a short exact sequence relating the generalized Rhodes groups and the generalized Fox homotopy groups and we introduce…
We show that if the fundamental groups of the complements of two line arrangements in the complex projective plane are isomorphic to the same direct sum of free groups, then the complements of the arrangements are homotopy equivalent. For…
We consider the notion of cosmological symmetry, i.e., spatial homogeneity and isotropy, in the field of teleparallel gravity and geometry, and provide a complete classification of all homogeneous and isotropic teleparallel geometries. We…
We show that every homomorphism from the infinite-dimensional unitary or orthogonal group to a separable group is continuous.
We establish the hierarchy among twelve equivalence relations (similarities) on the class of relational structures: the equality, the isomorphism, the equimorphism, the full relation, four similarities of structures induced by similarities…
The paper presents a new set of axioms of digital topology, which are easily understandable for application developers. They define a class of locally finite (LF) topological spaces. An important property of LF spaces satisfying the axioms…
In the framework of digital topology, we study structural and topological properties of digital n-dimensional manifolds. We introduce the notion of simple connectedness of a digital space and prove that if M and N are homotopy equivalent…
We consider the connected sum of two three-dimensional lens spaces $L_1\#L_2$, where $L_1$ and $L_2$ are non-diffeomorphic and are of a certain "generic" type. Our main result is the calculation of the cohomology ring…
We discuss the homological algebra of representation theory of finite dimensional algebras and finite groups. We present various methods for the construction and the study of equivalences of derived categories: local group theory, geometry…
In this article, we introduce a new object, a virtual quadratic space, and its group of isometries. They are presented as natural generalizations of quadratic spaces and orthogonal groups. It is then shown that by replacing quadratic spaces…
We consider various $A_{\infty}$-algebras of differential (super)forms, which are related to gauge theories and demonstrate explicitly how certain reformulations of gauge theories lead to the transfer of the corresponding…
We define the orbit morphism of partial dynamical systems and prove that an orbit morphism being an isomorphism in the category of partial dynamical systems and orbit morphisms is equivalent to the existence of a continuous orbit…
For a fixed integer $d\geq 1$, we show that two quasitoric manifolds over a product of $d$-simplices are homotopy equivalent after appropriate localization, provided that their integral cohomology rings are isomorphic.
End-periodic homotopy equivalences of infinite, locally finite graphs serve as dimension-one analogs of the end-periodic automorphisms traditionally defined on infinite-type surfaces. We demonstrate that if $\Gamma$ is an infinite graph…
Motivated by the recent work of Algom-Kfir and Bestinva introducing the mapping class group of an infinite graph via proper homotopy equivalences, we give a necessary and sufficient condition for a surface to be properly homotopy equivalent…
Given a commutative ring $R$ and finitely generated ideal $I$, one can consider the classes of $I$-adically complete, $L_0^I$-complete and derived $I$-complete complexes. Under a mild assumption on the ideal $I$ called weak pro-regularity,…
We introduce notions of continuous orbit equivalence and strong (respective, weak) continuous orbit equivalence for automorphism systems of \'{e}tale equivalence relations, and characterize them in terms of the semi-direct product…