Pith. sign in

REVIEW 2 major objections 5 minor 7 references

Shear coordinates and braid invariants

T0 review · 2 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Shear-coordinate flips along a braid yield a rational transformation that is invariant under braid isotopy.

desk verdict Plausible new braid invariant idea from shear flips, but the main theorem is not proved: the flip rule in Fig. 1 is not involutive as written, and the pentagon/far-commutativity identities are asserted without proof. read the letter →

arxiv 2505.06309 v1 pith:AN7RVCTQ submitted 2025-05-08 math.GT

Vassily Olegovich Manturov This is my paper · ORCID
classification math.GT MSC 57M25
keywords BraidClusterVoronoidiagramDelaunaytriangulationPentagonShearcoordinatecross-ratiohyperbolicplane
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper proposes a new way to assign invariants to braids using shear coordinates from hyperbolic geometry. A braid is viewed as a motion of points in the plane; as the points move, their Delaunay triangulation changes by flips, and each flip updates the labels on the edges of the triangulation according to a stated shear transformation rule. The central theorem asserts that for two isotopic generic braids, the overall rational transformation of the labels is the same, so the construction gives a braid invariant. If true, each braid isotopy class would carry an explicit algebraic object, and the paper notes a tropical analogue of the construction. The proof is sketched and relies on unproved local identities for the shear transformations.

What carries the argument

The engine of the construction is the shear-coordinate transformation of Figure 1: on a flip of a diagonal e in a quadrilateral, the new diagonal gets label e′ = 1/e and the four adjacent edge labels are multiplied by (1 + e) or e/(1 + e). This local rule replaces the simpler Ptolemy transformation, which only changes the flipped edge, and it is the feature that makes the construction sensitive to more of the triangulation. The invariance argument requires this shear transformation to satisfy two identities: 'far commutativity' (flips in non-overlapping quadrilaterals can be performed in either order with the same result) and the pentagon relation (five flips around a pentagon cycle return all labels to their starting values). The paper states that these identities hold because shear coordinates are known to satisfy them, but it gives no explicit calculation or reference for them.

What would settle it

Take a configuration of five points in cyclic position, run through the five flips that return the Delaunay triangulation to itself, and apply the shear label updates symbolically; if the final labels do not equal the initial labels for generic choices, the pentagon-relation assumption fails and the theorem's proof breaks.

Watch

Extended reading notes

Core claim

The discovery is a construction of a map T(β) attached to any generic braid β. Place n moving points in the plane, record their Voronoi diagram and its dual Delaunay triangulation at each time, and label every edge of the initial triangulation by a variable. Whenever four points become cocircular and the triangulation flips an edge, update the labels by the shear rule: the flipped edge e becomes e′ = 1/e, and the four surrounding edges are rescaled by factors (1 + e) or e/(1 + e) as in Figure 1. Composing these updates over the finite sequence of flips that occur as the braid runs from t = 0 to t = 1 yields a rational transformation T(β) from the initial labels to the final labels. The paper's theorem claims that if β and β′ are isotopic generic braids, then T(β) = T(β′), so this transformation is an invariant of the braid isotopy class.

Load-bearing premise

The argument collapses if shear-coordinate transformations do not satisfy the pentagon relation and far commutativity in exactly the form needed, and the paper supplies no calculation or reference for these identities.

Editorial extensions

If this is right

  • If the theorem is correct, each n-strand braid isotopy class comes with a well-defined rational transformation of the edge-label variables, so braids that yield different transformations are necessarily non-isotopic.
  • The transformations are Laurent polynomials in the initial labels, as the paper notes from cluster algebra theory, so the invariant provides concrete algebraic data that can in principle be computed and compared.
  • The same construction, with the shear rule replaced by its tropical version, yields a piecewise-linear invariant, giving a second family in parallel to the rational one.
  • The invariant is defined for any generic motion of n points in the plane, so it applies to all braids, not just pure braids, and it fits the scheme of invariants built from solutions to the octagon equation.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The unproved pentagon and far-commutativity identities for shear coordinates could be checked by a direct symbolic computation for a five-point configuration; such a test would either confirm the proof's keystone or produce an explicit counterexample.
  • If the invariant is nontrivial, it may distinguish braids that other invariants do not, because it is built from a different geometric source; one could test it on the braid generator and its square to see whether it detects writhe.
  • The construction suggests a broader dictionary between hyperbolic geometry (shear coordinates) and cluster algebras on one side and braid invariants on the other; future work might produce similar invariants from other local coordinate systems on triangulated surfaces.
  • Because the invariant depends on the chosen initial point configuration, it may actually be a family of invariants parameterized by the basepoint; studying that dependence could yield further structure, such as a representation of the braid group on a space of rational maps.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 5 minor

