Electrical networks and the Grove algebra

Abstract: We study the ring of regular functions on the space of planar electrical networks, which we coin the grove algebra. This algebra is an electrical analogue of the Pl\"ucker ring studied classically in invariant theory. We develop the combinatorics of double groves to study the grove algebra, and find a quadratic Gr\"obner basis for the grove ideal.