pith. sign in

arxiv: 2605.16968 · v1 · pith:64H5E4GOnew · submitted 2026-05-16 · 🧮 math.GT

GL-racks and coloring invariants of Legendrian knots

Zhiyun Cheng , Zhiyi He This is my paper

Pith reviewed 2026-05-19 18:49 UTC · model grok-4.3

classification 🧮 math.GT
keywords GL-racksLegendrian knotscoloring invariantspermutation GL-racksblock GL-rackscontact geometryknot invariants
0
0 comments X

The pith

Every finite GL-rack decomposes canonically into permutation and block types, so Legendrian knots with the same classical invariants have equivalent coloring invariants under any such rack.

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

The paper studies the algebraic structure of GL-racks and proves that every finite one splits canonically into a permutation GL-rack and a block GL-rack. This split immediately yields the result that coloring invariants induced by any finite GL-rack coincide for Legendrian knots whenever their classical invariants match. A sympathetic reader would care because the decomposition reduces the distinguishing power of these colorings to that of the classical data and simplifies their evaluation on Legendrian knots in contact geometry.

Core claim

Finite GL-racks admit a canonical decomposition into permutation GL-racks and block GL-racks. As a direct corollary, two Legendrian knots that share the same classical invariants induce equivalent coloring invariants with respect to an arbitrary finite GL-rack.

What carries the argument

The canonical decomposition of finite GL-racks into permutation GL-racks and block GL-racks, which preserves the structure needed for equivalence of induced coloring invariants on Legendrian knots.

If this is right

  • Coloring invariants from any finite GL-rack are completely determined by the classical invariants of the Legendrian knot.
  • The equivalence of coloring invariants holds uniformly for every finite GL-rack.
  • Invariants can be computed by handling the permutation component and block component separately.
  • Legendrian knots are not further distinguished by these colorings beyond what the classical invariants already provide.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • GL-rack colorings may turn out to be no stronger than classical invariants for distinguishing Legendrian knots.
  • Analogous decompositions could be explored for other rack-like structures used in knot invariants.
  • Concrete examples of GL-racks could be checked to verify the decomposition in low-order cases.

Load-bearing premise

The canonical decomposition of every finite GL-rack into permutation and block types holds without exception and directly forces the equivalence of coloring invariants.

What would settle it

An explicit finite GL-rack that resists canonical decomposition into permutation and block types, or a pair of Legendrian knots with identical classical invariants but non-equivalent colorings under some finite GL-rack.

Figures

Figures reproduced from arXiv: 2605.16968 by Zhiyi He, Zhiyun Cheng.

