Ordenabilidad de Quandles de Enlaces

Información Básica

• ID del Artículo: 2010.07159
• Título: Orderability of Link Quandles
• Autores: Hitesh Raundal, Mahender Singh, Manpreet Singh
• Clasificación: math.GT (Topología Geométrica)
• Fecha de Publicación: 21 de julio de 2021 (versión v3 de arXiv)
• Enlace del Artículo: https://arxiv.org/abs/2010.07159

Resumen

Este artículo desarrolla una teoría general de la ordenabilidad de quandles, enfocándose en los quandles de enlaces de nudos domesticados, y proporciona algunas construcciones generales de quandles ordenables. El artículo demuestra que muchos quandles de nudos fibrosos son ordenables por la derecha, mientras que la mayoría de los quandles de enlaces toroidales no triviales no son ordenables por la derecha. Como corolario, se demuestra que el quandle del nudo trébol no es ordenable ni por la izquierda ni por la derecha. Además, se prueba que los quandles de enlaces ciertos no triviales positivos (o negativos) no son biorden­ables, incluyendo algunos nudos alternantes con determinante primo y enlaces de Montesinos alternantes. El artículo también explora las interconexiones entre la ordenabilidad de quandles y la ordenabilidad de sus grupos envolventes. Los resultados muestran que el comportamiento de ordenabilidad de los quandles de enlaces difiere significativamente del comportamiento de los grupos de enlaces correspondientes.

Antecedentes de Investigación y Motivación

Contexto del Problema

1. Teoría de Ordenabilidad de Grupos Madura: La existencia de órdenes lineales en grupos tiene profundas implicaciones para su estructura. Los grupos ordenables por la izquierda no pueden tener torsión, y los grupos biordenables ni siquiera pueden tener torsión generalizada. En aplicaciones, los anillos de grupo entero de grupos ordenables por la izquierda no tienen divisores de cero, lo cual está relacionado con la famosa conjetura de Kaplansky.
2. Ordenabilidad de Grupos Topológicos: Muchos grupos que aparecen en topología son ordenables por la izquierda. Por ejemplo, los grupos fundamentales de todas las superficies conexas excepto el plano proyectivo y la botella de Klein son biordenables; los grupos de trenzas son un ejemplo típico de ordenables por la izquierda pero no biordenables; los grupos de trenzas puras son biordenables.
3. Ordenabilidad de Grupos de Enlaces: El grupo fundamental del complemento de un enlace es ordenable por la izquierda, pero no todos los grupos fundamentales de complementos de enlaces son biordenables. El grupo de un nudo fibroso es biorendenable cuando todas las raíces de su polinomio de Alexander son números reales positivos.

Motivación de la Investigación

1. Generalización de Grupos a Quandles: Dado que el concepto de ordenabilidad puede definirse en magmas, y los quandles son ejemplos interesantes de magmas no asociativos, y los quandles de enlaces están estrechamente relacionados con los grupos de enlaces, es natural explorar la ordenabilidad de quandles.
2. Vacío Teórico: Aunque se ha investigado la ordenabilidad de quandles conjugados de grupos biordenables, la teoría de ordenabilidad de quandles de enlaces aún no está completamente desarrollada.
3. Aplicaciones Prácticas: La investigación de ordenabilidad es importante para el estudio de divisores de cero en anillos de quandles.

Contribuciones Principales

1. Establecimiento de una Teoría General de Ordenabilidad de Quandles:
   • Se demuestra que cualquier orden lineal en un quandle debe ser de tipo restringido (Teorema 3.4)
   • Se proporcionan métodos generales de construcción de quandles ordenables
2. Demostración de Resultados Positivos Importantes:
   • El quandle de un nudo fibroso es ordenable por la derecha cuando todas las raíces de su polinomio de Alexander son números reales positivos
   • Los quandles libres son ordenables por la derecha
   • Los quandles (G,A) son ordenables por la derecha cuando G es un grupo biorendenable
3. Demostración de Resultados Negativos Importantes:
   • La mayoría de los quandles de enlaces toroidales no triviales no son ordenables por la derecha
   • El quandle del nudo trébol no es ordenable ni por la izquierda ni por la derecha
   • Los quandles de ciertos enlaces positivos (o negativos) no triviales no son biordenables
4. Revelación de Diferencias entre Ordenabilidad de Quandles y Grupos:
   • El comportamiento de ordenabilidad de los quandles de enlaces difiere significativamente del comportamiento de los grupos de enlaces correspondientes
   • Se exploran las conexiones entre la ordenabilidad de quandles y sus grupos envolventes

Explicación Detallada de Métodos

Definición de Tareas

Investigar la ordenabilidad de quandles, es decir, definir órdenes lineales en quandles que sean compatibles con la operación de quandle. Definiciones específicas:

