Pith. sign in

REVIEW 3 cited by

Classification and structure of generalized Legendrian racks

T0 review · reviewed 2026-08-16 · deepseek-v4-flash

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

Pith's one-line read Generalized Legendrian racks are equivalent as a category to ordinary racks, with explicit GL-structure classifications and computer enumeration up to order 8.

desk verdict Solid algebra paper: the rack/GL-quandle equivalence is real and backs up the enumeration; only minor gaps in the GL-rack tensor half and the Legendrian center proof. read the letter →

arxiv 2504.12671 v3 pith:6KYDDQOC submitted 2025-04-17 math.GT math.GRmath.QA

Luc Ta This is my paper · ORCID
classification math.GTmath.GRmath.QA
keywords racksgl-rackslegendriancategoriescomputegeneralizedgl-quandlesmedial
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

Knot theory uses algebra to tell knots apart. A rack is a set with a rule that mimics how strands pass over each other. In 2023, researchers added an extra operation to racks so the algebra could also track the special geometry of Legendrian knots, which are knots that satisfy an extra contact-geometry condition. The resulting objects were called generalized Legendrian racks, or GL-racks.

This paper starts by simplifying the definition. The older definitions used two maps u and d; the author shows that one of them is determined by the other plus a canonical symmetry of the rack, so a GL-rack can be described by a single symmetry u. With the simpler definition, the set of possible symmetries on a given rack is exactly the group of rack automorphisms that commute with all the rack's basic operations.

The main structural result is that the category of racks and the category of GL-quandles (GL-racks whose underlying structure is a quandle) are isomorphic. That is, each rack can be turned into a GL-quandle, each GL-quandle back into a rack, and these translations are inverse to each other. This is surprising because the two notions look different, yet they carry exactly the same information. The paper also computes the centers of the relevant categories, shows that tensor products of racks have a unit object, and provides a computer search that lists all GL-racks up to eight elements. The resulting table is the first enumeration of these objects.

Extended reading notes

Core claim

The central claim is Theorem 5.6: the functors F: Rack to GLQ and G: GLQ to Rack are isomorphisms of categories, restricting to an isomorphism of the medial subcategories. If true, racks and GL-quandles are the same mathematical data, so results in one theory transfer to the other. The paper also carries this to an isomorphism of algebraic theories (Corollary 5.7).

Load-bearing premise

The load-bearing external premise is that Vojtěchovský and Yang's classification of racks up to order 11 is complete and correct (Appendix A.2, [42]). Algorithm A.1 consumes that list to produce Table A.1, and the coincidence g_q(n)=r(n) in the table is cited as the original motivation for Theorem 5.6. If the library is missing representatives, the counts in Table A.1 are wrong and that motivation disappears, even though the categorical proofs are independent of the data.

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.

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

No free parameters are fitted. The paper relies on standard algebraic theory, prior theorems about quandles and racks, and one external computational database; the only new naming is internal to the paper.

assumptions (5)
  • standard math Racks and GL-racks are models of algebraic theories in Set; free objects, quotients, tensor products, and categorical centers behave as described in Borceux [4].
    Used throughout Sections 2.3, 3.3, 5, and 6, for example in Definition 6.1, Proposition 6.5, and Theorem 6.7.
  • standard math The center of the category of racks is the infinite cyclic group generated by Θ (Szymik [37, Thm. 5.4]), and Θ is a central natural automorphism (Proposition 2.16).
    Used in Theorem 5.1 and in the construction of the functor F in Proposition 5.2.
  • domain assumption For groups G, the inner automorphism group of Conj G equals Inn_Grp G, and Aut(Conj G) equals Aut_Grp G when G is centerless (Elhamdadi, Macquarrie, Restrepo [14]; Bardakov, Nasybullov, Singh [2]).
    Used in Proposition 4.7 to show U_Q = {id} for centerless groups.
  • domain assumption For a 2-torsion-free abelian group A, Aut T(A) is isomorphic to the holomorph A ⋊ Aut_Grp A, with Inn T(A) identified with 2A ⋊ {±1} (Bardakov, Dey, Singh [1, Thm. 4.2]).
    Used in the proof of Proposition 4.9 for Takasaki kei.
  • domain assumption The Vojtěchovský-Yang library of racks up to order 11 is complete and correct (Vojtěchovský and Yang [42]).
    Input to Algorithm A.1; the correctness of Table A.1 depends on this external database.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Classification and structure of generalized Legendrian racks." pith.science (2026). https://pith.science/paper/6KYDDQOC

