involving differential geometry