Marco Linton (ICMAT-CSIC) demuestra que todo grupo de una relación admite una jerarquía finita, confirmando una conjetura que llevaba décadas abierta en teoría geométrica de grupos y abriendo la puerta a nuevas técnicas algorítmicas y estructurales para esta familia fundamental de grupos.
Los grupos de una relación son, junto con los grupos libres, los objetos más básicos de la teoría combinatoria de grupos: se definen mediante un conjunto de generadores y una única ecuación (la relación) que deben satisfacer. Pese a su definición sencilla, esconden una riqueza estructural extraordinaria y presentan problemas abiertos de larga data. Un trabajo de Marco Linton (ICMAT-CSIC), publicado en el Duke Mathematical Journal, da un paso decisivo al demostrar que todo grupo de una relación posee una jerarquía, una propiedad estructural que permite descomponerlo de manera controlada en piezas más simples.
La idea de jerarquía en teoría de grupos fue desarrollada de forma sistemática a partir de los trabajos de Stallings y Haken en los años 60 y 70, especialmente en el contexto de grupos de 3-variedades. Una jerarquía es, grosso modo, una descomposición sucesiva del grupo por subgrupos de superficies o amalgamaciones, hasta llegar a grupos triviales o libres. La existencia de una jerarquía tiene consecuencias algorítmicas y algebraicas profundas: en particular, permite aplicar argumentos de inducción sobre la complejidad del grupo y a menudo implica la resolución de problemas como la coherencia o la decidibilidad del problema de la palabra.
Para los grupos de una relación, la existencia de jerarquías había sido conjeturada a partir de las ideas de Magnus y fue explorada sistemáticamente desde los trabajos de Lyndon, Schupp y otros. Sin embargo, el caso general permanecía abierto. El principal obstáculo era que, a diferencia de los grupos de superficies o de 3-variedades, los grupos de una relación no disponen de una teoría geométrica inmediata que garantice escisiones útiles. Linton supera este obstáculo combinando de manera novedosa la teoría de Bass-Serre —que estudia acciones de grupos sobre árboles— con técnicas modernas de teoría geométrica de grupos, incluyendo complejos cúbicos de dimensión especial y argumentos de mayer-vietoris en cohomología.
El resultado principal establece que cualquier grupo de una relación sin torsión admite una jerarquía finita que termina en grupos libres. Este enunciado tiene consecuencias inmediatas: entre ellas, que estos grupos son coherentes —todo subgrupo finitamente generado es finitamente presentado— y que satisfacen varias propiedades homológicas y de finitud que antes solo se conocían en casos especiales. El trabajo también arroja luz sobre el caso con torsión, que presenta complicaciones adicionales, pero queda parcialmente tratado en el artículo.
Además de resolver la conjetura, el trabajo de Linton introduce técnicas que se esperan fructíferas en el estudio de otras clases de grupos definidos por pocas relaciones, y refuerza los vínculos entre la teoría combinatoria clásica de grupos y los métodos geométricos modernos.
Referencia
Linton, M., One-relator hierarchies, Duke Mathematical Journal 174(4) (2025), https://doi.org/10.1215/00127094-202