Close geodesic circles intersect twice

ID: close-geodesic-circles-intersect-twice

Fix on a Riemannian surface. For sufficiently small , the geodesic circles of radius centered at and at every sufficiently nearby distinct meet transversally at exactly two points. In a strongly convex normal neighbourhood, write and . First variation gives
The quotient of the bracketed function by extends smoothly and has two simple zeros at zero. The implicit function theorem, uniformly over unit , preserves these two zeros and excludes others. The nonzero angular derivatives prove transversality. The distinct-centre hypothesis is essential: coincident circles are not transverse.

New to topics? Read the docs here!