Related papers: Embedding planar compacta in planar continua with …

We prove that every homomorphism from the fundamental group of a planar Peano continuum to the fundamental group of a planar or one-dimensional Peano continuum is induced by a continuous map up to conjugation. This is then used to provide a…

We prove that the homotopy type of a map from a Peano continuum into a planar or one-dimensional space is determined by the induced homomorphism of fundamental groups. This provides a new proof that planar sets are aspherical and is used to…

We show that every homomorphism from a one-dimensional Peano continuum to a planar Peano continuum is induced by a continuous map up to conjugation. We then prove that the topological structure of the space of points at which a planar Peano…

We characterize those planar Peano continua that are homotopy equivalent to 1-dimensional sets. While many planar Peano continua are not homotopically 1-dimensional, we prove that each has fundamental group that embeds in the fundamental…

In this paper, we present a constructive and proof-relevant development of graph theory, including the notion of maps, their faces, and maps of graphs embedded in the sphere, in homotopy type theory. This allows us to provide an elementary…

We extend the notion of graph homomorphism to cellularly embedded graphs (maps) by designing operations on vertices and edges that respect the surface topology; we thus obtain the first definition of map homomorphism that preserves both the…

Given based cellular spaces X and Y, X compact, we define a sequence of increasingly fine equivalences on the based-homotopy set [X,Y].

Suppose that $X$ and $Y$ are surfaces of finite topological type, where $X$ has genus $g\geq 6$ and $Y$ has genus at most $2g-1$; in addition, suppose that $Y$ is not closed if it has genus $2g-1$. Our main result asserts that every…

Given a definably compact group G in a saturated o-minimal structure, there is a canonical homomorphism from G to a compact real Lie group F(G). We establish a similar result for the (o-mininimal) universal cover of a definably compact…

If a Peano continuum $X$ is semilocally simply connected, then it has a finite polyhedral approximation whose fundamental group is isomorphic to that of $X$. In general, this fails to be true. It is known that the fundamental group of a…

Extending a theorem of Shelah we prove that fundamental groups of Peano continua (locally connected and connected metric compact spaces) are finitely presented if they are countable. The proof uses ideas from geometric group theory.

We construct a family F of compact and pathwise connected subsets of the Euclidean plane such that (i) the cardinality of F is that of the continuum (and hence extremely large) and (ii) if X,Y are distinct spaces in F then there never…

We show that every non-degenerate homogeneous plane continuum is homeomorphic to either the unit circle, the pseudo-arc, or the circle of pseudo-arcs. It follows that any planar homogenous compactum has the form $X \times Z$, where $X$ is a…

Given pointed cellular spaces $X$ and $Y$, $X$ compact, and an integer $r\ge0$, we define a relation $\overset r\approx$ on $[X,Y]$ and argue for the conjecture that it always coincides with the $r$-similarity $\overset r\sim$.

We define the Peano dimension for groups arising as fundamental groups, which generalizes the classical definition of geometric dimension of finitely presented groups. We conjecture that the Peano dimension of the fundamental group of a…

In homotopy theory, exact sequences and spectral sequences consist of groups and pointed sets, linked by actions. We prove that the theory of such exact and spectral sequences can be established in a categorical setting which is based on…

The complement of a complex hyperplane arrangement is known to be homotopic to a minimal CW complex. There are several approaches to the minimality. In this paper, we restrict our attention to real two dimensional cases, and introduce the…

The purpose of this note is to observe that a homomorphism of discrete groups $f:\Gamma\to G$ arises as the induced map $\pi_0(\mathfrak{M})\to \pi_0(\mathfrak{X})$ on path components of some closed normal inclusion of topological groups…

We show that if $X$ is an arc-like continuum, then any continuum which is the union of $X$ and a ray $R$ such that $X \cap R = \emptyset$ and $\overline{R} \setminus R \subseteq X$ can be embedded in the plane $\mathbb{R}^2$. Further, we…

We construct two combinatorially equivalent line arrangements in the complex projective plane such that the fundamental groups of their complements are not isomorphic. The proof uses a new invariant of the fundamental group of the…