@misc{pith2026250412671,
  author       = {Pith},
  title        = {Pith review of: Classification and structure of generalized Legendrian racks},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/6KYDDQOC}},
  note         = {Machine review of arXiv:2504.12671}
}
read the original abstract

We study algebraic aspects of generalized Legendrian racks, which are nonassociative structures based on the Legendrian Reidemeister moves. We answer an open question characterizing the group of GL-structures on a given rack. As applications, we classify several infinite families of GL-racks. We also compute automorphism groups of dihedral GL-quandles. Then we compute the centers of the category of GL-racks and several of its full subcategories. We also construct an equivalence of categories between racks and GL-quandles. We also study tensor products of racks and GL-racks coming from universal algebra. Surprisingly, the categories of racks and GL-racks have tensor units. The induced symmetric monoidal structure on medial racks is closed, and similarly for medial GL-racks.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 3 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Good involutions of conjugation subquandles

    math.GT 2025-05 accept novelty 7.0 of 10

    Good involutions of conjugation subquandles and core quandles are characterized by central-valued functions, with algorithms, enumeration data, new CNS-quandle families, and a category equivalence between racks and Le...

  2. On medial Latin quandles and affine modules

    math.GR 2026-02 accept novelty 6.0 of 10

    As categories, Latin medial quandles are equivalent to affine modules over Z[t^{±1},(1−t)^{−1}], and medial commutative quandles to affine modules over Z[1/2].

  3. Fundamental generalized Legendrian rack and classical invariants

    math.GT 2025-07 conditional novelty 6.0 of 10

    The fundamental generalized Legendrian rack of a Legendrian knot determines the Thurston-Bennequin number and rotation number up to a simultaneous sign.

Reference graph

Works this paper leans on

42 extracted references · 36 canonical work pages · cited by 3 Pith papers

  1. [1]

    Bardakov, Pinka Dey, and Mahender Singh,Automorphism groups of quandles arising from groups, Monatsh

    Valeriy G. Bardakov, Pinka Dey, and Mahender Singh,Automorphism groups of quandles arising from groups, Monatsh. Math.184(2017), no. 4, 519–530. MR3718201

    work page 2017

  2. [2]

    Bardakov, Timur Nasybullov, and Mahender Singh,Automorphism groups of quandles and related groups, Monatsh

    Valeriy G. Bardakov, Timur Nasybullov, and Mahender Singh,Automorphism groups of quandles and related groups, Monatsh. Math.189(2019), no. 1, 1–21. MR3948284

    work page 2019

  3. [3]

    Accessed: 2025- 3-15

    Nilangshu Bhattacharyya, Cyrus Cox, Justin Murray, Adithyan Pandikkadan, Shea Vela-Vick, and Angela Wu, Legendrian knot atlas, n.d.https://www.math.lsu.edu/~knotatlas/legendrian/index.html. Accessed: 2025- 3-15

    work page 2025

  4. [4]

    51, Cambridge University Press, Cambridge, 1994

    Francis Borceux,Handbook of categorical algebra, volume 2:Categories and structures, Encyclopedia of Mathe- matics and its Applications, vol. 51, Cambridge University Press, Cambridge, 1994. MR1313497

    work page 1994

  5. [5]

    Preprint, arXiv:2308.11852 [math.RA]

    Wayne Burrows and Christopher Tuffley,The rack congruence condition and half congruences in racks, 2024. Preprint, arXiv:2308.11852 [math.RA]

    arXiv 2024

  6. [6]

    Math.273(2015), no

    Patricia Cahn and Asa Levi,Vassiliev invariants of virtual Legendrian knots, Pacific J. Math.273(2015), no. 1, 21–46. MR3290443

    work page 2015

  7. [7]

    Alessia Cattabriga and Timur Nasybullov,Virtual quandle for links in lens spaces, Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. RACSAM112(2018), no. 3, 657–669. MR3819722

    work page 2018

  8. [8]

    Korean Math

    Jose Ceniceros, Mohamed Elhamdadi, and Sam Nelson,Legendrian rack invariants of Legendrian knots, Com- mun. Korean Math. Soc.36(2021), no. 3, 623–639. MR4292403

    work page 2021

