Non-affine $n$-valued maps on tori

Este artículo construye mapas $n$-valuados no afines en toros de dimensión $k$ (donde $n, k \geq 2$) que no son homotópicos a mapas afines, estableciendo las condiciones algebraicas necesarias y suficientes para su existencia y contrastándolos con el caso de valor único.

Lo esencial

Imagina que tienes un toroide (un donut) que representa un mundo donde, si te mueves hacia la derecha, reapareces por la izquierda, y si te mueves hacia arriba, reapareces por abajo. Este es el "toro" matemático del que habla el artículo.

Ahora, imagina que eres un mago que puede hacer trampas mágicas. En lugar de enviar a una persona a un solo lugar en el donut, tu magia envía a esa persona a n lugares diferentes al mismo tiempo. A esto los matemáticos le llaman "mapa de valor n" (n-valued map).

El problema que resuelven los autores de este artículo es el siguiente:

1. La Regla de Oro (y la excepción)

En el mundo de las matemáticas, cuando tienes un solo destino (un mapa de valor 1), siempre puedes "estirar" o deformar tu magia para que sea una transformación afín.

• Analogía: Imagina que mueves a una persona en el donut. Siempre puedes describir ese movimiento como una combinación de "girar" y "deslizar" de forma muy ordenada y predecible. Es como si el movimiento fuera una receta de cocina simple: "gira 90 grados y camina 2 pasos".

Sin embargo, los autores descubrieron algo sorprendente: cuando envías a la persona a 2 o más lugares a la vez (n ≥ 2) en un toro de 2 o más dimensiones, ¡la magia se rompe!
Existen formas de enviar a la gente a múltiples lugares que no se pueden describir con esa receta simple de "girar y deslizar". Son movimientos "no afines". Son como si, al hacer la magia, el espacio se torciera de formas extrañas que no siguen las reglas de la geometría plana.

2. ¿Cómo detectan la magia "rara"? (El Condimento Divisibilidad)

Para saber si un truco de magia es "simple" (afín) o "raro" (no afín), los matemáticos miran un indicio algebraico.

Imagina que tu magia tiene un patrón de baile. Cuando das un paso en el donut, tus n destinos se mueven y cambian de lugar entre ellos (como si en una ronda de baile, los bailarines cambiaran de pareja).

• Los autores dicen: "Si intentas hacer este baile con una receta simple (afín), hay una regla estricta: la suma de los movimientos de los bailarines en un ciclo completo debe ser 'divisible' de una manera muy específica".
• La analogía del pastel: Imagina que tienes un pastel (el movimiento total) que debes repartir equitativamente entre n personas en un ciclo. Si el pastel no se puede cortar en n partes iguales sin que sobre migajas, entonces no puedes usar la receta simple. Tu magia es "no afín".

3. El ejemplo del "Bailarín que da vueltas"

El artículo da un ejemplo concreto (el Ejemplo 3.2) que es muy visual:
Imagina un donut. Tienes n personas.

• Si te mueves un poco en la dirección horizontal, las personas empiezan a rotar en círculo entre ellas (como si fueran los números de un reloj).
• Si te mueves en la dirección vertical, se quedan quietas.

Los autores muestran que, aunque este movimiento parece suave y continuo, si intentas escribirlo como una "receta simple" (una transformación afín), te das cuenta de que es imposible. La forma en que rotan y se mezclan crea una "torsión" que no encaja en la geometría simple del toro. Es como intentar emparejar un cuadrado dentro de un círculo: no importa cuánto lo estires, no encaja perfectamente.

4. ¿Por qué importa esto? (El número de puntos fijos)

En matemáticas, a veces queremos saber: "¿Hay algún punto donde la magia no mueva a nadie?" (puntos fijos).

• Para los movimientos simples (afines), hay una fórmula fácil para contar cuántos puntos fijos hay.
• Para los movimientos "raros" (no afines), esa fórmula fácil no funciona.

El artículo es importante porque nos dice: "Ojo, no asumas que todo movimiento en un toro es simple. Si tienes múltiples destinos, hay trucos de magia mucho más complejos y caóticos que existen, y necesitamos nuevas herramientas para entenderlos."

En resumen

• El escenario: Un mundo en forma de donut (toro).
• La acción: Enviar a una persona a varios lugares a la vez.
• El descubrimiento: A diferencia de enviar a una sola persona (que siempre es predecible), enviar a varias personas puede crear movimientos que no siguen reglas geométricas simples.
• La herramienta: Los autores crearon una "prueba de divisibilidad" (como un detector de mentiras matemático) para saber si un movimiento es simple o si es una de esas "magias raras" que no se pueden simplificar.

