Moreover , using Mnev 's universality theorem , we show that these schemes essentially generate all arithmetic of schemes of finite type over the integers .
We show that this conjecture is false by relating the schemes defined by Kirchhoff polynomials to the representation spaces of matroids .
Using Mnev 's universality theorem , we show that these schemes essentially generate all arithmetic of schemes of finite type over the integers .
We show that this conjecture is false by relating the schemes defined by Kirchhoff polynomials to the representation spaces of matroids .