Una interpretación geométrica de la Conjetura Delta

Información Básica

• ID del artículo: 2501.00197
• Título: Una interpretación geométrica de la Conjetura Delta
• Autores: Maria Gillespie, Eugene Gorsky, Sean T. Griffin
• Clasificación: math.CO (Matemática Combinatoria), math.AG (Geometría Algebraica)
• Fecha de publicación: 3 de enero de 2025 (preimpresión arXiv)
• Enlace del artículo: https://arxiv.org/abs/2501.00197

Resumen

Este artículo introduce una nueva variedad algebraica $Y_{n,k}$, denominada fibra afín $\Delta$-Springer, que generaliza la fibra afín de Springer estudiada por Hikita. La cohomología de Borel-Moore de esta variedad posee una acción de $S_n$ y una estructura bigraduada que, bajo el mapeo de características de Frobenius, corresponde a la función simétrica $\mathrm{rev}_q\omega\Delta'_{e_{k-1}}e_n$ de la Conjetura Delta. Los autores proporcionan asimismo una interpretación geométrica del teorema racional de barajado para el caso de pendiente entera $(km,k)$. La variedad $Y_{n,k}$ posee un mapeo hacia la Grassmanniana afín, cuyas fibras son las fibras $\Delta$-Springer introducidas por Levinson, Woo y el tercer autor.

Contexto de Investigación y Motivación

1. Problema central a resolver:
   • Proporcionar una interpretación geométrica de la Conjetura Delta y el teorema racional de barajado
   • Construir variedades algebraicas con acciones apropiadas del grupo simétrico, cuya cohomología corresponda a las funciones simétricas en estas conjeturas combinatorias
2. Importancia del problema:
   • La Conjetura Delta es un problema abierto importante en la teoría de polinomios de Macdonald
   • El teorema racional de barajado conecta el álgebra elíptica de Hall con estadísticas combinatorias
   • La realización geométrica facilita una comprensión más profunda de la estructura de estos objetos combinatorios
3. Limitaciones de los enfoques existentes:
   • El trabajo de Hikita solo abordaba el caso $(n,n)$
   • Falta de comprensión geométrica para el caso general $(K,k)$
   • La relación entre la Conjetura Delta y el teorema racional de barajado requiere una unificación a nivel geométrico
4. Motivación de la investigación:
   • Generalizar la teoría de fibras afines de Springer de Hikita
   • Establecer fundamentos geométricos para la Conjetura Delta
   • Unificar interpretaciones geométricas de diferentes conjeturas combinatorias

Contribuciones Principales

1. Introducción de fibras afines $\Delta$-Springer: Se construye la nueva variedad algebraica $Y_{n,k}$, generalizando la fibra afín de Springer de Hikita
2. Establecimiento de correspondencia geométrico-combinatoria: Se demuestra que la característica de Frobenius de la cohomología de Borel-Moore de $Y_{n,k}$ es igual a la función simétrica en la Conjetura Delta
3. Proporcionar interpretación geométrica del teorema racional de barajado: Se construye la variedad $X_{n,k}$, cuya cohomología corresponde a la función simétrica en el teorema racional de barajado
4. Establecer fórmula de operador Schur sesgado: Se demuestra que la cohomología de las dos variedades está relacionada mediante operadores Schur sesgados
5. Construcción de teselaciones afines: Se proporciona una teselación afín para $X_{n,k}$, con celdas en correspondencia biunívoca con funciones de estacionamiento $(K,k)$

Explicación Detallada de Métodos

Definición de Tareas

La tarea central de este artículo es construir variedades algebraicas cuya característica de Frobenius de la cohomología corresponda a las siguientes funciones simétricas:

• $\mathrm{rev}_q\omega(E_{K,k} \cdot 1)$ (teorema racional de barajado)
• $\mathrm{rev}_q\omega\Delta'_{e_{k-1}}e_n$ (Conjetura Delta)

donde $K = k(n-k+1)$.

Arquitectura del Modelo

1. Objetos Geométricos Fundamentales

Variedad de banderas afín: $\widetilde{Fl} = GL_K(\mathbb{K})/I_-$, donde $\mathbb{K} = \mathbb{C}((\epsilon))$, e $I_-$ es el subgrupo de Iwahori.

Grassmanniana afín: $\widetilde{Gr} = GL_K(\mathbb{K})/GL_K(\mathcal{O})$, donde $\mathcal{O} = \mathbb{C}[[\epsilon]]$.

2. Definición de Operadores Clave

Se define el operador nil-elíptico $\gamma = \gamma_{n,k,N}$: