🔢 mathematics

Non-residually finite $\tilde{C}_2$ -lattices

Este artículo presenta los primeros ejemplos conocidos de retículos no residualmente finitos en edificios irreducibles, los cuales incluyen los primeros grupos CAT(0) simples con la propiedad (T) y los primeros grupos CAT(0) que no son cuasi-isométricos a un producto directo, al tiempo que clasifica los retículos regulares de vértices que preservan el tipo en edificios $\tilde{A}_2$ de espesor tres e identifica un nuevo ejemplo aritmético.

Autores originales: Thomas Titz Mite, Stefan Witzel

Publicado 2026-08-21

📖 6 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Thomas Titz Mite, Stefan Witzel

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

En el vasto paisaje de la matemática moderna, existe un campo dedicado a comprender la simetría y la forma a través del lente de los grupos. Un grupo, en este contexto, es simplemente una colección de simetrías que pueden combinarse y revertirse, de forma muy parecida a las maneras en que uno puede rotar o voltear un objeto geométrico. Durante más de un siglo, los matemáticos se han interesado particularmente en los "retículos" (lattices), que son tipos específicos de grupos que actúan sobre estructuras geométricas complejas llamadas edificios (buildings). Estos edificios no están hechos de ladrillo y mortero, sino que son intrincadas redes de alta dimensión de triángulos y cuadrados que se extienden infinitamente en todas las direcciones. Una pregunta clave que ha desconcertado a los investigadores durante mucho tiempo es si estos retículos son "residualmente finitos". Esta propiedad esencialmente pregunta si un grupo está compuesto de suficientes piezas finitas más pequeñas como para ser comprendido totalmente mediante la observación de sus sombras finitas. Si un grupo es residualmente finito, significa que para cualquier movimiento distinto dentro del grupo, existe un mapa finito donde ese movimiento no parece ser lo mismo que no hacer nada. Si no lo es, el grupo contiene complejidades infinitas ocultas que no pueden ser detectadas por ninguna prueba finita. Durante décadas, los ejemplos conocidos de retículos en estos edificios exóticos y no estándar fueron sospechosos de no ser residualmente finitos, pero nadie pudo probarlo para un solo caso.

Un equipo de investigadores ha proporcionado la primera prueba concreta de que tales grupos existen. Construyeron cinco formas finitas específicas hechas de triángulos que sirven como plano para estas estructuras infinitas. Cuando estas formas se despliegan en sus versiones infinitas, crean edificios exóticos de un tipo llamado $\tilde{C}_2$ . Los grupos fundamentales asociados con estas formas —las descripciones matemáticas de cómo uno puede caminar alrededor de bucles dentro de ellas— han demostrado ser no residualmente finitos. Esto significa que dentro de estos grupos, existen movimientos no triviales específicos que parecen no hacer nada en cada versión finita del grupo. Los investigadores no solo lo supusieron; utilizaron una combinación de búsquedas asistidas por computadora para encontrar las formas adecuadas y una verificación matemática rigurosa para confirmar que los grupos resultantes poseen esta propiedad elusiva.

El descubrimiento es significativo porque rompe una barrera de larga data en el campo. Antes de este trabajo, los únicos ejemplos conocidos de retículos no residualmente finitos existían en estructuras que eran esencialmente productos de árboles, que son redes unidimensionales más simples. Los nuevos ejemplos son "irreducibles", lo que significa que no pueden descomponerse en productos más simples; son genuinamente bidimensionales y complejos. Este hallazgo también revela que los residuales finitos de estos grupos son "simples", un término que significa que no tienen subgrupos normales no triviales en los que esconderse, lo que los hace estructuralmente muy rígidos. Además, estos grupos poseen una propiedad llamada "propiedad (T) de Kazhdan", lo que implica un tipo de rigidez donde el grupo se resiste a ser deformado o aproximado por estructuras más simples. Esta combinación de tener un residual finito simple, ser rígido y no ser residualmente finito era previamente desconocida en el mundo de los retículos sobre edificios irreducibles.

