Horgan surface

From HandWiki
File:Horgan's minimal non-surface.png
The Horgan minimal non-surface

In differential geometry, Horgan's surface is a near-minimal surface.

David Hoffman and Hermann Karcher explored complete, embedded, and finite total curvature minimal surfaces. They considered a genus 2 variation of the Costa surface, with the same symmetries, one planar end, and two catenoid ends[1]. While computer modeling of the surface looked promising, the period problem cannot be solved, and there does not exist any minimal surface with this symmetry [2][3].

Hoffman and Karcher named the simulated surface after John Horgan, as a response to his claim that the use of rigorous mathematical proofs was becoming obsolete[4]: they saw it as a case for the necessity of rigorous proof. Horgan appear to have taken the naming well[5].

References

  1. Hoffman, David; Karcher, Hermann (1995-08-09), Complete embedded minimal surfaces of finite total curvature, arXiv, doi:10.48550/arXiv.math/9508213, arXiv:math/9508213, http://arxiv.org/abs/math/9508213, retrieved 2026-03-21 
  2. Weber, M. (1998). On the Horgan minimal non-surface. Calculus of Variations and Partial Differential Equations, 7(4), 373-379.
  3. Weber, M., & Wolf, M. (2002). Teichmüller theory and handle addition for minimal surfaces. Annals of mathematics, 713-795.
  4. Horgan J. (October 1993) The Death of Proof (Trends in Mathematics). Scientific American, Vol. 269, No. 4, pp. 92–103.
  5. Horgan, John. "The Horgan Surface and the Death of Proof" (in en). https://www.scientificamerican.com/blog/cross-check/the-horgan-surface-and-the-death-of-proof/.