Polar Degrees of Matroids

Sintesi Tecnica: Gradi Polari dei Matroidi

Enunciato del Problema
Questo articolo investiga le proprietà geometriche degli spazi lineari reciproci, ovvero la chiusura $L^{-1}$ dell'immagine di un sottospazio lineare $L \subseteq \mathbb{P}^n$ sotto la mappa di inversione coordinata (la trasformazione di Cremona). L'oggetto centrale di studio è la sequenza dei gradi polari di $L^{-1}$, che codificano i gradi delle sue varietà polari e, crucialmente, il grado della sua varietà duale proiettiva $(L^{-1})^\vee$.

Il lavoro è motivato dalle recenti congetture di Matsubara-Heo e Telen riguardanti il determinante principale del matroid $E_L$. Tali congetture postulavano che:

1. $L^{-1}$ sia dualmente difettosa (ovvero, $\dim((L^{-1})^\vee) < n-1$) se e solo se il matroid associato $M(L)$ è disconnesso.
2. Se $M(L)$ è connesso, il grado della varietà duale è $2^d \beta(M)$, dove $d = \dim(L)$ e $\beta(M)$ è l'invariante beta del matroid.
3. La fattorizzazione di $E_L$ coinvolge specifiche molteplicità legate alle molteplicità locali di $L^{-2}$ lungo gli strati.

Mentre la terza congettura riguardante le molteplicità rimane aperta (affrontata nei lavori futuri [BKW26]), questo articolo fornisce una descrizione combinatoria completa dei gradi polari, risolvendo così le prime due congetture e offrendo una formula unificata per tutti i gradi polari.

Metodologia
Gli autori impiegano una sintesi di geometria algebrica, geometria tropicale e teoria dei matroid. La strategia centrale consiste nel tradurre il problema geometrico del calcolo dei numeri di intersezione sulla varietà conormale in un problema combinatorio sul fan bipermutoedrale.

1. Varietà Conormali e Parametrizzazione: Lo studio si concentra sulla varietà conormale $\text{Con}(L^{-1}) \subseteq \mathbb{P}^n \times (\mathbb{P}^n)^*$. Gli autori utilizzano una parametrizzazione razionale $\psi: L \times L^\perp \dashrightarrow \mathbb{P}^n \times (\mathbb{P}^n)^*$, $(x, y) \mapsto (x^{-1}, x^2 y)$, che mappa verso la varietà conormale.
2. Risoluzione dell'Indeterminazione: Per calcolare i gradi, la mappa razionale deve essere risolta. Gli autori risolvono il luogo base passando da un prodotto di spazi proiettivi alla varietà bipermutoedrale $X(\Sigma_{E,E})$, una varietà torica proiettiva regolare introdotta da Adiprasito, Huh e Katz [ADH22]. Questa varietà ospita il fan conormale $\Sigma_{M, M^\perp}$ del matroid $M$.
3. Tropicalizzazione e Tracciamento dei Pesi: Gli autori utilizzano la geometria tropicale per relazionare i gradi polari di $L^{-1}$ al multigrado di una mappa più semplice $\phi(x, y) = (x^{-1}, xy)$. Analizzando la tropicalizzazione del prodotto di Hadamard $L \star L^\perp$ e tracciando i pesi dei coni sotto mappe finite (specificamente mappe al quadrato), estraggono i fattori di $2$e$m$ (per potenze generalizzate) dai numeri di intersezione.
4. Riduzione Combinatoria: I numeri di intersezione sulla varietà conormale sono espressi come somme su flag decrescenti di flat nel matroid $M$. Tali somme sono poi collegate ai coefficienti del polinomio caratteristico ridotto $\chi_M(t)$ tramite un argomento ricorsivo che coinvolge gli invarianti beta dei minori.

Contributi Principali e Risultati

• Teorema Principale (Teorema A): L'articolo stabilisce una formula chiusa per i gradi polari $\mu_j(L^{-1})$ dello spazio lineare reciproco. Sia $\chi_M(t)$ il polinomio caratteristico ridotto di $M$. La funzione generatrice per i gradi polari è data da:
  $$\sum_{j=0}^d \mu_j(L^{-1}) t^j = (-2t - 1)^d \chi_M\left( \frac{2t}{2t + 1} \right)$$
  Equivalente, per i gradi duali $\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)$$

• Risoluzione delle Congetture:

  • Congettura 1.1 (Difettosità Duale): La formula conferma che $L^{-1}$ è dualmente difettosa se e solo se $\beta(M) = 0$, il che accade precisamente quando $M$ è disconnesso.
  • Congettura 1.2 (Grado Duale): Per i matroid connessi, il grado duale è esplicitamente $\deg((L^{-1})^\vee) = 2^d \beta(M)$.

• Generalizzazioni:

  • Potenze Superiori: I risultati sono estesi allo spazio lineare reciproco $L^{-m}$ (immagine sotto l'inversa della $m$-esima potenza coordinata). Il Teorema 4.8 fornisce una formula che coinvolge $m$ e il numero di componenti connesse $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)$$
  • Classi di Chern-Mather: L'articolo deriva una formula combinatoria per i gradi delle classi di Chern-Mather di $L^{-1}$ in termini di $\chi_M$.
  • Gradi di Distanza: Il grado di distanza generico di $L^{-1}$ è mostrato essere $(-3)^d \chi_M(2/3)$.

Significato
L'articolo dimostra che i gradi polari degli spazi lineari reciproci sono interamente determinati dagli invarianti combinatori del sottostante matroid. Esprimendo questi invarianti geometrici come coefficienti di una sostituzione del polinomio caratteristico ridotto, gli autori colmano il divario tra la geometria delle varietà conormali e la combinatoria del fan bipermutoedrale.

Il lavoro risolve due congetture aperte riguardanti la struttura del determinante principale del matroid $E_L$, chiarendo quali fattori compaiano e i loro gradi. Inoltre, rafforza l'utilità dei metodi tropicali e della strumentazione sviluppata in [ADH22] per risolvere problemi di lunga data nella teoria dei matroid e nella statistica algebrica. Gli autori osservano che, sebbene la log-concavità dei coefficienti del polinomio risultante segua dalla log-concavità di $\chi_M$ (provata in [AHK18]), la formula combinatoria esplicita fornisce un'interpretazione geometrica diretta di questi coefficienti come numeri di intersezione.