Para encontrar estos ejemplos, los autores emplearon una búsqueda computacional masiva. Exploraron un vasto espacio de posibles complejos triangulares, buscando aquellos que satisficieran reglas geométricas específicas que aseguraran que la estructura infinente resultante fuera un edificio válido. Encontraron cinco tales complejos, etiquetados con índices para distinguirlos. Para el primer ejemplo, que involucra un grosor de tres, el grupo es tan rígido que es su propio residual finito, lo que significa que el grupo entero es la parte infinita oculta que no puede ser vista en cocientes finitos. Para los otros cuatro ejemplos, que involucran un grosor de cuatro, la situación es ligeramente diferente pero sigue confirmando la naturaleza no residualmente finita. Los investigadores verificaron estos resultados comprobando que ciertos bucles complejos dentro de los grupos no podían reducirse a la nada en ningún entorno finito, una tarea que requirió cálculos computacionales extensos para manejar la enorme cantidad de posibilidades.

Más allá del descubrimiento principal, el artículo también ofrece una clasificación completa de un tipo diferente y bien comportado de retículo en un tipo de edificio relacionado pero distinto. Los investigadores catalogaron todos los retículos posibles que actúan regularmente sobre los vértices de un edificio de tipo $\tilde{A}_2$ con un grosor específico de tres. Encontraron exactamente trece tales retículos. La mayoría de ellos ya eran conocidos por ser "aritméticos", lo que significa que surgen de la teoría de números y ecuaciones algebraicas. Sin embargo, uno de los trece resultó ser un nuevo ejemplo aritmético, previamente desconocido; este retículo específico está construido utilizando un campo de números que involucra la raíz cuadrada de menos veintitrés, un detalle que conecta la estructura geométrica con propiedades profundas de la teoría de números. Los otros doce retículos en esta clasificación actúan sobre edificios "exóticos", que no son los estándar derivados de la teoría de números, resaltando aún más la diversidad de estas estructuras geométricas.

Las implicaciones de estos hallazgos se extienden a cómo los matemáticos ven la relación entre la geometría y el álgebra. El artículo demuestra que estos nuevos retículos no son solo diferentes de los antiguos; son fundamentalmente distintos en su geometría a gran escala. Utilizando un concepto llamado cuasi-isometría, que mide cómo se ven las formas cuando se observan desde una gran distancia, los autores demostraron que ninguno de los nuevos retículos puede ser transformado en otro o en cualquier retículo previamente conocido sin distorsionar su estructura esencial. Esto significa que el universo matemático de estos grupos es mucho más rico y variado de lo que se pensaba. El trabajo también proporciona un nuevo método para determinar el grupo de simetría completo de estos edificios, mostrando que, para los nuevos ejemplos, el grupo de simetrías es discreto y finito en sus extensiones, una propiedad que ayuda a distinguirlos de otras estructuras conocidas.

Los investigadores utilizaron una estrategia ingeniosa para probar su resultado principal, apoyándose en el hecho de que estos nuevos retículos contienen subgrupos que ya se sabe que son no residualmente finitos. Al incrustar estos subgrupos "malos" conocidos en las nuevas y más grandes estructuras, aseguraron que los grupos más grandes heredaran las mismas complejidades ocultas. Luego utilizaron una computadora para verificar que los nuevos grupos no adquirieran accidentalmente simetrías adicionales que hicieran que se comportaran de manera diferente. Este proceso implicó la reconstrucción de "bolas" finitas de la estructura infinita y la comprobación de sus simetrías locales, una tarea que confirmó que los grupos eran tan rígidos y únicos como la teoría predecía. El resultado es un conjunto de cinco nuevos y concretos ejemplos que constituyen los primeros casos verificados de retículos no residualmente finitos en edificios irreducibles, abriendo la puerta a una mayor exploración de las profundidades ocultas de la simetría geométrica.

Resumen Técnico: $\tilde{C}_2$ -retículos no residualmente finitos

Planteamiento del Problema

