An algebraic bootstrap for dimensionally reduced quantum gravity