Summary. The paper proposes a braid invariant T(β) constructed as follows. A braid is represented as a motion of n points in the plane; at each time one takes the Delaunay triangulation of the point set and labels its edges by variables. Whenever the triangulation flips, all involved labels are updated by the shear-coordinate rule of Fig. 1 (in contrast to the older Ptolemy rule, which changes only the flipped diagonal). Since the initial and final point configurations coincide, composing these label transformations over a braid yields a rational map T(β) from the initial labels to themselves. The main theorem in Section 4 states that isotopic generic braids yield the same rational map. The proof is a sketch: it reduces braid isotopy to three local events (a back-and-forth flip, a pentagon move, and far commutativity of distant flips) and asserts that the corresponding label transformations agree in each case, relying on claims that Ptolemy and shear transformations satisfy the pentagon relation and far commutativity.

Significance. If the theorem is correct, the paper gives a new, concise construction of braid invariants from hyperbolic-geometry shear coordinates, extending the program in [3, 6, 7] and suggesting a tropical analogue as advertised in the abstract. The main idea is attractive and potentially significant: it reduces isotopy invariance to a small set of local algebraic identities for the flip rule. The paper is, however, a short announcement-type manuscript: the central proof depends on unproved and partly incorrect assertions about the local flip rule. Because the main theorem is not established as written, the paper cannot be accepted in its current form, but the underlying idea appears salvageable.

major comments (2)
  1. [Section 4, proof, case 'back and forth'] The assertion that a flip followed by the inverse flip gives the identity is false under the literal formulas of Fig. 1. Applying the displayed rule twice in the natural cyclic order, starting from a diagonal label e and sides a,b,c,d, gives e'' = e but a'' = a(1+e)(1+1/e) = a(1+e)^2/e, b'' = b e/(1+e) · (1/e)/(1+1/e) = b/(1+e)^2, and similarly for c and d; these are not the original labels. Thus the 'back and forth' case of the proof, which is described as 'obvious', actually fails unless an orientation convention specifies which pair of opposite edges receives the factor (1+e) versus e/(1+e) on the reverse flip. No such convention is stated. This is a load-bearing gap: the invariance argument collapses at the first local case, and T(β) is not presently well-defined for a flip sequence containing a backtracking flip. The authors should specify the orientation data and verify the involution property explicitly.
  2. [Section 4, proof, cases 'pentagon' and 'far commutativity'] The proof asserts that 'shear coordinate transformations enjoy far commutativity' and that 'both Ptolemy transformation and shear coordinate transformation satisfy the pentagon relation' without giving a calculation, a precise statement, or a reference. These identities are not immediate: the shear rule of Fig. 1 changes four neighboring labels, not just the diagonal, so the far-commutativity claim for the shear case is not the same as the trivial Ptolemy case. Since the theorem relies exactly on these identities to compare label transformations in the pentagon and far-commutativity events, the proof is incomplete. The authors must either prove the identities by direct computation using the explicit flip formulas (with a fixed orientation convention) or cite a source that states them for precisely this transformation rule.
minor comments (5)
  1. [Section 1] The phrase 'shear choordinate transformation' contains a typo; it should be 'shear coordinate transformation'.
  2. [Section 4, proof] In the sentence 'the sequence of label transformation for β_{s_j−ε} and β_{s_j−ε} in the neighbourhood of value t', the second occurrence of 'β_{s_j−ε}' should presumably be 'β_{s_j+ε}'. The same confusion appears elsewhere in the proof and should be corrected.
  3. [Figure 1] The quadrilateral vertices and the orientation of the diagonal are not labelled. Adding a vertex/edge orientation convention would make the flip rule unambiguous and would also clarify the involution and pentagon checks requested above.
  4. [Abstract and body] The abstract promises a tropical analogue of the construction, but no tropical analogue is defined or discussed anywhere in the body. The authors should either add the relevant material or drop the claim.
  5. [References] Reference [1] lists 'A. Enriques' as an author of 'The multidimensional cube recurrence'; the surname appears to be a typo for 'Henriques'.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: the construction imports independent shear-coordinate and Ptolemy identities, and the target theorem is not assumed as an input.

full rationale

