Polar Degrees of Matroids

Resumo Técnico: Graus Polares de Matroides

Enunciado do Problema
Este artigo investiga as propriedades geométricas de espaços lineares recíprocos, especificamente o fechamento $L^{-1}$ da imagem de um subespaço linear $L \subseteq \mathbb{P}^n$ sob o mapa de inverso por coordenadas (a transformação de Cremona). O objeto central de estudo é a sequência de graus polares de $L^{-1}$, que codificam os graus de suas variedades polares e, crucialmente, o grau de sua variedade dual projetiva $(L^{-1})^\vee$.

O trabalho é motivado por conjecturas recentes de Matsubara-Heo e Telen relativas ao determinante principal do matroide $E_L$. Essas conjecturas postulavam que:

1. $L^{-1}$ é dual defectivo (ou seja, $\dim((L^{-1})^\vee) < n-1$) se, e somente se, o matroide associado $M(L)$ for desconexo.
2. Se $M(L)$ for conexo, o grau da variedade dual é $2^d \beta(M)$, onde $d = \dim(L)$ e $\beta(M)$ é o invariante beta do matroide.
3. A fatoração de $E_L$ envolve multiplicidades específicas relacionadas às multiplicidades locais de $L^{-2}$ ao longo de estratos.

Embora a terceira conjectura referente às multiplicidades permaneça em aberto (abordada em trabalhos futuros [BKW26]), este artigo fornece uma descrição combinatória completa dos graus polares, estabelecendo assim as duas primeiras conjecturas e oferecendo uma fórmula unificada para todos os graus polares.

Metodologia
Os autores empregam uma síntese de geometria algébrica, geometria tropical e teoria dos matroides. A estratégia central envolve a tradução do problema geométrico de computar números de interseção na variedade conormal em um problema combinatório no fan bipermutoedral.

1. Variedades Conormais e Parametrização: O estudo centra-se na variedade conormal $\text{Con}(L^{-1}) \subseteq \mathbb{P}^n \times (\mathbb{P}^n)^*$. Os autores utilizam uma parametrização racional $\psi: L \times L^\perp \dashrightarrow \mathbb{P}^n \times (\mathbb{P}^n)^*$, $(x, y) \mapsto (x^{-1}, x^2 y)$, que mapeia para a variedade conormal.
2. Resolução da Indeterminação: Para computar graus, o mapa racional deve ser resolvido. Os autores resolvem o lóbulo base passando de um produto de espaços projetivos para a variedidade bipermutoedral $X(\Sigma_{E,E})$, uma variedade torica projetiva suave introduzida por Adiprasito, Huh e Katz [ADH22]. Esta variedade abriga o fan conormal $\Sigma_{M, M^\perp}$ do matroide $M$.
3. Tropicalização e Rastreamento de Pesos: Os autores utilizam a geometria tropical para relacionar os graus polares de $L^{-1}$ ao multidegrado de um mapa mais simples $\phi(x, y) = (x^{-1}, xy)$. Ao analisar a tropicalização do produto de Hadamard $L \star L^\perp$ e rastrear os pesos dos cones sob mapas finitos (especificamente mapas de quadratura), eles extraem fatores de $2$e$m$ (para potências generalizadas) dos números de interseção.
4. Redução Combinatória: Os números de interseção na variedade conormal são expressos como somas sobre flags decrescentes de flats no matroide $M$. Essas somas são então relacionadas aos coeficientes do polinômio característico reduzido $\chi_M(t)$ via um argumento recursivo envolvendo invariantes beta de menores.

Principais Contribuições e Resultados

• Teorema Principal (Teorema A): O artigo estabelece uma fórmula fechada para os graus polares $\mu_j(L^{-1})$ do espaço linear recíproco. Seja $\chi_M(t)$ o polinômio característico reduzido de $M$. A função geradora para os graus polares é 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 os graus duais $\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)$$

• Resolução de Conjecturas:

  • Conjectura 1.1 (Defectividade Dual): A fórmula confirma que $L^{-1}$ é dual defectivo se, e somente se, $\beta(M) = 0$, o que ocorre precisamente quando $M$ é desconexo.
  • Conjectura 1.2 (Grau Dual): Para matroides conexos, o grau dual é explicitamente $\deg((L^{-1})^\vee) = 2^d \beta(M)$.

• Generalizações:

  • Potências Superiores: Os resultados são estendidos para o espaço linear recíproco $L^{-m}$ (imagem sob o inverso da potência por coordenadas $m$). O Teorema 4.8 fornece uma fórmula envolvendo $m$ e o 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)$$
  • Classes de Chern-Mather: O artigo deriva uma fórmula combinatória para os graus das classes de Chern-Mather de $L^{-1}$ em termos de $\chi_M$.
  • Graus de Distância: O grau de distância genérico de $L^{-1}$ é mostrado como sendo $(-3)^d \chi_M(2/3)$.

Significância
O artigo demonstra que os graus polares dos espaços lineares recíprocos são inteiramente determinados pelos invariantes combinatórios do matroide subjacente. Ao expressar esses invariantes geométricos como coeficientes de uma substituição do polinômio característico reduzido, os autores unem a lacuna entre a geometria das variedades conormais e a combinatória do fan bipermutoedral.

O trabalho resolve duas conjecturas abertas relativas à estrutura do determinante principal do matroide $E_L$, esclarecendo quais fatores aparecem e seus graus. Além disso, reforça a utilidade dos métodos tropicais e da maquinaria desenvolvida em [ADH22] para resolver problemas de longa data na teoria dos matroides e na estatística algébrica. Os autores observam que, embora a log-concavidade dos coeficientes do polinômio resultante siga da log-concavidade de $\chi_M$ (provada em [AHK18]), a fórmula combinatória explícita fornece uma interpretação geométrica direta desses coeficientes como números de interseção.