Filtrations of Tope Spaces of Oriented Matroids

Sintesi Tecnica: Filtrazioni degli Spazi di Topi di Matroidi Orientati

Enunciato del Problema
Il documento investiga la struttura dello spazio dei topi di un matroide orientato $M$, definito come il modulo libero generato dall'insieme dei topi (co-vettori massimali) di $M$. Nello specifico, gli autori affrontano la relazione tra tre distinte filtrazioni di questo spazio quando considerato sul campo $\mathbb{Z}/2\mathbb{Z}$. Queste filtrazioni sorgono da contesti matematici differenti:

1. La filtrazione Duale di Varchenko–Gelfand ($P_\bullet$), derivata dalla filtrazione per grado dell'anello delle funzioni di Heaviside sullo spazio dei topi.
2. La filtrazione di Kalinin ($K_\bullet$), indotta dalla successione spettrale del complesso di Salvetti equipaggiato con un'involuzione di coniugazione.
3. La filtrazione di Quillen ($Q_\bullet$), costruita tramite la filtrazione di augmentazione delle algebre di gruppo associate a sottospazi affini di topi adiacenti a bandiere complete di piatti.

Sebbene fosse noto che queste filtrazioni esistessero, la loro relazione precisa e la compatibilità delle loro mappe associate ai gruppi di omologia rimanevano da stabilire pienamente, in particolare per quanto riguarda se coincidano e come si relazionino all'algebra di Orlik–Solomon e all'omologia del complesso di Salvetti.

Metodologia
Gli autori impiegano una combinazione di algebra combinatoria, teoria delle successioni spettrali e topologia dei complessi di Salvetti.

• Descrizioni Combinatorie: Il documento utilizza le "catene prefisso" (noti anche come mattoni) per descrivere esplicitamente i generatori della filtrazione duale di Varchenko–Gelfand. Utilizza inoltre sottospazi affini di coordinate per descrivere la filtrazione di Quillen.
• Modelli Topologici: Il complesso di Salvetti ($Sal_M$) funge da modello topologico per la "complessificazione" del matroide orientato. Gli autori analizzano l'involuzione (coniugazione) su questo complesso, notando che il suo luogo fisso corrisponde all'insieme dei topi.
• Successioni Spettrali: La filtrazione di Kalinin è analizzata tramite la successione spettrale associata all'involuzione sul complesso di Salvetti. Gli autori dimostrano che questa successione degenera alla prima pagina per i matroidi orientati, semplificando la struttura della filtrazione.
• Isomorfismi Algebrici: Gli autori utilizzano l'isomorfismo di Björner–Ziegler ($BZ^\vee$) tra l'omologia del complesso di Salvetti e il duale dell'algebra di Orlik–Solomon. Introducono inoltre l'algebra di Cordovil come analogo commutativo dell'algebra di Orlik–Solomon che cattura meglio i dati del matroide orientato su $\mathbb{Z}$.

Risultati Chiave

1. Coincidenza delle Filtrazioni (Teorema A):
   Il risultato principale stabilisce che per ogni matroide orientato $M$, le tre filtrazioni dello spazio dei topi su $\mathbb{Z}/2\mathbb{Z}$ sono identiche:
   $$Q_\bullet(M) = P_\bullet(M) = K_\bullet(M)$$
   La dimostrazione procede stabilendo una catena di inclusioni $Q_\bullet \subseteq P_\bullet \subseteq K_\bullet$ e dimostrando che le dimensioni dei pezzi graduati associati coincidono per tutte e tre, imponendo l'uguaglianza.

2. Compatibilità delle Mappe Associate (Teorema B):
   Il documento confronta le mappe indotte da queste filtrazioni con l'omologia del complesso di Salvetti $H_p(Sal_M; \mathbb{Z}/2\mathbb{Z})$ e con il duale dell'algebra di Orlik–Solomon $OS^p(M; \mathbb{Z}/2\mathbb{Z})$.

   • Si dimostra che la mappa $bvp$ (dalla filtrazione di Kalinin/omomorfismo di Viro) e la mappa $ap$ (dalla filtrazione duale di Varchenko–Gelfand/isomorfismo di Denham) sono uguali.
   • Si dimostra che il diagramma che coinvolge la mappa di Quillen $qp$ e l'isomorfismo duale di Björner–Ziegler $BZ^\vee$ è commutativo.
   • Di conseguenza, tutte e tre le filtrazioni discendono allo stesso isomorfismo tra i loro pezzi graduati associati e i gruppi di omologia (fino all'identificazione fornita da $BZ^\vee$).

3. Estensione a Coefficienti Interi e Cosheaf (Teorema C):
   Sebbene le filtrazioni di Quillen e Kalinin non si comportino bene su $\mathbb{Z}$ (la filtrazione di Quillen non si stabilizza e una estensione ingenua di Kalinin è mal definita), la filtrazione duale di Varchenko–Gelfand è ben definita su $\mathbb{Z}$.

   • Gli autori dimostrano che questa filtrazione è funtoriale rispetto ai matroidi iniziali (operazioni di cancellazione/contrazione).
   • Ciò permette la costruzione di una filtrazione del cosheaf del segno su $\mathbb{Z}$ sul ventaglio poliedrale del matroide sottostante.
   • I pezzi graduati associati di questa filtrazione intera sono identificati con i cosheaf di Cordovil ($A_p$), portando a una successione esatta corta di cosheaf:
     $$0 \to P_{p+1} \to P_p \to A_p \to 0$$
   • Il documento nota che, sebbene la riduzione mod 2 dell'algebra di Cordovil sia isomorfa all'algebra di Orlik–Solomon, un sollevamento diretto dell'algebra di Orlik–Solomon a $\mathbb{Z}$ in questa successione esatta è impossibile (dimostrato tramite l'Esempio 6.17), rendendo necessaria l'uso dell'algebra di Cordovil per il caso intero.

Significato e Affermazioni
Il documento afferma di unificare tre approcci precedentemente distinti alla filtrazione dello spazio dei topi di un matroide orientato. Dimostrando la loro coincidenza su $\mathbb{Z}/2\mathbb{Z}$, gli autori forniscono un quadro combinatorio robusto che collega:

• Teoria delle Singolarità: Tramite la filtrazione per grado di Varchenko–Gelfand e la sua relazione con le filtrazioni asintotiche.
• Geometria Algebrica Reale: Tramite la filtrazione di Kalinin e la sua connessione con la disuguaglianza di Smith–Thom e il patchworking di Viro.
• Omologia Combinatoria: Tramite la filtrazione di Quillen e la sua relazione con l'algebra di Orlik–Solomon.

L'estensione a coefficienti su $\mathbb{Z}$ tramite l'algebra di Cordovil è presentata come un affinamento necessario per studiare l'omologia intera nel contesto delle varietà tropicali con strutture di fase reale. Gli autori suggeriscono che questa filtrazione intera del cosheaf del segno fornisca una versione tropicale/combinatoria della filtrazione di Kalinin, offrendo uno strumento per calcolare l'omologia su $\mathbb{Z}$ delle parti reali di ipersuperfici derivanti dal patchworking. Il lavoro si basa su e estende risultati precedenti di Renaudineau, del primo autore e di altri, generalizzando specificamente i risultati mod 2 a un contesto integrale in cui l'algebra di Orlik–Solomon è insufficiente.