Es como descubrir que, aunque todos los coches de una ciudad parecen moverse en línea recta, si tienes un coche que puede ir a 5 direcciones a la vez, de repente el tráfico puede volverse tan caótico que ya no puedes predecirlo con las reglas normales de la carretera.

Resumen técnico

Resumen Técnico: Mapas $n$-valores no afines en toros

Autores: K. Dekimpe y L. De Weerdt
Institución: KU Leuven Campus Kulak Kortrijk, Bélgica
Fecha: 5 de marzo de 2026

1. Planteamiento del Problema

El artículo aborda el estudio de mapas $n$-valores (funciones continuas que asignan a cada punto un conjunto de $n$ puntos distintos) en toros de dimensión $k$ ($T^k$), donde $n, k \geq 2$.

El problema central surge de una diferencia fundamental entre el caso de mapas de valor único ($n=1$) y el caso $n$-valorado:

• Caso $n=1$: Es un resultado conocido que cualquier mapa de valor único en un toro (o más generalmente, en una infra-nilvariedad) es homotópico a un mapa afín (incluso lineal). Esto permite calcular números de Reidemeister y Nielsen mediante fórmulas algebraicas simples basadas en matrices.
• Caso $n \geq 2$: La pregunta abierta es si esta propiedad de homotopía hacia mapas afines se mantiene para mapas $n$-valores en dimensiones superiores ($k \geq 2$).

El objetivo del trabajo es determinar bajo qué condiciones un mapa $n$-valorado en $T^k$ es homotópico a un mapa afín y, específicamente, construir ejemplos de mapas que no son homotópicos a ningún mapa afín, demostrando que la teoría de valor único no se generaliza directamente.

2. Metodología

Los autores utilizan un enfoque algebraico-topológico basado en la teoría de recubrimientos y la teoría de puntos fijos de mapas multivaluados. La metodología se estructura en los siguientes pasos:

1. Formulación Algebraica:

   • Se define un mapa $n$-valorado $f: T^k \to D_n(T^k)$ (donde $D_n$ es el espacio de configuraciones no ordenadas) a través de sus levantamientos (lifts) al espacio de recubrimiento universal $\mathbb{R}^k$.
   • Un levantamiento $\tilde{f}$ se descompone en $n$ factores $\tilde{f}_1, \dots, \tilde{f}_n: \mathbb{R}^k \to \mathbb{R}^k$.
   • Estos levantamientos inducen un morfismo de grupos $\psi_{\tilde{f}}: \mathbb{Z}^k \to (\mathbb{Z}^k)^n \rtimes \Sigma_n$, donde $\Sigma_n$ es el grupo simétrico. Este morfismo tiene la forma $\psi = (\phi_1, \dots, \phi_n; \sigma)$.

2. Análisis de Mapas Afines:

   • Se define un mapa $n$-valorado como afín si sus factores de levantamiento son de la forma $\tilde{f}_i(\bar{t}) = A_i \bar{t} + \bar{a}_i$.
   • Se derivan condiciones algebraicas necesarias que deben satisfacer los morfismos inducidos por mapas afines, específicamente relacionadas con la consistencia de los términos constantes $\bar{a}_i$ y las matrices $A_i$ bajo la acción del grupo fundamental.

3. Condiciones de Obstrucción:

   • Se investigan las propiedades de las clases $\sigma$ (órbitas de la acción de $\sigma$) y las clases de Reidemeister.
   • Se establece que, para estudiar el número de Nielsen (y por tanto la homotopía), basta considerar morfismos irreducibles (aquellos donde la acción de $\sigma$ es transitiva en el conjunto de índices $\{1, \dots, n\}$).

4. Construcción de Contrajemplos:

   • Se utilizan las condiciones de obstrucción derivadas para diseñar explícitamente mapas $n$-valores cuyas estructuras algebraicas violan las condiciones necesarias para ser afines.

3. Contribuciones Clave y Resultados Principales

A. Condiciones Algebraicas Necesarias y Suficientes

El trabajo establece criterios precisos para determinar si un morfismo $\psi: \mathbb{Z}^k \to (\mathbb{Z}^k)^n \rtimes \Sigma_n$ es inducido por un mapa afín.

