The Euler characteristic, $q$-matroids, and a M\"obius function

TL;DR

This paper explores the relationship between Euler characteristics, M"obius functions, and $q$-matroids, providing new proofs, a homology calculation, and insights into their topological properties.

Contribution

It introduces a model linking Euler characteristics of $q$-matroid complexes to their $q$-cycles and computes their homology, extending classical matroid results.

Findings

Euler characteristic of $q$-matroid complexes relates to $q$-cycles.

Complete homology over $\\mathbb{Z}$ of the $q$-matroid complex is determined.

Characterization of when the Euler characteristic is nonzero.

Abstract

We first give two new proofs of an old result that the reduced Euler characteristic of a matroid complex is equal to the M\"obius number of the lattice of cycles of the matroid up to the sign. The purpose has been to find a model to establish an analogous result for the case of $q$-matroids and we find a relation between the Euler characteristic of the simplicial chain complex associated to a $q$-matroid complex and the lattice of $q$-cycles of the $q$-matroid. We use this formula to find the complete homology over $\mathbb{Z}$ of this shellable simplicial complex. We give a characterization of nonzero Euler characteristic for such order complexes. Finally, based on these results we remark why singular homology of a $q$-matroid equipped with order topology may not be effective to describe the $q$-cycles unlike the classical case of matroids.