Alexander-Markov correspondence for doodles on closed surfaces

TL;DR

This paper introduces twisted virtual doodles on closed surfaces, extending classical and virtual doodle theories through a braid-theoretic framework, and analyzes their algebraic properties.

Contribution

It develops a new class of twisted virtual doodles, defines associated twisted virtual twin groups, and establishes Alexander- and Markov-type theorems for these objects.

Findings

Unified classical and virtual doodle theories.

Presented presentations and properties of twisted virtual twin groups.

Proved that these groups have trivial center, are residually finite, and Hopfian.

Abstract

In this paper, we introduce twisted virtual doodles, defined as stable equivalence classes of immersed circles on closed surfaces that may be non-orientable. These objects admit planar representative diagrams, considered up to a suitable set of Reidemeister-type moves. To develop the associated braid-theoretic framework, we define twisted virtual twin groups as natural extensions of virtual twin groups, and establish Alexander- and Markov-type theorems in this set-up. This shows that twisted virtual doodles unify and extend both classical and virtual doodle theories. We further investigate the structure of the pure twisted virtual twin group, providing a presentation and deriving several structural and combinatorial properties. In particular, we obtain two interesting decompositions of the twisted virtual twin group and its pure subgroup, from which it follows that both groups have trivial center and are residually finite as well as Hopfian.