arXiv++ Combinatorics

The rational homology group of the order complex of non-even partitions of a finite set is calculated. A twisted version of the Goresky-MacPherson approach to similar homology calculations is proposed.

The naturally topologized order complex of proper algebraic subsets in $RP^2$, defined by systems of quadratic forms, has rational homology of $S^{13}$

This is a glossary of notions and methods related with the topological theory of collections of affine planes, including braid groups, configuration spaces, order complexes, stratified Morse theory, simplicial resolutions, complexes of graphs, Orlik--Solomon rings, Salvetti complex, matroids, Spanier--Whitehead duality, twisted homology groups, monodromy theory and multidimensional hypergeometric functions. The emphasis on the most geometrical explanation is done; applications and analogies in the differential topology are outlined.

The topology of spaces of Hermitian operators in $C^n$ with non-simple spectra was studied by V.Arnold in a relation with the theory of adiabatic connections and the quantum Hall effect. The natural filtration of these spaces by the sets of operators with fixed numbers of eigenvalues defines the spectral sequence, providing interesting combinatorial and homological information on this stratification. We construct a different spectral sequence, also counting the homology groups of these spaces and based on the universal techniques of {\em topological order complexes} and resolutions of algebraic varieties, generalizing the combinatorial inclusion-exclusion formula and similar to the construction of finite degree knot invariants. This spectral sequence degenerates at the term $E_1$, is (conjecturally) multiplicative, and as $n$ grows then it converges to a stable spectral sequence counting the cohomology of the space of infinite Hermitian operators without multiple eigenvalues, all whose terms $E^{p,q}_r$ are finitely generated. It allows us to define the finite degree cohomology classes of this space, and to apply the well-known facts and methods of the topological theory of flag manifolds to the problems of geometrical combinatorics, especially concerning the continuous partially ordered sets of subspaces and flags.

A submanifold $M \subset R^N$ is $r$-neighborly if for any $r$ points in $M$ there is a hyperplane, supporting $M$ and touching it at exactly these $r$ points. We prove that the minimal dimension $Δ(k,r)$ of the Euclidean space, containing a stably $r$-neighborly submanifold, is asymptotically not smaller than $2kr-k$.