Orderability of Link Quandles

Basic Information

• Paper ID: 2010.07159
• Title: Orderability of Link Quandles
• Authors: Hitesh Raundal, Mahender Singh, Manpreet Singh
• Classification: math.GT (Geometric Topology)
• Publication Date: July 21, 2021 (arXiv v3)
• Paper Link: https://arxiv.org/abs/2010.07159

Abstract

This paper develops a general theory of quandle orderability, focusing on link quandles of tame links, and provides general constructions of orderable quandles. The paper proves that the knot quandles of many fibered knots are right-orderable, while link quandles of most nontrivial torus links are not right-orderable. As a corollary, it is shown that the knot quandle of the trefoil knot is neither left-orderable nor right-orderable. Furthermore, it is demonstrated that link quandles of certain nontrivial positive (or negative) links are not bi-orderable, including some alternating knots with prime determinant and alternating Montesinos links. The paper also explores the interrelationship between quandle orderability and the orderability of its enveloping group. The results show that the orderability behavior of link quandles differs significantly from that of the corresponding link groups.

Research Background and Motivation

Problem Background

1. Mature theory of group orderability: The existence of linear orders on groups has profound implications for their structure. Left-orderable groups cannot have torsion, and bi-orderable groups cannot even have generalized torsion. In applications, the integral group ring of a left-orderable group has no zero divisors, which relates to the famous Kaplansky conjecture.
2. Orderability of topological groups: Many groups arising in topology are left-orderable. For example, the fundamental groups of all connected surfaces except the projective plane and Klein bottle are bi-orderable; braid groups are a typical example of left-orderable but not bi-orderable groups; pure braid groups are bi-orderable.
3. Orderability of link groups: The fundamental group of a link complement is left-orderable, but not all link complement groups are bi-orderable. The knot group of a fibered knot is bi-orderable when all roots of its Alexander polynomial are positive real numbers.

Research Motivation

1. Generalization from groups to quandles: Since the concept of orderability can be defined on magmas, and quandles are interesting examples of non-associative magmas closely related to link groups, exploring quandle orderability is natural.
2. Theoretical gap: Although the orderability of conjugacy quandles of bi-orderable groups has been studied, the theory of link quandle orderability remains incomplete.
3. Practical applications: The study of orderability is important for research on zero divisors in quandle rings.

Core Contributions

1. Established a general theory of quandle orderability:
   • Proved that any linear order on a quandle must be of restricted type (Theorem 3.4)
   • Provided general construction methods for orderable quandles
2. Proved important positive results:
   • The knot quandle of a fibered knot is right-orderable when all roots of its Alexander polynomial are positive real numbers
   • Free quandles are right-orderable
   • (G,A)-quandles are right-orderable when G is a bi-orderable group
3. Proved important negative results:
   • Link quandles of most nontrivial torus links are not right-orderable
   • The knot quandle of the trefoil knot is neither left-orderable nor right-orderable
   • Link quandles of certain positive (negative) links are not bi-orderable
4. Revealed differences between quandle and group orderability:
   • The orderability behavior of link quandles differs significantly from that of corresponding link groups
   • Explored the connection between quandle orderability and that of its enveloping group

Methodology Details

Task Definition

Study the orderability of quandles, namely defining linear orders on quandles compatible with the quandle operation. Specific definitions:

• Left-orderable: There exists a linear order < such that x < y implies z ∗ x < z ∗ y
• Right-orderable: There exists a linear order <' such that x <' y implies x ∗ z <' y ∗ z
• Bi-orderable: Both left-orderable and right-orderable

Theoretical Framework

1. Type Analysis of Linear Orders

Defined the type (α₁, α₂, α₃, α₄) of linear orders, where αᵢ ∈ {=, <, >} represents the compatibility of the order with four operations:

• x ∗ z α₁ y ∗ z (right multiplication order-preservation)
• x ∗⁻¹ z α₂ y ∗⁻¹ z (right inverse multiplication order-preservation)
• z ∗ x α₃ z ∗ y (left multiplication order-preservation)
• z ∗⁻¹ x α₄ z ∗⁻¹ y (left inverse multiplication order-preservation)

Key Theorem 3.4: Proved that any linear order can only be one of the following four types:

• (<,<,=,=): Trivial quandle
• (<,<,<,>): Bi-orderable quandle
• (<,<,>,<): Certain right-orderable quandles
• (>,>,<,<): Certain left-orderable quandles

2. Quandle Action Theory

Theorem 4.2: Established the relationship between orderability and actions:

• If a semi-Latin quandle is right-orderable, then it acts faithfully on a linearly ordered set and preserves order
• Conversely, if a quandle acts faithfully on a well-ordered set and preserves order, then it is right-orderable

3. Construction of Orderable Quandles

Provided three methods for constructing orderable quandles:

• Disjoint union construction (Proposition 4.3)
• Direct product construction (Proposition 4.4)
• Extension construction (Proposition 4.5)

Technical Innovations

