How is differential geometry (or any type of theoretical math) being used in computer science? Any research I have done on this topic leads me to some sort of applied math concept. I know that there are many pure mathematicians in physics (i.e. in string theory, studying Hamiltonionan mechanics, Quantum Field Theory and so on) and am wondering where the pure mathematicians in computer science fit in.
Edit: I am looking for factual answers, something along the line of, Hamiltonian mechanics is to symplectic geometry, as computer graphics is to ... or Calabi-Yau manifolds are to string theory as Artificial Intelligence is to ... I want to know the pure math concepts being used in current computer science.
Many objects in Computer Graphics are given by polygonal meshes. For processing these, techniques from Discrete Differential Geometry apply. See also:
The Discrete Differential Geometry Forum
Polygon Mesh Processing, especially Differential Geometry slides
(Discrete) Differential Geometry slides