Filtrations of Tope Spaces of Oriented Matroids

Résumé technique : Filtrations des espaces de tope des matroïdes orientés

Énoncé du problème
L'article examine la structure de l'espace de tope d'un matroïde orienté $M$, défini comme le module libre engendré par l'ensemble des topes (covecteurs maximaux) de $M$. Plus précisément, les auteurs traitent de la relation entre trois filtrations distinctes de cet espace lorsqu'il est considéré sur le corps $\mathbb{Z}/2\mathbb{Z}$. Ces filtrations proviennent de contextes mathématiques différents :

1. La filtration dual de Varchenko–Gelfand ($P_\bullet$), dérivée de la filtration par degré de l'anneau des fonctions de Heaviside sur l'espace de tope.
2. La filtration de Kalinin ($K_\bullet$), induite par la suite spectrale du complexe de Salvetti muni d'une involution de conjugaison.
3. La filtration de Quillen ($Q_\bullet$), construite via la filtration d'augmentation des algèbres de groupes associées aux sous-espaces affines de topes adjacents aux drapeaux complets de plats.

Bien que l'existence de ces filtrations fût connue, leur relation précise et la compatibilité de leurs applications associées vers les groupes d'homologie restaient à établir pleinement, en particulier concernant leur coïncidence et leur lien avec l'algèbre d'Orlik–Solomon et l'homologie du complexe de Salvetti.

Méthodologie
Les auteurs emploient une combinaison d'algèbre combinatoire, de théorie des suites spectrales et de topologie des complexes de Salvetti.

• Descriptions combinatoires : L'article utilise les « chaînes de préfixes » (également appelées briques) pour décrire explicitement les générateurs de la filtration dual de Varchenko–Gelfand. Il utilise également des sous-espaces de coordonnées affines pour décrire la filtration de Quillen.
• Modèles topologiques : Le complexe de Salvetti ($Sal_M$) sert de modèle topologique pour la « complexification » du matroïde orienté. Les auteurs analysent l'involution (conjugaison) sur ce complexe, notant que son lieu fixe correspond à l'ensemble des topes.
• Suites spectrales : La filtration de Kalinin est analysée via la suite spectrale associée à l'involution sur le complexe de Salvetti. Les auteurs prouvent que cette suite se dégénère à la première page pour les matroïdes orientés, simplifiant ainsi la structure de la filtration.
• Isomorphismes algébriques : Les auteurs utilisent l'isomorphisme de Björner–Ziegler ($BZ^\vee$) entre l'homologie du complexe de Salvetti et le dual de l'algèbre d'Orlik–Solomon. Ils introduisent également l'algèbre de Cordovil comme analogue commutatif de l'algèbre d'Orlik–Solomon qui capture mieux les données des matroïdes orientés sur $\mathbb{Z}$.

Résultats clés

1. Coïncidence des filtrations (Théorème A) :
   Le résultat principal établit que pour tout matroïde orienté $M$, les trois filtrations de l'espace de tope sur $\mathbb{Z}/2\mathbb{Z}$ sont identiques :
   $$Q_\bullet(M) = P_\bullet(M) = K_\bullet(M)$$
   La preuve procède en établissant une chaîne d'inclusions $Q_\bullet \subseteq P_\bullet \subseteq K_\bullet$ et en démontrant que les dimensions des pièces graduées associées coïncident pour les trois, imposant ainsi l'égalité.

2. Compatibilité des applications associées (Théorème B) :
   L'article compare les applications induites par ces filtrations vers l'homologie du complexe de Salvetti $H_p(Sal_M; \mathbb{Z}/2\mathbb{Z})$ et le dual de l'algèbre d'Orlik–Solomon $OS^p(M; \mathbb{Z}/2\mathbb{Z})$.

   • Il est démontré que l'application $bvp$ (issue de la filtration de Kalinin/homomorphisme de Viro) et l'application $ap$ (issue de la filtration dual de Varchenko–Gelfand/isomorphisme de Denham) sont égales.
   • Le diagramme impliquant l'application de Quillen $qp$ et l'isomorphisme dual de Björner–Ziegler $BZ^\vee$ est prouvé commutatif.
   • Par conséquent, les trois filtrations descendent vers le même isomorphisme entre leurs pièces graduées associées et les groupes d'homologie (jusqu'à l'identification fournie par $BZ^\vee$).

3. Extension aux coefficients entiers et aux cosheaves (Théorème C) :
   Alors que les filtrations de Quillen et de Kalinin ne se comportent pas bien sur $\mathbb{Z}$ (la filtration de Quillen ne se stabilise pas, et une extension naïve de Kalinin est mal définie), la filtration dual de Varchenko–Gelfand est bien définie sur $\mathbb{Z}$.

   • Les auteurs prouvent que cette filtration est fonctorielle par rapport aux matroïdes initiaux (opérations de suppression/contraction).
   • Cela permet la construction d'une filtration du cosheaf de signe sur $\mathbb{Z}$ sur l'éventail polyédral du matroïde sous-jacent.
   • Les pièces graduées associées de cette filtration entière sont identifiées aux cosheaves de Cordovil ($A_p$), conduisant à une suite exacte courte de cosheaves :
     $$0 \to P_{p+1} \to P_p \to A_p \to 0$$
   • L'article note que, bien que la réduction modulo 2 de l'algèbre de Cordovil soit isomorphe à l'algèbre d'Orlik–Solomon, un relèvement direct de l'algèbre d'Orlik–Solomon vers $\mathbb{Z}$ dans cette suite exacte est impossible (démontré via l'Exemple 6.17), rendant nécessaire l'utilisation de l'algèbre de Cordovil pour le cas entier.

Portée et affirmations
L'article prétend unifier trois approches auparavant distinctes de la filtration de l'espace de tope d'un matroïde orienté. En prouvant leur coïncidence sur $\mathbb{Z}/2\mathbb{Z}$, les auteurs fournissent un cadre combinatoire robuste qui connecte :

• Théorie des singularités : Via la filtration par degré de Varchenko–Gelfand et sa relation avec les filtrations asymptotiques.
• Géométrie algébrique réelle : Via la filtration de Kalinin et sa connexion à l'inégalité de Smith–Thom et au patchworking de Viro.
• Homologie combinatoire : Via la filtration de Quillen et sa relation avec l'algèbre d'Orlik–Solomon.

L'extension aux coefficients entiers via l'algèbre de Cordovil est présentée comme un raffinement nécessaire pour étudier l'homologie entière dans le contexte des variétés tropicales munies de structures de phase réelle. Les auteurs suggèrent que cette filtration entière du cosheaf de signe fournit une version tropicale/combinatoire de la filtration de Kalinin, offrant un outil pour calculer l'homologie à coefficients entiers des parties réelles d'hypersurfaces issues du patchworking. Ce travail s'appuie sur et étend des résultats antérieurs de Renaudineau, du premier auteur et d'autres, généralisant spécifiquement les résultats modulo 2 à un cadre entier où l'algèbre d'Orlik–Solomon est insuffisante.