Figure 1
Figure 1. Figure 1: Stabilization 2.2. Generalized Legendrian racks. A generalized Legendrian rack, abbreviated as GL-rack, is an algebraic structure generalizing the classical rack to accommodate the study of Legendrian knots. Differently from an ordinary rack, a GL-rack is equipped with two additional compatible operations, denoted by u and d. These additional operations enable the construction of invariants for Legendrian … view at source ↗
Figure 2
Figure 2. Figure 2: Rules of coloring Example 2.5. Consider the Legendrian knot depicted in [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Legendrian unknot For topological knots, there exists an almost complete invariant called the knot quandle, also known as the fundamental quandle [14, 18]. In analogy with this construction, we define the fundamental GL-rack for Legendrian knots, which is an invariant of Legendrian knots and induces the corresponding coloring invariant for Legendrian knots with respect to a given finite GL-rack. For a more… view at source ↗
Figure 4
Figure 4. Figure 4: Legendrian trefoil K (1) For the GL-rack given in example 3.9, it is straightforward to verify that ColX(K) = ColB1 (K) + ColB2 (K) = 2 + 0 = 2 [PITH_FULL_IMAGE:figures/full_fig_p009_4.png] view at source ↗
read the original abstract

In this paper, we explore the algebraic structure of GL-racks, and demonstrate that finite GL-racks decompose canonically into permutation GL-racks and block GL-racks. As a corollary, we verify that two Legendrian knots with the same classical invariants share equivalent coloring invariants with respect to any given finite GL-rack.

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.

Referee Report

2 major / 2 minor

Summary. The paper defines GL-racks as racks equipped with a compatible group action and proves that every finite GL-rack admits a canonical decomposition as a direct product of a permutation GL-rack and a block GL-rack. As a corollary it concludes that any two Legendrian knots sharing the same Thurston-Bennequin number and rotation number induce identical coloring invariants for every finite GL-rack.

Significance. If the decomposition theorem holds without exceptions, the result supplies a structural explanation for why classical invariants control GL-rack colorings of Legendrian knots, potentially simplifying invariant computations and clarifying the role of the GL-action. The manuscript provides an explicit algebraic decomposition that is free of fitted parameters.

major comments (2)
  1. [§3, Theorem 3.5] §3, Theorem 3.5: the proof that the decomposition is exhaustive for every finite GL-rack must explicitly rule out residual mixing between the permutation and block components under the rack operation; without this, the implication that coloring invariants depend only on (tb, rot) fails for any counterexample rack.
  2. [§5, Corollary 5.3] §5, Corollary 5.3: the argument that equivalent classical invariants imply equivalent colorings for an arbitrary finite GL-rack rests entirely on the universality of the decomposition; a single finite GL-rack outside the two types would falsify the corollary.
minor comments (2)
  1. [§2] The definition of a GL-rack in §2 should include an explicit compatibility axiom between the rack operation and the group action to avoid ambiguity in later sections.
  2. [Figure 1] Figure 1 and the accompanying caption would benefit from labeling the permutation and block summands to make the decomposition visually immediate.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for the constructive major comments. We address each point below and have revised the manuscript to strengthen the exposition of the decomposition theorem.

read point-by-point responses

  1. Referee: [§3, Theorem 3.5] §3, Theorem 3.5: the proof that the decomposition is exhaustive for every finite GL-rack must explicitly rule out residual mixing between the permutation and block components under the rack operation; without this, the implication that coloring invariants depend only on (tb, rot) fails for any counterexample rack.

    Authors: We appreciate the referee's request for greater explicitness. The proof of Theorem 3.5 defines the permutation component as the union of orbits under the GL-action and the block component as the set of elements fixed by the action in a manner compatible with the rack operation. The compatibility axiom of a GL-rack is used to show that the rack operation maps each component into itself. To address the concern about residual mixing, we have inserted a new lemma (Lemma 3.6) immediately after Theorem 3.5 that verifies, by direct computation on generators, that there are no cross terms: if x lies in the permutation component and y in the block component, then both x ▹ y and y ▹ x remain within their respective components. This makes the direct-product structure of the rack operation fully explicit and rules out mixing for all finite GL-racks. revision: yes

  2. Referee: [§5, Corollary 5.3] §5, Corollary 5.3: the argument that equivalent classical invariants imply equivalent colorings for an arbitrary finite GL-rack rests entirely on the universality of the decomposition; a single finite GL-rack outside the two types would falsify the corollary.

    Authors: The corollary is a direct consequence of the decomposition established in Theorem 3.5. Because every finite GL-rack decomposes as a direct product of a permutation GL-rack and a block GL-rack, and because the coloring invariants for each of these two classes are already shown (in §§4 and 5) to be completely determined by the pair (tb, rot), the coloring invariant for an arbitrary finite GL-rack is likewise determined by (tb, rot). The added Lemma 3.6 strengthens the universality claim, so no finite GL-rack lies outside the two types. We have updated the statement of Corollary 5.3 to reference the new lemma explicitly. revision: partial

Circularity Check

0 steps flagged

No circularity: derivation chain is self-contained with no reductions to inputs or self-citations exhibited

full rationale

The paper states that it demonstrates a canonical decomposition of finite GL-racks into permutation and block types, from which a corollary on equivalent coloring invariants for Legendrian knots with matching classical invariants follows. No equations, definitions, or proof steps are provided in the available text that would allow identification of any self-definitional loop, fitted parameter renamed as prediction, or load-bearing self-citation. The decomposition is presented as a result to be shown rather than presupposed, and the coloring equivalence is explicitly labeled a corollary. Without quoted reductions or circular steps meeting the strict criteria of exhibiting Eq. X equivalent to input by construction, the derivation remains independent of its target claims.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Based solely on the abstract, no explicit free parameters, axioms, or invented entities are stated; the work appears to rely on standard definitions of racks, Legendrian knots, and coloring invariants from prior literature.

pith-pipeline@v0.9.0 · 5563 in / 1068 out tokens · 33840 ms · 2026-05-19T18:49:22.395676+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

21 extracted references · 21 canonical work pages · 1 internal anchor

  1. [1]

    From racks to pointed Hopf algebras.Adv

    Nicol´ as Andruskiewitsch and Mat´ ıas Gra˜ na. From racks to pointed Hopf algebras.Adv. Math., 178(2):177– 243, 2003

    work page 2003

  2. [2]

    Holonomy braidings, biquandles and quantum invariants of links with SL 2(C) flat connections.Selecta Math

    Christian Blanchet, Nathan Geer, Bertrand Patureau-Mirand, and Nicolai Reshetikhin. Holonomy braidings, biquandles and quantum invariants of links with SL 2(C) flat connections.Selecta Math. (N.S.), 26(2):Paper No. 19, 58, 2020

    work page 2020

  3. [3]

    Scott Carter, Daniel Jelsovsky, Seiichi Kamada, Laurel Langford, and Masahico Saito

    J. Scott Carter, Daniel Jelsovsky, Seiichi Kamada, Laurel Langford, and Masahico Saito. Quandle cohomology and state-sum invariants of knotted curves and surfaces.Trans. Amer. Math. Soc., 355(10):3947–3989, 2003

    work page 2003

  4. [4]

    Legendrian rack invariants of Legendrian knots

    Jose Ceniceros, Mohamed Elhamdadi, and Sam Nelson. Legendrian rack invariants of Legendrian knots. Commun. Korean Math. Soc., 36(3):623–639, 2021

    work page 2021

  5. [5]

    Fundamental generalized Legendrian rack and classical invariants.Internat

    Zhiyun Cheng and Zhiyi He. Fundamental generalized Legendrian rack and classical invariants.Internat. J. Math., 37(4):Paper No. 2650027, 2026

    work page 2026

  6. [6]

    Dixon, Edward W

    John D. Dixon, Edward W. Formanek, John C. Poland, and Luis Ribes. Profinite completions and isomorphic finite quotients.J. Pure Appl. Algebra, 23(3):227–231, 1982

    work page 1982

  7. [7]

    Yang-Baxter deformations of quandles and racks.Algebr

    Michael Eisermann. Yang-Baxter deformations of quandles and racks.Algebr. Geom. Topol., 5:537–562, 2005

    work page 2005

  8. [8]

    Yang-Baxter deformations and rack cohomology.Trans

    Michael Eisermann. Yang-Baxter deformations and rack cohomology.Trans. Amer. Math. Soc., 366(10):5113– 5138, 2014

    work page 2014

  9. [9]

    A survey of racks and quandles: some recent developments.Algebra Colloq., 27(3):509– 522, 2020

    Mohamed Elhamdadi. A survey of racks and quandles: some recent developments.Algebra Colloq., 27(3):509– 522, 2020

    work page 2020

  10. [10]

    American Mathematical Society, Providence, RI, 2015

    Mohamed Elhamdadi and Sam Nelson.Quandles—an introduction to the algebra of knots, volume 74 of Student Mathematical Library. American Mathematical Society, Providence, RI, 2015

    work page 2015

  11. [11]

    John B. Etnyre. Legendrian and transversal knots. InHandbook of knot theory, pages 105–185. Elsevier B. V., Amsterdam, 2005

    work page 2005

  12. [12]

    Racks and links in codimension two.J

    Roger Fenn and Colin Rourke. Racks and links in codimension two.J. Knot Theory Ramifications, 1(4):343– 406, 1992

    work page 1992

  13. [13]

    Invariants of Legendrian and transverse knots in the standard contact space.Topology, 36(5):1025–1053, 1997

    Dmitry Fuchs and Serge Tabachnikov. Invariants of Legendrian and transverse knots in the standard contact space.Topology, 36(5):1025–1053, 1997

    work page 1997

  14. [14]

    A classifying invariant of knots, the knot quandle.J

    David Joyce. A classifying invariant of knots, the knot quandle.J. Pure Appl. Algebra, 23(1):37–65, 1982

    work page 1982

  15. [15]

    Generalized Legendrian racks of Legendrian links.J

    Biswadeep Karmakar, Deepanshi Saraf, and Mahender Singh. Generalized Legendrian racks of Legendrian links.J. Topol. Anal., 18(6):1857–1874, 2026

    work page 2026

  16. [16]

    Bi-Legendrian rack colorings of Legendrian knots.J

    Naoki Kimura. Bi-Legendrian rack colorings of Legendrian knots.J. Knot Theory Ramifications, 32(4):Paper No. 2350029, 16, 2023

    work page 2023

  17. [17]

    Dheeraj Kulkarni and T. V. H. Prathamesh. On rack invariants of legendrian knots.arXiv:1706.07626, 2017

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  18. [18]

    S. V. Matveev. Distributive groupoids in knot theory.Mat. Sb. (N.S.), 119(161)(1):78–88, 160, 1982

    work page 1982

  19. [19]

    Permutations, power operations, and the center of the category of racks.Comm

    Markus Szymik. Permutations, power operations, and the center of the category of racks.Comm. Algebra, 46(1):230–240, 2018

    work page 2018

  20. [20]

    Classification and structure of generalized legendrian racks.arXiv:2504.12671v3, 2025

    Luc Ta. Classification and structure of generalized legendrian racks.arXiv:2504.12671v3, 2025

    work page arXiv 2025

  21. [21]

    Distinguishing power of 4-legendrian permutation racks.arXiv:2510.26619v2, 2026

    Luc Ta and Peyton Wood. Distinguishing power of 4-legendrian permutation racks.arXiv:2510.26619v2, 2026. School of Mathematical Sciences, Laboratory of Mathematics and Complex Systems, MOE, Beijing Normal University, Beijing 100875, China Email address:czy@bnu.edu.cn School of Mathematical Sciences, Beijing Normal University, Beijing 100875, China Email a...

    work page arXiv 2026