• Teorema 2.6 (Condición Necesaria): Si existe un índice $i$ y un vector $\bar{z} \notin S_i$ (donde $S_i$ es el estabilizador de $i$ bajo $\sigma$) tal que $\phi_i(n_{i,\bar{z}}\bar{z}) \in n_{i,\bar{z}}\mathbb{Z}^k$, entonces $\psi$ no puede ser inducido por un mapa afín. Aquí, $n_{i,\bar{z}}$ es la longitud del ciclo de $\sigma_{\bar{z}}$ que contiene a $i$.
• Teorema 2.7 (Condición Suficiente para Irreducibles): Para morfismos irreducibles, la condición anterior es también suficiente. Un morfismo irreducible es inducido por un mapa afín si y solo si $\phi(n_{\bar{z}}\bar{z}) \notin n_{\bar{z}}\mathbb{Z}^k$ para todo $\bar{z} \notin S$.

B. La Condición de Ciclos (Corolario 3.1)

Se deriva una condición más concreta y útil para construir ejemplos:

• Si $\psi$ es inducido por un mapa afín y $(i_1 \dots i_m)$ es un ciclo no trivial de $\sigma_{\bar{z}}$, entonces las imágenes $\phi_{i_1}(\bar{z}), \dots, \phi_{i_m}(\bar{z})$ no pueden ser todas iguales. Si fueran iguales, se violaría la condición de que los puntos en la imagen del mapa sean distintos.

C. Independencia del Levantamiento (Sección 4)

Los autores demuestran que, aunque el morfismo inducido $\psi_{\tilde{f}}$ depende de la elección del levantamiento $\tilde{f}$, la propiedad de ser "inducido por un mapa afín" es invariante bajo cambios de levantamiento (salvo reordenamiento de factores).

• Se muestra que si un mapa no es afín, siempre existe un levantamiento donde las obstrucciones son visibles (por ejemplo, donde los valores de $\phi$ en un ciclo son idénticos, violando el Corolario 3.1).
• Se introduce el concepto de torsión en la imagen de $\psi$: si la imagen contiene torsión, el mapa no puede ser afín.

D. Construcción de Mapas No Afines (Sección 5)

El artículo proporciona métodos explícitos para construir mapas $n$-valores no afines en $T^k$ para cualquier $n, k \geq 2$:

1. Ejemplo 3.2: Un mapa en $T^2$ donde los factores de levantamiento son funciones trigonométricas que rotan los puntos alrededor del toro. El morfismo inducido tiene $\phi_i = 0$ pero un $\sigma$ cíclico, lo que viola la condición de ciclo.
2. Generalización (Lema 5.1): Se demuestra que se puede perturbar un mapa con factores triviales añadiendo un mapa $n$-valorado existente (con $\phi=0$) multiplicado por una constante $\epsilon$ pequeña, para obtener un nuevo mapa que induce un morfismo $\psi$ con componentes $\phi_i$ arbitrarias, manteniendo la propiedad de ser $n$-valorado.
3. Ejemplos 5.2 y 5.3: Se presentan construcciones explícitas en $T^2$ con $n=4$ que inducen morfismos complejos con permutaciones no triviales, demostrando la existencia de una amplia clase de mapas no afines.

4. Significado e Impacto

Este trabajo es fundamental en la topología algebraica y la teoría de puntos fijos por las siguientes razones:

1. Ruptura con el Caso Univaluado: Demuestra que la propiedad de que "todo mapa es homotópico a uno afín", válida para toros y nilvariedades en el caso $n=1$, falla completamente para $n \geq 2$ cuando la dimensión del toro es $k \geq 2$. Esto establece una distinción cualitativa profunda entre la teoría de mapas de valor único y multivaluado.
2. Herramientas de Cálculo: Proporciona un algoritmo efectivo (Teorema 2.7 y Corolario 3.1) para verificar si un morfismo dado proviene de un mapa afín, lo cual es crucial para calcular números de Nielsen y Reidemeister, ya que estos son fáciles de calcular para mapas afines pero difíciles para mapas generales.
3. Existencia de Nuevas Clases de Mapas: Al construir explícitamente mapas no afines, el paper abre la puerta a estudiar propiedades de puntos fijos en una clase de mapas mucho más rica y compleja que la anteriormente considerada, donde las fórmulas estándar de matrices no son aplicables directamente.
4. Método de Perturbación: El Lema 5.1 ofrece una técnica general para generar nuevos ejemplos de mapas $n$-valores a partir de morfismos dados, facilitando la exploración de la estructura del espacio de tales mapas.

En resumen, el paper cierra la brecha teórica sobre la clasificación de mapas $n$-valores en toros, demostrando que la estructura algebraica inducida por estos mapas es significativamente más rica y restrictiva que en el caso univaluado, y proporcionando las herramientas necesarias para distinguir y construir casos no afines.