The moderate open-curve doodle extension conjecture for the annulus

About 3 years old · traced to

Let A=R×[0,1]A=\mathbb R\times[0,1]. Denote by OCmoderate≤2imm(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

0→Z→OCmoderate≤2imm(A)→Z2×Z2×Z→0.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.

References

Primary source

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

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.