Linear sofic representations of amenable algebras

Resumen Técnico: Representaciones Soficas Lineales de Álgebras Amenables

Enunciado del Problema
Este artículo investiga el análogo algebraico lineal del fenómeno de rigidez observado en la teoría de grupos por Elek y Szabó. Específicamente, aborda la relación entre la amenabilidad de un álgebra finitamente generada y la unicidad de sus representaciones soficas lineales. Mientras que Elek y Szabó establecieron que, para un grupo sofico finitamente generado, la amenabilidad es equivalente a la conjugación de todas las representaciones soficas, este trabajo busca determinar si una caracterización similar se cumple para álgebras asociativas sobre un cuerpo $K$. El estudio se centra en álgebras sin divisores de cero, utilizando la métrica de rango normalizada $d(A, B) = \frac{1}{n}\text{rk}(A-B)$ en álgebras de matrices $M_n(K)$ como el contraparte lineal de la métrica de Hamming normalizada utilizada en la teoría de grupos.

Metodología
El autor desarrolla una técnica de "teselación lineal" para analizar representaciones soficas lineales. Este enfoque es análogo al método clásico de cuasi-teselación de Ornstein y Weiss para grupos amenables, el cual fue previamente adaptado por Elek para representaciones soficas de grupos. Sin embargo, la versión lineal depende de una herramienta algebraica distinta: un teorema de Brešar, Meshulam y Šemrl concerniente a operadores localmente linealmente dependientes.

Los pasos metodológicos clave incluyen:

1. Definiciones: Formalizar las "representaciones soficas lineales" como homomorfismos asintóticos $\phi_k: A \to M_{n_k}(K)$ que separan máximamente los elementos (es decir, $\lim \text{rk}(\phi_k(a)) = 1$ para todo $a \neq 0$).
2. Monoteselación Lineal: Demostrar que, para una representación sofica lineal, cualquier subespacio de dimensión finita puede ser "teselado" por vectores raíz. Específicamente, el Lema 4.2 demuestra la existencia de subespacios independientes generados por la acción de un subespacio $W$ sobre vectores específicos, cubriendo una gran proporción del espacio ambiente. Esto depende del teorema de Brešar-Meshulam-Šemrl para asegurar la existencia de vectores donde los operadores actúan de manera linealmente independiente.
3. Argumento de Conjugación: Utilizar la propiedad de monoteselación lineal para construir una matriz invertible $M_k$ que conjugue dos representaciones soficas lineales arbitrarias $\phi_k$ y $\psi_k$ en un gran subespacio, demostrando así que son conjugadas en el límite.
4. Análisis de Estabilidad: Aplicar el resultado de unicidad al problema de la estabilidad débil, definida como la propiedad donde toda representación sofica lineal está asintóticamente cerca de una representación verdadera.

Contribuciones y Resultados Clave

• Teorema 1.1 (Unicidad de Representaciones): El resultado central establece que, para cualquier álgebra $K$-amenable finitamente generada $A$ sin divisores de cero, existe una única clase de conjugación de representaciones soficas lineales. Esto establece que la amenabilidad implica la rigidez de las representaciones soficas lineales, reflejando el teorema de Elek-Szabó para grupos.

  • Nota: La recíproca (si la conjugación única implica amenabilidad) permanece abierta.

• Monoteselación Lineal (Lema 4.2 y Corolario 4.3): El artículo introduce un lema de "monoteselación lineal", mostrando que en una representación sofica lineal, cualquier subespacio de dimensión finita puede teselar el espacio de representación hasta una pequeña codimensión. El autor nota en la Observación 4.4 que esta versión lineal es significativamente más eficiente y flexible que las teselaciones de grupos clásicas; por ejemplo, toda secuencia de Følner en el contexto lineal consiste en monoteselas, una propiedad no garantizada para grupos amenables generales.

• Caracterización de Estabilidad Débil (Teorema 6.4):

  • Para un álgebra amenable general $A$ sin divisores de cero, $A$ es débilmente estable si y solo si existe una secuencia de representaciones verdaderas que forma una representación sofica lineal.
  • Para álgebras de grupo $K\Gamma$ donde $\Gamma$ es un grupo amenable sin torsión y $K\Gamma$ no tiene divisores de cero, $K\Gamma$ es débilmente estable si y solo si $\Gamma$ es residualmente finito.

• Contraejemplo (Sección 6.1): El artículo proporciona un ejemplo de un álgebra que es débilmente estable pero no estable. Al considerar el álgebra de grupo $K A_p$ del grupo de Abels $A_p$ (un grupo elementalmente amenable, finitamente presentado y sin torsión), el autor muestra que, aunque el álgebra es débilmente estable (debido a la finitud residual de $A_p$), no es estable. Esto contrasta con el comportamiento de grupos estables y resalta la distinción entre estabilidad débil y fuerte en la métrica de rango.

Significado y Afirmaciones
El artículo afirma proporcionar un análogo algebraico riguroso al teorema de Elek-Szabó, cerrando la brecha entre las propiedades asintóticas de aproximaciones finitas y la amenabilidad estructural de las álgebras. El significado radica en:

1. Unificación: Extender el concepto de soficidad y rigidez de amenabilidad desde el contexto de grupos (permutaciones) al contexto algebraico (matrices/métrica de rango).
2. Innovación Metodológica: La técnica de "monoteselación lineal", derivada de la teoría de operadores, se presenta como una herramienta más potente para contextos lineales que las técnicas de cuasi-teselación utilizadas para grupos.
3. Teoría de Estabilidad: Los resultados aclaran las condiciones bajo las cuales las álgebras de grupo son débilmente estables, vinculando esta propiedad directamente a la finitud residual del grupo subyacente.

El autor mantiene una postura modesta respecto a la recíproca del Teorema 1.1, afirmando explícitamente que se desconoce si un álgebra con una única clase de conjugación de representaciones soficas lineales debe necesariamente ser amenable. Además, el artículo no afirma que todas las álgebras soficas lineales (sin divisores de cero) admitan representaciones soficas lineales, señalando que el "truco de amplificación" utilizado en la teoría de grupos no se comporta tan bien en el contexto lineal.