Related papers: Thick Spanier groups and the first shape group
When non-trivial local structures are present in a topological space $X$, a common approach to characterizing the isomorphism type of the $n$-th homotopy group $\pi_n(X,x_0)$ is to consider the image of $\pi_n(X,x_0)$ in the $n$-th \v{C}ech…
H. Fischer et al. (Topology and its Application, 158 (2011) 397-408.) introduced the Spanier group of a based space $(X,x)$ which is denoted by $\psp$. By a Spanier space we mean a space $X$ such that $\psp=\pi_1(X,x)$, for every $x\in X$.…
For a connected, locally path connected space $X$, let $H$ be a subgroup of the fundamental group of $X$, $\pi_1(X,x)$. We show that there exists an open cover $\cal U$ of $X$ such that $H$ contains the Spanier group $\pi({\U},x)$ if and…
Uchillo-Ibanez et al. introduced a topology on the sets of shape morphisms between arbitrary topological spaces in 1999. In this paper, applying a similar idea, we introduce a topology on the set of coarse shape morphisms $Sh^*(X,Y)$, for…
In this paper, using the topology on the set of shape morphisms between arbitrary topological spaces $X$, $Y$, $Sh(X,Y)$, defined by Cuchillo-Ibanez et al. in 1999, we consider a topology on the shape homotopy groups of arbitrary…
Let $X$ be a path connected, locally path connected and semilocally simply connected space; let $\tilde{X}$ be its universal cover. We discuss the existence and description of a Haar system on the fundamental groupoid $\Pi_1(X)$ of $X$. The…
The path component space of a topological space $X$ is the quotient space $\pi_0(X)$ whose points are the path components of $X$. We show that every Tychonoff space $X$ is the path-component space of a Tychonoff space $Y$ of weight…
The quasitopological fundamental group $\pi_{1}^{qtop}(X,x_0)$ is the fundamental group endowed with the natural quotient topology inherited from the space of based loops and is typically non-discrete when $X$ does not admit a traditional…
The topological fundamental group $\pi_{1}^{top}$ is a homotopy invariant finer than the usual fundamental group. It assigns to each space a quasitopological group and is discrete on spaces which admit universal covers. For an arbitrary…
If $X$ is a topological group, then its fundamental groupoid $\pi_1X$ is a group-groupoid which is a group object in the category of groupoids. Further if $X$ is a path connected topological group which has a simply connected cover, then…
Let $X$ be a homogeneous space of a connected linear algebraic group $G$ defined over the field of complex numbers $\mathbb C$. Let $x\in X({\mathbb C})$ be a point. We denote by $H$ the stabilizer of $x$ in $G$. When $H$ is connected, we…
We present several new theorems concerning the first fundamental group of a path connected metric space. Among the results proven are strengthenings of the main theorems of \cite{Sh2} and \cite{CoCo}. A compactness theorem for the…
Let V be a representation space of a finite group G. We determine the group structure of the first homology of the equivariant diffeomorphism group of V. Then we can apply it to the calculation of the first homology of the corresponding…
This paper has 3 principal goals: (1) to survey what is know about mapping class and Torelli groups of simply connected compact Kaehler manifolds, (2) supplement these results, and (3) present a list of questions and open problems to…
The goal of this paper is to establish a topological version of the notion of an Eilenberg-Mac Lane space. If $X$ is a pointed topological space, $\pi_1(X)$ has a natural topology coming from the compact-open topology on the space of maps…
The topological fundamental group $\pi_{1}^{top}$ is a topological invariant that assigns to each space a quasi-topological group and is discrete on spaces which are well behaved locally. For a totally path-disconnected, Hausdorff, unbased…
For a connected regular scheme X, flat and of finite type over Spec(Z), we construct a reciprocity homomorphism \rho_X: C_X --> \pi_1^\ab(X), which is surjective and whose kernel is the connected component of the identity. The (topological)…
Let $p$ be a strong type of an algebraically closed tuple over $B=\acl^{\eq}(B)$ in any theory $T$. Depending on a ternary relation $\indo^*$ satisfying some basic axioms (there is at least one such, namely the trivial independence in $T$),…
Can we do a topological study of various classes of normal subgroups endowed with a hull-kernel-type topology? In this paper, we have provided an answer to this question. We have introduced as well a new class of normal subgroups called…
We study spaces $X$ for which the space $Hom_p(X)$ of automorphisms with the topology of point-wise convergence is a topological group. We identify large classes of spaces $X$ for which $Hom_p(X)$ is or is not a topological group.