Discussion Overview
The discussion revolves around the question of whether there exists a shortest closed curve within the homology class of a given simple closed curve on a compact Riemannian surface. Participants explore the relationship between homology and homotopy classes and the implications for the existence of geodesics.
Discussion Character
- Exploratory
- Technical explanation
- Debate/contested
Main Points Raised
- One participant inquires about the existence of a shortest closed curve in the homology class of a simple closed curve on a compact Riemannian surface.
- Another participant references a theorem stating that every homotopy class of closed curves contains a shortest geodesic, suggesting a potential avenue for exploration.
- A different participant clarifies that the original question pertains specifically to homology classes, not homotopy classes, indicating a distinction that needs to be addressed.
- One suggestion involves covering the curve with open balls and deforming it to create a piecewise smooth geodesic, which may locally minimize length but raises questions about global minimization.
- This participant also proposes that starting with a length-minimizing curve in the homotopy class could lead to discovering an even shorter curve through geodesic approximation.
- Another participant questions whether knowledge of the homotopy class can provide insights into the homology class, suggesting a potential connection between the two concepts.
Areas of Agreement / Disagreement
Participants express differing views on the relationship between homology and homotopy classes, with no consensus reached on whether a shortest closed curve exists in the homology class. The discussion remains unresolved.
Contextual Notes
The discussion highlights the complexity of the relationship between homology and homotopy classes, as well as the challenges in proving the existence of a shortest closed curve. Specific assumptions and definitions related to Riemannian metrics and curve properties are not fully explored.