*Given an embedded two-torus in three-dimensional Euclidean space, paint the inside of the torus red and the outside blue. Show that there is an oriented line in ${\mathbb R}^3$ that cuts the torus perpendicularly in (at least) two points at which it crosses from red to blue.*


This is true (I'll say why in a minute), but I'd like to know if there is a simple proof using standard critical point theory.


Here is a proof that works even if the torus is immersed:


Consider the space of geodesics of ${\mathbb R}^3$ which is well-known to be symplectomorphic to the cotangent of the two-sphere. The congruence of oriented lines normal to the immersed torus is an immersed exact Lagrangian manifold in the space of geodesics. The *oriented double normal* we're looking for is just a double (multiple) point for this immersed Lagrangian. In other words, we would like to know that this immersion cannot be an embedding. The result now follows from a theorem of Claude Viterbo (JDG **47** (1997) 120-168).


**Theorem (Viterbo).** *There is no exact Lagrangian embedding of the two-torus in the cotangent space of the two sphere*. 


This theorem and the arguments I gave before settle the problem not only in Euclidean space, but also in hyperbolic space, three-dimensional Hadamard manifolds, three-dimensional normed spaces with smooth, quadratically-convex spheres and, in general, it works for any three-dimensional Finsler manifold whose space of geodesics is symplectomorphic to the cotangent of the two-sphere. 


Isn't there some simpler argument that works in ${\mathbb R}^n$ $(n > 3)$ and yields **something** like: if an compact oriented manifold is immersed as a hypersurface in ${\mathbb R}^n$, then it either admits an oriented double normal or it is homeomorphic/diffeomorphic to a sphere ?


**Relation to the standard double-normal problem.** In the standard (non-oriented) double-normal problem, everything reduces to considering the critical points of the distance-squared function defined on the symmetric product of the immersed manifold with itself. What
I can't see is whether there is some minimax procedure that constructs critical values (and points) that correspond to oriented double normals.



Oriented double normals
I suggest to look at my paper - P. E. Pushkar', “Generalization of the Chekanov Theorem. Diameters of Immersed Manifolds and Wave Fronts” Local and global problems of singularity theory, Collection of papers dedicated to the 60th anniversary of academician Vladimir 
Igorevich Arnold, Tr. Mat. Inst. Steklova, 221, Nauka, Moscow, 1998, 289–304 


You can find it here - <http://wenku.baidu.com/view/0514da4d852458fb770b56c6.html?from=related>


Diameters are double normals! 


In particular, there is an estimate in the paper - number of double normals of generic immersed submanifold $M^n$ of the Euclidean space is at least $(B^2-B)/2+nB/2$. Here $B$ is $\dim H\_\*(M,Z\_2)$. This estimation is exact for product of spheres, oriented surfaces.


There is a proof (by Maxim Kazaryan) of my estimate for the case of embeddings, which use only square-function - <http://www.mi.ras.ru/~kazarian/papers/homology05.pdf> in the section 16. Unfortunately it is in Russian. 


