Residue Constraints in the Rank-Three Lifting Problem for Projective-Plane Incidence Matrices

Résumé technique : Contraintes de résidu dans le problème de relèvement de rang trois pour les matrices d'incidence de plans projectifs

Énoncé du problème et motivation
Cet article examine le comportement asymptotique du rang de Kapranov pour les matrices d'incidence de plans projectifs finis, abordant un problème central mis en lumière par Guterman et Shitov. La difficulté fondamentale réside dans la distinction entre le rang tropical et le rang de Kapranov. Tandis que le rang tropical dépend uniquement de la minimisation combinatoire des valuations (déterminants tropicaux), le rang de Kapranov dépend de l'existence d'un relèvement sur un corps valué où les termes dominants du déterminant s'annulent dans le corps résiduel. L'article ne résout pas la question asymptotique complète de savoir si le rang de Kapranov croît avec l'ordre $q$ du plan projectif. Il isole plutôt un « paquet d'obstructions au niveau résiduel » spécifique que tout relèvement hypothétique de rang 3 doit satisfaire, reportant la difficulté restante vers une question de compatibilité globale.

Méthodologie et cadre
L'analyse est menée dans le cadre des corps valués non archimédiens $(K, \text{val})$ avec un corps résiduel $k$. La méthodologie repose sur une analyse locale des mineurs $4 \times 4$ de la matrice d'incidence $I(\Pi)$, se concentrant spécifiquement sur deux types de motifs :

1. Mineurs de motif identité : Sous-matrices où les entrées diagonales ont une valuation de 1 et les entrées hors diagonale ont une valuation de 0.
2. Mineurs de motif zéro : Sous-matrices correspondant aux relations de non-incidence (valuation 0).

L'auteur emploie un formalisme « sensible à l'annulation » qui suit non seulement la valuation des déterminants, mais aussi les coefficients résiduels spécifiques des termes dominants. Les outils clés incluent :

• Développement des termes dominants : Analyse des relèvements $F = U + tV + O(t^2)$, où $U$ est la matrice résiduelle et $V$ la correction du premier ordre.
• Équations de dérangements : Pour les mineurs de motif identité, la condition pour qu'un déterminant s'annule exige qu'une somme spécifique de 9 termes de produits signés de résidus hors diagonale s'annule.
• Holonomie et birapports : L'article introduit une interprétation géométrique des contraintes de résidu utilisant des « atlas de rectangles » et une « holonomie de cartes ». Un rectangle zéro $2 \times 2$ est « plat » (rang-1) si son birapport $\rho = 1$. La non-platitude ($\rho \neq 1$) indique une obstruction locale à un modèle résiduel de type « pur jauge » (rang-1).
• Élimination des chevauchements : En analysant les mineurs qui se chevauchent (spécifiquement ceux partageant des structures en « diamant »), l'article dérive des relations binomiales et des lois de transport qui propagent les contraintes locales à travers le graphe d'incidence.

Contributions et résultats clés

1. L'équation de dérangement dominante :
   Pour tout mineur de motif identité $4 \times 4$ dans un relèvement de rang 3, les termes résiduels dominants doivent satisfaire une équation de dérangement à 9 termes $\Theta_4(U) = 0$. L'article démontre que si les données résiduelles hors diagonale se factorisent en un produit de rang 1 ($u_{ij} = \alpha_i \beta_j$), cette équation ne peut être satisfaite dans une caractéristique résiduelle $\neq 3$. Cela force tout relèvement de rang 3 à présenter un comportement résiduel non factorisé sur ces blocs.

2. Défauts de birapport et dénombrement :
   L'article établit que chaque mineur de motif identité annulé force l'existence d'au moins un rectangle zéro « admissible » $2 \times 2$ avec un birapport non trivial ($\rho \neq 1$). En comptant l'abondance de tels mineurs de motif identité dans un plan projectif d'ordre $q$, l'auteur déduit une borne inférieure sur le nombre de rectangles défectueux distincts.

   • Résultat : Tout relèvement de rang 3 de $I(\Pi_q)$ pour $q \ge 3$ doit contenir $\Omega(q^8)$ rectangles zéro admissibles $2 \times 2$ distincts avec des birapports non triviaux (dans une caractéristique résiduelle $\neq 3$).

3. Impossibilité des relèvements monomiaux :
   L'article démontre que pour $q \ge 6$, aucun relèvement « monomial » de rang 3 n'existe. Un relèvement monomial est un relèvement où les corrections du premier ordre sur les entrées de valuation 0 sont nulles (c'est-à-dire que le relèvement est purement $U + tA$où$A$ est supporté uniquement sur les incidences).

   • Résultat : Tout relèvement de rang 3 hypothétique pour $q \ge 6$ doit impliquer des corrections du premier ordre non triviales sur les entrées de valuation 0 (non-incidence). Spécifiquement, un bloc canonique $(q+1) \times (q+1)$ force un nombre quadratique de telles corrections.

4. Goulot d'étranglement de la déformation du premier ordre :
   L'analyse s'étend à la couche du premier ordre $V$. L'article montre que l'existence d'un relèvement de rang 3 nécessite une direction tangente $V$ dans l'espace des déformations de rang 3 de la matrice résiduelle $U$ qui soit non nulle sur toutes les positions d'incidence. Les équations dérivées couplent les coefficients d'incidence avec les corrections du premier ordre hors incidence, créant un système de contraintes difficile à satisfaire globalement.

5. Configurations dégénérées versus gauches :
   L'article distingue entre les « diamants dégénérés » (où le point de concours se trouve sur la droite support) et les configurations « gauches ». Il montre que les configurations dégénérées conduisent souvent à des lois d'« alignement de profondeur » (exigeant une profondeur d'annulation $\Lambda$) plutôt qu'à de simples équations de résidu, tandis que les configurations gauches (associées à des témoins $B^*$ stricts) imposent des relations affines entre les birapports (par exemple, $\rho + \sigma = 1$).

Signification et portée
La signification principale de l'article est l'isolement d'obstructions locales et de dénombrement inconditionnelles. Il démontre que le problème de déterminer la croissance asymptotique du rang de Kapranov n'est pas simplement une question de combinatoire au niveau des valuations, mais qu'il est profondément enraciné dans la compatibilité des contraintes d'annulation au niveau résiduel.

• Local vs Global : L'article énonce explicitement qu'il ne prouve pas que le rang de Kapranov croît avec $q$. Les résultats établissent que si un relèvement de rang 3 existe, il doit satisfaire un système massif de contraintes locales de résidu (spécifiquement, $\Omega(q^8)$ défauts de birapport et un support du premier ordre non trivial).
• Le vide restant : La partie non résolue du problème est formulée comme une question de compatibilité globale : Un modèle résiduel de rang 3 unique $U$ et une unique direction admissible du premier ordre $V$ peuvent-ils simultanément satisfaire l'ensemble du système chevauchant de contraintes locales dérivées dans les sections 3 à 5 ?
• Affirmations modestes : Les auteurs prennent soin de présenter ces résultats comme des « paquets d'obstructions » et des « conditions nécessaires ». L'article fournit la machinerie pour détecter les échecs locaux des relèvements de rang 3, mais laisse l'étape finale de globalisation (prouver que ces échecs locaux ne peuvent pas être assemblés globalement) comme un problème ouvert.

En résumé, l'article déplace le focus du problème Guterman–Shitov de l'existence d'un relèvement vers l'impossibilité structurelle de satisfaire le réseau complexe d'équations d'annulation au niveau résiduel requis par un tel relèvement, en particulier pour les grands $q$.