The moderate open-curve doodle extension conjecture for the annulus

From papers

Let A=R×[0,1]A=\mathbb R\times[0,1]. Denote by OCmoderate2imm(A)\mathbf{OC}^{\mathsf{imm}}_{\mathsf{moderate \leq 2}}(A) the abelian group of moderate immersed open-curve doodle classes, and by Z2\mathbb Z_2 the cyclic group of order 22. The moderate open-curve doodle extension conjecture. There is a splittable abelian group extension

0ZOCmoderate2imm(A)Z2×Z2×Z0.0\to\mathbb Z\to\mathbf{OC}^{\mathsf{imm}}_{\mathsf{moderate \leq 2}}(A)\to\mathbb Z_2\times\mathbb Z_2\times\mathbb Z\to0.

The proof establishes surjectivity of the invariant map onto Z2×Z2×Z\mathbb Z_2\times\mathbb Z_2\times\mathbb Z, while the displayed extension records the claimed splitting and the kernel identified with Z\mathbb Z.

Progress summary

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

Sources & referencesView supporting material

Primary source

Gabriel Katz, “Doodles and blobs on a lined page: convex quasi-envelops of traversing flows on surfaces”, arXiv:2307.01961 (2024).

Solutions 0

No solutions have been posted yet.