On Frustration-Free Quantum Spin Models

The goal of our work is to map the landscape of the frustration-free quantum spin models over the Cayley graph of a finitely generated group. This is achieved by establishing equivariant connections with the spaces of hereditary C*-algebras of the underlying quasi-local algebra of observables, and of open projections of its double dual.