Filtrations of Tope Spaces of Oriented Matroids

Resumo Técnico: Filtrações dos Espaços de Topes de Matróides Orientados

Enunciado do Problema
O artigo investiga a estrutura do espaço de topes de um matróide orientado $M$, definido como o módulo livre gerado pelo conjunto de topes (covetores maximais) de $M$. Especificamente, os autores abordam a relação entre três filtrações distintas deste espaço quando consideradas sobre o corpo $\mathbb{Z}/2\mathbb{Z}$. Estas filtrações surgem de diferentes contextos matemáticos:

1. A filtração Dual de Varchenko–Gelfand ($P_\bullet$), derivada da filtração por grau do anel de funções Heaviside no espaço de topes.
2. A filtração de Kalinin ($K_\bullet$), induzida pela sequência espectral do complexo de Salvetti equipado com uma involução de conjugação.
3. A filtração de Quillen ($Q_\bullet$), construída via a filtração de augmentação de álgebras de grupo associadas a subespaços afins de topes adjacentes a bandeiras completas de planos.

Embora soubesse-se que estas filtrações existiam, a sua relação precisa e a compatibilidade dos seus mapas associados aos grupos de homologia permaneciam por estabelecer completamente, particularmente no que diz respeito a se elas coincidem e como se relacionam com a álgebra de Orlik–Solomon e a homologia do complexo de Salvetti.

Metodologia
Os autores empregam uma combinação de álgebra combinatória, teoria de sequências espectrais e topologia dos complexos de Salvetti.

• Descrições Combinatórias: O artigo utiliza "cadeias de prefixos" (também conhecidas como tijolos) para descrever explicitamente os geradores da filtração dual de Varchenko–Gelfand. Também utiliza subespaços coordenados afins para descrever a filtração de Quillen.
• Modelos Topológicos: O complexo de Salvetti ($Sal_M$) serve como o modelo topológico para a "complexificação" do matróide orientado. Os autores analisam a involução (conjugação) neste complexo, notando que o seu lugar fixo corresponde ao conjunto de topes.
• Sequências Espectrais: A filtração de Kalinin é analisada via a sequência espectral associada à involução no complexo de Salvetti. Os autores provam que esta sequência degenera na primeira página para matróides orientados, simplificando a estrutura da filtração.
• Isomorfismos Algébricos: Os autores utilizam o isomorfismo de Björner–Ziegler ($BZ^\vee$) entre a homologia do complexo de Salvetti e o dual da álgebra de Orlik–Solomon. Também introduzem a álgebra de Cordovil como um análogo comutativo à álgebra de Orlik–Solomon que captura melhor os dados do matróide orientado sobre $\mathbb{Z}$.

Resultados Principais

1. Coincidência das Filtrações (Teorema A):
   O resultado principal estabelece que, para qualquer matróide orientado $M$, as três filtrações do espaço de topes $\mathbb{Z}/2\mathbb{Z}$ são idênticas:
   $$Q_\bullet(M) = P_\bullet(M) = K_\bullet(M)$$
   A prova procede estabelecendo uma cadeia de inclusões $Q_\bullet \subseteq P_\bullet \subseteq K_\bullet$ e demonstrando que as dimensões das peças graduadas associadas coincidem para todas as três, forçando a igualdade.

2. Compatibilidade dos Mapas Associados (Teorema B):
   O artigo compara os mapas induzidos por estas filtrações para a homologia do complexo de Salvetti $H_p(Sal_M; \mathbb{Z}/2\mathbb{Z})$ e o dual da álgebra de Orlik–Solomon $OS^p(M; \mathbb{Z}/2\mathbb{Z})$.

   • O mapa $bvp$ (da filtração de Kalinin/homomorfismo de Viro) e o mapa $ap$ (da filtração dual de Varchenko–Gelfand/isomorfismo de Denham) são mostrados como iguais.
   • O diagrama envolvendo o mapa de Quillen $qp$ e o isomorfismo dual de Björner–Ziegler $BZ^\vee$ é provado como comutativo.
   • Consequentemente, todas as três filtrações descem para o mesmo isomorfismo entre as suas peças graduadas associadas e os grupos de homologia (até a identificação fornecida por $BZ^\vee$).

3. Extensão para Coeficientes Integrais e Cosheaves (Teorema C):
   Embora as filtrações de Quillen e Kalinin não se comportem bem sobre $\mathbb{Z}$ (a filtração de Quillen não estabiliza, e uma extensão ingênua de Kalinin é mal definida), a filtração dual de Varchenko–Gelfand é bem definida sobre $\mathbb{Z}$.

   • Os autores provam que esta filtração é functorial em relação a matróides iniciais (operações de deleção/contracção).
   • Isto permite a construção de uma filtração do cosheaf de sinal $\mathbb{Z}$ no leque poliédrico do matróide subjacente.
   • As peças graduadas associadas desta filtração integral são identificadas com os cosheaves de Cordovil ($A_p$), levando a uma sequência exata curta de cosheaves:
     $$0 \to P_{p+1} \to P_p \to A_p \to 0$$
   • O artigo nota que, embora a redução módulo 2 da álgebra de Cordovil seja isomorfa à álgebra de Orlik–Solomon, uma elevação direta da álgebra de Orlik–Solomon para $\mathbb{Z}$ nesta sequência exata é impossível (demonstrado através do Exemplo 6.17), tornando necessária a utilização da álgebra de Cordovil para o caso integral.

Significado e Alegações
O artigo alega unificar três abordagens anteriormente distintas para filtrar o espaço de topes de um matróide orientado. Ao provar a sua coincidência sobre $\mathbb{Z}/2\mathbb{Z}$, os autores fornecem um quadro combinatório robusto que conecta:

• Teoria das Singularidades: Via a filtração por grau de Varchenko–Gelfand e a sua relação com filtrações assintóticas.
• Geometria Algébrica Real: Via a filtração de Kalinin e a sua conexão com a desigualdade de Smith–Thom e o patchworking de Viro.
• Homologia Combinatória: Via a filtração de Quillen e a sua relação com a álgebra de Orlik–Solomon.

A extensão para coeficientes $\mathbb{Z}$ via a álgebra de Cordovil é apresentada como um refinamento necessário para estudar a homologia integral no contexto de variedades tropicais com estruturas de fase real. Os autores sugerem que esta filtração integral do cosheaf de sinal fornece uma versão tropical/combinatória da filtração de Kalinin, oferecendo uma ferramenta para calcular a homologia $\mathbb{Z}$ de partes reais de hipersuperfícies resultantes do patchworking. O trabalho baseia-se e estende resultados anteriores de Renaudineau, do primeiro autor e de outros, especificamente generalizando os resultados módulo 2 para um cenário integral onde a álgebra de Orlik–Solomon é insuficiente.