arXiv subjects
Publications and source records attributed to Katsuya Eda.
The present note surveys my research related to generalizing notions of abelian group theory to non-commutative case and applying them particularly to investigate fundamental groups.
We attach copies of the circle to points of a countable dense subset $D$ of a separable metric space $X$ and construct an earring space $E(X,D)$. We show that the fundamental group of $E(X,D)$ is isomorphic to a subgroup of the Hawaiian earring group, if the space $X$ is simply-connected and locally simply-connected. In addition if the space $X$ is locally path-connected, the space $X$ can be recovered from the fundamental group of $E(X,D)$.
An infinitary version of braid groups has been considered as a direct limit of n-braid groups. However, we can imagine more complicated braids with infinitely many strings. We invetisgate basic properties especially when the number of strings is countable.
We present a characterization of cotorsion-free abelian groups in terms of homomorphisms from fundamental groups of Peano continua, which aligns naturally with the generalization of slenderness to non-abelian groups. In the process, we calculate the first homology group of the Griffiths twin cone.
We show that the Snake on a square $SC(S^1)$ is homotopy equivalent to the space $AC(S^1)$ which was investigated in the previous work by Eda, Karimov and Repov\vs. We also introduce related constructions $CSC(-)$ and $CAC(-)$ and investigate homotopical differences between these four constructions. Finally, we explicitly describe the second homology group of the Hawaiian tori wedge.
We construct a functor $AC(-,-)$ from the category of path connected spaces $X$ with a base point $x$ to the category of simply connected spaces. The following are the main results of the paper: (i) If $X$ is a Peano continuum then $AC(X,x)$ is a cell-like Peano continuum; (ii) If $X$ is $n-$dimensional then $AC(X, x)$ is $(n+1)-$dimensional; and (iii) For a path connected space $X$, $π_1(X,x)$ is trivial if and only if $π_2(AC(X, x))$ is trivial. As a corollary, $AC(S^1, x)$ is a 2-dimensional nonaspherical cell-like Peano continuum.
In our earlier papers we constructed examples of 2-dimensional nonaspherical simply-connected cell-like Peano continua, called {\sl Snake space}. In the sequel we introduced the functor $SC(-,-)$ defined on the category of all spaces with base points and continuous mappings. For the circle $S^1$, the space $SC(S^1, \ast)$ is a Snake space. In the present paper we study the higher-dimensional homology and homotopy properties of the spaces $SC(Z, \ast)$ for any path-connected compact spaces $Z$.
In our earlier paper (K. Eda, U. Karimov, and D. Repovš, \emph{A construction of simply connected noncontractible cell-like two-dimensional Peano continua}, Fund. Math. \textbf{195} (2007), 193--203) we introduced a cone-like space $SC(Z)$. In the present note we establish some new algebraic properties of $SC(Z)$.
We prove the existence of a 2-dimensional nonaspherical simply connected cell-like Peano continuum (the space itself was constructed in one of our earlier papers). We also indicate some relations between this space and the well-known Griffiths' space from the 1950's.
Using the topologist sine curve we present a new functorial construction of cone-like spaces, starting in the category of all path-connected topological spaces with a base point and continuous maps, and ending in the subcategory of all simply connected spaces. If one starts by a noncontractible n-dimensional Peano continuum for any n>0, then our construction yields a simply connected noncontractible (n + 1)-dimensional cell-like Peano continuum. In particular, starting with the circle $\mathbb{S}^1$, one gets a noncontractible simply connected cell-like 2-dimensional Peano continuum.
We give a systematic definition of the fundamental groups of gropes, which we call grope groups. We show that there exists a nontrivial homomorphism from the minimal grope group M to another grope group G only if G is the free product of M with another grope group.
An infinitary version of the notion of free products has been introduced and investigated by G.Higman. Let G_i (for i in I) be groups and ast_{i in X} G_i the free product of G_i (i in X) for X Subset I and p_{XY}: ast_{i in Y} G_{i}->ast_{i in X} G_{i} the canonical homomorphism for X subseteq Y Subset I. (X Subset I denotes that X is a finite subset of I.) Then, the unrestricted free product is the inverse limit lim (ast_{i in X} G_i, p_{XY}: X subseteq Y Subset I). We remark ast_{i in emptyset} G_i= {e} . We prove: Theorem: Let F be a free group. Then, for each homomorphism h:lim ast G_i-> F there exist countably complete ultrafilters u_0,...,u_m on I such that h = h . p_{U_0 cup ... cup U_m} for every U_0 in u_0, ...,U_m in u_m. If the cardinality of the index set I is less than the least measurable cardinal, then there exists a finite subset X_0 of I and a homomorphism overline {h}: ast_{i in X_0}G_i-> F such that h= overline {h} . p_{X_0}, where p_{X_0}: lim ast G_i->ast_{i in X_0}G_i is the canonical projection.