MacLane-type planarity criterion for compact one-dimensional continua

Let XX be a compact, one-dimensional, locally connected, metrizable space with no cut point. A set SS of circles in XX is simple if every 11-simplex of XX has a sub-simplex homotopic to it in at most two elements of SS. Let H(X)H_{\ell}(X) be the metric homology group associated with a metric dd inducing the topology of XX, and let U={χH(X):χS}U=\{\overline{\chi}\in H_{\ell}(X):\chi\in S\}. The set UU spans H(X)H_{\ell}(X) when the closure of its finite sums is all of H(X)H_{\ell}(X).

MacLane-type planarity conjecture. The space XX is embeddable in S2S^2 if and only if there are a simple set SS of circles in XX and a metric dd inducing the topology of XX such that UU spans H(X)H_{\ell}(X).

This is intended as an algebraic characterization of planar continua analogous to MacLane's criterion for finite graphs. Local connectedness and the no-cut-point hypothesis are necessary, as illustrated by counterexamples in the source; the conjecture itself remains open.

Sources & referencesView supporting material

Primary source

Agelos Georgakopoulos, “Graph topologies induced by edge lengths”, arXiv:0903.1744 (2009).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.