Show all 42 references
  1. [9]

    Math.22(2013), no

    Wutichai Chongchitmate and Lenhard Ng,An atlas of Legendrian knots, Exp. Math.22(2013), no. 1, 26–37. MR3038780

    2013

  2. [10]

    Crans and Sam Nelson,Hom quandles, J

    Alissa S. Crans and Sam Nelson,Hom quandles, J. Knot Theory Ramifications23(2014), no. 2, 1450010, 18. MR3197054

    2014

  3. [11]

    Categ.18(2007), No

    Alexei Davydov,Nuclei of categories with tensor products, Theory Appl. Categ.18(2007), No. 16, 440–472. MR2369108

    2007

  4. [12]

    Dummit and Richard M

    David S. Dummit and Richard M. Foote,Abstract algebra, Third, John Wiley & Sons, Inc., Hoboken, NJ, 2004. MR2286236

    2004

  5. [13]

    3, 509–522

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

    2020

  6. [14]

    Algebra Appl.11(2012), no

    Mohamed Elhamdadi, Jennifer Macquarrie, and Ricardo Restrepo,Automorphism groups of quandles, J. Algebra Appl.11(2012), no. 1, 1250008, 9. MR2900878

    2012

  7. [15]

    74, American Mathematical Society, Providence, RI, 2015

    Mohamed Elhamdadi and Sam Nelson,Quandles:An introduction to the algebra of knots, Student Mathematical Library, vol. 74, American Mathematical Society, Providence, RI, 2015. MR3379534

    2015

  8. [16]

    Pure Appl

    Mohamed Elhamdadi, Brandon Nunez, and Mahender Singh,Enhancements of link colorings via idempotents of quandle rings, J. Pure Appl. Algebra227(2023), no. 10, Paper No. 107400, 16. MR4579329

    2023

  9. [17]

    Etnyre,Legendrian and transversal knots, Handbook of knot theory, 2005, pp

    John B. Etnyre,Legendrian and transversal knots, Handbook of knot theory, 2005, pp. 105–185. MR2179261 24 LỰC TA

    2005

  10. [18]

    Guccione, and Juan J

    Marco Andrés Farinati, Jorge A. Guccione, and Juan J. Guccione,The homology of free racks and quandles, Comm. Algebra42(2014), no. 8, 3593–3606. MR3196064

    2014

  11. [19]

    Knot Theory Ramifications1(1992), no

    Roger Fenn and Colin Rourke,Racks and links in codimension two, J. Knot Theory Ramifications1(1992), no. 4, 343–406. MR1194995 [20]GAP – Groups, Algorithms, and Programming, Version 4.14.0, The GAP Group, 2024

    1992

  12. [21]

    Knot Theory Ramifications30(2021), no

    Tobias Grøsfjeld,Thesaurus racks: Categorizing rack objects, J. Knot Theory Ramifications30(2021), no. 4, Paper No. 2150019, 18. MR4272643

    2021

  13. [22]

    Symbolic Comput.41(2006), no

    Richard Henderson, Todd Macedo, and Sam Nelson,Symbolic computation with finite quandles, J. Symbolic Comput.41(2006), no. 7, 811–817. MR2232202

    2006

  14. [23]

    Algebra443(2015), 300–334

    Pˇ remysl Jedliˇ cka, Agata Pilitowska, David Stanovský, and Anna Zamojska-Dzienio,The structure of medial quandles, J. Algebra443(2015), 300–334. MR3400403

    2015

  15. [24]

    Pure Appl

    David Joyce,A classifying invariant of knots, the knot quandle, J. Pure Appl. Algebra23(1982), no. 1, 37–65. MR638121

    1982

  16. [25]

    107520, 18

    Seiichi Kamada,Tensor products of quandles and 1-handles attached to surface-links, Topology Appl.301(2021), Paper No. 107520, 18. MR4312970

    2021

  17. [26]

    Biswadeep Karmakar, Deepanshi Saraf, and Mahender Singh,Generalised Legendrian racks of Legendrian links,

  18. [27]

    Knot Theory Ramifications32(2023), no

    Naoki Kimura,Bi-Legendrian rack colorings of Legendrian knots, J. Knot Theory Ramifications32(2023), no. 4, Paper No. 2350029, 16. MR4586264

    2023

  19. [28]

    Thesis (Ph.D.)–Waseda University Graduate School of Fundamental Science and Engineering

    ,Rack coloring invariants of Legendrian knots, 2024. Thesis (Ph.D.)–Waseda University Graduate School of Fundamental Science and Engineering

    2024

  20. [29]

    Margaret Kipe, Samantha Pezzimenti, Leif Schaumann, Lực Ta, and Tony W. H. Wong,Bounds on the mosaic number of Legendrian knots, to appear in J. Knot Theory Ramifications, Paper No. 2550055, 52.https://doi. org/10.1142/S0218216525500555

    doi

  21. [30]

    Dheeraj Kulkarni and T. V. H. Prathamesh,On rack invariants of Legendrian knots, 2017. Preprint, arXiv:1706.07626 [math.GT]

    2017 arXiv

  22. [31]

    Vladimir Matveev,Distributive groupoids in knot theory, Mat

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

    1982

  23. [32]

    org/A181770

    James McCarron,Sequence A181770 in the On-line Encyclopedia of Integer Sequences, 2010.https://oeis. org/A181770. Accessed: 2024-12-30

    2010

  24. [33]

    a quandle?, Notices Amer

    Sam Nelson,What is. . .a quandle?, Notices Amer. Math. Soc.63(2016), no. 4, 378–380. MR3444659

    2016

  25. [34]

    MR3729413

    Takefumi Nosaka,Quandles and topological pairs:Symmetry, knots, and cohomology, SpringerBriefs in Mathe- matics, Springer, Singapore, 2017. MR3729413

    2017

  26. [35]

    Math., 1–149.https://doi.org/10.1080/10586458.2024.2430715

    Ina Petkova and Noah Schwartz,A Legendrian knot atlas for knots of arc index 10, to appear in Exp. Math., 1–149.https://doi.org/10.1080/10586458.2024.2430715

    2024

  27. [36]

    80, Springer- Verlag, New York-Berlin, 1982

    Derek John Scott Robinson,A course in the theory of groups, Graduate Texts in Mathematics, vol. 80, Springer- Verlag, New York-Berlin, 1982. MR648604

    1982

  28. [37]

    Algebra46 (2018), no

    Markus Szymik,Permutations, power operations, and the center of the category of racks, Comm. Algebra46 (2018), no. 1, 230–240. MR3764859

    2018

  29. [38]

    Preprint, arXiv:2505.08090 [math.GT]

    Lực Ta,Good involutions of conjugation subquandles, 2025. Preprint, arXiv:2505.08090 [math.GT]

    2025 arXiv

  30. [39]

    Accessed: 2025-7-17

    ,GL-Rack-Classification, 2025.https://github.com/luc-ta/GL-Rack-Classification. Accessed: 2025-7-17

    2025

  31. [40]

    J.49(1943), 145–207

    Mituhisa Takasaki,Abstraction of symmetric transformations, Tôhoku Math. J.49(1943), 145–207. MR21002

    1943

  32. [41]

    Accessed: 2025-01-03

    Petr Vojtˇ echovský and Seung Yeop Yang,Racks and quandles of small orders, 2018.https://www.cs.du.edu/ ~petr/libraries_of_algebraic_structures.html. Accessed: 2025-01-03

    2018

  33. [42]

    Comp.88(2019), no

    ,Enumeration of racks and quandles up to isomorphism, Math. Comp.88(2019), no. 319, 2523–2540. MR3957904 Department of Mathematics, University of Pittsburgh, Pittsburgh, Pennsyl v ania 15260 Email address:ldt37@pitt.edu CLASSIFICATION AND STRUCTURE OF GL-RACKS 25 AppendixA.Exh...

    2019

  34. [2024]

    Preprint, arXiv:2301.06854 [math.GT]

Pith tools

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