
> 
> Is there a ([$\mathrm{T}\_0$](http://en.wikipedia.org/wiki/Kolmogorov_space)) [topological group](http://en.wikipedia.org/wiki/Topological_group) that is connected and locally connected but is not path-connected?
> 
> 
> 


This is a cross-post from MSE, since [my question there](https://math.stackexchange.com/questions/546056/topological-group-that-is-connected-and-locally-connected-but-not-path-connected) was posted over three weeks ago and hasn't gotten anything useful. An [earlier question of mine](https://math.stackexchange.com/questions/501049/is-there-a-topological-group-that-is-connected-but-not-path-connected) from MSE did not specify local connectedness.
  




topological group that is connected and locally connected but not path-connected
A similar question was answered here: <https://mathoverflow.net/a/119962/2926>. The idea is to start with your favorite non-trivial abelian group $A$, say $A = \mathbb{Z}/(2)$ (viewed as a group object in $\mathbf{Set}$) and apply to it a sequence of product-preserving functors 


$$\mathbf{Set} \stackrel{K}{\to} \mathbf{Cat} \stackrel{\text{nerve}}{\to} \mathbf{Set}^{\Delta^{op}} \stackrel{\text{Real}\_{\text{long}}}{\to} \mathbf{CGHaus}$$ 


where $K$ takes a set $S$ to the category whose objects are elements of $S$ and exactly one element in each $\hom(x, y)$, where $\text{nerve}$ is the usual nerve functor to simplicial sets, and where $\text{Real}\_{\text{long}}$ is *akin* to the geometric realization functor on simplicial sets, except that instead of gluing together ordinary affine simplices $\sigma\_n = \{0 = x\_0 \leq x\_1 \leq \ldots \leq x\_n \leq x\_{n+1} = 1\}$ based on configurations of points in the ordinary unit interval $I = [0, 1]$, one glues together "long affine simplices" 


$$\Sigma\_n = \{\bot = x\_0 \leq x\_1 \leq \ldots \leq x\_n \leq x\_{n+1} = \top\}$$ based on configurations of points in the end compactification of the long line (with endpoints $\bot, \top$). It is important here that the long line is connected and locally connected, but not path connected. 


Because the functors are product-preserving, the result is an abelian group object in the category $\mathbf{CGHaus}$ of compactly generated Hausdorff spaces. A technical argument mentioned in the cited answer shows that the output (call it $L(A)$) is in fact a topological abelian group (i.e., continuity of the multiplication $L(A) \times L(A) \to L(A)$ is with respect to the usual topological product, not just the product in $\mathbf{CGHaus}$ which in general has a topology finer than that of the topological product). 


The cited answer also showed that $L(A)$ is connected but not path-connected. All one needs to see now is that $L(A)$ is locally connected. Let $U$ be an arbitrary open set; it suffices to show that any connected component $V$ of $U$ is open. Since the topology on $L(A)$ is a colimit topology (given by a coend described in the cited answer), to check openness of $V$ it is enough that its intersection with any (long) simplex $\Sigma$ is open. Let $x \in V \cap \Sigma$; *a fortiori* $x \in U \cap \Sigma$, and since a long simplex $\Sigma$ is locally connected, there is a connected open neighborhood $O\_x$ of $x$ relative to $\Sigma$ contained in $U \cap \Sigma$; given that $O\_x \subset U$ and $V$ is the maximal connected subset of $U$ containing $x$, we must have $O\_x \subset V$ and so $O\_x \subset V \cap \Sigma$. Thus $V \cap \Sigma$ is a union of such open $O\_x$ in $\Sigma$, as was to be shown. 


