Álgebra y Combinatoria (ALCOM)

La teoría de las acciones parciales nace como una generalización de las acciones de grupo, donde los elementos del grupo no actúan sobre todo un conjunto, sino solo sobre subconjuntos del mismo. Estas han tenido impacto en C*-álgebras, topología, sistemas dinámicos y álgebra, en donde se han generalizado resultados clásicos y obtenido nuevas construcciones y aplicaciones.

En los últimos años, la teoría de números p-ádicos ha despertado un gran interés debido a sus aplicaciones en problemas de física matemática, biología, psicología, macrodatos (big data) y otras ramas de la ciencia. Este desarrollo ha sido motivado principalmente por una hipótesis de la física de partículas: la conjetura de que, a la longitud de Planck (equivalente a 10^-33 cm), el espacio-tiempo posee una estructura no arquimediana. En este marco, las funciones zeta locales juegan un papel relevante en las matemáticas, puesto que están relacionadas con teorías como las ecuaciones diferenciales parciales, la teoría de números y la teoría de singularidades, entre otras. Estas funciones pueden definirse sobre cualquier cuerpo local K, lo que permite considerar tanto los casos arquimedianos como los no arquimedianos, siendo estos últimos el interés central de esta línea de investigación.

Se estudia la interacción entre la geometría algebraica, el álgebra y la seguridad de la información. Particularmente, el enfoque se centra en el análisis de curvas algebraicas y sus cuerpos de funciones para la construcción de códigos correctores de errores con excelentes parámetros. Estos códigos resultan fundamentales en sistemas de comunicación y almacenamiento de datos, donde permiten detectar y corregir fallos de transmisión; asimismo, se investigan sus propiedades algebraicas y computacionales, junto con el desarrollo de algoritmos eficientes de codificación y decodificación. Desde la perspectiva criptográfica, se explora la implementación de estos códigos algebraico-geométricos en el diseño de esquemas criptográficos resistentes a ataques clásicos y cuánticos. Esta línea combina herramientas teóricas y computacionales, contribuyendo tanto al avance de las matemáticas como a la solución de problemas críticos en la seguridad y transmisión de la información.

La línea de investigación en matemáticas discretas aborda el estudio de estructuras finitas o infinitas numerables —tales como los números enteros, los grafos, los diseños y las proposiciones lógicas—, manteniendo una relación directa con la combinatoria, la optimización y las teorías de grafos, de diseños y de números, así como con el desarrollo de algoritmos. Su objetivo es diseñar herramientas teóricas y computacionales eficientes para modelar y resolver problemas complejos en informática, comunicaciones y logística. Esta línea combina técnicas algebraicas y computacionales, contribuyendo tanto al avance de la matemática fundamental como al desarrollo de soluciones de vanguardia en ciencia y tecnología.

El concepto de anillo de grupo es relativamente antiguo. Aparece de forma implícita en el primer trabajo de teoría abstracta de grupos, escrito por A. Cayley en 1854, y fue introducido de manera explícita por T. Molien en su tesis doctoral de 1897. En dicho estudio surgieron los primeros resultados sobre representaciones complejas de grupos finitos, lo que incentivó las investigaciones posteriores de matemáticos como E. Noether, R. Brauer e I. Schur. A partir de 1960, el interés por los anillos de grupo fue estimulado, en gran parte, por la célebre lista de problemas de I. Kaplansky.

Esta teoría constituye un punto de encuentro para diversas áreas del álgebra. Debido a su papel central en el desarrollo de la teoría de representaciones, su estrecha relación con esta última es innegable. Asimismo, son evidentes sus conexiones tanto con la teoría de grupos como con la de anillos, dado que sus resultados están íntimamente ligados a los principios de ambas disciplinas. Dado que los anillos de grupo sobre números enteros representan un foco de atención particular, la teoría algebraica de números también desempeña un rol fundamental en su desarrollo. Finalmente, estas estructuras son clave en otros campos como el álgebra homológica, la topología algebraica y la teoría K. En los últimos años, su aplicación en la teoría de códigos correctores de errores ha cobrado gran relevancia para las transmisiones digitales, permitiendo el diseño de nuevos códigos más eficientes y fiables.

