abstract geometric case