• Ordenable por la Izquierda: Existe un orden lineal < tal que x < y implica z ∗ x < z ∗ y
• Ordenable por la Derecha: Existe un orden lineal <' tal que x <' y implica x ∗ z <' y ∗ z
• Biorendenable: Tanto ordenable por la izquierda como por la derecha

Marco Teórico

1. Análisis de Tipos de Órdenes Lineales

Se definen tipos de órdenes lineales (α₁, α₂, α₃, α₄), donde αᵢ ∈ {=, <, >} representa la compatibilidad del orden con cuatro operaciones:

• x ∗ z α₁ y ∗ z (preservación de orden por multiplicación derecha)
• x ∗⁻¹ z α₂ y ∗⁻¹ z (preservación de orden por multiplicación inversa derecha)
• z ∗ x α₃ z ∗ y (preservación de orden por multiplicación izquierda)
• z ∗⁻¹ x α₄ z ∗⁻¹ y (preservación de orden por multiplicación inversa izquierda)

Teorema Clave 3.4: Se demuestra que cualquier orden lineal solo puede ser uno de los siguientes cuatro tipos:

• (<,<,=,=): quandle trivial
• (<,<,<,>): quandle biorendenable
• (<,<,>,<): ciertos quandles ordenables por la derecha
• (>,>,<,<): ciertos quandles ordenables por la izquierda

2. Teoría de Acciones de Quandles

Teorema 4.2: Se establece la relación entre ordenabilidad y acciones:

• Si un quandle semilatino es ordenable por la derecha, entonces actúa fielmente en un conjunto linealmente ordenado preservando el orden
• Recíprocamente, si un quandle actúa fielmente en un conjunto bien ordenado preservando el orden, entonces es ordenable por la derecha

3. Construcción de Quandles Ordenables

Se proporcionan tres métodos para construir quandles ordenables:

• Construcción de Unión Disjunta (Proposición 4.3)
• Construcción de Producto Directo (Proposición 4.4)
• Construcción de Extensión (Proposición 4.5)

Puntos de Innovación Técnica

1. Método de Análisis de Tipos: Mediante el análisis de la compatibilidad entre órdenes lineales y operaciones de quandles, se caracterizan sistemáticamente todos los tipos de órdenes posibles.
2. Método de Teoría de Acciones: Se transforma el problema de ordenabilidad en un problema de acciones de quandles en conjuntos ordenados, proporcionando herramientas efectivas para determinar la ordenabilidad.
3. Análisis Combinatorio de Enlaces Toroidales: Mediante el análisis de las relaciones generadoras del quandle de enlaces toroidales, se demuestra ingeniosamente su no-ordenabilidad.
4. Criterio del Polinomio de Alexander: Se conectan las propiedades de las raíces del polinomio de Alexander de nudos fibrosos con la ordenabilidad de sus quandles.

Configuración Experimental

Objetos Matemáticos

Este artículo estudia principalmente los siguientes tipos de quandles:

1. Quandles de Enlaces Q(L): Determinados por el diagrama del enlace L
2. Quandles de Enlaces Toroidales Q(T(m,n)): Quandle del enlace toroidal T(m,n)
3. Quandles de Alexander Alex(G,φ): Construidos a partir de un grupo G y un automorfismo φ
4. Quandles Conjugados Conj(G): Quandle de acción conjugada del grupo G
5. Quandles Nucleares Core(G): Quandle nuclear del grupo G

Métodos de Análisis

1. Análisis Algebraico: Mediante la representación de quandles y análisis de relaciones se estudia su estructura
2. Análisis Topológico: Se utilizan propiedades topológicas de enlaces para investigar sus quandles
3. Análisis Combinatorio: Mediante propiedades combinatorias de generadores y relaciones se determina la ordenabilidad

Resultados Experimentales

Resultados Principales

1. Resultados Positivos

• Corolario 6.4: Si todas las raíces del polinomio de Alexander de un nudo fibroso son números reales positivos, entonces su quandle de nudo es ordenable por la derecha
• Corolario 5.2: Los quandles libres son ordenables por la derecha; en particular, el quandle de enlace del enlace trivial es ordenable por la derecha
• Teorema 5.1: Si G es un grupo biorendenable y A es un subconjunto de G, entonces el quandle (G,A) es ordenable por la derecha

2. Resultados Negativos

• Teorema 7.2: Sean m,n ≥ 2 y mutuamente no divisibles, entonces el quandle de enlace del enlace toroidal T(m,n) no es ordenable por la derecha
• Corolario 7.4: El quandle del nudo trébol no es ordenable ni por la izquierda ni por la derecha
• Teorema 6.6: Los quandles de ciertos enlaces positivos (o negativos) no triviales no son biordenables

3. Hallazgos Comparativos

