Let $S$ be an arbitrary finite spanning subset of $\mathbb{R}^d$ of cardinality $N$. Let $W(S)$ be the formal $\mathbb{R}$-vector space generated by all $d$-dimensional simplices (i.e. bases of the affine matroid $\mathcal{M}(S)$ of $S$) with vertices in $S$. In particular

$\dim W(S) =$ number of simplices= number of bases of $\mathcal{M}(S)$.

For a given simplex $\Delta$ with vertices from $S$ define the volume form $w_\Delta=\chi_\Delta d Vol$, where $\chi_\Delta$ is the characteristic function of $\Delta$. Let $V(S)$ be the $\mathbb{R}$-linear span of $w_\Delta$ where $\Delta$ runs over all simplices with vertices in $S$. We have a natural projection $\Pi: W(S)\to V(S).$ Let $K(S)$ be the kernel of $\Pi.$ Our main goal is to describe this kernel.

First we describe some obvious elements from $W(S)$ lying in $K(S)$. Take an arbitrary $(d+2)$-tuple $T$ of points from $S$ spanning $\mathbb{R}^d$. Then there exists a standard element of $K(S)$ associated to $T$. Namely, there exist exactly two triangulations of the convex hull of $T$ by the simplices with vertices in $T$. Considering the difference of these triangulations as an element of $W(S)$ we get the required element of $K(S)$. For example, there are two "different" types of spanning 4-tuples of points in $\mathbb{R}^2.$ Case 1 with the convex hull which is a 4-gon and Case 2 with the convex hull which is a triangle. In Case 1 we have a relation that the sum of 2 triangles = the sum of two other triangles. Thus we have an element of $K(S)$ of the form $\Delta_1+\Delta_2-\Delta_3-\Delta_4$ In Case 2 we have that the biggest triangle $\Delta_1$ equals either the sum of 3 smaller triangles (and so we have an element of $K(S)$ of the form $\Delta_1-\Delta_2-\Delta_3-\Delta_4$) or $\Delta_1$, with one side having 3 points from $S$, equals the sum of 2 smaller triangles (and so we have an element of $K(S)$ of the form $\Delta_1-\Delta_2-\Delta_3$)

**Conjecture**. $K(S)$ is spanned by the above standard kernel elements
coming from spanning $(d+2)$-tuples of points from $S$.

We are able to show that Conjecture holds for $S$ for which any $(d+2)$-subset of points is spanning.

This statement sounds to us as an exercise(?) from matroid theory. In particular, we are sure that $\dim K(S)$ is an invariant of $\mathcal{M}(S)$.

Can you recognize Conjecture as a known statement from matroid theory (or, even, a version of de Rham's Theorem)?