The paper's central theorem claims that the rational label transformation T(β) obtained by applying shear-coordinate flips along a braid is a braid isotopy invariant. The proof reduces isotopy invariance to three local properties of the flip rules: cancellation of inverse flips, the pentagon relation, and far commutativity. The paper explicitly invokes these as known facts about shear coordinate transformations and Ptolemy transformations outside the present construction: 'it is known that shear coordinate transformations enjoy far commutativity' and 'both Ptolemy transformation and shear coordinate transformation satisfy the pentagon relation.' These identities are external to the invariant being defined; they concern the algebraic rules themselves, not the global statement that T(β) is invariant under braid isotopy. The construction of T(β) is not defined in terms of braid equivalence, and no fitted parameter is renamed as a prediction. The self-citations to [3] and [6,7] are methodological attributions for using Voronoi diagrams and the octagon-equation framework; none of these citations is itself the sole justification of the theorem's central equivalence. The paper's actual weaknesses, such as the unproved assertion of far commutativity for shear transformations and the questionable involutivity of the displayed flip rule, are correctness risks in the proof rather than circularity: if those assertions fail, the theorem is unsupported, but it is not tautologically true. There is no exhibited equation in which the claimed prediction is identical to an input by definition. Therefore the circularity score is 0.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The central claim rests on standard Voronoi/Delaunay dynamics and on two algebraic properties of the shear-coordinate flip (pentagon and far commutativity) that are asserted without proof.

assumptions (5)
  • domain assumption The Delaunay triangulation of a generic point configuration is a triangulation of the plane by triangles.
    Section 2 assumes the Voronoi diagram is trivalent and the dual Delaunay graph consists of triangles, ignoring the infinite vertex.
  • domain assumption A generic braid has finitely many flip times, each involving exactly one flip.
    Section 2 defines generic braids as those where the Voronoi diagram changes by a single flip at each singular time; this is a typicality assumption.
  • domain assumption The only codimension 2 events in an isotopy of generic braids are back-and-forth flips, pentagon transformations, and far commutativity.
    Section 4 enumerates these three cases without proof that they exhaust all possibilities.
  • standard math Ptolemy transformation satisfies the pentagon relation.
    Used in Section 4 to argue invariance under the pentagon move; the paper calls it well known.
  • domain assumption Shear coordinate transformation satisfies the pentagon relation and far commutativity.
    Section 4 states 'it is known that shear coordinate transformations enjoy far commutativity' and 'both Ptolemy transformation and shear coordinate transformation satisfy the pentagon relation,' but gives no proof or citation.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Shear coordinates and braid invariants." pith.science (2026). https://pith.science/paper/AN7RVCTQ

@misc{pith2026250506309,
  author       = {Pith},
  title        = {Pith review of: Shear coordinates and braid invariants},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/AN7RVCTQ}},
  note         = {Machine review of arXiv:2505.06309}
}
read the original abstract

We present a way of using shear coordinates in hyperbolic geometry to get invariants of braids. This method also has a tropical analogue.

Figures

Figures reproduced from arXiv: 2505.06309 by the authors.

Figure 1
Figure 1. The shear transformation of labels 2 From braids to Voronoi diagrams In the present section we represent an n-strand braid in R 2 as a dynamical system representing a motion of n points. We closely follow [3]. Let zi(t), i = 1, · · · , n, t ∈ [0, 1] be moving points on the plane R 2 . For each t, we define the region Ui(t) to be Ui(t) = {z ∈ R 2 |∀j : |z − zi(t)| ≤ |z − zj (t)|}. Generically, these regions are separ… view at source ↗
Figure 2
Figure 2. The Ptolemy transformation of labels y = ac + bd x , see Fig.2, and the other labels remain unchanged: We recall that the shear transformation of coordinates is shown in [PITH_FULL_IMAGE:figures/full_fig_p003_2.png] view at source ↗
Figure 3
Figure 3. The far commutativity transformation [PITH_FULL_IMAGE:figures/full_fig_p004_3.png] view at source ↗
Figures from the paper (1 more)
Figure 4
Figure 4. Figure 4: The pentagon transformation 3. for some value t the set βsj (t) the flip happens in two places, so that βsj−ε) and βsj+ε) differ by the following commutativity, see [PITH_FULL_IMAGE:figures/full_fig_p004_4.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

7 extracted references · 6 linked inside Pith

  1. [1]

    A.Enriques, D.Speyer, The multidimensional cube recurrence, Arxiv: 0708.2478v3

    arXiv

  2. [2]

    S.V.Fomin, P.Pylavskyy, Incidences and Tilings, arxiv.org/2305.07728

    arXiv

  3. [3]

    V.O.Manturov, D.A.Fedoseev, S.Kim., I.M.Nikonov,Invariants and Pic- tures, World Scientific, 2020

    2020

  4. [4]

    S.Kim and V.O.Manturov Rhombile tilings,The groups Gk n and 2n-gon tilings arxiv: 2401.15345

    arXiv

  5. [5]

    Manturov, V.O., Braids act on configurations of lines, arXiv:2306.07079

    arXiv

  6. [6]

    V.O.Manturov, Z.Wan, The photography method: solving pentagon, hexagon, and other equations, arXiv:2305.11945

    arXiv

  7. [7]

    I.E.Rohozhkin, Pentagon equations, Vorono¨ ıtilings and pure braid groups invariant, arXiv:2405.10240 5

    arXiv

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.