Combinatorics of topological posets. Homotopy complementation formulas (Q1276388)

A topological poset \((P,\leq,\tau)\) is a poset \((P,\leq)\) and a Hausdorff topology \(\tau\) on \(P\) such that \(\{(p,q)\in P\times P\mid p\leq q\}\) is a closed subspace of \(P\times P\). It is the author's observation that a variety of results for this class of posets bear sufficient semblance to those for the geometric combinatorics of finite and locally finite posets associated with the order complexes of such posets based on their algebro-topological properties (homotopy, homology, shellability, etc.) as exemplified by well-known formulae, e.g., the homotopy complementation formula of A. Björner and J. Walker among others. Thus, topological posets provide means to break the finiteness barrier and to bring within view many interesting examples not otherwise manageable for systematic study, e.g., Grassmannian posets over \(R\), \(C\) or \(Q\)(uaternions). In order to support his argument successfully, the author collects from the literature and develops a substantial body of ``basic'' material with which he is able to answer some general questions and to obtain some lemmas and propositions which are bound to be relevant in a further development of an organized theory for which some important results already exist in the literature, several of which have been identified by the author in this interesting paper which has a useful set of references over a quite disparate set of disciplines demonstrating that this subject makes contact with a multiplicity of others as noted in the author's introduction as well.