Nash and Kuiper proved the existence of a representation that does not perturb the lenghts in the square flat torus. For a long time, this existence remained a challenge for the imagination of mathematicians. But proving and showing should sometimes be clearly distinguished in Mathematics. This is well explained by the thief allegory: Let us assume that a group of people is gathered around a jewel in a closed room. Let us further suppose that the light is turned off for a moment and that the jewel has disappeared when the light is again turned on. We then have the proof that a robber is hiding among the attendance but he can not be exhibited. Although the proofs of Nash and Kuiper are much more than an «existential» trap, their proofs do not provide a sufficiently explicit procedure that would allow for visualization or simply for a mental picture of a square flat torus.(2)Between 70s and 80s the Abel Prize Gromov extracted a method from the work of Nash and Kuiper, proposing the so called convex integration, a very useful tool. Indeed it
(...) does not only yield the existence of a solution, it also provides us with an effective construction.(2)Starting from this method, Borelli, Jabrane, Lazarus and Thibert realize an algorithm in order to picture the flat torus.
Mathematicians were puzzled by the works of Nash and Kuiper. These works could indeed prove the existence of objects whose regularity was problematic, if not paradoxical. They had to be smooth and rough at the same time... In effect, the mathematical analysis of the images reveals a surface belonging to two antagonist worlds; the smooth surfaces and the fractals,infinitely broken. When zooming in, we invariably observe ripples at smaller and smaller scales. Each ripple - called a corrugation – appears smooth when viewed alone, but the accumulation of those creates an object with a rough and fractal aspect.(2)
Demonstrating that convex integration can be implemented open new perspectives in applied mathematics, notably for solving differential systems originating from Physics and Biology.
More specifically, our images reveal a class of objects whose structure lies inbetween smooth surfaces and fractals. Such objects could play a central rĂ´le for shape analysis. They could also resolve some unexplained paradoxes.(2)
Read also Wikipedia | phys.org
(1) The Flat Torus in the Three-Sphere
(2) A flat torus in three dimensional space (pdf) | Hevea Project
Borrelli, V., Jabrane, S., Lazarus, F., & Thibert, B. (2012). Flat tori in three-dimensional space and convex integration Proceedings of the National Academy of Sciences DOI: 10.1073/pnas.1118478109