arXiv++ Combinatorics

We develop some model theory of multilinear forms, generalizing Granger's work in the bilinear case. In particular, after proving a quantifier elimination result, we show that for an NIP field $K$, the theory of infinite-dimensional non-degenerate alternating $n$-linear spaces over $K$ is strictly $n$-dependent, and is NSOP$_1$ if $K$ is. These results rely on a new Composition Lemma for functions of arbitrary arity and NIP relations (which in turn relies on certain higher-arity generalizations of the Sauer--Shelah lemma). We also study the invariant connected components $G^{\infty}$ in $n$-dependent groups, demonstrating their relative absoluteness.