Polar Degrees of Matroids

Résumé Technique : Degrés Polaires des Matroïdes

Énoncé du Problème
Cet article étudie les propriétés géométriques des espaces linéaires réciproques, à savoir la clôture $L^{-1}$ de l'image d'un sous-espace linéaire $L \subseteq \mathbb{P}^n$ par l'application d'inverse coordonnée (la transformation de Cremona). L'objet central d'étude est la séquence des degrés polaires de $L^{-1}$, qui encodent les degrés de ses variétés polaires et, plus crucialement, le degré de sa variété duale projective $(L^{-1})^\vee$.

Ce travail est motivé par des conjectures récentes de Matsubara-Heo et Telen concernant le déterminant de matroid principal $E_L$. Ces conjectures postulaient que :

1. $L^{-1}$ est dualement déficient (c'est-à-dire $\dim((L^{-1})^\vee) < n-1$) si et seulement si le matroïde associé $M(L)$ est déconnecté.
2. Si $M(L)$ est connecté, le degré de la variété duale est $2^d \beta(M)$, où $d = \dim(L)$ et $\beta(M)$ est l'invariant bêta du matroïde.
3. La factorisation de $E_L$ implique des multiplicités spécifiques liées aux multiplicités locales de $L^{-2}$ le long des strates.

Bien que la troisième conjecture concernant les multiplicités reste ouverte (traitée dans les travaux futurs [BKW26]), cet article fournit une description combinatoire complète des degrés polaires, réglant ainsi les deux premières conjectures et offrant une formule unifiée pour tous les degrés polaires.

Méthodologie
Les auteurs emploient une synthèse de géométrie algébrique, de géométrie tropicale et de théorie des matroïdes. La stratégie centrale consiste à traduire le problème géométrique du calcul des nombres d'intersection sur la variété conormale en un problème combinatoire sur le fan bipermutoédral.

1. Variétés Conormales et Paramétrage : L'étude se concentre sur la variété conormale $\text{Con}(L^{-1}) \subseteq \mathbb{P}^n \times (\mathbb{P}^n)^*$. Les auteurs utilisent un paramétrage rationnel $\psi: L \times L^\perp \dashrightarrow \mathbb{P}^n \times (\mathbb{P}^n)^*$, $(x, y) \mapsto (x^{-1}, x^2 y)$, qui est une application vers la variété conormale.
2. Résolution de l'Indétermination : Pour calculer les degrés, l'application rationnelle doit être résolue. Les auteurs résolvent le lieu de base en passant d'un produit d'espaces projectifs à la variété bipermutoédrale $X(\Sigma_{E,E})$, une variété torique projective lisse introduite par Adiprasito, Huh et Katz [ADH22]. Cette variété héberge le fan conormal $\Sigma_{M, M^\perp}$ du matroïde $M$.
3. Tropicalisation et Suivi des Poids : Les auteurs utilisent la géométrie tropicale pour relier les degrés polaires de $L^{-1}$ au multidegré d'une application plus simple $\phi(x, y) = (x^{-1}, xy)$. En analysant la tropicalisation du produit de Hadamard $L \star L^\perp$ et en suivant les poids des cônes sous des applications finies (spécifiquement des applications de mise au carré), ils extraient des facteurs de $2$ et de $m$ (pour les puissances généralisées) des nombres d'intersection.
4. Réduction Combinatoire : Les nombres d'intersection sur la variété conormale sont exprimés comme des sommes sur des flags décroissantes de plats dans le matroïde $M$. Ces sommes sont ensuite reliées aux coefficients du polynôme caractéristique réduit $\chi_M(t)$ via un argument récursif impliquant les invariants bêta des mineurs.

Contributions Principales et Résultats

• Théorème Principal (Théorème A) : L'article établit une formule fermée pour les degrés polaires $\mu_j(L^{-1})$ de l'espace linéaire réciproque. Soit $\chi_M(t)$ le polynôme caractéristique réduit de $M$. La fonction génératrice des degrés polaires est donnée par :
  $$\sum_{j=0}^d \mu_j(L^{-1}) t^j = (-2t - 1)^d \chi_M\left( \frac{2t}{2t + 1} \right)$$
  Équivalemment, pour les degrés duaux $\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)$$

• Résolution des Conjectures :

  • Conjecture 1.1 (Déficience Duale) : La formule confirme que $L^{-1}$ est dualement déficient si et seulement si $\beta(M) = 0$, ce qui se produit précisément quand $M$ est déconnecté.
  • Conjecture 1.2 (Degré Dual) : Pour les matroïdes connectés, le degré dual est explicitement $\deg((L^{-1})^\vee) = 2^d \beta(M)$.

• Généralisations :

  • Puissances Supérieures : Les résultats sont étendus à l'espace linéaire réciproque $L^{-m}$ (image par l'inverse de la puissance coordonnée $m$-ième). Le Théorème 4.8 fournit une formule impliquant $m$ et le nombre de composantes connexes $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 : L'article dérive une formule combinatoire pour les degrés des classes de Chern-Mather de $L^{-1}$ en termes de $\chi_M$.
  • Degrés de Distance : Le degré de distance générique de $L^{-1}$ est montré être $(-3)^d \chi_M(2/3)$.

Signification
L'article démontre que les degrés polaires des espaces linéaires réciproques sont entièrement déterminés par les invariants combinatoires du matroïde sous-jacent. En exprimant ces invariants géométriques comme des coefficients d'une substitution du polynôme caractéristique réduit, les auteurs comblent le fossé entre la géométrie des variétés conormales et la combinatoire du fan bipermutoédral.

Ce travail règle deux conjectures ouvertes concernant la structure du déterminant de matroid principal $E_L$, en clarifiant quels facteurs apparaissent et quels sont leurs degrés. De plus, il renforce l'utilité des méthodes tropicales et de l'appareil développé dans [ADH22] pour résoudre des problèmes de longue date en théorie des matroïdes et en statistiques algébriques. Les auteurs notent que, bien que la log-concavité des coefficients du polynôme résultant suive la log-concavité de $\chi_M$ (prouvée dans [AHK18]), la formule combinatoire explicite fournit une interprétation géométrique directe de ces coefficients en tant que nombres d'intersection.