Uniform layer of the Boolean cube (${\Omega }_r=\{x\in \{0,1{\}}^n:{\sum }_i{x}_i=r\}$)

The uniform layer consists of the characteristic vectors of sets of size $r$ in $[n]$. It has size $\left(\genfrac{}{}{0ex}{}{n}{r}\right)$, a binomial coefficient. Restricting polynomials to a uniform layer introduces identities absent on the entire Boolean lattice, since the coordinate sum is fixed. In particular, homogenisation on a uniform layer spans all restricted multilinear polynomials of degree at most $s\le r$ using just the degree-$s$ monomials.

Let $0\le s\le k\le n$ and form the integer matrix with rows indexed by $S\subseteq [n]$, $|S|\le s$, columns indexed by $k$-subsets $T$, and entry $M_{S,T}=1_{S\subseteq T}$. Its matrix rank over any finite field ${\mathbb{F}}_p$ is at most $\left(\genfrac{}{}{0ex}{}{n}{s}\right)$. Over the rational numbers, the row of a $j$-subset $S$ is ${\left(\genfrac{}{}{0ex}{}{k-j}{s-j}\right)}^{-1}$ times the sum of the rows of all $s$-subsets containing $S$. Thus the rows of degree exactly $s$ span, giving the bound over the rational numbers. Every larger square minor therefore has integer determinant zero, and remains zero modulo $p$. The matrix rank cannot increase under this reduction. This argument avoids dividing by an integer that might vanish in the finite field, and gives the sharp uniform-layer step in the Frankl-Wilson theorem.