Counting faces of cubical spheres modulo two

AbstractSeveral recent papers have addressed the problem of characterizing the f-vectors of cubical polytopes. This is largely motivated by the complete characterization of the f-vectors of simplicial polytopes given by Stanley (Discrete Geometry and Convexity, Annals of the New York Academy of Sciences, Vol. 440, 1985, pp. 212–223) and Billera and Lee (Bull. Amer. Math. Soc. 2 (1980) 181–185) in 1980. Along these lines Blind and Blind (Discrete Comput. Geom. 11(3) (1994) 351–356) have shown that unlike in the simplicial case, there are parity restrictions on the f-vectors of cubical polytopes. In particular, except for polygons, all even dimensional cubical polytopes must have an even number of vertices. Here this result is extended to a class of zonotopal complexes which includes simply connected odd dimensional manifolds. This paper then shows that the only modular equations which hold for the f-vectors of all d-dimensional cubical polytopes (and hence spheres) are modulo two. Finally, the question of which mod two equations hold for the f-vectors of PL cubical spheres is reduced to a question about the Euler characteristics of multiple point loci from codimension one PL immersions into the d-sphere. Some results about this topological question are known (Eccles, Lecture Notes in Mathematics, Vol. 788, Springer, Berlin, 1980, pp. 23–38; Herbert, Mem. Amer. Math. Soc. 34 (250) (1981); Lannes, Lecture Notes in Mathematics, Vol. 1051, Springer, Berlin, 1984, pp. 263–270) and Herbert's result we translate into the cubical setting, thereby removing the PL requirement. A central definition in this paper is that of the derivative complex, which captures the correspondence between cubical spheres and codimension one immersions