A connection between Lipschitz and Kazhdan constants for groups of homeomorphisms of the real line

Este artículo establece una obstrucción para que los grupos con la Propiedad (T) relativa actúen sobre la recta real mediante homeomorfismos bi-Lipschitz, expresada a través de constantes de Lipschitz y Kazhdan, lo que permite obtener cotas explícitas para las constantes de Lipschitz en acciones de ciertos productos semidirectos y cotas superiores para las constantes de Kazhdan en pares de grupos ordenables.

Lo esencial

¡Hola! Vamos a desmenuzar este artículo matemático complejo y traducirlo a un lenguaje cotidiano, usando analogías que cualquiera pueda entender. Imagina que este paper es como un detective que investiga por qué ciertos grupos de "matemáticos ruidosos" no pueden vivir en una línea recta sin estirarla demasiado.

Aquí tienes la explicación paso a paso:

1. El escenario: La Línea Recta y los "Estiradores"

Imagina una línea recta infinita (el eje real, $\mathbb{R}$). En esta línea viven unos personajes llamados homeomorfismos. Son como transformadores que pueden mover los puntos de la línea, estirarla o encogerla, pero sin romperla ni hacer nudos (deben ser continuos y reversibles).

• El problema: Algunos de estos transformadores son muy "gentiles" y apenas estiran la línea (se llaman bi-Lipschitz). Otros son muy "brutos" y estiran la línea muchísimo.
• La regla de oro: Si un grupo de estos personajes actúa sobre la línea, hay una medida llamada constante de Lipschitz. Si esta constante es 1, no estiran nada (son solo traslaciones, como un tren que se mueve sin cambiar de tamaño). Si es mayor que 1, están estirando la línea.

2. Los "Matemáticos Ruidosos": Grupos con Propiedad (T)

Ahora, imagina un grupo de amigos muy unidos, tan unidos que es imposible que uno de ellos se aleje del grupo sin que todos los demás se den cuenta. En matemáticas, a estos grupos se les llama Grupos con Propiedad (T). Son como un bloque de hormigón: muy rígidos, muy difíciles de deformar.

• El misterio: Los matemáticos sabían que estos grupos "rígidos" podían actuar sobre la línea, pero siempre había una duda: ¿Podían actuar de forma "gentil" (casi sin estirar la línea)?
• La intuición: Se sospechaba que no. Que si intentaban vivir en la línea, inevitablemente tendrían que estirarla mucho. Pero nadie tenía una fórmula exacta para decir cuánto tendrían que estirarla.

3. El Gran Descubrimiento: La Conexión entre Rigidez y Estiramiento

El autor, Ignacio Vergara, ha encontrado el puente entre dos mundos:

1. La rigidez del grupo (medida por la constante de Kazhdan).
2. La violencia del estiramiento (medida por la constante de Lipschitz).

La analogía:
Imagina que tienes un grupo de amigos (el grupo) que quieren caminar por una pasarela (la línea).

• Si son muy "rígidos" (tienen una constante de Kazhdan alta), significa que están muy tensos y unidos.
• El paper demuestra que cuanto más rígidos sean, más tendrán que estirar la pasarela para poder caminar juntos sin chocar.
• No pueden caminar suavemente (con estiramiento casi 1). Tienen que "gritar" (estirar mucho).

La fórmula mágica:
El autor crea una función (llamada $\Phi$) que actúa como una regla de conversión. Si le das el nivel de rigidez del grupo, la regla te dice: "Oye, para que vivan aquí, al menos tendrán que estirar la línea hasta este punto".

4. El Caso Especial: El Semidirecto $F_2 \ltimes \mathbb{Z}^2$

El paper toma un ejemplo concreto: un grupo famoso llamado $F_2 \ltimes \mathbb{Z}^2$. Es como una mezcla de un grupo libre (muy caótico) y un grupo de desplazamientos.

• Usando su nueva fórmula, el autor calcula que, si este grupo quiere actuar en la línea, al menos uno de sus miembros tiene que estirar la línea un 24% más de lo normal (un factor de aproximadamente 1.24).
• Es como decir: "No pueden entrar en la casa sin quitarse los zapatos, y además, al menos uno de ellos tiene que llevar botas de montaña gigantes".

5. El Final: ¿Pueden ser "Ordenables"?

Aquí viene la parte más filosófica.

• Un grupo es ordenable si puedes poner a sus miembros en una fila (un orden) de tal manera que, si mueves a todos hacia la derecha, el orden se mantiene.
• Se sabe que todos los grupos ordenables pueden vivir en la línea recta.
• La pregunta gigante: ¿Existe algún grupo que sea ordenable (pueda vivir en la línea) Y al mismo tiempo sea rígido (tenga Propiedad T)?
  • Hasta ahora, nadie ha encontrado uno. De hecho, muchos grupos rígidos no son ordenables.