1. Type analysis method: Systematically characterized all possible order types by analyzing the compatibility of linear orders with quandle operations.
2. Action-theoretic method: Transformed the orderability problem into a problem of quandle actions on ordered sets, providing an effective tool for determining orderability.
3. Combinatorial analysis of torus links: Cleverly proved non-orderability by analyzing the generator relations of torus link quandles.
4. Alexander polynomial criterion: Connected the properties of roots of the Alexander polynomial of fibered knots with the orderability of their quandles.

Experimental Setup

Mathematical Objects

The paper primarily studies the following types of quandles:

1. Link quandles Q(L): Determined by the diagram of link L
2. Torus link quandles Q(T(m,n)): Quandles of torus links T(m,n)
3. Alexander quandles Alex(G,φ): Constructed from group G and automorphism φ
4. Conjugacy quandles Conj(G): Conjugacy action quandles of group G
5. Core quandles Core(G): Core quandles of group G

Analysis Methods

1. Algebraic analysis: Analyzed quandle structure through representations and relations
2. Topological analysis: Utilized topological properties of links to study their quandles
3. Combinatorial analysis: Determined orderability through combinatorial properties of generators and relations

Experimental Results

Main Results

1. Positive Results

• Corollary 6.4: If all roots of the Alexander polynomial of a fibered knot are positive real numbers, then its knot quandle is right-orderable
• Corollary 5.2: Free quandles are right-orderable; in particular, the link quandle of the trivial link is right-orderable
• Theorem 5.1: If G is a bi-orderable group and A is a subset of G, then the (G,A)-quandle is right-orderable

2. Negative Results

• Theorem 7.2: For m,n ≥ 2 with neither dividing the other, the link quandle of torus link T(m,n) is not right-orderable
• Corollary 7.4: The knot quandle of the trefoil knot is neither left-orderable nor right-orderable
• Theorem 6.6: Link quandles of certain nontrivial positive (negative) links are not bi-orderable

3. Comparative Findings

• Corollary 7.3: Recovered the Perron-Rolfsen result: the knot group of a nontrivial torus knot is not bi-orderable
• The orderability behavior of link quandles differs significantly from that of link groups

Specific Case Analysis

Trefoil Knot Case

The knot quandle of the trefoil knot T(2,3) is determined by generators a₁, a₂ and relations:

• a₁ = a₂ ∗ a₁ ∗ a₂
• a₂ = a₁ ∗ a₂ ∗ a₁

By assuming the existence of a left order and deriving a contradiction, it is proved that this quandle is not left-orderable.

Torus Link Case

For T(m,n), its link quandle is determined by relations aᵢ = aₙ₊ᵢ ∗ aₙ ∗ ⋯ ∗ a₁. By analyzing the behavior of these relations under an assumed right order, a contradiction is obtained.

Related Work

Group Orderability Theory

• Clay and Rolfsen's monograph explores orderability of topological groups
• Dehornoy et al. studied orderability of braid groups
• Boyer, Rolfsen, and Wiest studied orderability of 3-manifold groups

Quandle Theory

• Joyce and Matveev independently established the connection between quandles and knot theory
• Bardakov and Nasybullov generalized the construction of free quandles to (G,A)-quandles
• Previous work studied orderability of conjugacy quandles of bi-orderable groups

Link Invariants

• Relationship between Alexander polynomial and bi-orderability of fibered knots
• Fox coloring and quandle coloring theory
• Properties of Montesinos links and torus links

Conclusions and Discussion

Main Conclusions

1. Theoretical framework: Established a complete theory of quandle orderability, including classification and construction methods for orders
2. Specific results: Determined the orderability of multiple classes of important link quandles
3. Comparative findings: Revealed essential differences between quandle orderability and group orderability

Limitations

1. Complete characterization problem: Not all link quandles have been completely characterized for orderability
2. Algorithmic problem: Lack of effective algorithms for determining orderability of general quandles
3. Left-orderability: Research on left-orderability is relatively limited

Future Directions

1. Theory refinement: Further develop the general theory of quandle orderability
2. Computational methods: Develop algorithms for determining quandle orderability
3. Application expansion: Apply results to quandle rings and quandle homology theory

In-Depth Evaluation

Strengths

1. Theoretical completeness: Established a systematic theoretical framework for quandle orderability
2. Methodological innovation: Introduced type analysis and action-theoretic methods
3. Deep results: Obtained multiple important positive and negative results
4. Technical sophistication: Clever proof techniques, particularly in the analysis of torus links
5. Clear presentation: Well-structured paper with rigorous proofs

Weaknesses

1. Algorithmic complexity: Lack of practical algorithms for determination
2. Limited applications: Practical applications of theoretical results need further exploration
3. Open problems: Many important open problems remain unsolved

Impact

1. Academic value: Provides new research directions for quandle theory and knot theory
2. Theoretical significance: Deepens understanding of orderability in non-associative structures
3. Application prospects: Provides foundations for related fields such as quandle ring theory

Applicable Scenarios

1. Knot theory research: Analyzing algebraic invariants of knots and links
2. Quandle theory: Studying algebraic properties of quandles
3. Order theory: Orderability research in non-associative structures
4. Topological algebra: Studying algebraic invariants of topological objects

References

The paper cites 34 important references covering classical and recent results in group orderability theory, quandle theory, knot theory, and other related fields, providing a solid theoretical foundation for the research.