Recognising conjugacy classes of Dehn twists on $\mathbb D_3$

Ferihe Atalan; Sergey Finashin

arxiv: 2603.14582 · v3 · submitted 2026-03-15 · 🧮 math.GT

Recognising conjugacy classes of Dehn twists on mathbb D₃

Ferihe Atalan , Sergey Finashin This is my paper

Pith reviewed 2026-05-15 10:46 UTC · model grok-4.3

classification 🧮 math.GT

keywords Dehn twistsconjugacy problemmapping class groupDynnikov coordinatesbranched covering torusthree-punctured diskpure mapping class group

0 comments

The pith

Dehn twist conjugacy classes on a three-marked disk are classified by their orbits under the pure mapping class group.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper examines how basic Dehn twists act on essential curves inside a disk with three marked points. It connects the resulting dynamics on the Dynnikov plane to the ordinary linear action on the homology lattice of a branched covering torus. This link produces an explicit list of the orbits under the pure mapping class group action. The list directly decides when two Dehn twists are conjugate, and an accompanying algorithm reduces any such decision to a shortest sequence of steps.

Core claim

By interpreting the induced dynamics on the Dynnikov plane as the standard action on the homology H1(T) = Z² of the branched covering torus T to D3, the orbits of the pure mapping class group PMod(D3) give a complete solution to the conjugacy problem for the Dehn twists t_γ.

What carries the argument

The faithful equivalence between Dehn-twist dynamics on the Dynnikov plane and the linear action on the homology of the branched covering torus T → D3.

Load-bearing premise

The induced dynamics on the Dynnikov plane can be faithfully interpreted in terms of the standard dynamics in the homology of the branched covering torus.

What would settle it

A pair of Dehn twists whose homology vectors lie in distinct orbits under PMod(D3) yet are conjugate in the mapping class group would disprove the classification.

read the original abstract

We analyse the action of the basic Dehn twists on the essential curves, $\gamma$, in a disc with 3 marked points, $\mathbb D_3$. In particular, we interpret the induced dynamics on the Dynnikov plane in terms of the standard dynamics in homology $H_1({\rm T})=\mathbb Z^2$ of the branched covering torus with a hole, ${\rm T}\to \mathbb D_3$. Our explicit description of orbits of the action of the pure mapping class group ${\rm PMod}(\mathbb D_3)$ can be viewed as a solution of the conjugacy problem for the Dehn twists $t_{\gamma}$. We also present an ``untwisting algorithm'' for factorization of this problem into a minimal number of steps.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gives an explicit orbit description for Dehn twists on D3 by mapping Dynnikov dynamics to homology on the branched cover torus, plus an untwisting algorithm that factors conjugacy into minimal steps.

read the letter

Hi colleague, The main point is that this paper claims to solve the conjugacy problem for Dehn twists on the three-punctured disk by translating the action into orbits under the pure mapping class group, using a direct link from Dynnikov plane coordinates to the standard linear action on H1 of the branched covering torus. They also give an untwisting algorithm that reduces the factorization to the smallest number of steps. This is new relative to the literature they cite, as it supplies a concrete, computable description rather than an existence argument. What works well is the reduction itself: turning the curve action into tracking vectors in Z squared makes the orbits explicit and turns conjugacy into something one can check by hand or with basic linear algebra. The algorithm looks practical for this low-complexity case and avoids some of the heavier machinery needed for higher-genus surfaces. The soft spot is the faithfulness of the correspondence. The claim that this solves conjugacy rests on the Dynnikov-to-homology map being bijective on orbits and preserving the necessary invariants like intersections. If the branched cover loses distinctions between certain curve classes, then non-conjugate twists could be identified. The abstract treats the equivalence as given, so the proofs need to show explicitly that no information is lost and that distinct orbits stay distinct. This is a targeted technical result aimed at people working on mapping class groups of punctured disks or on computational aspects of geometric topology. A reader who needs tools for explicit conjugacy checks in small cases would get direct value from the orbits and the algorithm. It deserves a serious referee because the contribution is concrete and the potential flaw is checkable rather than foundational. I would send it out for peer review.

Referee Report

1 major / 2 minor

Summary. The paper analyzes the action of basic Dehn twists on essential curves in the disc with three marked points D3. It interprets the induced dynamics on the Dynnikov plane in terms of the standard linear action on the homology H1(T) ≅ ℤ² of the branched covering torus T → D3. This yields an explicit description of the orbits under the pure mapping class group PMod(D3), presented as a solution to the conjugacy problem for the Dehn twists t_γ, together with an untwisting algorithm for minimal factorization.

