Filtrations of Tope Spaces of Oriented Matroids

Resumen Técnico: Filtraciones de los Espacios de Topes de Matroides Orientados

Enunciado del Problema
El artículo investiga la estructura del espacio de topes de un matroide orientado $M$, definido como el módulo libre generado por el conjunto de topes (covectores maximales) de $M$. Específicamente, los autores abordan la relación entre tres filtraciones distintas de este espacio cuando se considera sobre el cuerpo $\mathbb{Z}/2\mathbb{Z}$. Estas filtraciones surgen de diferentes contextos matemáticos:

1. La filtración Dual de Varchenko–Gelfand ($P_\bullet$), derivada de la filtración por grado del anillo de funciones Heaviside sobre el espacio de topes.
2. La filtración de Kalinin ($K_\bullet$), inducida por la sucesión espectral del complejo de Salvetti equipado con una involución de conjugación.
3. La filtración de Quillen ($Q_\bullet$), construida mediante la filtración de augmentación de álgebras de grupo asociadas a subespacios afines de topes adyacentes a banderas completas de planos.

Aunque se sabía que estas filtraciones existían, su relación precisa y la compatibilidad de sus mapas asociados a grupos de homología permanecían por establecerse completamente, particularmente en cuanto a si coinciden y cómo se relacionan con el álgebra de Orlik–Solomon y la homología del complejo de Salvetti.

Metodología
Los autores emplean una combinación de álgebra combinatoria, teoría de sucesiones espectrales y topología de complejos de Salvetti.

• Descripciones Combinatorias: El artículo utiliza "cadenas de prefijos" (también conocidas como ladrillos) para describir explícitamente los generadores de la filtración dual de Varchenko–Gelfand. También utiliza subespacios coordenados afines para describir la filtración de Quillen.
• Modelos Topológicos: El complejo de Salvetti ($Sal_M$) sirve como modelo topológico para la "complejificación" del matroide orientado. Los autores analizan la involución (conjugación) sobre este complejo, notando que su lugar fijo corresponde al conjunto de topes.
• Sucesiones Espectrales: La filtración de Kalinin se analiza mediante la sucesión espectral asociada a la involución sobre el complejo de Salvetti. Los autores prueban que esta sucesión degenera en la primera página para matroides orientados, simplificando la estructura de la filtración.
• Isomorfismos Algebraicos: Los autores utilizan el isomorfismo de Björner–Ziegler ($BZ^\vee$) entre la homología del complejo de Salvetti y el dual del álgebra de Orlik–Solomon. También introducen el álgebra de Cordovil como un análogo conmutativo del álgebra de Orlik–Solomon que captura mejor los datos del matroide orientado sobre $\mathbb{Z}$.

Resultados Clave

1. Coincidencia de Filtraciones (Teorema A):
   El resultado principal establece que para cualquier matroide orientado $M$, las tres filtraciones del espacio de topes $\mathbb{Z}/2\mathbb{Z}$ son idénticas:
   $$Q_\bullet(M) = P_\bullet(M) = K_\bullet(M)$$
   La prueba procede estableciendo una cadena de inclusiones $Q_\bullet \subseteq P_\bullet \subseteq K_\bullet$ y demostrando que las dimensiones de las piezas graduadas asociadas coinciden para las tres, forzando la igualdad.

2. Compatibilidad de Mapas Asociados (Teorema B):
   El artículo compara los mapas inducidos por estas filtraciones hacia la homología del complejo de Salvetti $H_p(Sal_M; \mathbb{Z}/2\mathbb{Z})$ y el álgebra dual de Orlik–Solomon $OS^p(M; \mathbb{Z}/2\mathbb{Z})$.

   • Se demuestra que el mapa $bvp$ (de la filtración de Kalinin/homomorfismo de Viro) y el mapa $ap$ (de la filtración dual de Varchenko–Gelfand/isomorfismo de Denham) son iguales.
   • Se prueba que el diagrama que involucra el mapa de Quillen $qp$ y el isomorfismo dual de Björner–Ziegler $BZ^\vee$ conmuta.
   • En consecuencia, las tres filtraciones descienden al mismo isomorfismo entre sus piezas graduadas asociadas y los grupos de homología (hasta la identificación proporcionada por $BZ^\vee$).

3. Extensión a Coeficientes Enteros y Cosheaves (Teorema C):
   Mientras que las filtraciones de Quillen y Kalinin no se comportan bien sobre $\mathbb{Z}$ (la filtración de Quillen no se estabiliza y una extensión ingenua de Kalinin está mal definida), la filtración dual de Varchenko–Gelfand está bien definida sobre $\mathbb{Z}$.

   • Los autores prueban que esta filtración es functorial con respecto a matroides iniciales (operaciones de eliminación/contracción).
   • Esto permite la construcción de una filtración del cosheaf de signos $\mathbb{Z}$ sobre el abanico poliédrico del matroide subyacente.
   • Las piezas graduadas asociadas de esta filtración entera se identifican con los cosheaves de Cordovil ($A_p$), lo que conduce a una secuencia exacta corta de cosheaves:
     $$0 \to P_{p+1} \to P_p \to A_p \to 0$$
   • El artículo señala que, aunque la reducción módulo 2 del álgebra de Cordovil es isomorfa al álgebra de Orlik–Solomon, es imposible un levantamiento directo del álgebra de Orlik–Solomon a $\mathbb{Z}$ en esta secuencia exacta (demostrado mediante el Ejemplo 6.17), lo que hace necesario el uso del álgebra de Cordovil para el caso entero.

Significado y Afirmaciones
El artículo afirma unificar tres enfoques previamente distintos para filtrar el espacio de topes de un matroide orientado. Al probar su coincidencia sobre $\mathbb{Z}/2\mathbb{Z}$, los autores proporcionan un marco combinatorio robusto que conecta:

• Teoría de Singularidades: A través de la filtración por grado de Varchenko–Gelfand y su relación con filtraciones asintóticas.
• Geometría Algebraica Real: A través de la filtración de Kalinin y su conexión con la desigualdad de Smith–Thom y el patchworking de Viro.
• Homología Combinatoria: A través de la filtración de Quillen y su relación con el álgebra de Orlik–Solomon.

La extensión a coeficientes en $\mathbb{Z}$ mediante el álgebra de Cordovil se presenta como un refinamiento necesario para estudiar la homología entera en el contexto de variedades tropicales con estructuras de fase real. Los autores sugieren que esta filtración entera del cosheaf de signos proporciona una versión combinatoria/tropical de la filtración de Kalinin, ofreciendo una herramienta para calcular la homología $\mathbb{Z}$ de las partes reales de hipersuperficies que surgen del patchworking. El trabajo se basa y extiende resultados previos de Renaudineau, el primer autor y otros, generalizando específicamente los resultados módulo 2 a un contexto entero donde el álgebra de Orlik–Solomon es insuficiente.