arXiv subjects
Publications and source records attributed to Anzor Beridze.
In the paper [Ba-Be-Mdz], using the Alexander-Spanier cochains based on the normal coverings, the exact homology theory $\bar{H}^N_*(-,-;G)$, the so called Alexander-Spanier homology theory, is defined. In the paper we will use the method of construction of the strong homology theory to show that the homology theory $\bar{H}^N_*(-,-;G)$ is a strong shape invariant.
It is known that homology and inverse limit functors do not commute. In the paper we consider this very problem and find its application for various homology theories. In particular, on the category of general topological spaces, there are defined exact homology functors induced by different non-free cochain complexes. Relation between them and other classical homology theories are given. In addition, for the defined homology functors the tautness and the continuous properties are obtained.
The Alexandroff-Čech normal cohomology theory [Mor$_1$], [Bar], [Ba$_1$],[Ba$_2$] is the unique continuous extension \cite{Wat} of the additive cohomology theory [Mil], [Ber-Mdz$_1$] from the category of polyhedral pairs $\mathcal{K}^2_{Pol}$ to the category of closed normally embedded, the so called, $P$-pairs of general topological spaces $\mathcal{K}^2_{Top}$. In this paper we define the Alexander-Spanier normal cohomology theory based on all normal coverings and show that it is isomorphic to the Alexandroff-Čech normal cohomology. Using this fact and methods developed in [Ber-Mdz$_3$] we construct an exact, the so called, Alexander-Spanier normal homology theory on the category $\mathcal{K}^2_{Top},$ which is isomorphic to the Steenrod homology theory on the subcategory of compact pairs $\mathcal{K}^2_{C}.$ Moreover, we give an axiomatic characterization of the constructed homology theory.
The tautness for a cohomology theory is formulated and studied by various authors. However, the analogous property is not considered for a homology theory. In this paper, we will define and study this very property for the Massey homology theory. Moreover, we will prove that the Kolmogoroff and the Massey homologies are isomorphic on the category of locally compact, paracompact spaces and proper maps. Therefore, we will obtain the same result for the Kolmogoroff homology theory.
On the category of pairs of topological spaces having a homotopy type of $CW$ complexes the singular (co)homology theory was axiomatically studied by J.Milnor. In particular, Milnor gave additivity axiom for a (co)homology theory and proved that any additive (co)homology theory on the given category is isomorphic to the singular (co)homology. On the other hand, the singular homology is a homology with compact support \cite{3}. In the paper \cite{6}, L. Mdzinarishvili proposed {\it partially compact support property} for a cohomology theory and gave another axiomatic characterization of the singular cohomology theory \cite{6}. In this paper, we will give additional different axiomatic characterizations of the singular cohomology theory. Moreover, we will study connections of the mentioned axiomatic systems.
The current work is motivated by the papers $[B_3]$, $[B_6]$, $[Be]$, $[Be-Tu]$. In particular, using Theorem 3.7 of $[B_3]$ and methods developed in this paper, the spectral and strong homology groups of continuous maps were defined and studied $[B_6]$, $[Be]$, $[Be-Tu]$. In this paper we will show that strong homology groups of continuous maps are a homology type functor, which is a strong shape invariant and has the semi-continuous property. We will formulate the new axioms and the conjunction on the uniqueness of the constructed functor.
On the category of compact metric spaces an exact homology theory was defined and its relation to the Vietoris homology theory was studied by N. Steenrod [S]. In particular, the homomorphism from the Steenrod homology groups to the Vietoris homology groups was defined and it was shown that the kernel of the given homomorphism are homological groups, which was called weak homology groups [S], [E]. The Steenrod homology theory on the category of compact metric pairs was axiomatically described by J.Milnor. In [Mil] the uniqueness theorem is proved using the Eilenberg-Steenrod axioms and as well as relative homeomorphism and clusres axioms. J. Milnor constructed the homology theory on the category $Top^2_C$ of compact Hausdorff pairs and proved that on the given category it satisfies nine axioms - the Eilenberg-Steenrod, relative homeomorphis and cluster axioms (see theorem 5 in [Mil]). Besides, using the construction of weak homology theory, J.Milnor proved that constructed homology theory satisfies partial continuity property on the subcategory $Top^2_{CM}$ (see theorem 4 in [Mil]) and the universal coefficient formula on the category $Top^2_C$ (see Lemma 5 in [Mil]). On the category of compact Hausdorff pairs, different axiomatic systems were proposed by N. Berikashvili [B1], [B2], H.Inasaridze and L. Mdzinarishvili [IM], L. Mdzinarishvili [M] and H.Inasaridze [I], but there was not studied any connection between them. The paper studies this very problem. In particular, in the paper it is proved that any homology theory in Inasaridze sense is the homology theory in the Berikashvili sense, which itself is the homology theory in the Mdzinarishvili sense. On the other hand, it is shown that if a homology theory in the Mdzinarishvili sense is exact functor of the second argument, then it is the homology in the Inasaridze sense.