The paper develops a general theory of orderability of quandles with a focus on link quandles of tame links and gives some general constructions of orderable quandles. We prove that knot quandles of many fibered prime knots are right-orderable, whereas link quandles of most non-trivial torus links are not right-orderable. As a consequence, we deduce that the knot quandle of the trefoil is neither left nor right orderable. Further, it is proved that link quandles of certain non-trivial positive (or negative) links are not bi-orderable, which includes some alternating knots of prime determinant and alternating Montesinos links. The paper also explores interconnections between orderability of quandles and that of their enveloping groups. The results establish that orderability of link quandles behave quite differently than that of corresponding link groups.
Ordinabilità dei Quandle di Link
- ID Articolo: 2010.07159
- Titolo: Ordinabilità dei Quandle di Link
- Autori: Hitesh Raundal, Mahender Singh, Manpreet Singh
- Classificazione: math.GT (Topologia Geometrica)
- Data di Pubblicazione: 21 luglio 2021 (versione arXiv v3)
- Link dell'Articolo: https://arxiv.org/abs/2010.07159
Questo articolo sviluppa una teoria generale dell'ordinabilità dei quandle, con particolare attenzione ai quandle di link dei link domestici, e fornisce alcune costruzioni generali di quandle ordinabili. L'articolo dimostra che molti quandle di nodi fibrosi sono ordinabili a destra, mentre la maggior parte dei quandle di link toroidali non banali non sono ordinabili a destra. Come corollario, si dimostra che il quandle del nodo trifoglio non è né ordinabile a sinistra né ordinabile a destra. Inoltre, si dimostra che i quandle di link di alcuni link positivi (o negativi) non banali non sono biordinabili, inclusi alcuni nodi alternati con determinante primo e link di Montesinos alternati. L'articolo esplora inoltre le interconnessioni tra l'ordinabilità dei quandle e l'ordinabilità dei loro gruppi inviluppanti. I risultati mostrano che il comportamento dell'ordinabilità dei quandle di link differisce significativamente da quello dei corrispondenti gruppi di link.
- Teoria matura dell'ordinabilità dei gruppi: L'esistenza di ordini lineari su gruppi ha profonde implicazioni sulla loro struttura. I gruppi ordinabili a sinistra non possono avere torsione, e i gruppi biordinabili non possono nemmeno avere torsione generalizzata. In applicazioni pratiche, l'anello di gruppo integrale di un gruppo ordinabile a sinistra non ha divisori dello zero, il che è correlato alla celebre congettura di Kaplansky.
- Ordinabilità dei gruppi topologici: Molti gruppi che emergono in topologia sono ordinabili a sinistra. Ad esempio, i gruppi fondamentali di tutte le superfici connesse, eccetto il piano proiettivo e la bottiglia di Klein, sono biordinabili; i gruppi di trecce sono esempi tipici di ordinabili a sinistra ma non biordinabili; i gruppi di trecce pure sono biordinabili.
- Ordinabilità dei gruppi di link: Il gruppo fondamentale del complemento di un link è ordinabile a sinistra, ma non tutti i gruppi fondamentali dei complementi di link sono biordinabili. Il gruppo di un nodo fibroso è biordinabile quando tutte le radici del suo polinomio di Alexander sono numeri reali positivi.
- Generalizzazione dai gruppi ai quandle: Poiché il concetto di ordinabilità può essere definito su magmi, e i quandle sono esempi interessanti di magmi non associativi, e i quandle di link sono strettamente correlati ai gruppi di link, l'esplorazione dell'ordinabilità dei quandle è naturale.
- Lacune teoriche: Sebbene l'ordinabilità dei quandle coniugati di gruppi biordinabili sia stata studiata, la teoria dell'ordinabilità dei quandle di link rimane incompleta.
- Applicazioni pratiche: Lo studio dell'ordinabilità è importante per la ricerca sui divisori dello zero negli anelli di quandle.
- Stabilimento di una teoria generale dell'ordinabilità dei quandle:
- Dimostrazione che qualsiasi ordine lineare su un quandle deve essere di tipo ristretto (Teorema 3.4)
- Fornitura di metodi generali di costruzione di quandle ordinabili
- Dimostrazione di risultati positivi importanti:
- Il quandle di un nodo fibroso è ordinabile a destra quando tutte le radici del suo polinomio di Alexander sono numeri reali positivi
- I quandle liberi sono ordinabili a destra
- I quandle (G,A) sono ordinabili a destra quando G è un gruppo biordinabile
- Dimostrazione di risultati negativi importanti:
- La maggior parte dei quandle di link toroidali non banali non sono ordinabili a destra
- Il quandle del nodo trifoglio non è né ordinabile a sinistra né ordinabile a destra
- I quandle di link di alcuni link positivi (o negativi) non banali non sono biordinabili
- Rivelazione delle differenze tra l'ordinabilità dei quandle e dei gruppi:
- Il comportamento dell'ordinabilità dei quandle di link differisce significativamente da quello dei corrispondenti gruppi di link
- Esplorazione delle connessioni tra l'ordinabilità dei quandle e dei loro gruppi inviluppanti
Studio dell'ordinabilità dei quandle, cioè la definizione di ordini lineari su quandle compatibili con l'operazione di quandle. Definizioni specifiche:
- Ordinabile a sinistra: esiste un ordine lineare < tale che x < y implica z ∗ x < z ∗ y
- Ordinabile a destra: esiste un ordine lineare <' tale che x <' y implica x ∗ z <' y ∗ z
- Biordinabile: sia ordinabile a sinistra che ordinabile a destra
Definizione dei tipi di ordini lineari (α₁, α₂, α₃, α₄), dove αᵢ ∈ {=, <, >} rappresenta la compatibilità dell'ordine con quattro operazioni:
- x ∗ z α₁ y ∗ z (preservazione dell'ordine per moltiplicazione a destra)
- x ∗⁻¹ z α₂ y ∗⁻¹ z (preservazione dell'ordine per moltiplicazione inversa a destra)
- z ∗ x α₃ z ∗ y (preservazione dell'ordine per moltiplicazione a sinistra)
- z ∗⁻¹ x α₄ z ∗⁻¹ y (preservazione dell'ordine per moltiplicazione inversa a sinistra)
Teorema Chiave 3.4: Dimostrazione che qualsiasi ordine lineare può essere solo uno dei seguenti quattro tipi:
- (<,<,=,=): quandle banale
- (<,<,<,>): quandle biordinabile
- (<,<,>,<): alcuni quandle ordinabili a destra
- (>,>,<,<): alcuni quandle ordinabili a sinistra
Teorema 4.2: Stabilimento della relazione tra ordinabilità e azione:
- Se un quandle semi-latino è ordinabile a destra, allora agisce fedelmente su un insieme linearmente ordinato preservando l'ordine
- Viceversa, se un quandle agisce fedelmente su un insieme bene ordinato preservando l'ordine, allora è ordinabile a destra
Fornitura di tre metodi per costruire quandle ordinabili:
- Costruzione di unione disgiunta (Proposizione 4.3)
- Costruzione di prodotto diretto (Proposizione 4.4)
- Costruzione di estensione (Proposizione 4.5)
- Metodo di analisi dei tipi: Attraverso l'analisi della compatibilità degli ordini lineari con le operazioni di quandle, caratterizzazione sistematica di tutti i possibili tipi di ordine.
- Metodo della teoria dell'azione: Trasformazione del problema dell'ordinabilità in un problema di azione del quandle su insiemi ordinati, fornendo uno strumento efficace per determinare l'ordinabilità.
- Analisi combinatoria dei link toroidali: Attraverso l'analisi delle relazioni generatrici del quandle di link toroidale, dimostrazione ingegnosa della sua non-ordinabilità.
- Criterio del polinomio di Alexander: Collegamento della proprietà delle radici del polinomio di Alexander di un nodo fibroso con l'ordinabilità del suo quandle.
L'articolo studia principalmente i seguenti tipi di quandle:
- Quandle di link Q(L): determinato dal diagramma del link L
- Quandle di link toroidale Q(T(m,n)): quandle del link toroidale T(m,n)
- Quandle di Alexander Alex(G,φ): costruito da un gruppo G e un automorfismo φ
- Quandle coniugato Conj(G): quandle dell'azione coniugata del gruppo G
- Quandle nucleare Core(G): quandle nucleare del gruppo G
- Analisi algebrica: Analisi della struttura del quandle attraverso rappresentazioni e relazioni
- Analisi topologica: Studio del quandle utilizzando proprietà topologiche del link
- Analisi combinatoria: Determinazione dell'ordinabilità attraverso proprietà combinatorie di generatori e relazioni
- Corollario 6.4: Se tutte le radici del polinomio di Alexander di un nodo fibroso sono numeri reali positivi, allora il suo quandle di nodo è ordinabile a destra
- Corollario 5.2: I quandle liberi sono ordinabili a destra; in particolare, il quandle di link del link banale è ordinabile a destra
- Teorema 5.1: Se G è un gruppo biordinabile e A è un sottoinsieme di G, allora il quandle (G,A) è ordinabile a destra
- Teorema 7.2: Se m,n ≥ 2 e non si dividono reciprocamente, allora il quandle di link del link toroidale T(m,n) non è ordinabile a destra
- Corollario 7.4: Il quandle del nodo trifoglio non è né ordinabile a sinistra né ordinabile a destra
- Teorema 6.6: I quandle di link di alcuni link positivi (o negativi) non banali non sono biordinabili
- Corollario 7.3: Riottenimento del risultato di Perron-Rolfsen: il gruppo di un nodo toroidale non banale non è biordinabile
- Il comportamento dell'ordinabilità dei quandle di link differisce significativamente da quello dei gruppi di link
Il quandle del nodo trifoglio T(2,3) è determinato dai generatori a₁, a₂ e dalle relazioni:
- a₁ = a₂ ∗ a₁ ∗ a₂
- a₂ = a₁ ∗ a₂ ∗ a₁
Attraverso l'assunzione dell'esistenza di un ordine a sinistra e la derivazione di una contraddizione, si dimostra che il quandle non è ordinabile a sinistra.
Per T(m,n), il suo quandle di link è determinato dalle relazioni aᵢ = aₙ₊ᵢ ∗ aₙ ∗ ⋯ ∗ a₁.
Attraverso l'analisi del comportamento di queste relazioni sotto un presunto ordine a destra, si ottiene una contraddizione.
- Monografia di Clay e Rolfsen sull'ordinabilità dei gruppi topologici
- Ricerca di Dehornoy e altri sull'ordinabilità dei gruppi di trecce
- Ricerca di Boyer, Rolfsen e Wiest sull'ordinabilità dei gruppi di 3-varietà
- Stabilimento indipendente della connessione tra quandle e teoria dei nodi da parte di Joyce e Matveev
- Generalizzazione di Bardakov e Nasybullov della costruzione di quandle liberi ai quandle (G,A)
- Lavori precedenti sullo studio dell'ordinabilità dei quandle coniugati di gruppi biordinabili
- Relazione tra il polinomio di Alexander e la biordinabilità dei nodi fibrosi
- Teoria della colorazione di Fox e della colorazione di quandle
- Proprietà dei link di Montesinos e dei link toroidali
- Quadro teorico: Stabilimento di una teoria completa dell'ordinabilità dei quandle, inclusa la classificazione e i metodi di costruzione degli ordini
- Risultati concreti: Determinazione dell'ordinabilità di diverse classi importanti di quandle di link
- Scoperte comparative: Rivelazione delle differenze essenziali tra l'ordinabilità dei quandle e quella dei gruppi
- Problema di caratterizzazione completa: Caratterizzazione incompleta dell'ordinabilità di tutti i quandle di link
- Problema algoritmico: Mancanza di algoritmi efficienti per determinare l'ordinabilità di quandle generali
- Ordinabilità a sinistra: Ricerca relativamente limitata sull'ordinabilità a sinistra
- Perfezionamento della teoria: Ulteriore sviluppo della teoria generale dell'ordinabilità dei quandle
- Metodi computazionali: Sviluppo di algoritmi per determinare l'ordinabilità dei quandle
- Estensione delle applicazioni: Applicazione dei risultati alla teoria degli anelli di quandle e alla coomologia di quandle
- Completezza teorica: Stabilimento di un quadro teorico sistematico dell'ordinabilità dei quandle
- Innovazione metodologica: Introduzione di metodi di analisi dei tipi di ordine e della teoria dell'azione
- Profondità dei risultati: Ottenimento di molteplici risultati positivi e negativi importanti
- Tecnica sofisticata: Tecniche di dimostrazione ingegnose, in particolare nell'analisi dei link toroidali
- Chiarezza della presentazione: Struttura chiara dell'articolo e dimostrazioni rigorose
- Complessità algoritmica: Mancanza di algoritmi pratici per la determinazione
- Applicazioni limitate: Le applicazioni pratiche dei risultati teorici richiedono ulteriore esplorazione
- Problemi aperti: Molti problemi importanti rimangono irrisolti
- Valore accademico: Fornitura di nuove direzioni di ricerca per la teoria dei quandle e la teoria dei nodi
- Significato teorico: Approfondimento della comprensione dell'ordinabilità delle strutture non associative
- Prospettive di applicazione: Fornitura di fondamenti per campi correlati come la teoria degli anelli di quandle
- Ricerca in teoria dei nodi: Analisi degli invarianti algebrici di nodi e link
- Teoria dei quandle: Studio delle proprietà algebriche dei quandle
- Teoria dell'ordine: Ricerca sull'ordinabilità di strutture non associative
- Algebra topologica: Studio degli invarianti algebrici di oggetti topologici
L'articolo cita 34 importanti riferimenti, coprendo i campi classici e contemporanei della teoria dell'ordinabilità dei gruppi, della teoria dei quandle, della teoria dei nodi e di altri domini, fornendo una base teorica solida per la ricerca.