Una investigación revela pistas sobre la geometría oculta de categorías matemáticas prominentes
Prácticamente cualquier rama de las matemáticas modernas puede describirse en términos de categorías. Su estudio requiere una vista panorámica de las matemáticas. Puede que no revele directamente información sobre propiedades específicas, pero permite identificar relaciones (morfismos) entre sus objetos que, de otro modo, sería difícil descubrir desde la base. Al representar las abstracciones de otros conceptos matemáticos, las categorías revelan a menudo una visión profunda y similitudes entre ámbitos aparentemente diferentes, como el álgebra, la geometría algebraica, la teoría de la homotopía y la teoría de la representación.
Ver las categorías desde otro prisma
Con frecuencia, las categorías están «equipadas» con operaciones adicionales que permiten construir nuevos objetos a partir de otros dados, los cuales podrían denominarse categorías cromáticas. Si se amplía más, pueden construirse nuevas categorías cromáticas a partir de las antiguas. «El punto de partida del proyecto ChromoCats, financiado con fondos europeos, es la observación de que las categorías cromáticas son objetos geométricos en sí mismas; no obstante, se desconoce su estructura geométrica», explica Tobias Barthel, coordinador de ChromoCats. Las categorías cromáticas, por analogía con un prisma que descompone la luz blanca en sus colores espectrales, se descomponen a lo largo de un espacio —denominado espectro de Balmer— en categorías locales o monocromáticas. Esta analogía ayuda a revelar más información sobre su estructura geométrica. La geometría de una categoría cromática sirve como instrumento potente para el estudio de los propios objetos y sus relaciones, a la vez que aporta información teórica de un campo matemático a otro. Además, «nos permite utilizar la intuición geométrica para observar nuevos patrones en categorías cromáticas prominentes, como los principios de lo local a lo global: cómo estas categorías pueden crearse a partir de sus componentes locales. Si se toma la analogía del prisma, permite estudiar cómo se crea la luz blanca a partir de sus colores espectrales o qué le sucede a la parte ultravioleta o la infrarroja del espectro», añade Barthel.
Un marco matemático nuevo y potente
Los investigadores desarrollaron un marco innovador que descompone una categoría cromática —más concretamente, una categoría infinita monoidal simétrica— en un haz de categorías locales a lo largo de su espectro de Balmer. El método teórico arroja luz sobre los tres principales aspectos de la geometría de una categoría cromática: su estructura local, los principios de lo local a lo global y las compactificaciones. «Nuestra teoría parte de unos pocos conceptos fundamentales y, a continuación, avanza por las mismas líneas que la geometría algebraica moderna; en otras palabras, posee una naturaleza verdaderamente geométrica. Nos permite utilizar razonamientos geométricos en problemas que carecen de estructura geométrica evidente, lo cual da lugar, entre otras cosas, a herramientas computacionales nuevas y potentes», señala Barthel. Existe un ejemplo universal de categoría cromática conocida como espectro finito. Basándose en el notable trabajo de Devinatz, Hopkins y Smith en la década de los años ochenta, Barthel y sus colaboradores mejoraron la comprensión de una variante más complicada de esta categoría con simetrías adicionales. En concreto, determinaron el espectro de Balmer de la categoría de homotopía estable G-equivariante para cualquier grupo abeliano finito G y, más en general, para todos los grupos de Lie compactos. Por último, los investigadores crearon compactificaciones de categorías cromáticas a través de una categorización de ultraproductos a partir de la lógica matemática. De este modo, se resuelve el problema de la algebrización en la homotopía cromática. En conjunto, el marco de ChromoCats proporciona una descripción sistemática de la geometría de las categorías cromáticas y genera progresos sustanciales en cuanto a conjeturas excepcionales en el campo del álgebra y la topología.
Palabras clave
ChromoCats, categorías cromáticas, geometría, álgebra, espectro de Balmer, topología, principios de lo local a lo global, compactificación