El álgebra conmutativa, en conjunto con la geometría proyectiva, constituye el fundamento matemático de la geometría algebraica moderna. Mientras la primera estudia los anillos y módulos conmutativos —sirviendo como el lenguaje preciso para formalizar el estudio de soluciones de ecuaciones polinómicas—, la geometría proyectiva aporta el entorno espacial y geométrico natural para dichas ecuaciones, resolviendo problemas complejos de intersección (como el encuentro de líneas paralelas en el infinito).

Esta línea de trabajo se caracteriza por explotar la profunda correspondencia entre el álgebra y la geometría. Específicamente, la investigación se articula en torno a tres ejes:

• La dualidad entre anillos y variedades: En la geometría proyectiva, los polinomios homogéneos definen subconjuntos (variedades proyectivas) que algebraicamente corresponden a ideales dentro de un anillo de polinomios.

• El teorema de los ceros de Hilbert (Nullstellensatz): Este principio opera como el puente que conecta el álgebra conmutativa abstracta con la geometría, al establecer una correspondencia exacta entre los ideales radicales y los conjuntos algebraicos.

• La construcción del espacio proyectivo: Se fundamenta de forma rigurosa a través del anillo de coordenadas homogéneas o mediante el concepto de proyecciones sobre espacios cocientes y módulos.

Entre las aplicaciones modernas de la convergencia de estas dos disciplinas se encuentra la resolución de problemas avanzados en áreas como la teoría de números, la criptografía, la geometría birracional y la física teórica (como en la teoría de cuerdas), campos donde el análisis de las formas polinómicas y sus espacios de módulos requiere del rigor de ambas ramas.

La investigación sobre identidades polinomiales, también conocida como la teoría de las PI-álgebras, es relativamente reciente; su mayor desarrollo se ha dado en los últimos setenta años. Antes de ese periodo, se pueden destacar los trabajos de M. Dehn (1922), W. Wagner (1936) y M. Hall (1943), en su mayoría motivados por la geometría. Después de 1945, los estudios sobre identidades polinomiales en álgebras se intensificaron. Para ese momento, surgieron resultados cruciales gracias a I. Kaplansky y N. Jacobson. Más aún, uno de los teoremas más importantes en esta área, el de Amitsur-Levitzki, fue demostrado en 1950.

Varios matemáticos han contribuido al estudio de las identidades polinomiales en álgebras. Entre ellos se pueden mencionar a Higman, Nagata, Shirshov, Regev, Razmyslov, Procesi, Rowen, Cohn, Posner, Vaughan-Lee, Herstein, Formanek, Kostrikin, Specht, Zelmanov, Giambruno, Bahturin, Zaicev, Drensky y Koshlukov, entre otros. Actualmente, la teoría de PI-álgebras es uno de los campos de mayor relevancia en el álgebra pura, y destaca su desarrollo en institutos de matemáticas de países vecinos como Brasil y Chile. Cabe recordar que las identidades polinomiales son ecuaciones algebraicas en varias variables que se cumplen para todos los valores posibles de las incógnitas. Tales expresiones difieren de las ecuaciones comunes, dado que el objetivo no es encontrar el valor de las variables, sino demostrar una igualdad estructural y universal entre dos miembros.

Históricamente, existen tres direcciones principales en el estudio de las PI-álgebras:

• Primera dirección: Describir todas las álgebras que satisfacen ciertas condiciones que surgen de forma natural. En otras palabras, esta línea de trabajo está asociada con la siguiente pregunta: si un álgebra A satisface una identidad polinomial específica, ¿qué se puede decir de la estructura de la propia álgebra A?

• Segunda dirección: Mucho más concreta, en ella se estudian las identidades polinomiales que satisface un álgebra dada y las clases de álgebras que cumplen dichas identidades.

• Tercera dirección: Relacionada con la segunda, estudia los T-ideales de identidades; es decir, ideales de álgebras que permanecen invariantes bajo ciertos endomorfismos.

En estos estudios, los investigadores utilizan de manera recurrente herramientas avanzadas como la representación de grupos simétricos, los métodos asintóticos para medir el crecimiento de las codimensiones, las álgebras graduadas y algunas estructuras adicionales.

Esta línea estudia estructuras algebraicas no conmutativas y sus interacciones con la teoría de categorías. Incluye el análisis de álgebras de Hopf y sus generalizaciones, extensiones de Ore y álgebras PBW, así como categorías monoidales, trenzadas y simétricas, categorías abelianas y categorías de Grothendieck. Estos enfoques permiten unificar el tratamiento de diversas estructuras algebraicas y abordar problemas de clasificación y representación desde una perspectiva categórica.