- Britta Späth y Marc Cabanes completaron la demostración de la conjetura de McKay, un gran problema abierto de la teoría de grupos, ampliando el camino para entender grupos finitos complejos mediante subgrupos mucho más pequeños
- La conjetura parte de una coincidencia inesperada: un grupo finito y su normalizador de Sylow tienen exactamente el mismo valor en la cantidad de ciertas representaciones
- Tras completarse en 2004 la clasificación de los grupos finitos, Isaacs, Navarro y Malle redujeron el problema a un enunciado más fuerte sobre un conjunto más acotado de grupos; la última barrera eran los grupos de tipo Lie
- Späth y Cabanes abordaron sucesivamente las cuatro categorías de grupos de tipo Lie y, después de que en 2018 quedara solo una categoría final, dedicaron seis años más a verificar también las reglas necesarias de correspondencia entre representaciones
- Ahora los matemáticos pueden estudiar propiedades importantes de los grupos mediante normalizadores de Sylow, que son más manejables, pero aún no se explica por qué un subconjunto pequeño contiene tanta información sobre el grupo grande
Qué dice la conjetura de McKay
- La conjetura de McKay comenzó con una coincidencia numérica descubierta por John McKay en la década de 1970
- Su objeto son los grupos finitos (finite group), que tienen una cantidad finita de elementos
- Un grupo es un objeto abstracto que representa las simetrías de un sistema matemático
- A medida que crece el número de elementos y la estructura se vuelve más compleja, se hace difícil estudiar el conjunto completo de forma directa
- McKay pensó que se podía obtener información importante observando solo una pequeña parte del grupo original
- En particular, se enfocó en el normalizador de Sylow, un grupo especial más pequeño dentro del grupo original
- El normalizador de Sylow puede contener apenas una fracción muy pequeña de los elementos del grupo original, y su estructura también puede diferir mucho de la del grupo original
- El núcleo de la conjetura es que la cantidad de cierto tipo de representaciones (representation) es exactamente la misma en el grupo finito original y en su normalizador de Sylow
- Una representación es una forma de reescribir los elementos de un grupo como matrices
- Esa cantidad se usa para entender cómo se relacionan entre sí los elementos del grupo y para calcular otras propiedades importantes
Por qué es una coincidencia sorprendente
- La coincidencia observada por McKay no es una simple aproximación ni una tendencia, sino una identidad exacta
- Por ejemplo, un grupo con 72 elementos puede descomponerse como 2³ × 3²
- Se puede observar un subgrupo de 8 elementos o uno de 9 elementos
- Al sumarles ciertos elementos, se pueden formar el normalizador 2-Sylow y el normalizador 3-Sylow
- No había una razón evidente para que estas estructuras pequeñas tuvieran exactamente la misma cantidad de representaciones que todo el grupo original
- Gabriel Navarro lo comparó con una situación en la que el porcentaje total de votos en una elección de Estados Unidos y el porcentaje de votos en un pueblito de Montana no fueran “parecidos”, sino exactamente iguales
- Si la conjetura es cierta, los matemáticos pueden estudiar las propiedades de los grupos mediante normalizadores de Sylow, más fáciles de manejar, en lugar de trabajar con grupos finitos más grandes
El teorema de clasificación y la reducción del problema
- El enorme proyecto de clasificar todos los bloques constitutivos de los grupos finitos se extendió por más de 100 años y se completó en 2004
- Todos los bloques constitutivos pertenecen a una de tres categorías o a una lista de 26 excepciones
- Desde hacía tiempo, los matemáticos esperaban que esta clasificación pudiera simplificar problemas como la conjetura de McKay
- En 2004, Marty Isaacs, Gabriel Navarro y Gunter Malle encontraron una forma de convertir la conjetura de McKay en un enunciado más fuerte sobre un conjunto más acotado de grupos
- No basta con que la cantidad de representaciones sea la misma: las representaciones deben corresponderse entre sí según reglas específicas
- Si este enunciado fuerte se cumple en esos grupos, se deduce la conjetura de McKay para todos los grupos finitos
- En los años siguientes, esta reducción se usó para resolver la mayoría de los casos de la conjetura de McKay
- El mismo enfoque también sirvió como plan de trabajo para reducir otras conjeturas relacionadas que estudian el conjunto completo a través de una parte de él
Los grupos de tipo Lie, el último gran obstáculo
- Incluso después de la reducción, una clase de grupos de tipo Lie (groups of Lie type) seguía siendo un problema abierto
- Los grupos de tipo Lie son matemáticamente importantes porque son los bloques constitutivos más comunes de otros grupos, pero sus representaciones son muy difíciles de estudiar
- Späth conoció la conjetura de McKay en 2003, cuando era estudiante de doctorado de Malle en la University of Kassel
- Después profundizó en el estudio de las representaciones de grupos y siguió impulsando la conjetura
- En 2010, Späth conoció a Cabanes en Paris Cité University
- Cabanes era especialista en el conjunto acotado de grupos que está en el centro de la conjetura de McKay reducida
- Los dos se volcaron juntos al problema, y Cabanes lo llamó “nuestra obsesión”
- Los grupos de tipo Lie tienen cuatro categorías, y Späth y Cabanes pasaron más de una década demostrando cada una sucesivamente
- En el proceso publicaron varios resultados importantes
- Incorporaron teorías difíciles de distintas áreas de las matemáticas y desarrollaron una comprensión profunda de los grupos de tipo Lie
La demostración final y las preguntas pendientes
- Para 2018 solo quedaba una de las cuatro categorías de grupos de tipo Lie, y resolver este último caso tomó otros seis años
- Späth y Cabanes demostraron que, también en la última categoría, la cantidad de representaciones coincide con la del normalizador de Sylow y se cumplen las reglas de correspondencia entre representaciones necesarias
- Con el cierre del último caso, toda la conjetura de McKay pasó a ser automáticamente verdadera
- Los dos presentaron la demostración en octubre de 2023 ante más de 100 matemáticos y, un año después, la publicaron en línea
- Radha Kessar la calificó como un “logro absolutamente deslumbrante”
- Ahora los matemáticos pueden estudiar propiedades importantes de los grupos mirando solo el normalizador de Sylow
- Es un enfoque más sencillo que trabajar con el grupo original
- También podría tener posibles aplicaciones prácticas
- Sin embargo, sigue siendo un misterio por qué un subconjunto pequeño proporciona tanta información sobre un grupo padre mucho más grande
- Kessar dijo que “debe haber una razón estructural por la que estos números sean iguales”
- Hay algunos estudios preliminares, pero esa conexión aún no se entiende
- Späth y Cabanes están buscando el próximo problema en el que concentrarse
- Späth dice que todavía no ha encontrado nada que la atrape tanto como la conjetura de McKay
1 comentarios
Opiniones en Hacker News
Parece que hay una razón por la que casi todos los artículos incluyen la frase: “Aunque perseguir de forma tan obsesiva un problema tan difícil podía poner en riesgo su carrera académica, Späth aun así le dedicó todo su tiempo”
Qué bueno que existan estas personas tenaces, y también quisiera brindar por todas esas posibilidades contrafácticas que ni siquiera se mencionan
No se puede cambiar un paradigma siguiéndolo. Creo que subestimar el papel de los tapados sale muy caro. Muchas veces fallan, y probablemente la mayoría falle, pero considerando el impacto, con que tenga éxito un pequeño porcentaje ya vale la pena fomentarlo
Pero en la práctica, por razones como el miedo al fracaso, a menudo se desalienta ir contra la corriente. En investigación, la mayoría de los intentos fracasan, pero el único fracaso real es aquel del que no se aprende. Hoy es muy difícil publicar resultados negativos, así que esos intentos disminuyen, y el sistema fomenta investigaciones “seguras” que, por naturaleza, no pueden ser sino incrementales. Es irónico que, al mismo tiempo, muchos artículos sean rechazados por “falta de novedad”
Las miradas críticas seguirían existiendo, pero podría ignorarlas. Personalmente, creo que el gobierno debería apoyar mucho más la investigación estilo moonshot de individuos o equipos pequeños, de alto riesgo y alta recompensa. Si se distribuye entre muchas personas, la variabilidad se reduce y pueden aparecer resultados. Pero el flujo de financiamiento para investigación en Estados Unidos ahora parece ir justo en la dirección contraria, así que no soy optimista
Al final tuvo éxito, y siempre valoré mucho a la gerencia que lo apoyó
No todo el mundo tiene que dedicar su existencia a maximizar oportunidades profesionales, así que déjenlos en paz
Me gustó la parte que decía: “Cuando la pareja anunció el resultado, sus colegas quedaron maravillados. Persi Diaconis, de Stanford University, dijo: ‘Hubiera querido que hubiera un desfile. Después de años de trabajo realmente, realmente, realmente duro, ella lo logró, ellos lo lograron’”
Una de las cosas que me gustaba al trabajar en problemas de combinatoria era este tipo de apoyo positivo. Personas como Persi Diaconis o D.J.A. Welsh eran tan amables que todo el campo se sentía más acogedor
Y esas ondas, según nuestras intenciones y acciones, resuenan de vuelta dentro de nosotros como felicidad o lo contrario
“Positive vibration, yeah.” --Bob Marley
Creo que la conjetura de McKay dice más o menos esto
Supongamos que queremos representar un grupo mediante matrices de números complejos. Por lo general hay varias formas de hacerlo, y cada una tiene un carácter (character), como una huella digital de esa representación
Por otro lado, se sabe que todo grupo tiene un subgrupo grande cuyo tamaño es una potencia de algún número primo. Llamémoslo P. Este grupo tiene un normalizador en el que P es un subgrupo normal, y a eso se le llama N(P)
Lo sorprendente es que el número de caracteres de todo G sea igual al número de caracteres de N(P), que es solo una pequeña parte de G
Técnicamente, en ambos casos se excluyen las representaciones cuyo grado es múltiplo de p
Me parece interesante que la conjetura se haya demostrado mediante análisis por casos, y que cada caso necesitara técnicas distintas
Casi parece una casualidad que todos los grupos finitos tengan esta propiedad. Porque cada grupo la tiene por una “razón” distinta
Pero según el artículo, ahora los matemáticos buscan una razón estructural más profunda por la que esta conjetura se cumple. Como ya se sabe que el resultado es verdadero, más matemáticos pueden tomárselo en serio y lanzarse a estudiarlo
Es común dividir las cosas relacionadas y luego demostrar cada bloque por separado. Algunas demostraciones son sencillas, pero otras requieren técnicas mucho más avanzadas y pueden quedar como problemas abiertos durante años
Artículo: https://arxiv.org/abs/2410.20392
Casualmente, después de verlo hace poco en HN, estaba leyendo la sección de grupos de Infinite Napkin
Entiendo las definiciones y demás, pero todavía no me queda claro por qué los grupos son tan centralmente importantes
Por ejemplo, el artículo dice que hay 50 grupos de orden 72, y ChatGPT dice que hay 50 no abelianos y 5 abelianos, pero no sé qué insight importante aporta eso
Los grupos de orden 72 son 44 no abelianos y 6 abelianos. No diría que esos números específicos sean enormemente importantes, pero esos son los números correctos
Si hay operaciones que dejan un objeto sin cambios, por ejemplo una rotación que mueve un vértice de un triángulo equilátero al lugar de otro vértice, esa operación es reversible y su inversa también deja el objeto sin cambios. Esas operaciones, al componerse, siguen preservando la invariancia, y la función identidad siempre deja todo invariable. Por eso las operaciones de simetría forman un grupo
Lo un poco más difícil es que todo grupo es el conjunto de operaciones de simetría de algo. Por eso los grupos capturan con precisión el concepto de simetría. Para un matemático, “grupo” y “simetría” son casi sinónimos
Los grupos finitos son interesantes porque, como las simetrías que rotan átomos dentro de una molécula para llevarlos al lugar de otros, pueden decirnos cosas sobre la estructura molecular, los niveles de energía, los espectros y las posibilidades de enlace; los grupos infinitos aparecen en física, por ejemplo cuando las leyes físicas son las mismas aunque giremos o traslademos arbitrariamente el sistema de coordenadas. La simetría también aparece como método para estudiar otros objetos matemáticos, y los matemáticos también quieren saber cómo son todos los grupos posibles
Nadie intenta necesariamente explicar por qué los primos están espaciados de esa manera; más bien, al explicar algún fenómeno, se señala si algo en particular es primo o no
Por ejemplo, hay una fórmula limpia para factorizar polinomios cuadráticos, la fórmula general, y también hay fórmulas para cúbicas y cuárticas, aunque normalmente no se memorizan. Pero para las quínticas no existe una fórmula así. A los matemáticos les llevó tiempo demostrar que no podía existir una, pero la demostración fue del estilo: debajo de una fórmula así tendría que haber un grupo finito menor que cierto tamaño; enumeramos esos grupos y no hay ninguno que corresponda a una fórmula para la quíntica, así que tampoco existe tal fórmula
Por eso los grupos son útiles como una especie de complejidad primordial a la que se puede hacer referencia sin explicar todos los detalles. Las propiedades de los grupos pequeños se pueden verificar a mano y, cuando uno lo ve, muchas cosas forman grupos si se las mira de esa manera
Por ejemplo, ¿el problema que estamos viendo ahora es abeliano? Entonces necesariamente tendría que tener una forma como X o Y
Su demostración: https://arxiv.org/abs/2410.20392 (2024)
Es una dedicación realmente impresionante. Me gustó especialmente la historia personal dentro del artículo, algo que no siempre se ve en textos de STEM
Espero que la relación de ambos se adapte bien a esta nueva realidad en la que ya alcanzaron su objetivo principal
Si solo muestran el resultado final, parece que para ellos fue fácil, y eso puede hacer que otras personas desistan incluso de intentar entender o contribuir. En especial en matemáticas, las ideas en sí deberían ser simples. No somos Ramanujan sumando series infinitas en la cabeza. El problema es que esas ideas están escondidas detrás de muchísimo vocabulario técnico simbólico
Me recuerda a la interpretación abstracta que crearon juntos el matrimonio Patrick Cousot y Radhia Cousot [1]
Es una técnica útil, y la aprendí en una clase de verificación formal
[1] https://en.wikipedia.org/wiki/Abstract_interpretation
Es un artículo realmente excelente
Me hizo pasar varias horas buscando trabajos relacionados, entre ellos algunos de John Conway
Como referencia, mi nivel de matemáticas es el de una BSEE. Aun así, tengo un ejemplar de The Algebraic Eigenvalue Problem, uno de los libros de trabajo que a los profesores universitarios les gustaba consultar, y de vez en cuando le doy una mirada rápida