• Corolario 7.3: Se recupera el resultado de Perron-Rolfsen: el grupo de un nudo toroidal no trivial no es biorendenable
• El comportamiento de ordenabilidad de los quandles de enlaces difiere significativamente del de los grupos de enlaces

Análisis de Casos Específicos

Caso del Nudo Trébol

El quandle del nudo trébol T(2,3) está determinado por generadores a₁, a₂ y relaciones:

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

Mediante la suposición de la existencia de un orden izquierdo y derivación de una contradicción, se demuestra que el quandle no es ordenable por la izquierda.

Caso de Enlaces Toroidales

Para T(m,n), su quandle de enlace está determinado por relaciones aᵢ = aₙ₊ᵢ ∗ aₙ ∗ ⋯ ∗ a₁. Mediante el análisis del comportamiento de estas relaciones bajo un orden derecho supuesto, se obtiene una contradicción.

Trabajo Relacionado

Teoría de Ordenabilidad de Grupos

• La monografía de Clay y Rolfsen explora la ordenabilidad de grupos topológicos
• Dehornoy y otros investigaron la ordenabilidad de grupos de trenzas
• Boyer, Rolfsen y Wiest estudiaron la ordenabilidad de grupos de 3-variedades

Teoría de Quandles

• Joyce y Matveev establecieron independientemente la conexión entre quandles y teoría de nudos
• Bardakov y Nasybullov generalizaron la construcción de quandles libres a quandles (G,A)
• Se han realizado trabajos que estudian la ordenabilidad de quandles conjugados de grupos biordenables

Invariantes de Enlaces

• Relación entre polinomio de Alexander y biordenabilidad de nudos fibrosos
• Teoría de coloraciones de Fox y coloraciones de quandles
• Propiedades de enlaces de Montesinos y enlaces toroidales

Conclusiones y Discusión

Conclusiones Principales

1. Marco Teórico: Se establece una teoría completa de ordenabilidad de quandles, incluyendo clasificación y métodos de construcción de órdenes
2. Resultados Concretos: Se determina la ordenabilidad de múltiples clases importantes de quandles de enlaces
3. Hallazgos Comparativos: Se revelan las diferencias esenciales entre ordenabilidad de quandles y ordenabilidad de grupos

Limitaciones

1. Problema de Caracterización Completa: Aún no se ha caracterizado completamente la ordenabilidad de todos los quandles de enlaces
2. Problema Algorítmico: Faltan algoritmos efectivos para determinar la ordenabilidad de quandles generales
3. Ordenabilidad Izquierda: La investigación sobre ordenabilidad por la izquierda es relativamente limitada

Direcciones Futuras

1. Perfeccionamiento de la Teoría: Desarrollo adicional de la teoría general de ordenabilidad de quandles
2. Métodos Computacionales: Desarrollo de algoritmos para determinar la ordenabilidad de quandles
3. Extensión de Aplicaciones: Aplicación de resultados a teoría de anillos de quandles y cohomología de quandles

Evaluación Profunda

Fortalezas

1. Completitud Teórica: Se establece un marco sistemático de teoría de ordenabilidad de quandles
2. Innovación Metodológica: Se introducen métodos de análisis de tipos de órdenes y teoría de acciones
3. Profundidad de Resultados: Se obtienen múltiples resultados positivos y negativos importantes
4. Sofisticación Técnica: Las técnicas de demostración son ingeniosas, especialmente el análisis de enlaces toroidales
5. Claridad de Presentación: La estructura del artículo es clara y las demostraciones son rigurosas

Deficiencias

1. Complejidad Algorítmica: Faltan algoritmos prácticos para determinar la ordenabilidad
2. Aplicaciones Limitadas: Las aplicaciones prácticas de los resultados teóricos requieren exploración adicional
3. Problemas Abiertos: Aún quedan muchos problemas importantes sin resolver

Impacto

1. Valor Académico: Proporciona nuevas direcciones de investigación para teoría de quandles y teoría de nudos
2. Significado Teórico: Profundiza la comprensión de la ordenabilidad de estructuras no asociativas
3. Perspectivas de Aplicación: Proporciona fundamentos para campos relacionados como teoría de anillos de quandles

Escenarios Aplicables

1. Investigación en Teoría de Nudos: Análisis de invariantes algebraicos de nudos y enlaces
2. Teoría de Quandles: Investigación de propiedades algebraicas de quandles
3. Teoría de Órdenes: Investigación de ordenabilidad de estructuras no asociativas
4. Álgebra Topológica: Investigación de invariantes algebraicos de objetos topológicos

Referencias Bibliográficas

El artículo cita 34 referencias importantes que abarcan múltiples campos incluyendo teoría de ordenabilidad de grupos, teoría de quandles, teoría de nudos y otros, proporcionando una base teórica sólida para la investigación.