Significance. If the claimed orbit equivalence holds and is bijective on curve classes while preserving intersection data, the result would supply a concrete, homology-based criterion for conjugacy of Dehn twists in this low-complexity case. Such an explicit orbit description could serve as a computational tool for mapping class group problems and illustrate a useful bridge between Dynnikov coordinates and covering-space homology.

major comments (1)

The central claim that the explicit orbit description solves the conjugacy problem for t_γ rests on the Dynnikov-plane-to-H1(T) correspondence being faithful and bijective on orbits of essential curves. The manuscript must supply a precise statement and proof that the projection preserves distinct PMod(D3)-orbits (i.e., that distinct curve classes in D3 map to distinct homology orbits and that intersection numbers with the marked points are recovered from the homology data). Without this, the reduction from conjugacy in the mapping class group to linear conjugacy in ℤ² remains unverified.

minor comments (2)

Define the Dynnikov coordinates and the precise branched-covering map T → D3 at the outset, including how marked-point data is encoded.
Include a short worked example of the untwisting algorithm applied to a specific pair of curves to demonstrate minimality.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for identifying the need to make the faithfulness of the Dynnikov-to-homology correspondence fully explicit. We address the single major comment below and will incorporate the requested clarification in the revised version.

read point-by-point responses

Referee: The central claim that the explicit orbit description solves the conjugacy problem for t_γ rests on the Dynnikov-plane-to-H1(T) correspondence being faithful and bijective on orbits of essential curves. The manuscript must supply a precise statement and proof that the projection preserves distinct PMod(D3)-orbits (i.e., that distinct curve classes in D3 map to distinct homology orbits and that intersection numbers with the marked points are recovered from the homology data). Without this, the reduction from conjugacy in the mapping class group to linear conjugacy in ℤ² remains unverified.

Authors: We agree that an explicit statement and proof of bijectivity on orbits is required to fully justify the reduction. The manuscript already interprets the Dynnikov dynamics via the standard linear action on H1(T) ≅ ℤ² induced by the branched cover T → D3, and the orbit descriptions are derived from this. In the revision we will add a dedicated subsection (new Theorem 3.4 and its proof) that (i) defines the projection π from the Dynnikov plane to H1(T) explicitly, (ii) proves that π is injective on PMod(D3)-orbits of essential curves (using the fact that the cover is branched only at the three marked points and that the homology classes determine the algebraic intersection data with the branch points), and (iii) shows that the geometric intersection numbers with the marked points are recoverable from the homology coordinates via the covering map. This will make the claimed solution to the conjugacy problem for t_γ rigorous. revision: yes

Circularity Check

0 steps flagged

No circularity: orbit description derived from standard branched-cover homology

full rationale

The paper's central step interprets the PMod(D3) action on curves via the induced linear action on H1(T) ≅ ℤ² of the branched cover T → D3, then gives an explicit orbit description that is claimed to solve the conjugacy problem for Dehn twists. This is a standard construction in mapping class group literature and does not reduce any claimed prediction or uniqueness statement to a fitted parameter, self-definition, or unverified self-citation chain. The derivation remains self-contained against external benchmarks (homology action and curve coordinates) with no quoted equation or step that equates output to input by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on standard facts about mapping class groups, Dehn twists, and branched coverings; no new free parameters, ad-hoc constants, or postulated entities are introduced.

axioms (1)

domain assumption The action of Dehn twists on essential curves in D3 induces well-defined dynamics on the Dynnikov plane that correspond to linear action on H1 of the branched cover T.
Invoked to translate the conjugacy question into homology dynamics.

pith-pipeline@v0.9.0 · 5428 in / 1196 out tokens · 45247 ms · 2026-05-15T10:46:15.945941+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Our explicit description of orbits of the action of the pure mapping class group PMod(D3) can be viewed as a solution of the conjugacy problem for the Dehn twists tγ. … interpret the induced dynamics on the Dynnikov plane in terms of the standard dynamics in homology H1(T)=Z² of the branched covering torus
IndisputableMonolith/Foundation/ArithmeticFromLogic.lean LogicNat recovery / embed_injective unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 1.1. Any Dehn twist tγ … is conjugate to tc, td, or te … in terms of Dynnikov coordinates (a,b) of γ: tγ conjugate to te if b even, …

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.