Polar Degrees of Matroids

Resumen Técnico: Grados Polares de los Matroides

Planteamiento del Problema
Este artículo investiga las propiedades geométricas de los espacios lineales recíprocos, específicamente el cierre $L^{-1}$ de la imagen de un subespacio lineal $L \subseteq \mathbb{P}^n$ bajo el mapa de inverso por componentes (la transformación de Cremona). El objeto central de estudio es la secuencia de grados polares de $L^{-1}$, que codifican los grados de sus variedades polares y, crucialmente, el grado de su variedad dual proyectiva $(L^{-1})^\vee$.

El trabajo está motivado por conjeturas recientes de Matsubara-Heo y Telen respecto al determinante principal del matroide $E_L$. Estas conjeturas postulaban que:

1. $L^{-1}$ es dual defectivo (es decir, $\dim((L^{-1})^\vee) < n-1$) si y solo si el matroide asociado $M(L)$ es desconectado.
2. Si $M(L)$ es conexo, el grado de la variedad dual es $2^d \beta(M)$, donde $d = \dim(L)$ y $\beta(M)$ es el invariante beta del matroide.
3. La factorización de $E_L$ involucra multiplicidades específicas relacionadas con las multiplicidades locales de $L^{-2}$ a lo largo de los estratos.

Si bien la tercera conjetura relativa a las multiplicidades permanece abierta (abordada en el trabajo futuro [BKW26]), este artículo proporciona una descripción combinatoria completa de los grados polares, resolviendo así las dos primeras conjeturas y ofreciendo una fórmula unificada para todos los grados polares.

Metodología
Los autores emplean una síntesis de geometría algebraica, geometría tropical y teoría de matroides. La estrategia central consiste en traducir el problema geométrico de computar números de intersección en la variedad conormal en un problema combinatorio sobre el fan bipermutoedral.

1. Variedades Conormales y Parametrización: El estudio se centra en la variedad conormal $\text{Con}(L^{-1}) \subseteq \mathbb{P}^n \times (\mathbb{P}^n)^*$. Los autores utilizan una parametrización racional $\psi: L \times L^\perp \dashrightarrow \mathbb{P}^n \times (\mathbb{P}^n)^*$, $(x, y) \mapsto (x^{-1}, x^2 y)$, que mapea hacia la variedad conormal.
2. Resolución de la Indeterminación: Para computar los grados, el mapa racional debe ser resuelto. Los autores resuelven el lecho base pasando de un producto de espacios proyectivos a la variedad bipermutoedral $X(\Sigma_{E,E})$, una variedad torica proyectiva suave introducida por Adiprasito, Huh y Katz [ADH22]. Esta variedad alberga el fan conormal $\Sigma_{M, M^\perp}$ del matroide $M$.
3. Tropicalización y Seguimiento de Pesos: Los autores utilizan la geometría tropical para relacionar los grados polares de $L^{-1}$ con el multidegrado de un mapa más simple $\phi(x, y) = (x^{-1}, xy)$. Al analizar la tropicalización del producto de Hadamard $L \star L^\perp$ y realizar un seguimiento de los pesos de los conos bajo mapas finitos (específicamente mapas de elevación al cuadrado), extraen factores de $2$y$m$ (para potencias generalizadas) de los números de intersección.
4. Reducción Combinatoria: Los números de intersección en la variedad conormal se expresan como sumas sobre banderas decrecientes de cerrados en el matroide $M$. Estas sumas se relacionan luego con los coeficientes del polinomio característico reducido $\chi_M(t)$ mediante un argumento recursivo que involucra los invariantes beta de los menores.

Contribuciones Clave y Resultados

• Teorema Principal (Teorema A): El artículo establece una fórmula cerrada para los grados polares $\mu_j(L^{-1})$ del espacio lineal recíproco. Sea $\chi_M(t)$ el polinomio característico reducido de $M$. La función generatriz para los grados polares viene dada por:
  $$\sum_{j=0}^d \mu_j(L^{-1}) t^j = (-2t - 1)^d \chi_M\left( \frac{2t}{2t + 1} \right)$$
  Equivalentemente, para los grados duales $\delta_i(L^{-1}) = \mu_{d-i}(L^{-1})$:
  $$\sum_{i=0}^d \delta_i(L^{-1}) t^i = (-t - 2)^d \chi_M\left( \frac{2}{t + 2} \right)$$

• Resolución de Conjeturas:

  • Conjetura 1.1 (Defectividad Dual): La fórmula confirma que $L^{-1}$ es dual defectivo si y solo si $\beta(M) = 0$, lo cual ocurre precisamente cuando $M$ es desconectado.
  • Conjetura 1.2 (Grado Dual): Para matroides conexos, el grado de la variedad dual es explícitamente $\deg((L^{-1})^\vee) = 2^d \beta(M)$.

• Generalizaciones:

  • Potencias Superiores: Los resultados se extienden al espacio lineal recíproco $L^{-m}$ (imagen bajo el inverso de la potencia por componentes $m$). El Teorema 4.8 proporciona una fórmula que involucra a $m$ y al número de componentes conexas $c(M)$:
    $$\sum_{j=0}^d \mu_j(L^{-m}) t^j = m^{1-c(M)} (-(m+1)t - m)^d \chi_M\left( \frac{(m+1)t}{(m+1)t + m} \right)$$
  • Clases de Chern-Mather: El artículo deriva una fórmula combinatoria para los grados de las clases de Chern-Mather de $L^{-1}$ en términos de $\chi_M$.
  • Grados de Distancia: Se muestra que el grado de distancia genérico de $L^{-1}$ es $(-3)^d \chi_M(2/3)$.

Significado
El artículo demuestra que los grados polares de los espacios lineales recíprocos están determinados enteramente por los invariantes combinatorios del matroide subyacente. Al expresar estos invariantes geométricos como coeficientes de una sustitución del polinomio característico reducido, los autores tienden un puente entre la geometría de las variedades conormales y la combinatoria del fan bipermutoedral.

El trabajo resuelve dos conjeturas abiertas respecto a la estructura del determinante principal del matroide $E_L$, aclarando qué factores aparecen y cuáles son sus grados. Además, refuerza la utilidad de los métodos tropicales y la maquinaria desarrollada en [ADH22] para resolver problemas de larga data en la teoría de matroides y la estadística algebraica. Los autores señalan que, si bien la log-concavidad de los coeficientes del polinomio resultante sigue de la log-concavidad de $\chi_M$ (probada en [AHK18]), la fórmula combinatoria explícita proporciona una interpretación geométrica directa de estos coeficientes como números de intersección.