El artículo aborda un problema de larga data en la teoría de grupos geométricos y la teoría de edificios: la existencia de retículos no residualmente finitos en edificios euclídeos irreducibles. Si bien está bien establecido que los retículos en productos de árboles (edificios reducibles) pueden ser no residualmente finitos (por ejemplo, los grupos de Burger–Mozes–Wise), y aunque se conjetura que los retículos en edificios "exóticos" irreducibles (aquellos que no surgen de grupos algebraicos) son generalmente no residualmente finitos, ningún ejemplo explícito había sido verificado hasta este trabajo. Específicamente, los autores pretenden construir y verificar los primeros ejemplos de retículos no residualmente finitos en edificios $\tilde{C}_2$ irreducibles.

Metodología

Los autores emplean una combinación de búsqueda computacional, teoría de grupos combinatorios y argumentos de rigidez geométrica.

Búsqueda Computacional mediante Grafos de Radu:
La esencia de la construcción reside en un algoritmo de búsqueda de complejos de cámaras combinatorios finitos de curvatura no positiva (GABs). Los autores utilizan el concepto de "grafos de Radu", que codifican la geometría local del complejo. Definen una función de "puntuación" basada en el tamaño de una cobertura parcial de triángulos y realizan una búsqueda codiciosa (greedy search) a través de la órbita de los grafos de Radu bajo permutaciones que preservan el tipo. Esta búsqueda identificó complejos específicos $Y^q_i$ que sirven como dominios fundamentales para los retículos deseados.
Incrustación de Subgrupos No Residualmente Finitos:
Para probar la no residualidad finita, los autores construyen los nuevos retículos $\Gamma^q_i$ de tal manera que contengan subcomplejos que son subgrupos conocidos por ser no residualmente finitos.
- Para el caso $q=2$ , el complejo $Y^2_1$ contiene una subdivisión del complejo cuadrado $S_R$ asociado con el grupo de Radu $\Gamma_R$ (un grupo BMW en un producto de árboles).
- Para el caso $q=3$ , los complejos $Y^3_k$ contienen una subdivisión del complejo cuadrado $S_{JW}$ asociado con el grupo de Janzen–Wise $\Gamma_{JW}$ .
  Por el Lema 2.2 (inyectividad de los grupos fundamentales de subcomplejos localmente convexos), los grupos fundamentales de estos subcomplejos se incrustan en $\Gamma^q_i$ . Dado que los subgrupos son conocidos por no ser residualmente finitos, los grupos mayores heredan esta propiedad.
Formas Normales y Rigidez:
Para analizar los grupos más a fondo (específicamente para determinar los grupos de automorfismos y verificar la simplicidad), los autores desarrollan un algoritmo para computar "formas normales" para palabras en estos retículos. Esto implica definir caminos canónicos en la cubierta universal (edificios) y establecer reglas de reescritura. Este algoritmo permite la computación de bolas finitas en los grafos de Cayley, las cuales son utilizadas para probar que los retículos son los grupos de automorfismos completos de sus respectivos edificios (o tienen extensiones de índice finito específicas).
Clasificación de Retículos $\tilde{A}_2$ :
Como resultado secundario pero independiente, los autores realizan una búsqueda exhaustiva para clasificar todos los retículos que preservan el tipo y son regulares en vértices sobre edificios $\tilde{A}_2$ de espesor 3. Esto implica enumerar todos los GABs posibles con restricciones combinatorias específicas y analizar sus grupos fundamentales.

Principales Contribuciones y Resultados

1. Existencia de Retículos Irreducibles No Residualmente Finitos (Teorema A)

La contribución principal es la construcción de cinco complejos triangulares finitos $Y^2_1, Y^3_1, Y^3_2, Y^3_3, Y^3_4$ .

Sus cubiertas universales $X^q_i$ son edificios $\tilde{C}_2$ exóticos de espesor $q+1$ (espesor 3 para $q=2$ , espesor 4 para $q=3$ ).
Sus grupos fundamentales $\Gamma^q_i = \pi_1(Y^q_i)$ son retículos uniformes que no son residualmente finitos.
Específicamente, el residual finito $\check{\Gamma}^q_i = (\Gamma^q_i)^{(\infty)}$ $\overset{ˇ}{Γ}_{i}^{q} = (Γ_{i}^{q})^{(\infty)}$ tiene índice finito en $\Gamma^q_i$ $Γ_{i}^{q}$ .
- Para $q=2$ , $\Gamma^2_1$ es su propio residual finito (es decir, no tiene subgrupos propios de índice finito).
- Para $q=3$ , los índices $[\Gamma^3_i : \check{\Gamma}^3_i]$ son 4 para $i=1,2$ y 8 para $i=3,4$ .

2. Grupos CAT(0) Simples con la Propiedad (T) (Corolario B)

Combinando el teorema principal con resultados previos (específicamente [LW26]), los autores deducen que los residuales finitos $\check{\Gamma}^q_i$ son grupos simples.

Estos grupos son grupos CAT(0) (ya que actúan de forma propia y cocompacta sobre espacios CAT(0)).
Poseen la Propiedad (T) de Kazhdan. Los autores verifican la Propiedad (T) para $\bar{\Gamma}^2_1$ utilizando el método de Ozawa y programación semidefinida, estableciendo una constante de Kazhdan de al menos $0.4147$.
Crucialmente, estos grupos no son cuasi-isométricos a un producto directo propio. Esto los distingue de los retículos conocidos no residualmente finitos en productos de árboles, que son cuasi-isométricos a un producto de árboles.

3. Rigidez y No Isomorfismo

Los autores demuestran que los edificios $X^q_i$ son pairwise no isomorfos y que los retículos $\Gamma^q_i$ son pairwise no cuasi-isométricos.

Esto se logra reconstruyendo bolas finitas en los grafos de Cayley y mostrando que los cocientes resultantes $\check{\Gamma}^q_i \backslash X^q_i$ no son isomorfos.
Los grupos de automorfismos de estos edificios son discretos, confirmando su naturaleza "exótica".

4. Clasificación de Retículos $\tilde{A}_2$ (Teorema C y Teorema 6.1)

El artículo proporciona una clasificación completa de los retículos que preservan el tipo y son regulares en vértices sobre edificios $\tilde{A}_2$ de espesor 3.

Existen exactamente 13 tales retículos (hasta equivalencia).
Ejemplos Aritméticos: Seis de ellos son aritméticos. Notablemente, un ejemplo aritmético (asociado con $\Gamma_6$ ) está definido sobre el cuerpo $K = \mathbb{Q}(\sqrt{-23})$ y no es conmensurable con retículos estudiados previamente. Los autores proporcionan una incrustación explícita de este retículo en un grupo unitario general $GU(f)(\mathbb{Q}_2)$ .
Ejemplos Exóticos: Los siete retículos restantes actúan sobre edificios exóticos. Los autores analizan sus grupos de automorfismos y cocientes, identificando algunos como grupos perfectos sin cocientes pequeños.

Significado

El artículo afirma proporcionar los primeros ejemplos conocidos de retículos no residualmente finitos en edificios irreducibles. Esto resuelve una conjetura que sugería su existencia pero que no había sido verificada.

El significado se extiende a varias áreas:

Teoría de Grupos: Produce los primeros grupos CAT(0) simples conocidos con la Propiedad (T) que no son cuasi-isométricos a un producto directo. Esto desafía la intuición de que la Propiedad (T) y la simplicidad en este contexto podrían estar vinculadas a estructuras reducibles.
Rigidez Geométrica: Los resultados demuestran que el comportamiento no residualmente finito no es exclusivo de los edificios reducibles (productos de árboles), sino que ocurre en entornos irreducibles, expandiendo el panorama de los comportamientos conocidos de los retículos.
Clasificación: La clasificación exhaustiva de los retículos $\tilde{A}_2$ de espesor 3 proporciona un conjunto de datos concreto para comprender la relación entre los retículos aritméticos y los exóticos, revelando nuevos ejemplos aritméticos y una rica variedad de estructuras exóticas.

Los autores enfatizan que la construcción depende de la búsqueda y verificación asistida por computadora, particularmente para establecer la no residualidad finita (al verificar que elementos específicos pertenecen al residual finito) y para computar los grupos de automorfismos de bolas grandes. El código y los datos se ponen a disposición para apoyar estas verificaciones.

Resumen Técnico: C~2\tilde{C}_2C~2​-retículos no residualmente finitos