• La contribución del paper: El autor no resuelve el misterio (no dice "sí" o "no"), pero pone un límite de velocidad.
  • Dice: "Si existe tal grupo, su rigidez (constante de Kazhdan) no puede ser arbitrariamente alta. Tiene un techo".
  • Es como decir: "Si existe un monstruo que puede ser ordenado, no puede ser tan grande como queramos. Tiene un tamaño máximo permitido por las leyes de la física de la línea recta".

Resumen en una frase

Este paper demuestra que los grupos matemáticos muy "rígidos" no pueden caminar suavemente por una línea recta; están condenados a estirarla violentamente, y nos da la fórmula exacta para calcular cuánto estiramiento es inevitable. Además, nos dice que si algún día encontramos un grupo que sea a la vez "rígido" y "ordenable", su rigidez tendrá un límite estricto.

Es un trabajo que conecta la geometría (cómo se estira la línea) con la teoría de grupos (qué tan unidos están los elementos), usando herramientas sofisticadas para ponerle un "cinturón de seguridad" a las matemáticas.

Resumen técnico

Aquí presento un resumen técnico detallado del artículo "A connection between Lipschitz and Kazhdan constants for groups of homeomorphisms of the real line" de Ignacio Vergara.

1. Planteamiento del Problema

El artículo aborda un problema abierto fundamental en la teoría de grupos y la dinámica: ¿Puede un grupo con la Propiedad (T) de Kazhdan actuar fielmente sobre la recta real $\mathbb{R}$ mediante homeomorfismos que preservan la orientación?

• Contexto: Se sabe que un grupo finitamente generado actúa fielmente en $\mathbb{R}$ por homeomorfismos preservando la orientación si y solo si es ordenable. Sin embargo, muchos grupos con Propiedad (T) no son ordenables. La existencia de grupos con Propiedad (T) que sean ordenables sigue siendo una pregunta abierta (Pregunta 1.7).
• Objetivo específico: El autor busca obstrucciones cuantitativas para que grupos con Propiedad (T) (o pares con Propiedad (T) relativa) actúen en $\mathbb{R}$ mediante homeomorfismos bi-Lipschitz con desplazamiento acotado ($BiLip_{bd}^+(\mathbb{R})$).
• Hipótesis de trabajo: Si un grupo $G$ con Propiedad (T) actúa en $\mathbb{R}$, los constantes de Lipschitz de los generadores no pueden ser arbitrariamente cercanos a 1. El trabajo busca cuantificar esta relación.

2. Metodología

El autor emplea una combinación de análisis funcional, teoría de representaciones y dinámica de grupos. La metodología se estructura en los siguientes pilares:

A. Límites de acciones y Ultralímites

Para probar que si los constantes de Lipschitz tienden a 1, el grupo debe tener un cociente abeliano infinito (Proposición 1.2), se utiliza la técnica de ultralímites.

• Se considera una secuencia de acciones $\theta_n$ donde los constantes de Lipschitz convergen a 1.
• Mediante conjugación por homotecias (Lema 2.1), se normaliza el desplazamiento.
• Se construye una acción límite sobre $\mathbb{R}$ que resulta ser una acción por traslaciones, lo que implica la existencia de un homomorfismo no trivial hacia $(\mathbb{R}, +)$.

B. Representaciones en Espacios $L^p$ y el Mapa de Mazur

El núcleo de la demostración principal (Teorema 1.4) reside en conectar la Propiedad (T) (definida usualmente en espacios de Hilbert $L^2$) con acciones en $\mathbb{R}$ a través de representaciones en espacios $L^p(\mathbb{R})$.

• Representación de Koopman: Se define la representación de Koopman $\pi: G \to O(L^p(\mathbb{R}))$ asociada a la acción en la recta.
• Mapa de Mazur: Se utiliza el mapa de Mazur $M_{q,p}$ para relacionar representaciones ortogonales en $L^2$ y $L^p$. Esto permite transferir las propiedades de rigidez de Propiedad (T) desde $L^2$ a $L^p$.
• Estimaciones: Se derivan cotas superiores para la constante de Kazhdan $\kappa(G, \Gamma, S)$ en función del máximo constante de Lipschitz $L = \max_{g \in S} \text{BiLip}(g)$.

C. Análisis de Casos ($p=2$ y $p \to \infty$)

El autor obtiene dos cotas diferentes dependiendo del comportamiento de $L$:

1. Para $L$ grande (comportamiento asintótico): Se utiliza la representación en $L^2$ para obtener una cota que decae como $\sqrt{2}(1 - L^{-1/2})^{1/2}$.
2. Para $L$ cercano a 1 (pequeño desplazamiento): Se utiliza la representación en $L^p$ con $p$ grande (cercano a $\infty$) y estimaciones logarítmicas para obtener una cota del tipo $\frac{1}{2}\log(L)$.

3. Contribuciones Clave y Resultados Principales

A. Teorema Principal (Teorema 1.4)

Establece una relación cuantitativa directa entre la constante de Kazhdan y los constantes de Lipschitz.
Sea $G$ un subgrupo finitamente generado de $BiLip_{bd}^+(\mathbb{R})$ y $\Gamma \leq G$ un subgrupo sin puntos fijos globales. Si el par $(G, \Gamma)$ tiene Propiedad (T), entonces para cualquier conjunto generador finito $S$:
$$\max_{g \in S} \text{BiLip}(g) \geq \Phi(\kappa(G, \Gamma, S))$$
Donde $\Phi: [0, \sqrt{2}) \to [1, \infty)$ es una función estrictamente creciente definida como:
$$\Phi(t) = \max \left\{ e^{2t}, 4(2-t^2)^{-2} \right\}$$
Esto implica que si la constante de Kazhdan es positiva (rigidez), los constantes de Lipschitz de la acción no pueden ser arbitrariamente pequeños; deben estar acotados inferiormente por una función de la rigidez.

B. Aplicación al Producto Semidirecto $F_2 \ltimes \mathbb{Z}^2$ (Teorema 1.6)

El autor aplica el resultado general al par $(F_2 \ltimes \mathbb{Z}^2, \mathbb{Z}^2)$, donde $F_2$ es el subgrupo de Sanov de $SL_2(\mathbb{Z})$.

• Se adapta el argumento de Shalom para obtener una cota inferior explícita para la constante de Kazhdan de este par.
• Resultado: Para cualquier acción inyectiva $\sigma: F_2 \ltimes \mathbb{Z}^2 \to BiLip_{bd}^+(\mathbb{R})$ donde $\sigma(\mathbb{Z}^2)$ no tiene puntos fijos globales, se cumple:
  $$\max_{g \in S} \text{BiLip}(\sigma(g)) \geq \exp\left(\frac{\sqrt{26}-4}{5}\right) \approx 1.24$$
  Esto proporciona un límite numérico explícito para la "suavidad" de tales acciones.

C. Restricciones para Grupos Ordenables (Corolario 1.8)

El trabajo conecta la ordenabilidad con la Propiedad (T).

• Se sabe que todo grupo ordenable finitamente generado puede actuar en $\mathbb{R}$ con constantes de Lipschitz acotadas por el tamaño del conjunto generador ($|S|$).
• Combinando esto con el Teorema 1.4, se deduce que si existe un grupo ordenable con Propiedad (T), su constante de Kazhdan debe satisfacer:
  $$\kappa(G, \Gamma, S) \leq \Phi^{-1}(|S|)$$
  Esto ofrece una restricción necesaria: la rigidez (Propiedad (T)) de un grupo ordenable no puede ser arbitrariamente alta; debe estar limitada por el tamaño de sus generadores.

4. Significado e Impacto

• Cuantificación de la Rigidez: El artículo transforma una obstrucción cualitativa (la Propiedad (T) impide ciertas acciones) en una obstrucción cuantitativa precisa. Proporciona una "escala" de cuánto debe distorsionarse la métrica de la recta para acomodar la rigidez de un grupo.
• Herramienta para el Problema Abierto: Aunque no resuelve la pregunta de si existen grupos ordenables con Propiedad (T), establece un criterio de prueba: cualquier candidato a tal grupo debe tener constantes de Kazhdan suficientemente pequeños en relación con sus generadores.
• Nuevas Técnicas: La integración de la representación de Koopman en espacios $L^p$ con el mapa de Mazur para estudiar acciones en la recta real es una innovación metodológica que podría aplicarse a otros problemas de rigidez en dinámica.
• Límites Explícitos: El cálculo explícito para $F_2 \ltimes \mathbb{Z}^2$ (aprox. 1.24) es un resultado concreto que puede ser verificado o utilizado en futuros estudios sobre la dinámica de estos grupos específicos.

En resumen, el trabajo de Vergara establece un puente riguroso entre la teoría de representaciones unitarias (Propiedad (T)) y la geometría de las acciones en la recta real (constantes de Lipschitz), ofreciendo nuevas herramientas para atacar problemas abiertos sobre la ordenabilidad de grupos rígidos.