The homotopy type of the matroid Grassmannian (Q1431109): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 18:04, 31 January 2024

scientific article
Language Label Description Also known as
English
The homotopy type of the matroid Grassmannian
scientific article

    Statements

    The homotopy type of the matroid Grassmannian (English)
    0 references
    0 references
    27 May 2004
    0 references
    A {Combinatorial Differential} (CD) manifold is a simplicial complex together with certain auxiliary data. Examples arise whenever one has a smooth triangulation \(\eta: B \to M\) of a smooth \(k\)-manifold \(M\) (\(B\) is a simplicial complex), from which one may construct a map \(\widehat{B} \to \text{MacP}(k, n)\) from a refinement \(\widehat{B}\) of \(B\) to the so-called {MacPhersonian} \(\text{MacP}(k, n)\), a certain poset of oriented matroids. This map is an essentially combinatorial structure that -- as it turns out -- carries a great deal of information about the smooth manifold \(M\). Indeed, the origin of these constructions lies in work of Gelfand and MacPherson on combinatorial expressions for rational Pontrjagin characteristic classes [see \textit{I. M.~Gelfand} and \textit{R. D.~MacPherson}, Bull. Am. Math. Soc. 26, 304--309 (1992; Zbl 0756.57015)]. Generally, a CD manifold structure is an abstraction of this situation to one that does not {a priori} arise from a smooth triangulation of a manifold. In this CD setting, there is a theory of oriented matroid bundles that is analogous to the theory of vector bundles on smooth manifolds. In the former, an ``infinite MacPhersonian'' \(\text{MacP}(k, \infty)\) plays the role that the classifying space \(BO_k\) does in the latter. Let \(\text{G}(k, n)\) denote the (real) Grassmannian of \(k\)-planes in \(\mathbb{R}^n\) and let \(\| P\| \) denote the nerve of a poset \(P\). In [\textit{L.~Anderson} and \textit{J. F.~Davis}, Sel. Math. 8, 161--200 (2002; Zbl 1007.55010)], a certain map \(\pi : \text{G}(k, n) \to \| \text{MacP}(k, n)\| \) was shown to induce a split surjection on mod \(2\) cohomology. The main result of this paper is that \(\pi\) is actually a {homotopy equivalence}, for each \(1 \leq n \leq \infty\) and \(k \leq n\). The main idea of the proof is an induction, using a Schubert cell decomposition of the Grassmannian and an analogous stratification of the MacPhersonian that the author defines. These stratifications have certain technical homotopy theoretic properties and are compatible with each other in a way that allows the induction to proceed. As the author points out, this result ``implies that the theory of matroid bundles is the same as the theory of vector bundles'' and also suggests ``that a CD manifold has the capacity to model many properties of smooth manifolds'' beyond their use in the work of Gelfand and MacPherson. Forthcoming work of the author promises some developments in this direction. The paper is elegantly written and includes helpful motivational and background material.
    0 references
    oriented matroid
    0 references
    CD manifold
    0 references
    matroid bundle
    0 references
    Grassmannian
    0 references
    MacPhersonian
    0 references

    Identifiers